检索结果-内蒙古大学图书馆

作者：王松锋解放军信息工程大学

学位级别：硕士

系统建模语言SysML是目前国际上系统工程领域最新的标准建模语言，是统一建模语言UML在系统工程领域的延伸和扩展。SysML针对系统工程领域中系统设计与建模的特点，提供了可视化、图形化的系统建模支持，得到了众多公司的支持，广泛应... 详细信息

系统建模语言SysML是目前国际上系统工程领域最新的标准建模语言，是统一建模语言UML在系统工程领域的延伸和扩展。SysML针对系统工程领域中系统设计与建模的特点，提供了可视化、图形化的系统建模支持，得到了众多公司的支持，广泛应用于复杂系统建模。然而，为了保持描述的清晰易懂，SysML在给出自身的语义说明时，采用了半形式化的描述方式，使用自然语言描述约束和详细语义，力求实现形式严格和易于理解之间的平衡，这就意味着SysML本身缺乏分析和验证的手段。序列图、活动图和状态机图作为SysML行为建模的主要模型，同样存在这样的问题。本文针对该问题展开研究，主要完成以下工作： 1．提出了一种SysML序列图到有色Petri网的转换方法。定义了将SysML序列图的常用操作转换为等价有色Petri网的转换规则，重点是把SysML序列图的常用结构如条件结构、可选结构、并行结构、顺序结构以及循环结构等映射为有色Petri网，并证明了转换规则的正确性。应用这些规则可以将序列图转换为有色Petri网模型，并可通过有色Petri网对其进行仿真分析，验证模型的无死锁性、可达性、有界性和活性。同时，该方法具有可扩展的优良特性，可处理带有条件限制的消息，且可在对应的变迁上加上时间区间。通过数字证书更新的实例验证了该方法的可行性。 2．提出了一种SysML活动图到Petri网的转换方法。定义了将SysML活动图转换为Petri网可执行模型的六种转换规则，应用这些规则可以将活动图转换为Petri网模型，进而对其进行化简、分析和验证，并可通过Petri网验证转换后模型的无死锁性、可达性、有界性和活性，同时可检测SysML的行为规范与并发相关的性质，如死锁、有界性等。最后采用列举法和模拟法验证了数字证书更新活动图模型转换的一致性。 3．提出了一种SysML状态机图到广义随机Petri网的转换方法。定义了SysML状态机图的常用操作转换为等价广义随机Petri网的转换规则，应用这些规则可以将状态机图转换为广义随机Petri网模型，进而对其进行分析、验证，并可验证模型的无死锁性、可达性、有界性和活性等，同时，该方法可处理带有时间延迟和概率信息的状态转换。通过数字证书状态机图的实例说明了该方法的可行性。

关键词：系统建模语言序列图活动图状态机图 Petri网有色Petri网广义随机Petri网

来源：评论

学校读者我要写书评

暂无评论

航空发动机机载健康管理系统架构设计研究

航空发动机机载健康管理系统架构设计研究

引用

作者：杨天策南京航空航天大学

学位级别：硕士

随着对航空发动机持续适航管理要求逐步提升,以事故症候为主的风险分析正向基于状态的安全监控转变,这得益于航空发动机健康管理(EHM,Engine Health Management)系统的发展应用。机载EHM系统具有实时特点,通过监控收集发动机有关参数,... 详细信息

