一种基于动作语义的UML_(1.X-2.0)模型转换方法(英文)

虽然UML2.0标准被OMG组织采纳已久,但由于UML1.X标准在工业界的广泛使用,仍然存在大量的实用模型和应用软件,它们在UML2.0标准之下已不能准确描述系统.UML2.0建模工具并不支持从UML1.X模型到UML2.0模型的转换.从顶层元模型的角度比较了这两个版本的不同,采用声明式和命令式混合的模型框架,给出了一种基于动作语义的UML模型转换方法,并用ASL描述交互元模型的转换实例,验证了方法的可行性.该方法将减少用户的重复劳动,实现软件的模型重用,也适用于其他元模型或模型层次上的转换.

A review of numerical modeling research on the marine oil spill

Recently, as the oceanic activities are more and more frequently carried out, marine oil spill accidents bring to enormous harm to the economy and society in China, especially in the Offshore China. Marine oil spill is one kind of serious disasters which severely damages the marine environment. Aiming at the improvement of the emergency response system and response ability for the oil spill, the relative technologies on oil spill response are developed. This paper briefly introduces the developments and achievements of the oil spill numerical models, including the oil spill spreading model, the oil spill transport model, the oil particle model as well as the oil spill weathering model, which provide the theoretic criterions for the future work on the oil spill predicting and response.

Finite element model updating and validating of Runyang Suspension Bridge based on SHMS

Based on the finite element （FE） program ANSYS, a three-dimensional model for the Runyang Suspension Bridge （RSB） is established. The structural natural frequency, vibration mode, stress and displacement response under various load cases are given. A new method of FE model updating is presented based on the physical meaning of sensitivity and the penalty function concept. In this method, the structural model is updated by modifying the parameters of design, and validated by structural natural vibration characteristics, stress response as well as displacement response. The design parameters used for updating are bounded according to measured static response and engineering judgment. The FE model of RSB is updated and validated by the measurements coming from the structural health monitoring system （SHMS）, and the FE baseline model reflecting the current state of RSB is achieved. Both the dynamic and static results show that the method is effective in updating the FE model of long span suspension bridges. The results obtained provide an important research basis for damage alarming and health monitoring of the RSB.

Dynamic finite element model updating using meta-model and genetic algorithm

Current dynamic finite element model updating methods are not efficient or restricted to the problem of local optima. To circumvent these, a novel updating method which integrates the meta-model and the genetic algorithm is proposed. Experimental design technique is used to determine the best sampling points for the estimation of polynomial coefficients given the order and the number of independent variables. Finite element analyses are performed to generate the sampling data. Regression analysis is then used to estimate the response surface model to approximate the functional relationship between response features and design parameters on the entire design space. In the fitness evaluation of the genetic algorithm, the response surface model is used to substitute the finite element model to output features with given design parameters for the computation of fitness for the individual. Finally, the global optima that corresponds to the updated design parameter is acquired after several generations of evolution. In the application example, finite element analysis and modal testing are performed on a real chassis model. The finite element model is updated using the proposed method. After updating, root-mean-square error of modal frequencies is smaller than 2%. Furthermore, prediction ability of the updated model is validated using the testing results of the modified structure. The root-mean-square error of the prediction errors is smaller than 2%.

Numerical simulation of typhoon- induced storm surge on the coast of Jiangsu Province,China,based on coupled hydrodynamic and wave models

In order to facilitate engineering design and coastal flooding protection, the potential storm surge induced by a typhoon is studied.Using an unstructured mesh, a coupled model which combines the advanced circulation （ ADCIRC ） hydrodynamic model and simulating waves nearshore （ SWAN ） model is applied to analyze the storm surge and waves on the coast of Jiangsu Province.The verifications of wind velocity, tidal levels and wave height show that this coupling model performs well to reflect the characteristics of the water levels and waves in the studied region.Results show that the effect of radiation stress on storm surge is significant, especially in shallow areas such as the coast of Jiangsu Province and the Yangtze estuary.By running the coupled model, the simulated potential flooding results can be employed in coastal engineering applications in the Jiangsu coastal area, such as storm surge warnings and extreme water level predictions.

