[发明专利]一种基于扩展概念图的复杂机电产品系统设计模型的校验方法在审
申请号: | 201610195792.1 | 申请日: | 2016-03-30 |
公开(公告)号: | CN105893671A | 公开(公告)日: | 2016-08-24 |
发明(设计)人: | 刘玉生;陈蕊蕊 | 申请(专利权)人: | 浙江大学 |
主分类号: | G06F17/50 | 分类号: | G06F17/50 |
代理公司: | 杭州天勤知识产权代理有限公司 33224 | 代理人: | 刘静静 |
地址: | 310027 浙*** | 国省代码: | 浙江;33 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种基于扩展概念图的机电产品系统设计模型的校验方法,包括:步骤1,利用本发明提出的基于关系的静态属性模型对静态需求进行形式化表示;步骤2,将步骤1中形式化表示的需求转换成本发明提出的扩展概念图表示;步骤3,将SysML表示的系统设计模型转换成扩展概念图表示;步骤4,在步骤2和步骤3得到的扩展概念图元素之间进行投影操作,将未实现或者错误实现的静态需求条目进行显式标注,得到校验结果。本发明中,模型校验方法与设计同步,充分考虑了复杂机电产品系统设计的特点,高效准确,在产品设计活动中具有很高的实用价值。 | ||
搜索关键词: | 一种 基于 扩展 概念 复杂 机电产品 系统 设计 模型 校验 方法 | ||
【主权项】:
一种基于扩展概念图的机电产品系统设计模型的校验方法,其特征在于,包括:步骤1,利用基于关系的静态属性模型对静态需求进行形式化表示;步骤2,将形式化表示的需求转换成扩展概念图表示;步骤3,将SysML表示的系统设计模型转换成扩展概念图表示;步骤4,在步骤2和步骤3得到的扩展概念图中的元素之间进行投影操作,将未实现或者错误实现的静态需求条目进行显式标注,得到校验结果。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于浙江大学,未经浙江大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201610195792.1/,转载请声明来源钻瓜专利网。
- 上一篇:一种智能移动电源
- 下一篇:一种异构仿真数据的统一集成可视方法