机载软件层次化需求的形式化建模与分析

1

作者 王康星 胡军 +3 位作者 王立松 丁鼎 董亚炯 戴嘉磊 《南京航空航天大学学报(自然科学版)》 北大核心 2025年第1期195-204,共10页

越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchica... 越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchical variable relation model,HVRM)引入工程领域中典型的功能模块属性以及端口等概念来表达系统功能的层次化特征语义,同时也具备原有变量关系模型(Variable relation model,VRM)中基于表格形式的形式化语义,可表示包括条件型、事件型、多维度模式转换等多种类需求的语义信息。进而,基于需求的一致性完整性要求确立了VRM一致性完整性约束簇。其次,设计了一个将工程条目化需求建模为HVRM形式化需求模型的处理框架,并在一个机载软件需求工具平台(Hierarchical avionics requirement tools,HART)中进行了处理功能和需求追溯功能的实现和集成。最后采用某机型自动飞行系统中飞行模式转换软件逻辑需求进行了实例需求建模和模型分析。 展开更多

关键词 计算机软件与理论 需求工程 形式化方法 需求建模与分析 飞行控制系统

在线阅读 下载PDF 职称材料

老年人对信号交叉口行人服务水平评价建模与分析

2

作者 张惠玲 王瑞浩 张睿 《郑州大学学报（工学版）》 CAS 北大核心 2024年第6期9-17,共9页

为分析老年人在信号交叉口人行横道的过街需求,对老年行人在通行时的服务水平进行评估,建立了基于主观评价和交叉口交通特征的老年行人服务水平评价模型。首先,通过现场观测和视频分析获取了33条信号控制人行横道的交通特征参数,并采用... 为分析老年人在信号交叉口人行横道的过街需求,对老年行人在通行时的服务水平进行评估,建立了基于主观评价和交叉口交通特征的老年行人服务水平评价模型。首先,通过现场观测和视频分析获取了33条信号控制人行横道的交通特征参数,并采用截断式问卷调查得到同步情况下过街老年人对行人服务水平评价主观值,初步选用基于非线性、线性和模糊线性回归模型。其次,通过基于30条人行横道的数据分析,采用皮尔逊相关系数和斯皮尔曼相关系数识别出了影响老年人过街服务水平的关键因素。最后,以关键因素为输入,对比分析非线性、线性和模糊线性3种回归模型,结果表明:多元非线性回归的老年行人服务水平评价模型在拟合度和误差方面表现更优,且验证组的3条人行横道数据进一步证实了该模型的适用性。 展开更多

关键词 信号交叉口 老年行人 多元非线性回归模型 行人服务水平 建模与分析

在线阅读 下载PDF 职称材料

基于广义随机Petri网的装备战场抢修建模与分析 被引量：1

3

作者 邱雄飞 张桦 +1 位作者 赵润泽 黄增端 《现代防御技术》 北大核心 2024年第4期130-136,共7页

装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,... 装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,并根据广义随机Petri网和马尔可夫链同构特性求解模型主要性能指标。最后通过实例分析说明,该方法可以有效求解装备战场抢修的主要性能指标,验证了模型的有效性和合理性,同时也为装备战场抢修决策提供了一定的参考依据。 展开更多

关键词 装备保障 战场抢修 广义随机Petri网(GSPN) 马尔可夫链(MC) 建模与分析

在线阅读 下载PDF 职称材料

物联网智能物流系统容错服务组合建模与分析 被引量：11

4

作者 郭荣佐 冯朝胜 秦志光 《计算机应用》 CSCD 北大核心 2019年第2期589-597,共9页