随着对航空发动机持续适航管理要求逐步提升,以事故症候为主的风险分析正向基于状态的安全监控转变,这得益于航空发动机健康管理(EHM,Engine Health Management)系统的发展应用。机载EHM系统具有实时特点,通过监控收集发动机有关参数,通过机载或地面的处理分析,可以实现对航空发动机及其重要部件和系统的实时状态监测、故障诊断/预测、性能趋势分析和寿命管理等,因此,对机载EHM设计提出了更高的要求。面对不同型号发动机对机载EHM系统研制提出的不同设计要求,整合、开发、协同设计和验证成为机载EHM系统正向设计中亟待解决的问题。为更好的开展机载EHM系统正向设计,实现需求-功能-协同开发和验证,本文以某型号发动机正在开发的机载EHM系统为对象,开展了架构的设计建模和协同设计方法研究。首先,基于SysML语言开展机载EHM系统的功能架构设计研究。首先采用MBSE中的OOSEM方法规划模型组成,搭建包组织结构;进而搭建需求管理模型,在模型中实现需求捕获和分解;在此基础上,从静态元素和动态元素两个方面建立功能模型,定义功能模块和模块内的活动、状态机等;对建立的功能架构模型开展可视化验证,并对事件触发进行优化,提高了时序图运行时编译器对模型的编译速度;对机载EHM系统的需求追溯和变更进行分析,通过需求满足矩阵等方法进行需求-功能的追溯。其次,基于SystemC语言开展机载EHM系统的硬件架构设计研究。在参考某型机载监控系统架构基础上,进行了硬件系统传输层次的搭建,重点关注于硬件模块和模块之间的互联关系,互联了多型单处理型处理器、存储器和通道的底层封装代码,在建模中进行了引用,并最终对机载EHM系统硬件架构模型进行集成。随后进行了模型的测试,从处理器自检程序、寻址、通道的输入输出、仿真速率等角度进行了验证,同时开展了基于机载片上系统模型的故障注入测试。然后,开展功能模型和硬件模型的交互映射研究。实现了将硬件架构模型的特征参数和组成关系映射到功能架构模型中,进而进行功能向硬件的分配设计,明确了功能模块实现的物理载体。在此基础上,进行软硬件分区研究,对功能架构中的操作函数进行算法层级验证,实例化了功能模型,并借助于SysML的代码传递向硬件代码中进行映射,在硬件架构模型中对实例化的功能模型进行仿真,得到了硬件架构下的仿真参数。最后,基于软硬件协同设计融合方法,建立了机载EHM系统架构综合评价体系,从功能和硬件层次对架构的算法、进程、硬件性能等指标进行综合评价,给出了一个具体工作下的评价实例。将综合评价体系融入到功能和硬件设计流程中,满足了机载EHM系统快速设计与优化的目标,提升了机载EHM系统正向开发设计和评估迭代的能力。

关键词：系统建模语言航空发动机机载健康管理系统架构设计协同设计架构评估方法

来源：评论

学校读者我要写书评

暂无评论

模型驱动的领域建模与仿真验证平台的应用研究

模型驱动的领域建模与仿真验证平台的应用研究

引用

作者：王飞北京工业大学

学位级别：硕士

随着模型驱动思想逐渐为人们所接受，模型驱动技术不断发展，在不同领域中得到广泛应用。目前建模软件一般采用UML来描述模型的，虽然UML在可视化建模领域作用巨大，但其也具有一定的局限性：UML不能很好的满足对于工程领域的建模需求... 详细信息

随着模型驱动思想逐渐为人们所接受，模型驱动技术不断发展，在不同领域中得到广泛应用。目前建模软件一般采用UML来描述模型的，虽然UML在可视化建模领域作用巨大，但其也具有一定的局限性：UML不能很好的满足对于工程领域的建模需求；建立的模型不可执行，不易于需求分析与模型验证等。在以上的背景下，OMG提出了SysML (System Modeling Language，系统建模语言)。SysML是一种广泛使用于工程领域的图形化建模语言，适用于由软件、硬件、人员综合而成的复杂系统的结构分析、设计与验证，可于对工程领域中不同阶段的各种问题进行建模。在模型驱动开发逐渐成为主流开发模式的大背景下，本文分析当前模型驱动开发的现况，并针对UML在工程领域建模能力不足的情况，研究了领域建模与模型转换技术，从需求分析、系统分析与设计、模型验证和系统实现这几个阶段详细介绍了基于SysML的开发模式；通过研究SysML相关文献，对领域元元模型分析设计，然后对SysML模型包含的需求模型、结构模型、行为模型以及参数模型，分别从模型定义、元模型设计和图元设计几个方面进行深入的分析与阐述。针对静态模型难以验证的特点，本文提出了在模型设计阶段的模型检测方法，设计了SysML领域模型到仿真脚本的转换及验证规则，通过模型转换技术，将领域模型转换为仿真脚本，利用Matlab/Simulink仿真平台进行模型验证工作，实际上是将测试提前到了模型设计阶段，使设计人员能尽早发现并解决问题。最后基于Eclipse插件技术、可视化建模技术及模型转换技术实现上述领域建模与仿真验证平台，并利用该平台对工程领域经典案例—倒立摆系统进行领域建模、仿真脚本生成及模型验证，以检验平台的可用性。

