改性生物质作为型煤黏结剂的研究

探讨了用NaOH改性生物质秸秆作为型煤黏结剂的可行性,考察了NaOH溶液浓度对生物质改性的影响以及生物质添加量、无机物(MgO和MgCl2)添加量对型煤机械强度、防水性能和着火温度的影响。研究结果表明,NaOH改性液的质量分数为1.0%~2.0%时,制得的生物质型煤有较高的机械强度;生物质添加量在2%~20%时,随生物质添加量的增加,机械强度增加,着火温度降低,但防水性较差;而在生物质型煤中加入适量无机黏结剂后,型煤有很高的浸水强度,表现出优越的防水性能。     

负载型固体催化剂在生物柴油制备中的研究现状及应用前景

对生物柴油及其制备方法进行简单介绍，重点综述了负载型固体酸、碱催化剂在生物柴油制备中的研究现状，并指出当前负载型固体催化剂研制中的研究热点，最后对其应用前景了进行展望。     

用VB解决CAI中的几个问题

本文利用Windows的API函数将VB窗体前置,避免教师在CAI过程中频繁切换活动窗口,并通过VB控件将各种不同的电子文档内容在窗体中显示出来。     

Global Asymptotical Synchronization of Chaotic Lur'e Systems Using Sampled Data: A Linear Matrix Inequality Approach

Sampled-data feedback control for master-slave synchronization schemes that consist of identical chaotic Lur'e systems is studied. Sufficient conditions for global asymptotic synchronization of such chaotic Lur'e systems are obtained using the free-weighting matrix approach and expressed in terms of linear matrix inequalities (LMIs). With the help of the LMI solvers, the sampled-data feedback control law can easily be obtained to globally asymptotically synchronize Lur'e chaotic systems. The effectiveness of the proposed method is finally illustrated via numerical simulations of chaotic Chua's circuits.     

Tri-Gate Bulk MOSFET Design for CMOS Scaling to the End of the Roadmap

A tri-gate bulk MOSFET design utilizing a low-aspect-ratio channel is proposed to provide an evolutionary pathway for CMOS scaling to the end of the roadmap. 3-D device simulations indicate that this design offers the advantages of a multi-gate FET (reduced variability in performance and improved scalability) together with the advantages of a conventional planar MOSFET (low substrate cost and capability for dynamic threshold-voltage control).     

Automating application software generation

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper.     

Sol-Gel Preparation of LaNiO3 and Its Physical and Chemical Properties

LaNiO3 was synthesized by sol-gel method in which lanthanum nitrate and nickel nitrate were used as start materials and citric acid was used as complex for gel formation.The precursor was dried and subsequently heated at elevated temperature to form the desired product.XRD analysis shows that pure LaNiO3 was synthesized.Electrical conductivity and electrochemical performance of the material were tested.The electrical conductivity decreases from 34.5that there are current peaks in the curve, which is the evidence of the electrochemical activity of LaNiO3.     

天铁炼钢厂四流中间包流场的水模实验及优化

介绍了天铁炼钢厂中间包水模实验原理和过程，分析了斜、直、圆三种型式挡渣墙模拟结果，提出了合理的挡渣控流方案，在生产实践中使用效果良好。     

Effect of Y2O3, CeO2 on Sintering Properties of Si3N4 Ceramics

The effect of rare earth oxides Y203 or Ce02 on sintering properties of Si3N4 ceramics was studied and the mechanism of assisting action during sintering was analyzed. The results in dicate that the best sintering properties appear in Si3N4 ceramics with 5% Y203 or 8% CeO2. Secondary crystallites are formed at grain boundaries after heat treatment,which decreases the amount of glass phase and contributes to the improvement of high-temperature mechanical properties of silicon nitride.     

Experience in testing the Motif interface

The testing and quality assurance of the Motif 1.0 graphical user-interface software are described. The testing goals, which fell into three general categories (code coverage, defect-density, and defect-arrival rate), and a deliverable formal test suite are examined. The three phases of the testing process-evaluation, test development, and regression testing-and the tools used in testing are discussed