论文部分内容阅读
本文介绍了低浓度冶炼烟气用非稳态转化法制酸的技术，介绍了低浓度SO2烟气直接制酸的重大意义,愿为冶炼厂低浓度SO2烟气的治理、为中国的非稳态转化制酸事业努力作出应有的贡献.
推荐低浓度冶炼烟气用非稳态转化法制酸
【摘 要】
：
本文介绍了低浓度冶炼烟气用非稳态转化法制酸的技术，介绍了低浓度SO2烟气直接制酸的重大意义,愿为冶炼厂低浓度SO2烟气的治理、为中国的非稳态转化制酸事业努力作出应有的贡献.
【机 构】
：
扬州市中兴硫酸设备厂,江苏,扬州,225115
【出 处】
：
2004年全国硫酸工业技术交流会
【发表日期】
：
2004年5期
其他文献
按照通常的观点,软件由程序和文档两部分构成,文档的检测涉及太多的非技术的因素,而目前在软件测试性计算的文献中多把程序测试性和软件测试性当作同一概念,借用此观点,这里所讨论的软件的功能验证,也就是程序的功能验证.程序的正确性验证包括两个方面的问题:一是在准确给出程序的功能的情况下,对给出的功能一一验证;二是在没有准确给出程序功能的情况下,看给定的程序可以完成哪些功能.前者是功能验证,后者是功能检测.
软件测试是保证软件质量、提高软件可靠性的关键.目前国内外传统的面向功能或面向过程的测试理论与方法已经较为成熟.以Weyuker的测试充分性公理系统为基础形成了较为一致的测试层次划分法:单元测试、集成测试、系统测试.20世纪80年代以来,面向对象的技术以其良好的系统结构,规范的编程风格,极大地优化了数据的安全性,提高了代码的重用率.使得面向对象技术的应用日益广泛,并且正向软件开发的全过程发展.但是一
本文对基于角色访问控制在舰载分布式处理系统中的应用进行了研究。文章阐述了舰载指控系统发展的主要方向；对访问控制进行了概述；对RBAC模型构件进行了分析；介绍了RBAC实现过程。
本文对基于工业以太网的工业企业控制网络进行了论述。文章阐述了工业控制领域系统的结构从最初的计算机集中控制系统到第二代的分布式控制系统的发展历程；介绍了以太网控制网络和一种典型的工业以太网应用实例。
本文对校园通信资源管理系统进行了设计研究，并开发出一个C／S模式的GIS应用系统，将其应用于校园的通信资源管理工作之中，为学校通信管理部门和单位提供了一种新型的、可视化的、高效的管理方法。这对促进校园数字化管理的规范化、系统化和现代化具有重要的意义。
本文对计算机通信网中路由问题的博弈论解决方案进行了研究。文章围绕计算机通信网路由选择的相关研究工作、博弈理论基础知识、基于博弈论的最佳路由解决方案、仿真结果及分析等进行了论述。
本文对数据猜测减小模调度启动间距的方法进行了论述。文章指出，在软件流水中，模糊相关边增强了相关性限制，从而降低了调度性能。数据猜测能打破模糊相关边，优化SCC，减小RecMll，最终减小模调度的启动间距，提高软件流水的性能。
线性方程组的求解是数值代数的三大问题之一,它是众多科学与工程计算问题的核心。本文对共轭梯度法改进算法进行了探讨。理论分析和测试结果表明，ICG算法和ICR算法都改进了原有的算法，说明改进的方法是可行的。
随着计算机软硬件系统日趋复杂,提高系统可靠性的验证技术日益受到重视.模型检测(modelchecking)以自动化程度高,实用性强而引人注目,并成功地应用于芯片设计、数字电路、通信协议、控制系统等诸多领域.如Intel,IBM,Lucent,Motorola等公司已经将该技术应用于产品的实际研发过程.模型检测已经成为形式化方法工业应用的典范之一.模型检测是一种形式验证技术,目的是检测系统是否具有所