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.     

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

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

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

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

论大学生自主学习的高考制度创新

引导大学生自主学习,培养大学生的自主学习能力,已逐步成为高等教育工作者的共识.如何促进大学生的自主学习,关键取决于两个方面:就学生而言,要树立自主学习的观念,强调学习的自主性、主动性、自觉性、有效性;就教育制度而言,要建立与大学生自主学习相匹配的高考招生制度、学籍管理制度、学生管理制     

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

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

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

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