单质碘、碘酸根和碘离子的吸附研究进展

本文综述了单质碘、碘酸根和碘离子吸附的最新研究进展,对吸附机理进行了详细讨论.活性炭和有机聚合物是单质碘比较有效的吸附剂,吸附主要靠疏水作用和络合作用来实现.碘酸根的吸附主要靠酸碱作用来实现,由于碘酸根不易与吸附剂产生特异的强相互作用,因而缺乏选择性好的碘酸根特效吸附剂.碘离子被吸附时主要靠化学反应和静电作用,将单质银...     

光伏发电并网及电量计量问题的探究

目前,随着化石能源的逐渐减少,越来越多的太阳能光伏发电系统开始并入电网。但是由于太阳能发电受季节性、昼夜性及光强不稳定等因素的影响,其并网对电力系统的稳定性影响很大。综合近年来国内外光伏发电及电量计量问题的研究现状,分析了太阳能发电并网的系统结构、影响电能质量的因素和电量计量问题,并提出了改善措施。     

基于C++模板的Z规格说明的数据类型的实现

主要介绍了用C++类模板实现Z规格说明语言中的类型，包括数据结构的设计、成员函数的设计。该模板的实现便于代码的重用和简化求精，从而提高软件开发的效率。     

可视化的SOZL编辑器的设计与实现

1.引言从60年代“软件危机“出现以来,为了提高软件质量和软件开发的效率,人们提出了各种各样的软件开发方法。这些方法大致上可分为三类:结构化方法、面向对象方法和形式方法。在过去的三十多年中,人们在结构化方法和面向对象方法的研究及其应用上做了大量的工作。结构化方法最为成熟,影响也最大。直到现在,仍有60-70％的系统是用结构化方法开发的。面向对象方法近十年发展比较快,大有取代结构化方法的趋势。对于形式方法,一直有人在研究,但由于种种原因,投入的人力和物力很不够,还未形成规模,应用也不     

光伏发电并网及电量计量问题的探究

综合近年来国内外光伏发电及电量计量问题的研究现状,分析了太阳能发电并网的系统构成,并着重分析了光伏并网中逆变器控制策略及电流环、锁相环的作用;分析了光伏发电对电网网损的影响,并得出电站容量与配电网有功损耗直接相关,容量较小时应接入线路末端,容量较大时,应接入线路首端;探讨了双向电量计量问题,并提出改善措施。     

影响变电站电能计量准确度的原因分析及解决措施

变电站的电量计量的准确度对计算变电站网络损耗起着重要作用。基于变电站实际运行中存在的问题,从电量计量系统的组成部分出发,分析了电流互感器、电压互感器、二次回路、计量表等部分对电能计量系统准确度的影响,并提出改善措施,为变电站的安全、稳定、经济运行提供了理论基础。     

浅孔套料钻的研制

本文介绍了钢轨联接孔加工用新型浅孔套料钻的结构、刃形特点和使用效果。     

关于Z规格说明语言中模式的剖析

1.引言形式规格说明语言一般是提供一套称为语法域的记号系统和一个称为语义域的对象集合,以及一组精确地定义哪些对象满足哪个规格说明的规则。规格说明是语法域中的句子。它用数学表示法精确地描述了软件系统必须具备的性质。 Z是目前比较流行的一种形式规格说明语言,它以一阶谓词逻     

结构化方法、面向对象方法和形式方法的比较与结合

结构化方法、面向对象方法和形式方法是三种不同的软件开发方法。本文对这三种开发方法进行了对照比较,讨论了它们的互相结合,并提出了将其结合在一起的集成方法的设想。     

空间完备性理论及其测试

证明和测试是验证规格说明是否正确的2种方法,两者互为补充.针对软件规格说明难以证明的问题,提出对状态空间进行完备性测试的理论.采用构造函数和受限状态宅间的概念,讨论用于测试z规格说明语言初始状态存在性的方法,通过实例证明该方法的可行性.