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.     

烧结处理小矿山精矿的应用研究

研究小矿山精矿的性质，分析小矿山精矿对烧结过程的影响，提出了增加小矿山精矿配入量的途径及方法．     

宽带固定增益放大器THS4302特性及应用

THS4302是TI公司推出的新型固定增益放大器，具有2.4GHz的带宽和 5V／V的固定增益。其性能是现有同类产品的四倍，可为高速应用系统提供高速低噪声的模拟解决方案。文中介绍了THS4302的特点、工作原理及使用注意事项，并在此基础上给出了几种典型应用。     

一种前馈型全摆幅恒跨导准恒增益CMOS运放设计

设计了一种适合在低电源电压下工作的前馈型输入级放大结构，在全摆幅的动态工作范围内，输入级跨导保持不变，采用负载电流补偿以保证增益近似恒定，输出采用前馈型AB类输结构，实现全摆幅输出。     

A two-dimensional time-domain finite element formulation for periodic structures

A formulation is presented for a two-dimensional time-domain finite-element method (FEM-TD) that incorporates periodic boundaries. The specifics of the method are shown for scattering problems, but it should be straightforward to extend it to radiation problems. The method solves for a transformed field variable (instead of solving directly for the electric field) in order to easily enable periodic boundary conditions in the time domain. The accuracy and stability of the method is demonstrated by a series of examples where the new formulation is compared with reference solutions. Very accurate results are obtained when the excitation (frequency range) and the geometry are such that no higher order Floquet modes are present. The accuracy is degraded in the presence of higher order modes due to the rather simple absorbing boundary condition that is used with the present formulation. The method is found to be stable even for angles of incidence close to grazing.     

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.     

The changes of lipid metabolism and hemorrheology in intrahepatic cholestasis during pregnancy

OBJECTIVE: To identify the influence of the increased level of serum cholyglycine (CG) on lipid metabolism and hemorrheology in patients with intrahepatic cholestasis during pregnancy (ICP). METHODS: The concentrations of serum CG, total cholesterol (CH), triglycerides (TG), high density lipoprotein-cholesterol (HDL-C), low density lipoprotein-cholesterol (LDL-C), high shear and low shear of blood specific viscosity (HS and LS), plasma specific viscosity (PV) and hematocrit (HCT) were measured in 68 cases of primiparas with single pregnancy and 30 healthy nonpregnant women respectively. The group of ICP was composed of 35 cases with CG > 6 mumol/L, the group of normal pregnancy, 33 cases with CG < 6 mumol/L. RESULTS: The means of CG and the lipidic parameters in the two pregnant groups were significantly higher than those in the non-pregnancy group (P < 0.02-0.001) except the means of HDL-C between the groups of ICP and non-pregnancy. The levels of LDL-C, LDL-C/HDL-C, LS, PV and HCT in the ICP were significantly higher than those in the normal pregnancy group (P < 0.02-0.001). CONCLUSIONS: There are significant changes of lipid metabolism and hemorrheology in patients with ICP. However, these changes could be corrected after pregnancy termination, when the level of serum CG returned to normal. The results suggest that the pathophysiologic changes of ICP are associated with increased level of serum CG.     

Nondestructive evaluation of corrosion by fractal geometry

Fractal geometry is finding its application in the nondestructive evaluation (NDE) of corrosion by characterizing the corrosion surface with fractal dimensions. It was found that corrosion surfaces can be well described by multifractals. Two algorithms were used to obtain the fractal dimensions of a corroded aluminum alloy surface, one being box-counting and another being coherent light scattering. Fractal dimensions were related with the damage caused by corrosion and fatigue.     

Propagation of a quasi-shear horizontal acoustic wave in Z-Xlithium niobate plates [and conductivity sensor application]

It is found that an acoustic wave which is nearly polarized in the shear horizontal (SH) direction can propagate along the X axis of a Z-cut lithium niobate plate if the ratio h/λ, where h=plate thickness and λ=acoustic wavelength, is less than about 0.5. Attractive properties of this quasi-SH wave include: (1) phase velocity nearly constant for all values of h/λ; (2) ability to propagate in contact with a liquid medium; and (3) electromechanical coupling coefficient as high as 0.15. These properties make the wave attractive for use in a variety of sensor and signal processing applications. An example of sensor applications is illustrated by using the wave to measure conductivity of liquids (aqueous KCl solution). The frequency of a 12-MHz quasi-SH mode oscillator fabricated on a 0.48 wavelength thick Z-X lithium niobate plate is found to vary by more than 80 kHz for variation in KCI concentration from 0 to 0.15%     

计算机存储系统的9位字节单向错误检测码

本文介绍了一种计算机存储系统中的单向错误检测码，系统构成采用９位字节，其中８位数据位，１位校验位，并使用一个单独的附加奇偶校验字节。单向错误检测码有两类，一类每个字包含固定的奇偶校验位；另一类每个字节包含的检验位的构成方式是任意的。