火卫二地形地貌探测综述

火卫二(Deimos)是火星自然卫星之一,研究人员利用火星探测器对其地形地貌开展了大量研究.首先对火卫二的基本参数及起源假说进行了介绍,进而全面梳理了与火卫二相关的航天探测活动,重点对地形地貌探测活动进行了详细介绍,并对围绕火卫二地形地貌的研究成果进行了归纳分析,结果表明火卫二表面分布有撞击坑、风化层、明亮的反射物质及...     

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

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

9Cr13Ni6Co5Be超硬不锈钢的接触疲劳行为研究

采用推力式接触方式研究了9Cr13Ni6Co5Be钢的接触疲劳性能,获得了不同破坏概率下接触应力与疲劳寿命的关系式,得到了P-S-N曲线。当破坏概率P=0.01,0.05,0.10和0.50时,不同接触应力下的疲劳寿命表达式分别为N=3.0930×1042×S-9.9602、N=2.9196×1039×S-9.0090、N=1.6505×1038×S-8.6133和N=1.0679×1035×S-7.5988,指定疲劳寿命为5×107的疲劳极限分别为S=3112 MPa,3358 MPa,3493 MPa和3950 MPa。     

基于知识工程的固体火箭发动机装药设计技术研究

为了实现对以往设计经验及知识的继承和重用,在固体火箭发动机装药设计中引入了基于知识工程的设计思想。首先建立了装药设计的SBF表示模型,从产品设计的角度说明了装药设计实质;然后完成了药形选择的神经规则表示;同时,实现了基于案例推理的药形几何参量确定,具体内容包括建立尺寸无关药形几何参量的案例表示模型,给出基于案例推理的药形几何参数确定算法。最后,结合实际应用对上述工作进行了具体实践;并针对实际型号进行了装药设计。通过对设计结果的正确性验证,证明该技术可行、有效。     

基于二型模糊系统多源异质信息目标身份类别推理方法

针对前件推理规则未知的目标身份识别问题,考虑到目标信息量测的多源异质特点,利用模糊集对目标速度和图像等多维度特征信息进行统一的抽象化描述。借助遗传算法对模糊推理规则进行优化,在确定模糊划分区间的前提下,通过训练得到最优隶属度函数,并建立最优推理规则库。此外,针对因传感器探测精度有限带来的量测不确定性问题,引入区间型样本数据的模糊分类思想,在完成一型模糊系统构建的基础上,提出了一种基于二型模糊推理系统的遗传优化算法。给出了由三角型隶属度函数嵌入构造对应二型模糊集的推导过程,设计了满足点值与区间型数值复合输入的二型模糊推理系统,并通过仿真验证了该推理系统的可行性。     

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

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

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

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

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

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

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

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

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

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