针对物流领域的服务组合存在容错性差和服务不可靠等问题,提出一种基于π网的物联网智能物流系统物流服务容错组合模型。首先,在简单介绍物联网智能物流系统后,给出了物联网智能物流系统的容错服务组合框架;然后,基于π网建立了物联网... 针对物流领域的服务组合存在容错性差和服务不可靠等问题,提出一种基于π网的物联网智能物流系统物流服务容错组合模型。首先,在简单介绍物联网智能物流系统后,给出了物联网智能物流系统的容错服务组合框架;然后,基于π网建立了物联网智能物流系统物流服务容错组合模型,并对模型进行了容错正确性和拟合性分析;最后,对提出的模型进行了服务可靠性、服务故障容错可靠性实验,并与Petri网、QoS动态预测算法、模糊卡诺模型和改进粒子群优化的服务组合方法针对服务组合的执行时间、用户满意度、可靠性和最优度进行对比实验。实验结果表明,所提模型具有更高的服务可靠性和服务故障容错可靠性,同时在服务组合的执行时间、用户满意度、可靠性和最优度等方面也具有一定的优越性。 展开更多

关键词 物联网 智能物流 容错服务组合 π网 建模与分析

在线阅读 下载PDF 职称材料

模型驱动的危机事件快速建模与分析方法 被引量：5

5

作者 李明浩 杨克巍 +1 位作者 徐建国 谭跃进 《系统工程与电子技术》 EI CSCD 北大核心 2016年第9期2055-2064,共10页

以2015年底俄土战机冲突事件为例,建立了基于模型驱动方法的快速建模与仿真分析框架,为类似军事冲突及争端事件应急判断提供快速建模与决策分析支持。通过场景建模、可执行逻辑分析和可视化仿真技术分别对危机事件进行静态结构建模、动... 以2015年底俄土战机冲突事件为例,建立了基于模型驱动方法的快速建模与仿真分析框架,为类似军事冲突及争端事件应急判断提供快速建模与决策分析支持。通过场景建模、可执行逻辑分析和可视化仿真技术分别对危机事件进行静态结构建模、动态行为分析以及场景仿真验证。同时,利用具有自主知识产权的支持快速元模型定制的多视图建模工具ModelLink,与第三方分析与仿真工具集成,形成了以ModelLink为输入的跨平台模型自动生成、分析与互操作的分析链路,支持快速参数变更、直观可视化行为调整的敏捷响应。面向俄土战机事件,利用俄土双方及第三方关于事件细节的开源信息,构建了两种基本场景模型,通过对比不同方案的可执行逻辑分析以及仿真过程参数分析结果,校验了双方在事件声明中细节的合理性与真实性,同时支持后续不断补充开源信息后的模型调整与快速结论生成,具有很好的实用性。 展开更多

关键词 危机事件 模型驱动 元模型 快速建模与分析 可执行模型 STK仿真

在线阅读 下载PDF 职称材料

嵌入式系统硬件可靠性Copula方法建模与分析 被引量：3

6

作者 郭荣佐 樊相奎 +1 位作者 崔冬霞 黎明 《计算机应用》 CSCD 北大核心 2015年第2期550-554,559,共6页

嵌入式系统硬件的可靠性是十分重要的,它直接关系到嵌入式系统的质量和寿命。为了对嵌入式系统的硬件可靠性进行分析,利用Copula方法从硬件角度和层面对其进行研究。首先从嵌入式系统硬件的组成层面对其进行抽象定义;然后从组成嵌入式... 嵌入式系统硬件的可靠性是十分重要的,它直接关系到嵌入式系统的质量和寿命。为了对嵌入式系统的硬件可靠性进行分析,利用Copula方法从硬件角度和层面对其进行研究。首先从嵌入式系统硬件的组成层面对其进行抽象定义;然后从组成嵌入式系统硬件的每个功能模块出发,对每个功能模块从软硬件综合角度进行可靠性建模,同时利用Copula函数建立了嵌入式系统硬件的可靠性模型;最后对嵌入式系统硬件可靠性模型的参数进行估计,给出具体的嵌入式系统硬件可靠性计算实例,并将所建立的模型与其他类型的Copula函数进行比较。通过实例化分析和验证结果表明,得到的嵌入式系统硬件Copula函数模型是切实可行的。 展开更多

关键词 嵌入式系统硬件 可靠性 建模与分析 COPULA函数

在线阅读 下载PDF 职称材料

共直流母线交流传动节能系统的混杂系统建模与分析 被引量：3

7

