基于Lakatos证伪方法论的机器发现逻辑

介绍了基于二阶项重写技术的机器发现逻辑理论及两个实验系统DI和ALP.同时举例说明了ALP系统的工作原理,展示了机器发现逻辑在数学发现(?)逻辑程序自动设计领域的应用前景。     

并行编码选择扩频通信方式

提出了并行编码选择扩频通信方式，给出了并行编码选择扩频通信方式的系统模型，分析其通信性能。讨论了系统的误差概率和系统的信息数据传输能力，给出了数学模型和计算公式。结果表明，该系统与其它几种扩频通信方式相比较具有最高的信息传输效率。但其可靠性稍差，这说明通信的有效性的提高是以降低可靠性为代价的。本方式适合于传输信道具有较高信噪比的情况下使用。     

零相关区序列在准同步系统中的应用

在准同步码分多址(QS-CDMA)中,影响系统性能的是零延时附近的部分扩频序列相关函数,而且奇相关函数和偶相关函数发挥同等重要的作用。文中对三种零相关区(ZCZ)序列的相关函数进行分析比较,并采用BPSK调制方式,在高斯白噪声(AWGN)信道下,对采用上述三种ZCZ序列的准同步系统进行仿真。仿真结果表明,相关函数特性好的序列具有较好的准正交性,更适用于QS-CDMA系统。仿真实验还验证了系统性能与序列零相关区长度之间的关系。     

铺层顺序对复合材料层合结构承载的影响

 针对连接区常用的铺层比例[0/±45/90]=(50:40:10),选择3种常见的铺层顺序,综合研究铺层顺序对层合结构承载能力的影响。被研究的层合结构的承载能力包括光滑拉伸和压缩强度、圆孔拉伸和压缩强度、及螺栓连接强度。研究结果表明,各种方向铺层均匀散开铺叠的层合板,在多数情况下性能最优,承载能力最好;将90°层置于外表面的层合板,所试各种试件的承载能力都是最差的。±45°层成对铺贴则压缩强度较差。     

一种教学效果的评估方法研究

能否对教学效果给出合理的、科学的评价，直接关系到教学改革工作能否顺利进行，也是教学改革工作成败的关键，传统意义上的算数平均的评估法，由于它体现的仅仅是对教学整体效果的评价，没能很好的体现对优秀学生培养的认可，因此，已不能适应现阶段高校教学工作的要求，基于算术平均与加权平均的思想，通过实例提出了一种兼顾整体平均与适当提升优秀个体贡献的教学效果评估方法，体现了如何确定一种适度的测度的思想，并且具有一定的合理性和应用价值。     

基于基排序的推力矢量飞机控制分配方法

为了解决推力矢量战机存在的执行机构冗余和气动/矢量操纵面协调控制问题,基于过驱动控制理论及控制分配理论, 提出一种基于基排序的操纵面调度管理分配算法。综合推力矢量飞机各型操纵面的物理特性差异、转矩可达集大小、推力矢量工 作时间限制等因素,划分基控制组。采用优先级为主气动控制组、辅助气动控制组、推力矢量控制组的3级串接链分配构型,按指 令幅值依序调度各级操纵面。结果表明：算法分配过程清晰灵活,飞行控制品质优良,对飞行任务与操纵面故障适应性强,可保证 战机高效完成各项任务。相较于传统伪逆方案,新算法在典型“眼镜蛇”机动过程中,削减矢量偏转工作时长超50%,降低最大偏 转角超3°。该算法可规避传统分配方法无差别调度气动/矢量操纵面的缺陷,优化推力矢量启用时间,有效解决飞机操纵能力扩 展与矢量装置寿命平衡的矛盾。     

一种基于时序形态的航天器动态模式提取方法

针对航天器动态特性分析过程中遇到的建模过程复杂、处理速度较慢、分析结果不易进行直观解释等问题,通过借鉴符号化近似思想,提出了一种基于时序形态的航天器动态模式提取方法。该方法首先采用分段线性化算法获取一系列分割线段以近似表示遥测序列形态,然后使用系统聚类分析技术对分割线段进行分类,最后基于分类结果将遥测时间序列数据转化为蕴含形态信息的符号序列。验证结果表明该方法简单、有效,所提取的动态模式符号序列不仅可体现遥测时序数据的显著变化,也可表征遥测序列的细微变化,可作为遥测序列识别与异常检测的依据。     

Machining fixture for adaptive CNC machining process of near-net-shaped jet engine blade

Low stiffness and positioning problems are difficulties and challenges in the precise machining of near-net-shaped blades. This paper aims to achieve high accuracy in manufacturing by fixture- and deformation-control in the adaptive CNC machining process. Adaptive CNC machining technology is first analyzed, and new fixture-evaluation criteria and methods to evaluate the adaptive CNC machining process fixture design are built. Second, a machining fixture is designed and manufactured after analyzing its positioning scheme, clamping scheme, materials (PEEK-GF30), and structure characteristics. Finally, the designed fixture is analyzed by FEA and experimentally verified by a cutting experiment. The results show that the deformation of the blade is an overall rigid-body displacement, the main deformation of the blade-fixture system occurs on the four clamping heads, and this fixture can effectively protect the blade from local deformation. The proposed clamping-sequence method reliably and effectively controls the local maximum deformation of the blade. The system stiffness is increased by 20 Hz, with each clamping force increased by 200 N. Both high- and low-frequency displacement in roughing milling or finishing milling are acceptable relative to the accuracy demand of blade machining. This fixture and an adaptive CNC machining process can achieve high accuracy in blade manufacturing.     

辅助动力装置控制系统传感器智能解析余度方法

针对辅助动力装置(APU)控制系统传感器故障,提出了一种基于协方差优化集成极限学习网络(COSELM)的传感器智能解析余度方法。该方法能够根据在线序列预测误差的最小方差来自适应更新单个在线序列极限学习机的权重系数,发挥和权衡各个学习模型的优势,通过提高模型算法的稳定性和泛化性,改善传感器智能解析余度的精度。通过在某辅助动力装置控制系统传感器解析余度的验证表明,提出的COSELM方法可以解决传感器在发生偏置故障时的信号重构问题,重构误差不超过1%,适用于不同辅助动力装置个体,为其提供可靠的解析余度。     

含无序量测的多传感器目标跟踪滤波算法

由于通信链路的随机时间延迟和星上传感器测量的预处理时间的不同等因素,导致在目标飞行器的测量中产生无序量测现象。为解决该问题,提出了一种基于扩展卡尔曼滤波的前向预测多步滞后无序量测处理算法。该算法首先采用扩展卡尔曼滤波算法估算出目标飞行器的状态方程和协方差方程,然后在滤波过程中利用前向滤波更新的方法,将协方差方程更新结果去相关后,累积到当前协方差方程滤波结果中,从而有效解决了目标飞行器测量中的无序量测问题。最后,将该算法与扩展卡尔曼滤波算法、丢弃算法进行了对比仿真。仿真结果表明,采用该算法处理目标飞行器的位置和飞行速度,得到的测量误差较小,在整个观测时间内,测量误差的收敛性较好,能够实现对目标飞行器的精确测量和跟踪。