一种基于SysML的安全关键自治系统建模方法及工具

被引：0

专利类型：

发明

申请号：

CN202110480086.2

申请日：

2021-04-30

公开(公告)号：

CN113190222B

公开(公告)日：

2024-11-08

发明(设计)人：

杨志斌李书铭鲍阳杨永强黄志球

申请人：

南京航空航天大学

申请人地址：

210016 江苏省南京市秦淮区御道街29号

IPC主分类号：

G06F8/35

IPC分类号：

G06F8/20 G06F8/10 G06F16/35 G06F40/186 G06F40/237 G06F40/242

代理机构：

南京苏高专利商标事务所(普通合伙) 32204

代理人：

颜盈静

法律状态：

授权

国省代码：

江苏省南京市

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2024-11-08	授权	授权

共 50 条

[1]

一种基于SysML的安全关键自治系统建模方法及工具 [P].

杨志斌 ;

李书铭 ;

鲍阳 ;

杨永强 ;

黄志球 .

中国专利 :CN113190222A ,2021-07-30

[2]

一种基于SysML的无人机系统建模方法、装置及可读存储介质 [P].

马建峰 ;

魏大卫 ;

孙聪 ;

习宁 ;

李亚晖 ;

王中华 ;

潘建锋 ;

于博尧 ;

张嘉伟 .

中国专利 :CN111930345A ,2020-11-13

[3]

一种基于扩展SysML的建筑智能化系统建模方法 [P].

韩德帅 ;

蔡艳平 ;

马光莲 ;

姜柯 ;

李爱华 ;

冯国彦 ;

年梦婷 .

中国专利 :CN119622857A ,2025-03-14

[4]

一种基于SysML模型的软件建模方法 [P].

黄滟鸿 ;

史建琦 ;

陈英豪 .

中国专利 :CN118819480A ,2024-10-22

[5]

基于SysML的产品设计知识建模方法及系统 [P].

吴振勇 ;

刘皓天 ;

黄振峰 ;

毛汉领 ;

李欣欣 .

中国专利 :CN108171332A ,2018-06-15

[6]

一种基于形式化验证的区间占用逻辑检查系统建模方法 [P].

于红姣 ;

张铭瑶 ;

王燕芩 ;

钟远宁 .

中国专利 :CN119720513A ,2025-03-28

[7]

一种基于CATIA Magic的形式化系统建模方法 [P].

程凌云 ;

占国熊 ;

马金贵 ;

耿涛 ;

吴少雷 ;

李恬茹 ;

张会欣 ;

王禹波 ;

王双佳 .

中国专利 :CN117473871A ,2024-01-30

[8]

一种基于CATIA Magic的形式化系统建模方法 [P].

程凌云 ;

占国熊 ;

马金贵 ;

耿涛 ;

吴少雷 ;

李恬茹 ;

张会欣 ;

王禹波 ;

王双佳 .

中国专利 :CN117473871B ,2024-05-03

[9]

基于数据驱动的脱硫系统建模方法及装置 [P].

袁照威 ;

王彦文 ;

孟磊 ;

谷小兵 ;

曹书涛 ;

杨大洲 ;

闫欢欢 ;

刘君君 ;

宁翔 ;

杜明生 .

中国专利 :CN113935236B ,2024-12-03

[10]

一种建模工具和仿真工具间数据共享的方法及系统 [P].

陈昌祥 ;

冷冰 .

中国专利 :CN101303706A ,2008-11-12

← 1 2 3 4 5 →