智能驾驶员辅助系统的递阶知识库

为管理面向全飞行任务的智能驾驶员辅助系统知识库,提出基于任务分解的分级递阶结构.知识库递阶结构分为:任务判定级、情况域判定级、辅助执行级.结合战斗机编队作战任务及其攻击视距外空中目标的典型任务阶段具体分析设计知识库结构.基于专家系统软件工具CLIPS(C Language Integrated Production System)设计知识库递阶结构软件模型,实现了辅助系统知识库的分级模块化,缩小推理空间,提高搜索效率,便于知识库的开发、维护和重用.通过仿真系统的搭建和运行,验证了递阶结构的合理性和可实现性.      

一类非线性系统的一阶D型迭代学习控制

传统的D型迭代学习控制的控制律设计方案依赖于被控系统的相对度.为解决该问题以及相对度增益与高阶微分运算的问题,针对一类具有任意高阶相对度的非线性系统,提出了基于虚拟模型的一阶D型迭代学习控制设计方法.该方法的主要思想是与具有任意高阶相对度的非线性被控系统并联一个一阶子系统,构造一个相对度为1、相对度增益可以任意设计的虚拟模型,在此基础上设计一个一阶D型迭代学习控制律,使得虚拟模型能够实现期望轨迹的完全跟踪,从而实际被控系统在一定误差范围内实现期望轨迹的跟踪.仿真实例验证了所提方法的可行性与有效性.     

复杂线束在双BCI耦合下的终端响应机理

高强度辐射场实验室环境下构建困难，应用双大电流注入(BCI)法替代辐照法进行抗扰度研究具有广阔的前景。针对当前双电流钳与线束耦合机理不清晰的问题，建立了双电流钳与线束耦合的精确解析模型。采用先分段后级联的方法对线束进行研究，首先在电流钳与线束的耦合区间建立π型等效电路模型，然后在电流钳与线束的非耦合区间基于传输线理论构建链路参数矩阵，最后将各区间级联为线束终端响应预测模型。基于有限积分法建立数值电磁仿真模型，比较解析模型与数值仿真模型对线束终端响应的预测结果，结果显示:二者对线束终端响应电压的求解结果有较好的一致性，MAPE为17%，进而验证了模型的有效性。应用模型分析电流钳与线束的相对位置对终端响应电压的影响，结果表明:低频段几乎无影响，超过100 MHz，线束终端响应电压的幅值与谐振点发生改变。      

电液伺服泵的分数阶无抖振滑模控制

电液伺服泵（IEHSP）由于在结构上实现了伺服电机和液压泵共转子、共壳体高度融合,在体积、噪声和效率等方面具有明显优势,具有很好的应用前景。为了提高电液伺服泵的调速性能与抗扰能力,设计了一种新型分数阶滑模控制器（NFOSMC）。首先,由于分数阶微积分理论的引入,控制器为系统提供了更多的控制余度。然后,针对传统滑模控制中存在的抖振问题,通过设计使控制器中直接包含有切换项的分数阶积分项,利用其滤波特性可以有效滤除抖振,实现无抖振滑模控制。同时利用Lyapunov稳定性定理证明了控制器可以保证系统在存在内扰与外扰时能够在有限时间内收敛于平衡点,另外控制器中避免了含有高阶分数阶微分项,扩大了分数阶阶数的取值范围。为了进一步提高抗扰能力,设计了分数阶扰动观测器（FODOB）,对系统内扰和外扰实时观测并补偿,有效提高了控制器的响应速度和刚度。最后,分别与PI控制、整数阶滑模控制器（IOSMC）和传统分数阶滑模控制器（CFOSMC）进行了仿真分析比较,结果表明该控制器能够有效改善速度跟踪性能和增强抗扰能力,消抖效果显著。      

近距空战训练中的智能虚拟对手决策与导引方法

针对近距空战训练中智能虚拟对手攻防博弈的自主决策与占位导引问题，提出了基于动态贝叶斯网络(DBN)和约束梯度法的智能虚拟对手决策和导引一体化方法。结合空间占位态势、火控攻击区和机动动作识别结果等信息，建立近距空战决策动态贝叶斯网络模型，实现根据战场动态环境变化的占位导引指标决策。针对在线识别的各类目标机动动作，建立轨迹预测模型，实现目标轨迹的实时预测。根据占位导引指标和目标预测轨迹，考虑飞行性能约束，采用约束梯度法计算智能虚拟对手的优化占位导引量。实现了近距空战智能虚拟对手空间占位决策与导引量计算的无缝结合。近距空战仿真实验结果表明:所提方法能够实现智能虚拟对手的合理化自主决策和占位导引，克服了传统方法实现机动动作方式固化的问题，具备较好的实时性和优化性。      

空间激光干涉引力波探测器轨道修正方法

