论文部分内容阅读
在经典逻辑度量空间中定义了加法和数乘运算,利用公式的距离引入了经典逻辑度量空间中的范数的概念,从而证明了经典逻辑度量空间作成线性次范整空间。引入了次范整线性子空间的概念。证明了n元逻辑公式之集中的对称逻辑公式子集构成了次范整线性子空间,并讨论了该子空间的简单性质。
对称逻辑度量次范整子空间及其性质
【摘 要】
：
在经典逻辑度量空间中定义了加法和数乘运算,利用公式的距离引入了经典逻辑度量空间中的范数的概念,从而证明了经典逻辑度量空间作成线性次范整空间。引入了次范整线性子空间
【机 构】
：
西安理工大学机械与精密仪器工程学院,西安邮电大学通信与信息工程学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2013年5期
【基金项目】
：
陕西省基金项目（No.102-00X903）
其他文献
本文采用化学共沉淀及机械混合法制备了微晶ＰＳＺ材料。结果表明，粉体中各组分均匀性对微晶ＰＳＺ材料的力学性能影响显著，化学共沉淀法优于机械混合法。
本文介绍了福建省永安市洪田镇集体林经营体制改革的背景、措施与所取得的成果 ,并总结了成功的经验 ,旨在为进一步深化集体林经济体制改革提供借鉴。
This paper introduce
分布式MIMO系统结合了MIMO技术和分布式天线系统两者的特点，具有高容量、大覆盖范围、低损耗的优势，在未来4G通信中具有很好的应用前景。基于包含了路径损耗、阴影衰落和相关小
本文对周期式搅拌球磨机在α－氧化铝超细粉碎中的的应用进行实验了研究，提出了适宜的工艺参数，并同其它常用研磨设备进行了对比，结果表明，国产周期式搅拌球磨机用就生产α－氧化铝超
采用反应结合技术研究了Ａｌ２Ｏ３－ＺｒＯ２－ＳｉＣ复合陶瓷的制备工艺与材料性能，比较孙同的原料来源对致密化行为及材料性能的影响，含细Ａｌ２Ｏ３和粗ＳｉＣ的配方获得了最快的致密化速率及最高的烧结密度，该材料经１５５０℃烧
介绍了MATLAB通信工具箱,针对通信系统仿真的特点,结合锁相环技术,给出了频率合成器的系统仿真模型,同时给出了系统仿真中的关键参数及设置参数的原理,结合仿真结果,具体讲述
导线或金属导体接触有电阻，电势存在，通常称之为接触电阻，接触电热。本文就两导线接触后准确测量接触电阻随外加拉力及电压的变化的规律进行实验，实验结果表明：接触电阻随外加拉力
操作系统引导程序—BootLoader是嵌入式系统软件开发的第一个环节，在整个开发过程中占有极重要的地位。本文详细论述了BootLoader的运行机理，并以在三星公司的S3CA4BOX处理器上