一种 Hoare 逻辑软件复用部件的匹配描述

提出了一种基于Ｈｏａｒｅ逻辑的软件复用部件的匹配描述，它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述．     

微重环境下平移圆柱贮箱液固耦合系统的动力响应研究

以一种新的方法建立了在微重力环境、横向激励下圆柱贮箱液固耦合系统的动力学方程．对耦合系统的液体子系统采用压力体积分形式的拉格朗日函数，并将速度势函数在自由液面处作波高函数的级数展开，从而导出自由液面运动学和动力学边界条件的非线性方程组，而对结构子系统则采用标准形式的拉格朗日函数（动能减去势能），用变分原理和拉格朗日方程建立耦合系统的动力学方程，最后用4阶Runge-Kutta法求解非线性方程组，得到了耦舍系统的幅频特性曲线．此方法大大减少了公式推导量，而且得到的是降阶的耦合方程组．计算发现：随着Bond数的减小，耦合系统的响应频率先增大后减小，而响应幅值逐渐增大．     

弹性底板矩形贮箱流固耦合系统的自由振动分析

基于Bernoulli方程,通过对弹性体与流场耦合作用机理的分析,建立了弹性底板矩形贮箱流固耦合系统的自由振动方程.将系统的自由振动问题降为一维问题来处理,提出了一种分析此系统自由振动问题的半解析方法,并采用迦辽金方法,求解了系统的自由振动频率.最后讨论了弹性底板的抗弯刚度、结构几何参数以及液体的深度与密度对系统自由振动频率的影响,以便更确切地反映弹性底板矩形贮箱与流体耦合作用的实际机理.     

基于部件的涵洞CAD系统

根据涵洞CAD系统的总体设计的功能要求,结合涵洞的结构特点、涵洞设计要求及面向对象的编程方法,提出基于部件的涵洞CAD系统开发方法和涵洞CAD系统的部件划分方法,并开发了基于部件的涵洞CAD系统。在生产实际中的应用表明,该系统具有较强的适应性、可扩展性以及易维护的特点。     

关于数字系统设计的研究

阐述了VHDL硬件描述语言与电路设计的关系及设计过程，在此基础上对数字系统设计方法进行了分析与比较。     

一种新型大容积低温箱的研制

介绍了一种新型大容积低温箱的研制情况．该低温箱采用了由两个单级压缩系统组成的复叠式制冷系统，其中高温循环系统采用R22作为制冷剂，低温循环系统采用R13作为制冷剂．R笠系统既可以单独运行，又可以与R13系统复叠运行，因此系统可以达到-70℃和-20℃两个蒸发温度．同时，低温箱内工作室净容积达到0．216m^3，在-70℃的低温下，低温箱制冷系统仍能稳定运行．     

直升机的全机水平测量工艺方法的应用

飞机水平测量是飞机总装时对飞机各部件相对位置准确度进行检验和调整的工序，是对飞机各主要几何尺寸或参数的误差(飞机总装质量)的最后总检测。我们采用的测量方法是常规光学仪器测量法，按飞机各部件相对位置的几何参数的测量要求，逐项测量有关测量点相对测量基准的距离和角度，通过测量数据的对比处理和计算，反应有关几何参数的误差。此方法对测量所需光学仪器安置位置没有严格的要求，只要一次测量能反映全部测量点即可。     

增压器总体传热研究下的轴承体热应力分析

基于耦合传热理论,建立了废气旁通阀式的涡轮箱模型,并将涡轮箱、隔热罩、轴承体作为一个装配体进行了传热分析,得到了轴承体的温度场和热应力分布.结果表明:温度从涡轮箱至轴承体逐渐降低,呈现明显的温度梯度,涡轮箱的最高温度比初始废气温度低71.5℃左右;由于隔热罩的隔热作用和冷却水、机油的双重冷却作用,轴承体的温度较低;由于轴承体内部和表面区域温差较大,其热应力较高.与实验对比,轴承体温度的仿真值与实验值误差最大为7.2%,说明该仿真方法具有较高的精度,能为增压器的设计和优化提供一定的理论依据.     

结构混凝土抗压强度预测RBF-ANN模型

为了达到对C20~C40范围内的结构混凝土抗压强度快速准确预测的目的,基于RBF-ANN模型基本原理及应用特点,在钻芯法、回弹法、超声波法及回弹-超声波综合法等大量室内和现场无损检测试验基础上,进一步应用Matlab2012b神经网络工具箱,建立了混凝土抗压强度RBF-ANN预测模型。该模型经充分训练后,应用于山西省重点建设工程项目的结构混凝土质量控制。工程实践表明,构建的RBF-ANN模型预测精度为4.4%,满足工程实际需要,具有较好的便捷性、经济性和准确性。     

浅谈RTK技术在部件测量中的应用

城市数字化管理和城市部件空间数据库对城市信息化建设有着不可或缺的意义。本文利用现阶段部件测量的传统方法与先进的RTK测量技术相结合进行试验,总结了RTK技术在改善和高效完成部件测量中应用。