格值一阶逻辑LF(X)中的α-语义归结方法

自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。为了提高基于格蕴涵代数的格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理。首先给出了格值一阶逻辑系统中的α-语义归结概念和α-语义归结演绎概念,接着讨论了格值一阶逻辑系统的α-语义归结方法,并证明了其可靠性和条件完备性,最后通过实例说明了其有效性。     

焦炉集气管压力计算机控制改造

通过对鼓风机机组耦合器勺管电动执行器机构的改造，探索出对配有耦合器的鼓风机组，实现计算机实时调节转速的方法，将干扰降至最低限度，最终实现焦炉集气管压力的自动调节。     

Study on Control of Pneumatic Selecting and Shifting Actuators Using Rapid Control Prototyping

A gearbox in-the-loop control platform using dSPACE real-time system is designed for the study on the control technology of pneumatic selecting and shifting actuators based on rapid control prototyping. The operational principle of such actuators was analyzed using dSPACE hardware and software, resulting in a better knowledge of the logical relationship among solenoid valves, gear positions of cylinders and system input／output. Based on these, a control model was developed under the Matlab／Simulink environment and rapidly improved to meet requirements through experiments. Relevant tests have shown that analysis efficiency on selecting and shifting actuators could be raised and development of control strategy facilitated.     

Constitutive model for shape memory alloy torsion actuator

Shape memory alloy ( SMA) torsion actuator is one of the key approaches realizing adaptive wings in airplanes. In this paper,the actuator is made up of SMA wires and a thin-walled tube,in which the SMA wires are twisted and affixed around the surface of the tube at an angle referenced to the center axis of the tube. A thermo-mechanical constitutive model is developed to predict the thermo-mechanical behaviors of the SMA torsion actuator based on the knowledge of solid mechanics. The relationship between the torsion-angle and tem- perature is numerically calculated by using the thermo-mechanical constitutive model coupled with the SMA phase transformation model developed by Zhou and Yoon. The numerical results are compared with the relative experimental results finished by Xiong and Shen. Influences of the twist-angle of SMA wires and geometrical factors on the primary actuation performances of the SMA torsion actuator are also numerically investigated based on the thermo-mechanical constitutive model coupled with the SMA phase transformation model developed by Zhou and Yoon. Results show that the thermo-mechanical constitutive model can well predict the thermo-mechanical behaviors of the SMA torsion actuator.     

半导体封装生产线工艺流程分析

本文介绍了半导体生产线后道封装流程,并对相关设备的自动化程度进行分析。     

导弹电动舵机控制系统设计

针对某型导弹现有电液伺服系统存在动态响应速度慢、结构复杂、可靠性差、使用维护困难等缺点,研究提出了一种以大功率无刷直流电机为控制对象的电流/位置/速度三闭环反馈控制系统设计方案;采用DSP和FPGA的组合工作模式,其中DSP内部主控制程序实现系统初始化、三闭环控制算法和产生PWM信号等功能,FPGA则实现各功能电路的时序逻辑控制;通过构建由模拟制导计算机、1553B总线通讯网络和舵机控制系统组成的测试系统,验证了三闭环电动舵机控制系统设计方案的可行性;实验结果表明,该导弹电动舵机控制系统最大负载扭矩为75N·m,满载角速度为200°/s,调节时间小于70 ms(±10°阶跃信号),动态相移小于5％(2°,1 Hz),具有输出力矩大、响应速度快、控制精度高、使用寿命长和可维护性好等优点.     

一种新型摩擦电液加载系统的设计与验证

为解决传统负载模拟器受到被加载对象运动干扰的问题,提高实验室环境下负载模拟的精度,提出用执行机构或伺服驱动系统带载测试的摩擦电液加载方案.分析传统电液负载模拟器加载性能受被测试设备运动干扰的影响,设计一种基于摩擦加载的主动式电液力矩伺服加载系统.根据加载原理,建立摩擦加载系统的数学模型,分析数学模型结果表明,理想情况下摩擦加载方案不受被加载机构运动的影响.鉴于实际过程中系统存在多种变化参数,特别是具有不确定性和时变性的摩擦,仿真分析摩擦因数变化时摩擦电液加载系统的加载性能.仿真结果表明:传统电液负载模拟器受被测试设备运动影响很大,使得传统电液负载模拟器性能很难进一步提升;相对被动加载的传统模拟器性能,尽管摩擦因数会受相对运动、负载压力和温度等因素的影响在一定范围内变化,但摩擦电液加载系统仍能保持较高的力矩模拟精度.     

执行器故障与饱和受限的航天器滑模容错控制

针对航天器姿态控制过程中同时存在执行器故障、安装偏差与控制受限的多约束问题,提出一种基于积分滑模面的自适应鲁棒姿态容错控制方法,所设计的控制器在满足执行器控制能力的饱和受限约束的条件下确保系统稳定;同时,通过引入控制参数在线自适应学习策略以提高对干扰、安装偏差以及故障变化的鲁棒性,进而减小对这些信息的依赖能力,并基于Lyapunov方法分析了系统稳定性.通过数值仿真结果表明,提出的自适应积分滑模容错控制算法能有效的保证执行器故障时航天器姿态控制系统的稳定性,并具有较强的鲁棒性.     

Preparation and electrochemical application of an AgNW/graphene/SU-8 composite conductive photoresist

Photoresists play an increasingly important role in industrial fields like micro-electro mechanical systems, micromachining, and chip packaging. However, the traditional one-component photoresist is insulated, and additional steps are required to make it conductive, which complicates the process and limits its application. In order to solve the problem, we establish a one-step strategy to build conductive composite photoresist. Herein, graphene (GR) and silver nanowire (AgNW) are doped into SU-8 photoresist to fabricate a photo-patternable conductive composite. The composite photoresist is employed to make micro-patterns on an ITO electrode using photolithography, followed by electrochemical reduction of copper nanoparticles (CuNPs) to produce a nonenzymatic sensing coating. Experimental results prove that the response current of the obtained sensor is linearly related to the concentration of hydrogen peroxide in the range of 1–25 mM. The sensitivity and detection limit of the sensor are 41.8 μA mM⁻¹ cm⁻² and 9 μM, respectively. Moreover, excellent sensing performance including anti-interference, repeatability, and stability demonstrates the potential application of CuNPs/AgNW/GR/SU-8 composite material in electrochemical sensing.     

纳米级XY微定位平台的设计与研究

为了实现二维平面纳米级定位,研制了一台压电陶瓷驱动和弹性铰链导向的一体化微定位平台.该微定位平台具有高刚度、高响应速度和高分辨率等优点.为了克服压电陶瓷驱动器伸长量较小的不足,采用杠杆放大机构增加微定位平台的位移输出.考虑驱动电路的影响,建立了微定位平台的机电耦合模型.通过试验研究了微定位平台的静动态特性,试验结果表明微定位平台的分辨率为5nm,固有频率分别为143Hz和180Hz.该微定位平台可应用于纳米级的微定位.