【摘 要】
：
2006年,王国俊教授建立了计量逻辑学理论,这种理论一经提出便受到广泛的关注.因为它从语义上对逻辑概念进行了程度化,并将数值计算融入到数理逻辑中来建立起符号化语言与数值计算的桥梁.这使得数理逻辑具有某种灵活性,极大地扩大了其实际的应用范围.吴洪博教授在此基础上提出了广义真度的概念,研究了其主要性质. 基于以上理论知识背景,本文的结构和详细内容安排如下： 第1章预备知识.本章给出了文章中
论文部分内容阅读
2006年,王国俊教授建立了计量逻辑学理论,这种理论一经提出便受到广泛的关注.因为它从语义上对逻辑概念进行了程度化,并将数值计算融入到数理逻辑中来建立起符号化语言与数值计算的桥梁.这使得数理逻辑具有某种灵活性,极大地扩大了其实际的应用范围.吴洪博教授在此基础上提出了广义真度的概念,研究了其主要性质. 基于以上理论知识背景,本文的结构和详细内容安排如下： 第1章预备知识.本章给出了文章中将要用到的真度,相似度,伪距离的基本概念和结论. 第2章Ln系统以及Ln*系统中公式真度理论的共有性质.首先,在L。系统以及Ln*系统中给出公式真度的共有性质；其次,讨论了Ln系统以及Ln*系统中公式间相似度的共有性质：最后,给出了L。系统以及Ln*系统中公式间伪距离的共有性质. 第3章Ln系统中公式真度及相似度的特殊性质.首先,在L。系统中给出公式真度的一些特殊性质；其次,在L。系统中给出公式相似度的一些特殊性质. 第4章Ln*系统中的近似推理理论.本章主要对Ln*系统中的近似推理理论作了简单的讨论. 第5章L。系统,Ln*系统以及L*系统中关于相似度命题的反例及命题的修正.首先,在L。系统中指出关于相似度的错误命题并给出反例：其次,在Ln*系统中指出关于相似度的错误命题并给出反例；然后,在L*系统中给出关于相似度的错误命题并给出反例;最后,给出错误命题的修正.
其他文献
变形及热处理是调控铝合金材料内部组织进而控制铝合金综合性能的有效手段。我国与欧美国家在铝合金开发及应用方面的主要差距之一就是对变形及热处理工艺的研究不够系统。本文针对美国铝业公司2001年开发的新型2026铝合金的固溶工艺、以及固溶工艺对该合金组织性能的影响开展研究,旨在揭示不同固溶制度下该合金的组织演变规律,为该合金制备工艺的优化提供参考。具体研究内容包括:（1）固溶处理工艺对2026铝合金组织
2020年,全世界各国遭遇了新冠疫情的侵袭,处于疫情防控和服务保障前沿的我国交通运输业,受疫情影响也非常严重,城市间居民出行需求总量大幅下降的同时,分担城际间运输客流的交通方式客运结构也发生了一定变化。为了研究新形势下的城际出行方式选择行为,本文基于计划行为理论在预测行为问题中较好的解释力,提出适用于新冠疫情条件下城际出行方式选择问题的扩展计划行为理论,将出行者的主观变量考虑进传统Logit模型的
随着经济快速发展,人民生活水平大幅提高,货运市场结构发生巨大变化,铁路部门为扭转货运业务的亏损局面,依托日趋完善的高速铁路网进行高铁货运业务的试行,高铁快运业务目前已覆盖全国所有高铁车站,为铁路增加创收。2020年底货运动车组正式下线,有利于发挥快速、安全、准时的优势,弥补高铁货运运能不足的短板,扩大市场份额,优化铁路货物运输市场结构。本文的研究以高铁货运列车开行方案为切入点,主要完成以下工作:（
燃料组件板弹簧是压水堆燃料组件的重要组成部件,主要提供适当的压紧力以保证燃料组件的安全、可靠运行,并弥补堆腔内各部件的轴向生长差异以保证燃料组件的结构完整性。本文利用遗传（GA）算法的全局寻优能力对误差反向传播（BP）神经网络进行改进,建立了基于GA-BP神经网络的板弹簧优化设计方法。以板弹簧宽度、宽度比、厚度、厚度比和高度作为优化设计变量,刚度性能更优作为目标函数,强度和压紧力等性能参数以及工艺
运动规划（Motion Planning）是多自由度机械臂实现抓取动作或操纵作业的关键内容,也是机器人领域的研究热点。基于采样的运动规划算法由于受到最近邻搜索速度、采样扩展策略和碰撞检测算法性能的影响,存在规划效率低和规划时间长的问题,本文针对上述问题分别对最近邻搜索过程、采样扩展策略和碰撞检测算法进行改进,并将长短时记忆机制、高斯混合模型（Gaussian Mixture Model,GMM）与
随着我国的社会矛盾的转化,人民对美好生活的向往也体现在了对更好生活环境的追求。为满足人们对绿色生活的升级化追求,我国提出了“公园城市”等城市发展新理念。公园城市的建设需要对公园体系进行全面升级优化,公园体系的优化不仅应该体现在公园数量的增加,而更应该注重居民到达公园的便捷性、使用公园的公平性与高效性。公园可达性能够较好的表达人们到达公园的方便程度,公园服务压力能够体现公园的需求度,而使用热度能够动
随着新课程改革深入,越来越多研究者开始关注乡土地理课程资源。有在当代教育中,形象案例的使用越来越被推广,随着核心素养中地理实践力的提出和强调使得教师们也越来越关注活动课程,从以前的注重知识灌输到现在的强调能力培养,探究式学习也备受关注,成为各个教师及专家的研究对象。而乡土地理课程资源的运用可以说是可以囊括了以上各个点,既有着形象而丰富的案例,又注重地理实践力的培养,还可以提供活动课的学习空间,还可
停车供需间矛盾的日益凸显,阻碍了城市交通与经济的发展。由于路内停车收费价格尤其是长时停车收费价格高于路外停车场,能够发挥“短停快走”的特性,可作为城市路外公共停车场的补充。但城市中心区经常出现路内停车位占用率过高而路外停车场占用率较低的现象,这与路内、路外停车场的设置初衷相悖。在此背景下,寻求有效的路内停车优化策略,以协调路内外停车需求布局并对现有停车资源进行充分利用,对于缓解城市停车难及交通拥堵
研究目的:由于足球运动对抗性强、争夺激烈的运动特点,女性足球运动员在比赛及训练过程中易发生膝关节损伤,包括髌骨损伤、韧带损伤、肌腱损伤、半月板损伤、肌肉拉伤等,常使得膝关节稳定性降低。肌力训练是维持关节稳定的基础,另一方面,有学者提出增强膝关节肌肉力量可间接增强本体感觉功能。鉴于股四头肌、腘绳肌及本体感觉在膝运动中起到的重要作用,当前针对女性足球运动员伤后膝关节不稳的康复训练主要是股四头肌、腘绳肌
本文结合Pisot数的有关性质,利用Riemann-Lebesgue引理,首次估计了R2中带四个元素数字集,以及R3中带有八个元素数字集的自仿测度的Fourier变换序列的下界,从而得到相应测度的奇异性. 通过对权的分类讨论,利用Riemann-Lebesgue引理,研究了一维中数字集带有三个元素时,由权决定的自仿测度是奇异的几个结论. 利用不变子格和三角多项式是利普西斯函数等性质,给