关键词：模型驱动架构系统建模语言图形建模框架模型转换模型仿真验证

来源：评论

学校读者我要写书评

暂无评论

基于物联网环境的仓储系统架构研究

基于物联网环境的仓储系统架构研究

引用

作者：张仁彬郑州大学

学位级别：硕士

随着物流业的振兴发展,仓储系统作为供应链中的重要环节,面对越来越高的行业要求,问题日益凸显。仓储系统的发展需要运用新的技术和方法改变传统的作业模式。在企业信息化进程中,物联网的应用优势逐渐显现出来。然而实际上,对于如何更... 详细信息

随着物流业的振兴发展,仓储系统作为供应链中的重要环节,面对越来越高的行业要求,问题日益凸显。仓储系统的发展需要运用新的技术和方法改变传统的作业模式。在企业信息化进程中,物联网的应用优势逐渐显现出来。然而实际上,对于如何更完善地将物联网应用到仓储系统中还存在很多问题。本文以物联网在仓储中的应用作为研究对象,在国内外相关研究基础上,分别对物联网的概念、基本框架和相关技术进行了系统性研究,并结合仓储系统的实际需要,运用物联网对仓储系统架构进行了设计和详细描述,然后对以这种架构搭建的物联网仓储系统进行了评价。首先对仓储系统和物联网进行了解析,总结了传统仓储系统存在的问题和原因,并重点通过梳理国内外研究文献,对物联网定义、基本框架和相关技术进行了详细介绍；其次,针对传统仓储系统存在的问题,结合物联网的优势特点,将物联网运用到仓储管理对象和管理方法中进行系统架构设计,具体包括系统编码体系、射频识别系统、系统网络结构、系统软件模块设计和系统硬件布局。再次,运用系统建模语言(SysML)对设计的仓储系统架构进行描述。通过建模语言具体描述了系统的需求、结构和行为等方面,剖析了物联网仓储系统的工作原理和特性。最后,建立了仓储系统评价指标,并采用网络层次分析法(ANP)对物联网仓储系统和传统仓储系统进行优势度比较。本文通过将物联网运用到仓储系统的架构设计中,改善了仓储系统的结构和运行机制,解决了传统仓储系统存在的问题,同时还对仓储系统进行了系统描述和评价。研究成果对于利用物联网建设仓储系统具有一定的理论与实践意义。

关键词：物联网仓储系统系统建模语言网络层次分析

来源：评论

学校读者我要写书评

暂无评论

基于输入输出迁移系统的嵌入式软件数据流安全性与一致性检测

基于输入输出迁移系统的嵌入式软件数据流安全性与一致性检测

引用

作者：潘建锋西安电子科技大学

学位级别：硕士

嵌入式系统应用广泛,嵌入式软件规模和复杂度急剧上升,呈现出组件化、综合化的发展趋势。同时,物联网、工业控制、航空航天等领域对嵌入式软件的可靠性、安全性要求越来越高,如何提高嵌入式软件的安全性和可靠性成为长期被关注的关键问... 详细信息

