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

山东工业技术 2016年第21期 195-195页

作者：黄国辉杭州电子科技大学机械工程学院杭州310018

介绍了一种支持复杂系统设计过程的建模方法,现代工业应用中主要挑战是在设计过程中进行相关数据的整合。即使使用高层次的抽象来管理这个数据,并"作为一个整体"分析整个系统,设计师还需要保留系统所有低级别的信息,以便能够... 详细信息

介绍了一种支持复杂系统设计过程的建模方法,现代工业应用中主要挑战是在设计过程中进行相关数据的整合。即使使用高层次的抽象来管理这个数据,并"作为一个整体"分析整个系统,设计师还需要保留系统所有低级别的信息,以便能够在今后进行优化和修改。这里提出的解决方案是使用层次模型,在每一个不同层次抽象地描述系统,并安排其以这样一种方式尽可能容易地使每个层次与其他层次有关系。

关键词：计算机辅助工程系统建模语言统一建模语言面向对象

来源：评论

学校读者我要写书评

暂无评论

一种SysML需求模型质量的总体评价方法和系统

一种SysML需求模型质量的总体评价方法和系统

引用

作者：曹文浩钟迪张家旺吴笛 311202 浙江省杭州市萧山区经济技术开发区明星路371号1幢819-4

本发明涉及一种SysML需求模型质量的总体评价方法和系统，属于系统建模语言(SysML)需求模型质量评估领域。基于自然语言对需求模型进行语义分析，以解析需求模型中的语句和术语；运用模型验证技术对需求模型进行验证，以验证需求模型的... 详细信息

标准号: CN117555518A

本发明涉及一种SysML需求模型质量的总体评价方法和系统，属于系统建模语言(SysML)需求模型质量评估领域。基于自然语言对需求模型进行语义分析，以解析需求模型中的语句和术语；运用模型验证技术对需求模型进行验证，以验证需求模型的元模型层的表达方式；根据语义分析和模型验证的结果，对需求模型进行综合评估，生成质量评估报告；根据质量评估报告结果，对需求模型进行管理。本发明通过评估需求模型的质量状况，可采取相应措施提高需求模型的质量。

关键词：需求模型质量评估模型验证语义分析自然语言验证系统建模语言报告结果表达方式质量状况综合评估元模型语句解析评估管理

来源：评论

学校读者我要写书评

暂无评论

一种WSN逻辑型感知需求的验证方法

一种WSN逻辑型感知需求的验证方法

引用

作者：唐郑熠薛醒思王金水胡文瑜刘建华刘琰 350000 福建省福州市闽侯县上街镇福州地区大学新校区学园路

本发明提供了一种WSN逻辑型感知需求的验证方法，包括如下步骤：步骤S10、将WSN的传感器调度策略描述为感知格局变迁系统；步骤S20、将逻辑型感知需求描述为感知时态逻辑公式；步骤S30、将感知格局变迁系统转化为UPPAAL的系统建模语言... 详细信息

标准号: CN109286939B

本发明提供了一种WSN逻辑型感知需求的验证方法，包括如下步骤：步骤S10、将WSN的传感器调度策略描述为感知格局变迁系统；步骤S20、将逻辑型感知需求描述为感知时态逻辑公式；步骤S30、将感知格局变迁系统转化为UPPAAL的系统建模语言，将感知时态逻辑公式转化为UPPAAL的性质描述语言，并使用UPPAAL自动验证传感器调度策略是否满足感知需求。本发明的优点在于：能够表达环境对象的被感知顺序以及相互之间的关联性，能够较全面地反应出传感器调度策略的内涵以及外延，提高了感知需求验证的自动化程度。

关键词：感知调度策略传感器时态逻辑系统建模语言变迁环境对象系统转化性质描述需求描述需求验证自动验证关联性自动化验证语言转化

来源：评论

学校读者我要写书评

暂无评论

一种基于SysML元模型的模板化文档自动生成方法

一种基于SysML元模型的模板化文档自动生成方法

引用

作者：余啸风刘玉生 310058 浙江省杭州市西湖区余杭塘路866号

