关于直线度误差的平均值及其极限误差

讨论了直线度误差的平均值及其极限误差问题；提出了各采样点示值数据图形相对于评定基线不同分布时的直线度误差的极限误差的分析计算方法，给出了计算实例，并得出了相应的结论。     

SAR图像点目标超分辨正则化方法的简化计算

合成孔径雷达(SAR)是一种高分辨率相干成像雷达,是重要的空间遥感手段,分辨率的高低直接决定了其应用效果的优劣。正则化方法是提高SAR图像分辨率的有效方法,但传统的迭代算法计算速度较慢。文中分析了基于lk范数的图像超分辨正则化方法的迭代求解公式,得出了由该迭代公式产生的迭代序列收敛的极限的解析表达式。将该结论用于正则化模型的求解可以显著降低计算量,由此得到了正则化迭代算法的简化计算方法。仿真与MSTAR图像处理结果表明,简化后的方法计算速度提高了2 000倍以上,计算结果与传统方法的相对差别小于6×10-9。     

归纳推理和归纳进程

分析了归纳推理与演绎推理的区别, 给出了归纳推理的形式化规则,定义了重构和归纳进程(序列)的概念.同时还给出了一个产生归纳序列的归纳过程模式,并证明:若已知模型M的全体实例集合ε_M,则可以从任一给定的理论出发, 使用此归纳过程模式所产生的所有归纳序列都收敛于同一极限,这个极限就是模型M的全部真语句. 这说明了归纳推理规则的合理性.     

集合论-泛逻辑悖论

对于一类 n(2≤n≤_n) 值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统 UL ₁.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论.     

基于贝叶斯准则的支持向量机预测模型

对实际统计数据中存在的相关性、不确定性和非线性问题,提出贝叶斯支持向量机预测模型方法.构建基于高斯分布的权值分布模型描述信息的不确定性,基于先验概率分布和贝叶斯关系获得后验分布模型,利用极大似然方法和递推迭代算法求解后验分布的最佳参数,从而得到关联向量机.建立起基于参数分布多维时间序列预测模型,将每一步迭代过程中的支持向量机输入作为随机变量,考虑数据不确定性的传递,递推得到贝叶斯支持向量机预测输出.由于贝叶斯支持向量机可以有效反映随机影响及其传递,可以克服数据不确定性和相关性的影响,因此基于贝叶斯支持向量机预测效果更加符合实际.实例表明利用贝叶斯支持向量机预测高科技企业发展趋势与实际发展趋势接近,可以克服数据相关性、不确定性和非线性对信息模型的影响,具有较高的预测精度和预测鲁棒性.     

一种基于多通道卫星云图的台风分割方法

有效的台风主体分割能够提高台风预报的准确性.提出一种基于矢量图像的改进水平集方法进行台风分割,将C-V模型推广到矢量空间,加入了无需重新初始化的能量项;提出了一种迭代收敛条件并设计了针对云图特点的模型参数及分割方法,该方法利用了多通道的云图信息,避免了无谓的迭代计算,能够加快分割曲线的演化速度并提高分割的准确性.实验结果验证了所提出方法的有效性和可行性,其平均目标错误率与平均非目标错误率分别为1.21%与2.25%,可得到较理想的台风分割效果.      

基于组合优化算法的空面导弹全空域弹道优化

针对空面导弹全空域弹道优化问题，提出基于多岛遗传算法和序列二次规划法的组合优化算法，充分发挥多岛遗传算法对初值不敏感、全局收敛性强及序列二次规划法收敛速度快、精度高等特点。采用代理模型技术，在保证拟合精度的前提下，极大的降低了全空域弹道优化的计算量。算例结果表明：组合优化算法收敛速度较快，可以得到高精度的全局最优解；代理模型拟合精度较高，可以满足工程要求；且优化结果和所建立的代理模型可以为全空域制导律设计提供有力的支撑。     

过失速机动的模糊逻辑建模仿真

对模糊逻辑建模方法进行了深入的研究,讨论了非定常气动力的模糊逻辑建模与参数辨识方法,针对其在飞机非定常气动力建模与辨识中的应用提出新的思路,使之更具有实用性,并应用于实际算例的计算分析中.利用振荡三角翼的试验数据建立了非定常气动力的两种模糊逻辑模型:一种采用减缩频率进行建模,另一种考虑时间历程对非定常气动力的影响.结果表明,所建立模糊逻辑模型的计算结果与实验数据结果符合较好.采用这两种不同的模糊逻辑模型对飞机的眼镜蛇机动进行了模拟、仿真,检验了模型的实用性.      

基于修正M-K模型的铝合金板材成形极限图预测

为准确预测AA7075-O铝合金板材的成形极限,将韧性断裂准则和传统M-K模型相结合,提出一种基于韧性断裂准则的修正M-K模型.利用单向拉伸模拟和试验相结合的方法,提取危险单元的应力应变历史并代入C-L韧性断裂准则中,得到材料常数.基于单向拉伸试验所得成形极限点,通过MATLAB编程得到修正M-K模型的初始厚度不均度.在常温下,以单向拉伸、宽板弯曲、液压胀形试验获得AA7075-O铝合金板材的成形极限曲线,与修正M-K模型和传统M-K模型计算得到的理论成形极限曲线进行对比,验证了修正M-K模型的可行性和准确性.      

领域分析与建模研究

