赵锡英
- 作品数：43 被引量：39H指数：4
- 供职机构：兰州工业学院更多>>
- 发文基金：甘肃省自然科学基金甘肃省教育厅科研基金甘肃省应用技术研究与开发专项计划项目更多>>
- 相关领域：自动化与计算机技术理学医药卫生文化科学更多>>
- 基于粗糙集的软件可维护性改进策略研究
- 2014年
- 软件和软件开发过程的复杂性决定了软件可维护性所涉及的数据具有不确定性和模糊性,为了提高软件的可维护性,研究改进软件可维护性的策略,基于粗糙集理论,提出了一种软件可维护性特性因子分析模型。该模型建立了可维护性分析系统,给出了两个特性因子相关系数和系统分辨矩阵的定义及计算方法,提供了一种通过分析特性指标关系,研究改进可维护性的策略的方法,有助于软件组织发现管理的薄弱环节,改进过程。
- 吕林霞赵锡英
- 关键词：软件维护软件可维护性粗糙集等价类分辨矩阵
- 有限特殊图厄系统的有限阶元
- 2002年
- 讨论了有限可交换特殊图厄系统 (Σ∶ R)及其字问题 ,证明了一个有限可交换特殊图厄系统 (Σ∶ R)是一个有限群与一个自由幺半群的直积 ;在所讨论的系统是完备的情况下 ,得到了一个判定有限阶元问题存在的线性时间算法 ,这个算法同时还构造了字方程 xm =xn
- 赵锡英
- 关键词：完备化有限群自由幺半群直积
- 幂等元为本原的半群
- 1998年
- 对幂等元是本原的半群进行了讨论．特别地，证明了非零幂等元是本原的Ｅ－逆半群是一个ＴＥ－半群关于半群Ｓ的理想扩张，而半群Ｓ是完全０－单半群的０－直并关于一个ＴＥ－半群的理想扩张．
- 杨海宣赵锡英
- 关键词：半群幂等元本原幂等元
- 电子商务中关联推荐算法的应用研究被引量：2
- 2016年
- 电子商务推荐系统是电商企业提高销售业绩,增加竞争力,有效保留住顾客采用的一种技术手段。该文根据淘宝交易数据,基于关联规则推荐的方法设计推荐系统。运用Apriori算法进行二项关联规则挖掘,用利润作为约束条件,实现商品的二项关联推荐,以缩短客户找到目标商品的路径。应用表明,在客户信息不完整的情况下关联推荐算法是一种可行的策略。
- 贾桂霞赵锡英刘熠琦
- 关键词：关联规则电子商务
- 随机进程代数的等价性判定计算
- 随机进程代数(SPA)是一种功能与性能相结合的并发系统模型，是通过给经典进程代数模型中的动作发生附加上一个随机变量值，来反映在系统的运行中，动作出现的时间延迟规律而得到的模型。它既能够描述系统的功能，又能够对系统运行的性...
- 赵锡英
- 关键词：随机进程代数SPA互模拟等价马尔可夫链
- 交互式马尔科夫链上弱模拟关系的计算
- 2008年
- 对交互式马尔可夫链模型(IMCs)上的弱模拟前序关系的计算算法进行讨论.在IMCs上判断弱模拟关系时,重点对概率转移关系进行弱模拟前序关系的判断,同时考虑内部动作对系统的影响.通过引入适当的变量,将IMCs上弱模拟定义中的马尔可夫转移条件转化为求解一个线性规划问题的解.利用该线性规划问题的数值求解方法,可在多项式时间内求得该线性规划问题的解.从而得到判定IMC上两个进程是否弱模拟的多项式时间算法.
- 赵锡英张明新邢敬宏
- 关键词：计算复杂度
- 求解有限特殊图厄系统的有限阶元
- 该文讨论的是有限可交换特殊图厄系统的有限元问题.作者得到结论:如果该文所讨论的系统是完备的,则可以得到一个判定有限元问题存在的线性时间算法.这个算法同时还构造了字方程x<'m>=x<'n>的所有解.由于有限特殊图厄系统的...
- 赵锡英
- 关键词：可交换性完备化
- 一个带时间限制的事件结构模型
- 2007年
- 给出了一个带时间限制的扩展绑定事件结构.在这个结构中,给每个事件一个时间值,同时对绑定中的每一个事件指定一个时间限制值.一个事件e带有时间限制值t表示从系统开始执行算起,事件e从时间点t开始成为可能事件.对于绑定X|→ec和ea∈X,时间ta表示,如果事件ea,ec出现在系统的一次运行中,则ta是这两个事件发生的最小时间限制值.我们给出了能反映上述特点的事件结构模型,分析了模型中带时间的事件迹、带时间的偏序集、剩余事件结构等概念的特性,并且证明了这个模型是无时间限制的事件结构模型的保守扩展.
- 赵锡英张明新
- 关键词：偏序集
- 有限可交换的特殊Thue系统被引量：1
- 2000年
- 串重写系统 (Σ :R)是定义在字母表Σ上的所有字符串的集合。对于一个有限可交换的特殊Thue系统 (Σ :R) ,证明了 (Σ :R)是有限生成交换群 ;相反 。
- 赵锡英
- 关键词：字符串交换群
- 软件功能验证与优化的研究
- 按照通常的观点,软件由程序和文档两部分构成,文档的检测涉及太多的非技术的因素,而目前在软件测试性计算的文献中多把程序测试性和软件测试性当作同一概念,借用此观点,这里所讨论的软件的功能验证,也就是程序的功能验证.程序的正确...
- 张旭胡东华李廉赵锡英
- 关键词：软件测试
- 文献传递网络资源链接