作者 李继方 汤天浩 姚刚 《电工技术学报》 EI CSCD 北大核心 2011年第7期181-187,共7页

为了节约能源在工业生产中,共直流母线交流传动系统被广泛采用。针对因系统复杂难以建模问题,引入混杂系统理论,在分析共直流母线交流传动节能系统结构及特点的基础上,构造了系统的形式化模型及其等效电路,建立了等效电路中受控功率源... 为了节约能源在工业生产中,共直流母线交流传动系统被广泛采用。针对因系统复杂难以建模问题,引入混杂系统理论,在分析共直流母线交流传动节能系统结构及特点的基础上,构造了系统的形式化模型及其等效电路,建立了等效电路中受控功率源的混杂Petri网模型和电网整流装置的混杂自动机模型,进而得到系统整体模型。分两种工况仿真研究系统直流母线的功率和电压,讨论了不同工况下的处理方法,验证了所建模型的合理性。 展开更多

关键词 共直流母线 交流传动 节能 混杂系统 建模与分析

在线阅读 下载PDF 职称材料

甚长基线的双基地机载雷达杂波建模与分析 被引量：3

8

作者 刘锦辉 廖桂生 李明 《系统工程与电子技术》 EI CSCD 北大核心 2011年第3期523-527,共5页

甚长基线双基地机载雷达是一种新的雷达配置模式,与普通的机载双基地雷达相比,它具有检测范围大、工作模式多等特点。在这种双基地雷达配置模式下,地面杂波呈现何种分布以及对空时自适应处理杂波抑制性能的影响有待研究。对甚长基线机... 甚长基线双基地机载雷达是一种新的雷达配置模式,与普通的机载双基地雷达相比,它具有检测范围大、工作模式多等特点。在这种双基地雷达配置模式下,地面杂波呈现何种分布以及对空时自适应处理杂波抑制性能的影响有待研究。对甚长基线机载双基雷达的地杂波分布进行了研究,建立了杂波分布的一般模型,给出了杂波分布的具体表达式,分析了杂波分布与系统配置和检测距离之间的关系以及对空时自适应处理的影响。最后通过计算机仿真,验证了本文分析的正确性。 展开更多

关键词 甚长基线 双基地雷达 配置参数 建模与分析

在线阅读 下载PDF 职称材料

随机Petri网对装备维修保障的建模与分析 被引量：3

9

作者 刘勇 武昌 陈校平 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2007年第2期43-45,共3页

利用Petri网与马尔可夫链的同构关系,采用Petri网与马尔可夫链理论相结合的维修保障系统性能分析方法,对系统性能有效评估提供了理论依据。通过两个不同实例分析了系统状态空间、各状态在稳态下的期望概率、系统可靠性和维修人员的工作... 利用Petri网与马尔可夫链的同构关系,采用Petri网与马尔可夫链理论相结合的维修保障系统性能分析方法,对系统性能有效评估提供了理论依据。通过两个不同实例分析了系统状态空间、各状态在稳态下的期望概率、系统可靠性和维修人员的工作强度。实例表明,相比传统的建模方法,在分析装备维修保障各状态间的逻辑关系和系统动态过程中,随机Petri网具有显著的有效性和优越性。 展开更多

关键词 随机PETRI网 维修保障 MARKOV过程 建模与分析

在线阅读 下载PDF 职称材料

混合余度传感器系统的可靠性建模与分析 被引量：2

10

作者 袁燎原 章卫国 +1 位作者 刘洋 刘小雄 《西北工业大学学报》 EI CAS CSCD 北大核心 2015年第1期57-62,共6页

针对混合余度传感器系统,分别对故障过程和诊断过程进行建模,集成建立系统的半马尔可夫过程可靠性模型。通过代数模型与补充变量法的结合,提出了一种定量分析方法,采用代数模型法将系统模型简化为故障模式的逻辑和,应用补充变量法求解... 针对混合余度传感器系统,分别对故障过程和诊断过程进行建模,集成建立系统的半马尔可夫过程可靠性模型。通过代数模型与补充变量法的结合,提出了一种定量分析方法,采用代数模型法将系统模型简化为故障模式的逻辑和,应用补充变量法求解约简后的半马尔可夫过程,推导了基于分布函数的时序故障概率计算公式,用于各故障模式的定量概率求解。通过算例分析,并与典型方法进行比较,体现了模型的通用性以及定量分析方法的准确与简便。 展开更多