Application of neural network merging model in dam deformation analysis

In order to improve the prediction accuracy and test the generalization ability of the dam deformation analysis model, the back-propagation（BP） neural network model for dam deformation analysis is studied, and the merging model is built based on the neural network BP algorithm and the traditional statistical model. The three models mentioned above are calculated and analyzed according to the long-term deformation observation data in Chencun Dam. The analytical results show that the average prediction accuracies of the statistical model and the BP neural network model are ~ 0.477 and ＋- 0.390 mm, respectively, while the prediction accuracy of the merging model is ~0. 318 mm, which is improved by 33% and 18% compared to the other two models, respectively. And the merging model has a better generalization ability and broad applicability.

Water quality changing trends of the Miyun Reservoir

In order to simulate changes in the water quality of the Miyun Reservoir dueto continuous descent of surface water level, a 3-D ecological hydrodynamic model was developedthrough coupling the water quality analysis simulation program (WASP) with the environmental fluiddynamics code (EFDC). The model was then calibrated and verified. Four scenarios (S1, S21, S22 andS23) were simulated using the model. Results show that the water quality of the Miyun Reservoirunder conditions of low surface water level is apparently affected by different amounts of inflowand different total phosphorus (TP) loadings. The chlorophyll-a concentration might exceed 10 μg/Lin many areas of the Miyun Reservoir (This limitative value is seen as a critical value ofeutrophication) when large loadings of TP enter due to the amount of inflow increasing. Results ofscenario S23 indicate that control of TP loadings can decrease chlorophyll-a concentrationeffectively, and the water quality of the Miyun Reservoir will improve or retain its status quo.

Optimal path finding algorithms based on SLSD road network model

A solution to compute the optimal path based on a single-line-single-directional（SLSD）road network model is proposed.Unlike the traditional road network model,in the SLSD conceptual model,being single-directional and single-line style,a road is no longer a linkage of road nodes but abstracted as a network node.Similarly,a road node is abstracted as the linkage of two ordered single-directional roads.This model can describe turn restrictions,circular roads,and other real scenarios usually described using a super-graph.Then a computing framework for optimal path finding（OPF）is presented.It is proved that classical Dijkstra and A algorithms can be directly used for OPF computing of any real-world road networks by transferring a super-graph to an SLSD network.Finally,using Singapore road network data,the proposed conceptual model and its corresponding optimal path finding algorithms are validated using a two-step optimal path finding algorithm with a pre-computing strategy based on the SLSD road network.

System-Level Modeling and Simulation of Force-Balance MEMS Accelerometers

This paper presents two approaches for system-level simulation of force-balance accelerometers. The derivation of the system-level model is elaborated and simulation results are obtained from the implementation of those strategies on the fabricated silicon force-balance MEMS accelerometer. The mathematical model presented is implemented in VHDL- AMS and SIMULINK TM,respectively. The simulation results from the two approaches are compared and show a slight difference. Using VHDL-AMS is flexible,reusable,and more accurate. But there is not a mature solver developed for the language and this approach takes more time, while the simulation model can be easily built and quickly evaluated using SIMULINK.

Consistency of Water Production Function Models of Two Crops

On basis of test information, the research performed analysis on water production function models of two crops, which indicated that water model of crops in whole growth stage and water model of crops indifferent growth stages have consistency as well as differences, providing references for optimization of irrigation water. Meanwhile, the research analyzed the deficiency of optimization on irrigation water for crops just by Jensen model.

Construction of universal quantitative models for the determination of cefoperazone sodium/sulbactam sodium for injection from different manufacturers using near-infrared reflectance spectroscopy

