论文部分内容阅读
主要讨论中介逻辑命题演算系统MP中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾项两部分,形式简洁,为规范化研究该系统中的合式公式提供了一种工具.此外,还给出了构造中介逻辑命题演算系统MP的联结词的归约.
MP中的等值完全析取范式
【摘 要】
：
主要讨论中介逻辑命题演算系统MP中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾项两部分,形式简洁,为规范化研究该系统中的合式公式提供了一种工具.此外,还给出了构造中介逻辑命题演算系统MP的联结词的归约.
【机 构】
：
南京航空航天大学信息科学与技术学院(江苏南京)
【出 处】
：
第七届中国人工智能联合学术会议
【发表日期】
：
2003年11期
其他文献
本文在1-(2-甲氧基苯基)哌嗪的1位N上引入一个配位基因,实现了配体的Tc标记,得到Tc标记混配配合物,通过标记实验显示:采用混配方法标记含有生物活性方法标记含有生物活性基因分子,制备新的受体显像剂是可行的.
本文在参考文献的基础上,改进并完成了DTPA-b-CNVb1的合成,以Tc对其进行标记,通过标记实验显示:Tc-DTPA-b-CNVb1能够浓集于MA891肿瘤中,而注射后6小时的靶/非靶比值使得对肿瘤的显像成为可能.
本实验室用Ioctreotide、I-UdR对几种肿瘤细胞的杀伤作用进行了初步比较,以探讨其在肿瘤治疗中的应用前景.
利用电刷镀技术制得了含n-AlO/Ni颗粒的纳米复合镀层.考察了镀层的结构、镀前对n-AlO/Ni进行化学(NB)和机械化学(QM)处理以及镀液中n-AlO/Ni含量对纳米复合镀层接触疲劳性能的影响.结果表明,纳米复合镀层的表面形貌比较细腻,镀层中n-AlO/Ni分布均匀,与基质金属结合紧密.复合镀层在60N和140N载荷下均有较好的抗接触疲劳性能,其寿命达到百万次以上;在60N载荷下,当镀液中n
制备了组分xCuFeO-(1-x)PbZrTiO(其中x=0.1,0.2,0.3,1.0)的磁电复合材料.XRD实验表明,样品中只存在着CuFeO和PbZrTiO相.利用多功能摆测量了样品在低频下(0.1—6.4Hz)的内耗,同时利用HP 4194A阻抗分析仪测量了样品低频(100Hz—1MHz)的介电损耗,分析了复合物中CuFeO和PZT对内耗及介电损耗分别所作的贡献.
用传统的固相反应方法制备了CuFeO-Pb(MgNb)O复合体材料陶瓷.用X射线衍射确定了复合体材料中各相的存在.用双端振动簧法研究了样品在-200—400℃的音频内耗谱,在37.6℃发现一个很大的内耗峰P,并伴随着约9％的模量的软化,表明了相变的存在.在室温下,测量了介电常数ε′和介电损耗tan δ随频率变化的关系;同时,测量了复合体材料的介电常数和介电损耗随温度的变化关系,进一步验证P峰由立方
用浸渍法制备了氧化铝基催化剂和Ａｇ掺杂ＳｎＯ〈，２〉气敏材料，研究了不同的催化剂对Ａｇ－ＳｎＯ〈，２〉气敏材料敏感特性的影响，获得了有实用价值的双层膜气敏元件，如选择性Ｈ〈，２〉，Ｃ〈，４〉Ｈ〈，１０〉和Ｃ〈，２〉Ｈ〈，５〉ＯＨ敏感元件。
本文研究在连续热浸镀锌钝化液以铈、钴元素替代铬元素(Cr),钝化液通过辊涂和烘干处理工艺得到钝化膜.试验通过电化学方法研究钝化膜的抗腐蚀行为。SEH照片表明所获得的钝化膜较Cr钝化膜具有更加致密的表面膜层,SiO在膜层结构中阻碍了微裂纹的扩展,提高了膜层抗形变性能；电极化曲线研究表明铈、钴抑制了阳极极化腐蚀过程,盐雾试验结果表明复合钝化膜较传统钝化膜具有更好的抗蚀性能。