We introduce ELP as a decidable fragment of the Semantic Web Rule Language (SWRL) that admits reasoning in polynomial time. ELP is based on the tractable description logic epsilon L++, and encompasses an extended noti...
详细信息
ISBN:
(纸本)9783540885634
We introduce ELP as a decidable fragment of the Semantic Web Rule Language (SWRL) that admits reasoning in polynomial time. ELP is based on the tractable description logic epsilon L++, and encompasses an extended notion of the recently proposed DL rides for that logic. thus ELP extends epsilon L++ with a number of features introduced by the forthcoming OWL 2, such as disjoint roles, local reflexivity, certain range restrictions, and the universal role. We present a reasoning algorithm based on a translation of ELP to Datalog, and this translation also enables the seamless integration of DL-safe rules into ELP. While reasoning with DL-sate rules as Such is already highly intractable, we show that DL-safe rules based on the Description Logic programming (DLP) fragment of OWL 2 can be admitted in ELP without losing tractability.
Effectively managing concurrent execution is one of the biggest challenges for future wireless sensor/actor networks (WSANs): For safety reasons concurrency needs to be tamed to prevent unintentional nondeterministic ...
详细信息
ISBN:
(纸本)9780769531571
Effectively managing concurrent execution is one of the biggest challenges for future wireless sensor/actor networks (WSANs): For safety reasons concurrency needs to be tamed to prevent unintentional nondeterministic executions, on the other hand, for real-time guarantees concurrency needs to be boosted to achieve timeliness. We propose a transactional, optimistic concurrency control framework for WSANs that enables understanding of a system execution as a single thread of control, while permitting the deployment of actual execution over multiple threads distributed on several nodes. By exploiting the atomicity and broadcast properties of singlehop wireless communication, we provide a lightweight implementation of our transactional framework on the motes platform.
作者：
Witzel, AndreasZvesper, Jonathan A.ILLC
University of Amsterdam Plantage Muidergracht 24 1018TV Amsterdam Netherlands CWI
Kruislaan 413 1098SJ Amsterdam Netherlands
In this paper we propose an explicit form of knowledge-based programming. Our initial motivation is the distributed implementation of game-theoretical algorithms, but we abstract away from the game-theoretical details...
详细信息
A well designed hybrid energy system can be cost effective, has a high reliability and can improve the quality of life in remote rural areas. the economic constraints can be met, if these systems are fundamentally wel...
详细信息
ISBN:
(纸本)9781424420148
A well designed hybrid energy system can be cost effective, has a high reliability and can improve the quality of life in remote rural areas. the economic constraints can be met, if these systems are fundamentally well designed, use appropriate technology and make use effective dispatch control techniques. the first part of this tri-series paper, presents the analysis and design of a mixed integer linear mathematical programming model (time series) to determine the optimal operation and cost optimization for a hybrid energy generation system consisting of a photovoltaic array, biomass, biogas, small/micro hydro, a battery bank and a fossil fuel generator. the optimization is aimed at minimizing the cost function based on demand and potential constraints. Further, mathematical models of all other components of hybrid energy system are also developed. this is the generation mix of the remote rural area of India;it may be applied to other rural areas also.
Instruction scheduling is an important issue in the compiler optimization for embedded systems. the instruction scheduling problem is mainly solved heuristically since finding an optimal solution requires significant ...
详细信息
ISBN:
(纸本)9781424425389
Instruction scheduling is an important issue in the compiler optimization for embedded systems. the instruction scheduling problem is mainly solved heuristically since finding an optimal solution requires significant computational resources and, in general, the problem of optimally scheduling instructions is known to be NP-Complete. the development of processors with pipelines and multiple functional units has increased the demands on compiler writers to write complex instruction scheduling algorithms. these algorithms are required to ensure that the most efficient use of resources, i.e. the functional units and pipelines of the processor, is made due to the increased complexity of processor architectures. In this paper, the specific problem of automatically creating instruction scheduling heuristics is addressed.
In tree based genetic programmingthere is a tendency for the size of the programs to increase from generation to generation, a process known as bloat. It is standard practice to place some form of control on program ...
详细信息
ISBN:
(纸本)9783540896937
In tree based genetic programmingthere is a tendency for the size of the programs to increase from generation to generation, a process known as bloat. It is standard practice to place some form of control on program size either by limiting the number of nodes or the depth of the tree, or by adding a component to the Fitness function that rewards smaller programs (parsimony pressure). Others have proposed directly simplifying individual programs using algebraic methods. In this paper, we add node-based numerical simplification as a tree pruning criterion to control program size. We show that simplification results in reductions in expected program size, memory use and computation time. We further show that numerical simplification performs at least as well is algebraic simplification alone, and in some cases will outperform algebraic simplification.
Web-based interactive learning is an important educational trend. In this paper, we implemented web-based virtual education courseware for the C programming language. It consists of two major components: a creative le...
详细信息
ISBN:
(纸本)9783540850328
Web-based interactive learning is an important educational trend. In this paper, we implemented web-based virtual education courseware for the C programming language. It consists of two major components: a creative lecture component for students and an evaluation component for lecturers. the lecture component contains HTML-based lecture notes with creative multimedia content, such as flash movies and video clips, and an effective web-based compiler which compiles C programs at the server. these are submitted by students through the Web and the program returns their execution results to the students' PCs. there is also a submission component of a student's reports and an online examination. the administration and management system for attendance checking, report assignment, online examination and scoring, etc is implemented using web technologies such as HTML, Java, Java script, PHP and MySQL database. this system enables students to easily understand the content and programming techniques of the C programming language. It enables lecturers to achieve higher productivity, saving them time and labor.
We take a novel approach to Non-Photorealistic Rendering by adapting genetic programming in combination with computer graphics drawing techniques. As a GP tree is evaluated, upon encountering certain nodes referred to...
详细信息
ISBN:
(纸本)9783540896937
We take a novel approach to Non-Photorealistic Rendering by adapting genetic programming in combination with computer graphics drawing techniques. As a GP tree is evaluated, upon encountering certain nodes referred to as, "Draw" nodes, information contained within such nodes are sent to one of three virtual canvasses and a mark is deposited oil the canvas. For two of the canvasses the user is able to define custom brushes to be applied to the canvas. Drawing functions are supplied with little localised information regarding the target image. Based on this local data, the drawing functions are enabled to apply contextualized information to the canvas. the obtained results include a "Shroud of Turin" effect, a "Decal" effect, and a "Starburst" effect.
To diminish the discontinuity and divergence or infinitynorm torque minimization scheme, a bi-criteria weighting scheme is proposed for online redundancy resolution or redundant robot arms. Such a scheme can easily be...
详细信息
ISBN:
(纸本)9781424420957
To diminish the discontinuity and divergence or infinitynorm torque minimization scheme, a bi-criteria weighting scheme is proposed for online redundancy resolution or redundant robot arms. Such a scheme can easily be reformulated into a quadratic program (QP) subject to equality, inequality and bound constraints, To solve this QP problem online, a primal-dual dynamical-sytem solver is further presented based on linear variational inequalities (LVI). Compared to previous research work, the adopted QP-solver has simple piecewise-linear dynamics, and does not entail real-time matrix. inversion. Computer simulations are performed based on a PUMA560 manipulator to verify the performance and effectiveness or Lite propose torque-optimization method.
Program enhancement refers to adding new functionality to an existing program. We argue that repetitive program enhancement tasks can be expressed as patterns, and that the application of such enhancement patterns can...
详细信息
暂无评论