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类输结构，实现全摆幅输出。     

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.     

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

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

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

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

Use and Disuse of Contextual Primes in Dynamic News Environments

This study reexamines the news priming effects of the 1991 Persian Gulf War. Suggesting an alternative approach to those used in previous studies, this study assesses individuals' use and disuse of a contextual prime (i.e., the air war) in dynamic news environments. With a short-term, quasi-experimental approach considering the air war as a prime stimulus, a path analysis suggests robust evidence of the short-term accessibility effects of priming. More importantly, as suggested in Martin's (1986) set/reset model, this study extends priming effects beyond the simple hydraulic patterns of accessibility effects. It reveals that both attitudes toward military action and attitudes toward a diplomatic solution were used in subsequent judgments of the president's job performance and handling of the war. The associations between attitudes toward a diplomatic solution and subsequent judgments were even stronger than those between attitudes toward military action and the same subsequent judgments, despite the clear prowar primes of news discourse in the air-war context. This pattern was more greatly intensified among those in the high news attention group than those in the low news attention group     

Infinite-dimensional convex optimization in optimal and robustcontrol theory

Many engineering problems can be shown to be equivalent to solving semidefinite programs (SPs), i.e., convex optimization problems involving linear matrix inequalities (LMIs). Powerful computation tools are available for such problems in the finite-dimensional case. However, the problems arising in optimal and robust control theory are often infinite dimensional, and so adequate computation tools are not available. The key to tackling such problems with finite computation tools is to have a primal-dual formulation of the problem without duality gap. In this paper we study infinite-dimensional SPs and present a lifting technique to recast SPs as parameterized linear programs (LPs). This enables the wealth of theoretical tools available for infinite-dimensional LPs to be extended to infinite-dimensional SPs. In particular, we develop some new sufficient conditions for the lack of a duality gap for infinite-dimensional SPs and give an exact characterization of the primal and dual problems for these cases. Both primal and dual problems are formed as infinite-dimensional SP problems, with finite truncations to each giving upper and lower bounds, respectively, on the exact solution to the infinite-dimensional problem. Thus, these results can form the basis of practical computation schemes for infinite-dimensional problems, which require only finite-dimensional computation tools. To illustrate the power of these tools we apply the results to two previously unsolved optimization problems, namely minimizing the l₁ norm of a closed-loop system subject to bounds on the frequency response magnitude at a finite number of points and/or bounds on the H₂ norm     

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.