论文部分内容阅读
根据部分多值逻辑的完备性理论，定出部分四值逻辑中保2元正则可离关系，并按照准完备集之间的相似关系概念，对所定出的关系进行分类。
关于部分四值逻辑中保2元正则可离关系的分类
【摘 要】
：
根据部分多值逻辑的完备性理论，定出部分四值逻辑中保2元正则可离关系，并按照准完备集之间的相似关系概念，对所定出的关系进行分类。
【机 构】
：
中南林业科技大学理学院,湘潭大学信息工程学院
【出 处】
：
计算技术与自动化
【发表日期】
：
2006年3期
【基金项目】
：
国家自然科学基金资助项目（60083001）,湖南省自然科学基金资助项目（03JJY3099）
其他文献
根据P2P应用从最初的采用固定的端口号，发展到动态端口，再发展到伪装端口，甚至发展到现在的一些采用加密技术的具有反侦察意识的新型的P2P应用这样一个变化快的特点，再利用支持向
水稻是我国主要的粮食作物之一，并且水稻在我国的种植范围较广，不仅在南方地区广泛种植，而且在我国的北方地区水稻种植也十分广泛。为提升水稻的产量，应采用科学合理的水稻栽培技术，同时为了保障水稻的品质，在水稻种植过程中需要采用绿色防控技术来防治病虫害，提升水稻的产量和品质。 1、水稻栽培技术要点 （1）科学选种 我国幅员辽阔，南北气候状况差异较大，因此对水稻的品种要求也不相同。为了保障水稻的健康生
土豆的营养丰富,是我国比较受欢迎的作物,在我国的种植范围较广,产量比较高,虽然这种作物原产地为南美洲,但是我国的地理环境也是非常适合土豆的生长的,作为美食大国,对于土
信息协作系统必须建立在良好的信息同步技术基础上.但纵观现有的信息同步方法,它们较难适应分布式异构环境.本文以企业间的信息协作为背景,在IBM的Aglet平台基础上提出了一个
目前构件技术是软件重用中的一个重要技术,而随着Internet的不断发展,在Internet上分布着的构件将成为构件重用的重要来源.为了有效利用现有构件,在本文中,我们提出一种主要
文章阐述了西门子分散控制系统TELEPERM XP的系统结构、概念设计,并简述了该系统在邯峰发电厂的应用水平,提出了该系统设计的优缺点以及完善建议.
根据RoboCup比赛规则的改变，在足球机器人失去利用球门、立柱等地标信息定位条件情况下，提出一种新的基于全景视觉的自定位方法。该方法通过对白色标志线上点的识别，结合场地环