精化演算支撑工具的分析

利用精化演算的方法开发软件,其过程由巨大数量的小步骤构成,由手工完成极其烦琐,也极容易出错。因此,利用机器辅助工具的支持是必要的。在分析现有的精化工具的基础上,我们提出了一个用于软件形式化开发的精化工具RT(RefinementTool),对精化工具进行了需求分析和功能分析。在精化工具的设计中,分析了精化工具的设计目标、总体结构、精化与证明的表示方法、用户界面和工具的扩充性等问题,通过对精化和证明的表示方法的分析,提出了一种精化与证明的表示相结合的方法。     

炭钌复合电极碱性电化学电容器的研究

采取溶胶凝胶法在活性炭表面合成RuO2·xH2O,经150℃热处理制得炭钌复合材料。将炭钌复合电极作为碱性电化学电容的正极,研究不同钌含量复合电极的电化学性能,实验证实,当复合电极中的钌质量分数达30%时,其比电容可从纯活性炭电极的241F/g增加到333F/g,且复合电极具有与活性炭电极同样优异的高功率放电特性;随着复合电极中钌含量的增加,电极的比电容也会相应地增加,而当电极中的钌质量分数大于10%后,水合氧化钌的贡献比电容却逐渐下降,并稳定在440F/g左右。     

二维云模型及其在预测中的应用

本文一维正态云的基础上，进一步提出了二维正态的思想，给出了描述二维云的数字特征和二维云的数学模型，探讨了二维云发生器的构成方法和应用前景，尤其是在基于数据库的知识发现方面，在定性和定量相结合的基础上，为进行多种预测，融随机性与模糊性为一体，表达不确定性，提供更系统，更高层的工具。     

高流速海水中金属材料的腐蚀行为

<正> 一、前言 金属材料在自然海水中的腐蚀数据通常是在自然海流(0.1～1米/秒)条件下获得的,但滨海的电站、石油、化工系统中的高流速管道、泵、热交换器、阀门以及高速舰船中的管道以至船体等,都处在较高流速(5～30米/秒)海水的环境中。因此,各国相继开展了高流速海水中金     

地下工程围岩稳定性分类的人工神经网络模型

本庆于人工神经网络的一典型模型－－误差反传模型,根据《水利隧洞设计规范》及国内外围财分类经验用插值法构造学学习样本,建立了地下工程围岩稳定性分类的神经网络模型。研究表明,该模型具有较好的分类能力及较高的分辨率,可望成为地下工程夺稳定性分类的有效手段。     

金属材料在青海湖中的腐蚀行为

通过现场暴露试验,获得了典型金属材料在青海湖暴露4年的腐蚀结果,总结了它们在青海湖中的腐蚀行为和规律。在青海湖中Q235B、16 Mn钢表面有沿重力方向的柱状腐蚀产物,其下面形成蚀沟。在青海湖暴露4年后,304、316L没有明显可见的腐蚀。QSi3-1的腐蚀比T2严重,L6、LF6发生点蚀和缝隙腐蚀。     

岩石变形与渗透性变化关系研究

将变形(应变)作为基本变量,引入损伤作为中间变量,建立新的渗透性演化模型.该模型可以用来计算岩石峰值破坏前,受剪切和拉伸破坏时的渗透性变化情况.模型经试验资料验证,在应力–应变峰值前与实测值吻合良好.     

新试剂meso─四（3─溴─4─羟基─5─甲氧基苯基）卟啉的合成及其性质的研究

报道了新试剂ｍｅｓｏ－四（３－溴－４－羟基－５－甲氧基苯基）卟啉的合成方法，对试剂的理化性质、分析特性及其与金属离子的显色反应也作了研究，并提出了该试剂的应用前景。     

洛阳石油化工总厂95号工业丙烷通过技术鉴定

洛阳石油化工总厂开发成功的９５号工业丙烷,１９９９年４月１９日在郑州通过了由河南省经济贸易委员会组织的专家鉴定。该产品是洛阳石油化工总厂１９９８年初开发的一种新产品。工业丙烷目前主要应用于金属零件的淬火和渗碳,与丁烷混合可做雾化剂、脱沥青溶剂及高热值燃料。它在机械工业、石化工业以及汽车工业等方面有着广阔的用途。洛阳石油化工总厂生产的工业丙烷是从催化裂化装置的液化石油气经过气体分馏装置分离出来的。该产品经国家燃料油质量检验中心检测后,认为产品质量达到了石油化工行业标准ＳＨ／０５３３－９３中９５号工…     

基于cxGrid控件的通用数据库查询维护

阐述基于cxGrid控件的通用数据库查询维护程序的设计方法和程序实现,并通过一个实例给出了程序代码。