基于信息论通信系统原始模型构造了由信码、动作和目标刻画的三维领域概念模型,给出了领域的精确定义.提出用于构造任意构件的基本单元--微构件模型,并在领域三维模型的信码-动作平面给出微构件的精确刻画.提出了基于软总线的一般领域构架建模方法.软总线支持构架内信息流与控制流的混合结构传输,支持把协作策略从功能服务中分类出来,简化领域构架的控制操作行为.以上方法应用于电子政务领域工程实践,已成功地构造了一个柔性软件生产平台(SoftProLine),用于开发一整套基层政府的电子政务应用软件系统,突出地体现了高质量、高效率、高柔性的技术特点,方便灵活地满足用户全方位的需求.     

模糊极大极小算子神经元网络的图灵等价性

将模糊Zadeh算子的定义域作了扩充,并重新定义为模糊极大极小算子,使其满足交换律、结合律和零元律.在此基础上提出一种模糊极大极小算子型神经元网络模型,符合一般模糊算子型神经元网络的定义.与传统的Zadeh算子型模糊神经网络相比具有较强的映射能力.详细证明了用该模糊极大极小算子神经元网络可以计算与图灵机等价的部分递归函数,从而表明模糊极大极小算子神经元网络的计算能力等价于图灵机.将传统神经元M-P模型神经网络的图灵等价性推广到模糊神经元网络.     

旋转状态下涡轮叶片前缘的流动与换热

用数值模拟的方法对旋转状态下涡轮叶片前缘冷却结构进行了数值研究,该结构由进气腔、叶片尾缘块和前缘块构成,对此结构不同的旋转速度情况进行了计算,根据计算结果分析了旋转对涡轮叶片前缘流动与换热的影响.计算结果表明,旋转状态下带气膜出流的冲击流动中,前尾缘冲击面的换热随着转速的增加而减小,且尾缘冲击面的换热比前缘冲击面的换热要好;同时前尾缘冲击面换热的差别随着转速的增加将越来越小.     

利用神经元拓展正则极端学习机预测时间序列

为实现对于时间序列预测数据的准确预测,提出一种神经元拓展正则极端学习机(NERELM,Neuron-Expanding Regularized Extreme Learning Machine),并研究了其在时间序列预测中的应用.NERELM根据结构风险最小化原理权衡经验风险与结构风险,以逐次拓展隐层神经元的方式自动确定最佳的网络结构,以避免传统神经网络训练过程中需人为确定网络结构的弊端.应用于时间序列的仿真结果表明:NERELM可有效实现对于RELM最佳网络结构的自动确定,具有预测精度高与计算速度快的优点.      

高超声速气动热数值计算壁面网格准则

首先对高超声速气动热数值模拟中的3种壁面法向网格准则(平均自由程(MFP)、自由来流参数网格雷诺数和壁面参数网格雷诺数准则)进行了分析.随后,提出了壁面参数预估方法,使得壁面参数网格雷诺数和MFP两种准则无需进行试算即可直接预估壁面法向网格尺度.其次,运用提出的壁面参数预估方法结合不同网格准则,在同一实验条件下确定多个壁面法向网格尺度,通过与实验数据对比研究各网格准则确定的壁面法向网格尺度是否满足热环境模拟精度要求,并对提出的壁面参数预估方法进行验证.最后,开展了高超声速二维完全气体及真实气体效应算例、三维钝双锥算例的数值模拟.研究表明,壁面参数预估方法是可靠的;自由来流参数网格雷诺数准则随来流静温变化所确定的网格尺度变化趋势与物理推理相悖;基于壁面参数网格雷诺数和MFP两种准则主要受壁面温度影响,其在同一条件下所确定的网格尺度基本一致,并满足热环境模拟的精度要求.      

LALR(1)分析器快速生成

根据LR(0)自动机的构造理论及Deremer和Pennello的LALR(1)向前看符号集计算公式,提出求解公式中的lookback关系和includes关系的高效算法. 研究过程表明,LR(0)项目集闭包计算和项目集的查找是LR(0)分析器构造过程中的主要性能瓶颈.对这两个计算过程给出了高效的数据结构和算法设计,实现了LALR(1)分析器的快速生成.系统实现及实验数据表明,LALR(1)分析器的生成速度超过了自由软件基金会的LALR(1)分析器生成器Bison.      

MGNC系统实时快速组合导航新算法

微小型导航制导控制系统MGNC(Micro Guidance Navigation and Control)传感器多,且数据处理能力有限,为实时提供导航结果,传统上采用降维滤波提高实时性,但这样会造成精度损失.为保证不减少滤波状态量,不损失精度,针对捷联和滤波特点提出一种新的实时解算方法:在捷联解算中以直接递推求解方向余弦矩阵代替以四元数为中间变量进行的间接求解;在滤波计算中用序贯方法处理量测修正值,避免复杂的矩阵求逆;采用稀疏矩阵三元组法,应用于协方差阵计算,减少乘法次数.仿真和实验证明改进算法对计算精度没有损失,且滤波计算时间比原算法减少了34.50%,显著提高了MGNC系统的实时性、鲁棒性和实用性.     

电弧等离子体发动机初步研究

对一实验电弧加热式发动机二维轴对称亚跨超音速流动进行了数值模拟,所采用的方法是矢通量分裂算法.通过计算可以得出密度、速度、温度、压力和马赫数的分布.给出了计算所使用的网格和一些计算结果.简要介绍了实验所使用的设备,如电源系统、点火系统、推进剂供给系统、电弧加热式发动机、推力测量装置和真空系统.对所观察到的一些工作现象进行了讨论.有三种不同的不稳定性出现于实验过程.除了所测量的一些重要参数,通过实验发现氩比氮工作更稳定.