AN UNIFIED METHOD AND THEORY FOR GRAMMAR DESIGN OF A CLASS OF CONTEXT-SENSITIVE LANGUAGES

ＡＮＵＮＩＦＩＥＤＭＥＴＨＯＤＡＮＤＴＨＥＯＲＹＦＯＲＧＲＡＭＭＡＲＤＥＳＩＧＮ　ＯＦＡＣＬＡＳＳＯＦＣＯＮＴＥＸＴ－ＳＥＮＳＩＴＩＶＥＬＡＮＧＵＡＧＥＳＬｉＺｈｏｕｊｕｎ;ＣｈｅｎＨｕｏｗａｎｇ;ＬｉＫａｎ（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒ...     

地理信息数据库实现

地理信息库是Ｘ－２０００高速三维地形显示系统的重要组成部分,主要对地图和地理实体进行存储和管理。地图、地理实体和其他图形对象一样,其属性值具有不定长性、层次性和多媒体性,难以用简单的数据类型表示等特征。本文在解决如何用传统数据模型来描述和存储复杂的地图和地理实体的基础上,用商用数据库管理系统（ＯＲＡＣＬＥ５．１Ｂ版本）,采用全关系型结构,设计和实现了地理信息数据库。     

分布式战术C~3I系统的体系结构和开发途径

前段简要地介绍了野战高炮、地空导弹防空情报指挥系统的硬、软件体系结构及其构成的方法;中段在简单阐述了集中式战术Ｃ３Ｉ系统的蔽端和分布式战术Ｃ３Ｉ系统的优点之后对集中式与分布式战术Ｃ３Ｉ系统作了全面的比较;第三段集中阐述构成分布式战术Ｃ３Ｉ系统尚存在的困难,在我国当前技术条件下,构建面向对象的初级分布式战术Ｃ３Ｉ系统是比较现实的途径,并给出了较多具体的方法。     

再入机动弹头滚动回路鲁棒姿态控制系统设计

根据经典控制理论,引入姿态角加速度反馈,采用零、极点相消,变增益补偿等设计方法,所设计的再入机动弹头滚动回路姿态控制系统具有良好的快速性、稳定性和很强的鲁棒性。     

分布式 Client/Server 智能应用系统 DIAS 的设计与实现

本文针对油气田储集层保护的复杂应用需求,基于分布式Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算机模型,设计了相应的分布式智能应用系统ＤＩＡＳ,实现了计算资源共事和知识、数据共享。该系统已在实际应用中取得了良好的效益。     

载人飞船标准返回轨道设计

本文研究载人飞船三自由度标准返回轨道的设计方法。基本的设计思想是在返回坐标系中建立飞船返回轨道运动方程,用非等值的速度滚动角γｖ（ｔ）使飞船再入过载均匀化及减小标准返回轨道与升力失控时自旋轨道的航程差,并引入侧向制导思想解决γｖ（ｔ）的反向问题。仿真中用二重迭代方法确定有关参数,避免了参数选择的盲目性。仿真计算表明,本文提出的设计思想具有良好的实用价值。     

毁歼概率积分的高精度计算

精确地计算武器系统对目标的毁歼概率是重要的。在对几种数值积分方案比较的基础上,证明了Ｇａｕｓ－Ｈｅｒｍｉｔ数值积分方案可以最少的积分点达到最高的精度,并以此方案计算了各个参数对毁歼概率的影响     

实际系统输出的确定

在实际测试中,系统存在有非线性.同时,还有测量噪声及非测量输入引起的系统输出。这些因素都对系统的输出产生影响。把这些因素均假设为系统的非线性,利用理想线性系统和相干函数,推导出了实际系统输出,同时讨论了用这种方法提高载荷识别精度的问题。     

某型空空导弹控制舱检测设备设计

对某型空空导弹控制舱检测设备进行了总体设计。采用8031单片机,提出各类参数的检测方案,并对系统采取了抗干扰措施。     

机械零件可靠性在应力-强度分布特性下的计算模型

根据应力-强度分布特性下的干涉理论,确定了机械零件在应力-强度诸分布情形下的可靠性计算模型,将应力、强度、结构和可靠性计算联系起来。