DDBMS中的并发控制理论

本文叙述了并发控制的数学理论,以此达到两个目的:一是以精确的术语定义并发控制方法的正确性;二是把并发控制问题分解成两个更容易处理的子问题:读一写同步和写一写同步。为后继论文对分布式并发控制的分析和设计打下基础。     

数字系统演绎故障仿真方法

本文介绍了一种数字系统故障仿真的新方法——演绎故障仿真法。文章提出了加速故障表传输的方法,以及一种时序电路故障表计算的新方法。文章给出了演绎故障仿真的一般步骤。     

59-03指挥仪动态调整专家系统

本文介绍了59-03指挥仪动态调整专家系统的设计过程,重点讨论了应用故障诊断的测前模拟理论建立指挥仪动态调整专家系统的方法。     

气象探测火箭发射用软件射表

在气象探测火箭发射之前需要根据实测风场 ,应用射表对火箭飞行弹道进行“风修”。传统射表在风修精度和通用性等方面存在不足。软件射表具有明显优势 ,它基于弹道数值仿真及迭代搜索技术 ,根据火箭分离技术要求和实测风场条件 ,确定出火箭发射角并及时预示飞行弹道。与传统射表相比 ,软件射表具有更高的风修计算精度及通用性 ,并省去了繁杂的射表编制工作     

超精密加工机床及其新技术发展

介绍了超精密加工技术、应用背景、发展动向以及超精密加工关键技术的一些最新成果。从超精密加工技术推广应用的角度阐述了其精度目标、模块化、廉价化发展趋势 ,同时就如何发展超精密加工技术全面介绍了目前机床模块化部件、传动系统、检测环节、数控系统和环境控制等领域的最新研究水平和成果。     

变化风场对气象火箭射高的影响

建立了变化风场的气动力模型 ,讨论了风梯度的气动力效应。对气象火箭在弹道风和变化风场中的飞行轨迹进行了数值仿真。计算结果表明 :该模型正确合理 ,与实际飞行结果吻合好。     

空间结构的动应变控制

针对一类航天器外伸结构的结构振动问题 ,提出了一种动应变控制方法。并以一梁式外伸结构为例 ,建立了结构振动的应变动力学方程 ,以及以动应变为状态变量的闭环反馈应变控制状态方程。进行了应变控制的数值仿真。结果表明 ,方法是有效的 ,对于解决大型外伸结构的振动控制问题具有十分重要的实际意义和应用价值。     

多体系统 Lagrange 方程的算法研究

分析了欧拉角描述多体系统球铰的有关数值病态问题 ,提出在一定条件下 ,引入相应约束的解决思路以及混合伪坐标拉格朗日方法。     

空间电压矢量 PWM过调制技术的应用与研究

在电动车驱动中，为了解决电池低电压下输出大转矩的问题，研究设计了空间电压矢量PWM的两种过调制方法，实验结果表明能够有效提高输出电压，提高输出转矩， 适于在电动车驱动中应用。     

C4ISR分布式信息融合系统拓扑结构设计

提出一种构造分布式信息融合系统的拓扑结构的新方法.首先,简要介绍了该问题的研究现状;然后,在对目前使用的网络结构进行深入分析的基础上,提出了基于多层de Bruijn网的分布式信息融合系统网络拓扑结构及其构造方法;最后讨论了上述网络结构的路由问题.