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

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 职称材料

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

4

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

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

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

在线阅读 下载PDF 职称材料

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

5

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

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

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

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

基于时间Petri网的区间作业车间调度问题建模与分析 被引量：2

9

作者 潘理 杨勃 《湖南理工学院学报（自然科学版）》 CAS 2016年第1期33-36,共4页

区间作业车间调度问题近年来已成为生产调度研究的热点,现有研究工作主要集中于问题描述和优化求解方面,在理论模型、动态性质等方面还缺乏实质性成果.使用时间Petri网模型建模区间作业车间调度问题,并运用状态类可达性分析方法,分析模... 区间作业车间调度问题近年来已成为生产调度研究的热点,现有研究工作主要集中于问题描述和优化求解方面,在理论模型、动态性质等方面还缺乏实质性成果.使用时间Petri网模型建模区间作业车间调度问题,并运用状态类可达性分析方法,分析模型所有可行调度,进而求解具有最小下界和最小上界的优化调度,为区间作业车间调度问题的建模与分析提供有益参考. 展开更多

关键词 区间作业车间调度 时间PETRI网 建模与分析

在线阅读 下载PDF 职称材料

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

10

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

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

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

在线阅读 下载PDF 职称材料

甚长基线的双基地机载雷达杂波建模与分析

11

作者 姬妍 《陕西科技大学学报（自然科学版）》 2011年第5期52-57,共6页

甚长基线双基地机载雷达是一种全新的雷达配置模式,它具有检测范围大、工作模式多样等特点,因此具有广阔的应用前景.作者对甚长基线机载双基雷达的地杂波分布进行了研究,建立了杂波分布的一般模型,给出了杂波分布的表达式,并分析了杂波... 甚长基线双基地机载雷达是一种全新的雷达配置模式,它具有检测范围大、工作模式多样等特点,因此具有广阔的应用前景.作者对甚长基线机载双基雷达的地杂波分布进行了研究,建立了杂波分布的一般模型,给出了杂波分布的表达式,并分析了杂波随系统配置和探测距离变化的一般规律,最后通过计算机仿真验证了作者所做分析的有效性. 展开更多

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

在线阅读 下载PDF 职称材料

基于硬涂层的主动失谐整体叶盘建模与分析 被引量：2

12

作者 高俊男 孙伟 《振动与冲击》 EI CSCD 北大核心 2019年第17期65-72,共8页

通过在整体叶盘各扇区叶片上涂敷不同厚度的硬涂层可以将主动失谐减振与硬涂层阻尼减振技术简单而有效地应用于整体叶盘。为了探究该方法的减振特性,首先给出了利用单个失谐扇区的结构矩阵组集成完整主动失谐叶盘结构矩阵的方法,并利用... 通过在整体叶盘各扇区叶片上涂敷不同厚度的硬涂层可以将主动失谐减振与硬涂层阻尼减振技术简单而有效地应用于整体叶盘。为了探究该方法的减振特性,首先给出了利用单个失谐扇区的结构矩阵组集成完整主动失谐叶盘结构矩阵的方法,并利用泰勒展开和最小二乘法建立了叶片上的涂层厚度与涂层引起的叶片失谐矩阵这两者的近似关系。在此基础上,利用公称模态子集法对失谐叶盘结构进行减缩建模。接着,通过与完整有限元的计算结果对比验证了所提出的近似关系与减缩模型的正确性。最后,利用该减缩模型和蒙特卡罗模拟分析了行波激励下基于硬涂层的主动失谐叶盘振动特性。研究表明:叶盘基体随机失谐下,该方法可以明显降低整体叶盘的响应水平。 展开更多

关键词 硬涂层 主动失谐 整体叶盘 建模与分析

在线阅读 下载PDF 职称材料

细胞骨架与细胞外基质的力学建模与分析 被引量：2

13

作者 龚博 林骥 +1 位作者 王彦中 钱劲 《应用数学和力学》 CSCD 北大核心 2021年第10期1024-1044,共21页

