this article deals withthe use of a constraint satisfaction problem (CSP) modeling with a constraint programming (CP) solver to support the synthesis of logical controllers for Programmable logic Controller (PLC). In...
详细信息
ISBN:
(纸本)9798350373981;9798350373974
this article deals withthe use of a constraint satisfaction problem (CSP) modeling with a constraint programming (CP) solver to support the synthesis of logical controllers for Programmable logic Controller (PLC). In this work, manufacturing systems are considered and are seen as Discrete Event Systems (DES) withlogical inputs (sensors) and logical outputs (actuators). the controller is seen as a scheduler of operative (or functional) independent tasks. the methodology is based on the definition of constraints. the solver will indicate, based on the previous PLC variables state, the possible tasks which could be activated. In addition, it is proposed a solution to get only one solution, enabling, in the future, a possible implementation in a PLC.
We present a novel approach for teaching logic and the metatheory of logic to students who have some experience withfunctionalprogramming. We define concepts in logic as a series of functional programs in the langua...
详细信息
We present a novel approach for teaching logic and the metatheory of logic to students who have some experience withfunctionalprogramming. We define concepts in logic as a series of functional programs in the language of the proof assistant Isabelle/HOL. this allows us to make notions which are often unclear in textbooks precise, to experiment with definitions by executing them, and to prove metatheoretical theorems in full detail. We have surveyed student perceptions of our teaching approach to determine its usefulness and found that students felt that our formalizations helped them understand concepts in logic, and that they experimented withthem as a learning tool. However, the approach was not enough to make students feel confident in their abilities to design and implement their own formal systems. Further studies are needed to confirm and generalize the results of our survey, but our initial results seem promising.
the proceedings contain 8 papers. the topics discussed include: design of classes;reimplementing the wheel: teaching compilers with a small self-contained one;teaching programming to novices using the codeBoot online ...
the proceedings contain 8 papers. the topics discussed include: design of classes;reimplementing the wheel: teaching compilers with a small self-contained one;teaching programming to novices using the codeBoot online environment;teaching simple constructive proofs with Haskell programs;teaching functional programmers logic and metatheory;engaging, large-scale functionalprogramming education in physical and virtual space;introduction to functional classes in CS1;and teaching interaction using state diagrams.
作者：
Kurokochi, RentoOzaki, TomonobuNihon Univ
Grad Sch Integrated Basic Sci Setagaya Ward 3-25-40 Sakurajosui Tokyo 1568550 Japan Nihon Univ
Dept Informat Sci Setagaya Ward 3-25-40 Sakurajosui Tokyo 1568550 Japan
the werewolf game is one of incomplete information games by multiplayer, and it is recognized widely as a new promising standard problem in Artificial Intelligence recently. In this paper, we try to evaluate the valid...
详细信息
ISBN:
(纸本)9781665475327
the werewolf game is one of incomplete information games by multiplayer, and it is recognized widely as a new promising standard problem in Artificial Intelligence recently. In this paper, we try to evaluate the validity and effectiveness of common knowledge, i.e. common tendencies felt by a large number of players, in werewolf games. Specifically, we extract such tendencies as rules from the werewolf BBS data manually, and verify their effects on the role and team estimation tasks by using a probabilistic logicprogramming model having game rules and extracted tendencies. As a result, we succeeded in extracting some common tendencies for team estimation, and it was confirmed that the extracted knowledges have positive effects in some purposes such as the prediction of werewolves.
logical solvers are typically employed for the static analysis and formal verification of functional code that is not amenable to verification through execution. Concurrently, some research efforts aim to convert natu...
详细信息
Capturing domain knowledge is a time-consuming procedure that usually requires the collaboration of a Subject Matter Expert (SME) and a modeling expert to encode the knowledge. this situation is further exacerbated in...
详细信息
ISBN:
(数字)9783030994617
ISBN:
(纸本)9783030994600;9783030994617
Capturing domain knowledge is a time-consuming procedure that usually requires the collaboration of a Subject Matter Expert (SME) and a modeling expert to encode the knowledge. this situation is further exacerbated in some domains and applications. the SME may find it challenging to articulate the domain knowledge as a procedure or a set of rules but may find it easier to classify instance data. In the cyber-physical domain, inferring the implemented mathematical concepts in the source code or a different form of representation, such as the Resource Description Framework (RDF), is difficult for the SME, requiring particular expertise in low-level programming or knowledge in Semantic Web technologies. To facilitate this knowledge elicitation from SMEs, we developed a system that automatically generates classification and annotation rules for control concepts in cyber-physical systems (CPS). Our proposed approach leverages the RDF representation of CPS source code and generates the rules using Inductive logicprogramming and semantic technologies. the resulting rules require a small set of labeled instance data that is provided interactively by the SME through a user interface within our system. the generated rules can be inspected, iterated and manually refined.
A distributed system is made of interacting components. the current manual, ad-hoc approach to composing them cannot ensure that the composition is correct, and makes it difficult to control performance. the former is...
详细信息
ISBN:
(纸本)9783031174360;9783031174353
A distributed system is made of interacting components. the current manual, ad-hoc approach to composing them cannot ensure that the composition is correct, and makes it difficult to control performance. the former issue requires reasoning over a high-level specification;the latter requires fine control over emergent run-time properties. To address this, we propose the Varda language (a work in progress) to formalize the architecture of a system, i.e., its components, their interface, and their orchestration logic. the Varda compiler checks the architecture description and emits glue code, which executes the orchestration logic and links to the components. the Varda system relies on a generic interception mechanism to act upon distribution-related system features in a transparent and uniform manner. Varda also takes into account important non-functional system properties, such as placement.
this article deals withthe use of a constraint satisfaction problem (CSP) modeling with a constraint programming (CP) solver to support the synthesis of logical controllers for Programmable logic Controller (PLC). In...
详细信息
ISBN:
(数字)9798350373974
ISBN:
(纸本)9798350373981
this article deals withthe use of a constraint satisfaction problem (CSP) modeling with a constraint programming (CP) solver to support the synthesis of logical controllers for Programmable logic Controller (PLC). In this work, manufacturing systems are considered and are seen as Discrete Event Systems (DES) withlogical inputs (sensors) and logical outputs (actuators). the controller is seen as a scheduler of operative (or functional) independent tasks. the methodology is based on the definition of constraints. the solver will indicate, based on the previous PLC variables state, the possible tasks which could be activated. In addition, it is proposed a solution to get only one solution, enabling, in the future, a possible implementation in a PLC.
the development of electromagnetic launch technology imposes higher requirements on the discharge control of Pulse Forming Networks (PFN). this paper introduces a multi-channel time sequence pulse signal generating pl...
详细信息
ISBN:
(数字)9789038661353
ISBN:
(纸本)9798350352733
the development of electromagnetic launch technology imposes higher requirements on the discharge control of Pulse Forming Networks (PFN). this paper introduces a multi-channel time sequence pulse signal generating platform based on FPGA NiosII system. the user logic is designed by employing modular programming methodologies. Furthermore, the host computer software is developed utilizing the Qt Creator to facilitate comprehensive control over 30-channel output pulse signals. Within a short delay range, the adjustment step size of channel output time sequence can reach 20ns. To meet various discharge requirements, the signal generator is designed withthe capability to store multiple sets of time sequence data. Upon receiving of a designated group number, it promptly calls the corresponding time sequence to generate trigger pulses, thereby swiftly modulating the output current waveform of the PFN. To verify the correctness of the FPGA logic program, SignalTap II logic Analyzer, an embedded logic analyzer of the Quartus platform, is used to logically judge the FPGA output signals. Additionally, a digital oscilloscope is employed for precise measurement of analog signals from FPGA pins. the experimental waveforms demonstrate that the FPGA logic program meets the design requirements. the connection between host computer and FPGA is established through serial communication for joint debugging and testing. In order to test the signal generator's adjustment functionality of time sequence, the host computer issues the group number. Test results substantiate that output pulse signals of the signal generator are accordant withthe setting of the host computer, and the generator can update the output time sequence online based on the received group number. Applying this signal generator to PFN systems allows flexible adjustment of multi-module trigger time sequence according to discharge waveform requirements, which is beneficial for improving the discharge accuracy of PFN sys
this paper presents design goals, development approaches, and applications for Slang – a subset of the Scala programming language designed for engineering high assurance safety/security-critical systems. Rationale is...
详细信息
暂无评论