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...
详细信息
Markov decision processes (MDPs) are often used for modelling distributed systems with probabilistic failure or randomisation. We consider the problem of model repair for MDPs defined as follows: if the MDP fails to s...
详细信息
Markov decision processes (MDPs) are often used for modelling distributed systems with probabilistic failure or randomisation. We consider the problem of model repair for MDPs defined as follows: if the MDP fails to satisfy a property, we aim to find new values for the transition probabilities so that the property is guaranteed to hold, while at the same time the cost of repair is minimised. Because solving the MDP repair problem exactly is infeasible, in this paper we focus on approximate solution methods. We first formulate a region-based approach, which yields an interval in which the minimal repair cost is contained. As an alternative, we also consider sampling based approaches, which are faster but unable to provide lower bounds on the repair cost. We have integrated both methods into the probabilistic model checker PRISM and demonstrated their usefulness in practice using a computer virus case study.
In this paper, the ℋ ∞ filtering problem for T-S fuzzy descriptor system with interval time-delay is investigated. By using of Lyapunov-Krasovskii theorem combination with free-weighting matrix technique, interval d...
详细信息
In this paper, the ℋ ∞ filtering problem for T-S fuzzy descriptor system with interval time-delay is investigated. By using of Lyapunov-Krasovskii theorem combination with free-weighting matrix technique, interval delay-dependent sufficient condition for the existence of ℋ ∞ filtering is established in terms of linear matrix inequality (LMI), which ensures the considered system to be regular, causal and stable with a prescribed ℋ ∞ performance index. The suitable filter is derived through the feasible solution of LMIs. A numerical example is given to show the effectiveness of the obtained results.
Compressive Sensing (CS) theory witnesses great breakthrough in signal acquisition and processing. In this paper we focus on the application of direction of arrival (DoA) and proposed a compressive sensing based direc...
详细信息
Compressive Sensing (CS) theory witnesses great breakthrough in signal acquisition and processing. In this paper we focus on the application of direction of arrival (DoA) and proposed a compressive sensing based direct DoA estimation framework (CS-DDoA) for wireless sensor array network. Unlike the former signal reconstruction-processing scheme, CS-DDoA utilize the spatial and spectral sparsity of target, then reformulates them into a global problems. It eliminates the error propagation between this two independent procedure and provides a enhanced DoA performance. Under this framework, array data transmission volume can be greatly reduce without distinct performance decline, which has great potential for wireless sensor array network with limited resources. At last theoretical analysis and prototype system are provided to validate this framework.
暂无评论