细胞和生物组织需要适应人体内复杂的力学生物学环境,一方面要被动地承受外部环境中的机械力,另一方面在组织生长、修复等生理过程中,要积极主动地产生机械力调整自身的结构和形态.细胞和生物组织的力学性质主要由细胞骨架和细胞外基质... 细胞和生物组织需要适应人体内复杂的力学生物学环境,一方面要被动地承受外部环境中的机械力,另一方面在组织生长、修复等生理过程中,要积极主动地产生机械力调整自身的结构和形态.细胞和生物组织的力学性质主要由细胞骨架和细胞外基质决定,它们在微观上都是生物聚合物交联形成的复杂的、各向异性的三维网络结构.这方面早期的力学研究主要集中在通过各种网络模型,理解其普遍存在的非线性响应和硬化行为.近年来随着实验方法、理论建模和计算机模拟技术的大幅进步,这些生命介质的力学性质及其潜在的力学机理得到了更深入的理解.该文回顾了近些年细胞骨架和细胞外基质研究方面取得的部分进展,主要侧重动态交联属性、生物聚合物力学化学耦合赋予的主动材料属性、交联网络塑性和断裂,以及力学训练引发的自适应网络重构.发展细胞骨架与细胞外基质的力学模型与计算方法,分析该类生命介质的复杂力学行为,理解这些力学行为的潜在机制,可以加深人们对细胞和组织的力学生物学认识,并为人造生物材料和细胞组织工程提供基础和参考. 展开更多

关键词 细胞骨架 细胞外基质 生物聚合物网络 力学建模与分析

在线阅读 下载PDF 职称材料

基于数据挖掘的高校图书馆图书借阅流量建模与分析 被引量：19

14

作者 尹志强 《微电子学与计算机》 CSCD 北大核心 2018年第11期95-99,共5页

高校图书馆图书借阅流量受到多种因素的综合作用,具有一定的混沌变化特变性,针对当前高校图书馆图书借阅流量预测模型存在的精度低难题,提出了基于数据挖掘的高校图书馆图书借阅流量预测模型.引入混沌理论对高校图书馆图书借阅流量原始... 高校图书馆图书借阅流量受到多种因素的综合作用,具有一定的混沌变化特变性,针对当前高校图书馆图书借阅流量预测模型存在的精度低难题,提出了基于数据挖掘的高校图书馆图书借阅流量预测模型.引入混沌理论对高校图书馆图书借阅流量原始数据进行分析,建立高校图书馆图书借阅流量建模的学习样本,采用数据挖掘技术构建高校图书馆图书借阅流量预测模型,并与其它模型进行了高校图书馆图书借阅流量预测的仿真实验.结果表明,本文模型能够描述高校图书馆图书借阅流量变化趋势,高校图书馆图书借阅流量预测性能更优,可为高校图书馆管理者提供有价值的参考信息. 展开更多

关键词 高校图书馆 图书借阅流量 建模与分析 数据挖掘

在线阅读 下载PDF 职称材料

太阳能半导体辅助压缩式制冷的冷却系统的建模与分析 被引量：1

15

作者 赵青玲 胡晓稼 +3 位作者 惠豫川 姚朔阳 侯芳 田彬 《建筑节能》 CAS 2018年第8期43-46,共4页

为了降低压缩式制冷系统的能耗,将太阳能半导体制冷为冷源,对太阳能半导体辅佐压缩式制冷的冷却系统进行了研究。根据建模和试验结果表明:太阳能半导体制冷作为压缩式制冷系统的冷却系统,不但节约能源,提高单位容量制冷剂的制冷能力,而... 为了降低压缩式制冷系统的能耗,将太阳能半导体制冷为冷源,对太阳能半导体辅佐压缩式制冷的冷却系统进行了研究。根据建模和试验结果表明:太阳能半导体制冷作为压缩式制冷系统的冷却系统,不但节约能源,提高单位容量制冷剂的制冷能力,而且通过改进冷却系统的工艺条件,使半导体保持在理想的制冷状态。 展开更多

关键词 太阳能半导体 压缩式制冷 冷却系统 建模与分析

在线阅读 下载PDF 职称材料

电动客车能耗仿真建模与分析 被引量：2

16

作者 黄炫方 胡振球 +2 位作者 彭再武 尹志刚 樊钊 《客车技术与研究》 2019年第5期15-17,共3页

通过理论分析得到电动客车的能耗仿真模型,分析各个参数对能耗的影响及各类能耗在总能耗中的分布情况,提出降低车辆能耗的措施;仿真结果得到实际运行数据的验证。

关键词 电动客车 能耗仿真 建模与分析

在线阅读 下载PDF 职称材料

投资问题的建模与分析

17

作者 孟璀 《北京电子科技学院学报》 1999年第2期1-4,共4页

