期刊文献+
共找到16篇文章
< 1 >
每页显示 20 50 100
协同仿真环境体系结构 被引量:15
1
作者 王江云 王行仁 贾荣珍 《系统仿真学报》 EI CAS CSCD 2001年第6期687-689,710,共4页
体系结构是协同仿真环境中最重要的因素之一,是协同仿真环境的基本配置和基本软件框架,决定了协同仿真环境的性能和实现方式。本文探讨了体系结构的一般概念和设计体系结构的一般原则。针对协同仿真环境的特点,在分析协同仿真环境对... 体系结构是协同仿真环境中最重要的因素之一,是协同仿真环境的基本配置和基本软件框架,决定了协同仿真环境的性能和实现方式。本文探讨了体系结构的一般概念和设计体系结构的一般原则。针对协同仿真环境的特点,在分析协同仿真环境对体系结构的要求的基础上,结合实验室具体情况,给出了一个实用性强、层次清楚的协同仿真环境体系结构。 展开更多
关键词 体系结构 协同仿真环境 仿真运行环境 分布式资源库 计算机仿真
在线阅读 下载PDF
防空作战一体化仿真环境研究 被引量:12
2
作者 何晶 娄寿春 王刚 《系统仿真学报》 CAS CSCD 2004年第11期2442-2444,2470,共4页
建立一体化仿真环境是支持防空作战仿真的有效手段。本文通过分析防空作战仿真对一体化仿真支撑环境的需求,提出了防空作战一体化仿真环境的体系结构,详细阐明了各部分的功能,并对利用该环境生成的防空作战仿真运行框架进行了详细的说... 建立一体化仿真环境是支持防空作战仿真的有效手段。本文通过分析防空作战仿真对一体化仿真支撑环境的需求,提出了防空作战一体化仿真环境的体系结构,详细阐明了各部分的功能,并对利用该环境生成的防空作战仿真运行框架进行了详细的说明。该环境功能完善、可扩展性强,为开发可重用性好、置信度高的防空作战仿真应用,提供了强有力的支持。 展开更多
关键词 防空作战 一体化仿真环境 运行框架 体系结构
在线阅读 下载PDF
TCG架构下的证明问题研究及进展 被引量:7
3
作者 谭良 刘震 周明天 《电子学报》 EI CAS CSCD 北大核心 2010年第5期1105-1112,共8页
证明问题是可信计算的核心问题之一.TCG架构下的证明问题解决方案由于可扩展性差、不灵活、容易暴露平台隐私以及性能低,正在成为可信计算的应用、推广和普及的瓶颈,严重地阻碍了可信计算在更广的范围内进行延伸和拓展.介绍了证明的基... 证明问题是可信计算的核心问题之一.TCG架构下的证明问题解决方案由于可扩展性差、不灵活、容易暴露平台隐私以及性能低,正在成为可信计算的应用、推广和普及的瓶颈,严重地阻碍了可信计算在更广的范围内进行延伸和拓展.介绍了证明的基本概念并给出形式化定义,详细阐述了三元和四元证明系统的基本架构及工作机制,并指出平台身份证明采用了"推"式四元证明系统,而平台配置证明仍然采用三元证明系统.分析了当前对TCG架构下的平台身份证明、平台环境状态配置信息证明以及平台动态环境状态(运行时环境状态)证明等三个方面开展的研究工作,并对这些工作进行了总结.结合已有的研究成果,探讨了TCG架构下的证明问题的研究方向及其面临的挑战. 展开更多
关键词 可信计算 证明 平台身份证明 平台配置证明 平台运行时环境证明
在线阅读 下载PDF
中间件技术实时性能的比较 被引量:10
4
作者 黄姝娟 杜承烈 尤涛 《计算机工程》 CAS CSCD 北大核心 2009年第11期32-34,37,共4页
对目前分布式交互仿真环境中常用的RTI,EVSM,ACE等3种中间件技术的实时性能进行测试和分析,说明三者实时性能的差异,为分布式交互仿真环境中中间件技术的选择提供参考依据。通过比较发现,中间件技术是为进行分布式计算和处理而产生的,... 对目前分布式交互仿真环境中常用的RTI,EVSM,ACE等3种中间件技术的实时性能进行测试和分析,说明三者实时性能的差异,为分布式交互仿真环境中中间件技术的选择提供参考依据。通过比较发现,中间件技术是为进行分布式计算和处理而产生的,它具有将操作系统与应用程序相互隔离的特点,已成为评价系统实时性能的关键指标。 展开更多
关键词 中间件 运行支撑系统 以太网虚拟共享内存 自适配通信环境
在线阅读 下载PDF
基于SCORM的开放式内容对象及其运行环境的设计 被引量:8
5
作者 朱新华 罗辉 《计算机工程与设计》 CSCD 北大核心 2005年第11期2949-2951,2962,共4页
在分析了目前现有远程教育技术规范特点的基础上,提出了一种开放式内容对象的组件模型,该组件模型能给可共享Web学习内容的结构与顺序设计提供一种更为灵活高效的方法。首先将学习内容的组成单元设计成具有请求服务与提供服务功能的开... 在分析了目前现有远程教育技术规范特点的基础上,提出了一种开放式内容对象的组件模型,该组件模型能给可共享Web学习内容的结构与顺序设计提供一种更为灵活高效的方法。首先将学习内容的组成单元设计成具有请求服务与提供服务功能的开放式内容对象OCO,使内容组件不仅可以通过聚集组合成更高级的教学单元,还可以在学习过程中通过以学习管理系统作为中转的消息传递机制形成可互操作的关联关系。最后,通过对ADL的SCORM规范运行环境的扩充,为开放式内容对象OCO在不同的学习管理系统间的运行设计了一个通用运行环境。 展开更多
关键词 远程教育 SCROM 运行环境 内容组件 开放式内容对象
在线阅读 下载PDF
大气环境动态运行数据库的研究与设计 被引量:3
6
作者 王立新 肖新峰 《计算机工程与设计》 CSCD 北大核心 2009年第10期2586-2589,共4页
在大气环境的仿真应用中,需要建立大气环境动态运行数据库,以实时响应并满足其它武器实体的大气环境数据请求。基于这一原因,以商业内存数据库eXtremeDB为平台进行二次开发,根据大气环境的典型属性,选取四维的大气数据插值,建立了大气... 在大气环境的仿真应用中,需要建立大气环境动态运行数据库,以实时响应并满足其它武器实体的大气环境数据请求。基于这一原因,以商业内存数据库eXtremeDB为平台进行二次开发,根据大气环境的典型属性,选取四维的大气数据插值,建立了大气环境数据库。该数据库允许多用户操作,是一个动态运行的数据库,可以满足实时性的要求。另外,根据大气仿真环境采用分布联网、动态交互的体系结构设计了大气环境联邦成员。 展开更多
关键词 大气环境 动态运行数据库 EXTREMEDB 联邦成员
在线阅读 下载PDF
基于CORBA的并行编程环境的设计与实现 被引量:1
7
作者 生拥宏 黄永忠 郭金庚 《计算机工程与应用》 CSCD 北大核心 2001年第17期152-153,156,共3页
作者设计并实现了一种基于CORBA模式的并行编程环境POVPE(并行面向对象可视编程环境),它将传统的单机编程环境中的功能模块在分布式系统环境中进行了分布组织,并用CORBA完成分布模块的交互。文章介绍了该系统的功能描述和体系结构... 作者设计并实现了一种基于CORBA模式的并行编程环境POVPE(并行面向对象可视编程环境),它将传统的单机编程环境中的功能模块在分布式系统环境中进行了分布组织,并用CORBA完成分布模块的交互。文章介绍了该系统的功能描述和体系结构,着重阐述了瘦客户编程、实时远程编译、离线运行等关键技术,并从语言的角度给出了系统的实现方法。 展开更多
关键词 CORBA 并行编程环境 面向对象 通信模块 计算机网络 工作站
在线阅读 下载PDF
基于多核集群的RTI并行优化技术 被引量:2
8
作者 杨勇 姚益平 梁洪波 《系统仿真学报》 CAS CSCD 北大核心 2012年第9期1785-1789,共5页
随着基于高层体系结构HLA(High Level Architecture)仿真应用的不断深入,系统仿真规模不断扩大,仿真模型越来越复杂,仿真节点之间的交互更加频繁,使得仿真系统对通信资源与计算资源的需求不断提高。多核集群能够提供数据并行处理和高效... 随着基于高层体系结构HLA(High Level Architecture)仿真应用的不断深入,系统仿真规模不断扩大,仿真模型越来越复杂,仿真节点之间的交互更加频繁,使得仿真系统对通信资源与计算资源的需求不断提高。多核集群能够提供数据并行处理和高效通信的性能潜力,因此通过在多核集群上进行仿真加速正成为提高HLA仿真运行效率的重要途径。然而传统的仿真运行支撑平台RTI(Run Time Infrastructure)主要面向分布式网络环境,一般不支持并行通信和消息并行处理,从而难以发挥多核集群的高效通信和并行计算的性能优势。因此,为了提高多核集群下大规模HLA仿真的运行效率,提出了基于多通道的并行通信结构和基于消息分类的多线程处理技术,并已经应用于正在开发的并行shmRTI中,与国际同类商业软件pRTI1516进行的对比测试结果表明,性能可提升30%以上。 展开更多
关键词 多核集群 HLA RTI 并行通信 多线程
在线阅读 下载PDF
分布式近地空间环境仿真 被引量:1
9
作者 李建胜 蓝朝桢 +2 位作者 徐青 王鹏 姜挺 《计算机工程》 CAS CSCD 北大核心 2008年第14期251-252,255,共3页
从近地空间环境对人类生存等的重要性方面阐述建立分布式近地空间环境仿真平台的必要性。为使其具有更好的可扩展性、可重用性以及互操作性,该文提出基于HLA的近地空间环境仿真平台联邦的基本框架,针对空间环境可能面对的主要对象,设计... 从近地空间环境对人类生存等的重要性方面阐述建立分布式近地空间环境仿真平台的必要性。为使其具有更好的可扩展性、可重用性以及互操作性,该文提出基于HLA的近地空间环境仿真平台联邦的基本框架,针对空间环境可能面对的主要对象,设计联邦中的主要成员。该方案可以实现联邦中各成员间的分布式集成,已应用于航天以及空间环境领域的实时仿真中。 展开更多
关键词 分布交互仿真 高层体系结构 运行支撑框架 联邦 联邦成员 近地空间环境
在线阅读 下载PDF
基于抽象解释的可执行代码值范围分析
10
作者 窦增杰 王震宇 +2 位作者 姚伟平 陈楠 余弦 《计算机工程》 CAS CSCD 北大核心 2010年第22期69-71,74,共4页
阐述可执行代码抽象存储空间模型的概念并给出程序运行时刻环境抽象表示技术。通过抽象解释静态逼近程序不动点语义的理论保证二进制代码数据流分析的正确性以及可计算性。基于抽象解释和单调数据流框架提出一种自动分析可执行代码变量... 阐述可执行代码抽象存储空间模型的概念并给出程序运行时刻环境抽象表示技术。通过抽象解释静态逼近程序不动点语义的理论保证二进制代码数据流分析的正确性以及可计算性。基于抽象解释和单调数据流框架提出一种自动分析可执行代码变量取值范围的方法及自动获取程序循环最大迭代次数和不可执行路径,并给出数据流分析实例。 展开更多
关键词 抽象解释 值范围分析 数据流分析 运行时刻环境
在线阅读 下载PDF
在实时应用运行环境下虚显示、虚键盘、虚终端的设计与实现
11
作者 邢国光 许博义 +1 位作者 范植华 李朝中 《软件学报》 EI CSCD 北大核心 1994年第8期14-20,共7页
本文介绍了我们独立研制的软件产品VAXELNSMG,它深入I/O底层,精心地设计数据结构与加工算法,在实时系统里填补了虚显示、虚键盘、虚终端等空白.
关键词 虚显示 虚键盘 虚终端
在线阅读 下载PDF
基于SIMplicity的飞行保障指挥仿真系统开发研究
12
作者 王宝龙 康凤举 +1 位作者 方琦峰 黄永华 《火力与指挥控制》 CSCD 北大核心 2009年第8期52-55,共4页
为适应信息化战争要求,提出了采用集成开发环境SIMplicity构建一个基于HLA的开放式、可扩展的飞行保障指挥仿真系统的构想。分析了SIMplicity的特点,研究了系统的功能、组成以及保障作业过程,探讨了联邦成员的开发、将基于控制台框架向... 为适应信息化战争要求,提出了采用集成开发环境SIMplicity构建一个基于HLA的开放式、可扩展的飞行保障指挥仿真系统的构想。分析了SIMplicity的特点,研究了系统的功能、组成以及保障作业过程,探讨了联邦成员的开发、将基于控制台框架向基于MFC框架的改造以及数据管理和界面显示等在系统开发中所需解决的关键技术。目前,所建立的仿真系统已经投入运行,达到了预期的设计目标。 展开更多
关键词 飞行保障指挥仿真系统 运行支撑系统 集成开发环境 成员框架
在线阅读 下载PDF
基于AUTOSAR方法论的应用组件配置 被引量:4
13
作者 徐鑫朋 王翔 +2 位作者 陆建华 徐军 张晓先 《计算机工程》 CAS CSCD 北大核心 2010年第18期240-242,共3页
针对目前主流商用的汽车电子软件设计工具链在通用性和重用性方面存在的不足,根据汽车开放式系统架构标准分析应用组件配置过程,提取应用组件配置的核心元素,以核心元素建立对象,实现一个基于ReWorks操作系统的国产汽车电子组件开发平... 针对目前主流商用的汽车电子软件设计工具链在通用性和重用性方面存在的不足,根据汽车开放式系统架构标准分析应用组件配置过程,提取应用组件配置的核心元素,以核心元素建立对象,实现一个基于ReWorks操作系统的国产汽车电子组件开发平台。该平台对汽车电子软件工具链进行了完善,具有可插拔、易移植等特性。 展开更多
关键词 AUTOSAR 方法论 应用组件配置 汽车电子 运行时环境 虚拟功能总线
在线阅读 下载PDF
二进制环境下的缓冲区溢出漏洞动态检测 被引量:5
14
作者 夏超 邱卫东 《计算机工程》 CAS CSCD 北大核心 2008年第22期187-188,191,共3页
提出一种在二进制环境下挖掘缓冲区溢出漏洞的方法。结合动态与静态挖掘技术对二进制环境下的程序作进一步的漏洞查找。静态方法主要对二进制程序中函数栈帧的特征和汇编语句的内在语义关系进行分析,动态模拟方法为程序和函数提供了一... 提出一种在二进制环境下挖掘缓冲区溢出漏洞的方法。结合动态与静态挖掘技术对二进制环境下的程序作进一步的漏洞查找。静态方法主要对二进制程序中函数栈帧的特征和汇编语句的内在语义关系进行分析,动态模拟方法为程序和函数提供了一个虚拟的运行环境,使程序在运行过程中结合一些静态特性得到该函数缓冲区变量的内存读写语义,最终判定程序中是否有缓冲区溢出。 展开更多
关键词 动态检测 虚拟运行环境 语义
在线阅读 下载PDF
基于马尔可夫模型的多agent自适应在线验证 被引量:5
15
作者 叶幸瑜 刘玮 +1 位作者 王宁 甘陈峰 《计算机应用研究》 CSCD 北大核心 2021年第5期1477-1481,共5页
用于领域中业务关键型的自适应系统(self-adaptive system,SAS)需要遵从严格的质量要求,在多agent自适应系统运行过程中需要根据动态环境与需求实现自适应调整。针对上述问题,提出了一种基于马尔可夫的多agent自适应在线验证方法。首先... 用于领域中业务关键型的自适应系统(self-adaptive system,SAS)需要遵从严格的质量要求,在多agent自适应系统运行过程中需要根据动态环境与需求实现自适应调整。针对上述问题,提出了一种基于马尔可夫的多agent自适应在线验证方法。首先将多agent系统中环境影响因素转换为概率形式,然后将系统形式化为马尔可夫模型,最后通过模型检查的方式进行在线验证,使系统通过验证结果对自身进行调控。通过现实的智能无人停车场案例进行了实验,论述了方法的使用流程以及验证效果。实验结果表明,该方法适用于具有多agent的自适应系统,并能够在系统出现故障情况下及时进行调控,相比原始系统的稳定性有了较大的改善。 展开更多
关键词 自适应系统 多代理 动态环境 在线验证
在线阅读 下载PDF
基于FEMTO基站的矿用CDMA无线通信系统 被引量:3
16
作者 顾义东 《工矿自动化》 2010年第12期11-13,共3页
矿用CDMA无线通信系统总体造价相对较高,不利于大规模推广,而且井下巷道错综复杂,其无线信号的全矿井无缝覆盖困难极大。针对上述问题,提出了一种以FEMTO基站作为井下覆盖设备、以井下工业以太网为主传输通道的新型矿用CDMA无线通信系... 矿用CDMA无线通信系统总体造价相对较高,不利于大规模推广,而且井下巷道错综复杂,其无线信号的全矿井无缝覆盖困难极大。针对上述问题,提出了一种以FEMTO基站作为井下覆盖设备、以井下工业以太网为主传输通道的新型矿用CDMA无线通信系统的设计方案;给出了该系统的总体结构,详细介绍了FEMTO基站的组成及主要技术参数。测试结果表明,该系统的无线信号覆盖范围大、通话效果好。 展开更多
关键词 井下通信 CDMA无线通信 FEMTO基站 工业以太网
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部