论文部分内容阅读
介绍了SAT问题的各种求解方法及一阶逻辑模型生成的两种方法, 在此基础上给出实现一阶逻辑模型生成器FOLMG的各个实现步骤. 并对实现的模型生成器与MACE进行了对比测试与结果分析.
一阶逻辑模型生成器的实现
【摘 要】
：
介绍了SAT问题的各种求解方法及一阶逻辑模型生成的两种方法, 在此基础上给出实现一阶逻辑模型生成器FOLMG的各个实现步骤. 并对实现的模型生成器与MACE进行了对比测试与结果
【机 构】
：
吉林大学计算机科学与技术学院长春130012
【出 处】
：
吉林大学学报：理学版
【发表日期】
：
2004年2期
【基金项目】
：
国家自然科学基金，教育部高校骨干教师资助计划，吉林省科技厅科研项目
其他文献
目的评价盐酸羟考酮注射液与舒芬太尼复合丙泊酚用于肝硬化食管胃底静脉曲张患者内镜下套扎治疗的效果及安全性。方法 48例肝硬化食管胃底静脉曲张拟行内镜下套扎治疗的患者,
设R是素环，δ是R上的广义导子，m，n，P∈N．利用广义恒等式理论，在6（m，n）或P=1的条件下，证明了对任意的x，Y∈R，[δ（x），δ（Y）]=[x^m，Y^n]^p当且仅当δ（x）=或δ（x）=x-，且m=n=p=1．
构造了用于可压缩Navier-Stokes方程的25-bit格子Boltzmann模型，它具有3个速度级和3个能级．令其局部平衡态分布函数具有质量、动量和能量守恒，同时假设平衡态分布函数满足高阶矩
通过给出交替隐式时域多分辨分析算法（ADI—MRTD）公式，用完全匹配层（PML）作为ADI—MRTD算法的吸收边界条件，将其应用到非对称共面波导（ACPW）及超宽带ACPW滤波器．计算及实验结果表明，ADI
目的探讨Pavlik吊带治疗6个月内婴幼儿发育性髋关节发育不良(DDH)的治疗效果。方法 2015年8月至2017年8月,Graf超声对广州市新生儿及小于6月婴儿进行DDH普查,检出异常髋关节(