论文部分内容阅读
基于密码学中的线性布尔函数概念,在经典逻辑度量空间中提出了线性逻辑公式的概念,给出了n元线性逻辑公式的构造方法.研究了反射变换下线性逻辑公式的性质,证明了所有线性逻辑公式的真度等于1/2,并研究了一类代数次数等于k的布尔函数所对应的逻辑公式的性质,证明了该类公式的真度等于1/2k.
计量逻辑学中的线性逻辑公式
【摘 要】
：
基于密码学中的线性布尔函数概念,在经典逻辑度量空间中提出了线性逻辑公式的概念,给出了n元线性逻辑公式的构造方法.研究了反射变换下线性逻辑公式的性质,证明了所有线性逻
【机 构】
：
陕西师范大学数学与信息科学学院,聊城大学数学科学学院
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2012年02期
【基金项目】
：
国家自然科学基金资助项目（10771129,61005046,11171200）.
其他文献
几年来．京山县住房公积金累计余额2．5亿元，发放贷款1亿元，为城镇居民输送“血液”解危济困，增添了住房保障新的生机，营造了和谐社会氛围。但也遇到了贷款回收执行难、执法难的问题，
到目前为止，我们似乎对Flash的跨站脚本攻击还没有什么特别有效的防范办法。其实我也早就想用框架来解决这个问题，但这个问题似乎就如某前辈所说，谁都可以用刀杀人．关键是一个自
运用Ｋｈａｒｉｔｏｎｏｖ定理给出一个期望的闭环特征区间多项式，然后将同阶线性系统的同时镇定问题化成一组线性不等式的求解，并给出求解该不等式组的线性规划法，讨论了三种解的意义和性质，算例表明
据世界旅游组织预测：“到2020年中国将成为世界第一位旅游接待大国和第四位客源输出国。”届时我国入境游客将达1，37亿人次，出境人数将超过1亿人次。面对巨大的涉外旅游市场，涉外旅游人才的需求量也急剧增长。 由于我国旅游高等教育起步较晚，旅游人才培养滞后于市场需求的问题十分突出。目前，涉外旅游人才不仅在总量上不能满足市场需求，在质量上更存在差距。旅游企业急需具有涉外旅游文化素养，外语沟通能力较强，
太阳能是一种新型环保可再生能源,硅太阳能电池是目前太阳能最常见的应用形式。相对晶体硅而言,成本较低的非晶硅薄膜太阳能电池是当前新能源领域研究的热门。非晶硅薄膜的退
ＭＰＥＧ┐２视频编码的运动估计与实现陈维强高文（哈尔滨工业大学计算机科学与工程系哈尔滨１５０００１）关键词运动图象压缩，ＭＰＥＧ－２，运动估计．１）国家８６３计划智能计算机系统主题和国家“九五”攻关计划的支持项目．收
通过引入“资源分配函数”的概念建立了以最短加工时间为目标函数的制造系统避免死锁调度的数学模型，给出了该模型在两进程情况的最优解算法和多进程情况的可行解算法。
网格是构筑在Internet上的一项新兴技术，是高性能计算机、数据源、互联网三种技术的有机组合和发展。它是利用现有互联网的架构，把地理上广泛分布的各种资源，包括计算资源、存储资源、带宽资源、软件资源、数据资源、信息资源、知识资源等整合成一个逻辑整体。随着信息技术与网络技术的发展和普及，对于教学资源共享方式提出了新的要求，要求更及时、更丰富的信息共享。为了更好地实现教学资源的共享，笔者在现有资源共享