多值模型相关论文
多值模型可用于对包含不确定与不一致信息的软件系统进行建模与验证.提出了采用基于分解的方式来刻画多值模型之间的逼近关系,这为......
多值公式、模型及其他有关概念可以转化为相应的二值概念,这个过程是可逆的.因而在考虑格值问题时,就不必沿着二值的思路,只需先将......
自Ｌｕｋａｓｉｅｗｉｃｚ创立多值逻辑以来，人们普遍认为经典命题演算只是二值逻辑系统。然而，这种观点实际上并不成立。本文用集合概念对逻辑学的基本概......
汽车与摩托车碰撞事故是道路交通事故的一种重要形式。由于摩托车骑乘人员身体直接暴露在外,没有车身保护,一旦发生事故,人员死伤......
