Different scenarios based on environmental changes and water quality models could be used to assess the sustainability and vulnerability of a particular geographical region. the gSWAT and BASHYT platforms provide serv...
详细信息
ISBN:
(纸本)9780769546308
Different scenarios based on environmental changes and water quality models could be used to assess the sustainability and vulnerability of a particular geographical region. the gSWAT and BASHYT platforms provide services and tools supporting the calibration, execution and visualization of the SWAT models. the paper presents the experiments on the execution of different scenarios based on calibrated SWAT model over the Grid infrastructure. Based on the requirements for the SWAT models, lots of input and output data, the high number of simulations that must be performed in the calibration process, the Grid could offer boththe storing and execution solutions. this paper presents the interoperability between gSWAT and BASHYT platforms highlighting the architectural components and presenting some test cases to assess the system performances. the research work is supported by the 4-years FP7 Project called EnviroGRIDS Black Sea Catchment Observation and Assessment System supporting Sustainable Development (http://***/) cofounded by the European Commission.
n-dimensional discrete objects can be interpreted as cubical complexes which are suitable for the study of their homology groups in order to understand the original discrete object. the classic approach consists in co...
详细信息
ISBN:
(纸本)9781479984480
n-dimensional discrete objects can be interpreted as cubical complexes which are suitable for the study of their homology groups in order to understand the original discrete object. the classic approach consists in computingthe Normal Smith Form of some matrices associated to the cubical complex. Further approaches deal mainly with a pre-processing of the matrices in order to reduce their size. In this paper we propose a new approach, initially based on Discrete Morse theory, which computes some homological information (Betti numbers and representative cycles) without calculating the Normal Smith Form. It works on any dimension, and it can also be applied to any kind of regular cell complex.
Time Basic Petri nets are an expressive extension of Petri nets, suitable to model real-time systems. this paper introduces a coverability analysis technique to cope with structurally unbounded Time Basic Petri net mo...
详细信息
ISBN:
(纸本)9781509057078
Time Basic Petri nets are an expressive extension of Petri nets, suitable to model real-time systems. this paper introduces a coverability analysis technique to cope with structurally unbounded Time Basic Petri net models exhibiting non-urgent behavior: i.e., models in which transitions may choose to do not fire and let time pass, even if this could lead to transition disabling. the approach we present exploits the identification of anonymous temporal information, that is the possibility of erasing timestamps associated with specific tokens without compromising the correctness of model's temporal evolution. In particular, we extend the classical Karp-Miller coverability algorithm in two ways: first, we adapt the acceleration function to deal withsymbolic states and to identify unboundedness due to time anonymous tokens;second, we employ an aggressive pruning strategy to remove included/ covered portions of the reachability tree during exploration.
Withthe rapid demand of portable and mobile embedded systems, reducing energy consumption has become a vital research area in the real-time embedded systems community. there exist many research works which describe s...
详细信息
ISBN:
(纸本)9780769549347;9781467350266
Withthe rapid demand of portable and mobile embedded systems, reducing energy consumption has become a vital research area in the real-time embedded systems community. there exist many research works which describe scheduling algorithms minimizing the total energy of a system. However, very few works describe scheduling techniques for which the energy consumption is optimal. this paper describes a scheduling technique which provides an optimal schedule in terms of power consumption on a uniprocessor platform running non-preeemptive jobs. To the best of our knowledge, there is no analytical formula of the minimum energy for an arbitrary job set with.. jobs, where n >= 2 is the number of jobs. A multi-case analytical formula for the minimum energy of job sets with two jobs is provided here as an original contribution.
Nowadays cloud computing is becoming one of the most used technological solution to achieve scalability and reduce costs. Scalability is a key point for the success of any business involving the Web and providing serv...
详细信息
ISBN:
(纸本)9780769549347;9781467350266
Nowadays cloud computing is becoming one of the most used technological solution to achieve scalability and reduce costs. Scalability is a key point for the success of any business involving the Web and providing services to end-user requests that may vary drastically from one time to another. Sizing a system to provide performance guarantees under peak traffic can be cost prohibitive;the main advantage of cloud computing lays in the opportunity to allocate resources on-demand on a pay per use basis. In this paper we extend Flexiscale public cloud with auto scaling mechanisms and compare these mechanisms withthose offered by Amazon. the analysis aims at identifying useful patterns for the execution of Web applications in the cloud and at underlining the critical factors that affect the performance of the two providers. We performed a large set of experiments that demonstrated the importance of tuning correctly the auto scaling parameters.
the advent of cloud computing is an opportunity to companies offering client-server services to migrate to a Software as a Service (SaaS) kind of business model. this kind of business model is based on having companie...
详细信息
ISBN:
(纸本)9781479930357
the advent of cloud computing is an opportunity to companies offering client-server services to migrate to a Software as a Service (SaaS) kind of business model. this kind of business model is based on having companies offering services on the cloud accessible by means of web interfaces and protocols. this comes in opposition to the traditional (client-server) model in which software packages need to be downloaded, installed and maintained directly by clients. therefore, the SaaS could allow the definition of high level services, removing the burden of configuring and managing servers from clients. In the point of view of the service providers, this transition is not easy. Concerns such as vendor neutral design, scalability, (self-)adaptation and monitoring of running applications need to be dealt with. the MODAClouds FP7 EU project proposes to deal with all these challenges and it is going to use ModelioSaaS as a use case. ModelioSaaS is a software as a service product to be offered by SOFTEAM by means of the migration of its existing client-server based products. the main contributions of this paper are therefore providing an account, from the industrial point of view, of the context surrounding this migration and the constraints it needs to comply to. these constraints will be presented in the form of functional and non-functional requirements along withtheir rationale. this paper presents our current view of the architecture of ModelioSaaS that will enable this move and the gaps that we intend to fill be means of the MODAClouds platform.
Modeling and simulation is essential in polymer processing for predicting process characteristics and designing processing machines. Traditional models are based on analytical approaches. Over the last decades numeric...
详细信息
ISBN:
(纸本)9781665465458
Modeling and simulation is essential in polymer processing for predicting process characteristics and designing processing machines. Traditional models are based on analytical approaches. Over the last decades numerical simulation techniques have grown significantly withthe rising computational power. Withthe ongoing digitalization the available data increased significantly and data-based modeling techniques have become popular also for production systems. Utilizing the available data powerful models, for instance, decision trees and artificial neural networks, can be trained. the prediction accuracy is strongly governed by the quality of the underlying training data. In this work, a hybrid approach is presented combining analytical, numerical and data-based approaches efficiently to overcome the limitations of the individual techniques. As a result, explicit symbolic regression models are obtained, which are optimized on the basis of a numerically derived dataset. the power of this approach is demonstrated by a selected use-case. these highly accurate models may be implemented into any further application.
We present a denotational semantics designed with metric spaces and continuations for a simple concurrent language L-MB embodying a representative set of features encountered in membrane computing. L-MB is a multiset ...
详细信息
ISBN:
(纸本)9781509004614
We present a denotational semantics designed with metric spaces and continuations for a simple concurrent language L-MB embodying a representative set of features encountered in membrane computing. L-MB is a multiset rewriting language. In L-MB multisets of objects are encapsulated in hierarchical structures of compartments, or regions, delimited by membranes. the behaviour of each membrane is specified by means of multiset rewriting rules. the semantics of parallel composition in L-MB is based on the concept of maximal parallelism. Computations proceed according to the multiset rewriting rules, nondeterministically choosing the rules and the objects. Membranes can be grouped into classes based on the rewriting rules that they encapsulate;L-MB also provides a primitive for membrane creation, or instantiation. In this sense, L-MB is similar to an object oriented language. We use continuations and a powerdomain construction to represent nondeterministic behavior. An element of a powerdomain is a collection of sequences of observables representing dynamic membrane structures. Our continuation semantics describes in a compositional manner the behavior of an L-MB program as a dynamic hierarchical system. As far as we know, this is the first paper that presents a metric denotational semantics for the combination of features embodied in L-MB.
the dawn of Cloud computing has opened new opportunities for IT-based industries, enabling them to cut costs and extend their businesses to a level which was previously hard to attain. While Cloud adoption is an ongoi...
详细信息
ISBN:
(纸本)9780769549347;9781467350266
the dawn of Cloud computing has opened new opportunities for IT-based industries, enabling them to cut costs and extend their businesses to a level which was previously hard to attain. While Cloud adoption is an ongoing process, many enterprises are still reluctant to pursue it because its downside outweighs its benefits, especially due to problems related to security and privacy. Coming from Service Oriented Architecture (SOA) Governance, Cloud Governance aims to cover these issues by offering a set of complementary services to the already available Cloud Management ones. this paper covers one of the core aspects of Cloud Governance, its ability to provide service brokering. A semantic approach is proposed where related services and cloud ontologies as well as brokering mechanisms are discussed.
Brain microcircuits exhibit an almost chaotic behavior. this is of high interest in developing new computational models or designing high capacity storage systems. therefore, the simulation of such microcircuits must ...
详细信息
ISBN:
(纸本)9781479930357
Brain microcircuits exhibit an almost chaotic behavior. this is of high interest in developing new computational models or designing high capacity storage systems. therefore, the simulation of such microcircuits must preserve the brain dynamic behavior. But investigating the dynamics analysis of such systems is a complex computational task due to the large number of neurons and synapses in the network, the large number of simulation scenarios that need to be computed, and to their model representation. To address the first challenge, we propose in this paper an MPI-based parallelization scheme of the asynchronous spiking neural network simulation algorithm. Due to the partitioning method, we can compute scenarios with more than 50.000 neurons and 300 millions synapses. the proposed solution has been evaluated on production HPC systems, employing up to 512 parallel processes. We contribute to the second challenge by extending the fACIBiNET framework with client-side capabilities for the Globus Online service. As such, scenarios with both high-throughput and high-performance computing requirements are managed in an efficient manner from within the framework, using grid technologies.
暂无评论