本发明公开了一种基于SysML元模型的模板化文档自动生成方法，包括以下步骤：基于系统建模语言SysML的标准化元模型，及其扩展包，构建实例‑属性导出结构；基于与模板节点关联的模型无关元模型路径表达式，根据模型无关路径化筛选条件... 详细信息

标准号: CN115358200A

本发明公开了一种基于SysML元模型的模板化文档自动生成方法，包括以下步骤：基于系统建模语言SysML的标准化元模型，及其扩展包，构建实例‑属性导出结构；基于与模板节点关联的模型无关元模型路径表达式，根据模型无关路径化筛选条件，从任意SysML模型中提取指定范围的模型元素；根据模型实例相关‑数据源，获取数据源映射范围内的模型元素；基于自动化文档生成模块，将模型实例应用到具有数据提取与样式化表达能力的模板上，自动生成所需文档。该发明提供给模型对外发布者一种方法，基于SysML元模型创建模板来定义如何展示模型中的数据，然后将该模板应用于任意模型实例，生成所需文档。

关键词：元模型文档模型无关模型元素自动生成文档生成模块系统建模语言路径表达式获取数据模板节点模板应用筛选条件实例应用数据提取展示模型模板化数据源样式化映射导出构建标准化自动化关联创建发布

来源：评论

学校读者我要写书评

暂无评论

基于SysML v1和SysML v2的双向模型转换方法

基于SysML v1和SysML v2的双向模型转换方法

引用

作者：余冰周琛刘子龙安保冉赵士超曾司凤吴淮任强卢记 621999 四川省绵阳市游仙区绵山路64号

本发明公开了一种基于SysML v1和SysML v2的双向模型转换方法，基于SysMLv2标准规范构建类型识别与元素类型扩展，从而在SysMLv2内核上构建SysML v1的元素类型识别系统，以满足SysMLv1模型的编辑与分析功能，并通过UML类型、Stereotype... 详细信息

标准号: CN116822195A

本发明公开了一种基于SysML v1和SysML v2的双向模型转换方法，基于SysMLv2标准规范构建类型识别与元素类型扩展，从而在SysMLv2内核上构建SysML v1的元素类型识别系统，以满足SysMLv1模型的编辑与分析功能，并通过UML类型、Stereotype类型及属性实现不同模型间的双向转换。本发明提供一种基于SysML v1和SysML v2的双向模型转换方法，可在SysML v2系统建模语言中表达SysML v1模型元素信息，并有效实现SysML v1与SysML v2之间的模型双向转换，面向对象为复杂装备系统建模领域，旨在解决SysML模型建模中的版本兼容性问题，从而更好的满足复杂装备研制中各类建模与设计人员的建模、交互、互操作和可视化等需求。

关键词：复杂装备双向模型双向转换元素类型构建建模系统建模语言版本兼容性标准规范分析功能面向对象模型建模模型元素识别系统系统建模有效实现互操作可视化转换内核

来源：评论

学校读者我要写书评

暂无评论

一种基于模型的系统工程实施方法

一种基于模型的系统工程实施方法

引用

作者：刘远恒王军董文方樊振凯 710089 陕西省西安市阎良区人民东路1号

本申请为一种基于模型的系统工程实施方法，提出的利用模型手段开展大型复杂系统研制的工程化方法，内容涵盖系统层级划分、基于模型的系统工程研发阶段、基于模型的系统工程技术过程、设计建模活动、模型虚拟集成。利用系统建模语言在... 详细信息

标准号: CN116088802A

本申请为一种基于模型的系统工程实施方法，提出的利用模型手段开展大型复杂系统研制的工程化方法，内容涵盖系统层级划分、基于模型的系统工程研发阶段、基于模型的系统工程技术过程、设计建模活动、模型虚拟集成。利用系统建模语言在需求、结构、行为、参数等多角度描述系统特征的优势，将系统工程问题转化为在概念、方案、实现三个维度分别开展相应的多视角设计建模，以模型为手段开展设计协同和集成验证，为MBSE有效实施提供实用化、可操作的方法。

