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.     

反应器和钢烟囱整体吊装的难点和对策

介绍了在金陵石化炼油厂200万t/a柴油加氢装置建设中,将质量为237t的反应器和高60m的钢烟囱成功进行整体吊装过程中的关键技术.通过此项工程实践得出以下结论象钢烟囱这样细长重物的整体吊装,由两台吊车抬立起后,再由主吊车独立吊装就位的施工方法简单易行,安全可靠,应用范围广;结构复杂细长杆的吊装强度和挠度计算比较复杂,在计算过程中可以忽略部分次要件的质量,分别以两吊点为支点计算上下吊点所受的力,然后再按比例放余量,使两吊点受力之和等于细长杆的重力,计算挠度时,可以适当地把问题夸大化,从而建立近似的力学模型;高压厚壁重型容器的吊装,宜直接设置专门吊盖与大法兰用螺栓把紧起吊;施工现场地基坚实是保证吊车站位和吊装施工的前提条件.     

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.     

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

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

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

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

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

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

压电量测系统漏电影响分析

本文通过对压电量测系统等效电路图的逐步简化,得出矩形脉冲信号的漏电方程;并对系统在各种情况下的时间常数,漏电相对误差进行了计算,最后就系统在校准和现场测试中经常碰到的几种情况,进行了定量估算,从而解决了压电量测系统在使用中的一些具体问题。