论文部分内容阅读
声象处理软件的翘楚VUEPRINTV4.0
【出 处】
：
新潮电子
【发表日期】
：
1996年12期
其他文献
我们考虑具有优先代表资格的NP完全问题——析取范式的永真性判定问题。本文从全局性构造的角度对它作了某种分析,得出如下结果:在由n个确定的命题变元所可能构成的一切析取
在任何领域，对于情况的详细分析、比较及决策而言，可靠的数据都是必要的。许多年前，瓷砖是以重量为计的，之后开始以平方米计算，而这也是现在普遍接受的方法。
本文介绍了一个基于推理方法的逻辑分析专家系统LAP(Logic Analysis expert system in Prolog)。文中详细介绍了LAP系统的功能、系统结构、逻辑电路的知识表述方法、描述语言
本文介绍集成数据库设计评价系统NITDBDA的设计思想、算法,以及特点.它支持关系和网络数据库从概念、逻辑直到物理设计的全过程,实现了关系数据库的逻辑与物理设计、网络数据
基于一个统一的测试方法,我们设计并实现了支持C软件测试的工具系统CSTT,CSTT由静态分析工具、断言检测工具、符号踪迹工具、分枝覆盖工具和断点显示工具组成,本文描述了该测试方法,介绍了CSTT的功能。
<正> 本文中的符号和术语,如未加说明,皆引自[1],给定整数M≥2,真值集合T_M={1,…,M},命题函数F_1(P_1,P_2)=P_1CP_2,F_2(P)=NP对应的真值函数分别为: