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

被引:0
专利类型
发明
申请号
CN201510539511.5
申请日
2015-08-30
公开(公告)号
CN106484551A
公开(公告)日
2017-03-08
发明(设计)人
李淑范
申请人
申请人地址
150070 黑龙江省哈尔滨市道里区西八道街37号马迭尔大厦19层B2号
IPC主分类号
G06F1107
IPC分类号
代理机构
代理人
法律状态
公开
国省代码
引用
下载
收藏
共 50 条
[1]
一种基于时间自动机模型的安全计算机平台系统 [P]. 
李淑范 .
中国专利 :CN204990272U ,2016-01-20
[2]
一种基于云计算的安全计算机平台 [P]. 
唐涛 ;
宁鹏飞 ;
朱力 ;
王悉 ;
王洪伟 .
中国专利 :CN113157499A ,2021-07-23
[3]
一种安全计算机平台以及安全计算机平台的同步实现方法 [P]. 
周永健 ;
陈立 ;
赵东 ;
张淼 ;
李一楠 ;
岳林 ;
刘斌 ;
赵晓宇 ;
赵志鹏 ;
高占盈 ;
孟驰宇 ;
朱正网 ;
于健洁 ;
吴琼 ;
张宇 ;
刘基全 ;
王猛 ;
赵晓林 ;
穆进超 ;
谢俊红 ;
杨宇 ;
闫明 ;
周宏伟 ;
邹杪 ;
汪洋 ;
王鹏 .
中国专利 :CN118972016A ,2024-11-15
[4]
一种安全计算机平台的供电系统 [P]. 
吕志锋 ;
徐钢 .
中国专利 :CN203930679U ,2014-11-05
[5]
基于SylixOS操作系统的安全计算机平台测试系统 [P]. 
白帅 ;
赵立志 ;
贾春肖 ;
郭亮 ;
梁志国 ;
郑长宗 ;
刘冰 ;
王拓 ;
宁灵斌 ;
于健洁 ;
李士祥 ;
赵梦瑶 ;
刘逸明 ;
郭虹利 ;
任飞 ;
吴渊 ;
张宏扬 ;
宋志丹 ;
许镇 ;
郭伟 .
中国专利 :CN118939486A ,2024-11-12
[6]
一种基于云计算的3取2安全计算机平台 [P]. 
唐涛 ;
朱力 ;
李松 ;
王悉 ;
王洪伟 .
中国专利 :CN113127270A ,2021-07-16
[7]
安全计算机平台的应用程序的调度方法及安全计算机平台 [P]. 
林强 ;
张利峰 ;
聂志国 ;
刘辉 ;
李响 ;
杨瑶 .
中国专利 :CN118051311A ,2024-05-17
[8]
一种模块冗余的安全计算机平台 [P]. 
张民 ;
李义 ;
寇永砺 ;
祝君冬 .
中国专利 :CN110351174A ,2019-10-18
[9]
安全计算机平台测试系统及方法 [P]. 
熊伟 ;
刘鹏 ;
周磊 ;
熊玉姣 .
中国专利 :CN115454734A ,2022-12-09
[10]
一种基于通信的列车运行控制系统的安全计算机平台 [P]. 
马炳刚 .
中国专利 :CN204998562U ,2016-01-27