|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | 基于MBSE的民机系统功能建模方法显示文摘针对传统系统工程存在的迭代周期长、开发效率低、模型二义性等问题,结合基于模型的系统工程理念,将敏捷系统工程概念引入到民机研制过程中,并利用系统建模语言定义了基于场景的功能建模方法,详细分析了民机自动飞行控制系统高度控制用例的顶层功能愿景,建立了对应的功能模型和接口描述视图。该方法以迭代的形式展开系统功能建模,能够充分保证需求和功能模型紧密结合,正向构建满足民机系统以需求为导向的功能建模方法,为民机系统的架构设计工作提供基础。 | 王文浩 毕文豪 张安 范秋岑 | 2021 | 系统工程与电子技术2021，43，10： | 7 |
| 2 | 环锭纺纱信息物理生产系统建模方法显示文摘针对环锭纺纱工艺流程长、纤维形态变化大、生产连续性与离散性混合,生产过程中数据流和控制流的关系多样复杂等问题,深入研究了环锭纺纱信息物理生产系统构架。先根据信息物理系统的“计算、通信、控制”特征,定义了环锭纺纱信息物理生产系统;在此基础上分析了环锭纺纱信息物理生产系统的纤维流、数据流和控制流,提出“纤维流-数据流-控制流”融合的环锭纺纱信息物理生产系统模型。然后,基于模型的系统工程方法,采用SysML建模语言建立环锭纺纱信息物理生产系统需求和局部用例模型以及对“纤维流-数据流-控制流”融合建模。研究结果表明,提出的建模方法能有效建立环锭纺纱信息物理生产系统模型,并对环锭纺纱生产智能化具有一定的借鉴意义。 | 殷士勇 鲍劲松 唐仕喜 杨芸 | 2021 | 纺织学报2021，42，2： | 4 |
| 3 | 一种面向SCR需求模型的形式化验证方法研究显示文摘在需求层级进行建模分析与验证是复杂安全关键软件开发过程中的核心关注点.本论文工作面向航空领域中典型安全关键软件的需求层级,提出了一种基于形式化模型检验技术的需求模型验证方法.首先分析了形式化需求模型(SCR)的建模工具(T-VEC)中所定义的递归结构形式的模型语法与语义,提出了一种对模型变量关系进行平展化的方法,将SCR表格关系模型转换为自动机状态迁移图,然后设计了从SCR模型到模型检验工具(nuXmv)的模型自动转换框架,并对模型转换规则给出了严格的定义证明;最后通过一个航空软件系统的需求实例展示了方法的有效性. | 张漾 胡军 王立松 康介祥 王辉 高忠杰 | 2022 | 小型微型计算机系统2022，43，1： | 2 |
| 4 | 基于元模型融合的飞机虚拟维修过程模型优化显示文摘为降低飞机虚拟维修过程模型的复杂度,提出一种元模型融合下的虚拟维修过程建模方法。通过分析飞机维修任务,得出不同飞机维修任务中具有相同维修序列这一特点。从维修任务中提取仿真要素,使用SysML状态机定义维修对象元模型,确定元模型融合的约束条件,并提出元模型融合下的虚拟维修过程建模方法,该方法可通过重用符合装配关系的元模型来表达相同的维修序列,进而减少模型节点数量,降低模型复杂度。最后,在A320虚拟维护训练系统中,以发动机接口组件维修任务为例验证了方法的有效性。 | 耿宏 王晨飞 钱文高 | 2023 | 火力与指挥控制2023，48，9： | 0 |
| 5 | 自动驾驶车辆人机接管需求模型构建方法显示文摘提出了一种基于模型系统工程(MBSE)的人机接管需求模型构建方法,旨在实现复杂功能需求管理。以人机接管功能适用场景作为用例,将驾驶员与车辆视为共同完成任务的主要元素,结合人在接管任务中的心理、感知和行为特性推导建立交互能力,按接管过程建立活动图和顺序图形逻辑,并使用系统模型语言(SysML)工具进行系统能力分配和系统模型建立。通过一个案例验证了本方法的有效性和可行性,并与传统的需求分析方法进行了对比,证明了本方法在复杂功能需求管理方面的优势。 | 万晓东 郑欢 孙涛 陈泓宇 李超 | 2023 | 汽车文摘2023，，11： | 0 |
| 6 | 基于模型的民机验证需求捕获及应用技术显示文摘针对当前验证工作顶层规划性不强、研制单位与承试单位接口不清晰、验证活动充分性不确定等问题,基于系统工程的民机研制过程,结合验证场景建模,形成以验证需求为核心的验证工作技术流程。承接产品设计需求,开展验证场景利益关联方识别、验证场景活动建模及时序建模研究;定义验证需求的内涵要素,基于模型开展验证需求捕获,形成设计需求到验证方法到验证需求的映射追溯;在此基础上,研究基于验证场景模型的验证计划及验证程序定义方法。结合某型飞机起落架系统案例,形成一套从设计需求到验证需求再到验证程序的完整技术方法。所提技术方法能够充分保证从产品设计需求到验证活动开展的完整追溯,有效促进民机研制验证过程与产品研制有机融合,为民机研制早期对验证活动的规划提供重要借鉴。 | 郭泰 钱馨 宫綦 任文明 杨栓宝 徐清刚 | 2022 | 北京航空航天大学学报2022，48，10： | 0 |
| 7 | MBSE技术及其在航天控制中的应用显示文摘对基于模型的系统工程(MBSE)的发展及其在航天控制中的应用进行了综述。首先阐述了MBSE的定义及其发展过程,介绍了MBSE的三大支柱:建模语言、建模方法和建模工具,对比了主流建模工具的特点。其次,针对MBSE在航天控制中的应用,从控制系统架构设计、控制系统可靠性与安全性分析、控制系统校核和验证三方面对现有研究进行了综述。最后,围绕多领域联合仿真、控制系统数字孪生以及控制系统智能化设计与优化对MBSE在航天控制中的应用前景进行了展望。 | 侯雄 李东方 | 2023 | 航天控制2023，41，5： | 0 |
| 8 | 基于MBSE的对流层飞艇运行概念研究显示文摘面向对流层飞艇起降过程复杂、气象适应能力弱等特殊性,传统基于文本的运行概念分析方法具有设计一致性较差、设计无法有效追溯、验证困难等局限性。基于此,提出了基于模型的系统工程的对流层飞艇运行概念设计方法。首先,建立系统用例与利益攸关者需求的关联关系,保证了设计可追溯性。然后,基于活动图、时序图与内部块图建立对流层飞艇运行场景模型,详细梳理了飞艇运行的执行逻辑与外部交互关系。通过执行状态机对飞艇运行概念模型进行验证,并进一步补充完善利益攸关者需求。最后,通过执行状态机验证了该无人飞艇系统能够满足任务飞行、飞行控制和应急情况响应等利益攸关者的需求。 | 陈志兵 邬恒 罗战虎 王建国 | 2024 | 系统工程与电子技术2024，46，3： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员