ON TWO THEOREMS OF QUINZII AND RENT CONTROLLED HOUSING ALLOCATION IN SWEDEN

2007 ◽  
Vol 09 (03) ◽  
pp. 515-525
Author(s):  
KIMMO ERIKSSON ◽  
JONAS SJÖSTRAND
Keyword(s):  
Control System ◽  
Empirical Data ◽  
General Theorem ◽  
Black Market ◽  
Utility Functions ◽  
Rent Control ◽  
Black And White ◽  
The Core ◽  
Special Cases ◽  
Housing Allocation

The Swedish rent control system creates a white market for swapping rental contracts and a black market for selling rental contracts. Empirical data suggests that in this black-and-white market some people act according to utility functions that are both discontinuous and locally decreasing in money. We discuss Quinzii's theorem for the nonemptiness of the core of generalized house-swapping games, and show how it can be extended to cover the Swedish game. In a second part, we show how this theorem of Quinzii and her second theorem on nonemptiness of the core in two-sided models are both special cases of a more general theorem.

THE CORE AND CONSISTENCY PROPERTIES: A GENERAL CHARACTERISATION

2001 ◽  
Vol 03 (02n03) ◽  
pp. 175-187 ◽  
Author(s):  
YUKIHIKO FUNAKI ◽  
TAKEHIKO YAMATO
Keyword(s):  
General Theorem ◽  
General Definition ◽  
Tu Games ◽  
The Core ◽  
Special Cases ◽  
Reduced Games ◽  
Definition Of ◽  
Consistency Properties

In this paper, we unify various axiomatisations of the core of TU games by means of consistency with respect to different definitions of reduced games. First, we introduce a general definition of reduced games including the reduced games due to Davis and Maschler (1965), Moulin (1985), and Funaki (1995) as special cases. Then, we provide a general theorem from which the characterisations due to Peleg (1986), Tadenuma (1992), and Funaki (1995) can be obtained. Our general theorem clarifies how the three characterisations of the core differ and are related.

Computing Cores for Existential Rules with the Standard Chase and ASP

2020 ◽  
Author(s):  
Markus Krötzsch
Keyword(s):  
Large Class ◽  
Data Exchange ◽  
Answer Set Programming ◽  
Query Answering ◽  
Universal Model ◽  
The Core ◽  
Universal Models ◽  
General Terms ◽  
Special Cases ◽  
The Many

To reason with existential rules (a.k.a. tuple-generating dependencies), one often computes universal models. Among the many such models of different structure and cardinality, the core is arguably the “best”. Especially for finitely satisfiable theories, where the core is the unique smallest universal model, it has advantages in query answering, non-monotonic reasoning, and data exchange. Unfortunately, computing cores is difficult and not supported by most reasoners. We therefore propose ways of computing cores using practically implemented methods from rule reasoning and answer set programming. Our focus is on cases where the standard chase algorithm produces a core. We characterise this desirable situation in general terms that apply to a large class of cores, derive concrete approaches for decidable special cases, and generalise these approaches to non-monotonic extensions of existential rules.

Study on Novel Automatic Steel Bundling Machine Pneumatic Control System

2012 ◽  
Vol 490-495 ◽  
pp. 594-597
Author(s):  
Cheng Qun Li ◽  
Liang Gao
Keyword(s):  
Control System ◽  
Control Program ◽  
Control Flow ◽  
Pneumatic Control ◽  
The Core ◽  
New Type ◽  
Action Process ◽  
And Control

This paper introduces a new type of automatic steel bundling machine for bundling process, which includes a pneumatic action process, mainly do some researches on the pneumatic control system. The system chooses PLC as the core control component, puts forward the hardware of control system and control flow. Eventually we have been designed the control program.

A Novel Full-Automatic Garbage Salvage Ship

2013 ◽  
Vol 791-793 ◽  
pp. 1921-1924
Author(s):  
Ke Ling Luo ◽  
Xu Dong Li ◽  
De Rui Song ◽  
Ping Wang ◽  
Jiao Fu ◽  
...  
Keyword(s):  
Control System ◽  
Obstacle Avoidance ◽  
Single Chip ◽  
Single Chip Microcomputer ◽  
Power Circuit ◽  
The Core ◽  
Photoelectric Sensor

