MPP数据并行FORTRAN汇编代码模拟环境的设计与实现

本文阐述了一种在单机上模拟ＭＰＰ机执行并行汇编代码的方法。这种并行汇编代码由ＭＰＰＦＯＲＴＲＡＮ编译器生成。由于在一个大型工程中，编译生成的目标代码运行环境不一定能及时具备，所以，研制汇编代码模拟环境ＤＰＦＡＳ有助于及早验证编译目标代码的正确性和完备性。本文通过共享进程组在ＳＧＩ工作站上实现多机环境模拟和远程地址访问模拟。此模拟环境的实现对ＭＰＰ数据并行ＦＯＲＴＲＡＮ编译器的正确性验证和效率评估有一定的帮助。     

一个基于图着色的CACHE优化方法

提出了一个编译时的Cache管理优化方法。该方法根据访存行为将程序中的数据划分成若干数据对象,根据数据对象的大小将Cache划分为一个带有别名的伪寄存器文件,每个伪寄存器由若干Cache行组成,可以容纳一个数据对象;使用一个经过改进的图着色寄存器分配算法来决定这些对象在Cache中的位置以及发生冲突时的替换关系。数据对象的划分将Cache的管理分为两个层次,一个是编译时编译器对粗粒度的数据对象的管理,另一个是运行时硬件对细粒度的Cache行的管理,这样编译器和硬件的优势都得到发挥。基于GCC进行了方法实现,并通过simplescalar构造了支持Cache Coloring的硬件模拟平台。实验结果表明Cache Coloring能较好地开发程序的局部性,降低Cache失效率。     

一个CHILL子集的实现

CHILL语言是CCITT建议的、面向程控交换软件设计的高级语言。我们设计了它的一个子集,命名为Mini-CHILL,体现了CHILL语言的高度并发性和高度可靠性。本文介绍Mini-CHILL编译系统的实现和技术。该编译系统实现了分别编译、并发功能和严格的模式检查,编译效率高,操作维护方便,具有很高的可靠性和良好的可移植性。 Mini-CHILL编译系统对CHILL编译系统的研制、特别是并发处理和分别编译功能的实现提供了经验,希望它对我国程控交换软件的研制将会起一定的推动作用。     

基于RTX的空面导弹制导控制系统快速原型仿真

制导控制系统快速原型仿真是空面导弹研制与开发的重要组成部分,是数字仿真到半实物仿真不可缺少的中间环节。基于Windows平台、Simulink仿真建模软件和RTX实时嵌入内核,建立了制导控制系统快速原型仿真系统。基于VMIC实时网络系统实现了分布式仿真,完成了模型在线调参、自动下载等功能。最后应用该系统实现了Simulink环境下空面导弹制导控制系统模型在RTX环境下的快速原型仿真,仿真结果验证了该系统仿真准确性以及良好实时性能。     

通装机液检测试验平台综合测控系统设计与实现

综合测控系统是通用装备机械液压系统综合检测试验平台的核心功能子系统,实现了利用一套软硬件系统完成××种通用装备机械液压系统的原位检测、评估及故障诊断、部(元)件修后试验控制及质量评估和信息管理等功能。详细介绍了综合测控系统的构成及功能、软硬件系统的设计与实现以及解决的关键技术问题,为今后研制具有"综合集成、功能通用"要求的测控系统提供借鉴和参考,也为通用装备维修检测设备的下一步研制工作提供建议与思路。     

应用软件生成环境ASP的设计与实现

本文重点介绍了一个已实现的应用软件开发环境ASP,其特点是将一组应用软件工具集成到一个统一的框架中,从而支持DPS和MIS的原型开发。有关程序的描述是通过ASP描述语言完成,ASP提供对该语言的语法制导编辑、编译、链接生成和解释运行等操作,从而构成一个完整的第四代语言系统。     

以数据为中心的C4ISR系统体系结构集成开发环境

体系结构设计是C4ISR系统总体设计的重要组成部分,针对以往体系结构设计中存在的问题和不足,研究了以数据为中心的C4ISR系统体系结构开发规范,并在此基础上,研制了相应的集成开发环境,分析了该环境的主要功能、集成框架以及相应的数据管理机制.     

编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

基于SOPC的陀螺星敏感器姿态确定系统

为了提高姿态确定算法的计算速度,通过对陀螺星敏感器姿态确定算法的详细分析,设计出了基于SOPC(System On a Programmable Chip)系统的卡尔曼滤波处理器.在该处理器中,对算法进行了软硬件代码划分.软件部分采用Nios II IDE编程环境进行编写和编译,硬件部分采用硬件描述语言进行构造.通过S...     

基于Zynq的战术数据链端机设计

为了适应战术数据链向小型化、单兵化的发展趋势,提出了一种基于Zynq的高性能战术数据链端机的设计方案。给出了设计流程和硬件设计原理图。实现了端机的RS编译码、CCSK软扩频、CCSK解扩解调等子模块及PS、PL之间的通信。在vivado IDE、SDK环境下选择Zynq xc7z035 FPGA芯片进行系统级综合、仿真和验证。结果表明,与传统方法相比,该方案简化了端机的实现难度、提高了集成度、帧数据处理速度可达到ms级,硬件成品适合工作在高动态、多节点的场合。     

