独立函数的表达式及完备性

给出独立函数的逻辑表达式和递推关系式。证明了独立函数系的线性完备性。讨论逻辑函数关于独立函数系的展开式、不同极性独立函数系展式之间的关系,以及与Reed-Muller展式之间的关系。这些问题的结论为建立新型的通用逻辑模块奠定了理论基础。     

世界贸易组织与航空产品包装

论述了我国加入世界贸易组织后，如何搞好航空产品的包装和包装标准化工作，以提高航空工业军品和民品在国际市场的竞争能力。     

污水处理装置在冶金行业中的应用

对污水处理装置的技术参数、技术要求及设计方案的选择、工作原理做了进一步的阐述。对工业循环冷却水的处理有实际指导意义。     

Real-time translational control of a MEMS comb resonator

Closed-loop control has been successfully applied to a microelectromechanical systems (MEMS) lateral comb resonator device in real-time to perform impulse disturbance damping and sinusoidal position control, enabled by the use of a through-wafer optical microprobe to obtain position feedback. This result leverages the application of lifetime, in-situ control of MEMS in order to provide quality assurance of microsystems in safety critical applications. A position feedback signal produced by a through-wafer optical microprobe has been used for comb resonator system model identification by two independent methods to accurately determine the effective mass, damping, and spring constant values of the device. After accurate determination of system parameters, closed-loop impulse disturbance damping and proportional-integral-differential (PID) translational control were applied. Closed-loop control results presented indicate controllability of such microstructures and response times on the order of the natural frequency of the device.     

空间卫星目标动态电磁散射特性仿真与分析

给出了空间轨道飞行目标动态宽带散射特性建模方法,重点对某卫星动态宽带电磁散射特性进行了仿真,并通过轨道飞行过程中卫星一维距离像的积累获取了散射中心历程图,提出了由飞行过程中形成的散射中心历程图来判断卫星的结构特点的思路.     

最坏风模型及对飞机突防航迹跟踪的影响

针对一类非线性动力学系统,本文推导出二次型性能指标下的微分对策解,由此得到一组含有非线性因素的最环风模型,这一模型特别适用于研究作空间机动飞行的飞机受外界环境扰动的灵敏性问题。最后考察了这一变化风场对飞机突防航迹非线性解耦跟踪的影响。     

万工显滑板移动直线度的检修

通过对影响万能工具显微镜滑板移动直线度的分析 ,提出有针对性的修理方法 ,并分别论述了产生线值偏差和角度偏差的主要原因。     

新型精密狭缝的设计

介绍了一种基于弹性铰链的精密狭缝的设计，加工工艺要求和性能测试结果。根据实际需要，狭缝可以采用水冷结构。     

滑油量对恒速传动装置的影响

本文介绍了中外航空公司飞机发动机恒速传动装置几个故障典例及造成的危害,分析了填加滑油量不当对发动机恒速传动装置的影响,提出了预防措施。     

CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。