Practical logic, or, The Art of thinking : a text-book for schools and colleges /

Mode of access: Internet.

"Everything was designed to make sure that this thing endured" : Processus de légitimation et la Responsabilité de protéger

L’objet de cette thèse est la « Responsabilité de protéger » (RdP), son émergence et les processus de légitimation qui ont contribué à son acceptation dans les arènes de la politique globale. Le principe d’une intervention militaire à des fins humanitaires gagne en légitimité dans les années 1990, bien qu’il soit marqué par d’intenses polémiques dans la pratique. Les situations de conflits où les civils sont brutalement persécutés et les interventions demandées et organisées pour y répondre sont maintenant largement justifiées dans les termes de la RdP. Est donc apparu d’abord un changement normatif. Ce changement s’est cristallisé dans le rapport de la Commission internationale sur l’intervention et la souveraineté des États (CIISE) qui a forgé l’expression « responsabilité de protéger ». Le point de départ ici est cependant que la RdP marque un changement discursif dans la manière de parler et de justifier ces pratiques. Je montre comment les termes de la RdP en sont venus à être ceux qui dégagent le plus large consensus autour de la question de l’intervention à des fins humanitaires. La thèse centrale de cette recherche est que le relatif succès de la RdP tient au fait que les architectes de la CIISE et les entrepreneurs de la RdP ont déployé un sens pratique aiguisé du champ de la politique globale. Le procédé principal employé est de mettre en lumière les processus de légitimation activement mis en oeuvre pour stimuler ce changement discursif. J’avance que les agents ont su placer la RdP, et par extension le principe de l’intervention à des fins humanitaires, dans le domaine du non problématique en déployant un langage et des pratiques vus comme ne posant pas problème. Concrètement, il s’est agi de choisir les agents à qui serait accordée la reconnaissance de parler, mais qui seraient aussi en mesure de proposer une solution d’une manière considérée comme légitime dans les arènes de la politique globale. Traquer les processus de légitimation est un procédé analytique qui permet de comprendre le succès de la RdP, mais qui révèle également des éléments fondamentaux du fonctionnement formel et informel de la politique globale.

A state monopoly of workmen's compensation insurance plus a political administration of same equals the ultimate bankruptcy of the whole scheme : the state of Washington after five years' practical experience has solved this problem; examinations by the Department of Auditor of State Bureau of Inspection and Supervision of Public Offices; startling disclosures and denunciations in the language and logic of the state examiners /

Mode of access: Internet.

Elements of medical logic, illustrated by practical proofs and examples.

"Goodsell & Wells, - Printers, Hartford."

Hybrid fuzzy Monte Carlo and logic programming model for distribution network reconfiguration in the presence of outages

This paper presents a methodology for distribution networks reconfiguration in outage presence in order to choose the reconfiguration that presents the lower power losses. The methodology is based on statistical failure and repair data of the distribution power system components and uses fuzzy-probabilistic modelling for system component outage parameters. Fuzzy membership functions of system component outage parameters are obtained by statistical records. A hybrid method of fuzzy set and Monte Carlo simulation based on the fuzzy-probabilistic models allows catching both randomness and fuzziness of component outage parameters. Once obtained the system states by Monte Carlo simulation, a logical programming algorithm is applied to get all possible reconfigurations for every system state. In order to evaluate the line flows and bus voltages and to identify if there is any overloading, and/or voltage violation a distribution power flow has been applied to select the feasible reconfiguration with lower power losses. To illustrate the application of the proposed methodology to a practical case, the paper includes a case study that considers a real distribution network.

Fuzzy logic to predict thermal damages of ground parts

One of the critical problems in implementing an intelligent grinding process is the automatic detection of workpiece surface burn. This work uses fuzzy logic as a tool to classify and predict burn levels in the grinding process. Based on acoustic emission signals, cutting power, and the mean-value deviance (MVD), linguistic rules were established for the various burn situations (slight, intermediate, severe) by applying fuzzy logic using the Matlab Toolbox. Three practical fuzzy system models were developed. The first model with two inputs resulted only in a simple analysis process. The second and third models have an additional MVD statistic input, associating information and precision. These two models differ from each other in terms of the rule base developed. The three developed models presented valid responses, proving effective, accurate, reliable and easy to use for the determination of ground workpiece burn. In this analysis, fuzzy logic translates the operator's human experience associated with powerful computational methods.

