Since Arduino is the main entry-level platform to the world of electronic circuits and systems, there are many programming environments that try to ease the burden of Arduino textual programming on young primary stude...
详细信息
ISBN:
(纸本)9781467396806
Since Arduino is the main entry-level platform to the world of electronic circuits and systems, there are many programming environments that try to ease the burden of Arduino textual programming on young primary students. Although block-based, most of these environments retain the imperative structures of textual programming languages, which are not easily comprehensible by such students. The proposed, in this paper, Learning-Arduino-With-rules Introductory System (LAWRIS) tries to tackle this problem by adopting a rule-based approach: an Arduino-based pre-specified system can be programmed by constructing rules with very simple and intuitive jigsaw pieces, in a visual, web-based environment. Contrary to other programming environments for Arduino, the main logic of LAWRIS is implemented on the board side and only a configuration string is downloaded to it. Thus, LAWRIS features fast responses to both circuit input changes and program modifications, a very important characteristic for young students. It also imposes minimal overhead on the host system, allows web access of the programming environment, and has very low hardware cost.
Urbanization and climate change are straining water resources, necessitating sustainable solutions. Greywater reuse is of paramount importance as it not only conserves freshwater resources but also contributing to sus...
详细信息
Urbanization and climate change are straining water resources, necessitating sustainable solutions. Greywater reuse is of paramount importance as it not only conserves freshwater resources but also contributing to sustainable water management efforts. This research aims to design and simulate an efficient water reuse system for a houseboat on the Kaiapoi River in New Zealand using decentralized treatment units. The system integrates river water storage, roof catchment, and greywater and blackwater treatment units, each employing different technologies for treatment. A houseboat's multi-demand water system is designed and simulated to achieve a sustainable approach in water reuse. EPANET's rule-based controls are used for simulation in this research. The research successfully designed and simulated a water reuse infrastructure, reducing freshwater demand by 29% through efficient infrastructure and treated greywater utilization for washing and toilets. The outcomes of this research hold great promise in the context of mitigating water crises, promoting the adoption of groundbreaking technologies, and encouraging sustainable practices. The effective and standards-compliant technologies and daily, weekly, and yearly simulations performed by EPANET. Beyond the immediate application on the houseboat, the effective and standards-compliant technologies and EPANET's comprehensive simulations provide a robust foundation for scaling up the system to serve larger decentralized infrastructures. The research's outcomes have positive implications for addressing the water crisis in an efficient and sustainable manner. This is achieved by utilizing innovative technologies and sustainable practices. There is a potential to contribute to the development of similar sustainable water systems for households, communities, and industries.
We present a concise source-to-source transformation that introduces justifications for user-defined constraints into the rule-based Constraint Handling rules (CHR) programming language. There is no need to introduce ...
详细信息
We present a concise source-to-source transformation that introduces justifications for user-defined constraints into the rule-based Constraint Handling rules (CHR) programming language. There is no need to introduce a new semantics for justifications. This leads to a conservative extension of the language, as we can show the equivalence of rule applications. A scheme of two rules suffices to allow for logical retraction (deletion, removal) of CHR constraints during computation. Without the need to recompute from scratch, these rules remove the constraint and also undo all its consequences. We prove a confluence result concerning the rule scheme. We prove its correctness in general and tighten the results for confluent programs. We give an implementation, show its correctness, present two classical examples of dynamic algorithms, and improve the implementation. The computational overhead of introducing justifications and of performing logical retraction, i.e. the additional time and space needed, is proportional to the derivation length in the original program. This overhead may increase space complexity, but does not change the worst-case time complexity.
The paper proposes a knowledge-based software platform to generate applications for spreadsheet data extraction and transformation. The platform includes a flexible table object model and a domain-specific language fo...
详细信息
ISBN:
(纸本)9789532330984
The paper proposes a knowledge-based software platform to generate applications for spreadsheet data extraction and transformation. The platform includes a flexible table object model and a domain-specific language for expressing user-defined rules of table analysis and interpretation. They serve to represent knowledge of table layout and content features, as well as their interpretation, depended on transformation goals. The platform enables translating such user defined rules to Java programs. The generated source code is serialized as a project prepared for building an executable application by using the Maven tool. The execution of the generated application transforms spreadsheet data from arbitrary form defined by the rules to the canonical one. The empirical results demonstrate the applicability of the software platform to develop applications for converting data from arbitrary spreadsheet tables originated from various domains to relational flat file databases.
ABAC(alpha) is a foundational model for attribute-based access control with a minimal set of capabilities to configure many access control models of interest, including the dominant traditional ones: discretionary (DA...
详细信息
ISBN:
(纸本)9781450367530
ABAC(alpha) is a foundational model for attribute-based access control with a minimal set of capabilities to configure many access control models of interest, including the dominant traditional ones: discretionary (DAC), mandatory (MAC), and role-based (RBAC). A fundamental security problem in the design of ABAC is to ensure safety, that is, to guarantee that a certain subject can never gain certain permissions to access certain object(s). We propose a rule-based specification of ABAC(alpha) and of its configurations, and the semantic framework of rho Log to turn this specification into executable code for the operational model of ABAC(alpha). Next, we identify some important properties of the operational model which allow us to define a rule-based algorithm for the safety problem, and to execute it with rho Log. The outcome is a practical tool to check safety of ABAC(alpha) configurations. rho Log is a system for rule-based programming with strategies and built-in support for constraint logic programming (CLP). We argue that rho Log is an adequate framework for the specification and verification of safety of ABAC(alpha) configurations. In particular, the authorization policies of ABAC(alpha) can be interpreted properly by the CLP component of rho Log, and the operations of its functional specification can be described by five strategies defined by conditional rewrite rules.
This paper presents an approach to rule-based spreadsheet data extraction and transformation. We determine a table object model and domain-specific language of table analysis and interpretation rules. In contrast to t...
详细信息
ISBN:
(纸本)9783030302757;9783030302740
This paper presents an approach to rule-based spreadsheet data extraction and transformation. We determine a table object model and domain-specific language of table analysis and interpretation rules. In contrast to the existing data transformation languages, we draw up this process as consecutive steps: role analysis, structural analysis, and interpretation. To the best of our knowledge, there are no languages for expressing rules for transforming tabular data into the relational form in terms of the table understanding. We also consider a tool for transforming spreadsheet data from arbitrary to relational tables. The performance evaluation has been done automatically for both (role and structural) stages of table analysis with the prepared ground-truth data. It shows high F-score from 95.82% to 99.04% for different recovered items in the existing dataset of 200 arbitrary tables of the same genre (government statistics).
Systems understanding is a skill required to solve many of the world's most important problems, from climate change to immunotherapy to social decision-making. However, these problems also require communication am...
详细信息
ISBN:
(纸本)9781728108100
Systems understanding is a skill required to solve many of the world's most important problems, from climate change to immunotherapy to social decision-making. However, these problems also require communication among experts with diverse skill sets and academic backgrounds. Our long-term goal is to facilitate systems understanding across a range of disciplines through end-user computational modeling tools. This paper presents the Ceptre Editor, a structure editor for the rule-based programming language Ceptre. The Ceptre Editor runs in the browser and offers a visual interface and integrated development environment for Ceptre, following design recommendations from end-user programming, with the goal of providing discoverable affordances for program construction and maintaining syntactic well-formedness at each edit state. We performed a preliminary evaluation of the tool through a qualitative study, assessing the editors effectiveness at helping users understand and extended a system model, and found promising results regarding learnability and mental model accuracy.
Spreadsheets are widely used in science, engineering, business, and other activities. Overall, they conceal a large volume of data in a form intended to be interpreted by humans. We present a novel software platform f...
详细信息
Spreadsheets are widely used in science, engineering, business, and other activities. Overall, they conceal a large volume of data in a form intended to be interpreted by humans. We present a novel software platform facilitated for liberating such data. It provides rule-based spreadsheet data extraction and transformation to a structured form. Its core consists of a flexible table object model and a domainspecific rule language for table analysis. They serve to represent knowledge of table layout and content features, as well as their interpretation depending on transformation goals. This enables processing arbitrary tables originating from various domains. Our empirical results demonstrate that one ruleset can be applied to process arbitrary tables having the same features of layout, style, or content. The paper also describes two applications using the software platform to develop programs for rule-based converting data from arbitrary spreadsheet tables. (C) 2019 The Authors. Published by Elsevier B.V.
The paper discusses issues of rule-based data transformation from arbitrary spreadsheet tables to a canonical (relational) form. We present a novel table object model and rule-based language for table analysis and int...
详细信息
The paper discusses issues of rule-based data transformation from arbitrary spreadsheet tables to a canonical (relational) form. We present a novel table object model and rule-based language for table analysis and interpretation. The model is intended to represent a physical (cellular) and logical (semantic) structure of an arbitrary table in the transformation process. The language allows drawing up this process as consecutive steps of table understanding, i. e. recovering implicit semantics. Both are implemented in our tool for spreadsheet data canonicalization. The presented case study demonstrates the use of the tool for developing a task-specific rule-set to convert data from arbitrary tables of the same genre (government statistical websites) to flat file databases. The performance evaluation confirms the applicability of the implemented rule-set in accomplishing the stated objectives of the application. (C) 2017 Elsevier Ltd. All rights reserved.
We discuss the translation of a simple imperative programming language, high-level random access machines, to the rule-based graph programming language GP 2. By proving the correctness of the translation and using GP ...
详细信息
We discuss the translation of a simple imperative programming language, high-level random access machines, to the rule-based graph programming language GP 2. By proving the correctness of the translation and using GP 2 programs for encoding and decoding between arbitrary graphs and so-called register graphs, we show that GP 2 is computationally complete in a strong sense: every computable graph function can be directly computed with a GP 2 program which transforms input graphs into output graphs. Moreover, by carefully restricting the form of rules and control constructs in translated programs, we identify simple graph programs as a computationally complete sublanguage of GP 2. Simple programs use unconditional rules and abandon, besides other features, the non deterministic choice of rules. (C) 2016 Elsevier Inc. All rights reserved.
暂无评论