检索结果-内蒙古大学图书馆

8th International Conference on Information Knowledge Management (CIKM 99)

作者： Warshaw, LB Miranker, DP Univ Texas Dept Comp Sci Austin TX 78758 USA

ISBN: (纸本)1581131461

We present the architecture and a performance assessment of an extensible query optimizer written in Venus. Venus is a general-purpose active-database rule language embedded in C++. Following the developments in extensible database query optimizers, first in rule-based form, followed by optimizers written as object-oriented programs, the Venus-based optimizer avails to the advantages of both. Venus' modular structure allows us to go a step further and provide extensibility in search by defining parameterized search components in a declarative form that has the additional effect of integrating heuristic and cost-based optimization. We compare optimizers developed with Volcano, OPT++ and Venus. Venus' optimizing compiler yields code whose performance is comparable with Volcano and OPT++ on smaller queries. The ability to introduce additional pruning heuristics yields better scalability on larger queries. Evaluation of the system using quantitative software metrics supports a claim that the Venus-based optimizer is more easily maintained and extended than are its predecessors.

关键词： declarative programming extensible query optimization rule-based programming rule-based optimizers object-oriented optimizers rule modules heuristics search

来源：评论

学校读者我要写书评

暂无评论

Design and simulation of a reuse water system for a houseboat using EPANET

引用

INNOVATIVE INFRASTRUCTURE SOLUTIONS 2023年第12期8卷 1-15页

作者： Ramezanianpour, Mohammad Ali, Akbar Ara Inst Canterbury Dept Civil & Architectural Studies City Campus Christchurch 8140 New Zealand

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.

关键词： Water reclamation EPANET Greywater Decentralized unit rule-based programming

来源：评论

学校读者我要写书评

暂无评论

Timing analysis of reactive rule-based programs

Timing analysis of reactive rule-based programs

引用

IFAC/IFIP Workshop on Real-Time programming (WRTP 97)

作者： Lin, M Malec, J Linkoping Univ Dept Comp & Informat Sci S-58183 Linkoping Sweden Malardalens Hogskola Dept Comp Engn S-72123 Vasteras Sweden

Predictability is the crucial feature of real-time systems. It requires that all the tasks in a system meet their timing constraints. For an embedded complex system involving a number of subsystems, the timing properties of the subsystems play an important role, since the total system's response depends on the temporal behaviour of all the subsystems. In this paper, the timing properties of reactive programs written in a rule-based language RL are analyzed. RL is a relatively simple rule language for programming the discrete part of hybrid applications, implemented using a layered architecture. The language has already been used in prototyping a complex automotive application. The upper timing bounds for RL programs, executed using either of the two evaluation strategies, have been studied. Moreover, an analysis tool has been implemented and applied to derive the timing behaviour of a non-trivial application. Some comments on the temporal behaviour of a layered system, consisting of a discrete RL program combined with a set of periodic tasks, are given. (C) 1998 Elsevier Science Ltd. All rights reserved.

关键词： timing analysis rule-based programming embedded systems layered software

来源：评论

学校读者我要写书评

暂无评论

Software Development for rule-based Spreadsheet Data Extraction and Transformation 42

Software Development for Rule-Based Spreadsheet Data Extract...

引用

42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)

作者： Shigarov, Alexy Khristyuk, Vasiliy Mikhailov, Andrey Paramonov, Viacheslav RAS Matrosov Inst Syst Dynam & Control Theory SB Irkutsk Russia

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.

关键词： spreadsheet data transformation table analysis table interpretation rule-based programming

来源：评论

学校读者我要写书评

暂无评论

A rule-based Approach to the Decidability of Safety of ABACα 19

A Rule-based Approach to the Decidability of Safety of ABACα

引用

24th ACM Symposium on Access Control Models and Technologies (SACMAT)

作者： Marin, Mircea Kutsia, Temur Dundua, Besik West Univ Timisoara Timisoara Romania Johannes Kepler Univ Linz RISC Linz Austria Tbilisi State Univ VIAM Tbilisi Georgia Int Black Sea Univ Tbilisi Georgia

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.

关键词： attribute based access control (ABAC) rule-based programming safety

来源：评论

学校读者我要写书评

暂无评论

Foundations of the rule-based system ρlog

引用

