Business information supply chain management in today's business climate characterized are with high uncertainty. Globalization of business, outsourcing, shorter transaction cycles, and high end user expectations ...
详细信息
The proceedings contain 70 papers. The topics discussed include: a framework for creating domain-specific process modeling languages;composing model transformations at runtime - an approach for adapting component-base...
ISBN:
(纸本)9789898565198
The proceedings contain 70 papers. The topics discussed include: a framework for creating domain-specific process modeling languages;composing model transformations at runtime - an approach for adapting component-based user interfaces;unit test - a specialized client in refactoring;transforming SQLITE to run on a bare PC;a framework for developing component-based applications with temporal analysis capabilities;model driven software engineering for grid modeling, optimization and simulation;word sense disambiguation of Persian homographs;modeling and diagnosis characterization using timed observation theory;modeling and analyzing social networks through formal methods and heuristic searches;model driven development of process-centric web applications;a model-driven approach to process enactment;and synthesis of software from logical constraints.
Design closure aided by electromagnetic (EM) simulations is often a necessary step in the antenna design process. It is also challenging because of the fact that accurate EM simulations are computationally expensive. ...
详细信息
In this paper, we report on our ongoing research on simulation-based information security risk assessment and multi-objective optimization of investment in security controls. We outline a methodological framework that...
详细信息
ISBN:
(纸本)9780769547756
In this paper, we report on our ongoing research on simulation-based information security risk assessment and multi-objective optimization of investment in security controls. We outline a methodological framework that accounts for characteristics of the organization, its information infrastructure, assets to be protected, the particular threat sources it faces, and the decision-makers' risk preferences. This framework comprises (i) ontological modeling of security knowledge, (ii) dynamic attack graph generation techniques, (iii) probabilistic simulation of attacks by goal-driven threat agents, (iv) meta-heuristic identification of efficient portfolios of information security controls, and (v) interactive decision support. These components facilitate novel techniques to infer possible routes of attacks and generate attack graphs based on attackers' motivation, objectives, capabilities, and available modes of entry and to use this inferred knowledge to simulate attacks on an organization's modeled infrastructure. The method supports decision makers evaluating potential security control investments in striking a balance between monetary and nonmonetary criteria regarding risks, costs, and benefits. We are currently in the process of developing a prototypical implementation of the framework that will be used to evaluate the approach through application case studies.
modeling the thermal environment of data centers, including prediction of the air flow and temperature distributions can be computationally intensive using CFD. Reduced order models or data-driven meta-models are nece...
详细信息
ISBN:
(纸本)9781424495320
modeling the thermal environment of data centers, including prediction of the air flow and temperature distributions can be computationally intensive using CFD. Reduced order models or data-driven meta-models are necessary to provide real-time assessment of optimum operating conditions for data centers to reduce energy usage. Here, a simulation-based Artificial Neural Network (ANN) approach is employed as a predictive tool. A model for a basic single cold aisle data center configuration is analyzed using the commercial CFD software FloTHERM. The simulation results are used to generate a database for training and cross validation of a primary ANN corresponding to a specific set of input and output operating conditions. Good agreement is achieved between the CFD and ANN based model predictions for maximum rack inlet temperatures over a range of operating conditions. In addition, by combining the ANN with a cost function based Multi-Objective Genetic Algorithm (MOGA), the operating conditions can be inversely predicted for desired outputs (e. g. rack inlet temperatures). The total simulation time for the ANN-MOGA approach is reduced significantly compared to a fully CFD-based optimization methodology.
The key point of the design of combinatory cam is the design of vice-cam contour curve. A series of dots on the follower's path curve which driven by the unknown vice-cam were achieved by using the PROE's curv...
详细信息
ISBN:
(纸本)9783037854822
The key point of the design of combinatory cam is the design of vice-cam contour curve. A series of dots on the follower's path curve which driven by the unknown vice-cam were achieved by using the PROE's curve modeling capabilities and motion simulation function. Then import these points into the curve fitting capabilities function of AutoCAD and a certain extent smooth curve that stringing every point were obtained. Finally, the curve we got from the last step was imported back into PROE, and the unknown vice- cam can be deduced.
Increasing air traffic and the need for environmental-friendly flight operations require efficient Air Traffic Management (ATM) operations. The environmental objectives are the reduction of exhaustive emissions of the...
详细信息
Analog circuit design is often based on a large number of simulations which strongly depends on the mastery of CAD tools and competence of the designer. In this context, the automated design of analog architectures be...
详细信息
Cars with petrol-driven internal combustion engines are sources of air pollution. Until alternative car engines will replace petrol-driven engines, road transportation is a major source for emissions of carbon monoxid...
详细信息
ISBN:
(纸本)9780956494443
Cars with petrol-driven internal combustion engines are sources of air pollution. Until alternative car engines will replace petrol-driven engines, road transportation is a major source for emissions of carbon monoxide, carbon dioxide, hydrocarbons, and many other organic compounds into the environment. There is a direct relation between the car's emissions and its acceleration: an accelerating car will pollute more than a non-speeding car. hi this paper we present a mobile system capable of guiding the driver's decisions with the goal of reducing vehicle emissions. The system considers parameters ranging from the car's characteristics to human reactions. hi this we present results demonstrating the capability of the system to produce decisions that reduce pollution in urban traffic environment.
Due to energy efficiency requirements of modern embedded systems, chip vendors are inclined towards multicore architectures with different types of processing engines and non-uniform interconnect fabrics. At the same ...
详细信息
ISBN:
(纸本)9781467322973;9781467322966
Due to energy efficiency requirements of modern embedded systems, chip vendors are inclined towards multicore architectures with different types of processing engines and non-uniform interconnect fabrics. At the same time multiple applications are intended to run concurrently on the devices with such heterogeneous architectures. This rapid growth in the complexity of the hardware and its use cases imposes new challenges on the software development tools. To overcome this complexity, model of computation based approaches are becoming increasingly promising. Synchronous Data Flow (SDF) is a popular specification formalism for streaming applications with inherently concurrent nature. However, the parallelism expressed in the original representation is often not sufficient to maximally exploit the potential of multicore platforms. In this paper we present a holistic methodology for improving the throughput of streaming applications while mapping them onto heterogeneous architectures. The approach uses transformations that adapt the parallelism in SDF according to available platform resources. We use a genetic algorithm to explore SDF instances with the objective of maximizing throughput on a target platform. Our model supports architecture heterogeneity and multi-application scenarios. The experiments indicate that our approach outperforms other techniques for exploiting parallelism on a single application in most of the test cases and enables concurrent applications optimization.
暂无评论