切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
对称逻辑公式在L4*逻辑度量空间中的分布
对称逻辑公式在L4*逻辑度量空间中的分布
来源 :计算机科学 | 被引量 : 0次 | 上传用户:sykjzhb
【摘 要】
:
在四值逻辑系统L4*中引入了对称逻辑公式.运用Matla软件研究了对称逻辑公式在L4*逻辑度量空间中的计数问题,给出了3n元、3n+1元、3n+2元对称逻辑公式的个数.证明了n元对称逻辑公
【作 者】
:
惠小静
赵玛瑙
高姣
【机 构】
:
延安大学数学与计算机科学学院
【出 处】
:
计算机科学
【发表日期】
:
2015年11期
【关键词】
:
四值逻辑系统L4*
对称逻辑公式
计数问题
Four-valued logic system L4*
Symmetric logic formulas
C
【基金项目】
:
国家自然科学基金(11471007),陕西省自然科学基金(2014JM1020),陕西省高水平大学建设专项资金(2012SXTS07),延安大学研究生创新基金,陕西省大学生创新训练计划项目(1064)资助.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在四值逻辑系统L4*中引入了对称逻辑公式.运用Matla软件研究了对称逻辑公式在L4*逻辑度量空间中的计数问题,给出了3n元、3n+1元、3n+2元对称逻辑公式的个数.证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋于零.
其他文献
建立数字证据鉴识标准作业程序暨符合ISO 27037国际标准程序与实例验证--以LINE DEFSOP为例
行动装置具有高度机动性与移动性,已成为最新型的网络犯罪工具.而利用LINE犯罪的数字证据具有高度隐匿、易消失及搜证不易等特性,是一个新形态网络犯罪的研究主题.本研究参考台湾学者林宜隆教授所提出的数字证据鉴识标准作业程序(DEFSOP),在LINE云端平台环境下建构数字证据分析与鉴识云端平台DEFSOP,提出LINE数字鉴识标准作业程序架构(LINE DEFSOP),通过DEFSOP的4大阶段(原理
期刊
数字证据
鉴识程序
国际标准
逻辑再优化设计方法
本方法应用于超大规模集成电路的设计过程.逻辑分解的优化是这一过程中的重要步骤.优化后产生主题图质量的好坏,直接影响到最后的设计结果.本文针对主题图延时和面积的优化问
期刊
布尔网络
超大规模集成电路
逻辑再优化
设计方法
matching
boolean network
subject graph
covering
浅谈控制论与计算机的关系
介绍了控制论和计算机的产生和发展,论述了这两门学科密不可分的关系,以及它们对社会和人类生活产生的重大影响,最后给出了当今这两门交叉学科的一些主要研究课题和方向。
期刊
控制论
计算机
关系
软件
硬件
cybernetics
development of control theory
computer
developmen
飞机综合罗盘自动测试系统的设计
论述了飞机综合罗盘自动测试系统的设计思想及设计原理,介绍了系统的硬件和软件结构,分析了该测试系统的主要特点。
期刊
飞机
综合式罗盘
自动测试系统
设计
automatic test
aircraft combined compass
modularized design
一种城市110报警服务管理系统的设计
介绍了一种城市110报警服务管理系统。该系统采用全球定位系统(GPS)进行车辆定位,采用无线通信系统进行车辆位置信息和车辆属性信息发送。无线通信系统采用移动通信提供的短信息量服务
期刊
110报警服务管理系统
全球定位系统
移动通信
alarm service administration system
GPS
GIS
network
基于SPC的可控数据采集网络系统的研究及实现
提出了SPC与自动数据采集控制结合的设计方法,介绍了应用背景、系统结构、工作原理及特点,应用证明该系统在统计过程控制中具有很高的经济价值和社会效益.
期刊
SPC
可控数据采集网络系统
选控图
数据处理
计算机
statistical process control
6σ management
select and
基于图形语言的锅炉供热自动控制系统
阐述了目前测控领域的新技术-虚拟仪器技术在锅炉供热系统中的应用,在LabVIEW软件平台上开发了实用的基于图形语言的锅炉供热自动控制系统,提供了虚拟仪器的具体应用实例。
期刊
锅炉
供热系统
图形语言
自动控制系统
城市供热
boiler heating system
autocontrol
graphic language
声学测流技术与应用
就目前国际上广泛采用的声学多谱勒海流剖面测流方法和刚刚发展起来的声相关测流方法,结合863课题-声学多谱勒海流剖面仪和声相关海流剖面仪的开发研制工作,对现代海流测量方法做了
期刊
数字信号处理
声学多谱勒
声相关
剖面
声学测流
DSP
acoustics doppler
acoustics correlation
profiler
五自由度雕刻学习系统数据采集方法
详细给出了五自由度雕刻学习系统数据采集硬件原理和软件数据处理算法,包括系统机构原理、信号处理原理、串并口通信编程和数据处理方法。最后给出并分析了实验效果,实验表明效
期刊
数据采集
雕刻学习系统
串口通信
data collecting
carving learning system
serial port communicati
一种由AT89C2051单片微机实现的功率因数补偿装置
介绍了一种用于电力配电系统的旨在提高功率因数的智能型功率因数补偿装置,以AT89C2051单片微机为核心,自动完成电力供电线路的参数测定、运算及功率因数自动补偿控制。提出以可控硅全控
期刊
单片微机
功率因数补偿装置
电力系统
输电线路
single chip micro-computer
intelligent
power-factor comp
与本文相关的学术论文