scholarly journals TALplanner in IPC-2002: Extensions and Control Rules

2003 ◽  
Vol 20 ◽  
pp. 343-377 ◽  
Author(s):  
J. Kvarnström ◽  
M. Magnusson
Keyword(s):  
Temporal Logic ◽  
Domain Knowledge ◽  
Search Space ◽  
Planning System ◽  
Short Introduction ◽  
The Third ◽  
Control Rules ◽  
Benchmark Tests ◽  
International Planning ◽  
And Control

TALplanner is a forward-chaining planner that relies on domain knowledge in the shape of temporal logic formulas in order to prune irrelevant parts of the search space. TALplanner recently participated in the third International Planning Competition, which had a clear emphasis on increasing the complexity of the problem domains being used as benchmark tests and the expressivity required to represent these domains in a planning system. Like many other planners, TALplanner had support for some but not all aspects of this increase in expressivity, and a number of changes to the planner were required. After a short introduction to TALplanner, this article describes some of the changes that were made before and during the competition. We also describe the process of introducing suitable domain knowledge for several of the competition domains.

scholarly journals A design and implementation of the Extended Andorra Model

2011 ◽  
Vol 12 (3) ◽  
pp. 319-360 ◽  
Author(s):  
RICARDO LOPES ◽  
VÍTOR SANTOS COSTA ◽  
FERNANDO SILVA
Keyword(s):  
Logic Programming ◽  
Computational Models ◽  
Search Space ◽  
Basic Design ◽  
Logic Programs ◽  
Performance Study ◽  
Control Rules ◽  
Advanced Search ◽  
High Level ◽  
And Control

AbstractLogic programming provides a high-level view of programming, giving implementers a vast latitude into what techniques to explore to achieve the best performance for logic programs. Towards obtaining maximum performance, one of the holy grails of logic programming has been to design computational models that could be executed efficiently and that would allow both for a reduction of the search space and for exploiting all the available parallelism in the application. These goals have motivated the design of the Extended Andorra Model (EAM), a model where goals that do not constrain nondeterministic goals can execute first. In this work, we present and evaluate the Basic design for EAM, a system that builds upon David H. D. Warren's original EAM with Implicit Control. We provide a complete description and implementation of the Basic design for EAM System as a set of rewrite and control rules. We present the major data structures and execution algorithms that are required for efficient execution, and evaluate system performance. A detailed performance study of our system is included. Our results show that the system achieves acceptable base performance and that a number of applications benefit from the advanced search inherent to the EAM.

THE EFFECT OF APPLYING DEMONSTRATION METHOD ON STUDENTS’ ACHIEVEMENT IN SPEAKING SKILL AT THE THIRD GRADE OF SMK PAB 3 MEDAN ESTATE

2015 ◽  
Vol 4 (2) ◽  
Author(s):  
Meryanti Napitupulu And Anni Holila Pulungan
Keyword(s):  
High School ◽  
Control Group ◽  
Vocational High School ◽  
Control Groups ◽  
Speaking Test ◽  
The Third ◽  
Speaking Skill ◽  
The Subject ◽  
And Control ◽  
Experimental Group

This study was conducted as an attempt to discover the effect of applying Demonstration Method on students’ achievement in speaking skill. It was an experimental research. The subject was students of Grade XII, Vocational High School (Sekolah Menengah Kejuruan: SMK), which consisted of 79 students. The research was divided into two groups: experimental and control groups. The instrument used to collect the data was speaking test. To obtain the reliability of the test, the writer applied Kuder Richardson 21 formula. The result of the reliability was 0.7, and it was found that the test was reliable. The data were analyzed by using t-test formula. The analysis showed that the scores of the students in the experimental group were significantly higher than the scores of the students in the control group at the level of significant m = 0.05 with the degree of freedom (df) 77, t-observed value 8.9 > t-table value 1.99. The findings indicate that using Demonstration Method significantly affected the students’ achievement in speaking skill. So, English teachers are suggested to use Demonstration Method in order to improve students’ achievement in speaking skill.

MODEL OF SOCIAL POTENTIAL OF CHILDHOOD IN THE RUSSIAN REGIONS: THE RESULTS OF EXPERIMENTS

2019 ◽  
pp. 152-162
Author(s):  
A.G. Filipova ◽  
A.V. Vysotskaya
Keyword(s):  
Third Wave ◽  
Russian Regions ◽  
The Third ◽  
Control Factors ◽  
Social Potential ◽  
System Input ◽  
Optimal Values ◽  
Fixed Ideal ◽  
And Control ◽  
Selection Of

