专利名称
主分类
A 农业
B 作业;运输
C 化学;冶金
D 纺织;造纸
E 固定建筑物
F 机械工程、照明、加热
G 物理
H 电学
专利下载VIP
公布日期
2023-10-24 公布专利
2023-10-20 公布专利
2023-10-17 公布专利
2023-10-13 公布专利
2023-10-10 公布专利
2023-10-03 公布专利
2023-09-29 公布专利
2023-09-26 公布专利
2023-09-22 公布专利
2023-09-19 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果17个,建议您升级VIP下载更多相关专利
  • [发明专利]一种基于形式化规范的服务总线微内核框架设计方法-CN201910067568.8有效
  • 郭建;陈志良;关钰千;辛耀中;蒲戈光 - 华东师范大学;辛耀中
  • 2019-01-24 - 2022-07-26 - G06F8/20
  • 本发明公开了一种基于形式化规范的服务总线微内核框架设计方法,首先对自然语言规范进行形式化描述,并利用霍尔逻辑抽象进程间通信原语的形式化规范;然后基于形式化描述开发设计框架;在该微内核框架中定义事件服务总线,事件服务总线直接接收通过进程间通信原语陷入内核的事件,并根据获取的数据决定是切换到网络服务代理还是本地服务处理;事件服务总线根据服务号查找对应系统服务,并调用系统服务完成相应功能;系统服务直接与硬件交互,并返回结果;普通硬件设备产生的硬件中断由事件服务总线处理,智能硬件设备由自带的控制器处理中断,并调用中断服务子例程完成服务。该框架以事件驱动服务总线为中心完成微内核的设计。
  • 一种基于形式化规范服务总线内核框架设计方法

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

400-8765-105周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top