本文分析了1998年全国大学生数学建模竞赛A题的建模过程。

关键词 建模与分析 投资组合 投资者 投资问题 证券组合 无差异曲线 数学建模竞赛 期望值和标准差 风险承受力 收益和风险

在线阅读 下载PDF 职称材料

基于多Agent系统的广域后备保护建模和分析

18

作者 刘前进 曾繁源 韦胜旋 《通信电源技术》 2013年第4期102-106,共5页

基于已有的多Agent系统及特性,设计了一个电网广域后备保护的分区分层结构系统及其各层的理论模型,分析了各层模型的功能及其协同关系。该模型利用电网广域信息实现各保护装置之间动作的配合协调,以提高保护装置的可靠性和电网的安全稳... 基于已有的多Agent系统及特性,设计了一个电网广域后备保护的分区分层结构系统及其各层的理论模型,分析了各层模型的功能及其协同关系。该模型利用电网广域信息实现各保护装置之间动作的配合协调,以提高保护装置的可靠性和电网的安全稳定性。并介绍了电网广域后备保护各Agent的决策过程,此过程能实现缩短整定延时、快速跳闸切除故障、加速后备保护。 展开更多

关键词 广域后备保护 多AGENT系统 神经网络 故障检测 建模与分析

在线阅读 下载PDF 职称材料

基于UC3842直流升压斩波电路的应用及其系统建模与控制分析

19

作者 许益彬 宋留静 段海鹏 《数字技术与应用》 2015年第6期122-123,共2页

直流升压斩波电路是将直流电变成另一种固定电压或可调电压的DC-DC变换器。本文主要就UC3842在直接直流电变流电路的应用展开讨论。由于在无反馈的直流升压斩波电路中,通过调节滤波器的参数可以在输出端我们期望的电压值。我们用UC3842... 直流升压斩波电路是将直流电变成另一种固定电压或可调电压的DC-DC变换器。本文主要就UC3842在直接直流电变流电路的应用展开讨论。由于在无反馈的直流升压斩波电路中,通过调节滤波器的参数可以在输出端我们期望的电压值。我们用UC3842可以在输出端引入负反馈,这样就可以在无反馈直流滤波电路的基础上,应用系统建模与控制的知识,在末端更得到输出更加稳定的电压。 展开更多

关键词 DC-DC PWM 电压反馈 系统建模与分析

在线阅读 下载PDF 职称材料

浮动式配流盘柱塞泵马达系统动力学建模及特性研究

20

作者 汪浒江 王涛 +2 位作者 林宇 杜甫 冯文韬 《汽车工程》 EI CSCD 北大核心 2024年第11期2122-2132,共11页

浮动式配流盘设计从根本上解决了轴向柱塞泵/马达高转速下缸体倾覆的难题,契合了其高速化的发展趋势,在近年来得到重视。然而,针对浮动式配流盘柱塞泵马达系统所特有的结构,仍然缺乏系统级的动力学建模及动态特性研究,限制了浮动式配流... 浮动式配流盘设计从根本上解决了轴向柱塞泵/马达高转速下缸体倾覆的难题,契合了其高速化的发展趋势,在近年来得到重视。然而,针对浮动式配流盘柱塞泵马达系统所特有的结构,仍然缺乏系统级的动力学建模及动态特性研究,限制了浮动式配流盘柱塞泵马达产品的设计。本文针对浮动式配流盘柱塞泵马达系统,建立了考虑其详细结构特征的完全参数化描述的系统动力学模型,着重研究了其高压油路以及辅助液压腔油液压力的动态变化规律,并通过台架试验验证了模型的正确性。研究结果表明,高压油路表现出“瞬降缓升”的“锯齿形”压力脉动特征,且脉动剧烈。在泵转速1 000 r/min,高压油路平均压力20、40 MPa两个压力等级下,脉动幅值分别高达±1.5和±3 MPa。辅助液压腔油液压力呈现“快速跟随、缓慢下降”的动态变化规律,即辅助液压腔一旦与高速旋转的柱塞腔接通,其油液压力几乎立即无衰减、无滞后地跟随柱塞腔压力变化。而当与柱塞腔脱离之后,其还能很好地维持住腔内压力。 展开更多

关键词 轴向柱塞泵/马达 浮动式配流盘 高压油路 辅助液压腔 动力学建模与分析

在线阅读 下载PDF 职称材料