排序方式: 共有6条查询结果,搜索用时 0 毫秒
1
1.
大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充. 相似文献
2.
本文对一类初等几何定理的证明给出了一种机械化方法,利用这种方法,可计算出一个由有限个素理想组成的集合,所有属于假设部分对应的某一扩域上的理想的素理想都在这个集合中出现并且可以挑选出来.因而一个几何定理一般真确,当且仅当终结多项式属于全部的这种素理想,即对其不可约特征列的余式为零. 相似文献
3.
本文利用Groebner基,给出了一种分解零维代数簇的方法,并且讨论了这种方法在理想的准素分解以及几何定理机器证明中的应用. 相似文献
4.
5.
本文给出了有限特殊Church-RosserThue系统表现的上半群是群或正则半群的两个充要条件.并由此获得了判定该种幺半群是否群、正则半群的十分简单的算法. 相似文献
6.
本文给出了一种不使用线性变换和v.d.Waerden的指数方法的零维多项式理想准素分解的新方法 相似文献
1