论文部分内容阅读
提出了α-反向FMP、多重α-反向FMP,以及α-反向FMT和多重α-反向FMT问题。通过在F(S)中引入一个预序,在L_n~*系统中,给出了上述问题的解。并说明了这些解从形式上和α-反向三I算法的结果一致,从而在逻辑系统L_n~*中建立了反向三I算法的形式化推理机制。
Ln^＊系统中α-反向FMP和α-反向FMT问题的解
【摘 要】
：
提出了α-反向FMP、多重α-反向FMP,以及α-反向FMT和多重α-反向FMT问题。通过在F(S)中引入一个预序,在L_n~*系统中,给出了上述问题的解。并说明了这些解从形式上和α-反向三I算法的结果一致,从而在逻辑系统L_n~*中建立了反向三I算法的形式化推理机制。
【机 构】
：
集美大学诚毅学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2016年06期
其他文献
本文以波特的五种竞争力量模型为分析工具,力图解析当前我国银行业的竞争格局,认为国有商业银行面临着外资银行稳步进入、股份制中小银行和城市商业银行迅速壮大、直接融资资
比较基因组研究（将完整的人类基因组与包括黑猩猩、小鼠和狗在内的29种胎生哺乳动物的基因组进行对比）识别出4．2％的人类基因组是受演化选择限制的，并且为这些受限制的基因中大约60
目的评价厄贝沙坦对原发性高血压的疗效及对肾功能的保护作用。方法60例确诊为高血压病患者服用国产厄贝沙坦150mg，每天1次，每周随访1次，若降压效果不理想，则加量至每天300mg，治疗
原发性肝癌是我国和亚非地区的常见癌症，且以中壮年男性发病率较高。随着医学科学的发展，人类对健康认识的提高，肝癌的早期发现病例日渐增加，手术切除目前仍是治疗原发性肝癌的首
现有基于身份的多代理签名方案采用计算量大的双线性对运算,总体计算开销较高。基于椭圆曲线上的加法循环群,提出一种不使用对运算的基于身份多代理签名方案,其中,用户私钥产
给出目标随机信息系统的广义决策分布函数,分别引入等价关系和优势-等价关系下的两种不协调目标随机信息系统中基于对象的μ-约简的概念,得到了μ-约简的一些性质和μ-约简的
光照变化易使人脸图像的灰度分布不均,造成局部对比度差别较大,会引起人脸识别正确率下降。为此在同态滤波的基础上,改变滤波函数,提出了高斯滤波的人脸识别方法,接着对滤波后的图像直方图均衡化,来增加图像的灰度动态范围,然后对人脸图像提取Gabor小波特征,最后利用最近邻法识别人脸图像。在光照变换明显的Yale B和CMU PIE数据库识别效果最好,降低了人脸图像的特征维数,缩短了特征提取时间,有效地提高
提出基于改进的粒子群优化支持向量机方法（PSO-ISVM）的测控软件缺陷预测方法。通过引入代价惩罚系数,定义粒子群优化算法中的适应度函数,利用最小化适应度函数值作为优化目标,