领域驱动模型的WEB软件系统设计研究

首先分析了J2EE3层架构的特性及局限,说明了领域驱动设计模型中的充血模型的优势。通过运用最新JDKI．7及Tomcat的相应改造,设计出能实现以充血模型结构为基础的新型WEB系统开发框架,并通过一简单实例说明架构如何支持系统开发。     

需求分析与软件可靠性保证

通过对软件测试过程中产生的数据进行分析,对照软件设计过程中需求分析中的错误或缺陷,对有关可靠性指标进行反复度量,明确软件错误的分布以减少其对软件需求分析可靠性的影响,进而对相关的错误或缺陷进行控制。     

Ultrasonic crack characterization via a constrained inversion algorithm

The Kirchhoff approximation is used to show that the time domain impulse response of an isolated flat crack can be given a simple geometrical interpretation in terms of the derivative of a projected length function. For an elliptical crack, this derivative can be obtained explicitly to yield the two edge-diffracted waves which originate from the flashpoints of the crack. An explicit coordinate invariant expression is obtained from this elliptical crack solution which relates the time difference, t, between the arrival of these edge-diffracted waves and the crack size and orientation. Previously, we have proposed that this expression, together with t measurements in different scattering directions, could be used in a regression analysis as the basis for performing a constrained inversion of crack scattering data (i.e., where we attempt to obtain the best equivalent flat elliptical crack that fits the scattering measurements). Here we will demonstrate some results of applying the proposed algorithm using noisy synthetic data. The sensitivity of the results to both, number of measurements and transducer orientation, will be discussed.     

A NEW ELECTROMAGNETIC IMAGING SCHEME

ＡＮＥＷＥＬＥＣＴＲＯＭＡＧＮＥＴＩＣＩＭＡＧＩＮＧＳＣＨＥＭＥ①ＺｈａｎｇＲｏｎｇｆｅｎｇ，ＨｅＪｉｓｈａｎＣｏｌｅｇｅｏｆＲｅｓｏｕｒｃｅ，ＥｎｖｉｒｏｎｍｅｎｔａｎｄＣｉｖｉｌＥｎｇｉｎｅｒｉｎｇ，ＣｅｎｔｒａｌＳｏｕｔｈＵｎｉｖｅｒｓｉｔｙｏ...     

Adaptive receding horizon control for constrained MIMO systems

An adaptive control algorithm for open-loop stable, constrained, linear, multiple input multiple output systems is presented. The proposed approach can deal with both input and output constraints, as well as measurement noise and output disturbances. The adaptive controller consists of an iterative set membership identification algorithm, that provides a set of candidate plant models at each time step, and a model predictive controller, that enforces input and output constraints for all the plants inside the model set. The algorithm relies only on the solution of standard convex optimization problems that are guaranteed to be recursively feasible. The experimental results obtained by applying the proposed controller to a quad-tank testbed are presented.     

A framework for variable content document generation with multiple actors

ContextAdvances in customization have highlighted the need for tools supporting variable content document management and generation in many domains. Current tools allow the generation of highly customized documents that are variable in both content and layout. However, most frameworks are technology-oriented, and their use requires advanced skills in implementation-related tools, which means their use by end users (i.e. document designers) is severely limited.ObjectiveStarting from past and current trends for customized document authoring, our goal is to provide a document generation alternative in which variants are specified at a high level of abstraction and content reuse can be maximized in high variability scenarios.MethodBased on our experience in Document Engineering, we identified areas in the variable content document management and generation field open to further improvement. We first classified the primary sources of variability in document composition processes and then developed a methodology, which we called DPL – based on Software Product Lines principles – to support document generation in high variability scenarios.ResultsIn order to validate the applicability of our methodology we implemented a tool – DPLfw – to carry out DPL processes. After using this in different scenarios, we compared our proposal with other state-of-the-art tools for variable content document management and generation.ConclusionThe DPLfw showed a good capacity for the automatic generation of variable content documents equal to or in some cases surpassing other currently available approaches. To the best of our knowledge, DPLfw is the only framework that combines variable content and document workflow facilities, easing the generation of variable content documents in which multiple actors play different roles.     

Single-machine parallel-batching scheduling with family jobs to minimize weighted number of tardy jobs

We consider the problem of scheduling n jobs in batches on a single parallel-batching machine, where the jobs are partitioned into jobs families and the jobs in each family have the same due date. The objective is to minimize the weighted number of tardy jobs. We first devise an efficient pseudo-polynomial time and a fully polynomial time approximation scheme for the weighted problem. Then we present $O(n^2)$-time and $O(n\log n)$-time algorithms for the case where the jobs have the same weight and for the case where the jobs have the same processing time, respectively.     

Speaker adaptive voice source modeling with applications to speech coding and processing

We discuss the use of low-dimensional physical models of the voice source for speech coding and processing applications. A class of waveform-adaptive dynamic glottal models and parameter identification procedures are illustrated. The model and the identification procedures are assessed by addressing signal transformations on recorded speech, achievable by fitting the model to the data, and then acting on the physically oriented parameters of the voice source. The class of models proposed provides in principle a tool for both the estimation of glottal source signals, and the encoding of the speech signal for transformation purposes. The application of this model to time stretching and to fundamental frequency control (pitch shifting) is also illustrated. The experiments show that copy synthesis is perceptually very similar to the target, and that time stretching and “pitch extrapolation” effects can be obtained by simple control strategies.