切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定
部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定
来源 :计算机科学 | 被引量 : 0次 | 上传用户:fymgxlj
【摘 要】
:
根据部分K值逻辑的完备性理论和相似关系概念,对完满对称函数集进行了相似关系分类,并确定了其中的准完备集之最小覆盖成员。
【作 者】
:
刘任任
王婷
谭昊勋
【机 构】
:
湘潭大学信息工程学院,湘潭大学能源工程学院
【出 处】
:
计算机科学
【发表日期】
:
2010年11期
【关键词】
:
多值逻辑
SHEFFER函数
最小覆盖
Multiple-valued logic
Sheffer function
Minimal covering
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据部分K值逻辑的完备性理论和相似关系概念,对完满对称函数集进行了相似关系分类,并确定了其中的准完备集之最小覆盖成员。
其他文献
无线局域网MAC机制对TCP性能的影响分析
通过分析和比较IEEE802.11无线局域网分别采用3种典型MAC机制时的TCP性能,深入研究了MAC机制对无线局域网中TCP性能的影响。仿真结果表明,由MAC机制所决定的信道冲突率、MAC帧丢
期刊
无线局域网
媒体访问控制
TCP吞吐量
TCP公平性
Wireless LAN
Media access control
TCP throughput
TC
SUPANET信控管理平台的UNI和NNI研究
单物理层用户数据传输与交换平台体系结构(SUPA)是由四川省网络通信技术重点实验室提出的、基于“面向以太网的物理帧时槽交换”(EPFTS)技术的下一代Intemet(NGI)体系结构。此前对E
期刊
下一代INTERNET
单物理层用户数据传输与交换平台体系结构
面向以太网的物理帧时槽交换
用户-网络接口/网络-网络接口
服务质量
Next generati
一种面向部分可重构FPGA的混合实时调度算法
在CPU/FPGA平台上运行的实时任务通常由软/硬件子任务组成并存在优先约束关系。提出了一种软/硬件混合实时任务调度算法。在截止期限错失时刻,通过分析系统的运行情况,推导出
期刊
实时任务调度
软硬件混合任务
优先约束
CPU/FPGA
Real-time tasks scheduling
Software/hardware hybri
一类Petri网——S^4R的死锁预防策略
S4R网作为一种特殊的Petri网子类,与S3PR网相比可以建模更为复杂的、拥有多个并行加工进程的资源分配系统。针对S4R网提出了一种综合的死锁预防策略。利用MIP检验由S4R网建模
期刊
PETRI网
柔性制造系统
S4R
死锁预防
Petri net
Flexible manufacturing system
S4R
Deadlock p
优化能耗的可变电压禁忌任务调度算法
能耗是影响异构式并行和分布式系统性能的一个重要因素,动态电压缩放(DVS)技术通过将处理器降低到不同频率来达到有效地节约能耗的目标。通常DVS技术包含任务调度及空闲时间片
期刊
调度算法
动态电压缩放
异构式系统
能耗最小化
禁忌搜索
Scheduling algorithm
Dynamic voltage scaling
Hete
正交泛函网络函数逼近理论及算法
基于正交函数的概念和特性,提出一种正交泛函网络新模型,给出了正交泛函网络学习算法。该算法是借助于正交函数性质和Lagrange乘数法做辅助函数,对泛函参数学习过程归结为求解一
期刊
正交函数
LAGRANGE乘数法
正交泛函网络
学习算法
函数逼近
Orthogonal function
Lagrange multipliers
Ort
面向多层次知识表达的贝叶斯分类模型研究
提出多模式贝叶斯分类算法,由变量值之间的条件独立和条件相关性推断因果关系,根据每个完整随机样本而非整个样本空间构造子模式。结合局部计算近似推理进行概率密度和条件概率
期刊
贝叶斯网络
多模式
后离散化策略
局部计算
Bayesian network
Multi-schema
Post-discretization strate
文本分类中用于协同的特征集分割
用于文本分类领域的协同训练往往需要特征集的一个自然独立分割,但对大多数语料而言这种分割都很难获取或不存在。给出了特征子集间在类别下条件独立性的定量描述,并在此意义下
期刊
文本分类
协同训练
特征集分割
局部自适应聚类
图分块
Text categorization
Co-training
Feature set splitti
基于多路径蚁群算法的无线传感器网络的路由
针对能量控制在无线传感器网络路由上的特殊要求,为了促使网络节点能量消耗相对均衡,将基本蚁群算法(ACS)应用于无线传感器网络的路由,提出一种基于多路径蚁群算法的无线传感器网
期刊
无线传感器网络
路由
蚁群算法
多路径
Wireless sensor network
Routing
Ant colony system
Multipa
支持QoS约束的自主单元语义服务匹配
主体服务描述和主体服务匹配是利用主体和多主体系统为用户提供各种有效和高效服务的关键。综合考虑了语义和服务质量对匹配的影响,提出了自主单元主体服务描述模型,并在此基础
期刊
自主单元
语义服务匹配
QOS约束
主体服务
自主计算
Autonomic unit
Semantic service matchmaking
QoS co
与本文相关的学术论文