KVM-OSD技术在指火控系统中的应用

为了满足军用集成运算环境对外部操控与显示设备的特殊要求,采用高分辨率视频切换技术、高速差分信号切换芯片与OSD字符叠加技术设计了KVM切换模块,并应用于指火控系统。该模块采用按键分别控制VGA视频与USB键盘、鼠标切换。经模块级、单元级与可靠性考核试验以及在指火控系统中的应用证明了该模块具有良好的稳定性与可靠性,方便了使用人员的操作。     

基于IP层的保密通信技术研究及实现

针对W indows2000下自带的IPSec与L inux的IPSec相互通讯比较困难的问题,对L inux IPSec、ND IS网络驱动程序以及WDM设备驱动程序进行了研究,在W indows平台下设计并实现了一个基于中间层驱动程序的IP-Sec,它能与L inux IPSec通讯。中间层驱动程序对过往的数据包进行加密或者解密操作是通过WDM设备驱动程序与上层应用程序的通讯机制,以此来实现应用层与内核的双向通讯,即应用层向内核传递密钥及其他配置信息,内核向上层应用程序提供底层的配置信息。此外,在L inux IPSec源代码的基础上增加了安全审计功能,具体测试结果表明,这个系统可以与L inux IPSec通信。     

装备技术人才军民融合定制化培训模式

本文依托军民融合国家战略基础，对比国内外发展现状，分析现行培训形式的不足之处，梳理军民融合式培训需求，将军民融合理念贯穿人才培训全过程。针对军事体制调整后的专业技师和工程师等专业技术骨干，形成一套培训要求“专业化”对接、培训师资“军学研”共建、培训内容“菜单式”定制、培训样式“多手段”并举以及培训效果“递进式”发挥的装备技术人才军民融合定制化培训模式，并且有针对性地提出军民融合基地化培训的建设框架，从培训管理、培训实施等方面提出方法，为部队拓宽专业技术人才培训通道，实现被动式培训向主动式培训转变，提高装备实战化保障能力提供借鉴和指导。     

基于SOPC技术的战车综合显控终端设计

通过战车乘员综合显控终端,战车成员可以快速准确地获取战车的各种状态信息,从而大大提高指挥员的判断能力。基于SOPC技术的战车综合显控终端,在单片FPGA内部集成了微理器系统、各种接口控制器、DSP协处理器以及用于液晶显示控制的液晶屏硬件控制器等,具有集成度高、处理能力强、可靠性高、设计灵活、硬件可在系统升级等众多优点。     

EXTENDED DETERRENCE IN THE MIDDLE EAST

The article presents and analyzes the US extended deterrence commitments in the Middle East as well as those provided by regional states, and assesses the effectiveness and credibility of these commitments. The article then proceeds to analyze a situation wherein Iran successfully develops nuclear weapons. It considers first the security requirements and alternatives of Gulf Cooperation Council (GCC) states, and then proceeds to assess the stability—or instability—of an Israeli-Iranian nuclear balance. The enhancement of US extended deterrence in the region is required in order to deter Iran, reassure allies, and contribute to the stability of an Israeli-Iranian nuclear balance. The article also discusses several contextual issues, such as: the future form of US extended deterrence; distinguishing between the latter and other US extended deterrence commitments; and the different approaches of specific GCC states and Israel.     

Prolog 编译器中暂时变量分配方法研究

文中研究对prolog 编译器的暂时变量的分配,介绍了回溯分配法,着重介绍了一种高效的无回溯分配法的实现原理及其优点。     

远程监控在靶场指挥显示系统中应用探讨

靶场指挥显示系统具有结构复杂、地域分散的特点,维护难度大。通过对靶场指挥显示系统使用和维护现状的研究,引入远程监控的思想,采用C/S网络结构的远程控制技术,在现有指挥显示系统中增加远程监控功能,对分布式的指挥显示系统进行集中管理,提高了指挥显示系统软件的可靠性和维护性,在试验任务中取得了较好的效果。     

一种面向分布式寄存器文件的VLIW调度新策略

新一代面向密集计算的高性能处理器普遍采用分布式寄存器文件来支撑ALU阵列,并通过VLIW开发指令级并行.面向分布式寄存器文件的编译成为新兴的研究热点,在斯坦福大学的kernelC编译器ISCD中最早提出了面向分布式寄存器的VLIW调度问题,在该领域处于领先水平,但是没有解决重负载下的分布式寄存器分配问题,使应用编程受到极大限制.在其基础上提出了一种新的VLIW调度策略,实验结果表明能够很好地解决重负载下的分布式寄存器分配问题.     

基于ARM的LED指挥控制终端的设计与实现

LED显示屏是现代社会发布信息的一种重要方式,通过LED显示屏可以播放视频、文字等不同形式的信息,为人们传达最直观的视觉信息。随着科学技术的不断发展,LED显示屏的应用也日渐广泛,尤其是军事上的应用,比如基于LED显示屏的各种级别指挥控制终端的设计和运用,具有更为深入的研究价值。而ARM处理器是实现LED显示屏控制系统有效运行的基础,主要针对基于ARM的LED显示屏指挥控制终端系统的设计与实现的相关问题进行了探讨。