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

本发明公开了一种基于复杂实时嵌入式系统的软件架构设计与架构传递方法，包括如下步骤：步骤1、根据复杂实时嵌入式系统软件需求和设计约束，基于SysML及MARTE Profile进行软件架构设计建模；步骤2、定义软件架构模型元素与软件详细设计模型元素的传递规则；步骤3、基于传递规则实现软件架构模型到软件详细设计模型的传递。本发明可对复杂实时嵌入式系统软件架构进行合理建模以支持系统实时性及相关性能的分析，在确定了系统软件架构满足系统性能要求之后，将系统的软件架构模型自动转换为软件详细设计模型的框架，实现了基于模型的复杂实时嵌入式系统开发过程中系统架构模型与系统详细设计模型之间传递的高效性，一致性。

关键词：设计模型传递嵌入式系统软件实时嵌入式系统软件架构设计架构模型建模架构系统架构模型系统软件架构系统性能要求定义软件开发过程软件架构设计约束实现软件支持系统自动转换高效性实时性分析

来源：评论

学校读者我要写书评

暂无评论

一种复杂实时嵌入式系统的软件架构设计与架构传递方法

一种复杂实时嵌入式系统的软件架构设计与架构传递方法

引用

作者：何雄伟季洪新李智群刘王军 100083 北京市海淀区知春路9号坤讯大厦9-10层

标准号: CN115758789B

来源：评论

学校读者我要写书评

暂无评论

一种基于MBSE的一体化飞行器设计方法与系统

一种基于MBSE的一体化飞行器设计方法与系统

引用

作者：魏承张玉彤岳程斐曹喜滨 150001 黑龙江省哈尔滨市南岗区西大直街92号

本发明提出了一种基于MBSE的一体化飞行器设计方法及系统，首先进行一体化飞行器任务需求分析，然后构建运载段与入轨段的逻辑架构，构建不同子系统之间的流关系；细化子系统结构、参数与行为，完善各物理组件之间流关系；构建备选物理... 详细信息

标准号: CN115659516A

本发明提出了一种基于MBSE的一体化飞行器设计方法及系统，首先进行一体化飞行器任务需求分析，然后构建运载段与入轨段的逻辑架构，构建不同子系统之间的流关系；细化子系统结构、参数与行为，完善各物理组件之间流关系；构建备选物理原件型谱库，集成领域模型至系统架构模型，开展动态仿真以验证系统运行指标，对设计方案中的功能、结构模型以及参数进行调整，提高系统性能，最后冻结系统设计与选型方案；本发明在满足可靠性的前提下合理减小设备冗余以提高飞行器的载质比与荷载比，同时构建各子系统的组成、参数与复杂状态下的行为，便于设计与优化人员对系统实施定量与定性评估、统计分析、需求变更与管理、领域设计，提高总体设计能力。

关键词：构建飞行器系统架构模型飞行器设计子系统结构动态仿真冻结系统复杂状态集成领域结构模型领域设计逻辑架构任务需求设备冗余物理组件系统实施系统性能需求变更验证系统运行指标总体设计一体化统计分析荷载备选减小入轨细化选型载质运载定性评估优化分析管理

来源：评论

学校读者我要写书评

暂无评论

一种PNT可信性系统设计与度量方法

一种PNT可信性系统设计与度量方法

引用

作者：郭笑尘宋佳慧吴海涛李亚平 100190 北京市海淀区北四环西路19号

本发明公开了一种PNT可信性系统设计与度量方法，包括可信性系统架构模型设计及与之对应的可信性度量方法；所述可信性系统架构模型包括系统立体架构模型和工程架构模型，所述系统立体架构模型由立方体因子和外轮廓因子组成，所述立方... 详细信息

标准号: CN116600246A

本发明公开了一种PNT可信性系统设计与度量方法，包括可信性系统架构模型设计及与之对应的可信性度量方法；所述可信性系统架构模型包括系统立体架构模型和工程架构模型，所述系统立体架构模型由立方体因子和外轮廓因子组成，所述立方体因子由层级因子、导航源因子和影响因子三个维度组成，所述外轮廓因子涵盖了立方体因子，具体来说，是指通过可追溯性保证可信性技术；所述工程架构模型体现了PNT可信性系统下异构导航源之间的协同工作，以及各个导航源及相关技术在可信性系统中的贡献，最后提出一套与所述可信性系统架构模型对应的可信性度量方法。本发明的可追溯性系统，以去中心化为核心，可以帮助确定导致系统不可信的原因。

