DDBMS中的并发控制理论

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

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

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

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

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

空间结构的动应变控制

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

三维高超音速复杂流场的分区数值计算

基于拼接网格系统 ,推导了一种适用于高超音速复杂流场分区数值计算的区域边界格式 ,通过区域边界格式对区域边界上的通量进行守恒性处理 ;在此基础上 ,发展了一个高超音速复杂流场分区算法。对高超音速粘性绕流流场进行了分区数值模拟 ,取得了较好的结果。     

不同热化学模型对表面传热影响的数值分析

研究不同热化学模型及壁面催化条件对表面传热的影响 ,包括 :(1)不同组元的高温空气模型 (7组元、 11组元 )的比较 ;(2 )热力非平衡 (双温度 )的化学动力过程与热力平衡 (单温度 )的化学动力过程的比较 ;(3)不同壁面催化条件的比较。     

某型飞机武器控制系统原理分析

详细讲述了某型飞机武器控制系统各功能模块的组成和功能,按照不同的信号线路详细分析了武器控制系统的工作原理,总结归纳出该系统所具有的功能,为进一步研究该武器控制系统打下基础     

面向 MPP Fortran 的程序自动并行化初探

ＭＰＰＦｏｒｔｒａｎ是由Ｃｒａｙ公司推出的一种较有代表性的数据并行语言,本文首先介绍了ＭＰＰＦｏｒｔｒａｎ的主要特点,然后,以该语言为例,对面向ＭＰＰ系统程序自动并行化的主要内容进行了初步的探讨。     

火箭发动机燃烧室内气体非定常流动数值模拟

应用新的ＰＩＳＯ算法对液体火箭发动机内非定常流动过程进行了数值模拟计算。算法采用一步隐式预测、两步显式校正完成每一时间层计算,而不是通常的多次迭代计算,因而大大缩短计算时间。     

涡流阀流量调节特性数值模拟

用数值模拟研究了涡流阀的流量调节特性。在来流总压恒定的条件下,用时间相关法求解了雷诺平均的Ｎａｖｉｅｒ—Ｓｔｏｋｅｓ方程。计算了无控制流和有控制流两种情况,得到了流动参数在流场中的分布和控制流量与喷管流量的关系。计算表明,涡流阀有良好的流量调节特性。