基于MBSE的民机系统功能建模方法

针对传统系统工程存在的迭代周期长、开发效率低、模型二义性等问题, 结合基于模型的系统工程理念, 将敏捷系统工程概念引入到民机研制过程中, 并利用系统建模语言定义了基于场景的功能建模方法, 详细分析了民机自动飞行控制系统高度控制用例的顶层功能愿景, 建立了对应的功能模型和接口描述视图。该方法以迭代的形式展开系统功能建模, 能够充分保证需求和功能模型紧密结合, 正向构建满足民机系统以需求为导向的功能建模方法, 为民机系统的架构设计工作提供基础。     

YH-PBDE的SoC系统建模与仿真技术研究

提出了基于约束任务流图模型的SoC系统建模与仿真方法,并在自行开发的软硬件协同设计环境YH-PBDE中实现了SoC系统建模与仿真工具。该工具能够在算法级准确的对SoC系统行为进行描述,对SoC系统进行功能验证和初步性能分析,并很好的支持系统模型模版的复用。数字化士兵音视频解码与播放器SoC的设计实例表明:这种SoC系统建模仿真方法保证了开发正确性,缩短了开发周期,取得了良好效果。     

基于FKCM的球磨机系统T-S模糊建模方法

针对传统的描述热工过程动态数学模型的方法难以建立非线性模型的缺点,提出了一种基于模糊核聚类的球磨机系统T-S模糊建模算法.该算法首先通过灰色关系法确定模型输入变量,利用FKCM聚类算法对输入空间进行模糊划分,确定T-S模型的前件结构和前件参数;进而利用最小二乘算法确定模糊规则的后件参数.最后,利用数字仿真数据对球磨机系统进行模糊建模,建模结果表明该算法简单、实用,模型能够精确地描述过程的非线性.     

一种验证数控系统软件安全可靠性的建模方法

作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性.因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题.基于此给出一个新的建模方法TTM/ATRTTL(时间转化模型/全时轴实时时态逻辑)来描述和验证CNC系统.TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验证规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之.这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证.使用该建模和验证方法可以对OAC(开放式体系结构CNC)系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分.验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模.在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件.     

一类综合控制系统的MLD建模与仿真研究

为了实现一类综合控制系统的高性能控制,提出了利用基于混杂动态系统理论的MLD(混合逻辑动态)建模方法对系统进行建模.从分析系统的混杂特性出发,介绍了DHA(~散混杂自动机)建模框架和建立系统MLD模型的基本原理和步骤.将本质上混杂的综合控制系统在DHA框架下进行建模分析,然后利用HYSDEL(混杂系统描述语言)这种统一的建模语言对混杂系统进行抽象描述,并转换成便于计算和性能分析的MLD模型,最后通过仿真验证了所建立的MLD模型在对系统进行开环控制时的有效性.     

基于可靠度的多部件系统机会维护模型

采用可靠度恢复因子描述具有独立可靠度分布函数的多部件系统在不同维修方式下的可靠度演化规则,建立了基于可靠度的多部件系统机会维护模型,克服了传统模型基于运行时间建模而忽视系统劣化过程与时间之间关系非线性的不足.以服从威布尔分布系统为例,利用蒙特·卡洛仿真方法对其进行优化,结果显示,该模型符合生产系统的实际情况,能够为维护决策提供有力支持.     

一种验证数控系统软件安全可靠性的建模方法

作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性。因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题。基于此给出一个新的建模方法TTM/ATRTTL(时间转化模型/全时轴实时时态逻辑)来描述和验证CNC系统。TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验证规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之。这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证。使用该建模和验证方法可以对OAC(开放式体系结构CNC)系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分。验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模。在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件。     

容错计算机网络综合可用性建模与仿真分析