Virtual instrumentation: A practical approach to control and supervision process

This work describes a control and supervision application takes into account the virtual instrumentation advantages to control and supervision industrial manufacturing stations belonging to the modular production system MPS® by Festo. These stations integrate sensors, actuators, conveyor belt and other industrial elements. The focus in this approach was to replace the use of programmable logic controllers by a computer equipped with a software application based on Labview and, together, performs the functions of traditional instruments and PLCs. The manufacturing stations had their processes modeled and simulated in Petri nets. After the models were implemented in Labview environment. Tests and previous similar works in MPS® installed in Automation Laboratory, at UNESP Sorocaba campus, showed the materials and methods used in this work allow the successful use of virtual instrumentation. The results indicate the technology as an advantageous approach for the automation of industrial processes, with gains in flexibility and reduction in project cost. © 2011 IEEE.

Programmable logic design of a compact Genetic Algorithm for phasor estimation in real-time

The main objective of this work is to present an efficient method for phasor estimation based on a compact Genetic Algorithm (cGA) implemented in Field Programmable Gate Array (FPGA). To validate the proposed method, an Electrical Power System (EPS) simulated by the Alternative Transients Program (ATP) provides data to be used by the cGA. This data is as close as possible to the actual data provided by the EPS. Real life situations such as islanding, sudden load increase and permanent faults were considered. The implementation aims to take advantage of the inherent parallelism in Genetic Algorithms in a compact and optimized way, making them an attractive option for practical applications in real-time estimations concerning Phasor Measurement Units (PMUs).

Global analysis of constraint logic programs

This article presents and illustrates a practical approach to the dataow analysis of constraint logic programming languages using abstract interpretation. It is rst argued that from the framework point of view it suces to propose relatively simple extensions of traditional analysis methods which have already been proved useful and practical and for exist. This is shown by proposing a simple extension of Bruynooghes traditional framework which allows it to analyze constraint logic programs. Then and using this generalized framework two abstract domains and their required abstract functions are presented the rst abstract domain approximates deniteness information and the second one freeness. Finally an approach for cobining those domains is proposed The two domains and their combination have been implemented and used in the analysis of CLP and Prolog III applications. Results from this implementation showing its performance and accuracy are also presented

Profiling for run-time checking of computational properties and performance debugging in logic programs

Although several profiling techniques for identifying performance bottlenecks in logic programs have been developed, they are generally not automatic and in most cases they do not provide enough information for identifying the root causes of such bottlenecks. This complicates using their results for guiding performance improvement. We present a profiling method and tool that provides such explanations. Our profiler associates cost centers to certain program elements and can measure different types of resource-related properties that affect performance, preserving the precedence of cost centers in the cali graph. It includes an automatic method for detecting procedures that are performance bottlenecks. The profiling tool has been integrated in a previously developed run-time checking framework to allow verification of certain properties when they cannot be verified statically. The approach allows checking global computational properties which require complex instrumentation tracking information about previous execution states, such as, e.g., that the execution time accumulated by a given procedure is not greater than a given bound. We have built a prototype implementation, integrated it in the Ciao/CiaoPP system and successfully applied it to performance improvement, automatic optimization (e.g., resource-aware specialization of programs), run-time checking, and debugging of global computational properties (e.g., resource usage) in Prolog programs.

Global flow analysis as a practical compilation tool

This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of speed of the analysis, precisión, and usefulness of the information obtained. To this end, design and implementation aspects are discussed for two practical abstract interpretation-based flow analysis systems: MA , the MCC And-parallel Analyzer and Annotator; and Ms, an experimental mode inference system developed for SB-Prolog. The paper also provides performance data obtained (rom these implementations and, as an example of an application, a study of the usefulness of the mode information obtained in reducing run-time checks in independent and-parallelism.Based on the results obtained, it is concluded that the overhead of global flow analysis is not prohibitive, while the results of analysis can be quite precise and useful.