Journal of Applied Non-Classical Logics 2006年第1-2期16卷 151-168页

作者： Marin, Mircea Kutsia, Temur Graduate School of Systems and Information Engineering University of Tsukuba Tsukuba 305-8573 Japan Research Institute for Symbolic Computation Johannes Kepler University of Linz A-4232 Castle of Hagenberg Austria

We describe the foundations of a system for rule-based programming which integrates two powerful mechanisms: (1) matching with context variables, sequence variables, and regular constraints for their matching values;and (2) strategic programming with labeled rules. The system is called ρLog, and is built on top of the pattern matching and rule-based programming capabilities of Mathematica.

关键词： Declarative programming Matching rule-based programming

来源：评论

学校读者我要写书评

暂无评论

TabbyXL: rule-based Spreadsheet Data Extraction and Transformation 25th

TabbyXL: Rule-Based Spreadsheet Data Extraction and Transfor...

引用

25th International Conference on Information and Software Technologies (ICIST)

作者： Shigarov, Alexey Khristyuk, Vasiliy Mikhailov, Andrey Paramonov, Viacheslav RAS SB Matrosov Inst Syst Dynam & Control Theory 134 Lermontov St Irkutsk Russia Irkutsk State Univ Inst Math Econ & Informat 20 Gagarin Blvd Irkutsk Russia

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).

关键词： Data extraction Data transformation Table analysis rule-based programming Spreadsheet

来源：评论

学校读者我要写书评

暂无评论

The impact of simplification in a sequential rule-based model of activity-scheduling behavior

引用

ENVIRONMENT AND PLANNING A-ECONOMY AND SPACE 2005年第3期37卷 551-568页

作者： Moons, EALMG Wets, GPM Aerts, M Arentze, TA Timmermans, HJP Limburgs Univ Ctr Data Anal & Modeling Grp B-3590 Diepenbeek Belgium Limburgs Univ Ctr Ctr Stat B-3590 Diepenbeek Belgium Eindhoven Univ Technol Urban Planning Grp NL-5600 MB Eindhoven Netherlands

The aim of this paper is to gain a better understanding of the impact of simplification on a sequential model of activity-scheduling behavior which uses feature-selection methods. To that effect, the predictive performance of the Albatross model, which incorporates nine different facets of activity-travel behavior, based on the original full decision trees, is compared with the performance of the model based on trimmed decision trees. The results indicate that significantly smaller decision trees can be used for modeling the different choice facets of the sequential model system without losing much in predictive power. The performance of the models is compared at three levels: the choice-facet level, the activity-pattern level (comparing the observed and generated sequences of activities), and the trip-matrix level, comparing the correlation coefficients that determine the strength of the associations between the observed and the predicted origin-destination matrices. The results indicate that the model based on the trimmed decision trees predicts activity-diary schedules with a minimum loss of accuracy at the decision level. Moreover, the results indicate a slightly better performance at the activity-pattern and the trip-matrix level.

关键词： METHODS engineering MATHEMATICAL models DECISION making SEQUENTIAL analysis PRODUCTION scheduling rule-based programming

来源：评论

学校读者我要写书评

暂无评论

The Ceptre Editor: A Structure Editor for rule-based System Simulation

The Ceptre Editor: A Structure Editor for Rule-Based System ...

引用

IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

作者： Card, Alexander Martens, Chris North Carolina State Univ Dept Comp Sci Principles Express Machines Lab Raleigh NC 27695 USA

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.

关键词： rule-based programming structure editors end user programming

来源：评论

学校读者我要写书评

暂无评论

Symbolic and numerical regression: experiments and applications

Symbolic and numerical regression: experiments and applicati...

引用

International Conference on Recent Advances in Soft Computing 2000

作者： Davidson, JW Savic, DA Walters, GA Univ Exeter Sch Engn & Comp Sci Dept Engn Exeter EX4 4QF Devon England

This paper describes a new method for creating polynomial regression models. The new method is compared with stepwise regression and symbolic regression using three example problems. The first example is a polynomial equation. The two examples that follow are real-world problems, approximating the Colebrook-White equation and rainfall-runoff modelling. The three example problems illustrate the advantages of the new method. (C) 2002 Elsevier Science Inc. All rights reserved.

关键词： genetic programming least squares rule-based programming stepwise regression symbolic regression

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：