在充分分析现有UMS容错计算机网络可靠性分析技术的基础上,针对容错计算机网络可靠性分析中存在的问题,从容错网络系统的特点出发,对计算机网络系统的典型的容错设备可用性建模、网络流量对网络可用性的影响、计算机网络综合可用性评价进行了研究。在容错计算机网络设备可用性建模的过程中,首先分析了软硬件故障相关性系统的特点,采用基于随机Petri网的可靠性分析方法解决了复杂设备难以进行可靠性建模的问题。通过分析影响网络可用性的因素,建立了基于网络性能的综合可用性模型,与现有的网络可靠性评价指标相比,其评价指标反映的信息更加的全面和科学。这对于建设高可用性网络具有较大的指导意义。     

基于Agent的经济社会系统建模与仿真研究

讨论基于Agent的人工社会建模方法学流程,然后采用基于Agent的建模与仿真方法对产业集群这种具体的经济社会系统进行建模,并给出产业集群中企业生产营销行为的仿真描述,最终建立的计算机仿真模型可以帮助分析影响产业集群发展的多个因素.建立这个仿真模型的过程是探索将ABMS方法应用于具体经济社会系统建模的新尝试.     

水电工程施工过程可视化系统建模研究

水电工程施工过程复杂,传统工程管理方法难以实现高效的管理.可视化仿真可以直观表现当前工程进度、方案,但实时建模比较困难.基于图形建模技术,在空间坐标描述基础上加入时间维,建立了含时间属性的层次性图形模型:单元模型、工序模型和场景模型;提出了水电工程施工过程可视化系统建模的方法.工程应用的表明,该建模方式对不同类型的水电工程有着较好的适用性.     

基础设施PPP项目脆弱性评估方法

为获知一个PPP(public private partnership)项目暴露于外部环境不利影响的程度、抵抗干扰和自我调节恢复的能力,提出一种:PPP项目脆弱性评估方法.将PPP项目看作一个由功能、性能、可盈利性、可维护性、可运营性和可持续性6个维度组成的系统,引入可靠性理论,根据识别出的27个脆弱性影响因素与各维度之间的关系,推导出PPP项目系统可靠性函数,通过评价系统各维度失效程度确定系统的可靠度,计算结果反映了PPP项目脆弱性的大小.将PPP项目脆弱性评估模型应用于某大桥PPP项目脆弱性评估,结果显示该项目具有较大的脆弱性,应加强项目的盈利和可持续性方面的管理.     

边扫描边跟踪雷达系统建模与仿真

利用系统仿真工具进行雷达系统建模与仿真，可以经济、方便、高效地实现雷达系统的性能评估、方案论证等工作，大大提高设计的可靠性，保证产品在最高层次上的正确性和所设计的产品获得最佳性能，并可缩短设计周期，降低开发成本。这里以边扫描边跟踪雷达系统的仿真为例，建立了边扫描边跟踪雷达的全数字仿真系统，该系统可以模拟雷达目标回波、欺骗性干扰、杂波等信号，完成对目标的搜索，得到了运动目标的距离、速度和角度等信息，并完成了对目标的跟踪，最后对系统输出的距离、速度和角度等信息做了精度分析。     

信息化陆战场多传感器系统可靠性模型

信息化陆战场上,多个传感平台(装备)综合集成为多传感器系统以实施信息收集与融合,故需要对其可靠性模型问题进行探讨。采用将战术任务转化为技术体系结构的方法,从系统及其组成部分的工作原理和功能关系出发,提出了多传感器系统的作战体系结构和功能体系结构,并在故障描述的基础上,建立了其可靠性框图与可靠性数学模型。对多传感器系统进行的可靠性预计与分配,表明该可靠性模型可以应用于可靠性研究、分析和设计中。     

网络体系效能评估改进FDNA模型

网络体系(system of system, SoS)的效能评估是SoS建设和分析的重点问题。传统功能依赖网络分析(functional dependency network analysis, FDNA)方法可以展示SoS“松散耦合”特性, 但缺乏对组件系统的运行独立性、效能衰减性、拓扑规律性等特征的关注。针对此, 在考虑多态问题的基础上, 通过Markov过程分析, 推导组件系统的自主效能衰减函数与系数, 改进了传统方法中的固定参数, 求得节点的动态效能值。在界定“相关SoS”概念的基础上, 计算组件系统可靠度的重要度, 识别关键节点, 构建网络SoS效能评估函数。以五节点航天SoS为例, 演示评估过程并验证了方法的可行性。     

