Multi-domain modeling and simulation of proportional solenoid valve

A multi-domain nonlinear dynamic model of a proportional solenoid valve was presented.The electro-magnetic,mechanical and fluid subsystems of the valve were investigated,including their interactions.Governing equations of the valve were derived in the form of nonlinear state equations.By comparing the simulated and measured data,the simulation model is validated with a deviation less than 15%,which can be used for the structural design and control algorithm optimization of proportional solenoid valves.

Contour Detection-Based Realistic Finite-Difference-Time-Domain Models for Microwave Breast Cancer Detection

In this paper, a collection of three-dimensional(3D)numerical breast models are developed based on clinical magnetic resonance images(MRIs). A hybrid contour detection method is used to create the contour, and the internal space is filled with different breast tissues, with each corresponding to a specified interval of MRI pixel intensity. The developed models anatomically describe the complex tissue structure and dielectric properties in breasts. Besides, they are compatible with finite-difference-time-domain(FDTD)grid cells. Convolutional perfect matched layer(CPML)is applied in conjunction with FDTD to simulate the open boundary outside the model. In the test phase, microwave breast cancer detection simulations are performed in four models with varying radiographic densities. Then, confocal algorithm is utilized to reconstruct the tumor images. Imaging results show that the tumor voxels can be recognized in every case, with 2 mm location error in two low density cases and 7 mm─8 mm location errors in two high density cases, demonstrating that the MRI-derived models can characterize the individual difference between patients' breasts.

基于Modelica的交流伺服控制系统建模与仿真

永磁同步电机(PMSM)在交流伺服系统中应用十分广泛,其数学模型具有非线性、多变量、强耦合的特点。为提高建模与分析效率,并兼顾PMSM模型在复杂多领域系统中的通用性等问题,提出一种基于Modelica的交流伺服控制系统的建模方法。采用模块化建模与Modelica语言实现了PMSM的非因果建模,在MWORKS平台建立了伺服系统的仿真模型,并在位置控制、速度控制方面测试了3类典型工况。实验表明,所提方法跟随误差小、动态响应快,验证了建模方法和系统模型构建的正确性和合理性,为伺服控制系统和多领域建模与仿真技术的发展提供了新思路。

Energy principle of ferroelectric ceramics and single domain mechanical model

Many physical experiments have shown that the domain switching in a ferroelectric material is a complicated evolution process of the domain wall with the variation of stress and electric field. According to this mechanism, the volume fraction of the domain switching is introduced in the constitutive law of ferroelectric ceramic and used to study the nonlinear constitutive behavior of ferroelectric body in this paper. The principle of stationary total energy is put forward in which the basic unknown quantities are the displacement ui, electric displacement Di and volume fraction pI of the domain switching for the variant I. Mechanical field equation and a new domain switching criterion are obtained from the principle of stationary total energy. The domain switching criterion proposed in this paper is an expansion and development of the energy criterion. On the basis of the domain switching criterion, a set of linear algebraic equations for the volume fraction PI of domain switching is obtained, in which the coefficients of the linear algebraic equations only contain the unknown strain and electric fields. Then a single domain mechanical model is proposed in this paper. The poled ferroelectric specimen is considered as a transversely isotropic single domain. By using the partial experimental results, the hardening relation between the driving force of domain switching and the volume fraction of domain switching can be calibrated. Then the electromechanical response can be calculated on the basis of the calibrated hardening relation. The results involve the electric butterfly shaped curves of axial strain versus axial electric field, the hysteresis loops of electric displacement versus electric filed and the evo- lution process of the domain switching in the ferroelectric specimens under uniaxial coupled stress and electric field loading. The present theoretic prediction agrees reasonably with the experimental results given by Lynch.

Domain-specific modeling and verification for C4ISR capability requirements

An approach was proposed to specify the C4ISR capability of domain-specific modeling language.To confine the domain modeling within a standard architecture framework,formally a C4ISR capability meta-ontology was defined according to the meta-model of DoD Architecture Framework.The meta-ontology is used for extending UML Profile so that the domain experts can model the C4ISR domains using the C4ISR capability meta-concepts to define a domain-specific modeling language.The domain models can be then checked to guarantee the consistency and completeness through converting the UML models into the Description Logic ontology and making use of inference engine Pellet to verify the ontology.

Model-Driven Derivation of Domain Functional Requirements from Use Cases

Domain analysis is essential to core assets development in software product line engineering. Most existing approaches, however, depend on domain experts’ experience to analyze the commonality and variability of systems in a domain, which remains a manual and intensive process. This paper addresses the issue by proposing a model-driven approach to automating the domain requirements derivation process. The paper focuses on the match between the use cases of existing individual products and the domain functional requirements of a product line. By introducing a set of linguistic description dimensions to differentiate the sub-variations in a use case, the use case template is extended to model variability. To this end, a transformation process is formulated to sustain and deduce the information in use cases, and to match it to domain functional requirements. This paper also presents a prototype which implements the derivation as a model transformation described in a graphical model transformation language MOLA. This approach complements existing domain analysis techniques with less manual operation cost and more efficiency by automating the domain functional requirements development.

