那曲檬骨新材料有限公司

電子發燒友App

硬聲App

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示
電子發燒友網>電子資料下載>電子論文>嵌入式技術論文>安全關鍵系統中防危策略的設計技術研究

安全關鍵系統中防危策略的設計技術研究

2009-05-14 | rar | 227 | 次下載 | 2積分

資料介紹

為保障安全關鍵系統的正常運行,防止由用戶對安全關鍵設備的誤操作引起的系統故障,該文提出了一種通用的安全關鍵系統防危體系結構和防危策略模型,并以核能發電控制系統為原型研究了一種基于有限自動機的防危策略設計技術,該技術可推廣到其他任何安全關鍵系統設備中。

In order to guarantee the validity of safety-critical system and to prevent the system failure caused by user’s improper operation, a general safety architecture and a safety policy model for safety-critical system are proposed. This paper took the nuclear power control system as the example and studied a FSM-based implementation of the safety policy, which can be used by any other safety-critical devices.

下載該資料的人也在下載 下載該資料的人還在閱讀
更多 >

評論

查看更多

下載排行

本周

  1. 1電子電路原理第七版PDF電子教材免費下載
  2. 0.00 MB  |  1490次下載  |  免費
  3. 2單片機典型實例介紹
  4. 18.19 MB  |  93次下載  |  1 積分
  5. 3S7-200PLC編程實例詳細資料
  6. 1.17 MB  |  27次下載  |  1 積分
  7. 4筆記本電腦主板的元件識別和講解說明
  8. 4.28 MB  |  18次下載  |  4 積分
  9. 5開關電源原理及各功能電路詳解
  10. 0.38 MB  |  10次下載  |  免費
  11. 6基于AT89C2051/4051單片機編程器的實驗
  12. 0.11 MB  |  4次下載  |  免費
  13. 7基于單片機和 SG3525的程控開關電源設計
  14. 0.23 MB  |  3次下載  |  免費
  15. 8基于單片機的紅外風扇遙控
  16. 0.23 MB  |  3次下載  |  免費

本月

  1. 1OrCAD10.5下載OrCAD10.5中文版軟件
  2. 0.00 MB  |  234313次下載  |  免費
  3. 2PADS 9.0 2009最新版 -下載
  4. 0.00 MB  |  66304次下載  |  免費
  5. 3protel99下載protel99軟件下載(中文版)
  6. 0.00 MB  |  51209次下載  |  免費
  7. 4LabView 8.0 專業版下載 (3CD完整版)
  8. 0.00 MB  |  51043次下載  |  免費
  9. 5555集成電路應用800例(新編版)
  10. 0.00 MB  |  33562次下載  |  免費
  11. 6接口電路圖大全
  12. 未知  |  30320次下載  |  免費
  13. 7Multisim 10下載Multisim 10 中文版
  14. 0.00 MB  |  28588次下載  |  免費
  15. 8開關電源設計實例指南
  16. 未知  |  21539次下載  |  免費

總榜

  1. 1matlab軟件下載入口
  2. 未知  |  935053次下載  |  免費
  3. 2protel99se軟件下載(可英文版轉中文版)
  4. 78.1 MB  |  537791次下載  |  免費
  5. 3MATLAB 7.1 下載 (含軟件介紹)
  6. 未知  |  420026次下載  |  免費
  7. 4OrCAD10.5下載OrCAD10.5中文版軟件
  8. 0.00 MB  |  234313次下載  |  免費
  9. 5Altium DXP2002下載入口
  10. 未知  |  233046次下載  |  免費
  11. 6電路仿真軟件multisim 10.0免費下載
  12. 340992  |  191183次下載  |  免費
  13. 7十天學會AVR單片機與C語言視頻教程 下載
  14. 158M  |  183277次下載  |  免費
  15. 8proe5.0野火版下載(中文版免費下載)
  16. 未知  |  138039次下載  |  免費
猪猪网百家乐官网软件| 凯旋门百家乐技巧| tt娱乐城官方网站| 百家乐稳赢投注| 线上百家乐官网信誉| 盛世国际投注| 网上百家乐公司| 皇家百家乐的玩法技巧和规则| 真人百家乐网站接口| 博E百百家乐官网的玩法技巧和规则 | 百家乐微笑不倒| 免费百家乐官网游戏下| 百家乐官网黑牌靴| 财神百家乐的玩法技巧和规则| 属鼠跟属虎做生意| 澳盈88投注| 百家乐筹码套装包邮| 赌百家乐的方法| G3百家乐官网的玩法技巧和规则| 什么事百家乐官网的路单| 大发888合作伙伴| 网上百家乐骗人吗| 百家乐官网群详解包杀| 百家乐官网怎样概率大| 易发国际| 伟博娱乐城| 大发888官网sscbcgsesb| 百家乐玩法官网| 水果机规律| 百家乐小钱赢钱| 七胜百家乐娱乐网| 百家乐娱乐平台开户| 赌百家乐的玩法技巧和规则| 长江百家乐的玩法技巧和规则| 澳门百家乐玩法| 百家乐试玩全讯网2| 罗盘24山度数| 百家乐官网种类| LV百家乐官网客户端LV| 百家乐只打一种牌型| 诸子百家乐的玩法技巧和规则 |