南屯矿63_上10面综采放顶煤开采覆岩移动变形破坏特征研究

本文根据使用新技术──双回路注（放）水系统在６３上１０工作面综采放顶煤开采覆岩破坏的探测结果，结合其它采矿方法的实测结果，应用断裂力学理论，研究了放顶煤开采覆岩移动变形破坏特征，为矿井安全生产提供了依据。     

新型桥梁施工挂篮XG—A的研究与应用

根据修建海沙大桥工程的需要,专门研制了一种超轻型滑动斜拉式的新型桥梁施工挂篮XG—A.该挂篮自重轻、效率高是目前国内较先进的桥梁施工设备.     

具有挠性附件的全充液刚体耦合系统的姿态控制动力学与稳定性

建立了一类带有挠性结构附件的全充液刚体耦合系统主动控制动力学模型，给出了系统的控制律，进而研究了控制与镇定问题，得到了受控系统姿态定位和指数渐近稳定的结论。     

计算机集成系统的概念与开发

讨论建立计算机集成系统的可能性与必要性。提出建模方法、结构化的开发步骤以及在开发过程中存在的各种问题。     

多参数Wiener过程平方函数积分的重对数律

设Ｗ（ｔ）是ｄ维参数Ｗｉｅｎｅｒ过程，我们在此文中证明     

桥式起重机水平刚架结构的设计计算

为桥式起重机金属结构设计中,全面、准确地考虑水平载荷的影响,本文介绍了桥式起重机在惯性力、风力、偏斜侧向力作用下,水平刚架结构的计算简图和准确、简单的内力计算式。方便了设计,提高了计算精度,可供设计选用。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

实现“（dE／dt）~（－1）－E”倒数示波图的模拟电路参数选择和单板机装置

对实现“（ｄＥ／ｄｔ）－１－Ｅ”倒数示波图的实验装置进行了进一步深入研究：改进了以往的模拟电路，考察了电参数的影响；研制了一台单板机装置．     

以设计新理念树“离军高速”典型示范形象

结合交通部公路工程勘察设计典型示范工程要点,对青岛至银川国道主干线山西省离石至军渡段高速公路从安全、环保、和谐等角度对全新设计理念、重点工程及对策进行了介绍,以达到树立典型示范形象的目的。     

用软硬件协同设计成像器稳定装置数字控制系统

软硬件协同设计技术是应现代电子系统设计的需求而产生的一项新技术 ,对现有的系统设计思想和设计方法将产生变革性的影响 ,有传统设计方法无可比拟的优点。简要介绍了软硬件协同设计技术的设计思想 ,并应用此技术设计完成了成像器稳定装置数字控制系统