【摘 要】
：
分别对Lukasiewicz逻辑系统中的公理在R0系统和G(o)del系统中的真度大小、R0系统逻辑系统中的公理在Lukasiewicz系统和中G(o)del系统的真度大小和G(o)del逻辑系统中的公理在R
论文部分内容阅读
分别对Lukasiewicz逻辑系统中的公理在R0系统和G(o)del系统中的真度大小、R0系统逻辑系统中的公理在Lukasiewicz系统和中G(o)del系统的真度大小和G(o)del逻辑系统中的公理在R0系统和Lukasiewicz系统中的真度大小进行了计算和分析,从真度方面研究和分析了常用逻辑系统之间的关系.
其他文献
在密度泛函理论框架下,用广义梯度近似(GGA)的方法研究TnN(n=2～12)团簇的电子结构,系统计算了它们的基态束缚能Be(eV)、最高占据轨道(HOMO)与最低未占据轨道(LUMO)之间的能隙
研究了一个复合的休假排队模型,工作或休假时服务台都有可能故障,服务台一旦修好可立即进行服务,而且每个忙期结束就开始一次休假,顾客到达服从Poisson过程,到达率依赖于系统
目的 研究急性敌敌畏(dichlorvos,DDVP)中毒导致的早期心肌损伤表现.方法 Sprague Dawley(SD)大鼠24只,随机(随机数字法)分成对照组和中毒组两组,每组12只.采用右侧颈动脉置
根据船舶航行气象数据和主机系统在额定工况下的热量衡算，在晃振平台上测试平均孔径为12.205nm的硅胶和复合吸附剂(70％硅胶+30％氯化钙)的水蒸气吸附等温线和吸附取水量.结果表明
利用磁控溅射方法制备了Ge_1Sb_2Te_4和Ge_2Sb_2Te_5两种相变存贮材料的薄膜。原位X射线衍射(XRD)的结果表明,随着退火温度的升高,Ge_1Sb_2Te_4和Ge_2Sb_2Te_5薄膜都逐步晶化
提高繁殖性能是加快一个优秀种群推广利用的重要途径.实验以150只天府肉羊产羔母羊为研究对象,扩增PRLR基因第10外显子,进行PcR-SSCP和SNP与产羔数的关联分析.结果表明:在PRL
采用缩水甘油(Glycido1)对脱细胞猪真皮基质(pADM)进行改性,通过对改性前后材料的接触角和吸湿动力学的研究,探寻改性前后材料亲水性能的变化.研究结果表明:pADM经缩水甘油改
目的 针对现行尿碘检测方法中测定误差因素多的特点,建立实验室内质量控制体系,确保检验数据的准确可靠.方法 收集日常检测中空白管吸光度值及标准物质检测值,计算均值、标准
目的:筛选和优化乙肝转阴颗粒的提取工艺.方法:采用正交试验设计方法,以水提取物中浸膏得率,槲皮素含量为指标,确定最佳提取工艺参数.结果:乙肝转阴颗粒的最佳水提取工艺参数
以水相中制备的羧甲基纤维素钠修饰的硫化镉(CdS)量子点为荧光探针,基于Cu2离子和I-离子作用后生成的CuI对CMC - CdS量子点荧光的增强作用,建立了测定痕量碘离子的新的分析方