The garbage salvage ship is made from polystyrene plastic as hull framework and STC89C52 single-chip microcomputer to control the core, and consists of DC gear motor, photoelectric sensor, power circuit and other circuits. The system uses STC89C52 to control the boat to move forward, backward or turn through the I/O port. Tracing is finished by infrared obstacle avoidance sensor E18-D80NK. Working manner of the infrared obstacle avoidance sensor E18-D80NK was introduced and its application scheme based on STC89C52 single-chip microcomputer in the control system of garbage salvage ship was put forward.

Studies on Implementations and Designs of DSP in the Six-Phase Induction Motor Vector Control System

2011 ◽  
Vol 268-270 ◽  
pp. 1681-1686
Author(s):  
Chao Yong Tuo
Keyword(s):  
Control System ◽  
Vector Control ◽  
Digital Signal Processor ◽  
Induction Motors ◽  
Digital Signal ◽  
Voltage Level ◽  
The Core ◽  
Three Phase ◽  
Vector Control System ◽  
Lower Voltage

Compared with traditional three-phase motors, six-phase induction motors due to their high reliabilities and low DC side voltages can achieve high power drives using devices with lower voltage level. In this paper, it analyzes the research status of six-phase induction motors, introduces the winding structures of six-phase induction motors, and finally designs the vector control system for six-phase induction motors taking the Digital Signal Processor (DSP) as the core. It introduces DSP circuit implementations, emphasizes to describe software structures of the control system, and proposes a detailed software flow chart.

scholarly journals Probability of infectious disease in humans during epidemic

2021 ◽  
Author(s):  
AM Karmishin ◽  
IV Borisevich ◽  
VI Skvortsova ◽  
AA Goryaev ◽  
SM Yudin
Keyword(s):  
Infectious Disease ◽  
Biological Object ◽  
Epidemiological Modeling ◽  
Pathogen Virulence ◽  
The Core ◽  
Special Cases ◽  
Quantitative Characteristics ◽  
Infective Dose ◽  
The Law ◽  
Generalized Time

Popular SIR models and their modifications used to generate predictions about epidemics and, specifically, the COVID-19 pandemic, are inadequate. The aim of this study was to find the laws describing the probability of infection in a biological object. Using theoretical methods of research based on the probability theory, we constructed the laws describing the probability of infection in a human depending on the infective dose and considering the temporal characteristics of a given infection. The so-called generalized time-factor law, which factors in the time of onset and the duration of an infectious disease, was found to be the most general. Among its special cases are the law describing the probability of infection developing by some point in time t, depending on the infective dose, and the law that does not factor in the time of onset. The study produced a full list of quantitative characteristics of pathogen virulence. The laws described in the study help to solve practical tasks and should lie at the core of mathematical epidemiological modeling.

scholarly journals Application of Artificial Intelligence Technology in Mechanical Electrical Control System

2021 ◽  
Vol 2066 (1) ◽  
pp. 012057
Author(s):  
Nan Li
Keyword(s):  
Artificial Intelligence ◽  
Control System ◽  
Control Systems ◽  
Current Status ◽  
Work Efficiency ◽  
Electrical Control ◽  
Existing Problems ◽  
The Core ◽  
Core Technology ◽  
Artificial Intelligence Technology

Abstract Artificial intelligence technology (A I T) has also been widely used in society. Combining A I T with mechanical and electrical control systems will bring huge profits to the corporate sector and greatly improve work efficiency. It can save a lot of money in the electrical control operations of all walks of life in the country, and fill the gap in this technology in the country. The purpose of this article is to study the application of A I T in mechanical electrical control systems (M E C S). This article first introduces the basic theories and concepts of A I T, extends the core technology of A I T, and combines the current status of the electrical control system of modern enterprises in our country to discuss its existing problems, and finally studies and analyzes A I T and machinery. Combination of electrical control systems, and discuss the application of A I T in mechanical electrical orifice subsystems. Experiments show that, compared with the existing M E C S, the M E C S using A I T can better complete the work and improve work efficiency.

