| 时序逻辑的语法语义比较分析 |
| |
| 引用本文： | 黄羿,;马新强,;刘友缘,;罗万成.时序逻辑的语法语义比较分析[J].重庆师专学报,2014(5):116-120. |
| |
| 作者姓名： | 黄羿 ;马新强 ;刘友缘 ;罗万成 |
| |
| 作者单位： | [1]重庆文理学院机器视觉与智能信息系统重点实验室,重庆永川402160; [2]贵州大学计算机科学与技术学院,贵州贵阳550025; [3]贵州科学院,贵州贵阳550001 |
| |
| 基金项目： | 重庆市前沿与基础研究项目（CSTC2013JCYJA40053）;重庆市教委科学技术研究项目（KJ131218、KJ111217、KJ1401112）;永川区自然科学基金（重点）项目（YCSTC2013NB8001,YCSTC2013AD2002）. |
| |
| 摘 要： | 随着信息技术的快速发展，信息和通信技术（ ICT）系统被广泛使用，因而其可靠性非常重要。本文采用时序逻辑的形式化方法对ICT系统进行可靠性检测讨论，主要从3种时序逻辑的语法、语义及它们的异同进行比较分析，为ICT的可靠性检测分析提供了理论借鉴。
|
| 关 键 词： | 语法 语义 时序逻辑 可靠性 |
Comparative analysis of temporal logic syntax and semantics |
| |
| Institution: | HUANG Yi, MA Xinqiang, LIU Youyuan, LUO Wancheng ( 1. Key Laboratory of Machine Vision and Intelligent Information System, Chongqing University of Arts and Sciences, Yongchuan Chongqing 402! 60, China; 2. School of Computer Science and Technology, Guizhou University, Guiyang Guizhou 550025, China; 3. Guizhou Academy of Science, Guiyang Guizhou 55000], China) |
| |
| Abstract: | With the rapid development of information technology,information and communication technology （ ICT）systems are widely used in kinds of fields. Therefore,its reliability is of great importance. In this paper,the formal method of temporal logic is employed for reliability testing on ICT system. The syntax and semantics of three temporal logics,as well as their similarities and differences are compared and analyzed,to provide a theoretical reference for reliability testing on ICT system. |
| |
| Keywords: | syntax semantics temporal logic reliability |
| 本文献已被 维普 等数据库收录！ |
|
