论文部分内容阅读
根据部分多值逻辑的完备性理论,对两类准完备集——单纯可离函数集和完满对称函数集进行研究,给出了单纯可离和完满对称关系的函数的计数公式。
部分多值逻辑中单纯可离和完满对称关系的计数
【摘 要】
：
根据部分多值逻辑的完备性理论,对两类准完备集——单纯可离函数集和完满对称函数集进行研究,给出了单纯可离和完满对称关系的函数的计数公式。
【机 构】
：
湘潭大学信息工程学院,湘潭大学智能计算与信息处理教育部重点实验室
【出 处】
：
计算机科学
【发表日期】
：
2012年10期
【基金项目】
：
国家自然科学基金项目（60673193）, 湖南省科技厅计划项目（2011FJ6038）, 湖南省教育厅科学基金项目（11C1216）, 湘潭大学自然科学基金项目（10XZX19）资助
其他文献
针对事件驱动型无线传感器网络对数据传输的强实时性和高可靠性的要求,将统计获得的节点接入效率和负载队列长度等MAC层状态信息作为路由度量参数。考虑到蚂蚁网络算法在重负
覆盖问题是无线传感器网络中的基本问题之一。着重考虑无线传感器网络在随机部署节点情况下的多重覆盖问题,提出一种应用鲁洛三角形的k度覆盖算法RTCA（Reuleaux triangle-base
针对目前道路运输安全管理决策缺乏针对性和有效性的问题,提出基于车载GPS监控数据,将多维分析技术应用于营运车辆GPS监控数据的分析,从而获得车辆的行驶规律,以加强安全管理。在对现有基础和条件进行分析的基础上,提出了道路运输安全管理MDAS总体解决方案,包括系统的全局网络拓扑结构和五层体系结构。设计了基于DTS和触发器的数据抽取器,分别利用概化和最近点估计地图匹配算法对非空间和空间数据进行预处理,设
针对不同知识的组合应用问题,提出一种应用知识图模型的构建和可视化表示方法。给出交互接口、本体操作、知识类型、知识规约的形式化描述;并针对可计算机程序化的知识,建立了一种描述框架,介绍了其构建方法、基本模型、可视化绘制流程。该应用知识图采用组件、WebService方式建立,面向主题应用服务,解决了业务流程中的多种知识融合应用问题,提高了系统服务搭建的效率,并具有良好的可扩展性、灵活性和实用性。
通过对现有的无线网络安全认证机制的研究,以及这些机制在无线Mesh网络适应性方面的分析,针对Mesh网络分布式特点以及无线Mesh路由器无线连接能力有限的特殊性,提出了一种基
随着人机交互应用的日益广泛,手语识别技术得到了很大的重视与发展。基于对当前手语识别技术的研究,针对手语模板库存在的缺点及中国手语的特点,对手语词库进行设计,并通过建
流量预测是实现网络管理与控制的重要前提。通过介绍网络流量特征,描述了网络流量预测基础理论,将神经网络与小波变换相结合,设计出一种紧致型小波神经网络流量预测算法,采用
在备份和归档等存储应用中产生的重复数据在存储空间和能耗上造成的浪费问题日益突出,如何删除重复数据已成为当前存储领域中的研究热点。CDC(Content-Defined Chunking)是一种适用于多种应用环境的重复数据删除算法,但缺乏针对具体应用环境的优化。通过对存储环境进行感知和分析,为CDC算法提出了两个参数选择约束条件:(1)根据存储设备中的数据块存储方式来选择平均分块大小等参数;(2)根