Temperature/Humidity Control System Based on Micro Controller Unit in the Room of Bikram's Yoga

2012 ◽  
Vol 529 ◽  
pp. 352-355
Author(s):  
Na Li ◽  
Yong Gang Tang ◽  
Gui Ying Wang
Keyword(s):  
Control System ◽  
Humidity Sensor ◽  
Control Unit ◽  
Data Display ◽  
Control Temperature ◽  
The Core ◽  
Wireless Transceiver ◽  
Remote System ◽  
And Control ◽  
Micro Controller Unit

This thesis has designed a temperature/humidity remote system which takes Micro controller Unit AT89S51 as the core control unit. The system consists of Micro controller Unit, SHT75 temperature/humidity sensor, Rok 101 007 wireless transceiver and PC data display modules. The system can detect and control temperature/humidity in the room of Bikram's yuga remotely to create an environment suitable for fitness in high temperature.

A New Agenda for Cognitive Development

1996 ◽  
Author(s):  
Robert S. Siegler
Keyword(s):  
Cognitive Development ◽  
Empirical Evidence ◽  
Empirical Data ◽  
Change Process ◽  
Current Practice ◽  
The Core ◽  
Initial Decision ◽  
Basic Assumptions ◽  
Children’S Thinking ◽  
The Way

My goal in writing this book is to change the agenda of the field of cognitive development. In particular, I want to promote greater attention to the question that I believe is inherently at the core of the field: How do changes in children’s thinking occur? Focusing on change may not sound like a radical departure from current practice, but I believe it is. It will require reformulation of our basic assumptions about children’s thinking, the kinds of questions we ask about it, our methods for studying it, the mechanisms we propose to explain it, and the basic metaphors that underlie our thinking about it. That modifications of all of these types are being proposed as a package is no accident. Just as existing approaches have directed our attention away from the change process, so may new ones lead us to focus squarely on it. This concluding chapter summarizes the kinds of changes in assumptions, questions, methods, mechanisms, and metaphors that I think are needed. My initial decision to write this book was motivated by a growing discomfort with the large gap between the inherent mission of the field—to understand changes in children’s thinking—and most of what we actually have been studying. As I thought about the problem, I came to the conclusion that existing assumptions, methods, and theories acted in a mutually supportive way to make what we typically do seem essential, and to make doing otherwise—that is, studying change directly—seem impossible. Even approaches that proclaimed themselves to be radical departures from traditional theories maintained many fundamental assumptions of those theories. An increasing body of empirical evidence, however, indicates that some of the assumptions are wrong and that the way in which they are wrong has led us to ignore fundamental aspects of development. In this section, I describe prevailing assumptions regarding variability, choice, and change, and propose alternatives that seem more consistent with empirical data and more useful for increasing our understanding of how changes occur.

Mathematical Morphology and Fourier Analysis on Time Scales

2009 ◽  
Author(s):  
Robert J Marks II
Keyword(s):  
Image Processing ◽  
Fourier Analysis ◽  
Mathematical Morphology ◽  
Time Scales ◽  
Time Scale ◽  
Time Signal ◽  
Scale Theory ◽  
Black And White ◽  
Introductory Material ◽  
Special Cases

Mathematical morphology, used extensively in image processing, tracks the support domains for the operation of convolution and deconvolution. Morphology is also important in the modelling of signals on time scales. Time scale theory provides a generalization tent under which the operations of discrete and continuous time signal and Fourier analysis rest as special cases. The time scale paradigm provides modelling under which a rich class of hybrid signals and systems can be analyzed. We begin with introductory material on mathematical morphology which is foundational to the development of time scale theory. The support of convolution is related to the operation of dilation in mathematical morphology. Mathematical morphology is most commonly associated with image processing. Applications of morphology was initially applied to binary black and white images by Matheron [966]. The field is richly developed [506, 578]. Here, we outline the fundamentals. In N dimensions, let X and H denote a set of vectors or, in the degenerate case of one dimension, a set of real numbers.

Sign in / Sign up

Export Citation Format

Share Document