顾氏不动点解法——数独题通用解法

"数独"意为"每个数字只能出现一次",起源于中国的古代的九宫格.通过运用严格逻辑推理方法,顾氏不动点解法找到两条或两条以上不同的逻辑路径的交点,即数独题目的关键点,找到一种解决"数独"问题的通用方法.     

面向软件源程序的模型检验技术

模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查.     

国际贸易对国家创新能力影响的实证分析

长期以来,国际贸易一直被视为创新能力扩散和转移的重要渠道,文章选取我国进出口总额和国内专利授权数作为衡量国际贸易和国家创新能力的指标,利用协整分析和Granger因果检验对其进行实证研究。研究发现,国际贸易和国家创新能力之间存在着长期的均衡关系;国际贸易是提升国家创新能力的原因,但不是国家创新能力的结果;并在此基础上分析了作为一个贸易大国,我国创新能力对国际贸易影响不大的原因。     

压气机试验特性的修正方法研究

在变比热条件下对压气机相似参数进行了推导和简化,通过定量计算给出了压气机在进气温度、湿度变化条件下的压气机试验特性的修正方法和修正系数。     

跨声速风洞试验段低噪声壁板模型的声学试验

介绍了跨声速风洞试验段低噪声壁板模型的声学试验。实验结果表明：（1）斜孔所产生的边缘音是最主要的声源；（2）用加网和加隔片都是抑制边缘音的有效方法；（3）文献[1]介绍的低噪声壁板的方法具有实用性。     

含噪声的转子碰摩混沌信号分类识别

采用基于竞争学习和聚类分析的学习向量量化 ( LVQ)方法 ,研究转子碰摩混沌响应信号的神经网络分类识别问题 ,给出了相应的理论分析和计算结果 ,着重研究了 LVQ网络在不同噪声时的识别情况。分析结果表明 ,该方法可以实现转子碰摩混沌信号与其它响应信号的分类识别 ,并且具有良好的抗噪性能 ,为转子碰摩混沌信号的分类识别提供了一种较为直接的实时处理方法。     

一类碟型飞行器质量/推力矢量复合控制研究

推导了基于质量／推力矢量复合控制的一类碟型飞行器空间六自由度运动动力学方程。以纵向运动为例，对模型进行了合理简化，进行了稳定性分析和控制器设计．给出了某一特征点上质量控制、推力矢量控制、质量／推力矢量复合控制的仿真曲线．最后进行了纵向运动飞行仿真，给出纵向运动实际飞行轨迹和理想飞行轨迹的对比仿真曲线．证明了控制器设计的有效性。     

采用弯叶片的不同折转角压气机叶栅流场气动性能

实验研究了叶片弯曲对不同叶型折转角环形扩压叶栅气动性能的影响,分析了叶栅出口总压损失和二次流速度矢量分布,并给出了壁面静压分布及壁面墨迹流动显示结果。研究结果表明,叶型折转角越大损失分布的对称性越差,根部损失增加明显;弯曲角度和叶型折转角的增大将使得正弯叶栅吸力面反“C”型静压分布加剧,60°叶型折转角叶栅中径处负荷随叶片弯曲角度变化的敏感性强,大弯角时气流易分离,导致总损失激增;综合来说,对比直叶栅,正弯15°叶栅在各种叶型折转角正弯叶栅中减小损失效果最好。     

利用分数阶Fourier域滤波的机载SAR多运动目标检测

 强度相差较大的多运动目标检测是机载合成孔径雷达 ( SAR)技术的一个重点和难点,传统的频域滤波和现代的时频分布方法都无法解决这个问题。首先分析了机载 SAR运动目标回波本质上为线性调频信号,据此提出一种基于分数阶 Fourier域滤波的运动目标检测新方法,并且应用逐次消去的思想有效地解决了强度相差较大的多目标检测问题。仿真的结果验证了算法的有效性。     

PEEK/ZrO2固体合金的探索研究

在聚醚醚酮(PEEK)玻璃化转变温度以下,用外动式高能旋转球磨机使PEEK和二氧化锆(ZrO₂)混合物反复变形、断裂和结合,并形成新的相,即形成PEEK/ZrO₂固体合金.通过扫描电镜(SEM)、差示扫描量热仪(DSC)、红外光谱(FT-IR)和动态热力学分析装置(DMTA)对PEEK/ZrO₂=1/2和2/1固体合金的结构及性能进行研究;并与纯PEEK对比,探讨PEEK与ZrO₂形成固体合金的可能性;讨论固体合金化工艺对PEEK/ZrO₂固体合金性能的影响,分析PEEK/ZrO₂固体合金的形成机理.