循环冷却水中磷酸盐及其总磷的快速测定

本文用磷钼蓝比色法测定工业循环冷却水中的磷含量，并对测定条件进行了优选。该方法操作简便，准确可靠，适用于一般的磷系水处理循环水中磷的测定。     

公式分层的谓词模态逻辑

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

低锑铸铁搪瓷釉的应用

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

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

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

天基信息支援作战仿真用例设计

为解决天基信息支援作战仿真要素多,关系复杂,仿真实验成本高的问题,提出仿真用例设计的原则和过程,应用相关系数法对影响因素进行了筛选,提出了连续型因素的取值规则,基于元用例思想对仿真用例进行了分层优化,采用正交设计方法对仿真用例进行了规模优化;最后通过实例分析证明了该方法的可用性和有效性.     

基于相关性阈值的NSCT图像去噪方法研究

利用非下采样Contourlet变换(NSCT)平移不变性、多分辨率、多方向的优点,提出一种基于尺度相关与阈值去噪相结合的非下采样Contourlet变换图像去噪方法。首先对噪声图像进行非下采样Contourlet变换,得到各个尺度各个方向子带的系数,然后采用相关系数归一的方法,结合Bayesian自适应阈值来达到更好的去噪效果。仿真实验表明,该方法在提高去噪后图像的峰值信噪比的同时,有效保留了图像的纹理信息,避免伪吉布斯现象,改善了图像的视觉效果。     

高强度高气密性橡胶胶囊的研制

以NR/CR共混胶为基胶,采用模具成型工艺,研制出了一种高强度、高气密性、耐屈挠橡胶胶囊。结果表明,研制产品具有高强度、高气密性和柔软性好等优点,满足用户要求。     

明代早期祭红釉显微结构与工艺的研究

收集了明代早期 (永乐、宣德、成化 )不同年代的祭红釉瓷残片。用扫描电镜、透射电镜、能谱仪、电子衍射、荧光X射线光谱分析、光学显微镜等系统地研究了它们的显微结构 ,用体视显微镜、分光光度计等观察、测定了它们的呈色状况 ,详细探讨了明代祭红釉之间的差别 ,分析了它们的生产工艺与化学组成、显微结构之间的关系。     

一种基于QOS约束简化的云计算资源调度策略研究

该文对基于QoS约束的资源调度策略进行了研究:根据用户对QoS的偏好,建立资源调度模型。实现了基于QoS约束的资源调度算法。通过实验,扩展了CloudSim中的基础类,在CloudSim平台上对本文MMPS算法算法进行模拟验证。实验结果表明,该文策略能更好地满足服务质量。     

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

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