针对空间激光干涉引力波探测器轨道修正问题，提出一种基于虚拟编队构型设计的航天器轨道修正方法。空间激光干涉引力波探测器由3颗航天器组成等边三角形构型。由于入轨误差和摄动的影响，探测器的构型不稳定。假设名义轨道上运行着一颗理想航天器，实际轨道上的真实航天器与之组成虚拟编队，探测器的3颗真实航天器分别与对应的理想航天器组成3个虚拟编队。考虑探测器构型稳定性要求和摄动的影响，对虚拟编队的构型进行设计，进而求解航天器平均轨道要素修正量。求解得到的航天器平均轨道要素修正量小于偏差量，轨道修正通过四脉冲控制实现。数值仿真结果表明，该方法通过部分轨道修正满足了探测器的构型稳定性要求，具有减少燃料消耗、延长任务寿命的潜力。      

基于无关变量分离的EFSM测试数据进化生成

扩展有限状态机（EFSM）相比于有限状态机（FSM）能够更加精确地刻画系统的动态行为,因而广泛作为各种控制流与数据流系统的测试模型。在EFSM模型的测试中,使用搜索的方法获得触发目标测试路径的测试数据是近年来的一个研究热点。为进一步提高搜索效率,在遗传算法（GA）的基础上提出一种自动分离测试路径中无关输入变量的方法,该方法通过分析模型中变量与迁移间的关系,判定不影响子路径中谓词条件的无关输入变量,进而从个体中将其分离以实现搜索空间的自动缩减,提升测试数据生成效率。对几种具有不同复杂度的基准EFSM模型进行实验后的结果表明,该方法生成有效测试数据的成功率均达到98.2%以上,且与未分离输入变量的遗传算法相比,所需平均迭代次数减少44.7%~85.9%,平均运行时间减少24.1%~85.5%。      

基于满意决策的多机协同目标分配算法

多机协同目标分配问题是无人机UAV(Uninhabited Aerial Vehicle)研究 中一个重要的问题.考虑UAV差异、目标差异及战场态势对目标分配的影响,建立了多机 协同目标分配问题的数学模型.提出基于满意决策的目标分配算法,通过搜索个体满 意集合获取群体优化的目标分配方案.对多目标分配问题,将攻击方案作为个体满意集 合的元素扩展了基于满意决策的目标分配算法.为适应更大的问题空间的求解需求,提出递 阶分配框架,并将满意决策方法用于递阶分配.计算结果表明,算法能有效提 高搜索效率,并得到很好的优化效果.      

日本对模糊逻辑在空间应用的研究

近年来，日本把模糊逻辑已实际应用于各种器件和系统中，特别是家用电器中，取得了良好的效果。实践证明，模糊逻辑在控制、感觉和决策过程等领域里有着巨大的应用潜力。下面是日本对模糊逻辑在空间应用的研究概况。１．空间模糊逻辑应用前景未来的空间活动要求在大型复杂的系统中进行瞬时的和并行的任务操作。现存的技术或者不能有效地进行这些操作，或者要付出极高的代价。模糊逻辑与现存的故障诊断技术相结合将可提供对这些困难问题更加灵活和更好的解决办法，如图１所示。同时，它也可以为未来的空间系统提供先进的智能和自动功能。２．…     

大直径整流罩运载火箭选型抖振试验研究

运载火箭在研制初期会根据卫星的包络需求提出整流罩的包络尺寸，进而提出火箭的初步构型设计。为了预示火箭设计构型的抖振风险，需针对火箭具体的外形尺寸、箭体频率、刚度数据开展跨声速抖振试验研究的相关工作。采用全弹性模型的抖振试验技术，以某型火箭3种5 m级直径整流罩构型为研究目标，通过开展2个方向的抖振试验，采用特征系统实现算法，评估3种火箭构型的抖振风险。研究结果表明：5.2 m直径整流罩+3.35 m直径三级构型一阶弹性模型对来流的响应时间短、响应幅值低，一阶和二阶弹性模型的气动阻尼值均大于零，可作为中国未来中型运载火箭大直径整流罩构型的外形设计方案。     

基于对象的P&ID设计软件无向图模型

在开发P&ID辅助设计系统的过程中,需要表示实体间的逻辑拓扑信息.为避免引入附加抽象实体来表示逻辑拓扑信息带来的复杂性,提出以面向对象为基础将逻辑拓扑信息统一在实体本身数据结构中的方法,并介绍了从P&ID管网图抽象建立P&ID无向图模型的过程.此方法和模型在实践中取得了很好的效果.对P&ID无向图结构的特点做了深入分析,指出运用此模型建立P&ID系统的要点及运用中应注意的问题,并讨论了P&ID无向图模型的扩展.      

Evaluation Method for Projects of Product Conceptual Design

