• 论文 • 上一篇    下一篇

基于吴方法的多值模型检验

赵林(1), 吴尽昭(2)   

  1. (1)北京交通大学轨道交通控制与安全国家重点实验室, 北京 100044; 中国科学院成都计算机应用研究所, 成都 610041; (2)中国科学院成都计算机应用研究所, 成都 610041.
  • 收稿日期:2007-12-30 修回日期:1900-01-01 出版日期:2008-08-25 发布日期:2008-08-25

赵林;吴尽昭. 基于吴方法的多值模型检验[J]. 系统科学与数学, 2008, 28(8): 1020-1029.

ZHAO Lin;WU Jinzhao. Application of Wu's Method to Multi-Valued Model Checking[J]. Journal of Systems Science and Mathematical Sciences, 2008, 28(8): 1020-1029.

Application of Wu's Method to Multi-Valued Model Checking

ZHAO Lin(1), WU Jinzhao(2)   

  1. (1)Chengdu Institute of Computer Applications, CAS, Chengdu 610041; BeijingJiaotong University State Key Laboratory of Rail Traffic Control and Safety, Beijing 100044; (2)Chengdu Institute of Computer Applications, CAS, Chengdu 610041.
  • Received:2007-12-30 Revised:1900-01-01 Online:2008-08-25 Published:2008-08-25
大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充.
The development of most large and complex systems is necessarily involved with the treatment of uncertainty and inconsistency. Multi-valued model checking is very useful for analyzing models that contain such information. Based on the algebraic representation of multi-valued logics, we present a framework to
apply Wu's method to multi-valued model checking. This algebraic approach to multi-valued model checking can be used as a powerful supplement to the existing methods.

MR(2010)主题分类: 

()
[1] 牛晓阳, 邹家辉. 非参数局部多项式回归估计的最优子抽样算法[J]. 系统科学与数学, 2022, 42(1): 72-84.
[2] 余凯. 矩形区域热-板耦合系统的稳定性分析[J]. 系统科学与数学, 2021, 41(6): 1481-1492.
[3] 杨威黎, 陶跃钢, 王彩璐. 极大-加线性系统的单局部优化及其在任务调度中的应用[J]. 系统科学与数学, 2021, 41(6): 1507-1519.
[4] 李盼盼, 董志良, 武天娇. 国际原油期货对中国新能源股指影响: 从多项式拟合到复杂网络[J]. 系统科学与数学, 2021, 41(5): 1355-1368.
[5] 王雯, 王玥, 王文慧, 肖志华. 基于交叉Gram矩阵低秩分解的非对称线性系统的模型降阶[J]. 系统科学与数学, 2021, 41(4): 926-938.
[6] 李冬梅, 桂盈盈. 多元多项式矩阵等价的进一步结果[J]. 系统科学与数学, 2021, 41(12): 3299-3310.
[7] 戚妞妞, 唐敏, 邓国强. 一种基于多样化多项式的高概率稀疏插值算法[J]. 系统科学与数学, 2021, 41(12): 3324-3341.
[8] 赵世忠, 符红光, 秦小林, 刘静, 刘云浩. 有理数域上一类多项式可约性的一个判别法[J]. 系统科学与数学, 2021, 41(12): 3351-3362.
[9] 胡建,曹喜望. 自共轭互反多项式的推广[J]. 系统科学与数学, 2020, 40(8): 1507-1516.
[10] 陈荣军,唐国春. 转包费用有限的两机流水作业排序问题[J]. 系统科学与数学, 2019, 39(9): 1462-1470.
[11] 陈世平,刘忠.  一类超越函数多项式不等式的自动证明[J]. 系统科学与数学, 2019, 39(5): 804-822.
[12] 刘丽,徐溢. 有限域上的广义准多项式码[J]. 系统科学与数学, 2019, 39(3): 470-476.
[13] 李冬梅,粱芮,刘金旺. 二元多项式矩阵Smith型的进一步结果[J]. 系统科学与数学, 2019, 39(12): 1983-1997.
[14] 郭浩,刘湘涛,龚浩博,黄健飞. 基于泛函线性模型的基因水平关联性分析[J]. 系统科学与数学, 2019, 39(11): 1885-1894.
[15] 张晓威,闫会敏,万旭. 基于Legendre多项式的代数信号处理模型[J]. 系统科学与数学, 2018, 38(3): 261-271.
阅读次数
全文


摘要