论文部分内容阅读
首先在Godeln值命题逻辑系统中添加了新的连接词Δ,～，给出了Godeln值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义；讨论了在该系统下它们的一些相关性质，并给出了相应的证明。
Godel n 值命题逻辑系统的真度理论
【摘 要】
：
首先在Godeln值命题逻辑系统中添加了新的连接词Δ,～，给出了Godeln值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义；讨论了在该系统下它们的一些相关性质，并给出了相应
【机 构】
：
延安大学数学与计算机科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2017年11期
【基金项目】
：
国家自然科学基金重点项目(No.11531009),国家自然科学基金(No.11471007),陕西省自然科学基金(No.2014JM1020),延安大学研究生创新基金.
其他文献
Commercial production of vinyl chloride from acetylene relies on the use of HgCl2as the catalyst, which has caused severe environmental problem and threats to h
研究地磁图适配性分析中各指标权重灵敏度问题。给出常见的地磁图属性以及用于方案排序的WPM方法,讨论了在该方法下正向指标和负向指标的数据处理策略,在此基础上研究排序结
针对鸡群算法因雄鸡粒子易陷入局部最优而无法取得全局最优问题，提出了基于杂交的改进的鸡群算法。即在雌鸡粒子更新后加入杂交机制，使雌鸡粒子加速离开局部最优点；同时通过更新
弹性网络算法是一种启发式算法，最初被提出是用来解决TSP（TravelingSalesmanProblem）问题的，现如今，被广泛应用于聚类问题中，尤其对于高维空间数据聚类方面，有很大的优势。提出了一
<正>Mb2O5 -carbon nanocomposite is synthesized through a facile one-step hydrothermal reaction from sucrose as the carbon source,and studied as an anode materia
In order to successively compete with supercapacitors, an ability of fast discharge is a must for lithium-ion batteries. From this point of view,stoichiometric
提出了一种从海量高维数据中进行高效查询的算法，该算法基于小世界网络模型，并采用网络节点表示高维数据的特征向量。算法主要包含两个部分，基于K-Means的索引生成算法和随机逼
作为自然地丰富的元素之一，碳能在不同分子的结构(同素异形体) 介绍并且因此导致包括电气化学在许多地里发现了宽应用的基于碳的材料的各种各样的物理 / 化学的性质，光，吸附和催
Recently,various efforts have been put forward on the development of technologies for the synthesis of methane from CO2 and H2,since it can offer a solution for
期刊