论文部分内容阅读
根据部分K值逻辑的完备性理论和相似关系概念,对完满对称函数集进行了相似关系分类,并确定了其中的准完备集之最小覆盖成员。
部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定
【摘 要】
：
根据部分K值逻辑的完备性理论和相似关系概念,对完满对称函数集进行了相似关系分类,并确定了其中的准完备集之最小覆盖成员。
【机 构】
：
湘潭大学信息工程学院,湘潭大学能源工程学院
【出 处】
：
计算机科学
【发表日期】
：
2010年11期
其他文献
单物理层用户数据传输与交换平台体系结构（SUPA）是由四川省网络通信技术重点实验室提出的、基于“面向以太网的物理帧时槽交换”（EPFTS）技术的下一代Intemet（NGI）体系结构。此前对E
在CPU/FPGA平台上运行的实时任务通常由软/硬件子任务组成并存在优先约束关系。提出了一种软/硬件混合实时任务调度算法。在截止期限错失时刻,通过分析系统的运行情况,推导出
能耗是影响异构式并行和分布式系统性能的一个重要因素,动态电压缩放（DVS）技术通过将处理器降低到不同频率来达到有效地节约能耗的目标。通常DVS技术包含任务调度及空闲时间片
基于正交函数的概念和特性，提出一种正交泛函网络新模型，给出了正交泛函网络学习算法。该算法是借助于正交函数性质和Lagrange乘数法做辅助函数，对泛函参数学习过程归结为求解一
提出多模式贝叶斯分类算法，由变量值之间的条件独立和条件相关性推断因果关系，根据每个完整随机样本而非整个样本空间构造子模式。结合局部计算近似推理进行概率密度和条件概率
用于文本分类领域的协同训练往往需要特征集的一个自然独立分割，但对大多数语料而言这种分割都很难获取或不存在。给出了特征子集间在类别下条件独立性的定量描述，并在此意义下
针对能量控制在无线传感器网络路由上的特殊要求，为了促使网络节点能量消耗相对均衡，将基本蚁群算法（ACS）应用于无线传感器网络的路由，提出一种基于多路径蚁群算法的无线传感器网