排序方式: 共有11条查询结果,搜索用时 117 毫秒
1.
大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充. 相似文献
2.
3.
本文对一类初等几何定理的证明给出了一种机械化方法,利用这种方法,可计算出一个由有限个素理想组成的集合,所有属于假设部分对应的某一扩域上的理想的素理想都在这个集合中出现并且可以挑选出来.因而一个几何定理一般真确,当且仅当终结多项式属于全部的这种素理想,即对其不可约特征列的余式为零. 相似文献
4.
错误诊断是在逻辑芯片中预测潜在错误点的过程.为了快速有效地诊断电路中的错误,提出一种将符号模拟技术应用到基于区域模型的错误诊断法上的新思想,具体方法是通过对要诊断的电路进行区域划分,然后利用符号模拟方法依据两种测量标准对各个区域候选者进行可疑度的等级排序,从而对电路中所含错误进行判断.可疑度越高的区域,其作为错误候选者的可能性越大.该方法利用符号模拟技术,不需要对向量空间进行穷尽的列举,因而在空间和时间上是有效的. 相似文献
5.
本文利用Groebner基,给出了一种分解零维代数簇的方法,并且讨论了这种方法在理想的准素分解以及几何定理机器证明中的应用. 相似文献
6.
7.
8.
研究设计了一种可用于中国地面数字电视广播传输标准DMB-TH的高速数字中频接收机,并给出了主要功能模块的设计方法,最后得到了令人满意的结果。 相似文献
9.
10.
本文给出了有限特殊Church-RosserThue系统表现的上半群是群或正则半群的两个充要条件.并由此获得了判定该种幺半群是否群、正则半群的十分简单的算法. 相似文献