Programmable logic controllers operating in a sequential execution scheme are widely used for various applications in industrial environments with real-time requirements. the graphical programming languages described ...
详细信息
ISBN:
(纸本)9781450391276
Programmable logic controllers operating in a sequential execution scheme are widely used for various applications in industrial environments with real-time requirements. the graphical programming languages described in the third part of IEC 61131 are often intended to perform open and closed loop control tasks. Continuous Function Charts (CFCs) represent an additional language accepted in practice which can be interpreted as an extension of IEC 61131-3 Function Block Diagrams. those charts allow more flexible positioning and interconnection of function blocks, but can quickly become difficult to manage. Furthermore, the sequential execution order forces a sequential processing of possible independent and thus possibly parallel program paths. the question arises whether a translation of existing CFCs to synchronous programs considering independent actions can lead to a more manageable software model. While current formalization approaches for CFCs primarily focus on verification, the focus of this approach is on restructuring and possible reuse in engineering. this paper introduces a possible automated translation of CFCs to imperative synchronous Quartz programs and outlines the potential for reducing the states of equivalent extended finite state machines through restructuring.
We present a new architecture for Description logic implementations, a range of new optimisation techniques and an empirical analysis of their effectiveness.
We present a new architecture for Description logic implementations, a range of new optimisation techniques and an empirical analysis of their effectiveness.
this special issue of theory and Practice of logicprogramming consists of extended versions of five selected papers from the 3rd international Joint conference on Rules and Reasoning (RuleML+RR 2019). RuleML+RR 2019 ...
详细信息
this special issue of theory and Practice of logicprogramming consists of extended versions of five selected papers from the 3rd international Joint conference on Rules and Reasoning (RuleML+RR 2019). RuleML+RR 2019 was held in conjunction withthe 5th Global conference on Artificial Intelligence, GCAI 2019, as part of the Bolzano Rules and Artificial INtelligence Summit in Bolzano, Italy, from 17 to 19 of September 2019.
An approach to authorization that is based on attributes of the resource requester provides flexibility and scalability that is essential in the context of large distributed systems. logicprogramming provides an eleg...
详细信息
ISBN:
(纸本)3540206426
An approach to authorization that is based on attributes of the resource requester provides flexibility and scalability that is essential in the context of large distributed systems. logicprogramming provides an elegant, expressive, and well-understood framework in which to work with attribute-based authorization policy. We summarize one specific attribute-based authorization framework built on logicprogramming: RT, a family of Role-based Trust-management languages. RT's logicprogramming foundation has facilitated the conception and specification of several extensions that greatly enhance its expressivity with respect to important security concepts such as parameterized roles, thresholds, and separation of duties. After examining language design issues, we consider the problem of assessing authorization policies with respect to vulnerability of resource owners to a variety of security risks due to delegations to other principals, risks such as undesired authorizations and unavailability of critical resources. We summarize analysis techniques for assessing such vulnerabilities.
Planning—in its classical sense—is the problem of finding a sequence of actions that achieves a predefined goal. As such, much of the research in AI planning has been focused on methodologies and i...
ISBN:
(纸本)3540206426
Planning—in its classical sense—is the problem of finding a sequence of actions that achieves a predefined goal. As such, much of the research in AI planning has been focused on methodologies and issues related to the development of efficient planners. To date, several efficient planning systems have been developed (e.g., see [3] for a summary of planners that competed in the internationalconference on Artificial Intelligent Planning and Scheduling). these developments can be attributed to the discovery of good domain-independent heuristics, the use of domain-specific knowledge, and the development of efficient data structures used in the implementation of the planning algorithms. logicprogramming has played a significant role in this line of research, providing a declarative framework for the encoding of different forms of knowledge and its effective use during the planning process [5].
the success of technology enhanced learning can be increased by tailoring the content and the learning resources for every student;thus, optimizing the learning process. this study proposes a method for evaluating con...
详细信息
ISBN:
(纸本)9781728134857
the success of technology enhanced learning can be increased by tailoring the content and the learning resources for every student;thus, optimizing the learning process. this study proposes a method for evaluating content difficulty and knowledge proficiency of users based on modified Elo-rating algorithm. the calculated ratings are used further in the teaching process as a recommendation of coding exercises that try to match the user's current knowledge. the proposed method was tested with a programming tutoring system in object-oriented programming course. the results showed positive findings regarding the effectiveness of the implemented Elo-rating algorithm in recommending coding exercises, as a proof-of-concept for developing adaptive and automatic assessment of programming assignments.
作者：
Benhamou, Belaïd
Domaine univ. S. Jerome Ave. Escadrille Normandie Niemen 13397 Marseille Cedex 20 France
Université d'Artois SP 18 Rue Jean Souvraz F 62307 Lens Cedex France
Many research works had been done in order to define a semantics for logic programs. the well know is the stable model semantics which selects for each program one of its canonical models. the stable models of a logic...
详细信息
logicprogramming has been advocated as a language for system specification, especially for logical behaviours, rules and knowledge. However, modeling problems involving negation, which is quite natural in many cases,...
详细信息
ISBN:
(纸本)3540206426
logicprogramming has been advocated as a language for system specification, especially for logical behaviours, rules and knowledge. However, modeling problems involving negation, which is quite natural in many cases, is somewhat restricted if Prolog is used as the specification/implementation language. these constraints are not related to theory viewpoint, where users can find many different models withtheir respective semantics; they concern practical implementation issues. the negation capabilities supported by current Prolog systems are rather limited, and a correct and complete implementation there is not available. Of all the proposals, constructive negation [1,2] is probably the most promising because it has been proven to be sound and complete [4], and its semantics is fully compatible with Prolog’s.
Design smells are software structures that may indicate a code or design problem that makes software difficult to evolve and maintain [3]. Know those errors is the first step to improve some development skills, such a...
详细信息
ISBN:
(纸本)9781728134857
Design smells are software structures that may indicate a code or design problem that makes software difficult to evolve and maintain [3]. Know those errors is the first step to improve some development skills, such as refactoring. Current tools that detect software problems does not aim to help students to learn withtheir own errors neither help teachers to use it to improve the way they teach object oriented programming (OOP) and software engineering disciplines. this work aims to develop an expert system module to improve the existent tools and help students and teachers in their tasks.
this paper studies an integrated optimization model of production planning with partner selection in a networked manufacturing system. An integrated multi-objective programming model is proposed and a numerical exampl...
详细信息
ISBN:
(纸本)9783642384271;9783642384264
this paper studies an integrated optimization model of production planning with partner selection in a networked manufacturing system. An integrated multi-objective programming model is proposed and a numerical example is illustrated. the result shows the effectiveness and feasibility of the model. the model is suitable for the decision of production planning in networked manufacturing environment.
暂无评论