嵌入式系统应用广泛,嵌入式软件规模和复杂度急剧上升,呈现出组件化、综合化的发展趋势。同时,物联网、工业控制、航空航天等领域对嵌入式软件的可靠性、安全性要求越来越高,如何提高嵌入式软件的安全性和可靠性成为长期被关注的关键问题。基于模型的系统工程(Model-Based Systems Engineering,MBSE)常用于开发大型嵌入式软件系统,以提高软件可靠性。其中常用的系统建模语言(System Modeling Language,SysML)用于支持系统工程中的需求分析和设计活动。但现有的SysML建模工具缺乏针对安全属性验证和演化过程一致性测试的自动化支持,使得现有的形式化验证手段难以有效应用于复杂嵌入式软件的SysML模型设计。针对以上问题,本文以面向复杂嵌入式软件SysML模型设计的安全属性验证和一致性测试方法为研究对象,研究并提出了一种基于输入输出迁移系统(Input-Output Transition System,IOTS)和安全迁移系统(Secure Transition System,STS)的组件化嵌入式软件模型数据流安全性验证方法和一致性测试方法,用来确保软件模型设计中不存在违反数据流安全属性的行为,并确认系统模型的实现与其模型规范一致。本文主要工作包括以下4方面:(1)设计并实现了SysML模型到输入输出迁移系统和安全迁移系统的自动转化算法。SysML行为模型到输入输出迁移系统的转换算法能够将半形式化的SysML顺序图自动转化为形式化的输入输出迁移系统,用于对嵌入式软件模型的一致性测试;SysML模型到安全迁移系统的转换算法能够从包含安全属性信息的SysML需求、结构和行为模型图提取信息并转化为安全迁移系统,用于对嵌入式软件模型的数据流安全性验证。(2)提出并实现了基于安全迁移系统的数据流安全属性验证方法。安全迁移系统是输入输出迁移系统的扩展,其中包含从SysML模型图捕获的安全属性信息和系统行为信息。实现的自动验证算法基于安全迁移系统之间的无干扰属性决定过程,验证系统模型不存在违反数据流安全属性的行为。(3)提出并实现了基于输入输出迁移系统的一致性测试方法。基于系统模型演化前后不同粒度的SysML行为模型,分别从代表系统规范和系统实现的SysML顺序图提取相应的输入输出迁移系统,然后使用测试用例生成算法和测试执行算法检测系统行为实现是否与系统行为规范一致,从而保证系统实现的正确性。(4)实现了相应的模型转化、安全属性验证和一致性测试工具,实现了转化、验证和测试过程的自动化。针对无人机飞控系统的飞行模式切换子系统设计模型进行的安全验证和测试结果说明了本文方案和工具的有效性和实用性。

关键词：嵌入式软件系统建模语言输入输出迁移系统形式化验证一致性测试

来源：评论

学校读者我要写书评

暂无评论

基于SysML的C^4ISR系统效能分析及建模方法

引用

指挥信息系统与技术 2012年第5期3卷 50-56页

作者：王庆龙王智学张炜钟徐景解放军理工大学指挥信息系统学院军事交通学院军事交通系中国人民解放军66165部队

针对C4ISR分析与设计中建模手段的不足,提出了基于系统建模语言(SysM L)的C4ISR分析与设计建模方法。通过分析SysM L机制,研究了SysM L新增需求图、扩展块图和参数图等模型对C4ISR建模的支持作用,探讨了SysM L对C4ISR建模的精确描述和... 详细信息

针对C4ISR分析与设计中建模手段的不足,提出了基于系统建模语言(SysM L)的C4ISR分析与设计建模方法。通过分析SysM L机制,研究了SysM L新增需求图、扩展块图和参数图等模型对C4ISR建模的支持作用,探讨了SysM L对C4ISR建模的精确描述和定量分析优势。以某区域防空系统为例,研究了基于SysM L的系统效能分析建模过程。结果表明该方法对C4ISR的效能分析建模合理可行。

关键词：系统建模语言 C4ISR系统系统效能分析定量分析

来源：评论

学校读者我要写书评

暂无评论

基于SysML模型的需求建模及测试方法

引用

测试技术学报 2021年第2期35卷 93-99页

作者：黄晨于倩左万娟陈华南王小丽北京控制工程研究所北京100190 北京轩宇信息技术有限公司北京100190

为了将模型驱动测试有效应用于嵌入式系统测试中,本文说明了需求建模方法以及用例生成方法,以及SysML建模语言中状态机图的抽象语法、图元符号和形式化语义,针对性能测试要求,总结了关于状态机模型的性能测试建模方法,并通过实例构建状... 详细信息

为了将模型驱动测试有效应用于嵌入式系统测试中,本文说明了需求建模方法以及用例生成方法,以及SysML建模语言中状态机图的抽象语法、图元符号和形式化语义,针对性能测试要求,总结了关于状态机模型的性能测试建模方法,并通过实例构建状态机图描述性能需求,建立测试场景分析方法,有效覆盖系统的性能测试类型.经验证,采用基于模型驱动的测试方法能够建立明确系统执行逻辑,构建测试最长路径等场景,保证测试的充分性和覆盖性,提升测试效率和自动化程度.

