基于SDG模型的故障诊断技术

本文介绍了基于符号有向图（SignedDirectedGraph）模型的故障诊断技术的原理,包括SDG模型中节点和支路的物理意义,SDG模型的建模方法,推理机制以及利用sDG模型进行故障诊断的步骤。详细阐述了sDG故障诊断技术的发展过程和各阶段的进展。最后,分析TSDG故障诊断的优缺点及其改进方法。     

基于COSIM的定性定量集成建模方法

定性建模技术相比定量建模技术能更加准确地描述复杂系统中的混沌性、不确定性和不可预测性。为全面系统地描述定性定量复杂系统,将定性建模技术跟定量建模技术相结合,提出一种基于多学科虚拟样机建模仿真理论(COSIM)的集成建模方法。在此基础上引入基于置信规则的定性知识和定性接口的描述,提出了集成建模的层次化模型结构的形式化表示方法;同时,基于对仿真系统中定性推理和定量解算的统一调度,给出了一种定性定量协同求解方法,最后,通过对UMl建模语言的扩展,提出了集成建模语言。通过设计并实现鱼雷规避仿真系统,验证了该建模方法的有效性。     

一种复杂系统定性模型描述方法

复杂系统日益呈现出不确定性、非线性等定性特征,已有的建模方法不足以构建具有定性特征的复杂系统。基于此,提出一种复杂系统定性模型描述方法(QMDM)。QMDM结合定性仿真理论,在UML基础上对其组件图、时序图以及状态图进行扩展,可视化地表达出定性模型的建模过程。组件图用于静态的表达出定性模型包含的定性约束关系。时序图和状态图用于动态的表达出定性模型的时序性,以及状态迁移。此外,给出QMDM的形式化定义,便于以后模型验证,并将研究成果在空调制冷系统中进行了初步应用。     

基于 SDG 的压缩机故障诊断方法研究

SDG(Signed Directed Graph)是一种重要的定性建模技术.基于符号有向图(SDG)的故障诊断是故障诊断领域中的一个重要研究方向,具有很大的应用和发展前景.本文针对往复式压缩机,提出了一个综合性 SDG 故障诊断架构.该综合性故障诊断架构采用基于经验知识的建模方法,引入分级 SDG 建模的思想和基于假设-验证的双向推理方法.研究表明,该方法具有较强的故障诊断能力.     

基于多信号模型的电子装备测试性分析

对于复杂的电子装备来说,有效的测试性分析有利于提高装备测试效果。运用TEAMS测试性分析工具,通过建立分层有向图表示系统属性的因果关系来建立系统故障传播特性的多信号模型,可高效地构建复杂电子装备的故障诊断模型,提高电子系统测试的故障隔离率和覆盖率。测试结果证明,多信号模型建模方法简单,诊断速度快,测试性评估效果好,可应用于复杂电子系统的测试性设计、故障模式影响、故障诊断和测试性评估等,满足现代复杂电子系统的故障诊断需求。     

图形化外场通用故障诊断模型开发平台设计与实现

外场装备的故障诊断系统要求具有通用性、直观性等特点,不依赖精确的数学模型和在线数据。基于符号有向图(SDG)的故障诊断系统具有逻辑直观清晰,推理计算高效,使用简单方便等优点,特别适用于外场通用故障诊断系统。通过分析SDG模型及其建模方法,开发了图形化故障诊断模型开发平台,实现了拖曳式绘图和智能化图形分析功能,使得装备使用维护人员也能够方便地开发故障诊断库,提高了外场装备保障能力。     

基于工作流的复杂电磁环境测试过程建模方法

基于复杂电磁环境测试过程对动态定制和智能化、自动化的需求,首先将工作流引入复杂电磁环境测试过程,解决了复杂电磁环境仪器测试过程的动态定制问题,使其测试过程更加智能化、自动化。然后使用基于有向图理论的建模语言对复杂电磁环境测试过程进行建模,并且给出了基于有向图理论的复杂电磁环境测试过程建模改进描述语言,使其能够适应复杂电磁环境的多仪器测量以及系统框架的多向测试流程。最后对其进行了工程验证,完成了测试流程建模。     

基于多信号流图的飞控系统实时故障诊断

针对飞控系统构造复杂、解析建模困难的特点,给出一种基于多信号流图模型进行实时故障诊断的方法。该方法首先建立系统的多信号流图模型,然后根据模型得出相关矩阵,在相关矩阵和各实时测试结果基础上按照实时故障诊断基本算法进行诊断推理,判定系统各模块所处的状态。对某型飞机飞控系统的建模以及模拟诊断结果表明,该方法能隔离多故障,同时降低虚警率,是一种十分有效的实时故障诊断方法。     

一种复杂过程与复合对象三维建模的实现方法

伴随着虚拟现实技术研究的深入和应用的推广,建模方法作为核心内容也会应用于越来越复杂的系统。现有的建模技术将模型,运动和模型与周围环境的关系相互孤立,这不利用高效和快捷地实现复杂系统。针对这些问题,文章首先使用过程建模方法对复杂系统层次化,然后提出关系建模方法对模型,运动和关系建立标准结构,最后针对复杂过程和复合对象两种应用提出实现方法,验证了方法的可行性和有效性。     

基于UML的工作流建模研究与应用

UML建模是工作流建模的一种重要方法，过程建模又是工作流建模的核心和基础。本文给出一个工作流元模型的定义、扩展了UML中活动的概念及其符号表示，明确区分工作流系统内部活动的执行和外部因素的参与，使模型在建立阶段的过程定义与运行阶段的过程控制更一致。     

