按条件检索“25”条记录

已选条件:
导出
  • 排序
  • 显示
1. 基于加权下推系统的中断验证方法

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:黄滟鸿;郭欣;史建琦;何积丰;李昂;方徽星

公开时间:2017-07-11

公开号:CN106940659A

最新法律状态:审中-实质审查

2. 基于时态逻辑的微控制器运行时验证方法

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:史建琦;胡志成;黄滟鸿;李昂;方徽星

公开时间:2017-07-07

公开号:CN106933714A

最新法律状态:审中-实质审查

3. 具有传感控制功能的工业自动化系统的互联网接入装置 专利

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:史建琦;黄滟鸿;何积丰;王江涛

公开时间:2016-01-13

公开号:CN105242650A

最新法律状态:实质审查

4. 一种基于运行时验证技术的嵌入式系统软件调试方法

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:黄滟鸿;赵慧;史建琦;何积丰;李昂;方徽星

公开时间:2017-09-12

公开号:CN107153612A

最新法律状态:审中-实质审查

5. 一种可信飞行控制系统协同开发的任务分配建模方法

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:史建琦;李炬;黄滟鸿;李昂;王振辉

公开时间:2017-10-03

公开号:CN107229478A

最新法律状态:审中-公开发明

6. 带过去时态的线性时态逻辑性质的有界运行时验证方法

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:黄滟鸿;熊家文;史建琦;何积丰;李昂

公开时间:2017-10-03

公开号:CN107229568A

最新法律状态:审中-公开发明

7. 基于加权下推系统的中断验证系统

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:黄滟鸿;郭欣;史建琦;何积丰;李昂;方徽星

公开时间:2017-07-18

公开号:CN106959890A

最新法律状态:审中-实质审查

8. 一种工厂智能预警系统

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:史建琦;李志辉;黄滟鸿;王祥丰;吴苑斌

公开时间:2017-09-08

公开号:CN107146027A

最新法律状态:审中-实质审查

9. 一种工业环境实景增强式交互终端及系统

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:何积丰;毛侠;史建琦;黄滟鸿;李昂;方徽星

公开时间:2017-07-14

公开号:CN106953900A

最新法律状态:审中-实质审查

10. 一种工厂智能预警方法

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:史建琦;李志辉;黄滟鸿;王祥丰;吴苑斌

公开时间:2017-08-11

公开号:CN107038506A

最新法律状态:审中-实质审查

11. 一种线性时态逻辑规范的通用并行挖掘系统

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:何积丰;熊家文;史建琦;黄滟鸿;李昂;方徽星

公开时间:2017-07-21

公开号:CN106970791A

最新法律状态:审中-实质审查

12. 一种可信飞行控制系统协同开发的任务分配建模装置

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:史建琦;李炬;黄滟鸿;李昂;王振辉

公开时间:2017-09-05

公开号:CN107133430A

最新法律状态:审中-实质审查

13. 一种工业环境实景增强式交互方法

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:何积丰;毛侠;史建琦;黄滟鸿;李昂;方徽星

公开时间:2017-06-27

公开号:CN106899599A

最新法律状态:审中-实质审查

14. 一种基于虚拟机的程序运行方法

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:史建琦;魏汉生;黄滟鸿;李昂;王泊涵

公开时间:2017-10-03

公开号:CN107229505A

最新法律状态:审中-公开发明

15. 一种基于运行时验证技术的嵌入式系统软件调试系统

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:黄滟鸿;赵慧;史建琦;何积丰;李昂;方徽星

公开时间:2017-07-25

公开号:CN106980576A

最新法律状态:审中-实质审查

16. 一种线性时态逻辑规范的通用并行挖掘方法

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:何积丰;熊家文;史建琦;黄滟鸿;李昂;方徽星

公开时间:2017-06-23

公开号:CN106886417A

最新法律状态:审中-实质审查

17. 一种基于Group Lasso的半监督哈希图像搜索装置

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:黄滟鸿;史建琦;王祥丰;吴苑斌

公开时间:2017-09-15

公开号:CN107169137A

最新法律状态:审中-公开发明

18. 基于时态逻辑的微控制器运行时验证系统

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:史建琦;胡志成;黄滟鸿;李昂;方徽星

公开时间:2017-07-14

公开号:CN106951367A

最新法律状态:审中-实质审查

19. 一种基于协同开发系统的构件交互关系建模方法

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:史建琦;陈心宇;黄滟鸿;李昂;王泊涵

公开时间:2017-10-03

公开号:CN107229477A

最新法律状态:审中-公开发明

20. 一种接入多类型协同件的服务总线平台的工作方法

申请人:华东师范大学;上海丰蕾信息科技有限公司

发明人:史建琦;皮兴兴;黄滟鸿;李昂;王泊涵

公开时间:2017-10-03

公开号:CN107229587A

最新法律状态:审中-公开发明

共 2 页, 25 条记录

TOP