计算机辅助绘制电子线路图

本义介绍在IBM 4300系列机上实现的、一种用于绘制电子线路图的应用软件,除能绘制表示各种元器件的符号图形外,还具有较强的图形编辑功能,例如可对图形作平移、复制和删除等操作。绘图采用菜单工作方式,操作很简便。程序用FORTRAN语言编写,采用模块结构,便于修改、功能充扩和移植。     

开放式计算机试题库系统

本文通过对开放式计算机试题库系统设计的阐述，介绍了开放式计算机试题库系统的基本特点，并阐述了计算机系统设计计算机试题库的基本环节、难点问题及解决方法，并给出了程序流程图。     

数控编程系统中通用后置处理技术研究

后置处理是数控编程系统中的重要组成部分,它是将产品设计结果转化成实际生产不可缺少的环节.本文结合超人CAD/CAM集成系统的开发工作,对通用后置处理技术作了总体分析,并对其结构、程序及其功能的实现进行了具体描述.所研制的通用后置处理系统采用了交互式图形界面技术,便于使用和修改,为通用后置处理系统的实用化、通用化、商品化打下了基础.     

计算机压电测压系统在弹道压力测量中的应用

介绍了计算机压电测压系统的组成、压电测压传感器的工作原理以及压电测压系统等效电路和标定     

随钻测斜用微小型导航计算机系统设计与实现

为了满足随钻测斜仪器在油气井中恶劣环境下的测量要求,本文提出了一种以数字信号控制器（DSC）和FPGA组成的双CPU导航计算机方案。该系统由DSC（dsPIC30F6014A）作为核心处理器完成导航计算和滤波算法;由FPGA完成对IMU（惯性测量单元）数据的采集控制及传输等功能。DSC与FPGA之间通过串口传输,最终导航结果由DSC输出给外部控制设备。该系统很好的满足了随钻测斜仪的性能尺寸要求,试验验证结果表明倾斜角、方位角、和工具面角均达到了预期精度指标。     

Graph-tree-based software control flow checking for COTS processors on pico-satellites

 This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking (GTCFC) for space-borne commercial- off-the-shelf (COTS) processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer (OBC) of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions.     

分布式卫星嵌入式计算机系统结构设计方法

针对分布式卫星的运行环境和任务特点,综合考虑分布式卫星嵌入式计算机系统在可靠性、安全性和实时性方面的要求,提出了一种基于三级容错的主辅式双系统体系结构设计方法。论文分析了分布式卫星的特点和星上嵌入式计算机系统的设计要求,对三级容错设计、主辅式双系统安全设计以及基于可信平台模块(TPM)的辅系统设计进行了详细的阐述。该设计方法已成功应用于地面原理验证系统中,结果表明其可以很好地解决分布式卫星嵌入式计算机系统的可靠性、安全性和实时性问题。     

基于工厂机制的Air-SeaSim CGF模型系统

针对仿真模型可重用性不足的问题,以海空对抗战术仿真为背景,设计了一种基于工厂机制的Air-SeaSim CGF(Computer Generated Forces)仿真模型开发系统.遵循"自底向上"的开发原则,构造了由模型层、对象层、服务层和应用层构成的Air-SeaSim CGF模型系统软件体系结构.基于工厂机制的实体模型设计,对CGF实体进行适当的分解,抽象出满足仿真需求的模型,以组件形式表示,通过定义组件接口实现实体模型的快速组装及其功能的扩展.系统应用效果表明,通过工厂机制开发技术设计的Air-SeaSim CGF实体模型,集成了不同粒度组件的仿真模型,实现了实体模型行为组件在不同兵力模型建立过程中的共享和组合,简化了用户的定义,有利于模型的统一开发.     

基于GPU加速的binLBT压缩解压算法

地形数据的压缩/解压是大规模地形实时绘制方法的关键步骤,与绘制效率密切相关.通过对压缩/解压方法核心重叠双正交变换的分析,采用重叠双正交变换的整数提升方法将变换中的浮点数操作转换为整数操作及移位操作.使用支持图形处理单元(GPU,Graphic Processing Unit)通用计算的CUDA(Compute Unified Device Architecture)对变换过程及编码过程进行加速.针对数据超出显存容量的情况,采取数据分块的方法将数据分别载入显存进行变换与编码以完成对整体数据的处理.实验结果表明,基于GPU加速的重叠双正交变换整数提升方法的压缩算法有效提高了地形数据处理的效率,并加快了大规模地形绘制速度.     

屏幕空间微结构表面对象环境光遮挡算法

针对目前复杂微结构表面对象中环境光遮挡计算方法效率低下的缺点,提出一种基于屏幕空间的环境光遮挡计算方法.该算法利用离屏渲染技术,只针对视点所见的场景计算环境光遮挡.算法采用2遍渲染处理,第1遍得到场景的深度纹理,第2遍采用计算最大遮挡角度的方法来快速计算出环境光遮挡的大小;结合延迟着色等技术,可以快速绘制出整个场景的环境光遮挡情况.整个绘制算法在图像空间完成,较好地利用了GPU并行计算的特点,可呈现可变形物体在动态场景中的环境光遮挡效果.实验结果表明,与同类算法相比,该算法不需要预处理,环境光遮挡关系判断高效,绘制速度得到了很大的提升.