仿真语言自动排序器

连续系统高级仿真语言是一种非过程的程序设计语言,程序的书写顺序与执行顺序无关。为了将仿真语言程序编译成能在计算机上正确执行的程序,必须对源程序进行排序。本文在讨论分析了高级仿真语言动力学段特性的基础上,给出了并行仿真软件PAR-SIM中高级仿真语言PARCSSL编译器的自动排序器的实现算法。     

超级计算机转移机制研究

延迟转移是RISC技术特点之一。根据在类Cray-I巨型机上对标量程序的模拟可知,机器运行中约15%～20%的时间花在转移处理上。本文深入分析了i860RISC机制中延迟转移技术,研究了在类Cray-I模型机上移植延迟转移技术的实现方法。模拟结果和理论分析表明,(?)向量化率不高的标量程序,每条转移指令的执行时间每减少一拍可提高系统速度4～5%左右。     

电子装备模拟印制板电路故障自动诊断系统研究

为提高电子装备模拟印制板电路故障诊断的速度,本文使用直流故障字典法原理,运用区域性故障定位方法,改进器件模型和电路描述程序,设计了模拟印制板电路故障自动诊断系统。     

一种超短波雷达天线方向图的自动显示方法

本文研究利用超短波雷达实现自身天线方向图的自动显示的方法,文中介绍了系统的工作原理,分析了雷达接收系统对显示图象的影响因素及处理方法。     

城市火灾自动报警监控网络系统的应用与管理

介绍城市火灾自动报警监控网络系统及其组成,阐述系统的技术应用,并展望该系统的发展前景及存在的技术难题。     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

载重汽车自动离合器坡道起步控制策略与试验研究

根据坡道起步时离合器的接合特性,将离合器接合过程分为3个阶段,分别选取不同的控制参数和控制策略,实现了电机驱动式自动离合器在不同坡道下的起步控制。经试验证明:该控制策略可以适应驾驶员的起步意图,达到了起步冲击度和滑磨功综合控制的目的,取得了满意的控制效果。     

用于蓝军自动决策的多主体协商与协调方法

在分析军事训练与教学实践对蓝军自动决策需求的基础上,设计了基于多主体的蓝军自动决 策系统体系结构,重点论述了多主体间的协商与协调方法。     

第三代短波自适应通信协议分析

第三代短波自适应通信系统是以3G-ALE为核心协议的一种无线分组交换系统,本文从系统协议结构出发,分析了第三代短波自适应通信系统中的主要层次功能和主要协议。     

环境介质对超高强车用钢延迟开裂性能的影响

分析了环境介质对超高强车用钢的延迟开裂性能的影响,通过对DP1180、MS1180和QP1180三种材料的试验得到具体影响结果。