喻超

作品数：9被引量：22H指数：3
导出分析报告
供职机构：成都东软信息技术学院更多>>
发文主题：可信计算机嵌入式系统软件开发MDAUML更多>>
发文领域：自动化与计算机技术电子电信理学文化科学更多>>
发文期刊：《武汉理工大学学报》《计算机与数字工程》《计算机应用研究》《计算机工程》更多>>
所获基金：湖北省自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
自动测试中的状态生成算法
《计算机工程》2010年第19期65-66,69,共3页喻超 毋国庆 
针对数据结构的性质,特别是链式数据结构,提出一种自动测试中的状态生成算法。结合传统的模型检测思想从自动测试生成的角度对程序的状态空间进行搜索,在有效地生成测试程序状态的同时保证了程序状态的完全覆盖。该方法采用程序员熟悉...
关键词：自动测试 性质验证 程序逻辑 
基于SAT工具的限界模型检测归约方法
《计算机工程》2010年第17期60-62,共3页喻超 毋国庆 
限界模型检测主要对路径上的属性进行检测,基于此给出一种编码方法,将LTL公式在路径上展开,从而将限界模型检测转换为命题逻辑的可满足性问题,使用SAT求解工具来完成模型检测过程。阐述归约过程的正确性与完全性,通过一个具体例子证明...
关键词：模型检测 形式化验证 归约 
集成安全策略到系统建模:一个实例
《计算机与数字工程》2008年第10期70-73,共4页张帆 毋国庆 刘小丽 喻超 
国家863高科技研究与发展计划(编号:2007AA01Z185)资助
安全模型从理论上保证了系统的安全性。把安全模型应用到实际系统当中,是从理论走向实践的一个重要步骤。同时,形式化开发方法也是高可信、高安全的系统开发所必需的。因此,如何利用形式化的方法,把安全模型精确地表达到系统的实际建模...
关键词：B方法 形式化开发 系统建模 安全策略 
一种可信计算机系统的设计与实现被引量：1
《武汉理工大学学报》2007年第7期148-151,共4页肖敬 喻超 
可信计算机是目前计算机安全领域研究的热点,结合嵌入式系统的研究,在通用计算机的主板上内置一个嵌入式安全系统ESM,通过在通用计算机内部增加硬件和软件控制来增强通用计算机的安全性,从而达到建立一个可信计算机系统的要求。ESM包括...
关键词：嵌入式系统 可信计算机 计算机安全 
一种基于嵌入式安全系统的可信计算机系统被引量：3
《计算机工程》2006年第13期246-247,279,共3页肖敬 喻超 毋国庆 
通过对嵌入式系统的研究,在通用计算机的主板上嵌入一个安全管理芯片卡,并设计了相应的操作系统来管理安全芯片,在主机部分对Linux操作系统底层和内核进行改进,建立了一个可信计算机系统,该系统具有良好的安全性和可扩充性,可应用各种...
关键词：嵌入式系统 嵌入式安全系统 可信计算机 LINUX 
委托驱动的多Agent协调模型被引量：2
《计算机工程》2006年第5期18-19,22,共3页喻超 毋国庆 
在对委托关系的研究基础上提出了负载驱动的可委托关系的协调方法,可以有效地利用委托执行减少agent的冗余操作,最大限度地节约计算资源。同时,通过协调平衡系统负载,提高整个系统的效率和处理问题的能力。最后,以一个具体实例说明了如...
关键词：AGENT 多AGENT系统 委托协调 
基于问题域与视点代理的需求工程研究被引量：4
《计算机工程与科学》2006年第1期128-130,共3页喻超 毋国庆 
湖北省自然科学基金资助项目(99J165)
在当前需求工程中有关多视点的研究基础上,本文提出了视点代理的概念,给出了代理模板的基本结构,并在此基础上简要介绍了关于模型转换及一致性检查等问题。最后给出如何将视点代理和问题域相结合形成新的需求工程开发方法。
关键词：需求工程 视点代理 问题域 
COM接口的Z规范
《计算机工程》2002年第12期104-105,133,共3页喻超 毋国庆 
对微软公司提出的COM组件模型中的接口规则给出了一个基于Z语言规范化描述，使其具有严格的语义基础，能通过形式化的分析来保证规则的相容性。在此基础之上对组件也给出了Z语言的定义，并对合法组件的性质作出了形式化分析。
关键词：COM接口 Z规范 软件开发 计算机 COM组件 
基于模型驱动的软件体系结构被引量：12
《计算机应用研究》2002年第11期44-46,134,共4页梁正平 毋国庆 肖敬 喻超 胡红雷 
介绍了一种基于模型驱动的软件体系结构。该体系结构将与实现技术无关的功能模型及基于某一特定技术的实现模型分离 ,通过不同模型之间的变换 ,使系统能适应技术的进步 ,解决系统在不同中间件平台上的集成、互操作性、可移植性等问题。...
关键词：模型 平台无关模型(PIM) 特定平台模型(PSM) UML 模型驱动体系结构(MDA) 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部