关键词 混合余度系统 可靠性建模与分析 半马尔可夫过程 代数模型 补充变量法

在线阅读 下载PDF 职称材料

基于运动学方法的线性尺寸定位误差通用建模与分析 被引量：5

11

作者 秦国华 张卫红 《机械科学与技术》 CSCD 北大核心 2004年第11期1317-1319,1324,共4页

定位误差是评价夹具性能的重要指标 ,分析定位误差是夹具设计中的一个重要环节。由于定位元件与工件的制造误差 ,工件安装后将不可避免地产生位置偏移 ,定位误差就是由于工件上的工序基准点位置在加工方向上发生偏移而引起的。现有夹具... 定位误差是评价夹具性能的重要指标 ,分析定位误差是夹具设计中的一个重要环节。由于定位元件与工件的制造误差 ,工件安装后将不可避免地产生位置偏移 ,定位误差就是由于工件上的工序基准点位置在加工方向上发生偏移而引起的。现有夹具定位方案误差分析方法 ,如合成法、极限位置法以及微分法所建立的定位误差计算模型仅适用于特定类型的定位方案 ,不具备通用性 ;而目前利用运动学方法所建立的夹具模型仅考虑了定位接触点位置的影响 ,没有考虑调刀基准点位置偏移的影响。为此 ,根据运动学方法 ,在完善夹具模型的基础上 ,本文提出线性尺寸定位误差的通用模型与分析技术。 展开更多

关键词 线性尺寸 工件位置误差 定位误差 通用建模与分析技术

在线阅读 下载PDF 职称材料

基于相关性模型的舰船系统测试性建模与分析 被引量：7

12

作者 刘晓白 梁鸿 王丹 《舰船科学技术》 北大核心 2017年第11期158-163,共6页

本文提出一种基于相关性模型的舰船系统级产品的测试性建模与分析方法。该方法通过建立产品任务模型、相关性图示模型等,利用一阶相关性列矢量法求解产品的相关性数学模型,进而建立产品诊断树和进行测试性预计,并为优化产品诊断策略提... 本文提出一种基于相关性模型的舰船系统级产品的测试性建模与分析方法。该方法通过建立产品任务模型、相关性图示模型等,利用一阶相关性列矢量法求解产品的相关性数学模型,进而建立产品诊断树和进行测试性预计,并为优化产品诊断策略提供建议。同时,根据舰用燃气轮机滑油系统组成和任务特征,建立其典型任务模型并进行精简,并在此基础上进行测试性建模、诊断树建立、测试性预计以及诊断策略优化等工作,为舰船系统级产品的测试性建模、分析和诊断策略研究提供新思路和手段。 展开更多

关键词 相关性模型 舰船系统 测试性建模与分析 测试点优化

在线阅读 下载PDF 职称材料

基于任务的舰船装备测试性建模与分析研究 被引量：5

13

作者 刘晓白 梁鸿 《舰船科学技术》 北大核心 2016年第11期156-160,共5页

提出一种基于任务的产品测试性建模与分析方法,该方法通过建立产品基于任务的信息流图示模型,利用直接分析法或一阶相关性列矢量法求解产品故障的D矩阵模型,进而建立产品诊断树和进行测试性预计,并为确定诊断策略提供依据。同时,本文根... 提出一种基于任务的产品测试性建模与分析方法,该方法通过建立产品基于任务的信息流图示模型,利用直接分析法或一阶相关性列矢量法求解产品故障的D矩阵模型,进而建立产品诊断树和进行测试性预计,并为确定诊断策略提供依据。同时,本文根据某水面舰船电力系统组成和任务特征,建立其典型任务模型并进行精简和细化,在此基础上进行基于任务的测试性建模、诊断树建立及测试性预计举例研究,为舰船装备的测试性建模、分析和诊断策略研究提供新思路。 展开更多

