两河口水电站施工组织设计综述

两河口水电站地处藏民族聚居地,为特大型工程,工程量巨大、大坝填筑料源多且分散、施工强度高、场内交通错综复杂且运输量大,施工条件差。可行性研究阶段的施工组织设计主要在大坝心墙防渗土料、混凝土骨料、施工导流、场内交通仿真分析、大坝施工规划、施工总布置规划等方面进行了大量深入的研究工作,研究成果较好地解决了施工组织设计中的难题。     

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

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

公式分层的谓词模态逻辑

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

低锑铸铁搪瓷釉的应用

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

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

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

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

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

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

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

面向粗粒度需求的服务组合优化方法

针对用户缺乏专业知识,往往只能给出粗粒度的需求,提出了一种基于粗粒度需求的服务组合优化方法.该方法把满足用户某一粗粒度需求的服务实例抽象为一类服务集合,依照业务流程关系将不同集合联系起来形成可行解;结合用户具体的功能需求,将不同服务集合内的服务实例科学地组合起来,形成满足功能需求且具有最优QoS指标的服务集合,并与具备复合功能的服务进行比较,最后形成优化解.实验结果表明:与传统方法相比,该方法综合考虑了用户的现实需求与系统的负载,合理地实现了服务组合的优化,满足了用户的需求,符合现实情况.     

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

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

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

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