关键词：可信性系统架构模型可信性度量架构模型可追溯性立体架构外轮廓维度组成系统设计影响因子层级度量异构可信协同涵盖帮助保证

来源：评论

学校读者我要写书评

暂无评论

一种无人自主系统集群本体建模与仿真方法

一种无人自主系统集群本体建模与仿真方法

引用

作者：常创业高星海王卓奇郭志奇游令非刘清漪王增崟 100191 北京市海淀区学院路37号

本发明公开了一种无人自主系统集群本体建模与仿真方法，属于无人自主系统集群技术领域。本发明方法从宏观、中观和微观三个层面建立无人集群本体框架，建立宏观的集群任务、中观的集群行为和个体行为、微观的原子动作之间的映射关系；... 详细信息

标准号: CN118363392A

本发明公开了一种无人自主系统集群本体建模与仿真方法，属于无人自主系统集群技术领域。本发明方法从宏观、中观和微观三个层面建立无人集群本体框架，建立宏观的集群任务、中观的集群行为和个体行为、微观的原子动作之间的映射关系；采用使命工程方法将集群任务分解为集群行为；使用模块化开放系统方法将个体行为分解为无人机系统原子动作并分配到运载器平台、载荷、通信、控制单元、支持设备和人因元素，定义无人机系统内部的结构及其交互。本发明方法为无人集群本体建模和仿真形成了统一的标准框架与规范，通用性强，支持不同运行概念下无人集群和无人系统架构模型的快速生成和灵活重用，提高了无人集群建模和仿真的效率和质量。

关键词：集群建模无人机系统原子动作自主系统微观系统架构模型标准框架集群技术开放系统快速生成任务分解通用性强行为分解映射关系支持设备模块化运载器宏观重用灵活分配通信统一

来源：评论

学校读者我要写书评

暂无评论

一种基于SysML模块图的AADL模型构造方法

一种基于SysML模块图的AADL模型构造方法

引用

作者：刘畅王金岩李奎符佳盼王科翔 200233 上海市徐汇区桂平路432号

本发明公开了一种基于SysML模块图的AADL模型构造方法，包括以下步骤：步骤一，基于SysML模块图进行模块分类；步骤二，基于SysML模块图构建ADDL组件类型声明；步骤三，基于SysML模块图构建AADL组件类型实现；步骤四，基于SysML状态机... 详细信息

标准号: CN110502211B

本发明公开了一种基于SysML模块图的AADL模型构造方法，包括以下步骤：步骤一，基于SysML模块图进行模块分类；步骤二，基于SysML模块图构建ADDL组件类型声明；步骤三，基于SysML模块图构建AADL组件类型实现；步骤四，基于SysML状态机图构建AADL组件的状态；步骤五，基于SysML状态机图构建AADL组件的状态转换。通过本发明，用户可以实现基于SysML模块图的AADL模型的自动构造，可以在维护嵌入式系统架构模型、子系统模型关联关系的基础上，兼顾系统整体模型与子系统模型的非功能属性，完成嵌入式系统架构从软件到硬件层次的建模与验证，还可以在软件开发的早期阶段对系统架构模型的可行性和正确性进行验证，尽早的发现系统架构方面的问题，降低系统开发的成本，实现系统整体的高可靠目标。

关键词：模块图构建嵌入式系统架构子系统模型系统整体状态机图组件类型验证系统架构模型非功能属性发现系统关联关系降低系统软件开发状态转换自动构造高可靠建模架构分类声明开发维护

来源：评论

学校读者我要写书评

暂无评论

一种服务化系统架构设计方法

一种服务化系统架构设计方法

引用

作者：韩旭谢锋解兴铭陈名熙赵文浩张于可心任洁 610091 四川省成都市青羊区日月大道1610号成都飞机设计研究所计划发展部

本发明属于机载软件架构技术领域，提供了一种服务化系统架构设计方法，首先基于主干的细化：先形成系统的顶层功能主干，然后基于主干进行逻辑细化，逐渐生长出完整的系统架构模型雏形；具体将待设计的系统分解成若干顶层DOT，按照逻... 详细信息

