一种基于时间自动机模型的安全计算机平台系统

被引：0

专利类型：

实用新型

申请号：

CN201520660716.4

申请日：

2015-08-30

公开(公告)号：

CN204990272U

公开(公告)日：

2016-01-20

发明(设计)人：

李淑范

申请人：

申请人地址：

150070 黑龙江省哈尔滨市道里区西八道街37号马迭尔大厦19层B2号

IPC主分类号：

G06F1107

IPC分类号：

代理机构：

代理人：

法律状态：

授权

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2016-01-20	授权	授权
2017-10-24	专利权的终止	未缴年费专利权终止 IPC(主分类):G06F 11/07 申请日:20150830 授权公告日:20160120 终止日期:20160830

共 50 条

[1]

一种基于时间自动机模型的安全计算机平台系统 [P].

李淑范 .

中国专利 :CN106484551A ,2017-03-08

[2]

一种基于云计算的安全计算机平台 [P].

唐涛 ;

宁鹏飞 ;

朱力 ;

王悉 ;

王洪伟 .

中国专利 :CN113157499A ,2021-07-23

[3]

一种安全计算机平台的供电系统 [P].

吕志锋 ;

徐钢 .

中国专利 :CN203930679U ,2014-11-05

[4]

一种安全计算机平台以及安全计算机平台的同步实现方法 [P].

周永健 ;

陈立 ;

赵东 ;

张淼 ;

李一楠 ;

岳林 ;

刘斌 ;

赵晓宇 ;

赵志鹏 ;

高占盈 ;

孟驰宇 ;

朱正网 ;

于健洁 ;

吴琼 ;

张宇 ;

刘基全 ;

王猛 ;

赵晓林 ;

穆进超 ;

谢俊红 ;

杨宇 ;

闫明 ;

周宏伟 ;

邹杪 ;

汪洋 ;

王鹏 .

中国专利 :CN118972016A ,2024-11-15

[5]

一种基于通信的列车运行控制系统的安全计算机平台 [P].

马炳刚 .

中国专利 :CN204998562U ,2016-01-27

[6]

基于SylixOS操作系统的安全计算机平台测试系统 [P].

白帅 ;

赵立志 ;

贾春肖 ;

郭亮 ;

梁志国 ;

郑长宗 ;

刘冰 ;

王拓 ;

宁灵斌 ;

于健洁 ;

李士祥 ;

赵梦瑶 ;

刘逸明 ;

郭虹利 ;

任飞 ;

吴渊 ;

张宏扬 ;

宋志丹 ;

许镇 ;

郭伟 .

中国专利 :CN118939486A ,2024-11-12

[7]

一种基于云计算的3取2安全计算机平台 [P].

唐涛 ;

朱力 ;

李松 ;

王悉 ;

王洪伟 .

中国专利 :CN113127270A ,2021-07-16

[8]

安全计算机平台的应用程序的调度方法及安全计算机平台 [P].

林强 ;

张利峰 ;

聂志国 ;

刘辉 ;

李响 ;

杨瑶 .

中国专利 :CN118051311A ,2024-05-17

[9]

一种用于轨道交通的安全计算机平台 [P].

王奇 ;

彭扶权 ;

代飞 ;

单勇腾 ;

颜光 ;

胡嗣钦 ;

易红 ;

喻文冲 ;

李晓涛 ;

贺建国 ;

吴金勇 .

中国专利 :CN205068381U ,2016-03-02

[10]

一种模块冗余的安全计算机平台 [P].

张民 ;

李义 ;

寇永砺 ;

祝君冬 .

中国专利 :CN110351174A ,2019-10-18

← 1 2 3 4 5 →