论文部分内容阅读
利用赋值集的随机化方法，在三值Godel命题逻辑系统中提出了公式的随机真度，给出了两公式间的随机相似度，建立了随机逻辑度量空间，因此可以把计量逻辑学中的随机化研究纳入于多值逻辑的研究体系之中。
三值Godel命题逻辑系统的随机化
【摘 要】
：
利用赋值集的随机化方法，在三值Godel命题逻辑系统中提出了公式的随机真度，给出了两公式间的随机相似度，建立了随机逻辑度量空间，因此可以把计量逻辑学中的随机化研究纳入于多值
【机 构】
：
延安大学数学与计算机科学学院,陕西师范大学数学研究所
【出 处】
：
模糊系统与数学
【发表日期】
：
2009年4期
【基金项目】
：
国家自然科学基金项目（10771129）,陕西省教育厅专项基金资助项目（08JK497）
其他文献
概述了双金属衬套的功能特性与加工工艺工序。介绍了无镀层烧结、镀铜与光亮镀锡新工艺的应用及材料性能试验。
近年来,网络发展日新月异,网络曾经深化保存人们生活的点点滴滴,而在日常的办公是更是网络应用的一个具体的方面,办公自动化逐步保留人们办公生活中必不可短缺的条件。此套OA
讨论模糊推理三Ⅰ约束算法的表示问题。首先，改进FMP及FMT问题的三Ⅰ约束原则,进而，为使更多的蕴涵算子纳入统一的算法表示之下。基于较弱的条件建立三Ⅰ约束算法的一般表示。
国际战略是指主权国家在发展对外关系中所采取的具有全局性、长期性、战略性的谋划和指导。它包括三方面内容：一是对国际战略全局形势的认识，二是对国家的自我认识，三是根据前两
德尔福中央控制面板在德国的德尔福机械电子系统厂进行组装。日前，捷豹XK新型跑车面世。此款新车的一大创新来自于由德尔福提供的中央控制模块。
本文基于智能防撞预警系统的功能及C级车市场购买行为的分析,进行了影响智能防撞预警系统在C级车市场购买行为的因素研究,找到了主要影响因素。
作为汽车制造业的合作伙伴，GE FANUC为客户提供多样化的工厂自动化硬件和软件解决方案，帮助用户降低成本，提高效率并增强其盈利能力。
测量精度是三坐标测量仪的一项重要技术指标,影响三坐标测量精度的因素有很多.笔者通过实验,阐述分析三坐标的测 量速度对测量工件所带来的误差影响与解决方法,降低测量误差,
NI公司提供的基于PXI＋TestStand测试平台的CAN总线汽车测试解决方案能帮助中国的工程师提高汽车测试的效率。降低测试系统的成本，并能应对不断升级的汽车测试需求。无疑为汽车