标准号: CN117992015A

本发明属于机载软件架构技术领域，提供了一种服务化系统架构设计方法，首先基于主干的细化：先形成系统的顶层功能主干，然后基于主干进行逻辑细化，逐渐生长出完整的系统架构模型雏形；具体将待设计的系统分解成若干顶层DOT，按照逻辑顺序分解每个顶层DOT，得到具备先后逻辑顺序关系的子DOT；再对分解出的DOT进行内聚操作，将UML活动元素放入UML泳道元素；最后基于模型的固化：根据服务模型的规范补充上一阶段形成的模型元素雏形，形成最终的服务化系统架构模型。本发明完备了面向过程的前向分析过程，便于后续面向对象的功能内聚，通过横向顺序分解和纵向关联扩展的方法不断细化功能对象，提升了功能对象的逻辑正确性和完整性。

关键词：顶层细化主干服务化系统功能对象分解内聚逻辑顺序关系系统架构模型逻辑正确性分析过程服务模型横向顺序活动元素机载软件架构技术架构模型架构设计面向对象模型元素系统分解形成系统放入前向泳道固化关联生长补充

来源：评论

学校读者我要写书评

暂无评论

一种基于模型的系统功能/逻辑、时序联合设计仿真方法

一种基于模型的系统功能/逻辑、时序联合设计仿真方法

引用

作者：郑菱莎王涛陈银超万天才闫泓宇赵承韬 610091 四川省成都市青羊区日月大道1610号成都飞机设计研究所计划发展部

本发明属于系统仿真建模技术领域，特别涉及一种基于模型的系统功能/逻辑、时序联合设计仿真方法，包括以下步骤：步骤一：搭建系统架构框架和系统内部成品软硬件架构；步骤二：配置时间动态属性信息；步骤三：建立系统功能逻辑模块模... 详细信息

标准号: CN118093360A

本发明属于系统仿真建模技术领域，特别涉及一种基于模型的系统功能/逻辑、时序联合设计仿真方法，包括以下步骤：步骤一：搭建系统架构框架和系统内部成品软硬件架构；步骤二：配置时间动态属性信息；步骤三：建立系统功能逻辑模块模型，并将封装好的系统功能逻辑模块绑定/加载至基于模型的系统架构模型中；步骤四：基于系统内部接口定义生成参数/接口定义，生成数据访问规则文件；步骤五：设计调度引擎；步骤六：编写系统功能逻辑和系统时序测试用例并实施测试；步骤七：完成系统功能/逻辑、时序联合设计仿真和评估，并进行结果分析。

关键词：时序设计仿真系统功能架构功能逻辑模块系统架构模型系统内部接口测试编写系统搭建系统调度引擎定义生成访问规则功能逻辑建立系统建模技术结果分析逻辑模块生成数据时间动态属性信息完成系统系统仿真系统时序软硬件绑定加载封装联合评估配置

来源：评论

学校读者我要写书评

暂无评论

功能逻辑动态执行方法

功能逻辑动态执行方法

引用

作者：余洋陈超余翔许梦宇 210013 江苏省南京市鼓楼区古平岗4号院53号楼7楼

本发明涉及一种功能逻辑动态执行方法，属于智能设计的技术领域，包括以下步骤：MSM图标准性预校验，转换指令的发送，状态高亮与ES图展示，多时间条件下的资源竞争，C代码的执行，Matlab代码编辑与调试，代码导出仿真执行。本发明将系... 详细信息

标准号: CN111737888A

本发明涉及一种功能逻辑动态执行方法，属于智能设计的技术领域，包括以下步骤：MSM图标准性预校验，转换指令的发送，状态高亮与ES图展示，多时间条件下的资源竞争，C代码的执行，Matlab代码编辑与调试，代码导出仿真执行。本发明将系统各部分的Matlab仿真程序嵌入系统架构模型中，基于系统架构模型的模式状态机进行动态执行，保证了系统仿真内容与系统架构设计内容的一致性，并使得系统方案设计与仿真紧密集成在一起，有效提高了系统设计质量。

关键词：动态执行系统方案设计系统架构模型系统架构设计仿真执行功能逻辑架构模型模式状态嵌入系统时间条件系统仿真系统设计智能设计转换指令资源竞争校验标准性导出高亮调试发送展示保证

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：