刘海青
- 作品数：9 被引量：43H指数：4
- 供职机构：华北电力大学更多>>
- 发文基金：国家自然科学基金武汉大学校科研和教改项目更多>>
- 相关领域：自动化与计算机技术社会学经济管理更多>>
- 用于描述软件体系结构的算子集的性质和运算被引量：4
- 2003年
- 文章深入地阐述了用于描述软件体系结构的算子集的基本性质和结合运算,推导了关于算子性质的若干推论。
- 刘海青李晖郑鹏
- 关键词：软件体系结构算子
- 描述软件体系结构的算子集的性质研究
- 2006年
- 基于语法树并以数据类型为对象而构造的描述软件体系结构的算子,进一步深入地研究描述软件体系结构的算子集的定义及其相关概念,并对算子集中的简单算子集Asimple和复合算子集Acomplex的性质进行了推导,从而得出了一些重要的推论和定理.这些结论为进一步研究复合算子集Acomplex的性质奠定了基础.
- 刘海青胡祥
- 关键词：软件体系结构算子
- 模糊方法在软件可靠性分析中的应用被引量：2
- 2002年
- 将模糊方法与故障树分析方法结合起来 ,用于软件可靠性的分析 ,同时 ,还对隶属函数的确定进行了讨论 ,最后 ,通过并联系统和串联系统的模糊失效概率的实例计算 ,结果表明 ,该方法可以改善可靠性预计结果 .
- 刘海青李晖
- 关键词：故障树分析可靠性
- 一种描述软件体系结构的算子被引量：6
- 2002年
- 文章阐述了一种描述软件体系结构的算子及其基本概念,讨论了该算子的基本性质,推导了关于算子的两个简单推论。
- 刘海青李晖
- 关键词：软件体系结构算子语法树数据类型软件工程
- 基于对象的分布式系统比较被引量：6
- 2005年
- 从设计思想、通信、进程、名字服务、并发控制、分布式事务以及容错能力等各方面比较了当今流行的分布式系统———CORBA、DCOM和J2EE.这些系统在一定程序上互有优劣,且都得到了广泛应用.它们都是通过组件接口和分布对象服务来提高重用性,这些标准都是基于组件模型的扩展.
- 赵靖李石君刘海青
- 关键词：分布式系统对象组件软件体系结构
- 软件体系结构算子及其分析与分解被引量：3
- 2002年
- 基于语法树 ,以数据类型为对象构造了一种抽象的计算模型 ,用以描述软件体系结构的算子及其基本概念 ,讨论了该算子的基本性质 ,在此基础上对该算子的结构进行了进一步分析 ,提出了算子分解的充分必要条件以及最佳分解概念 ,并推导了关于算子分解的若干定理及推论。最佳分解概念运用于实际 ,不但能够改善组合算子的结构 。
- 刘海青李晖郑鹏
- 关键词：软件体系结构算子
- 用于描述软件体系结构的算子集的链接运算被引量：2
- 2003年
- 文章深入地阐述了用于描述软件体系结构的算子集的另一种运算———链接运算,并推导了关于算子链接运算的若干推论及定理。
- 刘海青李晖郑鹏
- 关键词：软件体系结构算子
- 软件可靠性综合模型被引量：23
- 2003年
- 提出了多模型加权平均的软件可靠性综合模型,通过权值的动态调整实现模型的选择与混合.选择的目的是要找出最适合待评估软件的模型,混合目的是要综合各模型的评估结果.所以,关键是要进行权值的动态调整.为此提出用贝叶斯分析理论进行权值计算的方法,将权值作为贝叶斯超参数,根据实际数据进行超参数更新,从而达到权值计算的目的.
- 邹丰忠刘海青王林
- 关键词：软件工程可靠性贝叶斯分析先验分布
- 基于原型法库区移民管理信息系统的软件开发被引量：3
- 2006年
- 结合实际库区移民管理信息系统的开发,对这类软件系统的开发技术进行分析,认为快速原型法在开发需求比较模糊的系统时具有独特的优越性,因而对库区移民管理信息系统的开发具有普遍的指导意义。
- 刘海青姚凯文
- 关键词：库区移民管理信息系统原型法
