论文部分内容阅读
通过引入赋值密度函数、边缘密度函数等概念，给出了连续值命题逻辑系统L^＊中公式概率真度的定义，研究了概率真度的推理规则，在此基础上给出了三种相似度，讨论了其性质及关系，并由此定义了三种伪距离，讨论了逻辑度量空间的结构及性质，为推理程度的数值化提供了依据。
公式概率真度的相似度及伪距离
【摘 要】
：
通过引入赋值密度函数、边缘密度函数等概念，给出了连续值命题逻辑系统L^＊中公式概率真度的定义，研究了概率真度的推理规则，在此基础上给出了三种相似度，讨论了其性质及关系，并由此
【机 构】
：
聊城职业技术学院,山东省聊城市人民医院,聊城大学图书馆
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年27期
【基金项目】
：
国家自然科学基金（No.60875034）,山东省自然科学基金（No.Y2003A01）.
其他文献
针对变速器在线检测的复杂性，研制了一个基于自动换档机械手的变速器检测系统。换档是一个复杂的非线性时变过程，涉及到众多变量，使用专家系统进行机械手的换档控制，可以快速准确
传统的MANET路由协议是基于最小跳数的路由，没有考虑链路质量，不能适应网络拓扑的动态变化。针对这一问题，提出了一种Ad Hoc网络链路质量QoS多路径按需路由协议（QMORP）。QMORP采用
提出了一种在低码率下的快速分数运动估计算法。该算法利用相邻运动补偿块时域的相关性,预测当前最优分数匹配位置的残差值,继而判断是否终止当前分数点搜索。根据实验结果,
随着网络应用（如P2P）的快速增长，使得传统的基于端口与有效载荷的网络流量分类方法效率大大降低。基于FCBF特征选择方法选择最优特征子集，研究使用贝叶斯学习方法对网络流量进行
为支持高技术虚拟企业对利益分配冲突的监控、识别和求解,基于可拓逻辑设计了一套具有较强元决策能力的冲突求解系统。根据发散思维和收敛思维相结合的问题求解框架,构建了利
在分析移动对象行为时,移动对象轨迹因包含大量的信息而具有重要的作用。在实际应用中移动对象常受限于空间网络而无法利用现有欧氏空间中轨迹及其距离处理技术。分析了道路网络空间轨迹相似性性质,提出一种移动对象轨迹建模的时空表示方法,能有效地将轨迹从道路网络空间转化到欧氏空间;同时提出了一种基于兴趣点PO(IPoints Of Interesting)距离的轨迹间相似性测量方法,有效地对轨迹进行化简并减少轨
为进一步提高SVM增量训练的速度,在有效保留含有重要分类信息的历史样本的基础上,对当前增量训练样本集进行了约简,提出了一种基于类边界壳向量的快速SVM增量学习算法,定义了
针对轮廓匹配中存在的遮挡、噪声等问题,提出把互信息作为二值图像相似性的度量准则,通过遍历的方法找到最大互信息的位置;为了加快匹配的速度,提出了相应的互信息计算的快速算法。新算法不依赖模板和输入图像的大小,仅仅与模板和输入图像中轮廓像素点的个数有关。实验结果表明,文中算法在512×512图像上完成一次匹配平均需要花费约50ms,可以克服光照、遮挡、随机噪声和小形变的影响。
未知环境下机器人路径规划要求实时有效,针对传统动态窗口滚动优化算法易出现局部最小、震荡等问题,重新设计了子目标映射法则,并对局部路径规划算法引入对角线距离作为代价函数中的启发式部分,最后引入了禁忌搜索和多样化随机路径选择模块,克服了局部最小和震荡等问题,仿真实验证明了该算法可靠有效。