;requency domain wave equation forward modeling using gaussian elimination with static pivoting

频率域波动方程正演是求解一个大型线性稀疏方程组问题,其受到计算效率和内存存储问题的限制。常规的高斯消元法不能满足大型数据的并行计算,本文提出基于静主元消元法(GESP)进行稀疏矩阵LU分解和多炮有限差分正演,该方法不仅提高了稳定性,更有利于单频点内LU分解的分布式并行计算。通过Marmousi模型模拟试验,单频波场和转化到时间域地震剖面的试验表明模拟精度和计算效率得到提高,节约并充分利用内存,为波形反演奠定基础。

Acoustic viscoelastic modeling by frequency-domain boundary element method

Earth medium is not completely elastic, with its viscosity resulting in attenuation and dispersion of seismic waves. Most viscoelastic numerical simulations are based on the finite-difference and finite-element methods. Targeted at viscoelastic numerical modeling for multilayered media, the constant-Q acoustic wave equation is transformed into the corresponding wave integral representation with its Green＇s function accounting for viscoelastic coefficients. An efficient alternative for full-waveform solution to the integral equation is proposed in this article by extending conventional frequency-domain boundary element methods to viscoelastic media. The viscoelastic boundary element method enjoys a distinct characteristic of the explicit use of boundary continuity conditions of displacement and traction, leading to a semi-analytical solution with sufficient accuracy for simulating the viscoelastic effect across irregular interfaces. Numerical experiments to study the viscoelastic absorption of different Q values demonstrate the accuracy and applicability of the method.

Drinfeld twist and the domain wall partition function of the eight-vertex model

With the help of the F-basis provided by the Drinfeld twist or factorising F-matrix for the spatial optical soliton model associated with the eight-vertex model, we calculate the partition function for the eight-vertex model on an N ×N square lattice with domain wall boundary condition.

Some of Advances on the Error Analysis in the Frequency Domain for a Digital Simulation Model

This paper surveys a number of recent advances in the error analysis in the frequency domain for a digital simulation model. It is emphasized to discuss the errors in characteristic roots and transfer funcnon of the digital simulation model, the frequency domain errors of the data transfers between thesimulation submodels, and some compensation methods for the errors. Some of the questions to be answered are also presented.

High Precision Time Domain Forward Modeling for Crosshole Electromagnetic Tomography

To improve the resolution of crosshole electromagnetic tomography, high precision of forward modeling is necessary. A pseudo-spectral time domain （PSTD） forward modeling was used to simulate electromagnetic wave propagation between two boreholes. The PSTD algorithm is based on the finite difference time domain （FDTD） method and uses the fast Fourier transform （FFT） algorithm for spatial derivatives in Maxwell＇s equations. Besides having the strongpoint of the FDTD method, the calculation precision of the PSTD algorithm is higher than that of the FDTD method under the same calculation condition. The forward modeling using the PSTD method will play an important role in enhancing the resolution of crosshole electromagnetic tomography.

WRF Simulations of Extreme Rainfall over Uganda’s Lake Victoria Basin: Sensitivity to Parameterization, Model Resolution and Domain Size

Rainfall extremes have strong connotations to socio-economic activities and human well-being in Uganda’s Lake Victoria Basin (LVB). Reliable prediction and dissemination of extreme rainfall events are therefore of paramount importance to the region’s development agenda. The main objective of this study was to contribute to the prediction of rainfall extremes over this region using a numerical modelling approach. The Weather Research and Forecasting (WRF) model was used to simulate a 20-day period of extremely heavy rainfall that was observed in the March to May season of 2008. The underlying interest was to investigate the performance of different combinations of cumulus and microphysical parameterization along with the model grid resolution and domain size. The model output was validated against rainfall observations from the Tropical Rainfall Measuring Mission (TRMM) using 5 metrics;the rainfall distribution, root mean square error, mean error, probability of detection and false alarm ratio. The results showed that the model was able to simulate extreme rainfall and the most satisfactory skill was obtained with a model setup using the Grell 3D cumulus scheme combined with the SBU_YLin microphysical scheme. This study concludes that the WRF model can be used for simulating extreme rainfall over western LVB. In the other 2 regions, central and eastern LVB, its performance is limited by failure to simulate nocturnal rainfall. Furthermore, increasing the model grid resolution showed good potential for improving the model simulation especially when a large domain is used.

Metadata Extended Model Based On Geological Domain Ontology

