An internal state variable (ISV) framework is used to predict the rate and degree of strain relaxation associated with the stage I, low temperature tempering of martensite. A single variable tracks the change in volum...An internal state variable (ISV) framework is used to predict the rate and degree of strain relaxation associated with the stage I, low temperature tempering of martensite. A single variable tracks the change in volume between the tempered an untempered structures. The rate at which this occurs is taken to be a function of martensite fraction, temperature, degree of tempering, and carbon concentration. Experimental dilatometty data is used to both fit and validate the model.展开更多
Real-time hybrid simulation is an efficient and cost-effective dynamic testing technique for performance evaluation of structural systems subjected to earthquake loading with rate-dependent behavior. A loading assembl...Real-time hybrid simulation is an efficient and cost-effective dynamic testing technique for performance evaluation of structural systems subjected to earthquake loading with rate-dependent behavior. A loading assembly with multiple actuators is required to impose realistic boundary conditions on physical specimens. However, such a testing system is expected to exhibit significant dynamic coupling of the actuators and suffer from time lags that are associated with the dynamics of the servo-hydraulic system, as well as control-structure interaction （CSI）. One approach to reducing experimental errors considers a multi-input, multi-output （MIMO） controller design, yielding accurate reference tracking and noise rejection. In this paper, a framework for multi-axial real-time hybrid simulation （maRTHS） testing is presented. The methodology employs a real-time feedback-feedforward controller for multiple actuators commanded in Cartesian coordinates. Kinematic transformations between actuator space and Cartesian space are derived for all six-degrees-of- freedom of the moving platform. Then, a frequency domain identification technique is used to develop an accurate MIMO transfer function of the system. Further, a Cartesian-domain model-based feedforward-feedback controller is implemented for time lag compensation and to increase the robustness of the reference tracking for given model uncertainty. The framework is implemented using the 1/5th-scale Load and Boundary Condition Box （LBCB） located at the University of Illinois at Urbana- Champaign. To demonstrate the efficacy of the proposed methodology, a single-story frame subjected to earthquake loading is tested. One of the columns in the fraane is represented physically in the laboratory as a cantilevered steel column. For real- time execution, the numerical substructure, kinematic transformations, and controllers are implemented on a digital signal processor. Results show excellent performance of the maRTHS framework when six-degrees-of-freedom are contr展开更多
BPMN(Business Process Modeling Notation)作为一个在系统开发早期阶段获取业务过程模型的标准,指导系统的设计和开发,其模型的正确性是影响软件开发质量的关键。鉴于BPMN模型的形式化可以验证模型的正确性,提出了一种利用扩展Petri网...BPMN(Business Process Modeling Notation)作为一个在系统开发早期阶段获取业务过程模型的标准,指导系统的设计和开发,其模型的正确性是影响软件开发质量的关键。鉴于BPMN模型的形式化可以验证模型的正确性,提出了一种利用扩展Petri网模型,应用模型驱动技术实现BPMN模型形式化自动执行的方法。该方法通过细化Petri网模型中的Transition和Place元素以及增加Organization Identifier和Group Identifier容器,使其不但能够描述BPMN模型中的动态行为,而且还能描述BPMN模型中的动态行为协作和静态组织结构。从元模型结构、语法和图标记方面详细分析了扩展的Petri网模型元素,利用模型驱动开发技术设计BPMN模型元素至扩展的Petri网模型元素的转换规则,并在Eclipse平台上使用ATL模型转换语言执行映射,实现形式化的自动执行。最后在此基础上应用Travel Agency系统演示了模型形式化插件BPMN2ExtendPetrinets的执行结果。展开更多
Model-Based Development has become an industry wide standard paradigm.As an open source alternative,Scilab/Xcos is being widely employed as a hybrid dynamic systems modeling tool.With the increasing efficiency in impl...Model-Based Development has become an industry wide standard paradigm.As an open source alternative,Scilab/Xcos is being widely employed as a hybrid dynamic systems modeling tool.With the increasing efficiency in implementation using graphical model development and code generation,the modeling and simulation community is struggling with assuring quality as well as maintainability and extendibility.Refactoring is defined as an evolutionary modernization activity where,most of the time,the structure of the artifact is changed to alter its quality characteristics,while keeping its behavior unchanged.It has been widely established as a technique for textual programming languages to improve the code structure and quality.While refactoring is also regarded as one of the key practices of model engineering,the methodologies and approaches for model refactoring are still under development.Architecture-Driven Modernization(ADM)has been introduced by the software engineering community as a model-based approach to software modernization,in which the implicit information that lies in software artifacts is extracted to models and model transformations are applied for modernization tasks.Regarding refactoring as a low level modernization task,the practices from ADM are adaptable.Accordingly,this paper proposes a model-based approach for model refactoring in order to come up with more efficient and effective model refactoring methodology that is accessible and extendable by modelers.Like other graphical modeling tools,Scilab/Xcos also possesses a formalized model specification conforming to its implicit metamodel.Rather than proposing another metamodel for knowledge extraction,this pragmatic approach proposes to conduct in place model-to-model transformations for refactoring employing the Scilab/Xcos model specification.To construct a structured model-based approach,the implicit Scilab/Xcos metamodel is explicitly presented utilizing ECORE as a meta-metamodel.Then a practical model transformation approach is established based on展开更多
The Jewett-Krieger theorem states that each ergodic system has a strictlyergodic topological model.In this article,we show that for an ergodic system onemay require more properties on its strictly ergodic model.For ex...The Jewett-Krieger theorem states that each ergodic system has a strictlyergodic topological model.In this article,we show that for an ergodic system onemay require more properties on its strictly ergodic model.For example,the orbitclosure of points in diagonal under face transforms may be also strictly ergodic.Asan application,we show the pointwise convergence of ergodic averages along cubes,which was firstly proved by Assani(J Anal Math 110:241-269,2010).展开更多
Why is it important to verify/validate model transformations？ The motivation is to improve the quality of the trans- formations, and therefore the quality of the generated software artifacts. Verified/validated model...Why is it important to verify/validate model transformations？ The motivation is to improve the quality of the trans- formations, and therefore the quality of the generated software artifacts. Verified/validated model transformations make it possible to ensure certain properties of the generated software artifacts. In this way, verification/validation methods can guarantee different requirements stated by the actual domain against the generated/modified/optimized software products. For example, a verified/ validated model transformation can ensure the preservation of certain properties during the model-to-model transformation. This paper emphasizes the necessity of methods that make model transformation verified/validated, discusses the different scenarios of model transformation verification and validation, and introduces the principles of a novel test-driven method for verifying/ validating model transformations. We provide a solution that makes it possible to automatically generate test input models for model transformations. Furthermore, we collect and discuss the actual open issues in the field of verification/validation of model transformations.展开更多
The Preissmann implicit scheme was used to discretize the one-dimensional Saint-Venant equations, the river-junction-fiver method was applied to resolve the hydrodynamic and water quality model for river networks, and...The Preissmann implicit scheme was used to discretize the one-dimensional Saint-Venant equations, the river-junction-fiver method was applied to resolve the hydrodynamic and water quality model for river networks, and the key issues on the model were expatiated particularly in this article. This water quality module was designed to compute time dependent concentrations of a series of constituents, which are primarily governed by the processes of advection, dispersion and chemical reactions. Based on the theory of Water Quality Analysis Simulation Program （WASP） water quality model, emphasis was given to the simulation of the biogeochemical transformations that determine the fate of nutrients, in particular, the simulation of the aquatic cycles of nitrogen and phosphorus compounds. This model also includes procedures for the determination of growth and death of phytoplankton. This hydrodynamic and water quality model was applied to calculate two river networks. As illustrated by the numerical examples, the calculated water level and discharge agree with the measured data and the simulated trends and magnitudes of water quality constituents are generally in good agreement with field observations. It is concluded that the presented model is useful in the pollutant control and in the determination of pollutant-related problems for river networks.展开更多
文摘An internal state variable (ISV) framework is used to predict the rate and degree of strain relaxation associated with the stage I, low temperature tempering of martensite. A single variable tracks the change in volume between the tempered an untempered structures. The rate at which this occurs is taken to be a function of martensite fraction, temperature, degree of tempering, and carbon concentration. Experimental dilatometty data is used to both fit and validate the model.
基金CONICYT-Chile through Becas Chile Scholarship under Grant No.72140204Universidad Tecnica Federico Santa Maria(Chile)through Faculty Development Scholarship under Grant No.208-13
文摘Real-time hybrid simulation is an efficient and cost-effective dynamic testing technique for performance evaluation of structural systems subjected to earthquake loading with rate-dependent behavior. A loading assembly with multiple actuators is required to impose realistic boundary conditions on physical specimens. However, such a testing system is expected to exhibit significant dynamic coupling of the actuators and suffer from time lags that are associated with the dynamics of the servo-hydraulic system, as well as control-structure interaction （CSI）. One approach to reducing experimental errors considers a multi-input, multi-output （MIMO） controller design, yielding accurate reference tracking and noise rejection. In this paper, a framework for multi-axial real-time hybrid simulation （maRTHS） testing is presented. The methodology employs a real-time feedback-feedforward controller for multiple actuators commanded in Cartesian coordinates. Kinematic transformations between actuator space and Cartesian space are derived for all six-degrees-of- freedom of the moving platform. Then, a frequency domain identification technique is used to develop an accurate MIMO transfer function of the system. Further, a Cartesian-domain model-based feedforward-feedback controller is implemented for time lag compensation and to increase the robustness of the reference tracking for given model uncertainty. The framework is implemented using the 1/5th-scale Load and Boundary Condition Box （LBCB） located at the University of Illinois at Urbana- Champaign. To demonstrate the efficacy of the proposed methodology, a single-story frame subjected to earthquake loading is tested. One of the columns in the fraane is represented physically in the laboratory as a cantilevered steel column. For real- time execution, the numerical substructure, kinematic transformations, and controllers are implemented on a digital signal processor. Results show excellent performance of the maRTHS framework when six-degrees-of-freedom are contr
文摘Model-Based Development has become an industry wide standard paradigm.As an open source alternative,Scilab/Xcos is being widely employed as a hybrid dynamic systems modeling tool.With the increasing efficiency in implementation using graphical model development and code generation,the modeling and simulation community is struggling with assuring quality as well as maintainability and extendibility.Refactoring is defined as an evolutionary modernization activity where,most of the time,the structure of the artifact is changed to alter its quality characteristics,while keeping its behavior unchanged.It has been widely established as a technique for textual programming languages to improve the code structure and quality.While refactoring is also regarded as one of the key practices of model engineering,the methodologies and approaches for model refactoring are still under development.Architecture-Driven Modernization(ADM)has been introduced by the software engineering community as a model-based approach to software modernization,in which the implicit information that lies in software artifacts is extracted to models and model transformations are applied for modernization tasks.Regarding refactoring as a low level modernization task,the practices from ADM are adaptable.Accordingly,this paper proposes a model-based approach for model refactoring in order to come up with more efficient and effective model refactoring methodology that is accessible and extendable by modelers.Like other graphical modeling tools,Scilab/Xcos also possesses a formalized model specification conforming to its implicit metamodel.Rather than proposing another metamodel for knowledge extraction,this pragmatic approach proposes to conduct in place model-to-model transformations for refactoring employing the Scilab/Xcos model specification.To construct a structured model-based approach,the implicit Scilab/Xcos metamodel is explicitly presented utilizing ECORE as a meta-metamodel.Then a practical model transformation approach is established based on
基金NNSF for Distinguished Young Schooler(11225105)all authors aresupported by NNSF of China(11371339,11431012,11571335)and by the Fundamental Research Fundsfor the Central Universities.
文摘The Jewett-Krieger theorem states that each ergodic system has a strictlyergodic topological model.In this article,we show that for an ergodic system onemay require more properties on its strictly ergodic model.For example,the orbitclosure of points in diagonal under face transforms may be also strictly ergodic.Asan application,we show the pointwise convergence of ergodic averages along cubes,which was firstly proved by Assani(J Anal Math 110:241-269,2010).
基金Project partially supported by the European Union and the European Social Fund(No.TAMOP-4.2.2.C-11/1/KONV-2012-0013)
文摘Why is it important to verify/validate model transformations？ The motivation is to improve the quality of the trans- formations, and therefore the quality of the generated software artifacts. Verified/validated model transformations make it possible to ensure certain properties of the generated software artifacts. In this way, verification/validation methods can guarantee different requirements stated by the actual domain against the generated/modified/optimized software products. For example, a verified/ validated model transformation can ensure the preservation of certain properties during the model-to-model transformation. This paper emphasizes the necessity of methods that make model transformation verified/validated, discusses the different scenarios of model transformation verification and validation, and introduces the principles of a novel test-driven method for verifying/ validating model transformations. We provide a solution that makes it possible to automatically generate test input models for model transformations. Furthermore, we collect and discuss the actual open issues in the field of verification/validation of model transformations.
基金Project supported by the National Natural Science Foundation of China (Grant No.50839001)the National Basic Research Program of China (973 Program, Grant No. 2005CB724202).
文摘The Preissmann implicit scheme was used to discretize the one-dimensional Saint-Venant equations, the river-junction-fiver method was applied to resolve the hydrodynamic and water quality model for river networks, and the key issues on the model were expatiated particularly in this article. This water quality module was designed to compute time dependent concentrations of a series of constituents, which are primarily governed by the processes of advection, dispersion and chemical reactions. Based on the theory of Water Quality Analysis Simulation Program （WASP） water quality model, emphasis was given to the simulation of the biogeochemical transformations that determine the fate of nutrients, in particular, the simulation of the aquatic cycles of nitrogen and phosphorus compounds. This model also includes procedures for the determination of growth and death of phytoplankton. This hydrodynamic and water quality model was applied to calculate two river networks. As illustrated by the numerical examples, the calculated water level and discharge agree with the measured data and the simulated trends and magnitudes of water quality constituents are generally in good agreement with field observations. It is concluded that the presented model is useful in the pollutant control and in the determination of pollutant-related problems for river networks.
