【摘 要】
:
在讨论且代数的一些性质的基础上,得到系统Ht中的三I算法的另一种证明。指出多值逻辑系统Ht中的三I算法是P还原算法,并解决了Ht中的FMT问题。在多值逻辑系统Ht中,若令t=1,则得到
【机 构】
:
西安文理学院数学系,陕西师范大学数学与信息科学学院
【基金项目】
:
国家自然科学基金(the National Natural Science Foundation of China under Grant No.10471083),西安文理学院科研资助项目(No.KY200535).
论文部分内容阅读
在讨论且代数的一些性质的基础上,得到系统Ht中的三I算法的另一种证明。指出多值逻辑系统Ht中的三I算法是P还原算法,并解决了Ht中的FMT问题。在多值逻辑系统Ht中,若令t=1,则得到多值逻辑系统W。所以多值逻辑系统Ht中的结论在t=1的情况下就是多值逻辑系统W中的结论。
其他文献
按照GB 50038—2005《人民防空地下室设计规范》[1]的计算和构造规定,建立了人防荷载作用下五种地下车库楼盖结构计算模型,统计了钢筋、混凝土、模板用量,并分析了各类楼盖材
目的探讨急诊内科老年急性腹痛患者的临床诊治。方法选取该院2009年1月-2012年12月收治的600例急性腹痛患者,其中老年患者240例,年龄>60岁,设定为研究组,其余360例为中青年,
基于支持向量回归理论和小波支持向量核函数,提出了一种新的SAR滤波方法。首先对支持向量回归方法做了分析,通过对复杂信号进行逼近实验,验证了其应用于图像滤波的可行性和合理性。之后将SAR图像看成是一个二维连续信号,将对复杂信号具有更好逼近能力的小波支持向量核函数用于SAR图像滤波,小波核函数由Morlet小波构建。实验结果表明本文提出的方法能很好的降低SAR图像噪声,而且能比传统方法更好的保持边缘。
步态运动中包含人体形状信息和运动信息,目前步态识别算法多数基于单一信息,不能取得满意的识别结果。利用特征融合的思想,提出一种融合人体轮廓特征和下肢角度特征的步态识别算法。采用傅立叶描述子描述人体轮廓特征;区别于基于模型的运动特征提取方法,依据人体解剖学的知识获取下肢角度,计算代价较小;采用加权融合规则实现两类特征的融合。仿真结果表明,本算法的性能较基于单个特征的算法有明显的提高。
采用一种基于边缘特征的图像配准方法,首先通过小波变换来提取图像的边缘,然后将人工选择的边缘点代入仿射变换模型,得到配准参数(每选择一组不同的边缘点,就会得到不同的配准参数)。在不同的配准参数条件下,计算两幅图像的交互方差。取交互方差最小时所对应的配准参数为最终的配准参数。最后再利用仿射变换模型对待配准图像进行平移、旋转、缩放得到最终的配准图像。
目的探讨中药饮片中存在的质量安全问题及处理策略。方法回顾性分析我院2005年1月—2012年12月192批次中药饮片的验收和退货记录,分析中药饮片存在质量安全问题,并且提出有针
根据模型上各相邻三角面的法向,采用广度优先策略将模型划分。在划分中采用正向投影映射将各模型块参数化并对其进行评价,对于具有较大扭曲的模型块,将其再次细分直到扭曲值满足给定的阀值。对于各模型块的接缝采用Alpha-Blend技术将纹理拼接成一个连续的整体。该算法适用于任意曲面和多种纹理。
中共中央、国务院关于卫生改革与发展决定的文件中,明确提出"健康教育是公民素质教育的重要内容,要十分重视健康教育,提高广大人民群众的健康意识和自我保健能力。"医院门诊是
在含Cu、Zn分别为0.11mol/L、0.49mol/L的2mol/L碳铵—2mol/L氨的黄铜熔炼渣的浸出液中,加1mol/LNaOH,可使Cu以Cu(OH)_2形态优先沉淀下来,Zn以Zn(OH)_4~2形态留在溶液中,加10