Search results for " logic"
showing 10 items of 1720 documents
The complexity of finite model reasoning in description logics
2005
AbstractWe analyse the complexity of finite model reasoning in the description logic ALCQI, i.e., ALC augmented with qualifying number restrictions, inverse roles, and general TBoxes. It turns out that all relevant reasoning tasks such as concept satisfiability and ABox consistency are ExpTime-complete, regardless of whether the numbers in number restrictions are coded unarily or binarily. Thus, finite model reasoning with ALCQI is not harder than standard reasoning with ALCQI.
Impact of Demand Response Control Logic on Isolated Island's Distribution Networks
2019
The work presents the results of a study regarding the impact of some Demand Response control logics on an isolated distribution network. The proposed control is divided into precise steps in which the coordination between the general aggregator controller and the single local Energy Management Systems is developed and illustrated with details. The control is applied to the flexible loads and to the storage systems of photovoltaic plants installed at the end-users' houses and connected to the network. The study is carried out delivering a suitable network model of the island's system, with the implementation of load profiles for all the loads of the network for a total simulation time of 24…
Architettura in alzato. Questioni di territorio, paesaggio, ambiente
2021
Negata alla tipologia l’architettura del Sud nel saggio riconosce una specifica identità e perfetta eccezionalità nell’essenza del luogo. Se la facciata istituisce un rapporto con l’estetica del paesaggio, i temi che essa sottende definiscono altre significative relazioni. L’ordinamento logico delle membrature, la chiarezza geometrica e il rigore dei rapporti rimandano ad una architettura che si misura, ed è misura stessa, del territorio e della sua morfologia. A sua volta, lo spessore della facciata esprime la relazione con l’ambiente e interpreta in maniera poetica i condizionamenti climatici, intervenendo sul controllo della luce, sui vuoti nei paramenti murari, sulla determinazione dell…
An advanced control strategy for biological nutrient removal in continuous systems based on pH and ORP sensors
2012
[EN] A fuzzy logic-based control system that uses low-cost sensors for controlling and optimizing the biological nitrogen removal in continuous systems has been developed. The novelty of this control system is the use of several pH, ORP, and dissolved oxygen (DO) sensors instead of on-line nitrogen sensors/analyzers. The nitrogen control system was developed and implemented in a UCT pilot plant fed with wastewater from a full-scale plant. The developed nitrification controller allows the effluent ammonium concentration to be maintained below the effluent criteria discharge with the minimum energy consumption. The denitrification process controller allows the energy consumption derived from …
PIRACY REVISITED: EXPLORING MUSIC USERS IN THE AGE OF TECHNOLOGY DEPENDENCY
2019
This paper empirically investigates and characterizes users of recorded music, both downloaders and purchasers. To this end we analyse the role of the variables defining the different segments of music users. In doing so, we have considered two main traits influencing the use of music. First, objective variables such as demographics, music consumption habits, music genres and technology. Second, subjective variables such as motives and attitudes towards piracy. Using data from a personal survey, subsequent latent class and fuzzy analyses show that while the former characteristics are relevant in those getting music for free from the Internet, the latter don´t pay any special part, contrary …
Extracting Formal Models from Normative Texts
2016
Normative texts are documents based on the deontic notions of obligation, permission, and prohibition. Our goal is model such texts using the C-O Diagram formalism, making them amenable to formal analysis, in particular verifying that a text satisfies properties concerning causality of actions and timing constraints. We present an experimental, semi-automatic aid to bridge the gap between a normative text and its formal representation. Our approach uses dependency trees combined with our own rules and heuristics for extracting the relevant components. The resulting tabular data can then be converted into a C-O Diagram.
Extension of the Applicability of Jäntti's Method to the Fast Calculation of Desorption Data
2000
The time for sorption measurements may be reduced substantially by measuring several values at short time intervals at the beginning of a kinetic curve and extrapolating them to the equilibrium value. The method used by Jäntti for simple adsorption processes has been extended to complicated processes described by a second-order differential equation. A simulated example is provided.
Why Don't We Do What We Want? Non-Consumers and the Public Dilemma in Cultural Promotion
2005
We deal with tastes and preferences, revising the linkages between both in order to analyse the special case where we express preferences to goods that do not appeal to us. We deduce the concept of a deconstructed demand and define two types of goods (embarrassing and reputable). With the help of this structure we build a demand function for cultural promotion, where the non-market-expressed non-consumers' preferences are the basis of the demand for cultural policies. Finally, in this framework the State faces a dilemma that could be solved in different ways.
An Heuristic Approach for the Training Dataset Selection in Fingerprint Classification Tasks
2015
Fingerprint classification is a key issue in automatic fingerprint identification systems. It aims to reduce the item search time within the fingerprint database without affecting the accuracy rate. In this paper an heuristic approach using only the directional image information for the training dataset selection in fingerprint classification tasks is described. The method combines a Fuzzy C-Means clustering method and a Naive Bayes Classifier and it is composed of three modules: the first module builds the working datasets, the second module extracts the training images dataset and, finally, the third module classifies fingerprint images in four classes. Unlike literature approaches using …
Fuzzy Boundaries in Discourse Studies : Theoretical, Methodological, and Lexico-Grammatical Fuzziness
2019
This book focuses on the multifarious aspects of ‘fuzzy boundaries’ in the field of discourse studies, a field that is marked by complex boundary work and a great degree of fuzziness regarding theoretical frameworks, methodologies, and the use of linguistic categories. Discourse studies is characterised by a variety of theoretical frameworks and disciplinary fields, research methodologies, and lexico-grammatical categories. The contributions in this book explore some of the nuances and implications of the fuzzy boundaries in these areas, resulting in a wide-reaching volume which will be of interest to students and scholars of discourse studies in fields including sociology, linguistics, int…