切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
关于部分K值逻辑Sheffer函数判定的一些结果(Ⅱ)
关于部分K值逻辑Sheffer函数判定的一些结果(Ⅱ)
来源 :湘潭大学自然科学学报 | 被引量 : 0次 | 上传用户:zhaoshuang1989
【摘 要】
:
根据部分多值逻辑的完备性理论,证明了m=2时的两类正则可离函数集必然不包含在P的极大封闭集之最小覆盖中。
【作 者】
:
肖凡
刘任任
【机 构】
:
湘潭大学工程学院
【出 处】
:
湘潭大学自然科学学报
【发表日期】
:
2002年2期
【关键词】
:
K值逻辑
SHEFFER函数
多值逻辑
完备性
Multiple-Valued logic CompletenessSheffer Functions Prec
【基金项目】
:
国家自然科学基金资助项目 ( 6 0 0 830 0 1)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据部分多值逻辑的完备性理论,证明了m=2时的两类正则可离函数集必然不包含在P的极大封闭集之最小覆盖中。
其他文献
关于满足k次扩散准则布尔函数的研究(一)
扩散准则是分组密码中布尔函数设计的基本准则.文章讨论了满足k次扩散准则布尔函数的性质,并定出了n元2次型布尔函数满足k次扩散准则的充要条件.
期刊
布尔函数
扩散准则
非线性性
BENT函数
分组密码
密码函数
严格雪崩准则函数
Boolean function propagation criterionn
湘潭大学自然科学学报2009年(第31卷)总目次
<正>~~
期刊
TCP Vegas和TCP Reno的兼容性问题及其解决办法
讨论了TCP Vegas和TCP Reno之间存在的不兼容的问题.为了研究异构网络环境下两者共享带宽的问题,本文推导了吞吐量和Jain公平指数的解析表达式.进一步,就基于显示拥塞通告(ECN)技术
期刊
拥塞避免
吞吐量
兼容性
网络仿真
Congestion avoidance Throughputs Compatibility Network simulat
meso—四(对烷氧苯基)卟啉金属配合物的合成和性能研究(Ⅰ)
合成了Cu、Co两个系列卟啉金属配合物17个,其中8个新华合物文献报道,通过元素分析、IR、UV、^4HNMR、MS对合成的化合物进行了表征,确证了其结构,总结了Cu、Co与卟啉类配体配合的IR、UV、^1HNMR判据,研究了这两个系列
期刊
金属配合物
合成
液晶性质
四(对烷氧苯基)卟啉
metallic complex of porphyrin
synthesis
spectral analy
无粘结剂C—SiC—B4C系碳/陶复合材料的制备及高温抗氧化性质的研究
用不同配比的石油生焦、B4C、SiC混合磨粉,不加粘结剂模压成型、烧结制得C-SiC-B4C系碳/陶复合材料,在700~1200 ℃温度范围内对其抗氧化性能进行了测试,结果表明复合材料抗氧
期刊
C-SiC-B4C系碳/陶复合材料
制备
抗氧化性能
粘结剂
临界抗氧化温度
模压成型
烧结
binderless C-SiC-B4C carbon/ceram
走向完美和谐的紫色
爱丽丝·沃克是当代美国黑人文学中的领军人物,她的作品深刻反映了黑人的生存状态,受到社会各界人士的关注。小说《紫色》的发表更是为她赢得了三项大奖,许多学者和评论家纷
学位
《紫色》
酷儿理论
妇女主义
和谐
时滞微分方程θ—方法的非线性稳定性
给出了求解时滞微分方程的数值方法的一个非线性稳定性概念,证明了θ-方法当且仅当θ=1时具有这种稳定性。
期刊
时滞微分方程
数值分析
稳定性
非线性
numerical analysis
delay differential equations nonlinear s
退火工艺对轧制AZ31镁合金组织和性能的影响
对AZ31镁合金轧制板材在不同温度和时间进行了退火,研究了在退火过程中组织和性能的变化规律.实验结果表明,300 ℃轧制后的 AZ31镁合金薄板材的组织中存在大量的孪晶.退火后,
期刊
镁合金
退火
再结晶
孪晶
magnesium alloy annealing reerystallizattion twinning
全数字B超诊断仪软件设计
随着医疗科技的不断进步发展,临床诊断中对检查设备的要求越来越高,同时对无损伤、低成本、操作简易的需求也日益增多,这些都使得超声检查的优势得到深刻体现。特别是计算机技术
学位
B超
检查
.NET架构
ER模型
交叉关联
用Web技术制作电子教案研究
研究采用HTML,结合动画设计,ASP和数据库编程技术制作一个比较完整,内容覆盖教学各方面的电子教案的过程及相关技术,为MIS及其它课程的多媒体教学提供一种新的思路。
期刊
HTML
WWW
超文本
WEB
电子教案
制作
多媒体教学
HTML
WWW
Web
MIS
activeX
hypertext
hyperlink
与本文相关的学术论文