论文部分内容阅读
基于乘积逻辑系统研究公式的真度函数理论。在乘积逻辑系统中给出真度函数的概念,得到真度函数的一系列性质,证明τ-完备性定理,说明τ-语构与τ-语义的和谐性。
乘积逻辑系统中公式的真度函数理论
【摘 要】
：
基于乘积逻辑系统研究公式的真度函数理论。在乘积逻辑系统中给出真度函数的概念,得到真度函数的一系列性质,证明τ-完备性定理,说明τ-语构与τ-语义的和谐性。
【机 构】
：
中国计量学院理学院数学系
【出 处】
：
计算机工程与应用
【发表日期】
：
2011年25期
【基金项目】
：
浙江省自然科学基金（No.Y1110651）
其他文献
摘要：本科生导师制是培养大学生创新能力，提高人才培养质量的有效途径。本文在分析本科生导师制的渊源与实施概况的基础上，针对本科生导师制实施中存在的主要问题，结合我校具体情况，讨论了本科生导师制建设的几点探索和体会，有助于实现教学相长。 關键词：本科生导师制；人才培养；创新 中图分类号：G642.0 文献标志码：A 文章编号：1674-9324（2017）09-0152-02 一、本科生导师制溯
蚁群算法是根据蚂蚁的觅食行为而提出的随机优化算法,但其存在早熟收敛和搜索精度低等问题。模拟生物克隆选择中5%的B细胞自然消亡过程,在蚁群算法进化过程中分别基于代间差
信任评价模型可以解决网络中的一些安全问题,但是当网络中的节点数目非常大时,现有全局信任模型的计算量与通信开销比较大,影响了信任模型的推广和应用。针对上述问题,利用小
目的促进抗肿瘤药物静脉用药的合理性。方法对静脉用药调配中心药师在审核医嘱时发现的抗肿瘤药物不合理用药进行回顾性地分析。结果不合理用药医嘱中选用不合理溶媒占51%,护
目的探讨磁共振成像(MRI)平扫及磁共振弥散加权成像(DWI)在宫颈癌术前分期评估中的显像特点及应用价值。方法选取2017年1月至2018年5月在温州市中心医院接收检查治疗的400例
基于Hough森林的对象检测是隐式形状模型(ISM)的改进,它借助随机森林完成广义Hough变换。为了进一步提高其检测效果,充分利用训练图像中对象位置是已知的知识,改进了经典的偏移量不确定性度量方法,并优化随机森林的投票,使在Hough空间中真正对象的位置获得更多投票和更高的投票值。实验验证了该方法相比于经典的方法,具有更准确的对象检测效果。