概念设计方案的评价方法是设计过程可接受性决策的重要依据 .利用模糊数学的理论与方法把各种模糊信息数值化以对概念产品方案进行定量评价 ,通过建立设计方案评价体系及不同评价指标隶属度、考虑不同指标权重的方法 ,给出了产品概念设计方案的综合模糊评价方法 ,从而为产品概念设计提供一种形式化的、科学化的推理决策依据 ,同时也为产品设计过程自动化打下良好基础     

飞机制造工装中典型配套结构自动建模技术

飞机制造工装中存在大量配套结构,其中各元件在空间方位和结构尺寸等方面具有严格的关联关系,但这些元件并不总是构成一个完整的组合件,而是独立隶属于工装总体结构.现有的配套结构建模技术需要繁琐的人工操作,为了实现这类结构的自动建模,提出了基于结构关联关系的虚配件技术.首先,根据配套结构的构成元件间的依赖关系引入虚配件的概念,并以此为基础对配套结构进行了形式化定义和表示;其次,研究和建立了配套结构自动建模原理,并对其中涉及的语义模型解释、文档创建及子件安装等关键算法进行了详细说明;最后,通过V形块组件结构实例测试,验证了所提方法的正确性和有效性.     

基于模型化配置的星务自主控制软件设计与应用

卫星互联网正成为一种空间基础设施展开建设，大规模卫星发射的需求与地面运控管理任务指数型增长之间的矛盾日益突出，特别是对于低轨长期处于测控不可见弧段运行，其自主生存需求更为急迫，而星务自主控制功能是实现自主运行和生存的重要组成.本文通过参数装订、逻辑子层和数据交互模块的架构设计，提出一种基于模型化配置的自主管理软件系统框架，并针对核心逻辑子层，建立遥控主动模型、遥测主动模型以及数据融合交互控制模型，实现星务自主管理软件的快速研制，解决自主运行功能常会随设计深入和试验验证不断功能扩展的问题，提高星务自主控制软件的灵活性.通过卫星故障检测和恢复(FDIR)自主管理功能的设计进行了验证.结果表明该软件系统设计框架能够满足星务自主控制功能设计，具备可扩展能力，为进一步提升卫星的智能化水平奠定基础.     

集合论-泛逻辑悖论

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

基于顺序二元决策图的动态故障树分析

针对现有动态故障树分析方法存在的状态空间爆炸、计算效率低、适用范围有限等缺点,提出一种基于顺序二元决策图的动态故障树分析方法。在将动态逻辑门转化为含顺序事件的逻辑门的基础上,给出了顺序二元决策图的模型以及含有顺序事件的布尔运算规则,利用顺序二元决策图和扩展的布尔运算获取动态故障树的失效路径,并给出多单元顺序事件的发生概率。以某弹药为实例,考虑不完全覆盖问题,针对指数分布与非指数分布2种情形进行了动态故障树分析,结果表明该方法具有计算高效、精度高、适用性广泛等优点,为复杂动态系统的可靠性分析提供了理论基础。     

用于空间站的四重冗余对接控制系统设计

针对空间站所处太空环境的特殊性、对接机构对空间站正常运行的重要性,以及对航天器可靠性要求日益增加的问题,提出在对接控制系统中增加可靠性设计,实现整个机构的高质量、平稳运转。在完成正常控制功能的基础上,在系统中采用了四重冗余的工作机制,包括主备机双热备份、自动/手动控制模式切换、自动控制关闭指令双线发送和工作模式的三取二判断,对四重冗余设计的具体判断流程进行了详细地解释。对控制系统软件进行仿真验证,结果表明：由本文所述方法设计的对接控制系统具有高可靠性和故障容错能力。     

基于深度学习和图匹配的接线图检测与校核

传统的厂站一次接线图的绘制和管理主要依靠电网运行人员，费时费力且缺乏科学可校核的参考标准。提出了一种基于深度神经网络和数字图像处理相结合的厂站一次接线图的自动检测、识别和校核算法。首先，使用目标检测Faster R-CNN模型检测厂站接线图中的电器元件，并达到92%的检测准确率，同时使用端到端的文字检测识别模型识别厂站接线图中的文字信息，并达到94.2%的文字检测准确率和92%的文字识别准确率；然后，使用数字图像处理技术进行厂站接线图连接线、拓扑关系识别；最后，使用改进的VF2算法进行厂站一次接线图和人工维护的厂站一次接线图拓扑关系匹配校核，将拓扑数据抽象为无向图，通过轮廓序号得到元件的相对位置信息，根据改进的VF2算法得到2张图的匹配率，并通过匹配率与设定好的阈值来帮助核验，相比于节点遍历的匹配方法，核验准确率提高了37.5%。基于某供电公司提供的部分变电站的厂站一次接线图标注了接线图电器元件，贡献了一个小型接线图数据集。