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

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

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

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

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

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

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

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

2．4m跨声速风洞带TPS测力试验数据精度要求分析

成功建立带TPS风洞测力试验技术的一个关键问题是确保试验数据具有足够的精度，必须精细地分配误差。为获得满足工程需要的高精度测力试验数据，给出一种基于计算机符号运算的子程序，完成不确定度计算过程中公式自动推导、计算。最后通过对TPS风洞试验数据精度的敏度分析，给出了某运输机在2．4m跨声速风洞TPS试验中各环节的误差分配要求。     

空间推进系统的故障推理研究

空间推进系统必须可靠地完成轨道保持、轨道修正、姿态控制的重要任务 ,要求当其某一功能模块出现故障时、能及时发现并有效隔离。文中介绍了利用有向图方法分析此推进系统故障传播机理的方法 ,并建立相应的故障推理模型。离线检测和理论分析表明 ,此方法逻辑性强 ,简单高效 ,具有空间实时应用的可能性     

基于循环前缀的OFDM符号同步改进算法研究

OFDM系统的接收端对同步性能的要求很高,同步不好对整个系统性能的影响非常大。符号定时同步是同步过程中首先进行的,文中提出一种基于循环前缀的符号同步改进算法,相比于最大似然估计算法,改进算法运算量小、实现简单。两种算法的仿真结果表明,改进算法对循环前缀长度的要求要低得多,并且估计性能得到了一定的提高。     

宫崎骏让世界如他般美好

<正>不管我们以何种方式认识宫崎骏,他作品中充斥的自由、梦想,以及各种幻想符号毫无征兆的突然向你冲来,万事万物间满载的精灵,不光冲击着你的视觉,也挑战着你的精神。正是出于他这种对理想主义的坚持和固守,宫崎骏的作品才会如此温暖,又直抵人心。     

穿越历史之门四川牌坊鉴赏

摄影师任大跃近些年一直奔波于四川各地．搜寻拍摄散落于民间各处的牌坊遗存。“它不仅是一种装饰符号和模式语言,也承载着无数个动人的故事．蕴涵着一种独特的文化精神。”     

浅析HB5888-2008的应用

针对HB 5888应用范围,对航空辅机产品研制使用过程中出现的问题及采取的措施进行了综合论述.