陈霄凯
- 作品数：3 被引量：7H指数：1
- 供职机构：华北电力大学控制与计算机工程学院计算机系更多>>
- 相关领域：自动化与计算机技术更多>>
- 关联规则挖掘算法的分析与研究被引量：6
- 2003年
- 在对Apriori算法和FP-树算法进行分析的基础上,将最新提出的基于双库协同机制的Maradbcm算法与其进行了比较,指出了传统的"支持度-置信度"框架在挖掘算法上的局限性,明确了主观度量与客观度量相结合的必要性。
- 陈霄凯黄志强
- 关键词：关联规则数据挖掘算法双库协同机制APRIORI算法数据库
- Bayesian图模型的化简及在软件测试中的应用被引量：1
- 2004年
- 介绍了一种基于贝叶斯图模型的软件测试新方法,该方法为具有不确定性的软件测试问题的逻辑结构提供了形式化机制。分析了该方法的优点和不足,并进行了改进。提出了简化模型,给出了测试过程,通过实例介绍了该模型。表明通过基于贝叶斯图模型的测试方法所构造的模型可以作为软件测试的动态表示,并用于驱动测试设计,为测试者提供决策支持。
- 胡昌斌陈霄凯宋雨黄志强
- 关键词：软件测试
- 有限自动机（FA）在测控程序自动生成中的应用研究
- 该文对将有限自动机理论用于测控软件自动生成的技术进行了研究,旨在开发能够生成测控程序的软件自动生成系统.在对软件自动生成技术和工业控制领域的测控程序实例进行深入分析的基础上,改进有限自动机理论中有限自动机的形式化定义及其...
- 陈霄凯
- 关键词：有限自动机状态转换图测控程序
- 文献传递
