软件工程国家重点实验室开放基金(SKL4)

作品数：14被引量：31H指数：4
导出分析报告
相关作者：叶俊民王振宇陈利曹瀚关佶红更多>>
相关机构：哈尔滨工程大学华中师范大学武汉大学湖北国土资源职业学院更多>>
相关期刊：《计算机工程与应用》《计算机应用研究》《小型微型计算机系统》《计算机工程》更多>>
相关主题：软件体系结构体系结构描述语言体系结构分布式实时系统软件工程更多>>
相关领域：自动化与计算机技术自然科学总论经济管理更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
GML空间数据流压缩算法研究被引量：4
《计算机工程》2007年第1期98-100,共3页杜成龙 关佶红 王治 
国家自然科学基金资助项目(60373019);国家"863"计划基金资助项目(2002AA135340);软件工程国家重点实验室开放基金资助项目(SKL(4)003);测绘遥感国家重点实验室开放基金资助项目(WKL(01)0303);IBM软件奖研金项目资助
提出了一种新的GML数据流压缩算法。研究了GML结构与数据动态分离并动态压缩,采用多线程技术进行并行传输,再在接收端动态解压并动态合并的过程。实验结果表明,该方法对大幅提高GML数据传输效率具有实际意义。
关键词：GML 数据流 压缩 多线程 
软件连接件风格的研究
《计算机应用研究》2006年第11期31-33,共3页叶俊民 彭波涛 郑艳艳 
国防科技预研基金资助项目(413150601);武汉大学软件工程国家重点实验室开放基金资助项目(SKL(4)020)
讨论了软件连接件风格的基本框架,并讨论了过程调用、事件连接件、数据访问连接件、直接连接、流、表决器、适配器、分布器的风格。
关键词：软件体系结构 风格 连接件 
基于MSMQ的.NET分布式系统研究与实现被引量：2
《电脑学习》2006年第4期12-14,共3页杜成龙 王治 
国家自然科学基金(60373019);863计划项目(2002AA135340);软件工程国家重点实验室开放基金(SKL(4)003);测绘遥感国家重点实验室开放基金(WKL(01)0303);IBM软件奖研金项目资助
在研究MSMQ分布式系统原理和框架的基础上,给出了.NET平台下实现MSMQ分布式系统的设计方案,并介绍了基于消息的分布式系统的实际应用。
关键词：消息队列 分布式系统 .NET 
软件体系结构测试覆盖准则研究被引量：3
《计算机工程》2005年第22期107-109,共3页叶俊民 赵良 罗景 王振宇 赵恒 
国防科技预研基金资助项目;武汉大学软件工程国家重点实验室开放基金资助项目(SKL(4)020)
基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题。SA层的测试是软件测试领域的热点和难点。在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针...
关键词：软件体系结构 测试覆盖准则 形式化测试 
DRTSADL可视化建模及其工具的设计与实现
《计算机工程》2005年第9期88-90,共3页罗景 叶俊民 赵良 陈利 
国防科技预研基金资助项目;武汉大学软件工程国家重点实验室开放基金资助项目(SKL(4)020)
提出了将DRTSADL进行可视化建模的设计方案:抽取基本建模元素,给出它们的BNF范式定义;按照体系结构的配置将这些元素连接起来,分别从静态结构方面和动态行为方面,完成整个软件系统的设计。最后给出了可视化建模支持工具的具体实现。
关键词：软件体系结构 体系结构描述语言 分布式实时系统体系结构描述语言 可视化建模 
分布式实时系统体系结构描述语言的设计及其应用实例研究被引量：2
《小型微型计算机系统》2005年第9期1606-1610,共5页叶俊民 王振宇 黄萍 赵恒 
国防科技预研基金(413150601)资助;武汉大学软件工程国家重点实验室开放基金(SKL(4)020)资助.
为了完成基于软件体系结构(SoftwareArchitecture,SA)分布式实时系统的测试,需要设计一种体系结构描述语言(ArchitectureDescriptionLanguage,ADL)描述被测系统,以便自动产生测试用例.在考察现有的体系结构描述语言(Architec-tureDescri...
关键词：软件体系结构 体系结构描述语言 分布式实时系统 
操作系统体系结构风格的比较研究被引量：4
《计算机应用研究》2005年第5期50-52,共3页赵良 叶俊民 罗景 陈利 
国防科技预研基金资助项目(413150601);武汉大学软件工程国家重点实验室开放基金资助项目(SKL(4)020)
从软件体系结构风格的角度分析研究了目前存在的操作系统体系结构,并给出了常用操作系统体系结构的相关信息,这些结论使我们能更好地采用操作系统体系结构设计中的设计决策。
关键词：体系结构 体系结构风格 操作系统 
一种基于Agent推理的自动谈判方法研究被引量：4
《复旦学报（自然科学版）》2004年第5期845-848,共4页朱付保 关佶红 牛晓太 
国家自然科学基金资助项目(60373019);863计划项目(2002AA135340);软件工程国家重点实验室开放基金(SKL(4)003);测绘遥感国家重点实验室开放基金(WKL(01)0303);IBM软件奖研金项目资助
以Agent代替人实现自动协商,将大大提高远程谈判的效率.提出基于Agent推理的自动谈判方法和基于最近邻匹配的案例推理工作流程,开发出能够实现自动谈判的一个原型系统,在很大程度上实现了谈判的智能化和自动化,为谈判支持系统的开发提...
关键词：谈判方法 谈判支持系统 效率 自动协商 思路 工作流程 程度 原型系统 案例推理 远程 
基于DAML-S的Web服务匹配方法被引量：3
《复旦学报（自然科学版）》2004年第5期938-940,共3页安杨 关佶红 赵波 
国家自然科学基金资助项目(60373019);863计划项目(2002AA135340);测绘遥感国家重点实验室开放基金(WKL(01)0303);软件工程国家重点实验室开放基金(SKL(4)003);IBM软件奖研金项目资助
服务匹配是Web服务发现中一个很重要的部分,针对目前服务发现方法的不足,提出了一种基于DAML S的Web服务匹配方法,其核心思想是用DAML S进行服务描述并将其发布后,通过对服务描述中的输入输出和用户需求中功能的测度来判断服务与用户需...
关键词：DAML WEB服务 服务匹配 服务发现 匹配方法 描述 发布 匹配程度 测度 用户需求 
TFSP:一种分布式实时系统的形式化描述工具被引量：1
《计算机科学》2003年第9期155-157,共3页叶俊民 王振宇 陈利 赵恒 
国防科技预研基金(41350601);武汉大学软件工程国家重点实验室开放基金(SKL(4)020)
分布式实时系统在宇航、核反应、军事和工业等部门应用极为广泛,这些领域对系统本身的安全性和可靠性要求极高,因此如何开发出正确的分布式实时应用系统是一个关键问题.为了对分布式实时系统进行建模,我们提出了TFSP(Timed Finite State...
关键词：软件体系结构 形式化描述工具 分布式实时系统 TFSP 软件工程 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部