The article presents the results of mathematical experiments with the system «Social potential of childhood in the Russian regions». In the structure of system divided into three subsystems – the «Reproduction of children in the region», «Children’s health» and «Education of children», for each defined its target factor (output parameter). The groups of infrastructure factors (education, health, culture and sport, transport), socio-economic, territorial-settlement, demographic and en-vironmental factors are designated as the factors that control the system (input parameters). The aim of the study is to build a model îf «Social potential of childhood in the Russian regions», as well as to conduct experiments to find the optimal ratio of the values of target and control factors. Three waves of experiments were conducted. The first wave is related to the analysis of the dynam-ics of indicators for 6 years. The second – with the selection of optimal values of control factors at fixed ideal values of target factors. The third wave allowed us to calculate the values of the target factors based on the selected optimal values of the control factors of the previous wave.

scholarly journals Mating Disruption of Pseudococcus calceolariae (Maskell) (Hemiptera, Pseudococcidae) in Fruit Crops

Insects ◽  
2021 ◽  
Vol 12 (4) ◽  
pp. 343
Author(s):  
Carolina Ballesteros ◽  
Alda Romero ◽  
María Colomba Castro ◽  
Sofía Miranda ◽  
Jan Bergmann ◽  
...  
Keyword(s):  
Visual Inspection ◽  
Mating Disruption ◽  
Economic Importance ◽  
Fruit Crops ◽  
Potential Control ◽  
The Third ◽  
Pseudococcus Calceolariae ◽  
And Control ◽  
Potential Use ◽  
Control Tool

Pseudococcus calceolariae, the citrophilous mealybug, is a species of economic importance. Mating disruption (MD) is a potential control tool. During 2017–2020, trials were conducted to evaluate the potential of P. calceolariae MD in an apple and a tangerine orchard. Two pheromone doses, 6.32 g/ha (2017–2018) and 9.45 g/ha (2019–2020), were tested. The intermediate season (2018–2019) was evaluated without pheromone renewal to study the persistence of the pheromone effect. Male captures in pheromone traps, mealybug population/plant, percentage of infested fruit at harvest and mating disruption index (MDI) were recorded regularly. In both orchards, in the first season, male captures were significantly lower in MD plots compared to control plots, with an MDI > 94% in the first month after pheromone deployment. During the second season, significantly lower male captures in MD plots were still observed, with an average MDI of 80%. At the third season, male captures were again significant lower in MD than control plots shortly after pheromone applications. In both orchards, population by visual inspection and infested fruits were very low, without differences between MD and control plots. These results show the potential use of mating disruption for the control of P. calceolariae.

scholarly journals Futures of sustainability: Perspectives on social imaginaries and social transformation. A comment on Frank Adloff and Sighard Neckel’s research program

2021 ◽  
pp. 053901842199956
Author(s):  
Gerard Delanty
Keyword(s):  
Conceptual Framework ◽  
Research Program ◽  
Social Transformation ◽  
Research Agenda ◽  
Social Imaginaries ◽  
The Third ◽  
The Future ◽  
And Control

This essay is a comment on the research program launched by Frank Adloff and Sighard Neckel. My comment is specifically focused on their research agenda as outlined in their trend-setting article, ‘Futures of sustainability as modernization, transformation, and control: A conceptual framework’. The comment is also addressed more generally to the research program of the Humanities Centre for Advanced Studies ‘Futures of Sustainability’. I raise three issues: the first relates to the very idea of the future; the second concerns the notion of social imaginaries and the third question is focused on the idea of social transformation.

Feature-Based Machining Precedence Reasoning and Sequence Planning

1998 ◽  
Author(s):  
Yong Se Kim ◽  
Eric Wang ◽  
Choong Soo Lee ◽  
Hyung Min Rho
Keyword(s):  
Feature Recognition ◽  
Search Space ◽  
Machining Process ◽  
Planning System ◽  
Process Information ◽  
Computer Aided Process Planning ◽  
Sequence Planning ◽  
Precedence Relations ◽  
Feature Based ◽  
Form Features

Abstract This paper presents a feature-based method to support machining sequence planning. Precedence relations among machining operations are systematically generated based on geometric information, tolerance specifications, and machining expertise. The feature recognition method using Alternating Sum of Volumes With Partitioning (ASVP) Decomposition is applied to obtain a Form Feature Decomposition (FFD) of a part model. Form features are classified into a taxonomy of atomic machining features, to which machining process information has been associated. Geometry-based precedence relations between features are systematically generated using the face dependency information obtained by ASVP Decomposition and the features’ associated machining process information. Multiple sets of precedence relations are generated as alternative precedence trees, based on the feature types and machining process considerations. These precedence trees are further enhanced with precedence relations from tolerance specifications and machining expertise. Machining sequence planning is performed for each of these precedence trees, applying a matrix-based method to reduce the search space while minimizing the number of tool changes. The precedence trees may then be evaluated based on machining cost and other criteria. The precedence reasoning module and operation sequence planning module are currently being implemented within a comprehensive Computer-Aided Process Planning system.