关键词 舰船装备 基于任务 测试性建模与分析 诊断树

在线阅读 下载PDF 职称材料

肘杆式压力机机构动力学建模与分析向量键合图法 被引量：10

14

作者 王中双 韦静 《振动与冲击》 EI CSCD 北大核心 2019年第11期140-145,共6页

为提高肘杆式压力机机构动力学建模与分析的效率及可靠性,提出了相应的向量键合图法。由系统向量键合图模型基本场及结型结构的输入、输出向量间的代数关系,推导出便于计算机自动建立的系统驱动力矩及运动副约束反力方程的统一公式;根... 为提高肘杆式压力机机构动力学建模与分析的效率及可靠性,提出了相应的向量键合图法。由系统向量键合图模型基本场及结型结构的输入、输出向量间的代数关系,推导出便于计算机自动建立的系统驱动力矩及运动副约束反力方程的统一公式;根据运动约束关系,将平面运动构件、旋转铰及移动副的向量键合图模型组合起来,建立了三角形肘杆压力机机构的向量键合图模型。通过有效的增广方法,消除了机构向量键合图模型中的微分因果关系,克服了其给机构自动建模所带来的代数困难;在此基础上,实现了三角形肘杆压力机机构动力学自动建模与计算。结果揭示了脉冲形式的工作阻力对机构动力学性能的影响,说明了所述方法的有效性。 展开更多

关键词 向量键合图 动力学建模与分析 肘杆式压力机机构 脉冲冲压 因果关系

在线阅读 下载PDF 职称材料

基于Petri网和并发调度标识图的并发任务调度的建模与分析 被引量：4

15

作者 韩耀军 《计算机科学》 CSCD 北大核心 2014年第7期105-109,共5页

在云计算及网格计算环境下,由于资源具有分布、异构、动态、自治等特点,其并发任务的调度更加复杂,迫切需要强有力的图形与数学工具对其进行建模与分析。Petri网是描述与分析并发、异步、动态等事件的理想的图形与数学工具。给出了并发... 在云计算及网格计算环境下,由于资源具有分布、异构、动态、自治等特点,其并发任务的调度更加复杂,迫切需要强有力的图形与数学工具对其进行建模与分析。Petri网是描述与分析并发、异步、动态等事件的理想的图形与数学工具。给出了并发任务调度的加权时延Petri网模型。可达标识图是分析Petri网动态特性的一个重要工具,但它不能表达Petri网中变迁的并发关系,尤其是不便于分析被描述系统的时间特性。提出了并发调度标识图的概念,给出了构造时延Petri网的并发调度标识图的算法。最后,利用并发调度标识图分析了并行下载的时间特性。 展开更多

关键词 时延PETRI网 并发可达调度图 并发任务 建模与分析

在线阅读 下载PDF 职称材料

基于Copula的ERCS系统软硬件综合可靠性建模与分析 被引量：3

16

作者 郭荣佐 《计算机科学》 CSCD 北大核心 2014年第4期145-149,共5页

在现代的电子业、制造业和工业控制等系统中,系统的可靠性越来越重要,而嵌入式实时控制系统(Embedded Real-time Control System,ERCS)大部分是控制系统的核心部分,其系统可靠性尤为重要。首先对嵌入式实时控制系统软硬件进行形式化抽... 在现代的电子业、制造业和工业控制等系统中,系统的可靠性越来越重要,而嵌入式实时控制系统(Embedded Real-time Control System,ERCS)大部分是控制系统的核心部分,其系统可靠性尤为重要。首先对嵌入式实时控制系统软硬件进行形式化抽象定义;然后对不可再分的软件模块和IP硬核进行可靠性建模,应用Copula函数对软件子系统和硬件子系统分别进行建模,并建立了ERCS系统的软硬件综合可靠性Copula模型;最后应用建立的模型,对具体的系统进行了软硬件综合可靠性计算。通过实例计算可知,用Copula建立的ERCS软硬件综合可靠性模型考虑了软件各个模块间、硬件各个IP硬核间和软硬件间的相依性,使得ERCS软硬件综合可靠性比独立时有所提高。 展开更多

