期刊文献+
共找到12篇文章
< 1 >
每页显示 20 50 100
反导作战预案形式化建模研究 被引量:8
1
作者 范海雄 刘付显 邹志刚 《现代防御技术》 北大核心 2013年第1期1-8,41,共9页
反导作战预案是提高作战决策方案生成实时性和准确性的关键。通过对反导作战预案具体应用流程的分析,结合SysML,OWL_DL和CBML等形式化建模语言,提出了一种具有模型验证环节的预案形式化建模方法;根据所提出的方法,分析提炼了反导作战预... 反导作战预案是提高作战决策方案生成实时性和准确性的关键。通过对反导作战预案具体应用流程的分析,结合SysML,OWL_DL和CBML等形式化建模语言,提出了一种具有模型验证环节的预案形式化建模方法;根据所提出的方法,分析提炼了反导作战预案构成要素,定义了SysML块定义图、预案要素、OWL_DL和XML Scheme元素之间的映射规则;依据相应的转换规则,分别建立了反导作战预案概念层模型、逻辑层模型、物理层模型和预案本体模型,并应用预案本体模型对概念层模型进行了模型一致性验证。 展开更多
关键词 反导作战预案 建模 一致性验证 系统建模语言 网络本体描述语言 案例标记语言
下载PDF
A Systems Approach to Assessing Sustainability Capacity in Kalobeyei Refugee Settlement in Turkana County, Kenya
2
作者 Anicet Adjahossou 《Open Journal of Applied Sciences》 2024年第4期833-848,共16页
Refugee settlements face several challenges in transitioning from a temporary planning approach to more sustainable settlements. This is mainly due to an increase in the number of forcibly displaced people over the la... Refugee settlements face several challenges in transitioning from a temporary planning approach to more sustainable settlements. This is mainly due to an increase in the number of forcibly displaced people over the last few decades, and the difficulties of sustainably providing social services that meet the required standards. The development of refugee settlements assumed that forcibly displaced people would return to their places or countries of origin. Unfortunately, displacement situations are prolonged indefinitely, forcing these people to spend most of their lives in conditions that are often deplorable and substandard, and therefore unsustainable. In most cases, the establishment of refugee settlements is triggered by an emergency caused by an influx of forcibly displaced people, who need to be accommodated urgently and provided with some form of international assistance and protection. This leaves little or no time for proper planning for long-term development as required. In addition, the current approach to temporary settlement harms the environment and can strain limited resources with ad hoc development models that have exacerbated difficulties. As a result, living conditions in refugee settlements have deteriorated over the last few decades and continue to pose challenges as to how best to design, plan, and sustain settlements over time. To contribute to addressing these challenges, this study proposes a new methodology supported by Model-Based Systems Engineering (MBSE) and a Systems Modeling Language (SysML) to develop a typical sustainable human settlement system model, which has functionally and operationally executed using a Systems Engineering (SE) approach. To assess the sustainability capacity of the proposed system, this work applies a matrix of crossed impact multiplication through a case study by conducting a system capacity interdependence analysis (SCIA) using the MICMAC methodology (Cross-impact matrix multiplication applied to classification) to assess the interdependency that exist be 展开更多
关键词 Humanitarian Settlement systems Engineering (SE) SUSTAINABILITY Capacity Assessment Model-Based systems Engineering (MBSE) systems modeling language (sysml)
下载PDF
A Triple Nexus Water-Energy-Housing (WEH) Framework Modelling towards Improved Decision-Making in Humanitarian Operations
3
作者 Anicet Adjahossou 《Open Journal of Applied Sciences》 2024年第4期927-949,共23页
Given the challenges facing most humanitarian operations worldwide, a change of approach is needed to ensure greater sustainability of humanitarian settlements right from the planning stage. Some studies attribute uns... Given the challenges facing most humanitarian operations worldwide, a change of approach is needed to ensure greater sustainability of humanitarian settlements right from the planning stage. Some studies attribute unsustainability to inadequate provision of basic resources and highlight the apparent bottlenecks that prevent access to the meaningful data needed to plan and remedy problems. Most operations have relied on an “ad hoc ism” approach, employing parallel and disconnected data processing methods, resulting in a wide range of data being collected without subsequent prioritization to optimize interconnections that could enhance performance. There have been little efforts to study the trade-offs potentially at stake. This work proposes a new framework enabling all subsystems to operate in a single system and focusing on data processing perspective. To achieve this, this paper proposes a Triple Nexus Framework as an attempt to integrate water, energy, and housing sector data derived from a specific sub-system within the overall system in the application of Model-Based Systems Engineering. Understanding the synergies between water, energy, and housing, Systems Engineering characterizes the triple nexus framework and identifies opportunities for improved decision-making in processing operational data from these sectors. Two scenarios illustrate how an integrated platform could be a gateway to access meaningful operational data in the system and a starting point for modeling integrated human settlement systems. Upon execution, the model is tested for nexus megadata processing, and the optimization simulation yielded 67% satisfactory results, demonstrating that an integrated system could improve sustainability, and that capacity building in service delivery is more than beneficial. 展开更多
关键词 Humanitarian Settlement Nexus Framework WATER ENERGY HOUSING Sustainability systems Engineering (SE) Model-Based systems Engineering (MBSE) systems modeling language (sysml)
下载PDF
基于Spin的SysML活动图验证框架 被引量:6
4
作者 胡良文 马金晶 孙博 《计算机科学与探索》 CSCD 2014年第7期836-847,共12页
系统建模语言(systems modeling language,SysML)缺乏精确的形式化分析和验证手段,造成模型存在死锁、活锁等诸多问题,可以通过形式化验证方法来提高模型的正确性。然而,受制于传统的形式化方法需要复杂的公式推理,并且不易理解等方面... 系统建模语言(systems modeling language,SysML)缺乏精确的形式化分析和验证手段,造成模型存在死锁、活锁等诸多问题,可以通过形式化验证方法来提高模型的正确性。然而,受制于传统的形式化方法需要复杂的公式推理,并且不易理解等方面局限性,大多数验证仅限专家使用并且很耗时。为了克服SysML模型中存在的问题,提出了一种针对SysML多层次活动图的分析验证框架。它可以根据已构建的模型,将多层次活动图分解转换为Spin的输入模型,并对相关子图进行重组和验证。实验表明,该方法可以有效识别多层次活动图,并准确实施转换,为模型验证的演化提供支持。 展开更多
关键词 系统建模语言(sysml) 活动图 模型验证 SPIN PROMELA
下载PDF
岛礁防空电子对抗装备体系构建与效能评估 被引量:2
5
作者 曹嘉平 欧萌歆 +2 位作者 李易珊 姜江 李际超 《系统工程与电子技术》 EI CSCD 北大核心 2023年第9期2784-2792,共9页
考虑到岛礁作战电磁环境复杂、机动性差等局限性,结合以马赛克战为代表的决策中心战的特点,借鉴OODA(observe,orient,decide,act)作战循环理论的概念,对基于马赛克战的岛礁防空电子对抗装备体系进行构建,并基于复杂网络理论对装备体系... 考虑到岛礁作战电磁环境复杂、机动性差等局限性,结合以马赛克战为代表的决策中心战的特点,借鉴OODA(observe,orient,decide,act)作战循环理论的概念,对基于马赛克战的岛礁防空电子对抗装备体系进行构建,并基于复杂网络理论对装备体系进行效能评估。根据作战想定,首先基于美国国防部体系结构框架(Department of Defense Architecture Framework,DoDAF)2.0对装备体系进行建模,并通过系统建模语言(system modeling language,SysML)对模型各视图进行可视化呈现。接着,结合复杂网络分析方法,以自然连通度对武器装备体系进行抗毁性评估,以级联失效后的网络最大联通片规模对武器装备体系的鲁棒性进行评估,分别对中心式作战网和马赛克式作战网进行抗毁性和鲁棒性仿真实验。结果表明,马赛克式作战网的抗毁性和鲁棒性均更胜一筹,为未来的装备体系构建及技术发展提供借鉴。 展开更多
关键词 岛礁防空 武器装备体系 效能评估 马赛克战 系统建模语言
下载PDF
基于SysML的无人侦察机需求描述方法研究 被引量:3
6
作者 石福丽 黄炎焱 +1 位作者 朱一凡 杨峰 《计算机仿真》 CSCD 2007年第6期53-56,116,共5页
在装备论证与开发中,装备用户和研制设计人员间的需求描述往往难以沟通,造成研制工作的推迟和较大偏差。针对这种用户与研制方的需求交流障碍,借鉴SysML需求图建立武器装备需求描述的方法与步骤。主要分析了需求基本模型、需求导出模型... 在装备论证与开发中,装备用户和研制设计人员间的需求描述往往难以沟通,造成研制工作的推迟和较大偏差。针对这种用户与研制方的需求交流障碍,借鉴SysML需求图建立武器装备需求描述的方法与步骤。主要分析了需求基本模型、需求导出模型、需求满足模型和需求验证模型等四类需求子模型。以无人侦察机需求为例,给出了基于SysML需求图对无人机顶层需求及其与设计参数之间的关系进行描述的方法。需求建模的结果表明,利用SysML需求图能够准确地对无人侦察机的需求进行描述,并且易于理解和操作。 展开更多
关键词 无人侦察机 系统建模语言 需求图 需求描述
下载PDF
基于多视图建模的武器装备系统安全性分析 被引量:2
7
作者 聂兆伟 陈志伟 +1 位作者 马晓东 徐诚 《北京理工大学学报》 EI CAS CSCD 北大核心 2022年第4期437-446,共10页
随着武器装备实战化要求的不断深化,武器装备系统作战任务剖面构成越发复杂,武器装备危险物质密集,发生故障与危险事故的风险普遍存在,安全性问题突出.本文首先建立多视图任务剖面模型,以过程视图为核心,以功能视图、组织视图、信息视... 随着武器装备实战化要求的不断深化,武器装备系统作战任务剖面构成越发复杂,武器装备危险物质密集,发生故障与危险事故的风险普遍存在,安全性问题突出.本文首先建立多视图任务剖面模型,以过程视图为核心,以功能视图、组织视图、信息视图、资源视图和时序逻辑视图为补充识别武器装备系统组成要素.然后,利用形式化建模语言SysML实现对武器装备任务过程的多视图模型构建,从多个角度对武器装备复杂任务剖面进行描述.最后,建立基于SysML视图模型的武器装备安全性分析方法,并以某型陆基导弹武器系统为例进行基于多视图的武器装备任务剖面建模和安全性分析方法研究,为提升武器装备系统安全性分析提供理论与技术支撑. 展开更多
关键词 多视图 武器装备系统 安全性分析 sysml语言 耦合风险分析
下载PDF
基于DoDAF的民机MBSE研制方法 被引量:3
8
作者 王雨农 毕文豪 +1 位作者 张安 詹超 《系统工程与电子技术》 EI CSCD 北大核心 2021年第12期3579-3585,共7页
针对传统的民机研制方法中面临的设计需求不完整、难以保证设计与需求一致性、设计方案难以更改等一系列问题,结合美国国防部架构框架(Department of Defense Architecture Framework,DoDAF)的多个视角,提出基于DoDAF的民机基于模型的... 针对传统的民机研制方法中面临的设计需求不完整、难以保证设计与需求一致性、设计方案难以更改等一系列问题,结合美国国防部架构框架(Department of Defense Architecture Framework,DoDAF)的多个视角,提出基于DoDAF的民机基于模型的系统工程研制方法。该方法参考DoDAF中不同的视点从多角度对民机研制要求进行分解与细化,生成资源流动模型、活动模型以及系统接口模型等,开发出信息更加立体的飞机能力模型,指导民用飞机的设计,证明了基于DoDAF的民机研制方法能够从多视角的角度完整、全面地分解飞机能力要求,并将其转化为具体的设计要求,从而更好地指导民机研制,提高民机研制效率。 展开更多
关键词 基于模型的系统工程 美国国防部体系架构 系统建模语言 民用客机
下载PDF
红外导引装备环境适应性智能设计方法研究
9
作者 尚超 张同贺 +2 位作者 王军平 王明昌 魏新武 《航空制造技术》 2018年第9期83-87,共5页
适应性是制约红外导引装备性能的关键因素之一,其设计方法的智能化创新研究具有重要的意义。简介了基于模型的系统工程方法和人工智能方法的发展和现状,对红外导引装备环境适应性智能设计方法进行了分析,并利用Sys ML分别建立了一种5层... 适应性是制约红外导引装备性能的关键因素之一,其设计方法的智能化创新研究具有重要的意义。简介了基于模型的系统工程方法和人工智能方法的发展和现状,对红外导引装备环境适应性智能设计方法进行了分析,并利用Sys ML分别建立了一种5层的智能设计系统总体架构模型、一种智能综合推理的设计过程模型、一种面向对象的知识分类结构模型和一种用模糊神经网络抽取案例知识的行为模型,为精导装备智能设计系统的研发提供了有益的参考。 展开更多
关键词 基于模型的系统工程(MBSE) 系统建模语言(sysml) 智能设计 环境适应性 红外导引装备
下载PDF
基于SysML与Simulink的机载传感器建模方法
10
作者 韦彩色 王新尧 +1 位作者 陈纪磊 陶江 《计算机仿真》 北大核心 2021年第10期94-100,共7页
飞行器管理系统的传感器具有种类繁多、易受环境因素干扰、冗余设计等特点。而以往系统的传感器建模过程中,主要依靠简单的数学公式模拟部件的主要特性,忽略了绝大部分的真实细节,无法高度还原系统特性。基于模型的系统工程(Model Based... 飞行器管理系统的传感器具有种类繁多、易受环境因素干扰、冗余设计等特点。而以往系统的传感器建模过程中,主要依靠简单的数学公式模拟部件的主要特性,忽略了绝大部分的真实细节,无法高度还原系统特性。基于模型的系统工程(Model Based System Engineering, MBSE)思想,提出一种高度还原飞行器管理系统传感器特性的建模方法,并给出建模步骤。利用系统建模语言(Systems Modeling Language, SysML)的各类图形,对系统传感器的物理特征、不同工作状态以及余度设计等特点建立模型;并基于Simulink建立传感器的连续动态行为模型;最后,通过联合仿真对整体模型进行验证。结果表明,上述方法实现了对系统传感器真实物理特性的全面描述,提高了传感器模型的仿真度。 展开更多
关键词 系统建模语言 飞行器管理系统 传感器 集成仿真
下载PDF
基于MBSE的民机系统功能建模方法 被引量:12
11
作者 王文浩 毕文豪 +1 位作者 张安 范秋岑 《系统工程与电子技术》 EI CSCD 北大核心 2021年第10期2884-2892,共9页
针对传统系统工程存在的迭代周期长、开发效率低、模型二义性等问题,结合基于模型的系统工程理念,将敏捷系统工程概念引入到民机研制过程中,并利用系统建模语言定义了基于场景的功能建模方法,详细分析了民机自动飞行控制系统高度控制用... 针对传统系统工程存在的迭代周期长、开发效率低、模型二义性等问题,结合基于模型的系统工程理念,将敏捷系统工程概念引入到民机研制过程中,并利用系统建模语言定义了基于场景的功能建模方法,详细分析了民机自动飞行控制系统高度控制用例的顶层功能愿景,建立了对应的功能模型和接口描述视图。该方法以迭代的形式展开系统功能建模,能够充分保证需求和功能模型紧密结合,正向构建满足民机系统以需求为导向的功能建模方法,为民机系统的架构设计工作提供基础。 展开更多
关键词 基于模型的系统工程 功能建模 民用飞机 系统建模语言
下载PDF
基于DoDAF的载人登月体系结构建模 被引量:3
12
作者 黄冉 彭祺擘 +1 位作者 武新峰 倪庆 《系统工程与电子技术》 EI CSCD 北大核心 2023年第7期2131-2137,共7页
针对传统文本模式存在的需求域与设计域之间信息离散、关联性差、不易追溯等问题,采用基于模型的系统工程(model-based systems engineering,MBSE)方法开展载人登月系统设计。引入美国国防部架构框架(Department of Defense Architectur... 针对传统文本模式存在的需求域与设计域之间信息离散、关联性差、不易追溯等问题,采用基于模型的系统工程(model-based systems engineering,MBSE)方法开展载人登月系统设计。引入美国国防部架构框架(Department of Defense Architecture Framework,DoDAF),提出载人登月总体设计体系结构可执行模型的流程和方法;采用系统建模语言(system modeling language,SysML)建立了视图模型,描述了系统架构、需求模型和逻辑接口。并开展了初步逻辑仿真验证,可为载人登月系统设计和MBSE方法应用提供参考。 展开更多
关键词 载人登月 基于模型的系统工程 美国国防部架构框架 系统建模语言
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部