首页> 中文期刊> 《微电子学与计算机》 >可生存性控制系统的有限状态机的设计

可生存性控制系统的有限状态机的设计

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

文章提出一种基于布尔表达式的可生存性控制系统的有限状态机的设计方法。基于系统服务、节点功能和故障元素之间的布尔函数关系,给出可生存性控制系统的有限状态机的形式化规范,并自动满足受控系统的可生存性。

著录项

来源
《微电子学与计算机》 |2006年第10期|7-9|共4页
作者
黄燕芳; 张玉清;
展开▼
作者单位

中国科学院研究生院国家计算机网络防范入侵中心;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
可生存性; 布尔表达式; 有限状态机; 控制系统;

相似文献

中文文献
外文文献
专利

1. 基于有限状态机模型的全自动烫印机控制系统设计 [J] . 闻霞 ,任雯 ,赖森财 . 工程设计学报 . 2020,第006期
2. 有限状态机模式下的弯管机控制系统设计 [J] . 夏明亮 . 工业控制计算机 . 2019,第007期
3. 基于有限状态机的煤矿风机控制系统设计 [J] . 韩芳 ,张亚 . 煤矿机电 . 2014,第003期
4. 基于有限状态机的LIN总线车灯控制系统层次优化设计 [J] . 彭晓珊 ,余明扬 . 机械设计与制造 . 2013,第001期
5. 基于有限状态机的集群式硅片传输控制系统设计 [J] . 王海升 ,穆海华 ,尹文生 . 制造业自动化 . 2013,第002期
6. 可生存性控制系统的有限状态机的设计 [C] . 黄燕芳 ,张玉清 . 2006年全国开放式分布与并行计算学术会议 . 2006
7. 基于有限状态机的游戏角色控制系统设计与实现 [A] . 石俊杰 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号