关键词 COPULA函数 可靠性 建模与分析 嵌入式实时控制系统 软硬件

在线阅读 下载PDF 职称材料

中耳听骨链系统的有限元建模与分析

17

作者 朱翊洲 陈力奋 +5 位作者 张天宇 戴培东 谢友舟 杨琳 王克强 王正敏 《医用生物力学》 EI CAS CSCD 2009年第S1期110-110,共1页

关键词 链系统 有限元模型 中耳 听骨 建模与分析 听小骨 鼓膜脐 图像处理 韧带 单元类型

在线阅读 下载PDF 职称材料

广义随机Petri网的装备战场抢修建模与分析

18

作者 刘勇 武昌 曾玉君 《火力与指挥控制》 CSCD 北大核心 2008年第8期124-127,131,共5页

将广义随机Petri网(GSPN)的基本理论应用于装备战场抢修系统的建模与分析,考虑装备战场抢修过程中的各种因素,采用Petri网与马尔可夫理论相结合的装备战场抢修系统性能分析方法,为装备战场抢修系统性能的有效评估提供了理论依据。通过... 将广义随机Petri网(GSPN)的基本理论应用于装备战场抢修系统的建模与分析,考虑装备战场抢修过程中的各种因素,采用Petri网与马尔可夫理论相结合的装备战场抢修系统性能分析方法,为装备战场抢修系统性能的有效评估提供了理论依据。通过实例验证,该方法可用于分析装备抢修系统的时间性能和运作效率,为机关决策层提供参考。 展开更多

关键词 广义随机PETRI网 装备 战场抢修 建模与分析

在线阅读 下载PDF 职称材料

小区域Ad Hoc网络路由发现过程建模与分析

19

作者 方建超 王汉兴 《上海大学学报（自然科学版）》 CAS CSCD 2004年第4期346-351,共6页

AdHoc网络因无需固定机站、移动方便,已成为无线网络的研究热点.该文(1)分析了小区域AdHoc网络路由发现过程的特点,构建了称为Sm AHF的描述模型;(2)论述了Sm AHF模拟器的设计和实现;(3)模拟并讨论了平均泛洪距离等网络参数与N,p(网络规... AdHoc网络因无需固定机站、移动方便,已成为无线网络的研究热点.该文(1)分析了小区域AdHoc网络路由发现过程的特点,构建了称为Sm AHF的描述模型;(2)论述了Sm AHF模拟器的设计和实现;(3)模拟并讨论了平均泛洪距离等网络参数与N,p(网络规模、连通概率)之间的关系;(4)将实验数据与理论结果作了比较. 展开更多

关键词 小区域Ad HOC网络 路由发现 平均泛洪距离 建模与分析

在线阅读 下载PDF 职称材料

分布式发电系统中燃料电池建模与分析

20

作者 胡玉峰 于浩 《电力科学与技术学报》 CAS 2010年第3期2-7,共6页

随着分布式发电技术的兴起,作为分布式电源重要组成部分的燃料电池以清洁、高效、安静的特点受到广泛关注。分布式发电系统的动态特性在很大程度上取决于其中的分布式电源特性.分析燃料电池各种时间尺度的动态行为,讨论包括双电层效应... 随着分布式发电技术的兴起,作为分布式电源重要组成部分的燃料电池以清洁、高效、安静的特点受到广泛关注。分布式发电系统的动态特性在很大程度上取决于其中的分布式电源特性.分析燃料电池各种时间尺度的动态行为,讨论包括双电层效应、气体分压力和温度等因素对动态过程的影响,分别介绍质子交换膜燃料电池的短期、中期和长期动态特性的仿真模型,并且提出一种改进的短期动态模型,通过仿真验证该模型的有效性. 展开更多

关键词 质子交换膜燃料电池 动态特性 建模与分析 时间尺度 分布式发电

在线阅读 下载PDF 职称材料