DSP的数学原理及在实时系统的应用

制造系统里所用的微处理器中，单片机只能做逻辑处理和简单数学计算，而数字信号处理器（DSP）可进行相当复杂的数学处理。本文概述DSP的数学原理及其技术特点，介绍了基于DSP智能控制器在制造业中实时测控系统的应用实例。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。     

模拟月壤研制的初步设想

模拟月壤是月球样品的地球化学复制品，作者总结世界上已有的5种模拟月壤JSC-1，MLS．1，MLS-2，MKS-1和FJS-1的研制过程、方法与基本理化性质，认为系列化模拟月壤研制对中国首次月球探测有重要意义，在此基础上，作者提出系列化模拟月壤研制的基本思路．     

符合CCSDS标准的RS(255,223)码译码器的FPGA实现及其性能测试

RS（Reed-Solomon)码是差错控制领域中一种性能优异的非二进制分组循环码，由于它具有很强的随机错误和突发错误的纠错能力，被CCSDS，NASA，ESA等空间组织接受，广泛应用于深空探测中．本文采用改进的Berlekamp算法，用FPGA实现了符合CCSDS标准的RS(255，223)码译码器；介绍了该译码器的实现流程、性能测试方法和基于PCI总线接口的测试平台；给出了测试结果，并且对理论上RS(255，223)译码器的误码性能与实际测试的误码率结果进行了比较和分析．验证结果证明该译码器能工作在400Mbps以上的码率，使用FPGA资源180000门，译码效果与理论上译码效果一致．     

线阵CCD平场校正及FPGA实现的研究

为了消除由于照明光源的非均匀性、镜头渐晕及CCD传感器噪声对图像质量造成的不良影响,首先从理论上分析了线阵CCD固定模式噪声和像素光电响应非均匀性的数学模型和产生的原因;对像素光电响应非均匀性这一主要影响因素,根据其光电响应模型提出了CCD像素光电响应非均匀性的两点校正方法,即求解出各个像素光电响应不均匀性的校正因子和暗偏置量系数,进而用以计算各个像素的校正量,实现逐点校正;针对校正算法大数据量、实时计算的要求,设计了基于现场可编程逻辑门阵列FPGA快速实现校正算法的硬件处理结构。最后,通过仿真和实验表明,两点校正方法可以有效地减小CCD像素光电响应不均匀性的图像噪声,提高图像质量,以便做后续精确处理。     

Multi-mode optimal fuzzy active vibration control of composite beams laminated with photostrictive actuators

Firstly, a multi-field coupling finite element formulation of composited beam laminated with the photostrictive actuators is developed in this paper. Moreover, an optimal fuzzy active control algorithm is also proposed on the basis of the combination of optimal control and fuzzy one.This method opens a new avenue to resolve the contradiction between the linear system control method and nonlinear actuating characteristics of photostrictive actuators. The desired control for suppressing multi-modal vibration of photoelectric laminated beam is firstly obtained through optimal control and then the fuzzy control is used to approach the desired mechanical strain induced by photostrictive actuators. Thus, the multi-mode vibration control of beam is realized.In the design process of optimal fuzzy controller, the design of fuzzy control is independent of optimal control. The simulation results demonstrate that the proposed control method can effectively realize multi-modal vibration control of photoelectric laminated beams, and the control effect of optimal fuzzy control is better than that of optimal state feedback control.     

Crystal orientation and morphology of a lamellae in wrought titanium alloys: On the role of microstructure evolution in b processing

To obtain high-quality aviation forgings of titanium alloys, b forging is an essential processing step which must be considered throughout a production process. In this work, the effect of b forging on the crystal orientation and morphology of lamellar a was experimentally investigated in a two-phase titanium alloy. Strong dynamic recovery during b working resulted in the formation of low-angle grain boundary(LAGBb) inside b grains. The lamellar a can penetrate through the LAGBb, leading to similar intra a LAGBs on subgrain boundaries. Deformation banding occurs at high strain rates, and both diffusive and sharp boundaries of deformation bands can be observed.A continuous change of the b orientation in diffusive boundaries results in the formation of fine and disordered a lamellae without intra-lamellar boundary to hold the Burgers orientation relationship(OR). On sharp boundaries, it is prone to producing continuous grain boundary a(aGB) with a highly similar orientation along the boundaries. Meanwhile, there may exist several lower-angle boundaries within the grain boundary a for a smoother orientation change on the b grain boundary.     

A coupling VWM/CFD/CSD method for rotor airload prediction

A coupling fluid-structure method with a combination of viscous wake model(VWM),computational fluid dynamics(CFD) and comprehensive structural dynamics(CSD) modules is developed in this paper for rotor unsteady airload prediction. The hybrid VWM/CFD solver is employed to model the nonlinear aerodynamic phenomena and complicated rotor wake dynamics;the moderate deflection beam theory is implemented to predict the blade structural deformation; the loose coupling strategy based on the ‘delt method' is used to couple the fluid and structure solvers.Several cases of Helishape 7A rotor are performed first to investigate the effect of elastic deformation on airloads. Then, two challenging forward flight conditions of UH-60 A helicopter rotor are investigated, and the simulated results of wake geometry, chordwise pressure distribution and sectional normal force show excellent agreement with available test data; a comparison with traditional CFD/CSD method is also presented to illustrate the efficiency of the developed method.