Introducing Temperature Measurement and Control Techniques to Engineering Undergraduate Students in the Gulf Region

2008 ◽  
Author(s):  
Peter Rodgers ◽  
Arman Molki
Keyword(s):  
Engineering Education ◽  
Temperature Measurement ◽  
Temperature Control ◽  
Instrumentation Amplifier ◽  
Gulf Region ◽  
Linear Temperature ◽  
Control Techniques ◽  
The Third ◽  
And Control ◽  
Measurement And Control

Hands-on laboratory skills play a vital role in providing students with a sound understanding of the scientific fundamentals and their application in solving real-life engineering problems. One of the essential laboratory based courses taught at our Institute is Introduction to Measurements and Instrumentation. The design and implementation of such a course has been well documented in Western engineering education, but presents specific challenges in the Gulf region due to economical, social and cultural factors. This paper discusses the adaptation of corresponding Western courses to undergraduate mechanical engineering studies in the Gulf region. Laboratory exercises for temperature measurement and control are described, which consist of four modules, each building upon the other. In each module, students learn how to design an accurate measuring system, and process and interpret collected data. In the first module, the students are required to build a thermocouple reader using an AD620 instrumentation amplifier and to compare measurements with NIST reference tables. The second module is an introduction to LabVIEW, a graphical data acquisition programming language. The students are required to write a LabVIEW program to record multiple thermocouple signals from a heated plate under varying convective cooling conditions, using a high resolution temperature logger with on-board signal conditioning. The third and fourth modules focus on temperature control techniques. In the third laboratory exercise, the students are required to construct an electrical circuit using a low-power PCB relay and NPN bipolar transistor to develop a bang-bang linear temperature controller. The program created in module two is modified to have the heater operation automatically controlled for a fixed temperature set point. In module four, the students replace the bang-bang controller built in the previous lab with a commercially available PID controller and explore the differences between PID and linear temperature control systems. For each module, students are required to submit a formal report covering the theoretical background, the experimental procedure employed, uncertainty analysis, and conclusions and recommendations. An effective teaching strategy is outlined that covers the fundamental concepts of temperature measurement and control through carefully designed experiments, with sample results presented. Emphasis is placed on the tailoring of the course topics to engineering education in the Gulf region.

The Will of Cardinal Giordano Orsini (ob. 1438)

Traditio ◽  
1996 ◽  
Vol 51 ◽  
pp. 257-286 ◽  
Author(s):  
Christopher S. Celenza
Keyword(s):  
Fifteenth Century ◽  
Cultural History ◽  
Italian Renaissance ◽  
Short Introduction ◽  
Renaissance Humanism ◽  
The Third ◽  
Textual History ◽  
History Of ◽  
The Will ◽  
First Time

There are many still unstudied aspects of the cultural history of early Quattrocento Rome, especially if we consider the years before 1443, the date of the more or less permanent re-entry into the civitas aeterna of Pope Eugenius IV. The nexus between the still ephemeral papacy and the emerging intellectual movement of Italian Renaissance humanism is one of these aspects. It is hoped that this study will shed some light on this problem by presenting a document that has hitherto not been completely edited: the original will of Cardinal Giordano Orsini. As we shall see, this important witness to the fifteenth century provides valuable information on many fronts, even on the structure of the old basilica of Saint Peter. The short introduction is in three parts. The first has a discussion of the cardinal's cultural milieu with a focus on the only contemporary treatise specifically about curial culture, Lapo da Castiglionchio's De curiae commodis. The second part addresses the textual history of the will as well as some misconceptions which have surrounded it. The third part contains a discussion of the will itself, along with some preliminary observations about what can be learned from the critical edition of the text here presented for the first time.

Study on a global control strategy for rotation speed with different work states in variable-speed constant-frequency wind turbines

2011 ◽  
Vol 225 (7) ◽  
pp. 968-976 ◽  
Author(s):  
G Zheng ◽  
H Xu ◽  
X Wang ◽  
J Zou
Keyword(s):  
Wind Turbine ◽  
Wind Turbines ◽  
Control Strategy ◽  
Control Strategies ◽  
Stable Operation ◽  
Constant Frequency ◽  
Global Control ◽  
Control Rules ◽  
The Individual ◽  
And Control

This paper studies the operation of wind turbines in terms of three phases: start-up phase, power-generation phase, and shutdown phase. Relationships between the operational phase and control rules for the speed of rotation are derived for each of these phases. Taking into account the characteristics of the control strategies in the different operational phases, a global control strategy is designed to ensure the stable operation of the wind turbine in all phases. The results of simulations are presented that indicate that the proposed algorithm can control the individual phases when considered in isolation and also when they are considered in combination. Thus, a global control strategy for a wind turbine that is based on a single algorithm is presented which could have significant implications on the control and use of wind turbines.

Sign in / Sign up

Export Citation Format

Share Document