李睿
- 作品数：3 被引量：17H指数：2
- 供职机构：北京航空航天大学计算机学院更多>>
- 发文基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 扩展断言知识检验一致的需求建模方法被引量：2
- 2015年
- 保证需求完整一致是需求建模的关键,文中提出一种基于知识库推理检验一致性的需求建模方法,该方法在建模中引入本体以增强表达能力,并结合语义建立约束规则构建需求模型知识库,基于描述逻辑描述需求和检验需求一致性,将需求建模过程作为断言知识库的扩展过程,把需求完整性问题转化为需求一致性问题,并归结其为规则约束下的可满足问题。利用Tableau算法等实现需求一致性的检验,在整个建模活动中保证需求一致。应用实践中使用自行编制的ROB半自动建模软件进行需求建模与分析,验证了建模方法的需求一致性,并通过案例说明了扩展断言知识库检验一致的需求建模过程。
- 郭新峰马世龙吕江花李睿
- 关键词：多视点描述逻辑可满足性TABLEAU
- 基于本体的电信共享信息模型的研究与应用被引量：5
- 2007年
- 基于本体理论研究了下一代电信运营支撑系统的共享信息模型(SID)的描述与应用,通过将SID模型映射到知识本体层,挖掘SID模型之间内在蕴涵的关联关系,解决了原来基于UML语言描述的SID模型缺乏语义推理的问题。在此基础上,设计并实现一个基于本体描述SID模型的应用工具,以满足对SID模型的检索和推理的需求。
- 蓝文康建初李睿
- 关键词：本体电信运营支撑系统知识库
- 基于形式化方法的航空电子系统检测被引量：10
- 2015年
- 随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性.
- 李睿连航马世龙黎涛
- 关键词：航空电子系统有限状态自动机
