In this paper we propose a framework dedicated to the development and the execution of parallel applications over large scale global computing platforms. A workflow programming environment will be introduced, based on...
详细信息
ISBN:
(纸本)9781424403431
In this paper we propose a framework dedicated to the development and the execution of parallel applications over large scale global computing platforms. A workflow programming environment will be introduced, based on a new workflow language YvetteML and a Human-GRID middleware interface called YML. This language allows description of different kind of components to be allocated to GRID resources. Depending of the different targeted resources, the components may be associated to computation, data migration or other resource controls. YML is designed to have several back-ends for different middleware, as a well-designed front end is developed independently of any dedicated middleware. In order to make the framework immediately useful, YML comes with pre-configured interfaces to some numerical routines and a numerical library for iterative linearalgebramethods. We will present experimentations done on some large scale platforms using a peer to peer middleware with a numerical application case study.
The homomorphism and isomorphism theorems traditionally taught to students in a group theory or linearalgebra lecture are by no means theorems of group theory. They are for a long time seen as general concepts of uni...
详细信息
Digital signature and its associated protocols are a new area of interest and many standards have emerged. Indeed, these technologies offer several advantages: identification, authentication and non-repudiation capabi...
详细信息
ISBN:
(纸本)9789077381250
Digital signature and its associated protocols are a new area of interest and many standards have emerged. Indeed, these technologies offer several advantages: identification, authentication and non-repudiation capabilities during Internet transactions. This article deals with the modelling and the evaluation of document transfer and their security on the web. The study discusses the protocol of electronic signature and its associated processes. For this study, we use some tools and formal methods that have already proved their efficiency in the framework of modelling and analysis. We use, Petri Nets (PN) and the theory of linear systems in (max, +) algebra. We introduce these two formalisms with the aim to describe the graphical and analytical behaviours of studied process. The resolution of (max, +) model that describes the system enables us to evaluate the process performances in terms of occurrence dates of various events that compose it (authentication, hash coding, signature, time stamping, storage).
Java is widely recognized as a good object-oriented programming language. However, it is often considered as too slow for numerically intensive applications. This paper presents a hybrid software package that brings t...
详细信息
Unified Parallel C is a parallel language extension to standard C. Data in UPC are communicated through shared arrays, which are physically distributed. Thus, data regions have locality, or affinity, to particular thr...
详细信息
ISBN:
(纸本)3540341412
Unified Parallel C is a parallel language extension to standard C. Data in UPC are communicated through shared arrays, which are physically distributed. Thus, data regions have locality, or affinity, to particular threads of execution. This affinity concept engenders a non-uniformity in shared memory accesses by a particular thread. Affinity should be considered when building data structures in algorithms and applications, but UPC provides limited tools for data locality management. We propose the creation of an application support layer to support a wide variety of common data decompositions and programming idioms. We present here a first step for this layer with a selection of mapping functions and packages for numerical computation and dense matrix operations. These are driven by specific algorithms from linearalgebra and numerical computation, and could be readily incorporated in such an application support layer.
The paper summarizes results of investigations, design and development of ultra wideband antennas carried out during the last ten years in the Laboratory of Antennas and Telecommunication Systems of NTUU (''KP...
详细信息
ISBN:
(纸本)1424404908
The paper summarizes results of investigations, design and development of ultra wideband antennas carried out during the last ten years in the Laboratory of Antennas and Telecommunication Systems of NTUU (''KPI''). In particular it contains novel design of a linear 8-element horn array antenna with 45 degrees-slant polarization operating in octave bandwidth (4...8 GHz);ultra wideband horns with fan-type radiation patterns and coaxial to waveguide transitions for them with the frequency ratio up to 10:1;light-weight log-periodic radiators and arrays. The proposed designs were carefully investigated using different full wave numericalmethods and then finally optimized sets of parameters were achieved. Prototypes for telecommunication and radar applications have been manufactured, verified and all-round tested.
In this paper, different forms to construct convolutional codes from linear systems viewpoint are presented. For these purpose we consider that a convolutional code is essentially a linear system defined over a finite...
详细信息
In general, models of biological or technical applications are represented by nonlinear systems. Moreover, these systems contain multiple uncertain or unknown parameters. These uncertainties are the reason for some nu...
详细信息
ISBN:
(纸本)076952821X
In general, models of biological or technical applications are represented by nonlinear systems. Moreover, these systems contain multiple uncertain or unknown parameters. These uncertainties are the reason for some numerical and analytical problems in finding guaranteed bounds for the solution of the state space representation. Unfortunately, several industrial applications are demanding exactly these guaranteed bounds in order to fulfil regulations set by the state authorities. To get an idea of the solution of systems with uncertainties the numerical integration of the system's differential equations has to be done with randomly selected values for the unknown parameters. This computation is done several times, in some circumstances more than a thousand times. This approach is well known as the Monte-Carlo method, but this stochastic approach cannot deliver guaranteed bounds for the domain of the system's solution. Thus, we developed a method to find guaranteed bounds which uses linear Lyapunov-like functions to solve this problem. In this work we combine this method with a theory first introduced by Müller. Differential inequalities are used by Müller to obtain guaranteed bounds. Intersecting the results of both methods provides improved and tight bounds for the original uncertain system. Another approach is shown using a midpoint method providing guaranteed bounds. We achieve guaranteed and finite simulation bounds as a result of our approaches. The results can be used as an initial interval for further methods based on interval arithmetic. An example of a bioreactor with two state variables is shown in this paper to illustrate the methods.
In many high performance engineering and scientific applications there is a need to use parallel software libraries. Researchers behind these applications find it difficult to understand the interfaces to these librar...
详细信息
The numerical solution of optimization problems with partial differential equation (PDE) constraints is vital to a growing number of science and engineering applications. The development of robust and efficient algori...
The numerical solution of optimization problems with partial differential equation (PDE) constraints is vital to a growing number of science and engineering applications. The development of robust and efficient algorithms for the solution of these optimization problems presents many challenges that arise out of, e.g., the intricate mathematical structure of these problems, the complicated interactions between numericalmethods for PDE and optimization, the large-scale of the optimization problems, and the increasing complexity of applications. To identify and overcome these challenges an integrated approach is needed that builds on a variety of mathematical sub-disciplines, such as theory of PDEs, distributed parameter systems, numerical solution of PDEs, numerical optimization, and numericallinearalgebra. This international workshop has brought together some of the leading experts in the fast developing field of optimization problems with PDE constraints to present recent developments in this area as well as to identify open problems and further research needs.
暂无评论