集合论-泛逻辑悖论

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

基于粗糙集理论的终端区飞机排序综合评判

针对日益增长的空中交通流量所带来的严重航班延误,提出了一种全新的终端区（TMA）飞机排序方法。在介绍粗糙集综合评判方法的评判过程基础上,建立了TMA飞机排序问题评判指标体系,进行了飞机排序综合评判过程的算例仿真。仿真结果表明,方法简单可行,能够客观得到各评判因素权重,并且与先到先服务（FCFS）排序方法比较,影响范围减少50%,累计延迟时间减少23%,说明方法排序结果优于FCFS排序结果。     

基于隶属函数的装配协调顺序优化方法

面向装配现场,充分利用专家的经验和知识,解决集成装配工装和产品的装配协调顺序优化问题,提出一种基于隶属函数的装配协调顺序优化方法。该方法设置7级评价标准,在两两装配协调顺序对比的情况下采用优先关系排序法通过专家给对象打分;计算总分并求出优先选择比,形成模糊优先关系矩阵;最后,采用平均算法求得每条装配协调顺序的隶属度,形成隶属函数,隶属度最大的即为最优的装配协调顺序。并以某型飞机机翼为例进行了验证。     

两种小力值校准装置研究

介绍了小力值校准的应用现状和需求;详述了两种结构的小力值校准装置的技术指标、工作原理、结构设计;最后给出了小力值校准装置的部分比对试验数据。     

基于多指标动态优先级的无人机协同路径规划

针对复杂城市环境下多无人机（UAVS）协同巡检、配送等任务,提出一种基于多指标动态优先级的协同路径规划方法,以节省运行成本和增加任务效率。综合考虑碰撞风险、总路程、等待时间等指标构建动态优先级模型,并在优先级单边避碰机制下,定制组合规避策略以处理局部冲突,更好地权衡协同规划效率和路径质量。针对无人机个体路径规划,在Lazy Theta*算法基础上引入拥堵权值地图,引导无人机避开拥堵区域,降低冲突发生可能性。对比仿真试验表明：提出的个体规划算法可以减少拥堵区域和降低拥堵持续时间,提出的多指标动态优先级协同规划算法相比于飞行时间驱动的动态优先级,能够提高规划效率和结果最优性。     

基于模糊数学的多目标决策问题模型及算法

针对多目标决策中的最优问题,提出了一种实用的模糊决策方法。最后应用该决策方法分析解决了一个实际问题。     

电压与钙耦合神经元模型的符号动力学

应用符号动力学研究了跨膜电压与细胞内钙浓度相耦合的R15神经元模型.通过峰峰间期序列(ISIs, Interspike Interval Series)的首归映射构造出描述周期和混沌放电模式的符号序列,并讨论了与切分岔密切联系的阵发混沌与嵌含在混沌区中的周期窗口的产生机理.由符号序列的排序规则,确定具有不同拓扑结构的放电节律与连续变化的参数值的对应关系,从而对实验或模型测得的任意放电模式进行参数识别.研究结果表明符号方法是研究神经放电活动动力学行为的一种有力工具.尤为重要的是,这样一种粗粒化的方法能够推广到神经电生理实验中,从复杂的实验数据中提炼更多有价值的信息.      

利用分数低阶空时矩阵进行冲击噪声环境下的DOA估计

研究冲击噪声环境下的信号DOA估计问题。在对称α稳定(SαS: Symmetric α-stable)分布冲击噪声假设下,定义了一个阵列接收数据的广义分数低阶空时矩阵。理论分析表明,对广义分数低阶空时矩阵进行奇异值分解可获得噪声子空间估计。与信号空间DOA估计技术相结合,提出一种新的基于信号空间分解的DOA估计算法。该算法在低信噪比下对强冲击噪声具有更好的抑制作用。计算机仿真证明了算法的有效性。     

求解对流扩散积分微分方程的高效并行计算

近年,李寿佛创立了非线性刚性Volterra泛函微分方程数值方法的B理论。该理论为数值求解非线性刚性常微分方程、非线性刚性积分微分方程以及在实际问题中遇到的其他各种类型的刚性泛函微分方程提供了统一的稳定性和收敛性分析的基础。文章将该理论用于一类对流扩散积分微分方程的数值处理,获得了十分理想的结果。由于这类问题常出现于生态学、电力系统、人口增长模型等领域,因而对其数值方法理论进行研究具有重要意义和实用价值。