公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.     

低锑铸铁搪瓷釉的应用

本文针对目前氧化锑市价上涨得惊人的状况，着重探讨了低锑铸铁搪瓷釉配方，通过试验获得了ＳｉＯ２－Ｂ２Ｏ３－Ｓｂ２Ｏ３－ＴｉＯ２系统的瓷釉配方，并对其组成和工艺进行了讨论。经过一千余只浴盆的批量生产，认证ＳｉＯ２－Ｂ２Ｏ３－Ｓｂ２Ｏ３－ＴｉＯ２系统的瓷釉与原铸铁浴盆瓷釉比较，不仅能提高光泽，白度，还能大大地降低生产成本。为企业获得了显著的经济效益和社会效益。     

新型大跨度玻璃钢拱瓦的研制应用

1 前言 玻璃钢(FRP)屋面材料是建筑用玻璃钢的主要产品之一,也是我省玻璃钢产品进入市场较早的产品。七十年代昆明街头的候车亭、海埂长廊、温度顶棚都已采用了轻质透光、多彩规格为180×72cm的波形平瓦,随着我省经济的发展尤其是农贸集市、货场、仓库、冶金、矿山等建筑的需要,常规波形瓦由于抗风能力、耐老化性能差,实际使用面积率     

软件测试课程教学改革探索

结合软件测试的发展,对软件测试课程教学面临的问题进行分析。从课程的设置模式、课程内容的选择、测试工具的选择等方面进行探讨,提出课程改革的方法和途径,提高学生的测试应用能力。     

苏浙皖赣沪:联合行动齐唱“以质取胜”主旋律

苏浙皖赣沪2010年"质量月"联合行动,8月31日在浙江杭州市举行启动仪式。四省一市质监部门将紧紧围绕"抓质量水平提升、促发展方式转变"的主题,把握重点,密切合作,整体联动,着力唱响"以质取胜"主旋律。今年"质量月"联合行动,将重点加强食品生产监管,联合开展"质检邀你看企业,食品安全大家行"活动,对风险分析、日常巡查、监督抽查中发现的食品添加剂等问题突出的重点区域、重点行业、重点企业进行集中整顿,全力抓好"四查、四建、四落实"工作;加强特种设备监管,开展游乐设施、客运索道、气体充装单位等特种设备专项大检查,坚决查处"三无"、"三违"行为,确保人民群众生命财产安全。     

浅析期刊业创新发展趋势下的整合策略

我国期刊业市场化步伐的加快,使期刊面临激烈的竞争和压力。这需要我们认清楚现今期刊业发展的趋势,应用科学的策略和战略的眼光来谋划期刊的发展之路。     

基于分层建模技术的CAD/CAPP/CAM集成系统研究

在DM特征建模的基础上,建立了CAD、CAPP、CAM各个阶段的分层模型.分别从特征层和零件层两个层次建立该集成系统全局统一的数据表达.在工艺设计阶段通过引入特征子工艺设计概念与技术,完成子工艺的生成、拓扑排序、组合及编辑,从而完成整个零件的工艺规划.使得系统数据顺利地引入制造模块.该方法在所开发的回转类零件CAD/CAPP/CAM系统中得到了验证.     

混凝法处理胜利油田聚合物驱采出水效果研究

采用化学混凝法处理胜利油田聚合物驱采出水,并在比较不同单一混凝剂的除油、除浊效果基础上,进行了混凝剂的优化复配。结果表明:传统铝盐和传统铁盐混凝剂的除油、除浊效果明显优于无机高分子混凝剂和有机高分子絮凝剂。氯化铁和氯化铝按投加量质量比为1:3比例复配时,不但能提高絮体的沉降速度,减少污泥量,而且能达到较高的除油、除浊效果。复配铁铝混凝剂与阴离子聚丙烯酰胺(APAM)三元复配时,除油、除浊效果主要决定于无机复配铁铝混凝剂的投加量;投加0.5mg/L的APAM便能使絮体进一步发生桥联作用,提高沉降性和减少污泥体积。     

认知无线电网络中基于检测概率的主用户定位算法

为了解决认知无线电网络中次用户对主用户进行定位的问题,提出了一种加权最小二乘的迭代定位算法。采用两状态马尔可夫模型作为主用户头像模型,能量检测作为次用户的感知模型。该算法可以在不干扰主用户正常工作的情况下,利用次用户之间的合作感知结果进行定位,并估计出主用户的三维地理位置位置信息。提出了一种可以降低定位算法复杂度的简化算法。通过对定位问题进行了理论分析,求出了均方误差的Cramer-Rao理论下界。仿真结果表明,算法的均方误差非常接近理论下界,能有效地估计主用户的三维位置信息,提高定位精度。     

分布式环境监控节点的设计与实现

本文主要介绍了一种基于单片机的分布式生态环境监控系统,可实时对目标区域进行温湿度、气压监测。该系统由主控节点及监测节点两部分组成,监测节点完成对温度、湿度、气压等信息的采集并通过无线网络发送给主控节点;主控节点完成对监测节点信息的收集与处理并通过串口传送至上位机。该系统设计操作简单,使用方便,抗干扰能力强,在农业物联网领域具有十分广泛的社会效益和应用前景。