论文部分内容阅读
利用赋值集的随机化方法,在n值标准逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DGRn-相似度与伪距离的概念,并建立了DGRn-逻辑度量空间,证明了此空间没有孤立点。
n值标准逻辑系统中的随机化研究
【摘 要】
：
利用赋值集的随机化方法,在n值标准逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DGRn-相似度与伪距离的概念,并建立了DGR
【机 构】
：
陕西师范大学数学与信息科学学院,聊城大学数学科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年30期
【基金项目】
：
国家自然科学基金（No.10771129）.
其他文献
提出了一个具有消息恢复的共享验证代理签名方案。在该方案中，把签名的验证权让n个验证人分享，使得指定验证组中的t个或更多验证人合作能从签名中恢复消息并能验证签名的有效性
为了提高驾驶模拟系统的逼真度和可信度,以自主车驾驶行为作为研究对象,在结合宏观与微观信息进行虚拟道路环境建模的基础上,提出一种基于局部信息感知和知识随机决策的概率
针对彩色图像信息量大,分割效果自适应性差的问题,对图像语义区域的分割精度进行控制,提取图像的纹理特征值,再通过改进后的概率神经网络模型对测试样本做分类测试,达到提高图像语义提取和分类准确性的目的。实验表明,改进后的概率神经网络对彩色图像语义区域分类的正确性由原先的70%提高到90%,具有较好的分类效果。
动态时间规正（Dynamic Time Warping）是语音识别中的一种经典算法，算法简单有效，因此在实现孤立词识别系统中获得了广泛的应用。提出一种DTW的改进算法，采用两次在时间域上的规正，
<正> 直线度的检测方法是很多的,主要归纳有两种方法。一种是尺寸小于160mm用直接测量法:如用千分表读数或用刀口尺以光隙法读数。这种方法的特点就是用标准平尺或标准平板作
在传感器节点随机、高密度部署的环境中,覆盖控制算法可以有效降低能耗和减少冗余数据。无线传感器网络MM（MIN NODES-MAX COVERAGE）模式随机覆盖控制算法采用最少节点最大覆盖
利用蕴涵运算,在完备剩余格上定义了蕴涵闭包算子,给出了它的若干等价刻画及其表示定理。
【正】 本文,我们探讨长安的东渡,也就是“支那”的产生过程。主要是从语音学、音韵学的角度谈长安的东渡。 关于支那一词的来源,其说法有多种,最主要的有以下几种: 1、说是