虚拟化技术在综合化航电系统中的应用

将虚拟化技术应用于航空电子系统的设计,利用虚拟机系统来实现硬件资源的共享管理和软件子系统的划分,并符合ARINC 653规范的要求——模块化、可靠性、隔离性与开放性.构建由硬件平台、虚拟机监视器(VMM,Virtual Machine Monitor)和分区操作系统、航电应用软件所组成的3层软件架构,可以满足综合模块化航电系统(IMA,Integrated Modular Avionics)的功能要求与接口要求.其中,为实现符合ARINC 653要求的VMM,传统分区操作系统需要进行多项关键性调整,包括处理器特权级和特权指令、中断、内存地址空间分配、设备驱动等方面,从而可以构造基于VMM的综合化航空电子系统.     

基于DSI插值的三角网格质量优化

通过对三角网格的单元顶点进行几何位置调整,提高了网格的质量,实现了网格的质量优化.几何位置调整是使用离散点光滑插值(DSI,Discrete Smooth Interpolation)实现的,针对在计算时影响质量优化的邻接边界的单元顶点,采用了在边界处补偿三角形的方法,消除了单元收缩,提高了网格的质量.与加权拉普拉斯算法进行了比较和分析,优于拉普拉斯算法;为了使三角网格在位置调整时保持原始网格的几何细节特征,在插值算法中施加了控制点约束.最后使用算例对算法进行了验证.      

一种新的IPSEC穿越NAT方法

Internet网络层安全协议(IPSEC)和网络地址翻译器(NAT)不兼容,这严重限制了 IPSEC的应用范围.解决方法必须遵循的原则是既能使IPSEC数据流穿越NAT,又不必修改路 由器和NAT,部署方便.目前存在的3种解决方法都具有局限性:"先于IPSEC进行NAT转换 "方法难以实现,"特定域IP通信(RSIP)"方法部署困难,"用户数据包(UDP)封装安 全封装协议(ESP)数据包"方法只能部分地解决IPSEC与NAT不兼容问题.在分析现有方法的 基础上,提出一种新的解决方法,即UDP封装IPSEC数据包方法.该方法通过UDP封装IPSEC数 据包,保护原始IP地址和端口号,消除了NAT对IPSEC影响.详细介绍了该方法的实现思路, 进行了可行性和优缺点分析.通过分析可知,新方法具有明显优点,能够方便、有效地解决 IPSEC和NAT兼容问题.      

拿什么来拯救你中国电子商务?

曾经被所有人说好的事情沒那么好,比如电子商务;现在被所有人说坏的事情其实也沒那么糟糕,比如电子商务.在2001年网络经济持续不景气与中国著名电子商务网站的那场"瘟疫"之后,电子商务在中国就成了一个谈虎色变的话题,但是互联网在前进、电子商务网站要生存、传统企业也要靠电子商务来实现信息化,于是电子商务终归要复活,中国电子商务需要进行拯救,王峻涛站在西单商场里对着人群喊"我要购物"是拯救,所有在为自己存活下去而努力的电子商务网站也是在拯救.     

世界杯:助攻中国IT业

韩日世界杯是一块大蛋糕,闪烁着诱人的光芒,对于中国IT业来说,也从中得利分到一杯羹.虽然得到的这块蛋糕不会很大,世界杯和中国IT业也不会有"负距离"或者"零距离"般如此亲密的接触,但是日韩世界杯有力地助攻一次中国的IT产业.     

Prolog／Lisp协处理器板对Prolog部分的支持

Prolog/Lisp协处理器板是为高效支持运行于Sun3/4及其兼容工作站上的Prolog和Lisp这两种人工智能语言而设计的的专用系统。本文在简单介绍Prolog/Lisp指令集中Prolog部分及Prolog/Lisp协处理器的体系结构之后,描述了该协处理器板上支持Prolog中转移,选择点建立、修改和删除等指令及合一中的多路转移操作的专用结构和专用芯片的原理。模拟结果表明,Prolog/Lisp协处理器板可以满足Prolog部分的推理速度(Local Inference Speed)达到500kLIP/s的要求。     

面向集群环境的虚拟化GPU计算平台

针对集群系统的多节点多GPU环境,提出一种新型虚拟化GPU计算平台。该平台实现对集群系统所有节点上GPU资源的统一抽象与管理,构建公共GPU资源池。原有GPU应用程序可以不经任何修改而迁移到虚拟化GPU计算平台,并具备访问资源池内任何GPU的能力,编程人员无需显式针对多节点多GPU应用展开MPI编程。应用程序摆脱了单个节点上GPU资源的限制,并具备无差别地访问集群系统中任何可用GPU资源的能力,能有效提高系统总体资源利用率以及吞吐量。采用流水化通信技术,实现对虚拟化GPU计算平台的运行时开销以及节点间数据传输延迟的隐藏。实验表明:与非流水化通信相比,系统总体数据传输延迟降低了50%~70%,具备与节点机本地数据传输等同的通信性能。      

一种面向片上网络的链路调度算法

新兴的片上网络(NoC, Network-on-Chip)通常采用虫孔交换技术,其中的链路调度机制难以保证报文级的转发延迟.提出的逆向锚点轮转(RARR, Reverse Anchored Round-Robin)调度算法结合了逐个微片轮转(FFRR, Flit-by-Flit Round-Robin)和逐个报文轮转(PPRR, Packet-by-Packet Round-Robin)调度算法的特点.RARR算法在报文的头微片抵达目的节点前以逐个微片的方式实施调度;此后以最后一跳的链路为起点,沿该报文的转发路径逆向的、逐跳的为所有片段请求和调度锚点.RARR算法将获得锚点的报文设置为最高优先级,对其实施报文级的调度;当锚点报文转发过程中断时,以逐个微片的方式轮转调度其他报文.RARR算法的基本思想源于锚点轮转(ARR, Anchored Round-Robin)调度算法,但是其中关键的锚点调度机制更具确定性,同时消除了ARR算法中的死锁问题.利用周期精确的虫孔交换网络仿真环境量化评估了常见的轮转调度算法,包括FFRR,PPRR,ARR和RARR.实验结果表明,RARR算法具有最优的性能.      

NET-RAM的设计与实现

对SNOW机群系统的分布式共享存储管理机制进行适当的简化,就可实现网络虚拟存储环境.它以本地节点的主存作为cache,以网络上其它节点机的主存作为本地节点机主存的后援存储,取代本地节点机的硬盘或其它介质的存储设备.充分利用网络上节点的物理存储空间,使一些在单机上由于内存限制而无法完成的计算成为可能.这对于时间敏感性不高但需使用大内存的计算程序尤其适合.本文在介绍了网络虚存的概念之后,详细阐述了一个网络虚拟环境NET-RAM总体结构,软cache的实现方法,并对该网络虚存环境进行了测试,分析了测试结果.最后对今后的工作进行了探讨.