%0 Journal Article
%T Application of Wu''s Method to Multi-Valued Model Checking<br>基于吴方法的多值模型检验
%A ZHAO Lin
%A <br>赵林
%J 系统科学与数学
%D 2008
%I 
%X 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.
%K Multi-valued model checking
%K quasi-boolean logics
%K polynomials
%K Wu's method<br>多值模型检验
%K 拟布尔逻辑
%K 多项式
%K 吴方法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=6E709DC38FA1D09A4B578DD0906875B5B44D4D294832BB8E&cid=37F46C35E03B4B86&jid=0CD45CC5E994895A7F41A783D4235EC2&aid=401590A018C756AB23A3197DA89CAA75&yid=67289AFF6305E306&vid=D3E34374A0D77D7F&iid=5D311CA918CA9A03&sid=E947FD4445DA7BA0&eid=4827968D9758D8D0&journal_id=1000-0577&journal_name=系统科学与数学&referenced_num=0&reference_num=16