不确定性时空查询的一种符号表示法

分析了时态查询、时空查询和不确定性时空查询的各类查询形式及其查询特性,以BNF(B ackus-naurform)范式形式给出不确定性时空查询语义的统一符号表示法,并对典型查询进行举例说明。该表示法建立在时态谓词、时空谓词和不确定性时空谓词基础上,可消除由不同表现形式带来的语义混淆,以对各类不确定性时空查询进行统一表示。该方法还可用于不确定性时空数据库原型系统的实现和不确定性时空查询的进一步研究。     

突发通信系统中的OFDM同步技术研究

在突发通信中,要求系统的同步能够达到快速准确,以便通信的顺利进行。文章针对应用于突发系统中的OFDM的同步问题做了深入研究,分析了系统中主要存在的三种同步:符号同步、样值同步以及载波同步的原理,并给出了具体实现算法。仿真结果表明,所给出的方案是可行的。     

支持设计模式组合的UML扩展图形符

一般情况下,设计模式及其组合应用都是通过UML来建模的,然而当一种设计模式应用于或与其它模式组合应用时,模式相关的信息有可能因为传统的UML图在一个具体的上下文中不能跟踪到这一信息而丢失。因此,设计者要识别一个用于或者组成其它模式的设计模式就很困难。在本文中,我们提出了几种扩展符号来明确地描述在设计模式应用和组合中的设计模式。这些符号使我们可以维护模式相关的信息。这样,在应用和与其它模式组合时,设计模式就可以识别和跟踪了。     

某型随动系统传动链结构刚度问题研究备

在某型随动系统调试过程中,系统终端负载的高低指向角出现震荡现象．经分析,高低传动链路结构刚度不足导致了终端负载的高低指向角震荡．本文对该系统的高低传动链路结构刚度进行了分析研究工作,并给出了优化方案．     

可编程控制器(PLC)在发动机冷调试验中的应用

为满足各型号发动机对冷调试验的设计要求,利用可编程控制器准确的时序控制,在水试状态下考核发动机流量调节器、换向阀、发生器燃料阀的工作协调性。验证调节器转级时发生器点火路和推力室点火路的充填特性,获得了流量调节器和换向阀的工作特性参数。为各型号发动机的深入研究提供了有效的依据。     

面向机载计算机的高级语言和汇编语言符号调试程序设计

符号调试程序,是一种支持用户在目标机上动态调试、跟踪源程序运行的的工具。本文描述的JDBG就是一个支持某高级语言和机载计算机汇编的符号调试程序,除介绍JDBG的功能、总体结构和部分功能的实現方法外,还详细地介绍了JDBG的设计特色,如支持多种语言源程序的调试、支持扩充存储器的使用、支持动态变量查看点、符号表的动态加载等。针对开发环境的特点,本文介绍的单步命令及动态变量查看点的实现方法也颇具特点。     

平面自然坐标系的选取及符号规则

本文介绍了一种求解质点力学问题，当需要用到自然坐标系时的规定，能迅速得出可靠的运动微分方程。     

在线仿真器的一些实现方法

叙述一些在线仿真器的实现技术,例如“零地址仿真”技术和“全空间仿真”技术,并介绍它们在AEDK8688和AEDFK5198仿真器上的实现。     

千分表检定仪示值误差分析及其调整

千分表检定仪是供机械制造厂和和计量部门用于检定千分表示值误差的一种标准仪器。千分表检定仪的精度将直接影响千分表的示值检定、如果千分表检定仪示值超差,就必须分析超差原因,根据误差的性质,尽量消除或减小误差,使仪器示值误差符合规程要求。     

量和单位中马赫数的正确表述与应用

在推进技术论文中 ,“马赫数”是使用频率很高的量 ,但文稿中对这一量与符号的使用常有差错或不规范 ,需根据ＧＢ310 0～ 310 2 93系列标准的要求 ,强调其含义的科学性和表述的准确性。(1)马赫数是动量传递特征数 ,英文名称为 :Ｍａｃｈｎｕｍｂｅｒ。ＧＢ310 2 .12规定 ,特征数的符号由两个字母组成 ,其中马赫数的符号为Ｍａ ,因而用“Ｍ”表示马赫数是不确切的。(2 )所有特征数的名称均有“数”字 ,如雷诺数、欧拉数、韦伯数、克努森数、傅里叶数…… ,这“数”字不可省略。因而不能将“马赫数”简化成“马赫”。(3)马赫数是量的名称 (非…