面向可靠性评估的软件架构描述语言图形化研究

为了在架构设计和开发阶段能尽早开展软件测试工作,建立架构可视化测试平台是有效的手段之一,而架构描述语言图形化是建立该可视化平台的前提。在研究了面向可靠性评估架构描述语言RE／ADL的基础上,提出该架构描述语言图形化的表示方法,分别从总体的、精练的、层次的不同视角总结了架构的建模元素（组件、连接件、配置及复合组件,连接件）与可靠性评估相关属性的图形表示,便于架构的验证和分析。     

结构关系模式挖掘在生物信息中的应用

把数据挖掘应用到SNP和单体型分析,采用数据挖掘的方法得到SNP位点序列和单体型序列,从结构关系模式挖掘的角度,分析SNP位点之间、单体型之间可能存在的结构关系.并为用结构关系模式挖掘分析SNP和单体型之间的结构关系奠定基础.     

数据源特性对序列模式挖掘结果的影响

用IBM数据生成工具生成数据考察了客户序列数、平均序列长度、平均事务长度、项目数等数据特性对挖掘结果序列模式个数的影响,得到了单项特性对挖掘结果序列模式个数的影响模型,用以在进行正式挖掘之前,通过数据特性对挖掘结果进行初步判断。     

嵌入式操作系统SolCS中优先级反转问题研究

研发一个嵌入式实时操作系统时需要解决很多任务与共享资源之间的关系问题.介绍了优先级反转问题的理论模型,详细分析和比较了解决优先级反转问题的常规方案--优先级继承协议和优先级天花板协议.重点针对一个自主研发的嵌入式实时操作系统SolCS,提出了一种新的优先级反转问题解决方案并应用于其中,获得一个强实时能力的嵌入式操作系统.     

结构关系模式挖掘算法测试平台的设计与实现

建立了一个结构关系模式挖掘算法测试平台。平台应用组件技术,把测试算法封装到组件中,并为测试算法提供一个通用的接口,使得算法能以组件的形式嵌入测试平台。平台提供数据处理、算法试验、结果的可视化与评价等模块,使用户评价新算法的过程变得更加客观、简便。实验结果表明,借助该测试平台,既可以方便的对各种算法进行测试,又有助于方便的研究新的算法。     

基于软件架构的可靠性分配算法

研究软件可靠性分配中的软件开发成本最小化问题.将软件系统的成本最小化问题表达为一类带约束条件的组合优化问题,并且提出了基于架构的软件可靠性与开发成本评估及分配思想,建立了基于软件架构的可靠性-成本模型,提出了基于该模型的可靠性最优分配算法.该算法可以求解在给定可靠性目标前提下的可靠性分配问题,使得软件系统预期开发成本最小.     

一种基于动态规划的软件可靠性分配方法

软件可靠性是衡量软件质量的一个重要指标.要达到软件的高可靠性需要一定费用,所以软件开发费用对可靠性的影响至关重要.然而一个软件系统的开发费用是有限的,如何合理确定系统的可靠性以使软件开发费用最小成为一个很有意义的研究问题.根据费用与可靠性关系建立了可靠性-费用模型,进而得到软件系统可靠性分配模型.结合动态规划思想,研究基于这个模型的针对各软件组件的可靠性最优分配方法,使得系统达到给定的可靠性目标而耗费最少的资源.     

CARP问题混代并行遗传算法的研究

遗传算法因为具有直接对结构对象进行操作、具有内在的隐并行性和更好的全局寻优能力、自适应地调整搜索方向等优点,已被人们广泛地应用于组合优化、函数优化、机器人学、信号处理等领域.但是随着传统遗传算法暴露出来的收敛速度慢且具有最优值无趣的缺陷等缺点,并行遗传算法得到了广泛的研究与发展.本文在现有CARP遗传算法基础上进行并行性改进,提出并实现全新的并行遗传算法——混代并行遗传算法（MGPGA算法）,理论分析及实验结果表明：并行遗传算法较非并行遗传算法有更快的求解速度,混代并行遗传算法可行且更有效.     

一个改进的基于构架的软件可靠性模型

本文通过对Wen-LiWang等人提出的基于构架的软件可靠性模型的改进,克服了该模型在不同结构中存在的对连接器的可靠性考虑不足的问题,同时,还提出了在混合结构中如何构造状态转换矩阵的方法,极大的拓宽了模型的应用范围,为分析构件、连接器和某种结构对整个构架可靠性的影响提供了一定的理论基础。     

自适应软件可靠性增长模型

介绍一种新的自适应软件可靠性增长模型.这种模型能够根据现场实际测量的错误数据客观地反映软件可靠性的变化情况,大大提高了对不同分布形式错误数据的适应能力,从而在一定程度上克服了软件可靠性增长模型应用范围较窄的缺点.