论文部分内容阅读
利用赋值集的随机化方法,在修正的n值Gdel逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间。指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度,建立了更一般的随机逻辑度量空间。
修正的n值Gdel逻辑系统的随机化
【摘 要】
：
利用赋值集的随机化方法,在修正的n值Gdel逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间。指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度
【机 构】
：
桂林航天工业高等专科学校计算机系,桂林理工大学数理系
【出 处】
：
计算机工程与应用
【发表日期】
：
2012年24期
【基金项目】
：
国家自然科学基金（No.10661006）
其他文献
设计国标 为满足教科版《科学》5年级上册教材“光”单元诸课时的实验要求，解除课时限制，提高教学效果，克服公开课、示范课、室内课阴雨天无法进行示范教学的困难，基于多模块化设计，研发制作室内外均可使用、构造简单、成本低廉的光与热实验仪，突出解决该单元“光与热”一课中的2个实验——“实验1：-面镜子与多面镜子反光下的温度变化实验”“实验2：一面镜子与多面镜子反光下的光的强弱变化实验”，以及“怎么样得到
核心阅读$$结合贵州毕节烟草实际情况，在分析毕节烟草卷烟物流、烟叶物流、烟资物流问题的基础上，提出“两烟”物流资源整合的具体策略。$$经过多年的探索与实践，中国烟草现代物
报纸
目的探究Zuckerkandl结节(Zuckerkandl's tubercle,ZT)的分布情况,并观察其与喉返神经的相互位置关系。方法通过解剖尸体,观察ZT结节在甲状腺上的分布情况,并测量相关数
利用高维Mobius变换的Clifford矩阵范数形式来推广Jorgensen不等式,并由此不等式得到n维一致双曲流形的体积下界.
唐古拉山南麓,冰山融水涓涓滴滴汇成纵横的溪流,向羌塘草原奔腾而去,形成了世界上海拔最高的淡水湖错那湖。从那曲驱车向错那湖行进途中,一路蜿蜒而去的水泥路宛如缠绕在草原
利用云模型云滴的随机性和稳定倾向性的特点,提出了一种云模型云滴机制的量子粒子群优化算法,该算法在量子粒子群优化的基础上,由云模型的X,Y条件发生器产生杂交操作,由基本
研究了外力矩作用下刚体转动动力学系统存在的混沌吸引子类型、数量和特性，分析了5个平衡点的属性。系统状态在5个平衡点邻域沿某方向的收敛和沿某方向的发散，可以形成各种各样
塘河古镇可以说是最为僻静的一个古镇。我们塘河位于三省交界处，离贵州和四川都不远，我们的上游就是四川合江，这条河就是从上面流下来的。
针对无线传感器网络（WSN）的合作多样性问题，对结合节点能耗和吞吐量的对称合作模式进行了讨论。基于Raiffa-Kalai—Smorodinsky议价解（RBS），将对称合作问题转换成议价问题，提出了一