Multi—Agent系统在飞行冲突探测与解脱中的应用

介绍了Multi—Agent系统在飞行冲突探测与解脱中的具体应用,将航空器看作具有各自目标如目的地、到达时间和服务标准等的智能体,提出采用协作式多智体协商技术来有效解决冲突问题,并建立了基于Multi—Agent系统的飞行冲突探测与解脱模型。航空器Agent之间可通过航空器数据链通信,采用单调让步协议（MCP）协商,自动就冲突解脱方案达成一致,在保证安全间隔的同时实现空域容量的有效利用。     

基于RMA方法的汽车车身CAN总线优化设计

针对汽车车身控制信息的高实时性和车身CAN系统扩充的高灵活性等特殊要求,介绍用于实时系统分析的速率单调分析(RMA)方法,在原总线利用率、信息最坏响应时间等实时性指标基础上引入总线扩展灵活性因子进行车身CAN总线方案的寻优设计,并以典型汽车车身控制系统为例,对单信号方案和信号组合方案进行实时性和扩展灵活性对比分析,在线试验结果验证了理论分析数据的正确性。     

新扩展强化非对称选择网的有界性与单调性

根据Petri网结构理论，讨论非对称选择网(AC)的一个子类：新扩展强化非对称选择网(NESAC)的有界性与活性单调性，判定NESAC网N结构有界的充分必要条件是，N被极小死锁簇覆盖，每个非空极小死锁H一定是个陷阱且满足|t^*∩|=|t^*∩H|=1，NESAC网仍然具有ESAC活性单调性的特征。     

单调惯性系统控制理论的进一步研究

非线性未知系统的多目标最佳化控制一直是控制领域一个比较困难的问题，它是多目标最佳化问题与控制问题的结合体。其困难主要表现在几个方面，一是被控对象没有可利用的数学模型，仅能依据经验或其输人输出数据对它进行认识；二是系统各个控制目标不能用精确解析式子进行定量描述；三是系统的涉及的变量和因素较多，运行状态有很多不确定性。上述三方面的困难使得已有的基于模型的多目标最佳化理论不能有效解决。     

共轭方程~φ(f(x))=g(~φ(x))递减根的存在性

给出了共轭方程φ(f(x))=f(φ(x))在f和g严格递减的情况下其单调递减根存在性的条件,并利用此结果研究了一类有两个非单调点的函数迭代根的存在性.     

共轭方程φ（f（x））=g（ φ（x））递减根的存在性

给出了共轭方程φ（f（x））=f（φ（x））在f和g严格递减的情况下其单调递减根存在性的条件,并利用此结果研究了一类有两个非单调点的函数迭代根的存在性.     

基于有限元网格尺寸效应影响的峰值应变修正研究

对混凝土塑性损伤模型的单轴应力-应变关系、损伤变量、屈服准则和流动法则等进行阐述。利用ABAQUS对标准立方体混凝土试块模型采用不同网格尺寸进行计算,通过回归分析得到网格尺寸与本构模型峰值应变的函数关系。随后建立矩形截面单肢墩与双肢墩的有限元模型,基于上述函数进行损伤模型的峰值应变修正。并根据2个桥墩的有限元模型,设计并进行2个试验墩的试验研究。通过对比可见,调整峰值应变可有效消除网格尺寸对混凝土结构有限元分析的影响,ABAQUS塑性损伤模型在调整峰值应变后计算所得结果与试验结果更接近。且此方法对简单结构更为有效,而对于较为复杂结构,应视具体结构的复杂情况进行详细分析。     

关于混合凹凸算子不动点定理

本文先提出了关序Ｂａｎａｃｈ空间的混合凹－凸算子的概念,并在序条件下讨论这类算子的不动点,得出的新的不动点定理。     

基于单调关联系统的驾驶行为可靠度计算方法

为合理评估驾驶员驾驶行为的可靠性, 提出了驾驶行为可靠度计算方法, 将人机系统可靠性理论与驾驶行为链相结合, 构建了基于感知、判断、操作元件及模块组的驾驶行为可靠性框图, 确定了单项器官元件可靠度测试与计算方法, 运用单调关联系统理论给出了功能模块可靠度及驾驶行为系统可靠度的量化模型, 计算了模型中各生理、心理元件概率重要度, 分析了其对驾驶行为的影响度。计算结果表明: 事故组与非事故组间行为可靠性存在明显差异, 非事故组的可靠性整体大于事故组, 但整体可靠性呈下降趋势, 事故组驾驶员整体操作稳定性较差; 生理因素对驾驶行为可靠度影响度前期较大后期较小, 而心理因素则相反。     

连续时间分支过程的一类推广

随机稳定性是各种随机模型中的至关重要的问题，随机稳定性的关键问题是找出过程遍历的条件。本文对连续时间分支过程的一类推广进行了研究，给出了过程随机单调和强遍历的条件，与此同时，得到了最小过程是Feller转移函数的条件。