To develop near-infrared （NIR） reflectance spectroscopic methods for the quantitative analysis of cefoperazone sodium/ sulbactam sodium from different manufacturers for injection powder medicaments. Various powders of cefoperazone sodium/ sulbactam sodium were directly analyzed by non-destructive NIR reflectance spectroscopy using the spectrometer EQUINOX55. Two quantitative methods via integrating sphere （IS） and fiberoptic probe （FOP） models were explored from 6 batches of commercial samples and 42 batches of laboratory samples at a content ranging from 30% to 70% for cefoperazone and 60% to 20% for sulbactam. The root mean square errors of cross validation （RMSECV） and the root mean square errors of prediction （RMSEP） of IS were 1.79% and 2.85%, respectively, for cefoperazone sodium, and were 1.86% and 3.08%, respectively, for sulbactam sodium; and those of FOP were 2.93% and 2.92%, respectively, for cefoperazone sodium, and were 2.23% and 3.01%, respectively, for sulbactam sodium. Based on the ICH guidelines and Ref. 12, the quantitative models were then evaluated in terms of specificity, linearity, accuracy, precision, robustness and model transferability. The non-destructive quantitative NIR methods used in this study are applicable for rapid analysis of injectable powdered drugs from different manufacturers.

Modeling of ocean mesoscale eddy and its application in the underwater acoustic propagation

Aiming at the influence of ocean mesoscale eddy on underwater acoustic propagation, a theoretical computation model of ocean mesoscale eddy was established based on the in-situ hydrographic data in the sea area of ocean mesoscale eddy. An underwater acoustic modeI-MMPE was used to simulate the acoustic propagation under the influence of different types, different intensities and positions of eddies, and different frequencies and depths of sources. It is found that warm-core eddy can make the convergence zone ＂move back＂ and the width of it increases, while cold-core eddy can make the convergence zone ＂move forward＂ and the width of it decreases. The bigger the intensity of eddy, the more notable the ＂forward ＂or ＂back ＂effect. Sound source located depths and source frequencies can change the acoustic propagation characteristics in the eddy area.

Progress and Research on Interconnects Crosstalk in Deep Submicron Technology

As develops in deep sub micron designs,the interconnect crosstalk becomes much more serious.Espe cially, the coupling inductance can not be ignored in gigahertz designs.So shield insertion is an efficient technique to reduce the inductive noise.In this paper,the characteristics of on chip mutual inductance (as well as self) for coplanar,micro stripline and stripline structures are introduced first.Then base on the coplanar interconnect structures,the effective coupling K eff model and the RLC explicit noise model are proposed respectively.The results of experiments show that these two models both have high fidelity.

On simulation of precise orbit determination of HY-2 with centimeter precision based on satellite-borne GPS technique

The HY-2 satellite carrying a satellite-borne GPS receiver is the first Chinese radar altimeter satellite, whose radial orbit determination precision must reach the centimeter level. Now HY-2 is in the test phase so that the observations are not openly released. In order to study the precise orbit determination precision and procedure for HY-2 based on the satellite- borne GPS technique, the satellite-borne GPS data are simulated in this paper. The HY-2 satellite-borne GPS antenna can receive at least seven GPS satellites each epoch, which can validate the GPS receiver and antenna design. What＇s more, the precise orbit determination processing flow is given and precise orbit determination experiments are conducted using the HY-2-borne GPS data with both the reduced-dynamic method and the kinematic geometry method. With the 1 and 3 mm phase data random errors, the radial orbit determination precision can achieve the centimeter level using these two methods and the kinematic orbit accuracy is slightly lower than that of the reduced-dynamic orbit. The earth gravity field model is an important factor which seriously affects the precise orbit determination of altimeter satellites. The reduced-dynamic orbit determination experiments are made with different earth gravity field models, such as EIGEN2, EGM96, TEG4, and GEMT3. Using a large number of high precision satellite-bome GPS data, the HY-2 precise orbit determination can reach the centimeter level with commonly used earth gravity field models up to above 50 degrees and orders.

Approach to adaptive service matchmaking

To make service matchmaking more adaptive to various service requests and diverse web services, an adaptive approach-ASMA is proposed to service matchmaking based on temporal logic model-checking. The approach is based on the proposed abstract service model, ASM-TL, which addresses some important constraints for identifying capabilities of web services, such as service inner constraints and invocation constraints, and also has a virtual process model for describing service behavioral properties. By treating service requests as temporal logic conditions and web services as temporal models, ASMA does service matchmaking through model checking. Therefore, ASMA makes service matchmaking more accurate and more adaptive to the variety of service requests and the diversity of web services. The approach has been applied to the problem solving environment （PSE） for bioinformatics research. Applications show that the approach is suitable for dynamic environments.

