期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
A hazard analysis via an improved timed colored petri net with time–space coupling safety constraint 被引量:3
1
作者 Li Zelin Wang Shihai +1 位作者 Zhao Tingdi Liu Bin 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2016年第4期1027-1041,共15页
Petri nets are graphical and mathematical tools that are applicable to many systems for modeling, simulation, and analysis. With the emergence of the concept of partitioning in time and space domains proposed in avion... Petri nets are graphical and mathematical tools that are applicable to many systems for modeling, simulation, and analysis. With the emergence of the concept of partitioning in time and space domains proposed in avionics application standard software interface (ARINC 653), it has become difficult to analyze time–space coupling hazards resulting from resource partitioning using classical or advanced Petri nets. In this paper, we propose a time–space coupling safety constraint and an improved timed colored Petri net with imposed time–space coupling safety constraints (TCCP-NET) to fill this requirement gap. Time–space coupling hazard analysis is conducted in three steps: specification modeling, simulation execution, and results analysis. A TCCP-NET is employed to model and analyze integrated modular avionics (IMA), a real-time, safety-critical system. The analysis results are used to verify whether there exist time–space coupling hazards at runtime. The method we propose demonstrates superior modeling of safety-critical real-time systems as it can specify resource allocations in both time and space domains. TCCP-NETs can effectively detect underlying time–space coupling hazards. © 2016 Chinese Society of Aeronautics and Astronautics 展开更多
关键词 Application programs AVIONICS Hazards interactive computer systems Petri nets Resource allocation Safety engineering
原文传递
IDSS: Designing to Extend the Cognitive Limits 被引量:1
2
作者 Feng, Shan 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 1993年第1期33-44,共12页
The paper presents the conceptual and operational basis of the creation of IDSS based on our recent research experience. In this paper, an intelligent decision support system, IDSS is defined as: any interactive syste... The paper presents the conceptual and operational basis of the creation of IDSS based on our recent research experience. In this paper, an intelligent decision support system, IDSS is defined as: any interactive system that is specially designed to improve the decision making of its user by extending the user's cognitive decision making abilities. As a result, this view of man-machine joint cognitive system stresses the need to use computational technology to aid the user in the decision making process. And the human's role is to achieve total systems's objectives. The paper outlines the designing procedure in successive steps. First, the decision maker's cognitive needs for decision support are identified. Second, the computationally realizable support functions are defined that could be provided by IDSS. Then, the specific techniques that would best fill the decision needs are discussed. And finally, for system implementation the modern computational technology infrastructure is emphasized. 展开更多
关键词 Artificial intelligence Cognitive systems Computational methods computer architecture Decision theory Information science Information theory interactive computer systems Knowledge based systems Man machine systems systems engineering
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部