论文部分内容阅读
基于关系转换方法对模态逻辑进行转换，使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理，得到一种新的可用于模态逻辑的推理方法，并证明了其正确性和完备性。
关系扩展规则
【摘 要】
：
基于关系转换方法对模态逻辑进行转换，使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理，得到一种新的可用于模态逻辑的推理方法，并证明了其正确性和完备性。
【机 构】
：
吉林大学计算机科学与技术学院,吉林大学符号计算与知识工程教育部重点实验室,上海期货交易所研究发展中心,东北师范大学数学与统计学院
【出 处】
：
吉林大学学报：理学版
【发表日期】
：
2008年3期
【基金项目】
：
国家自然科学基金（批准号：60473003,60773097）和教育部博士点专项科研基金（批准号：20050183065）.
其他文献
我应该能够体会张文萃同学内心那份隐藏的落寞之情,尽管它巧妙地躲在“寻找”过程的背后。惧怕短暂的美丽只因了它会带来持久的落寞,所以才期待,才寻找。
某超超临界直流锅炉高温再热器进口管异种钢（T91/HR3C）焊接接头在试运行168h后出现开裂泄漏现象,通过宏观检验、化学成分分析、硬度测试、金相检验、断口分析等方法分析了该焊
腊月的村庄,空气中有一种气韵在流转和飘散着,看不见,摸不着,却惹得人心里快乐,这些日子,即便是晚上做梦,梦中也涟漪般荡漾着愉悦和舒心。过年是团圆,顺势将亲情、友情绾在一
以离子液体（[C6MIM]PR）作萃取剂、甲醇为分散剂，对水样中的内分泌干扰物（雌三醇（E3）、双酚A（BPA）、17理．乙炔基雌二醇（EE2）、雌二醇（E2）、雌酮（E1））进行分散液一液微萃取，比较了内分泌干扰物在
从引伸计、试验机、试样制备、试验温度要求、试验速率等5个方面对比分析了日本、中国、俄罗斯、欧盟、美国等国家和地区拉伸试验标准的差异,可知在引伸计、试样尺寸、试验速
针对人体血糖无创监测的近红外光谱分析,提出一种血液红外吸收光谱分析的新技术,通过对正常人的全血和血清与高糖全血的红外吸收光谱进行测量,应用人工神经网络BP算法,以16个特征波长处的吸收值作为网络特征参数,进行网络训练.结果表明,网络训练11次即可达到误差精度要求,误差在-0.01~0.03 mmol/L,达到了国家计量检测规程关于生化分析的要求.
采用宏观检验、化学成分分析、力学性能试验、金相检验、断口宏微观分析等方法,对某台1 000 MW核电汽轮机径向可倾瓦轴承空心螺栓的断裂原因进行了分析。结果表明：螺栓的失效
利用355nm三倍频Nd：YAG激光器为泵浦源，研究红光染料（DCJTB）在聚苯乙烯、聚甲基丙烯酸甲酯和聚N-乙烯基咔唑三种聚合物基体薄膜中放大的自发发射（ASE）特性．结果表明，DCJTB／聚N-乙烯基
制备了铬含量（质量分数）分别为0.01%,0.10%,0.13%,0.16%的高碳钢65Mn热轧钢带,利用金相显微镜检测了不同铬含量试样的显微组织及晶粒度,并测试了不同铬含量试样的力学性能。结