论文部分内容阅读
利用势为3的均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的真度概念,给出了真度推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑的近似推理理论奠定了基础.
标准序列逻辑系统S3中命题的真度值之集在[0,1]上的分布
【摘 要】
：
利用势为3的均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的真度概念,给出了真度推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的
【机 构】
：
兰州理工大学,理学院,甘肃,兰州,730050;兰州理工大学,土木工程学院,甘肃,兰州,730050
【出 处】
：
甘肃工业大学学报
【发表日期】
：
2003年4期
其他文献
精密排种是排种器将种子从颗粒群中分离、携带、投种的过程，磁吸精密滚筒式排种器排种过程中种箱内存在着复杂多变的颗粒运动。本文以油菜、水稻、番茄三种不同形状的磁粉包衣
本文以水稻浅水灌溉为对照,分析了控制灌溉条件下水稻叶片净光合速率、光合特性、CO2日同化量等光合指标。考虑到影响作物光合的环境因素,对光合有效辐射、气温、相对湿度、空气CO2浓度与水稻净光合速率的相关性作了分析,在此基础上,着重分析了土壤水分调控对水稻净光合速率的影响。利用光合模型对水稻的光合速率进行了模拟,并以土壤水分作为修正项对光合模型进行了修正。利用控制灌溉水稻的光合数据进行了验证。初步探究
近几年来,变频调速技术凭借着较低的启动特性、工作的高效性以及良好的运行特性,作为高新技术和节能技术,已经渗透到经济领域的所有技术部门中。食品机械领域中被广泛应用的
村镇生活污水的直接排放严重威胁水环境安全，寻求合适的处理技术，具有十分重要的现实意义。好氧生物处理是目前应用最为普遍的污水处理工艺，曝气是好氧生物处理过程的核心环节，采
随着社会经济的迅速发展,近年来,人们越来越重视食品安全问题.食品安全直接关系人民的身体健康和生命安全.因此,如何控制食品安全对于社会的稳定与发展至关重要,本文对食品安
我國歷代傅世的字書韻書重編纂而輕考據,重貯存而輕整理,代代相沿襲誤,致使後來的大型字書匯集積澱了成千上萬的疑難字,給漢字的整理和大型字典的編纂带來了很大的困難.楊實
棉花是山东省盐碱地的主要种植经济作物之一，生产工序复杂，占用劳动力大，适合机收棉种植模式的高密度复式棉花联合播种机极为紧缺。本文对集施肥、开沟、精密播种、镇压、覆膜和
随着改革开放的进程不断的加快，我国的国民经济总值也在不断的提升，国家建设的步伐也不断的加速，所以我国的建设行业也显得日益火爆。但是随着建筑企业的不断增多，建筑质量却是很