组件化建模技术在作战模拟训练系统中的应用

为解决当前作战模拟训练系统模型扩展频繁、内容复杂的问题,提出了组件化建模解决方法。介绍了组件化建模技术,基于作战模拟训练系统的功能和组成情况,应用组件化建模技术构建了具有重用性、可扩展性的系统模型架构和模型组成体系,并深入研究了模型组件接口和组装技术。模型系统提高了系统的扩展性、减少开发工作量,满足了训练要求。     

具有外部扰动的非线性多智能体系统的自适应控制分析

阐述在未知扰动下含有未知量的非线性多智能体系统控制问题。提出了一种分布式设计,可实现在加权有向图拓扑下的多智能体系统一致性跟踪控制。每个智能体由有未知量的严格反馈非线性系统建模,并包含外部干扰。通过backstepping技术和神经网络的方法,在只需要自己和相邻智能体之间的相对状态信息的情况下,为每个从智能体构造自适应分布式控制器。设计的控制器和自适应控制率可保证领航者与所有跟随器之间的跟踪误差收敛到原点的一个小邻域。运用Radial Basis Function(RBF)神经网络用于逼近未知的非线性函数,并设计了一个非线性扰动观测器用于估计未知的外部扰动。采用Nussbaum函数来处理模型中未知符号的参数,仿真结果验证了所提方法的有效性。     

一种有效的非线性电路及其特性的透明建模方法

为了对任意非线性电路及其特性生成具有更开放函数形式的和可解释的符号模型,基于规范形式函数和多目标基因编程搜索算法提出了一种自动生成无需预先定义模板的符号模型建模方法。首先采用SPICE仿真数据对任意非线性电路及其特性进行建模,得到具有规范形式的函数。然后采用基于基因编程的多目标搜索算法返回一组可能的模型,实现对模型复杂性和误差的权衡,最终实现符号模型的可解释性和准确性。仿真实验结果表明,本文提出的建模方法不仅具有可解释性,而且在建模复杂性和预测误差性能等方面,都优于目前采用的主流建模技术。     

基于ECA规则的工作流建模

将工作流模型划分为三部分：过程模型、数据模型、组织模型。通过ECA规则与有向图相结合对工作流进行过程建模，利用有向图直观地表述流程的走向，工作流引擎通过对ECA规则的解释导航流程；给出了数据模型中数据对象的形式化定义；在组织模型中对RBAC模型进行改进，解决其在细粒度权限控制上的不足。     

多功能电子战系统作战效能评估方法研究

多功能电子战系统是一个动态、多变量、开放的复杂大系统,系统影响因素众多,逻辑关系复杂。采用定性和定量相结合的评估方法（即灰关联投影的分析模型和算法及云模型）建立了多功能电子战系统作战效能评估模型,介绍了评估步骤,并用实际算例验证了所提作战效能评估方法的可行性和有效性。     

基于复杂巨系统的城市信息安全保障体系的研究

基于INTERNET的信息安全保障体系是一个复杂的巨系统,本文在提出三维信息安全保障体系模型的基础上用复杂巨系统理论分析了信息安全保障体系,并用定性到定量的综合集成方法给出了信息安全研讨厅的模型以及模型的几个层次。     

基于Agent的复杂系统建模与仿真研究

基于Agent建模与仿真克服了传统的建模技术存在的不足,为复杂系统研究提供了新的思路.在基于Agent的复杂系统建模方法分析的基础上,结合信息对抗环境下护航舰艇编队防空作战系统实例,设计了各个仿真Agent实体的模型结构,采用HLA/RTI作为多Agent仿真环境的支撑环境,在此基础上给出了系统仿真的逻辑结构和仿真流程...     

高阶非线性微分方程的并行演化建模算法

文章提出了动态数据的高阶非线性微分方程的并行演化建模算法。动态系统的传统模型多采用线性模型,不能充分描述复杂系统的动态行为,建立高阶非线性微分方程模型更具普遍意义。我们通过将建模过程分解为可以分布并行的、模型结构选择和“模型参数优化”二个步骤,在异构网络环境中用CORBA实现了高阶微分方程建模的并行演化算法。实验表明,新的并行演化算法对于复杂动态系统的建模是十分有效的。     

基于SmartVerif的比特币底层协议算力盗取漏洞发现

比特币引入了一种新的P2P(Peer to Peer)交易方法,并依靠其底层协议实现去中心化交易.然而,由于目前缺乏对比特币各底层协议的细粒度形式化分析和系统建模,比特币安全性并未被保证.本文通过设计多维度的比特币安全模型引理和细粒度的比特币模型规则,系统地抽象了多协议组合运行考虑下的比特币协议实体交互,完成了对比特币的形式化符号建模与自动化安全分析.与以前的工作相比,本文更细粒度地建模了比特币协议实体及其相关操作,并全面设计了满足比特币各实体需求的安全属性.此外,本文利用自动化形式化验证系统SmartVerif实现了无需额外手工推导证明的形式化验证实验,通过将本文所建模的符号模型规则与引理作为SmartVerif的输入,发现了比特币底层协议算力盗取攻击.     

基于Swarm平台的装备体系建模研究

对Swarm平台进行了简介,它是基于复杂适应系统的工具集,而装备体系属于复杂系统并可以用复杂系统的方法来解决问题,构建了多Agent/CA模型框架并对其关键技术进行了论述,最后介绍了仿真流程。在此创新地将CAS理论引入装备体系对抗建模领域,并基于Swarm平台建立了装备体系建模框架。