论文部分内容阅读
在4种逻辑代数中分别建立了逻辑度量,讨论了其性质,并对它们之间的关系进行了详尽地讨论;又对4个逻辑度量空间的结构及其性质进行了详细地讨论,并得到一些好的结果。
逻辑代数[0,1]上的度量结构
【摘 要】
：
在4种逻辑代数中分别建立了逻辑度量,讨论了其性质,并对它们之间的关系进行了详尽地讨论;又对4个逻辑度量空间的结构及其性质进行了详细地讨论,并得到一些好的结果。
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2008年2期
【基金项目】
：
国家自然科学基金（ the National Natural Science Foundation of China under Grant No.10471083）, 陕西师范大学重点科研基金（ No.995130）, 陕西师范大学研究生培养创新基金（ No.2007CXS017） .
其他文献
B群脑膜炎球菌C58株基因组测序证实，基因组衍生的奈瑟菌抗原2132(GNA2132)是一种推定的表面脂蛋白。这种基因在31种遗传多样性脑膜炎球菌中均被检到，并且在乳屑奈瑟球菌和淋球菌中也存在。对22种遗传多样性B群菌株进行基因测序分析，发现GNA2132片段虽是可变的，但是片段的氨基和羧基末端却高度保守。美国奥克兰研究所儿童医院Welsch以合成寡核苷酸作为引物，通过聚合酶链反应(PCR)扩增B
TSP问题是经典的NP难问题,学者们已经提出很多有效的方法,但大多都是基于静态情形的,然而现实中的TSP问题基本为动态的,动态TSP将是一个更符合实际TSP问题的研究领域。提出了
分析了区域算法中SAD在非纹理区域容易产生错误匹配的缺点,提出了一种利用邻域边界差值模板的彩色图像立体匹配新算法。该算法利用了图像的边界信息来动态选择基准点邻域范围内的边界点,以该点为中心取一像素邻域作为伴随窗,将伴随窗的颜色信息加入到评价函数中以达到减少非纹理区域错误匹配目的。该算法的实验结果通过Middlebury网站评测,证明能够得到浓密视差图的同时有效地减少了非纹理区域的错误匹配。而且该算