毋国庆
- 作品数：120 被引量：355H指数：9
- 供职机构：武汉大学计算机学院更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术经济管理机械工程建筑科学更多>>
- 有限自动机重置问题的算法研究进展被引量：1
- 2021年
- 论述了最近10多年有限自动机重置问题在算法方面的研究进展。首先形式定义一些基本概念和四个有关重置的问题,给出这些问题的计算复杂性结果;然后回顾了2008年前的算法发展历程和若干结论;接着将2008年后的算法分为判定自动机是否可重置的基本算法、短重置字求解算法和最短重置字求解算法三类,分别对各个算法背后的思想、复杂度、生产的重置字的质量和存在的问题等进行分析;最后总结了这些算法的评估标准和优化策略,给出了理论上须要进一步探讨的问题。
- 朱凯毋国庆梁早清袁梦霆
- 关键词：有限自动机广度优先搜索双向搜索
- 一种嵌入式实时系统软件的形式化开发方法被引量：7
- 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年
- 目标求精是场景和目标相结合的需求建模方法中的一个重要环节。该文基于目标和场景相结合的需求建模,提出了谓词驱动的目标求精方法,通过对目标谓词描述的分类来指导整个求精过程的进行。同传统的求精方法相比,该方法具有对需求分析员的依赖较小、自动化程度高等优点。
- 李勇华王锋毋国庆江敏
- 关键词：需求规约
- 基于编译的高可信嵌入式软件开发与验证方法研究
- 毋国庆
- 嵌入式系统已经被广泛应用到各个领域中，嵌入式系统中的软件扮演着重要的角色。嵌入式软件的不可信会引起重大安全事故，因此，研究嵌入式软件的可信性具有巨大的应用和经济价值。嵌入式软件开发过程中，编译是一个必不可少的阶段，利用编...
- 关键词：
- 面向行为的需求建模研究及实现被引量：8
- 2011年
- 需求建模是需求工程中的重要步骤。提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景。对于每个场景,用行为描述语言建立场景行为模型,视点内所有场景的行为模型组合构成视点行为模型,目标系统所有视点的行为模型组合构成系统行为模型。在行为模型的基础上,提出了一系列特性以及其验证方法,用于验证行为模型的正确性以及系统特性。基于以上方法,设计和实现了面向行为的需求建模工具(BRMT),以辅助开发人员从行为的角度进行需求建模。
- 万黎毋国庆吴怀广
- 关键词：视点
- Linux中USB设备驱动程序研究被引量：18
- 2004年
- 介绍了USB的相关概念及Linux中USB设备驱动程序的框架和重要数据结构。通过设计和实现一个典型的例子 ,总结了Linux下编写一个USB设备驱动程序的一般方法和技巧。
- 梁正平毋国庆肖敬
- 关键词：USBLINUX设备驱动程序
- 一种基于BCCS的多视图一致性检测的元模型
- 2009年
- 模型驱动架构(MDA)是一种采用建模描述语言如UML或BON等对需求建立平台无关模型,作为对需求规约以补充的开发方法。在复杂系统中,一个需求模型往往涵盖了多种类型的模型,用于描述系统的不同方面,如描述系统实体的静态模型,以及描述系统运行过程以及状态的动态模型,在这些模型中,往往会出现内部以及相互之间的不一致性。尝试通过B方法以及通信演算系统(CCS)来描述BON的元模型,并以此来检测BON模型中所出现的不一致性。
- 陈曙毋国庆肖晶
- 关键词：元模型视图一致性B方法
