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.     

On strategies for enforcing interfacial constraints and evaluating jump conditions with the extended finite element method

We consider a problem stemming from recent models of phase transitions in stimulus‐responsive hydrogels, wherein a sharp interface separates swelled and collapsed phases. Extended finite element methods that approximate the local solution with an enriched basis such that the mesh need not explicitly ‘fit’ the interface geometry are emphasized. Attention is focused on the weak enforcement of the normal configurational force balance and various options for evaluating the jump in the normal component of the solute flux at the interface. We show that as the reciprocal interfacial mobility vanishes, it plays the role of a penalty parameter enforcing a pure Dirichlet constraint, eventually triggering oscillations in the interfacial velocity. We also examine alternative formulations employing a Lagrange multiplier to enforce this constraint. It is shown that the most convenient choice of basis for the Lagrange multiplier results in oscillations in the multiplier field and a decrease in accuracy and rate of convergence in local error norms, suggesting a lack of stability in the discrete formulation. Under such conditions, neither the direct evaluation of the gradient of the approximation at the phase interface nor the interpretation of the Lagrange multiplier field provide a robust means to obtain the jump in the normal component of solute flux. Fortunately, the adaptation and use of local, domain‐integral methodologies considerably improves the flux evaluations. Several example problems are presented to compare and contrast the various techniques and methods. Copyright © 2004 John Wiley & Sons, Ltd.     

Social phobia and difficulties in occupational adjustment.

This study examined whether social phobics differed from nonanxious controls in occupational adjustment. Results indicated that generalized and nongeneralized social phobics, in contrast to controls, were underemployed and believed that their supervisor would rate them as less dependable. Nongeneralized social phobics and controls believed their supervisor would rate them higher in work role conformance and likelihood of advancement than did generalized social phobics. Generalized socially phobic women, in contrast to nongeneralized and control group women, were more likely to be employed in noninterpersonally oriented jobs. Generalized social phobics were more anxious than controls when starting their current job but did not differ in job satisfaction. Results are discussed relative to the nature of social phobia, subtype differences, and counseling services. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

柴油机低频排气噪声规律分析

针对柴油机（4－85）低频排气噪声，对其产生机理、规律及其影响因素等作了理论计算、分析及实验。对低频排气噪声信号进行频域分析后可知，其主要由一系列离散的谐波组成，是以柴油机点火频率为基频的一种类周期性噪声，有可能应用有源噪声控制技术。     

f—x域内提高地震资料的信噪比

在 f-x 域,地震记录可以表示成有限个调频调幅正弦波的叠合,叠合的结果是一个连续且光滑的函数。我们可以用一个简单的 n 次多项式去逼近这个函数。本文提出了一种在 f-x 域用最小平方拟合原理消除随机噪声的新方法,并证明了在噪声为自噪以及空间采样足够密的条件下,拟合结果与噪声无关,即 f-x 域最小平方拟合处理可以有效地消除记录上的随机白噪,而对有效信号的破坏甚微。由于理论上允许振幅值及同相轴形态在空间上发生变化,因而该方法不具有混波作用,是高分辨率处理的理想工具。     

平面分层介质结构全波分析综述

本文综述了广义谱域导抗法，直线法及直线法的快速算法，全波离散镜象法等主要方法，并对各种方法的特点进行了比较，这些方法可有效地处理平面分层介质结构问题，文中包括作者近期的研究成果。     

A generalized approach to the reconstruction of a restricted class of digitized planar curves

Reconstruction of an original continuous curve and the estimation of its parameters from the digitized version of the curve is a challenging problem, as quantization always causes some loss of information. In this paper, we have developed a scheme for reconstruction which is applicable to a class of curves having at the most two parameters. The class of curves for which the scheme works has also been characterized. We have shown that for one-parameter curves the exact domain of values of the parameter can be obtained. But in the two-parameter case, only the smallest rectangle containing the domain can be realised. The distinctive feature of our scheme is that it provides a unified approach to solve the reconstruction and the domain-finding problem for a class of curves.     

A fictitious domain decomposition method for the solution of partially axisymmetric acoustic scattering problems. Part I: Dirichlet boundary conditions

We present a fictitious domain decomposition method for the fast solution of high‐frequency acoustic scattering problems characterized by a partially axisymmetric sound‐soft scatterer. We apply this method to the solution of various mockup submarine problems, and highlight its computational advantages and intrinsic parallelism. Copyright © 2002 John Wiley & Sons, Ltd.     

信号时域积分性质的一个推广应用

对信号进行运算（卷积运算，傅氏变换，拉纸变换）时，应用时域积分性质，得出由函数导数的运算式求取原函数的相应运算结果的一般性计算公式，使时域积分性质的应用得到推广。