Vertical human-induced vibration of pedestrian bridge

The double degrees-of-freedom（DOFs）parallel model is adopted to analyze static vertical human-induced vibration with the finite element analysis（FEA）method.In the first-order symmetric vibration mode,the periods of the spring-mass model gradually decrease with the increase in K1 and K2,but they are always greater than the period of the add-on mass model.Meanwhile,the periods of the spring-mass model decrease with the decrease in m1 and m2,but they are always greater than the period of the hollow bridge model.Since the human＇s two degrees-of-freedom vibrate in the same direction as that of the bridge mid-span,the existence of human＇s rigidity leads to the reduction in the rigidity of the spring-mass model.In the second-order symmetric vibration mode,the changes of rigidity K2 and mass m2 result in the disappearance or occurrence of some vibration modes.It can be concluded that compared with the spring-mass model,the results of the add-on mass model lean to lack of safety to the structure;besides,the DOF with a smaller ratio of mass to rigidity plays the chief role in the vibration of the structure.

SPICE model of trench-gate MOSFET device

A novel simulation program with an integrated circuit emphasis（SPICE） model developed for trench-gate metal-oxide-semiconductor field-effect transistor（M OSFET）devices is proposed. The drift region resistance was modeled according to the physical characteristics and the specific structure of the trench-gate MOSFET device. For the accurate simulation of dynamic characteristics, three important capacitances, gate-to-drain capacitance Cgd, gate-to-source capacitance Cgsand drain-to-source capacitance Cds, were modeled, respectively, in the proposed model. Furthermore,the self-heating effect, temperature effect and breakdown characteristic were taken into account; the self-heating model and breakdown model were built in the proposed model; and the temperature parameters of the model were revised. The proposed model is verified by experimental results, and the errors between measured data and simulation results of the novel model are less than 5%. Therefore, the model can give an accurate description for both the static and dynamic characteristics of the trench-gate MOSFET device.

Studies on stand dynamic growth model for larch in Jilin in China

The stand growth and yield dynamic models for Larch in Jilin Province were developed based on the forest growth theories with the forest continuous inventory data. The results indicated that the developed models had high precision, and they could be used for the updating data of inventory of planning and designing and optimal decision of forest management.

Calculation of forest potential productivity for Tianshan forest region

Forest Potential Productivity (FPP) of 8 counties in Tianshan was cal culated, and the potential timber output of these counties was analyzed with Mia mi Model and Thornthwaite Memorial Model. Research results showed that annual av erage output of present stand in Tianshan Forest Region was 3.7 m3/(hm2. a), whi ch reached only 49% of average FPP.

The analysis of frequency-dependent characteristics for fluid detection: a physical model experiment

According to the Chapman multi-scale rock physical model, the seismic response characteristics vary for different fluid-saturated reservoirs. For class I AVO reservoirs and gas-saturation, the seismic response is a high-frequency bright spot as the amplitude energy shifts. However, it is a low-frequency shadow for the Class III AVO reservoirs saturated with hydrocarbons. In this paper, we verified the high-frequency bright spot results of Chapman for the Class I AVO response using the frequency-dependent analysis of a physical model dataset. The physical model is designed as inter-bedded thin sand and shale based on real field geology parameters. We observed two datasets using fixed offset and 2D geometry with different fluid- saturated conditions. Spectral and time-frequency analyses methods are applied to the seismic datasets to describe the response characteristics for gas-, water-, and oil-saturation. The results of physical model dataset processing and analysis indicate that reflection wave tuning and fluid-related dispersion are the main seismic response characteristic mechanisms. Additionally, the gas saturation model can be distinguished from water and oil saturation for Class I AVO utilizing the frequency-dependent abnormal characteristic. The frequency-dependent characteristic analysis of the physical model dataset verified the different spectral response characteristics corresponding to the different fluid-saturated models. Therefore, by careful analysis of real field seismic data, we can obtain the abnormal spectral characteristics induced by the fluid variation and implement fluid detection using seismic data directly.