公式分层的谓词模态逻辑

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

低锑铸铁搪瓷釉的应用

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

曲线拟合法在热变形温度与维卡软化点测定仪中的应用

通过试验和分析提出了在热变形温度与维卡软化点测定仪中应用温度曲线拟合的测定方法，介绍了拟合方程系数的在线修正方法。通过与其他传统温度测量方法的试验结果比较，验证了采用曲线拟合方法在动态温度测量中的优越性。同时还扼要叙述了系统相关部分的软硬件实现原理。     

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

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

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

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

对苯二酚-甲醛有机气凝胶的结构测试及性能研究

首次用溶胶-凝胶法和CO2超临界干燥技术制备了对苯二酚-甲醛有机气凝胶,并经高温碳化处理得到其碳气凝胶,测得气凝胶的比表面积由碳化前的375.28 M2/G增大到碳化后的468.66 M2/G,碳气凝胶的孔径集中分布在15NM以内。观察到其表观形貌,以及碳气凝胶中存在微晶结构。研究了不同反应物配比对凝胶性能的影响,并发现碳气凝胶具有良好导电性。     

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

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

盐渍化软弱土地基处治措施对比分析

为了综合提高西北地区盐渍化软弱土地段公路地基处理的工程质量,以嘉—安一级公路盐渍化软弱土地段的地基处治项目为工程依托,通过MARC有限元数值计算分析、现场实际监测数据结果以及地基处治措施的社会经济效果评价,研究了适用于西北盐渍化软弱土地基处治的合理措施.结果表明,在处理该特殊土地基时,水泥粉喷桩、强夯置换、振动沉管挤密砂石桩都符合规范要求;从处治效果上来看,后两者的效果要优于水泥粉喷桩,振动沉管挤密砂石桩的效果最好;从社会经济效益评价结果来看,强夯置换在处理盐渍化软弱土地基时的费用最低,最省时,经济效果明显.     

焊接专业企业实训的探索与实践

高职高专焊接专业是个实践性很强的专业,企业实训是培养学生职业技能的核心环节。针对企业实训过程中在实训基地、实训内容、实训效果等方面存在的问题进行了探讨,并就这些问题做了一些探索。     

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

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