舰船装备多状态可修复系统可靠性通用生成函数解算方法

远洋舰船装备结构复杂、系统庞大,可靠性要求高。开展舰船装备复杂系统可靠性研究,对于科学控制装备成本、实施维修决策,具有重要意义。针对舰船装备复杂系统,以可修复双锅汽轮发电系统为例,开展多状态系统可靠性建模。在此基础上,通过引入通用生产算子和通用生产函数,完成多状态复杂系统可用度、期望性能、性能失效等可靠性指标解算,并给出稳态、瞬态数值分析结果。研究表明,解算方法通用性强、适用范围广、计算资源依赖程度低,远优于马尔可夫直接法;多状态模型建立合理,有效反映复杂装备系统可靠性变化规律,能为可靠性评估、装备采购及维修决策提供技术借鉴。     

具有一阶自回归测量误差的步进加速退化可靠性分析

针对传统方法在步进应力加速退化建模时常常忽略测量误差间自相关性的问题,提出一种具有一阶自回归(AR(1))测量误差的步进应力加速退化可靠性分析方法.利用Wiener过程描述产品的性能退化过程,同时引入一阶自回归AR(1)模型表征具有自相关性的测量误差项.然后,建立漂移系数与加速应力之间的加速关系模型,并对漂移系数进行随机化处理以表征产品个体差异性.在首达时概念下,给出失效时间分布函数和概率密度函数的解析表达式.然后,提出一种加速退化模型参数极大似然估计方法.最后,通过激光器算例分析验证了本文方法的适用性和有效性,结果表明:与传统方法相比,本文方法建模合理性更优,且能有效提高产品退化可靠性分析精度,进而为产品合理维修决策的制定提供有力支撑.     

考虑性能的三余度舵机系统可靠性分析

针对传统可靠性分析方法对余度控制系统的不适应,本文提出了考虑控制系统性能的可靠性分析方法;采用可靠性仿真技术与控制系统仿真技术相结合的方法给出了系统性能可靠度的计算途径;通过三余度舵机系统可靠性的分析验证了该方法的有效性。     

基于变失效阈值的竞争失效可靠性模型

针对同时经历性能退化过程和外界冲击过程的系统,在假设性能退化过程为线性退化过程,冲击过程分别为极值冲击模型和δ冲击模型的基础上,分析了性能退化量对突发失效的失效阈值影响,建立了基于变失效阈值的竞争失效可靠性模型,求出了系统可靠性的解析表达式。结合实例对可靠性模型进行了分析,对突发失效的失效阈值进行了灵敏性分析。结果表明该模型可以有效地提高可靠性评估精度,具有较好的工程实践指导意义和理论参考价值。     

基于Web的火电仿真培训系统研究及实现

基于Web的仿真培训系统使培训不受地点和时间限制,可以降低培训成本和扩大培训范围。国内现有的基于Web的火电仿真培训系统实用性不高。在STAR-90仿真支撑系统基础上,使用Java技术开发包括操作员和教练员功能的远程仿真培训系统,运行测试表明,能显示复杂的仿真交互画面,实时性满足仿真培训要求,具有较高的实用性。     

贮存装备检测周期优化模型研究

针对现有装备贮存定期检测测试效率以一个先前经验值来表示的不科学性,依据工程实际,提出用模糊综合评判法确定测试效率;利用装备在贮存中性能退化的性质,建立考虑模糊测试效率的模糊可靠度预计模型;结合模糊可靠度函数给出贮存费用的积分表达式。最后以模糊可靠度模型为约束,以费用最小为目标函数建立检测周期的优化模型。运用遗传算法对某型水下航行器贮存期电参数的故障检测周期进行优化,结果表明了此方法的合理性和实用性。