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.     

AMBE-1000声码器接口电路设计方法

DVSI公司的AMBE-1000声码器芯片是一款高性能的全双工、实时语音压缩编解码芯片,可以应用于卫星通信、保密通信、视频会议等领域.文中简要介绍AMBE-1000声码器的A/D-D/A接口以及信道接口的工作原理;结合实例分别给出了AMBE-1000声码器与PCM编解码器MC14LC5480的A/D-D/A接口电路、与单片机AT89C51的信道接口电路的设计方法;最后指出了电路设计中应该注意的问题.     

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

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

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

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

基于DTW算法的语音识别系统实现

动态时间归整(DTW)算法的实现简单有效,在孤立词语音识别系统中得到了广泛的应用.介绍了将DTW算法移植到TMS320VC5402上实现孤立词语音识别的原理、系统硬件组成和软件设计.研究结果表明,系统能满足实时性能要求,识别效果良好.     

朗讯cdma 1x基站分组管宽度的配置

简单介绍朗讯系统cdma 1x基站分组管(PP)宽度的配置，并对朗讯cdma 1x基站分组管宽度不合理的配置及信道板扩容后的PP宽度配置进行了案例分析。     

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.     

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

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