摘要：首先利用拉各朗日方程建立了大型柔性卫星的动力学方程,对该动力学方程进行了线性化,并且为了以后设计变结构控制器的需要,设计了状态观测器,然后设计了变结构控制器.在设计过程中,充分考虑了实际工程要求,采用了边界层方法来削弱变结构控制器的抖振,同时考虑了执行机构控制输出受限的情况.采取了利用4个偏置动量轮系统组成三轴零动量飞轮系统对卫星平台进行姿态控制.最后通过数学仿真证明了所设计的控制器的有效性.

摘要：故障检测是设计高可用系统的一项关键技术，本文研究了双模高可用容错服务器的故障检测机制。首先，通过马尔科夫模型对服务器系统进行了分析，指出设计高覆盖率和高成功率的故障检测机制对系统可用性的重要影响。针对传统使用的故障检测机制成功率较低的问题，提出了一种仲裁检测机制，仲裁系统采用容错方案设计，具有较高的可靠性，在双机无法对故障做出正确判断时，可作为可信的第三方对故障做出准确的定位，有效地提高了系统的检测成功率。在此基础上，一种基于仲裁的多层心跳检测机制被应用到了实际系统的设计中，并通过试验证明了其可满足可用性设计要求。

摘要：To solve the problem of low efficiency in pipe routing design, an improved genetic algorithm based approach is proposed. To present this approach, the paper mainly describes a generation method of nodes considering the safety distance of pipes and the directional constraints at terminals, the definition of a double coding technique, the collision detection method, the concept of energy and the definition of fitness functions. The similarity detection is introduced to prevent close breeding in the crossover operator, the selection pressure is controlled according to the evolution situation and a heuristic mutation method is used to boost the evolution. Simulation case shows that this approach is more practical and can satisfy different design requirements by changing algorithm parameters.

摘要：针对隧道衬砌结构稳定性的极限状态功能函数具有高度非线性和其参数具有随机性的特征,提出在Matlab环境下采用蒙特卡罗法进行隧道衬砌结构设计的方法.该计算和设计方法编程过程简化,计算速度快,精度高,且不受极限状态方程非线性、随机变量非正态的限制.结合工程实际,给出了具体的可靠性设计步骤,建立了各参数与可靠度的关系,指出了提高隧道衬砌结构可靠度的方法和措施,为隧道衬砌结构参数设计和优化提供科学依据.结果表明:该计算和设计方法所得到的结果比传统的经验分析法、安全系数法得到的结果更加科学、经济、高效.

摘要：变频电机的振动噪声是影响电驱动产品应用的重要因素。为更准确掌握变频电机振动噪声激励,设计低噪声变频电机,该文建立变频电机振动噪声特性的一种分析模型,从变频机理出发,推导正弦脉宽调制(SPWM)变频器的输出谐波,再根据麦克斯韦定律计算分析变频激励下电机气隙的电磁激励力特性,并基于有限元法建立电磁-固-声多场耦合仿真计算模型,最后通过对比实测电机的声功率总结出变频谐波对变频电机振动噪声特性的影响。分析结果表明,电机振动噪声在低频部分的谐波由电机的调制频率产生,而变频器引入的高频谐波会使电机在开关频率附近辐射大量的噪声,因此,低噪声变频电机的设计必须消除或者削弱这些谐波。

摘要：随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈。在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误。理论分析和实验结果表明了本方法的有效性。

摘要：本文针对高温气冷堆动力转换单元设计了3种联合循环方案,并将3种循环方案在反应堆出口温度900℃的情况下与闭式Brayton循环进行比较。结果表明:闭式Brayton循环在反应堆出口温度较高时,相应反应堆入口温度也较高,这受到反应堆压力壳材料限制,且所需压气机压比较大;联合循环方案的反应堆入口温度低于370℃,反应堆压力壳可使用SA533钢材,无需内壁冷却,且所需压气机压比较小。方案比较显示,提高联合循环效率需增加下位循环出力。方案3的上位循环是简单Brayton循环,下位循环是再热Rankine循环,循环效率可达50.1%。

摘要：针对大功率风电机变桨机构的特点和控制要求,采用电液比例控制和三联同步缸的结构设计了能够实现位置反馈、速度控制和三缸同步的液压变桨系统,该系统能够使风机在各种条件下可靠停车。通过系统建模和计算机数值仿真分析,得知所设计的系统是稳定的。经与实测数据对比,验证了模型与实际系统特性的吻合程度。

摘要：针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。

摘要：天线罩是保护天线在恶劣环境下能够正常工作的一种装置,由于制造工艺、材料等因素的影响,其电性能指标往往难以满足设计要求,必须采取补偿措施。在分析了瞄准误差产生原因基础上,探讨了主要的补偿方法,并提出了减少瞄准误差的一种新方法—内廓面修磨法。