测控技术中含有"X"值的验证

• 作者: 陈彤
• 来源期刊: 西安工程大学学报
• 关键词: 三值逻辑 不完全的Kripke结构 模型检验
• 年，卷（期）: 2006,（5）
• 所属期刊栏目: 机械与电子信息工程
• 页码范围: 603-606
• 页数: 4页
• 分类号: TP301
• 语种: 中文
• DOI: 10.3969/j.issn.1674-649X.2006.05.019

摘要

利用模型检验技术来验证具有"X" (未知)值的属性.给出了三值(真、假、未知)逻辑公式的模型检验算法,此算法与二值逻辑模型检验算法相比,并没有增加时间复杂度.通过实例说明三值逻辑模型检验算法的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈彤	西安工业大学光电工程学院	13	44	4.0	6.0