objectorientedprogramming languages raised the level of abstraction by incorporating first class query constructs explicitly in the program codes. These query constructs allow programmers to express operations over ...
详细信息
ISBN:
(纸本)9780769547848
objectorientedprogramming languages raised the level of abstraction by incorporating first class query constructs explicitly in the program codes. These query constructs allow programmers to express operations over collections as object queries and also provide optimal query execution utilizing query optimization strategies from domain of databases. However, when a query is repeated in the program, it is executed afresh. This paper presents an approach to reduce the run time execution of programs involving explicit queries by caching the results of repeated queries and incrementally maintaining the cached results. We propose determination of cache entries at compile time by performing the program analysis. We also describe the cache heuristics for determining which queries to cache.
The Environmental Awareness for Sensor and Emitter Employment (EASEE) software is designed to help in surveillance planning by predicting detection performance of sensors and optimizing sensor selection and placement ...
详细信息
ISBN:
(纸本)9781467324519
The Environmental Awareness for Sensor and Emitter Employment (EASEE) software is designed to help in surveillance planning by predicting detection performance of sensors and optimizing sensor selection and placement for intrusion detection around any controlled area, including power plants, dams, borders, prisons, military bases, combat outposts, etc. By its flexible, object-oriented software architecture, EASEE can simulate the performance of a wide variety of sensor modalities-including optical, acoustic, seismic, magnetic, radio-frequency, chemical, and biological-in the realistic terrain and weather conditions of the surveillance environment. EASEE characterizes complex terrain and weather effects on target signatures, signal propagation, and sensor systems, using an expansive library of realistic physics models. Statistical methodologies are also used to account for uncertainties from random signal-generation and propagation mechanisms. A built-in sensor placement algorithm optimizes sensor selections and placements based on sensor supply limitations, coverage priorities, overlapping sensor coverage preferences, and wireless sensor communication requirements.
In waste water pumping stations, centrifugal pumps driven by induction motors are used to transport the collected effluent to the treatment plants. Those pumps can be controlled either using frequency converters or on...
详细信息
ISBN:
(纸本)9781467347372;9781467347358
In waste water pumping stations, centrifugal pumps driven by induction motors are used to transport the collected effluent to the treatment plants. Those pumps can be controlled either using frequency converters or on-and-off control using soft starters. In this paper a method for modeling wastewater pumping stations using the component oriented modeling language Modelica is presented. The model provides a valuable simulation tool to validate and judge on the different control schemes of these stations. This approach is applied successfully on a real pumping station located at the northern part of Gaza. The derived model facilitates tuning the control parameters and allows better understanding of the system dynamics.
in this paper, we present a novel approach for developing services that can be deployed in different cloud infrastructures at the same time. The approach provides an instrument with emphasis on abstraction, inheritanc...
详细信息
ISBN:
(纸本)9781467351577;9781467351553
in this paper, we present a novel approach for developing services that can be deployed in different cloud infrastructures at the same time. The approach provides an instrument with emphasis on abstraction, inheritance and code reuse. Then, cloud-based services are developed easily by extending existing abstractions classes provided by the instrument or other developers. The interoperability between different clouds is solved by the basic abstraction classes of the instrument and all services are inherited and benefited from the advantage.
We present the Cloud Operating System (COS), a middleware framework to support autonomous workload elasticity and scalability based on application-level migration as a reconfiguration strategy. While other scalable fr...
详细信息
ISBN:
(纸本)9780769548623;9781467344326
We present the Cloud Operating System (COS), a middleware framework to support autonomous workload elasticity and scalability based on application-level migration as a reconfiguration strategy. While other scalable frameworks (e.g., MapReduce or Google App Engine) force application developers to write programs following specific APIs, COS provides scalability in a general-purpose programming framework based on an actor-orientedprogramming language. When all executing VMs are highly utilized, COS scales a workload up by migrating mobile actors over to newly dynamically created VMs. When VM utilization drops, COS scales the workload down by consolidating actors and terminating idle VMs. Application-level migration is advantageous compared to VM migration especially in hybrid clouds in which migration costs over the Internet are critical to scale out the workloads. We demonstrate the general purpose programming approach using a tightly-coupled computation. We compare the performance of autonomous (i.e., COS-driven) versus ideal reconfiguration, as well as the impact of granularity of reconfiguration, i.e., VM migration versus application-level migration. Our results show promise for future fully automated cloud computing resource management systems that efficiently enable truly elastic and scalable general-purpose workloads.
We integrate software components that allow efficient and successful grasping of kitchenware objects. The contributed components include: The object pose detector, the gripper reaching motion and the grasp hypothesis ...
详细信息
ISBN:
(纸本)9781467314978
We integrate software components that allow efficient and successful grasping of kitchenware objects. The contributed components include: The object pose detector, the gripper reaching motion and the grasp hypothesis selection. The object pose detector of Drost et. al. [10] is improved, considering rotationally symmetric objects. The reaching motion execution combines two independent dynamical systems: The approach direction system and its tangent space [21]. The coupling provides a robust reaching component that copes with several gripper configurations. The grasp hypothesis selection filters the object poses by considering the table orientation.
In this paper we investigate new dynamic semantics of component based Petri nets that we propose for describing behavior models of event-driven concurrent systems made up of active components. Each of our Petri net mo...
详细信息
ISBN:
(纸本)9781467329255;9781467329224
In this paper we investigate new dynamic semantics of component based Petri nets that we propose for describing behavior models of event-driven concurrent systems made up of active components. Each of our Petri net modules is related to one component of the system under design and all these modules are linked to each other so that this allows them to asynchronously communicate using an event flow throughout their interface places and transitions. We also give a modular method for building the state space of this kind of Petri nets by combining those of its modules. We first give a new algorithm for state exploration of the modules in accordance to statecharts run-to completion policy that controls the way active components are executed and thereafter we combine the produced reachability graphs using a parallel operator to yield the whole state space of the system.
Lack of awareness about the potentials of agent technology, as well as concerns regarding stability, scalability, and survivability especially in unpredictable environments of attacks and system failures are identifie...
详细信息
ISBN:
(纸本)9781467347372;9781467347358
Lack of awareness about the potentials of agent technology, as well as concerns regarding stability, scalability, and survivability especially in unpredictable environments of attacks and system failures are identified as major reasons for missing trust in the idea of delegating tasks to autonomous agents. Therefore, one of the key research issues is how the quality of Multi-Agent Systems can be assured, while at the same time reducing the development efforts to enhance the acceptance of agent technology in the industry. In order to ensure the industrial relevance, we focus on development of methods and techniques for the evaluation and tests of agent-based control applications. Our research covers the development of demonstration framework, including pilot implementations in industrial-like settings.
Finite state machines (FSMs) are widely used as a mean to model the behavior of systems and/or processes, but they are not supported by general purpose programming languages. To avoid implementations that are difficul...
详细信息
ISBN:
(纸本)9781467303118
Finite state machines (FSMs) are widely used as a mean to model the behavior of systems and/or processes, but they are not supported by general purpose programming languages. To avoid implementations that are difficult to develop, and mostly maintain, frameworks have been developed for the FSM domain. Ideally, frameworks should be easy to learn and use, and provide as much support as possible. They should also enforce design rules, while keeping flexibility. However, there are tradeoffs between these aspects, and thus a balance must be found. object-oriented frameworks that we have found in the literature do not meet this set of characteristics, but one stands out. We discuss its use to develop an example application (electric lock control), demonstrating important limitations. Based on that analysis, we propose a new framework that is small, efficient, and provides a powerful set of features for implementing FSMs. The framework is easy to learn and use, fully supports both Mealy and Moore machines, enables semantically correct state minimization, and offers conditional transitions.
The paper presents an analysis of the owner/component relationships. The same component may be shared by several owners thus causing their vulnerability since state changes in one owner may break the invariant of othe...
详细信息
ISBN:
(纸本)9781467329842;9781467329835
The paper presents an analysis of the owner/component relationships. The same component may be shared by several owners thus causing their vulnerability since state changes in one owner may break the invariant of other. In order to avoid such situations we introduce the equilibrium predicate that describes all states that an owner can occupy without breaking invariants of other ones. Based on equilibrium predicates we analyze the correctness of the owner-component classes system, their mutual contracts and equilibriums.
暂无评论