毋国庆
- 作品数：120 被引量：355H指数：9
- 供职机构：武汉大学计算机学院更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术经济管理机械工程建筑科学更多>>
- 有限自动机重置问题的算法研究进展被引量：2
- 2021年
- 论述了最近10多年有限自动机重置问题在算法方面的研究进展。首先形式定义一些基本概念和四个有关重置的问题,给出这些问题的计算复杂性结果;然后回顾了2008年前的算法发展历程和若干结论;接着将2008年后的算法分为判定自动机是否可重置的基本算法、短重置字求解算法和最短重置字求解算法三类,分别对各个算法背后的思想、复杂度、生产的重置字的质量和存在的问题等进行分析;最后总结了这些算法的评估标准和优化策略,给出了理论上须要进一步探讨的问题。
- 朱凯毋国庆梁早清袁梦霆
- 关键词：有限自动机广度优先搜索双向搜索
- 一种嵌入式实时系统软件的形式化开发方法被引量：6
- 2002年
- 领域特征突出的嵌入式实时系统软件开发,既需要严格地保证可靠性又要充分反映实时和交互行为特征,针对这种需要,该文提出了一种从需求分析到体系结构建模直至使用组件技术实现软件的形式化开发方法。文章在介绍了目前的各软件工程领域以及各软件开发阶段中的形式化模型和工具的现状和特点后,引入需求分析的模型和体系结构建模的描述语言,分析其长处和不足,最后对该方法与移动组件结合的前景进行了展望。
- 杨捷毋国庆
- 关键词：形式化开发方法软件工程
- 基于Viewpoint Agent的新型需求描述模型被引量：3
- 2005年
- 需求工程是整个软件工程的关键部分,为了能清晰地得到软件规约,提出了一种新型的需求工程方法——基于多视点的需求代理模型。这个模型结合了多视点方法对分布式环境下的需求描述的能力和Agent的自治能力,从而能在分布式的开发环境下自动地得到软件规约。通过一个实例展示了ViewpointAgent对基于多视点的需求描述自动进行规约的过程。
- 魏炜毋国庆
- 关键词：分布式
- 模拟执行操作目标的方法研究
- 2007年
- 模拟执行的检测方法是检测需求规格说明书的一种重要手段。在目标和场景相结合的需求建模方法的基础上,提出了对操作目标集合的模拟执行方法。该方法为代理的层次划分提供了理论支持,并将操作目标集合转换成了基于规则的层次式有穷状态自动机,通过对基于规则的层次式有穷状态自动机的模拟执行,达到了对操作目标集合的模拟执行。
- 李勇华毋国庆
- 关键词：需求规约
- 非确定有限自动机的最短D1-同步字求解被引量：1
- 2021年
- 研究了非确定有限自动机的最短D1-同步字的计算问题。针对这种自动机定义了D1W问题及其参数化版本问题p-D1W和最优问题shortest-p-D1W,证明了p-D1W和shortest-p-D1W分别属于para-NP和para-DP。利用均匀分布模型随机生成大量的非确定的有限自动机进行实验,结果表明:在定长的参数下几乎所有随机产生的自动机实例都不是D1-可同步的,一旦将自动机上每个状态和字母的变迁函数的像数量限制在2以内,会出现少量的D1-可同步的自动机,且绝大多数最短同步字长不超过状态数的2倍。
- 朱凯毋国庆袁梦霆杨磊
- 关键词：参数化算法
- 一种谓词驱动的目标求精方法被引量：1
- 2007年
- 目标求精是场景和目标相结合的需求建模方法中的一个重要环节。该文基于目标和场景相结合的需求建模,提出了谓词驱动的目标求精方法,通过对目标谓词描述的分类来指导整个求精过程的进行。同传统的求精方法相比,该方法具有对需求分析员的依赖较小、自动化程度高等优点。
- 李勇华王锋毋国庆江敏
- 关键词：需求规约
- 基于编译的高可信嵌入式软件开发与验证方法研究
- 毋国庆
- 嵌入式系统已经被广泛应用到各个领域中，嵌入式系统中的软件扮演着重要的角色。嵌入式软件的不可信会引起重大安全事故，因此，研究嵌入式软件的可信性具有巨大的应用和经济价值。嵌入式软件开发过程中，编译是一个必不可少的阶段，利用编...
- 关键词：
- 程序的动态完整性:模型和方法被引量：3
- 2012年
- 在信息安全和可信计算中,程序的动态完整性是一个重要问题,特别是无线传感器网络、云计算平台等这一类开放松耦合环境下,怎样度量程序行为的动态完整性的问题尤为突出.基于硬件的可信计算技术和代码证实技术等都没有解决具体行为的动态性度量这个问题,部分原因是缺少一个动态完整性的模型和相应的理论.针对上述问题,在分析了对程序动态完整性安全的威胁基础之上,提出了一个基于密码学的动态完整性理论模型,该模型刻画了程序动态完整性安全的各个要素.基于该模型提出了编译器辅助的流嵌入法,给出了此方法的示例,并分析了此方法的安全性和效率,最后讨论了编译器支持的相关问题,解决了动态完整性的理论和方法中的部分问题.
- 吴昊毋国庆
- 基于问题框架的视点集成被引量：1
- 2007年
- 多视点需求工程方法采用独立、分散的方式标识,表示不同项目人员的需求信息。为生成一份统一的规格说明书,在该方法的后期必须对所有生成的视点进行集成。基于问题框架的思想和方法,该文讨论了视点的一致性、集成方式、集成过程等,提出了一种基于问题框架的视点集成方法。
- 梁正平明仲毋国庆王志强
- 关键词：视点
- 一种基于问题框架的视点表示模型被引量：4
- 2007年
- 在多视点需求工程中,视点表示模型与视点需求信息的获取、描述密切相关,影响着后阶段视点一致性的检查和集成。鉴于需求工程领域的发展,该文提出了一种基于问题框架的视点表示模型,展示了该模型的特点及应用。实践表明,该模型具有实用性和可操作性。
- 梁正平毋国庆王志强
- 关键词：视点
