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.     

Estimation for the number of components in a mixture model using stepwise split-and-merge EM algorithm

The main difficulty with EM algorithm for mixture model concerns the number of components, say g. This is the question of model selection, and the EM algorithm itself could not estimate g. On the contrary, the algorithm requires g to be specified before the remaining parameters can be estimated. To solve this problem, a new algorithm, which is called stepwise split-and-merge EM (SSMEM) algorithm, is proposed. The SSMEM algorithm alternately splits and merges components, estimating g and other parameters of components simultaneously. Also, two novel criteria are introduced to efficiently select the components for split or merge. Experimental results on simulated and real data demonstrate the effectivity of the proposed algorithm.     

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.     

Photoluminescence and X-ray Diffraction of Distributed Bragg Reflector

Spectral and structural characteristics of distributed Bragg reflector (DBR) in vertical-cavity surface-emitting lasers were studied with photoluminescence and double- crystal X- ray diffraction measurement. The expected high quality epitaxial DBR structure was verified. In the X- ray double- crystal rocking curves of DBR the zeroth- order peak, the first and second order satellite peaks were measured. Splitting of diffraction peak appeared in the rocking curves was analyzed. The effects of introduced deep energy levels on the structural perfection and optical properties were discussed.     

Distributed Optical Fiber Sensor for Multi-point Temperature Measurement

The distributed optical fiber sensing technology is overviewed, which is based on Raman scattering light theory. Basic operation principle, structure, system characteristics and signal processing are discussed. This structure and method of the signal processing possess of certain spatial resolution, hence will ensure the practicability of system.     

一种改善Turbo乘积编码OFDM系统性能的新方法

本文提出一种利用对译码器软信息限幅来改善多径衰落信道中Turbo乘积编码OFDM(TPC-OFDM)系统性能的新方法。通过对不同多径衰落信道中QPSK映射和16QAM映射的TPC-OFDM系统性能的数值仿真，结果表明在10^-5误比特率下，这种新方法比传统的迭代译码大约有6～10dB的改进，对严重多径环境下TPC-OFDM系统的错误平底也有明显的改进。     

An experiment for showing some kind of artificial understanding

In this paper we design an experiment which can be depicted as a simple scenario, a very limited 'world'. In this world, there are an actor that can pursue a project and an observer that is keeping its eyes on the actor. We try to show in the experiment that the observer can to some degree understand the actor based on its knowledge and some metaphors, i.e. understand what the actor is doing and why. As the conclusion of this experiment, we try to show some features of 'understanding'. These are (1) that 'understanding' has to be based on some preliminary knowledge; (2) that 'understanding' is a process of incremental learning; (3) that, as for symbolic systems, some metaphors are necessary for mapping real entities into concepts in mind.     

催化裂化汽油脱硫助剂TS-01的工业试验

中国石油化工股份有限公司九江分公司在I套催化裂化装置进行了TS—0l催化裂化汽油脱硫双功能助剂的工业应用。结果表明：TS—0l剂对催化裂化汽油有较好的脱硫效果。当TS—0l剂注入原料中的量为70μg／g时，对催化裂化汽油的硫脱除率约为20％；注入量为120μg／g时，硫脱除率可达到25％-30％。汽油中脱除的硫主要以硫化氢形态转移至于气、液化气中。TS—01剂对产品分布及产品其它质量无明显影响，该剂亦有良好的金属钝化效果。     

Itemset trees for targeted association querying

Association mining techniques search for groups of frequently co-occurring items in a market-basket type of data and turn these groups into business-oriented rules. Previous research has focused predominantly on how to obtain exhaustive lists of such associations. However, users often prefer a quick response to targeted queries. For instance, they may want to learn about the buying habits of customers that frequently purchase cereals and fruits. To expedite the processing of such queries, we propose an approach that converts the market-basket database into an itemset tree. Experiments indicate that the targeted queries are answered in a time that is roughly linear in the number of market baskets, N. Also, the construction of the itemset tree has O(N) space and time requirements. Some useful theoretical properties are proven.     

国外尾矿坝安全与环境研究综述

安全与环境一直是国外尾矿坝研究的重点。笔者综述了自1990年以来国外涉及尾矿坝安全与环境方面有代表性的文献 ,内容包括尾矿坝溃坝、溃坝理论研究、安全管理、环境污染、污染监测、污染治理、污染理论研究及生态复垦 ,这些对提高我国尾矿坝管理、工程技术水平都有较好的参考价值