Service life of high-cycle-fatigue-loaded(HCF) structures is governed by local cyclic plasticity,crack initiation and the propagation of microstructurally short fatigue *** the case of metastable austenitic steels,loc...
详细信息
Service life of high-cycle-fatigue-loaded(HCF) structures is governed by local cyclic plasticity,crack initiation and the propagation of microstructurally short fatigue *** the case of metastable austenitic steels,local plasticity is linked with the formation of *** was
Timed abstract state machine(TASM) is a formal specification language used to specify and simulate the behavior of real-time systems. Formal verification of TASM model can be fulfilled through model checking activitie...
详细信息
Timed abstract state machine(TASM) is a formal specification language used to specify and simulate the behavior of real-time systems. Formal verification of TASM model can be fulfilled through model checking activities by translating into UPPAAL. Firstly, the translational semantics from TASM to UPPAAL is presented through atlas transformation language(ATL). Secondly, the implementation of the proposed model transformation tool TASM2UPPAAL is provided. Finally, a case study is given to illustrate the automatic transformation from TASM model to UPPAAL model.
Architecture analysis and design language （AADL） is an architecture description language standard for embedded real-time systems and it is widely used in safety-critical applications. For facilitating verifcafion an...
详细信息
Architecture analysis and design language （AADL） is an architecture description language standard for embedded real-time systems and it is widely used in safety-critical applications. For facilitating verifcafion and analysis, model transformation is one of the methods. A synchronous subset of AADL and a general methodology for translating the AADL subset into timed abstract state machine （TASM） were studied. Based on the arias transformation language （ ATL ） framework, the associated translating tool AADL2TASM was implemented by defining the meta-model of both AADL and TASM, and the ATL transformation rules. A case study with property verification of the AADL model was also presented for validating the tool.
Building simulation models play a vital role in optimal building climate control, energy audit, fault detection and diagnosis, continuous commissioning, and planning. Real system parameters are often unknown or partia...
详细信息
Recently, HPC in the Cloud has emerged as a new paradigm in the field of parallel computing. Most of cloud systems deploy virtual machines for provisioning resources. However, in a virtual machine environment, there i...
详细信息
Recently, HPC in the Cloud has emerged as a new paradigm in the field of parallel computing. Most of cloud systems deploy virtual machines for provisioning resources. However, in a virtual machine environment, there is still no mature method to analyze performance of MPI parallel programs. In this paper, we propose a series of innovative methods for performance analysis of MPI parallel programs on Xen virtual machines, including performance data collection through instrumentation and sampling, performance bottleneck diagnosis using PAM and DBSCAN clustering algorithms, and root cause analysis of bottleneck using a rough set approach. The experimental results show that our method can not only automatically locate performs bottlenecks of MPI parallel programs in the XEN virtual machine environment, but also pinpoint the root causes of these bottlenecks automatically.
A SVM-based method is proposed in this paper, which is the first time that SVM is applied to the estimation of fingerprint and palmprint orientation, to the best of our knowledge. The orientation estimation problem ca...
详细信息
A new approach to subspace identification of process dynamics for iterative learning control is developed. The unknown process state-space model and noise covariance matrices are determined based on merged data from a...
详细信息
The use of local features has demonstrated its effectiveness for many visual applications. However, local features are often extracted with gray images. This ignores the useful information within different color chann...
详细信息
This paper presents a newly deployed server, IDOS (Interactive Dynamic Optimization Sever), devoted to solving optimal control problems. Development and deployment of the Interactive Dynamic Optimization Server is a r...
详细信息
ISBN:
(纸本)9781467357159
This paper presents a newly deployed server, IDOS (Interactive Dynamic Optimization Sever), devoted to solving optimal control problems. Development and deployment of the Interactive Dynamic Optimization Server is a result of a project funded by NCBiR (National Center for Research and Development in Poland). The aim of the project was to develop a prototype, online-accessible environment for solving dynamic optimization problems. Within the project we also constructed a modeling language (Dynamic Optimization Modeling Language, DOML) for defining optimal control problems. In result, a user can describe his problem in a programming-language-independent way. Then, once defined, the problem can be attempted by different solvers. In particular one can get a crude approximation to a solution of his problem by applying one solver and then continue solving the problem by another solver which gives a more accurate solution but may require a better initial guess than the first solver. The paper describes some constructs of DOML language which enable such chaining of solvers. A simple optimal control problem is used to illustrate the functionality of the IDOS server and the completeness of our language DOML.
Many systems compete the same finite duration task over and over again, where once each is completed the system resets to the starting location and the next execution begins. Each execution is known as a trial and the...
详细信息
暂无评论