-
题名系统虚拟化技术研究
被引量：5
- 1
-
-
作者
俞烈彬
陈学兵
-
机构
江苏自动化研究所
-
出处
《电子世界》
2013年第12期8-9,共2页
-
文摘
系统虚拟化技术已经成为当前研究的热点,并在工业界得到了广泛应用。对系统虚拟化技术进行了较为全面的分析,包括系统虚拟化的架构,系统虚拟化中的CPU虚拟化、内存虚拟化、设备虚拟化等关键技术,系统虚拟化的性能评测技术,以及系统虚拟化的应用和相关产品。最后对系统虚拟化的发展趋势进行了展望。
-
关键词
系统虚拟化
虚拟机监控器
服务器
嵌入式系统
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名武器装备系统中的人机交互新技术
被引量：5
- 2
-
-
作者
俞烈彬
孟凡文
-
机构
江苏自动化研究所
-
出处
《电子世界》
2013年第12期164-165,共2页
-
文摘
现代武器装备系统正在向智能化方向发展,人机交互的效率将直接影响武器装备系统的作战性能。本文研究了单点触控技术、多点触控技术、语音交互技术和多通道人机交互技术等人机交互的新技术,分析了各项技术的基本原理、技术特点、发展现状及其在武器装备系统中的应用前景。新型人机交互技术的应用,能够显著提高武器装备系统的人机交互效率,进而提高其作战能力和效率。未来的武器装备系统中,新型人机交互技术必将发挥至关重要的作用。
-
关键词
人机交互
武器装备系统
多通道人机交互
-
分类号
TP11
[自动化与计算机技术—控制理论与控制工程]
-
-
题名可信软件研究
被引量：3
- 3
-
-
作者
俞烈彬
王立杰
-
机构
江苏自动化研究所
-
出处
《指挥控制与仿真》
2013年第4期8-11,31,共5页
-
基金
总装备部"十二五"基金项目
-
文摘
可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。
-
关键词
可信软件
可信度量与评估
可信构造与验证
可信演化与控制
-
Keywords
trusted software
measurement and evaluation of software creditability
construction and validation of trusted software
evolvement and control of trusted software
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于MDA的MARTE模型形式化转换
被引量：2
- 4
-
-
作者
王立杰
刘昌禄
俞烈彬
-
机构
江苏自动化研究所
-
出处
《指挥控制与仿真》
2012年第6期128-133,共6页
-
基金
总装备部"十二五"基金项目
-
文摘
非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。
-
关键词
模型驱动
MARTE模型
Object-Z规约
元模型
模型转换
-
Keywords
model driven
MARTE model
Object-Z specification
meta model
model transformation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
E917
[自动化与计算机技术—计算机科学与技术]
-
-
题名嵌入式设备驱动程序独立加载技术
- 5
-
-
作者
朱兴泉
俞烈彬
-
机构
江苏自动化研究所
-
出处
《指挥控制与仿真》
2011年第3期113-115,共3页
-
文摘
针对嵌入式软件开发的特点,运用独立加载技术实现对嵌入式系统驱动程序代码的独立加载和升级。设备驱动程序独立加载技术打破了多个嵌入式软件模块合编成单个目标文件的传统模式,将各个软件模块进行独立和分离,通过硬件自动扫描引擎自动检测硬件设备,程序加载器构建设备链表和驱动程序链表,并根据配置信息分别加载相应的驱动程序和应用程序,实现多个嵌入式设备驱动程序的独立加载。嵌入式设备驱动程序独立加载技术的研究和应用为各系统组件和应用模块的独立开发以及软件模块动态扩展和独立升级提供了捷径,降低了嵌入式软件协作的人力和时间成本。
-
关键词
嵌入式
独立加载
驱动程序
独立升级
-
Keywords
embedded
independent loading
driver program
independent update
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
