管式气体分散式反应器制备纳米碳酸钙

以石灰石为原料，利用管式气体分散式反应器新工艺制备出了粒径30～70nm的碳酸钙粉体。采用X射线衍射（XRD）、扫描电镜（SEM）、粒度分布仪及红外光谱仪（Fr-IR）等测试手段，对产品的物相、形貌和粒度分布进行了表征。X射线衍射表明产物为六方晶系方解石型碳酸钙并且产品结晶性能良好；扫描电镜及粒度分析表明粒度大小均匀、分散性良好；红外光谱表明改性后硬脂酸钠已吸附在碳酸钙表面，碳酸钙颗粒基本呈单分散状态。管式气体分散式反应器制备纳米碳酸钙粉体的优点是工艺简单，操作容易，原料易得，生产的产品粒径小，粒度分布窄，易于工业化生产。     

一种聚羧酸型高效减水剂的试验研究

采用溶液共聚合成了一种聚羧酸型高效减水剂,对合成中影响减水剂性能的各种因素进行了分析;运用正交实验法,得出了合成该减水剂最佳配方和工艺条件;并研究了该减水剂对水泥净浆性能和混凝土性能的影响。结果表明,该产品掺量少(1.2%)、分散性能好(减水率25.4%)、混凝土性能高(抗压强度比178%)、不含甲醛等有害物,是一种良好的混凝土减水剂。     

降低催化汽油烯烃助剂LAP-1的应用实验

介绍了降低催化汽油烯烃助剂LAP－1在我厂的应用情况，该助剂在我厂催化装置上应用后，催化汽油的烯烃含量平均下降约4．5％，同时汽油的辛烷值也略有提高，总收率上升0．5％。     

Multi-Agent虚拟仪器Petri网建模与性能分析

针对当前虚拟仪器的特点,描述一种基于Multi-Agent的虚拟仪器体系结构,首先将虚拟仪器按功能划分四种Agent,各Agent通过一个测试软总线传送数据,共享数据.然后用Petri网对Multi-Agent虚拟仪器进行建模,分析它的并发与冲突、活性以及安全性等结构特性,并在此基础上实现了一个原型系统,结果表明该体系结构具有开放性、适用性、灵活性等特点.     

乙烯裂解炉管内流动反应历程的数值模拟(Ⅰ)二维流动反应数学模型的建立

引　言乙烯生产装置的核心部分是管式裂解炉 ,在小口径反应管内进行着湍流流体流动、传质、传热及裂解反应等过程 ,它们高度耦合在一起 ,其内部有许多十分重要的化学工程参数均不易测得 ,这就使得对管式裂解炉运行机制与规律的了解和认识及其性能的优化变得十分困难 .但是 ,乙烯工业的发展所带来的经济效益又迫使人们要了解和掌握这一复杂过程 ,优质高效地设计、操作和优化乙烯管式裂解炉 .近 10多年来 ,利用流动反应数学模型较准确地描述和模拟上述复杂过程 ,证明是管式裂解炉设计改进与优化操作行之有效的途径[1] .乙烯裂解炉反应管的工艺…     

Stability Analysis and Controller Design of Discrete Interval Type‐2 Fuzzy Systems

This paper is concerned with trajectory stabilization of a computer simulated model car with uncertain velocity via type‐2 fuzzy control systems. First, stability conditions of discrete interval type‐2 fuzzy control systems are given in accordance with the definition of stability in the sense of Lyapunov. Then, we approximate a computer simulated model car, whose dynamics are nonlinear and velocity is uncertain. A type‐2 Takagi–Sugeno TS fuzzy controller is designed to handle system uncertainty. The control rules, which guarantee stability of the system, are derived from the approximated model. The simulation results show that the type‐2 fuzzy control rules can effectively stabilize the car model.     

浅谈皮带定量给料机的机械配置选型

皮带定量给料机是目前水泥生产企业中最为常见的过程计量和配料的设备。作者结合多年来开发、调试和使用皮带定量给料机的实践经验与资料积累，介绍了如何根据实际需要和使用量程，通过对皮带定量给料机的主要机械参数的计算来合理地选用定量给料机的型号和规格。     

软件测试中测试用例设计的问题研究

软件测试作为软件质量的保证,受到了IT行业的高度重视。测试用例的设计是软件测试的主要内容。重点分析了测试用例的优点和不足,建议针对不同的软件项目采取不同的测试用例设计方法。     

系统测试的外部质量评价方法研究

随着软件行业的成熟,对软件定量评价的必要性增大。作者借鉴功能点分析法[1]结合自身多年系统测试的经验,提出一套软件外部质量[2]的评价模型,简便可行的解决了软件质量工程评价过程中因缺少实操性而难以量化的难题,为软件工程质量定量评价提供客观可行的方案。     

基于串空间认证测试的DTLS协议认证性分析

网络通信的普及和发展使得对网络协议尤其是安全协议的需求日益增长,同时安全要求及攻击方式的多样化对网络安全协议的效率和准确性提出了更高的要求。通过对各种协议安全性分析方法进行研究,采用串空间方法对DTLS协议进行形式化建模,进而采用认证测试方法进行协议认证性证明,用简明清晰的方式验证DTLS协议的认证性,保障了数据传输的安全。