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.     

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

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

Analysis and comparison of two-dimensional permanent-magnet arrays for planar motor

This paper investigates three kinds of permanent-magnet arrays used in planar motors with polarity centers distributed in the lattices of a matrix. The magnetic field of every kind of magnet array is analyzed by analytical methods. First, we give a Laplace equation of magnetic scalar potential and a series of boundary conditions. Then, we derive the analytical expressions of magnet field strength and magnet flux density in the air gap of each kind of magnet array by the method of separation of variables. Finally, we compare the three types of magnet arrays on the basis of the analytical solutions.     

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.     

Domain-Driven, Actionable Knowledge Discovery

Data mining increasingly faces complex challenges in the real-life world of business problems and needs. The gap between business expectations and R&D results in this area involves key aspects of the field, such as methodologies, targeted problems, pattern interestingness, and infrastructure support. Both researchers and practitioners are realizing the importance of domain knowledge to close this gap and develop actionable knowledge for real user needs.     

曲靖二期工程电气、热控工艺质量策划的运用

介绍了曲靖电厂二期工程电气、热控安装工艺质量策划工艺质量的方法 ,及策划过程和划重点     

硫酸铈和磷酸处理对铌酸表面酸度及催化活性的影响

用硫酸铈和磷酸对固体铌酸进行了表面处理。表面酸度和TG DTA测定结果表明 ,与未处理的固体铌酸相比 ,处理后表面强酸量提高 3～ 5倍 ,耐受温度由 30 0℃提高到 5 0 0～ 6 0 0℃。用于催化酯化合成二甘醇二苯甲酸酯增塑剂 ,处理后固体铌酸的催化活性和重复使用寿命有明显提高。     

Perturbation realization, potentials, and sensitivity analysis ofMarkov processes

Two fundamental concepts and quantities, realization factors and performance potentials, are introduced for Markov processes. The relations among these two quantities and the group inverse of the infinitesimal generator are studied. It is shown that the sensitivity of the steady-state performance with respect to the change of the infinitesimal generator can be easily calculated by using either of these three quantities and that these quantities can be estimated by analyzing a single sample path of a Markov process. Based on these results, algorithms for estimating performance sensitivities on a single sample path of a Markov process can be proposed. The potentials in this paper are defined through realization factors and are shown to be the same as those defined by Poisson equations. The results provide a uniform framework of perturbation realization for infinitesimal perturbation analysis (IPA) and non-IPA approaches to the sensitivity analysis of steady-state performance; they also provide a theoretical background for the PA algorithms developed in recent years     

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.