数理逻辑在排队论中的应用

在科学研究和工程技术中，排队论(又称搏奕论)有着广泛的应用，本文将数理逻辑，确切地说是命题逻辑中关于对偶和析取范式、合取范式的理论，应用于排队论中，给出了一个排队论的解法，从而可以解决生产实践中的相关问题。     

新型硅微机械谐振器的设计

从理论上分析谐振器的静电制动特性和机械力学特性,给出了活动梳齿的谐振频率和谐振振幅的解析解,提供谐振器结构设计的依据.设计了四种结构形式的谐振器,充分考虑不同静电激励方式对谐振器的影响,合理选取结构参数,有效提高了谐振器抑制侧向失稳和粘附效应的能力.借助有限元软件在考虑硅微加工特性和可行性的基础上对谐振器模态和固有频率的仿真和计算,优化了谐振器结构参数,使工作模态远离其他高阶模态,具有良好的频率特性.     

一种基于能量受限的分布式多传感器管理算法

在能量受限的分布式多传感器跟踪系统中，跟踪目标的同时，需要节省能量消耗，延长系统生存周期，本文依据一种传感器节点能量消耗模型，提出了一种以能量消耗和信息增量为效用的传感器管理算法。仿真结果表明该算法能提高跟踪精度，减少能量消耗，延长系统的使用时间。     

爆震波点火技术基本特性实验

为了研究爆震波点火技术的基本特性, 组建了氢氧爆震波点火实验系统, 氢氧压力 0 1~0 5MPa(表压), 混合比 1 6~9 4, 常温条件下, 得到了爆震波在管路中的传播特性以及爆震波点火的单管重复性能实验数据。结果表明: 爆震波点火技术可以在较低的供气压力下获得高温 ( >1300℃) 高压 ( >1MPa) 爆震产物, 爆震波点火传播速度可达 3000m/s, 并且具备良好的重复性能, 多次点火重复性时间误差小于 0 3ms。     

STFT及其在回声消除方面的应用

论述了STFT(Short-Time Fourier Transform)理论及其特点，设计了一个在桌面音频系统中由于麦克风和听筒的耦合而产生语音干扰(主要是回声)的消除系统，该系统利用STFT将所需信号和噪声信号变换到频域，通过频谱相减消除噪声。提出了一个基于多信道回声消除器的子带最小二乘滤波器理论分析和估算方法，该方法具有较强的自适应能力、算法收敛快、控制精度高。     

表层材料硬度检测及结果的对比分析

针对表层材料硬度检测中常用的几种显微硬度仪以及近年来发展的同乡会米压痕技术，对比分析了各种硬度仪的特点及其使用范围，着重指出了显微硬度仪与纳米压痕仪的定义在物理本质上的差别。最后针对最常用的维氏显微硬仪与目前先进的纳米压痕技术，利用有限元数值模拟并结合纳米压痕实验数据，给出了两种硬度值在数量上的关系。     

武汉体育中心体育场内场风环境定量测量

采用一种新型水平速度传感器,测量体育场内场水平风速,同时用烟线示踪粒子显示方法,同步辨别了传感器所处位置的风向。通过图像处理,获得体育场在不同的风向条件下内场各测点的水平速度矢量,并给出了变化的速度场水平方向瞬时流线,对该体育场在风作用下内场风场的品质作出预报。     

基于改进一致性算法的无人机编队控制

编队飞行是指多架无人机保持以一定队形进行飞行的状态,相比于单架飞机执行任务,无人机编队能够增加搜索面积,提高飞机飞行性能,增大完成任务成功率。编队控制是实现编队安全高效完成指定任务的前提。本文以一致性理论为基础,针对无人机运动模型的特点与实际飞行要求,对基本的一致性算法进行改进,提出了改进一致性无人机编队控制算法。首先利用纵向和横侧向解耦的自动驾驶仪模型给出了无人机的三自由度运动方程,根据机动性与飞行性能要求定义了各方向上的加速度、速度与角速度约束。基于一致性理论,将编队控制分为平面与纵向2个方向进行,在状态控制的基础上,利用各状态变量间的几何关系对无人机运动自由度进行转换,加入编队队形信息,设计了编队控制算法。为了使算法生成的指令信号满足约束条件,提出了"最小调整"约束条件处理策略。依据粒子群算法对各无人机的爬升加速度进行优化,以避免机间碰撞。仿真结果表明：提出的编队控制算法具备编队成形与变换功能,能够使无人机编队状态快速收敛到指定值,且保持指定队形,无人机飞行状态满足所有约束条件。     

电弧风洞高焓流场模拟与气动热校核研究

为了在电弧风洞更好地开展高超声速飞行器防热材料或结构热考核试验,基于有限体积离散,建立了针对电弧风洞高焓试验状态的多组分热化学非平衡流场数值模拟方法。针对中国空气动力研究与发展中心20MW电弧风洞不同试验模型的高焓流场进行了模拟,获得了试验状态的流场特性和模型表面热流分布,通过与试验测量值比较验证了计算方法。研究发现在喷管出口和试验模型之间的轴向距离很近的情况下,可以采用喷管流场和模型绕流分开模拟。通过对比数值模拟方法中的热化学模型,表明采用Gupta 7组分和5组分空气化学反应数据获得的模型表面热流非常接近,同时相比单温度模型结果,双温度模型结果与试验测量结果更接近。比较了多个状态条件下计算和试验测量获得的试验模型表面热流,发现二者相差都在15%以内,验证了建立的数值方法模拟该风洞高焓流场的可靠性。     

Preliminary design and optimization of slotted tube grain for solid rocket motor

In this paper,design and optimization technique of slotted tube grain for solid rocket motors has been discussed.In doing so,the design objectives and constraints have been set,geometric parameters identified,performance prediction parameters calculated,thereafter preliminary designs completed and finally optimal design reached.Geometric model for slotted tube grain configuration has been developed.Average thrust has been taken as the objective function with constraints of burning time,mass of propellant,fixed length and diameter of chamber case.Lumped parameter method has been used for calculating the performance prediction parameters.A set of preliminary designs has been completed and an analysis of these results conducted.Although all the preliminary results fulfill the design requirements in terms of objective function and constraints,however in order to attain the optimal design,Sequential quadratic programming optimization technique has been adopted.As the slotted tube grain geometry is totally dependent upon various independent variables and each of these variables has a bearing on explicit characteristic of grain designing,hence affects of the independent variables on performance parameters have been examined,thus variation laws have been developed.Basing on the variation laws and the analysis of preliminary design results,upper and lower limits have been defined for the independent geometric variables and an initial guess provided for conducting optimization.Results attained exhibits that an optimal result has been attained and the value of objective function has been maximized.All the design constraint limits have also been met while ensuring sound values of volumetric loading fraction,web fraction and neutrality.This methodology of design and optimization of slotted tube grain for solid rocket motors can be used by engineers as a reference guide for actual design and engineering purposes.