The current metadata modeling techniques can not meet the needs of knowledge conception expression, knowledge organization, and metadata semantic consistency in geological domain. This paper introduces ontology and integrates this theory to geological domain metadata modeling. It adopts the first order logic equivalent algorithm and defines the metadata extended model as a quaternion group which is consists of geological term set, geological term definition set, attribute definition set and instance set. It also provides the formal description of each set. Finally the five steps for building geological domain metadata extended model are given. The result presents that this model not only provides the content standards for geological domain knowledge representation and knowledge organization, but also provides the basis for geological domain multi-source data and historical data integration and application in semantic consistency.

P2P Model Based on Isolated Broadcast Domains

Resource location is the most important issue for Peer-to-Peer (P2P) system and flooding is the fundamental mechanism for unstructured P2P systems. Redundant messages will exponential growth with flooding scope increasing which severely influences the scalability of the system. In this paper, a new P2P model based on isolated broadcast domains is given to reduce the amount of redundant messages by limiting the radius of messages transmitted. Analysis and experiments show that this model can guarantee coverage of nodes and significantly reduce the amount of redundant messages generated.

Multi-Domain Parallel Computing for Strength Analysis of Whole Aircraft Model

In the Windows XP 64 bit operating system environment, several common PC were used to build a cluster system, establishing the distributed memory parallel (DMP) computing system. A finite element model of whole aircraft with about 260 million degrees of freedom (DOF) was developed using three-node and four-node thin shell element and two-node beam element. With the large commercial finite element software MSC.MARC and employing two kinds of domain decomposition method (DDM) respectively, realized the parallel solving for the static strength analysis of the whole aircraft model, which offered a high cost-effective solution for solving large-scale and complex finite element models.

Line of sight waypoint guidance for a container ship based on frequency domain identification of Nomoto model of vessel

CIFER software is used to identify steering and roll dynamics of a container ship. In this software, advanced features such as the Chirp-Z transform(CZT) and composite window optimization are applied to the time history of steering and roll dynamics to extract high quality frequency responses. From the extracted frequency responses, two linear transfer functions of Nomoto model are fitted for yaw and roll dynamics of the vessel. Based on the identified Nomoto model, a PID heading controller and a Kalman filter observer are constructed. The simulation results of heading controller for line of sight(LOS) waypoint guidance show excellent tracking of pilot inputs in the presence of wave induced motions and forces.

Time-domain compressive dictionary of attributed scattering center model for sparse representation

Parameter estimation of the attributed scattering center(ASC) model is significant for automatic target recognition(ATR). Sparse representation based parameter estimation methods have developed rapidly. Construction of the separable dictionary is a key issue for sparse representation technology. A compressive time-domain dictionary(TD) for ASC model is presented. Two-dimensional frequency domain responses of the ASC are produced and transformed into the time domain. Then these time domain responses are cutoff and stacked into vectors. These vectored time-domain responses are amalgamated to form the TD. Compared with the traditional frequency-domain dictionary(FD), the TD is a matrix that is quite spare and can markedly reduce the data size of the dictionary. Based on the basic TD construction method, we present four extended TD construction methods, which are available for different applications. In the experiments, the performance of the TD, including the basic model and the extended models, has been firstly analyzed in comparison with the FD. Secondly, an example of parameter estimation from SAR synthetic aperture radar(SAR) measurements of a target collected in an anechoic room is exhibited. Finally, a sparse image reconstruction example is from two apart apertures. Experimental results demonstrate the effectiveness and efficiency of the proposed TD.

Global Existence of Solutions for Baer-Nunziato Two-Phase Flow Model in a Bounded Domain

In this paper, we study the global existence and uniqueness of strong solutions for the Baer-Nunziato two-phase flow model in a bounded domain with a no-slip boundary. The global existence and uniqueness of strong solutions are obtained when the initial value is near the equilibrium state in H2 (Ω). Furthermore, the exponential convergence rates of the pressure and velocity are also proved by delicate energy methods.

基于信赖域模型管理技术的永磁同步电机多目标优化

针对永磁同步电机多目标优化过程中要反复调用耗时的仿真分析且在整个设计域构建代理模型精度低的问题,提出基于信赖域模型管理技术的永磁同步电机多目标优化算法,该算法将整个设计域划分为一系列信赖域,在信赖域上构建径向基函数代理模型并采用微型多目标遗传算法近似优化,降低多目标优化中代理模型的精度要求。通过代理模型与电磁仿真模型的近似程度来调节信赖域的大小,通过缩放和平移信赖域,引导各个电机目标性能逐步逼近Pareto最优前沿面,加快收敛速度。为了进一步减少有限元仿真次数,引入遗传智能布点技术,通过样本遗传策略,遗传落在下个信赖域上的样本。通过算例验证了该算法具有较强的求解永磁同步电机多目标优化问题的能力及较高的求解效率。