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