论文部分内容阅读
利用赋值集的随机化方法,在n值Goedel逻辑系统中提出了公式的随机真度,证明了所有公式的随机真度集在[0,1]中没有孤立点;给出了两公式间的DGn-相似度与伪距离的概念,并建立了DGn-逻辑度量空间,证明了此空间没有孤立点.
n值Goedel逻辑系统中的随机化研究
【摘 要】
：
利用赋值集的随机化方法,在n值Goedel逻辑系统中提出了公式的随机真度,证明了所有公式的随机真度集在[0,1]中没有孤立点;给出了两公式间的DGn-相似度与伪距离的概念,并建立了
【机 构】
：
聊城大学数学科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年12期
【基金项目】
：
国家自然科学基金（the National Natural Science Foundation of China under Grant No.60875034）
其他文献
目的：观察肛裂术后应用湿润烧伤膏（MEBO）的疗效。方法：将MEBO涂抹于肛裂术后切口处，每日涂药3次，直至痊愈。结果：156例患者使用MEBO治疗后疼痛明显减轻，手术切口逐渐变为新鲜红润，周围
目的：为阐明及防治烧伤后负氮平衡提供理论依据。方法：在接近机体内环境下，于体外分别用免疫沉淀扣除法和间接ELISA法检测IL-1对30%体表皮肤全层烫伤大鼠烧伤后骨骼肌中26S蛋白
档案信息化建设是一项复杂的系统工程，是现代信息技术与档案的有机结合。但是一流的硬件设施并不意味着能发挥一流的应用效果。本文从具体案例分析出发，阐述了“应用主导战略”
设立九龙山自然保护区（JL1、JL2）和松阳（SY）3个代表性样地，采用电感耦合等离子体原子发射光谱法（ICP—AES），测定了长序榆根、茎、皮和叶内的金属元素含量，并与土壤中对应的金属元素进
以CNKI为信息源,选取2011年~2016年在CNKI上发表的有关高校图书馆阅读推广方面的文献作为研究对象,运用文献计量法与共词分析方法,从文献数量、来源期刊、著者、被引及下载、
中东战争、第一次海湾战争、阿富汗战争、第二次海湾战争等一系列现代局部战争表明，空军，虽然是陆海空三个基本军种中成立最迟的一个军种，但其重要性却越来越显著，在战争中的主导
目的:探讨严重烧伤病人休克期(伤后1-3天)发生的酸碱失衡类型特点,分析其发生的原因机理.方法:以1990年1月-1999年7月收治的72例严重烧伤病人为观察对象,同步检测血气分析和