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.     

模拟电路故障诊断系统的设计

介绍了板级模拟电路故障诊断系统,论述了系统的硬件组成和软件功能,该系统结合了测试技术、故障诊断理论,将专家经验融合到计算机软件系统中,能自动完成电路板的性能测试,并根据性能测试结果生成故障隔离引导树,引导操作人员对被测电路板进行故障的检测和维修.系统符合开放的、模块化、通用化的构建思想及在硬件资源的可互换方面的考虑,大大提高了系统的扩展能力和测试程序集(TPS)的重用性,节约了软件开发的成本,对于开发集数字电路与模拟电路为一体的通用故障诊断平台具有一定的借鉴作用.     

CDMA发射分集系统的多用户检测常模算法分析

空时分集技术的最大优点在于在不增加带宽的情况下可以提高系统的可靠性,是目前移动通信的研究热点.常模算法是一种性能优良的码分多址(CDMA)盲多用户检测技术,能确保判决信号与实际传送信号之间的差错较小,误码率性能良好.文中提出将标准线性受限常模算法(LCCMA)与空时分组码(STBC)相结合,设计出一种收敛快、能够改善系统性能的基于2-空时分组码的多用户接收机.     

Conflict detection and resolution in two-dimensional prefix router tables

We show that determining the minimum number of resolve filters that need to be added to a set of two-dimensional (2-D) prefix filters so that the filter set can implement a given policy using the first-matching-rule-in-table tie breaker is NP-hard. Additionally, we develop a fast O(nlogn+s) time, where n is the number of filters and s is the number of conflicts, plane-sweep algorithm to detect and report all pairs of conflicting 2-D prefix filters. The space complexity of our algorithm is O(n). On our test set of 15 2-D filter sets, our algorithm runs between 4 and 17 times as fast as the 2-D trie algorithm of A. Hari et al. (2000) and uses between 1/4th and 1/8th the memory used by the algorithm of Hari et al. On the same test set, our algorithm is between 4 and 27 times as fast as the bit-vector algorithm of Baboescu and Varghese (2002) and uses between 1/205 and 1/6 as much memory. We introduce the notion of an essential resolve filter and develop an efficient algorithm to determine the essential resolve filters of a prefix filter set.     

Highly ordered microstructures of poly(styrene-b-isoprene) block copolymers induced by solution meniscus

Microstructures of hundreds of micron thick poly(styrene-block-isoprene) copolymer films solution-cast in a cylindrical tube with the solvent evaporation controlled were investigated by transmission electron microscope (TEM), small angle X-ray scattering (SAXS) and optical microscope (OM). In a block copolymer with cylindrical polyisoprene microdomains, the orientation of the cylinders was varied along radial direction of the cylindrical tube. Highly aligned hexagonal arrays of in-plane polyisoprene cylinders were formed with their cylindrical axis parallel to the circumference of the tube in the regimes close to the wall edge. In contrast randomly ordered microdomains were observed at the center of the tube. We have also found that the orientation depends on the solvent evaporation rate and an intermediate rate (∼2.3 nL/s) provides the best orientation. In the case of a block copolymer with a bicontinuous double gyroid structure, we obtained a globally ordered microstructure where [111] crystallographic direction was parallel to the circumference of the tube. For both block copolymers, the area of highly ordered arrays of nanoscopic domains is over 1 mm². Development of the orientation was explained by coupling two orthogonal fields: (1) The flow of a solution induced by strong capillary force at a meniscus between the cylindrical tube wall and the block copolymer solution and (2) the solvent evaporation.     

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

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

双口RAM在大屏幕LED显示系统中的应用开发

双口RAM与常规RAM的最大区别是双口RAM具有两套独立的地址、数据和控制线,允许两个独立的CPU或控制器同时异步地访问存储单元,双口RAM由片内的仲裁逻辑来确定哪一侧的CPU可以访问内部RAM单元.IDT7132是2kB的标准双口RAM.文中重点介绍采用以自顶向下方法设计的基于CLD(复杂可编程逻辑器件)的大屏幕LED(发光二极管)显示系统中双口RAM的应用,并给出了系统设计方法及相关硬件电路.本设计中IDT7132双口RAM用来连接单片机信号处理模块和CPLD扫描模块.     

利用试井资料评价压裂地质效果

依据裂缝井试井解释理论，利用实测试井资料对压裂地质效果进行了深入剖析。通过部分探井措施后增产效果实例研究，把压裂地质效果分为三种类别；并从地质角度出发，详细分析了优选压裂井层的依据。为油气井合理开发和制定增产措施提供参考依据。     

常减压蒸馏装置换热网络的节能优化

利用夹点技术理论对耗能严重的某炼油厂常减压蒸馏装置进行用能诊断分析;并结合热力学原理得到两种优化换热网络,节能效果显著。