关键词：系统工程建模大型复杂系统系统建模语言技术过程问题转化系统层级系统特征虚拟集成有效实施多视角工程化可操作维度研发验证协同涵盖申请

来源：评论

学校读者我要写书评

暂无评论

航空产品维修性多领域知识建模方法、系统、设备及介质

航空产品维修性多领域知识建模方法、系统、设备及介质

引用

作者：郭子玥周栋郝爱民周启迪仵宏铎王妍陈承璋宋子骋康子旭 100191 北京市海淀区学院路37号

本发明公开了一种航空产品维修性多领域知识建模方法、系统、设备及介质，涉及航空产品维修性设计领域，该方法包括：根据航空产品维修任务下的交互要素构建航空产品维修交互过程分析模型，并根据航空产品维修交互过程分析模型确定航空... 详细信息

标准号: CN115718803A

本发明公开了一种航空产品维修性多领域知识建模方法、系统、设备及介质，涉及航空产品维修性设计领域，该方法包括：根据航空产品维修任务下的交互要素构建航空产品维修交互过程分析模型，并根据航空产品维修交互过程分析模型确定航空产品维修性设计所涉及的知识表达对象；利用系统建模语言和基本形式化本体构建航空产品维修性多领域知识本体元模型；根据知识表达对象以及上元模型构建航空产品维修性设计知识本体；对上述知识本体中的子本体的概念以及概念之间的对象属性、数据属性和注释属性进行定义和赋值，并在定义和赋值后，对概念进行实例化。本发明实现以知识驱动的航空产品维修性设计全过程，提高航空产品维修性设计效率及水平。

关键词：航空产品维修性设计构建分析模型交互过程知识本体知识表达维修性元模型维修领域知识本体系统建模语言对象属性领域知识数据属性知识驱动实例化子本体建模

来源：评论

学校读者我要写书评

暂无评论

一种WSN逻辑型感知需求的验证方法

一种WSN逻辑型感知需求的验证方法

引用

作者：唐郑熠薛醒思王金水胡文瑜刘建华刘琰 350000 福建省福州市闽侯县上街镇福州地区大学新校区学园路

标准号: CN109286939A

关键词：感知调度策略传感器时态逻辑系统建模语言变迁环境对象系统转化性质描述需求描述需求验证自动验证关联性自动化验证语言转化

来源：评论

学校读者我要写书评

暂无评论

一种模型的映射方法和装置

一种模型的映射方法和装置

引用

作者：肖瑾肖志颖胡晓光周庆 100191 北京市海淀区学院路37号

本公开涉及一种模型的映射方法和装置。模型的映射方法包括：获取基于系统建模语言的系统模型的第一目标文件，获取基于机载能力环境的数据模型的第二目标文件，对第一目标文件中的模型信息和模型概要信息进行解析，得到系统目标信息，... 详细信息

标准号: CN113282276B

本公开涉及一种模型的映射方法和装置。模型的映射方法包括：获取基于系统建模语言的系统模型的第一目标文件，获取基于机载能力环境的数据模型的第二目标文件，对第一目标文件中的模型信息和模型概要信息进行解析，得到系统目标信息，对第二目标文件中的数据模型信息进行解析，得到数据目标信息，根据系统目标信息和数据目标信息，确定系统模型与数据模型的映射关系，通过对系统模型和数据模型中的数据进行分析，构建系统模型和数据模型中各参数信息之间的映射关系，便于后续根据映射关系进行系统模型与数据模型之间的自动转换。

关键词：数据模型目标文件系统模型映射关系数据目标系统目标映射解析系统建模语言方法和装置参数信息概要信息构建系统模型信息自动转换分析

来源：评论

学校读者我要写书评

暂无评论

一种模型的映射方法和装置

一种模型的映射方法和装置

引用

作者：肖瑾肖志颖胡晓光周庆 100191 北京市海淀区学院路37号

标准号: CN113282276A

关键词：数据模型目标文件系统模型映射关系数据目标系统目标映射解析系统建模语言方法和装置参数信息概要信息构建系统模型信息自动转换分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：