精化演算支撑工具PRT的研究

1 引言精化演算是一种数学表示法和若干规则的集合,用于从程序规约推导出命令式程序。精化是从抽象程序向具体程序转换的过程,其中包含程序的正确性证明。精化的程序开发方法比对已有程序进行验证以保证程序正确性的方法更有效。通过精化演算中的转换规则可以演算出精化的程序。利用精化演算从规约导出程序的过程由大量步骤构成,非常适合利用机器工具进行辅助。本文对精化工具进行了需求分析和功能分析,研究了一个新的精化工具PRT(Program Refinement Tool)并与现有的一些工具进行了比较。     

一种从面向对象Z规约到代码的精化演算方法

COOZ(complete object-oriented Z)的优势在于精确描述大型程序的规约.COOZ本身的结构 不支持精化演算,这限制了COOZ的应用能力,使COOZ难以作为完整的方法应用于软件的开发. 将精化演算引入COOZ,弥补了COOZ在设计和实现阶段的不足,同时也消除了规约与实现之间在 结构和表示方法上的完全分离,使程序开发在一个完整的框架下平滑进行.该文提出了基于CO OZ和精化演算的软件开发模型,通过实例讨论了数据精化和操作精化问题.在精化演算实现技 术方面构造了一种数据精化算子,提出一     

基于WebGIS的供水管网爆管事故关阀分析研究

利用WebGIS技术建立了爆管事故关阀分析系统,深入研究了管网要素之间的网络拓扑关系,分析了基于邻接表存储结构的爆管事故关阀分析流程,得出了爆管事故状态下的最优关阀方案和受影响管段.以某供水管网为例,实现了爆管事故时的关阀分析.该系统的建立大大降低了爆管事故造成的经济损失,提高了供水企业的现代化管理水平.     

对“灰色优化理论模型在地下工程围岩稳定性分类中的应用”一文的讨论

对“灰色优化理论模型在地下工程围岩稳定性分类中的应用”一文的讨论杨朝晖刘浩吾（四川联合大学水利工程系，成都，６１００６５）“灰色优化理论模型在地下工程围岩稳定性分类中的应用”一文（发表于本刊１９９６年第３期，以下简称“原文”），根据灰色关联分析原理...     

三江源地区流域生态补偿机制探讨

三江源地区是我国长江、黄河和国际河流澜沧江重要的水源补给区与涵养区,为保证该区域的可持续发展,建立有效的三江水源保护区生态补偿机制是十分必要且迫切的。结合目前的研究状况,对三江源地区生态补偿机制构建进行了思考,探讨了建立三江源生态补偿机制的思路、补偿的主体和客体、方式和标准等。建立并完善三江源地区生态补偿制度,是打开制约水源地生态环境保护颈瓶、从源头保护水环境和水源的一项长远、有效的措施。     

10种钢样在不同海水环境的潮差区和全浸区腐蚀规律研究

为研究厦门、湛江和青岛的潮差区和全浸区的腐蚀规律,通过现场暴露试验,获得了10种钢样(含碳钢和低合金钢)暴露7a的腐蚀结果,采用线性拟合的方法对数据进行了处理.结果 表明:在3个地点,腐蚀速率的基本规律为青岛＞湛江＞厦门,腐蚀速率与海生物污损密切相关.在3个暴露地点,全浸区前期腐蚀量低于潮差区而后期腐蚀量增速高于潮差区.在厦门暴露2a时,全部试样在2个区带的腐蚀率出现逆转,而在湛江和青岛,在7a时几乎所有试样均出现逆转.在厦门潮差区,合金元素的加入对提升钢的耐蚀性无明显的效果,甚至存在负面影响;在湛江潮差区和青岛潮差区,无论从短期还是长期来看,合金元素的加入都有利于提升钢的耐蚀性.在厦门全浸区和湛江全浸区,无论是短期还是长期来看,所有类型的碳钢和低合金钢腐蚀速率均接近;在青岛全浸区,无论是短期还是长期来看,加入合金元素对耐蚀性均有所提升,短期的效果更为明显.     

方波阴阳极交替极化对Q235钢腐蚀行为的影响

为研究阴阳极交替极化对Q235碳钢腐蚀的影响,通过方波阴阳极交替极化进行了4种状态下(±50 mV、±100 mV、±150 mV、±200 mV)的腐蚀行为研究,获得了腐蚀失重和电化学测试结果.结果 表明,阴阳极交替极化会加速Q235钢在海水中的腐蚀,且阴阳极交替极化的幅度越大其加速作用越强.对Q235钢施加阴阳极交替极化不同次数后,+50 mV、+100 mV和+150 mV阳极极化时,电流密度呈现"瞬间升高-迅速降低-500 s后稳定"的变化过程;而施加+200 mV阳极极化时,电流密度呈现"瞬间升高-迅速降低-持续升高"的变化过程.交流阻抗结果显示,Q235钢在经历阴阳极交替极化后的电荷转移电阻Rct值小于全浸条件,且交替极化的幅度越大Rct值越小.极化曲线结果显示,当阴阳极交替极化幅度超过±100 mV后,Q235钢腐蚀的阴极过程显著加快.     

省煤器管壁腐蚀原因分析

一前言在石油化工生产过程中，为节省燃料，进锅炉的水先用烟道中的烟道气在省煤器装置中进行预热，水温可以从60℃提高到180℃。进入省煤器装置中的水按工艺要求先经软化处理，然后再用解吸除氧法除去水中氧，以减轻对设备的腐蚀。而在实际应用过程中，省煤器装置的腐蚀却是十分严重的，新的省煤器装置在使用半年后就发现了管壁腐蚀穿孔现象，影响了正常生产，需查明原因以便解决。二材质及介质条件省煤器装置中的换热装置管壁厚度为3mm，材质为ND钢，其成分见表1装置中水样分析结果见表2该水样在25℃时电阻率为1821fi·cm，nH值为8．2。…     

碳钌复合材料在碱性电化学电容中的应用

采取溶胶凝胶法在活性炭表面原位合成RuO2·xH2O,经150℃热处理后制成的碳钌复合材料首次应用于碱性电化学电容器中。经电化学测试表明,碳钌电极在碱液中具有良好的容量性质和高功率放电特性,当电流密度为1.0A/g,钌含量为15%(质量分数,下同)的复合材料作为碱性电容的正极,其单电极比容量可达274F/g,是空白活性炭材料的1.22倍,并可较好地抑制电容自放电;该复合材料作为碱性电容的负极,相同电流条件下虽然也具有较高的单电极比容量(278F/g),但电容的自放电现象较为严重。     

基于新旋量子问题改进一类6R串联机器人逆解算法

与传统工业串联机器人相比,后三个旋转关节轴线相交于一点、而前三个旋转关节轴线均不相交的六自由度串联机器人的工作空间较为完善,然而此类6R串联机器人逆解的求解较为复杂,限制了其应用。针对其逆解问题,提出一类新的Paden-Kahan子问题类型:将一点绕两个不相交且不平行的轴线依次旋转到指定点,以及其扩展问题类型:将一点绕两个不相交且不平行的轴线依次旋转直到该点到固定第一点和固定第二点的距离均为指定大小。通过构造与该点运动轨迹相垂直的垂直平面,推导和求解了该子问题的正解和逆解,结合其他已知的子问题,简化和求解此类6R串联机器人的逆解问题,并对其逆解的条件和数目进行讨论。与传统的消元法相比,采用该方法得到的逆解的几何意义更为明确、计算量少、求解效率更高,改进了此类6R串联机器人逆解算法。通过实例计算,验证了求解方法的有效性和可行性。