论文部分内容阅读
利用赋值集的随机化方法，在Lukasiewicz逻辑中提出了公式的随机真度，证明了所有公式的随机真度之集在[0，1]中没有孤立点；给出了两公式间的DL-相似度与伪距离的概念，并建立了DL-逻辑度量空间，证明了此空间没有孤立点。
Lukasiewicz逻辑系统中的随机化研究
【摘 要】
：
利用赋值集的随机化方法，在Lukasiewicz逻辑中提出了公式的随机真度，证明了所有公式的随机真度之集在[0，1]中没有孤立点；给出了两公式间的DL-相似度与伪距离的概念，并建立了DL-逻
【机 构】
：
聊城大学数学科学学院,聊城第二中学
【出 处】
：
计算机工程与应用
【发表日期】
：
2009年23期
【基金项目】
：
教育部科学技术研究重点项目（No.206089）,聊城大学校级科研立项（No.X071043）.
其他文献
心力衰竭是由心脏结构或功能异常导致心室充盈或射血能力受损的一组复杂临床综合征，其主要临床表现为呼吸困难、乏力（活动耐量受限）及液体潴留（肺瘀血和外周水肿）。心衰是各种心脏
发热是临床中最常见的症状，感染引起的发热占很大比例。抗生素、抗菌药是治疗感染发热最常用的药物，自从有了此类药物，人类在感染热性疾病的治疗方面进入了一个崭新的时代。但不
在多机器人同时定位与地图创建(Simultaneous Localization and Mapping,SLAM)协同工作下,要求融合各机器人的特征子地图形成单一的公共地图,利用三角形相似性原理,实现SLAM定位中各机器人子地图的相互匹配。在机器人创建的地图中,依据路标位置相关的特征组成最小三角形,并通过三角形相似性原理对各机器人创建子地图进行相似性匹配,并记录相似三角形对应点匹配次数,最后彼此
PID控制器的性能取决于其控制参数的组合，针对其参数的整定和优化问题，提出了应用一种改进的粒子群优化算法，该算法借鉴了遗传算法的杂交机制，并采用惯性权值的非线性递减策略，用
入侵检测技术是提高网络安全的重要手段之一，旨在利用分层神经网络解决入侵检测问题。针对入侵检测研究的通用审计数据集，首先将数据进行预处理以便运算；其次利用RBF网络实现粗
提出了一种面向任务的软件过程控制模型，旨在提高软件过程控制能力、促进CMM／CMMI的实施。该控制模型采用面向任务的调度思想，将软件过程划分为一系列任务。采用有限域约束规划
分布式虚拟环境中，个体CGA通过学习来适应环境和团队中其他CGA，从而增强团队求解问题的能力，提高团队的适应性和鲁棒性。当基于随机对策的团队CGA学习出现多个平衡解时，必须解决
为了提高中文文本分类的效率与精度，设计了一种新型的分类器。该分类器采用基于词频、互信息和类别信息的综合评估函数进行选择特征；在特征权重计算上，由于传统TF—IDF方法没有
由于温室环境受到各种因素影响，导致分布在各点的温度值不均匀，为了获得温度的准确值，提出了基于改进PSO的神经网络对其进行数据融合，并且采用分布图法剔除多传感器离异数据，最终
野外实践教学在地理科学专业的学习及应用转型中具有重要的作用。本研究选取地处民族地区的甘肃民族师范学院地理科学专业为例，介绍其野外实践教学的概况，分析其存在的诸如实践