期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
安全计算机通信管理机制的形式化验证与实现 被引量:8
1
作者 梁靓 曹源 +2 位作者 马连川 张玉琢 李恒奎 《通信学报》 EI CSCD 北大核心 2016年第11期196-202,共7页
为提高下一代列车运行控制(简称列控)系统安全计算机的系统兼容性,首先对其结构进行简要分析,并对管理机制进行设计,建立了管理单元状态转移模型,同时以形式化验证工具对模型的正确性进行了验证。在此基础上对基于微控制单元(MCU,micro ... 为提高下一代列车运行控制(简称列控)系统安全计算机的系统兼容性,首先对其结构进行简要分析,并对管理机制进行设计,建立了管理单元状态转移模型,同时以形式化验证工具对模型的正确性进行了验证。在此基础上对基于微控制单元(MCU,micro controller unit)的管理单元进行了软硬件的设计实现与测试。验证和测试结果表明,所设计的管理机制符合设计规范的要求,管理单元能够实现预期的状态转移功能。 展开更多
关键词 列控系统 安全计算机 通信管理机制 形式化验证
下载PDF
CSCW系统的群组通信管理机制 被引量:2
2
作者 贾旸 李磊 孙济洲 《计算机应用》 CSCD 北大核心 2003年第4期50-53,共4页
文中提出了一种新的群组通信系统CSCWGroup系统 ,建立了适用于该环境中的系统架构 -客户 /服务器簇结构 ,并提供了相应的系统管理机制 ,包括消息传递管理机制和用户关系管理机制 ,使系统具有很好的容错性、可扩展性和灵活性。
关键词 CSCW系统 群组通信管理机制 稀疏分布 消息管理 用户关系管理 局域网 广域网 计算机网络
下载PDF
加强网络安全的有效尝试:利用CISCO路由器的通信管理机制构筑网络防火墙
3
作者 尹祖江 《互联网世界》 2000年第5期45-46,共2页
关键词 计算机网络安全 路由器 通信管理机制 网络防火
下载PDF
现阶段应急通信保障的主要问题及对策 被引量:18
4
作者 熊灏 林小雪 南军民 《数字通信》 2012年第1期7-11,共5页
介绍了应急通信及其应用场景,分析了现阶段我国应急通信保障工作中存在的主要问题,结合应急通信发展的新趋势,从优化组织体系、健全法律法规、完善管理机制和强化资源保障等多个维度对我国应急通信保障体系建设提出了对策建议。
关键词 应急通信 应急通信保障 应急通信法规 应急通信管理机制
下载PDF
An Overview of the Smart Grid in Great Britain 被引量:3
5
作者 Nick Jenkins Chao Long Jianzhong Wu 《Engineering》 SCIE EI 2015年第4期413-421,共9页
This paper presents an overview of the current status of the development of the smart grid in Great Britain(GB).The definition,policy and technical drivers,incentive mechanisms,technological focus,and the industry'... This paper presents an overview of the current status of the development of the smart grid in Great Britain(GB).The definition,policy and technical drivers,incentive mechanisms,technological focus,and the industry's progress in developing the smart grid are described.In particular,the Low Carbon Networks Fund and Electricity Network Innovation Competition projects,together with the rollout of smart metering,are detailed.A more observable,controllable,automated,and integrated electricity network will be supported by these investments in conjunction with smart meter installation.It is found that the focus has mainly been on distribution networks as well as on real-time flows of information and interaction between suppliers and consumers facilitated by improved information and communications technology,active power flow management,demand management,and energy storage.The learning from the GB smart grid initiatives will provide valuable guidelines for future smart grid development in GB and other countries. 展开更多
关键词 smart grid power system renewable energy Low Carbon Networks Fund smart metering
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部