关键词：系统建模语言状态机需求建模用例生成

来源：评论

学校读者我要写书评

暂无评论

航电系统工程与过程的面向对象建模研究

引用

航空电子技术 2023年第3期54卷 22-30页

作者：邹巧宜白晟暄中国航空无线电电子研究所上海200241 93367部队四平136000

针对当前民机研发过程对系统工程与过程方法理解和运用仍然存在疑虑的问题,本文选择以面向对象的方式观察和分析了项目实践中的航电系统工程及其过程方法,利用系统建模语言建立了一组系统工程与过程的对象模型,以可视化方式展示了抽象... 详细信息

针对当前民机研发过程对系统工程与过程方法理解和运用仍然存在疑虑的问题,本文选择以面向对象的方式观察和分析了项目实践中的航电系统工程及其过程方法,利用系统建模语言建立了一组系统工程与过程的对象模型,以可视化方式展示了抽象层面上系统工程的结构和行为以及它们之间的联系。清晰的模型有利于人们更好地理解和交流,本文重点介绍了如何把经验中的过程方法用对象模型进行表达的方法。文中模型包括系统工程的用例、生命周期、过程规范、系统工程与项目以及系统工程类的操作等。模型是对现实的简化和抽象,对系统工程与过程的本身建模是一次尝试,旨在为民机航电系统产品的开发与体系建设提供理论和实践方面的指导。

关键词：系统工程面向对象建模系统工程生命周期阶段系统建模语言

来源：评论

学校读者我要写书评

暂无评论

航电系统安全性分析工具设计与研究

引用

民用飞机设计与研究 2017年第3期 10-16页

作者：刘宇刘永超上海飞机设计研究院上海201210

随着航电系统综合化程度的不断提高,传统的安全性分析方法过于依赖工程经验,难以保证失效模式的完备性。同时在系统迭代设计的过程中,由于系统的复杂性,会导致安全性分析工作量过大,增加了时间及经济成本。针对上述问题,设计了一种自动... 详细信息

随着航电系统综合化程度的不断提高,传统的安全性分析方法过于依赖工程经验,难以保证失效模式的完备性。同时在系统迭代设计的过程中,由于系统的复杂性,会导致安全性分析工作量过大,增加了时间及经济成本。针对上述问题,设计了一种自动化安全性分析工具,基于Sys ML描述语言建立安全性数据模型,采用路径追溯的方法完成故障树自动建模,并对生成的故障树进行共模分析和区域安全性分析。以某系统为例的实验结果表明,该工具能够实现故障树自动建模与分析,提高了安全性分析的效率和完备性。

关键词：航空电子系统故障树系统建模语言安全性分析

来源：评论

学校读者我要写书评

暂无评论

基于DEVS的SysML混合模型仿真代码自动生成方法

引用

指挥信息系统与技术 2023年第1期14卷 81-87页

作者：吴新泉叶玲高鑫王芳南京航空航天大学计算机科学与技术学院南京210016 中国电子科技集团公司信息系统需求重点实验室南京210023

针对现有的系统建模语言(SysML)构建的模型仅支持单一的离散或连续的模型仿真问题,提出了一种基于离散事件系统规范(DEVS)的离散连续混合SysML模型仿真代码自动生成方法。首先,提取了SysML仿真相关的视图和元模型;然后,基于DEVS构建了... 详细信息

针对现有的系统建模语言(SysML)构建的模型仅支持单一的离散或连续的模型仿真问题,提出了一种基于离散事件系统规范(DEVS)的离散连续混合SysML模型仿真代码自动生成方法。首先,提取了SysML仿真相关的视图和元模型;然后,基于DEVS构建了代码生成相关的元模型,并定义了从SysML元模型到DEVS代码元模型的转换规则;接着,基于该转换规则开发了Sys‑ML模型文本转化为DEVS模型仿真代码的转换程序,再结合adevs框架下与模型无关代码构建了完整的系统仿真代码;最后,以防空系统案例验证了该方法的有效性。

关键词：代码自动生成系统建模语言离散事件系统规范(DEVS) 元模型模型转换规则

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：