THE LOGICAL SYSTEM OF FREGE'S GRUNDGESTZE: A RATIONAL RECONSTRUCTION

This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze . We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities between this system and a modern system of classical second-order logic.

Automation Concept for Electrically Excited LV Synchronous Motor: Implementation into AC500 Programmable Logic Environment

This bachelor’s thesis is a part of the research project realized in the summer 2011 in Lappeenranta University of Technology. The goal of the project was to develop an automation concept for controlling the electrically excited synchronous motor. Thesis concentrates on the implementation of the automation concept into the ABB’s AC500 programmable logic enviroment. The automation program was developed as a state machine with the ABB’s PS501 Control Builder software. For controlling the automation program is developed a fieldbus control and with CodeSys Visualization Tool a local control with control panel. The fieldbus control is done to correspond the ABB drives communication profile and the local control is implemented with a function block which feeds right control words into the statemachine. A field current control of the synchronous motor is realized as a method presented in doctoral thesis of Olli Pyrhönen (Pyrhönen 1998). The Method combines stator flux and torque based openloop control and power factor based feedback control.

Control system for forced-air cooling of horticultural products

This work is a study of the implementation of a classical controller using a tuning method referred to as IMC (Internal Model Control) and aimed at the reduction of electrical energy consumption by the appropriate relation between energy consumption and the cooling time with forced air. The supervisory system installed was able to manipulate the variable of frequency of the signal power of the exhaust fan engine (forced air module), to accelerate or decelerate the loss of heat from the product to be cooled by airflow variation that passes through the mass of the produce. The results demonstrated a reduction in energy consumption from 64% and an increase of only 8% in the cooling time to the system using PI/IMC (Proportional - Integral with IMC) tuning method compared with the system in its operating nominal condition. This PI/IMC control may be implemented directly in a frequency converter, without the need to purchase a computer or PLC (programmable logic controller) to run the dedicated application, increasing its economical viability.

Application of fuzzy logic for the evaluation of livestock slaughtering

The fuzzy logic admits infinite intermediate logical values between false and true. With this principle, it developed in this study a system based on fuzzy rules, which indicates the body mass index of ruminant animals in order to obtain the best time to slaughter. The controller developed has as input the variables weight and height, and as output a new body mass index, called Fuzzy Body Mass Index (Fuzzy BMI), which may serve as a detection system at the time of livestock slaughtering, comparing one another by the linguistic variables "Very Low", "Low", "Average ", "High" and "Very High". For demonstrating the use application of this fuzzy system, an analysis was made with 147 Nellore beeves to determine Fuzzy BMI values for each animal and indicate the location of body mass of any herd. The performance validation of the system was based on a statistical analysis using the Pearson correlation coefficient of 0.923, representing a high positive correlation, indicating that the proposed method is appropriate. Thus, this method allows the evaluation of the herd comparing each animal within the group, thus providing a quantitative method of farmer decision. It was concluded that this study established a computational method based on fuzzy logic that mimics part of human reasoning and interprets the body mass index of any bovine species and in any region of the country.

Electrically driven fertilizer applicator controlled by fuzzy logic

The present study shows the development, simulation and actual implementation of a closed-loop controller based on fuzzy logic that is able to regulate and standardize the mass flow of a helical fertilizer applicator. The control algorithm was developed using MATLAB's Fuzzy Logic Toolbox. Both open and closed-loop simulations of the controller were performed in MATLAB's Simulink environment. The instantaneous deviation of the mass flow from the set point (SP), its derivative, the equipment´s translation velocity and acceleration were all used as input signals for the controller, whereas the voltage of the applicator's DC electric motor (DCEM) was driven by the controller as output signal. Calibration and validation of the rules and membership functions of the fuzzy logic were accomplished in the computer simulation phase, taking into account the system's response to SP changes. The mass flow variation coefficient, measured in experimental tests, ranged from 6.32 to 13.18%. The steady state error fell between -0.72 and 0.13g s-1 and the recorded average rise time of the system was 0.38 s. The implemented controller was able to both damp the oscillations in mass flow that are characteristic of helical fertilizer applicators, and to effectively respond to SP variations.

Non-Markovian Dynamics and the Quantum-To-Classical Transition for Quantum Brownian Motion

In this Thesis I discuss the dynamics of the quantum Brownian motion model in harmonic potential. This paradigmatic model has an exact solution, making it possible to consider also analytically the non-Markovian dynamics. The issues covered in this Thesis are themed around decoherence. First, I consider decoherence as the mediator of quantum-to-classical transition. I examine five different definitions for nonclassicality of quantum states, and show how each definition gives qualitatively different times for the onset of classicality. In particular I have found that all characterizations of nonclassicality, apart from one based on the interference term in the Wigner function, result in a finite, rather than asymptotic, time for the emergence of classicality. Second, I examine the diverse effects which coupling to a non-Markovian, structured reservoir, has on our system. By comparing different types of Ohmic reservoirs, I derive some general conclusions on the role of the reservoir spectrum in both the short-time and the thermalization dynamics. Finally, I apply these results to two schemes for decoherence control. Both of the methods are based on the non-Markovian properties of the dynamics.

Winning time in land warfare : a reading of the classical strategists prior to the age of mechanization

We live in an age where rationalization and demands of efficiency taint every aspect of our lives both as individuals and as a society. Even warfare cannot escape the increased speed of human interaction. Time is a resource to be managed. It has to be optimized, saved and won in military affairs as well. The purpose of this research paper is to analyze the dogmatic texts of military thought to search for answers what the classics of strategy saw in the interrelations of temporality and warfare and if their thoughts remain meaningful in the contemporary conjunction. Since the way a society functions is reflected in the way it conducts its wars, there naturally are differences between an agrarian, industrial and information society. Theorists of different eras emphasize things specific to their times, but warfare, like any human interaction, is always bounded by temporality. Not only is the pace of warfare dependent on the progress of the society, but time permeates warfare in all its aspects. This research paper focuses on two specific topics that arose from the texts themselves; how should time be managed and manipulated in warfare and how to economize and “win” it from the enemy. A method where lengthy quotations are used to illustrate the main point of the strategists has been chosen for this research paper. While Clausewitz is the most prominent source of quotations, thoughts from ancient India and China are represented as well to prove that the combination of right force in the right place at the right time is still the way of the victorious. Tactics change in the course of time but the principles of strategy remain unaltered and are only adapted to suit new situations. While ancient and pre-modern societies had their focus on finding auspicious moments for battle in the flow of kronos-time based on divinities, portents and auguries, we can trace elements of manipulation of time in warfare from the earliest surviving texts. While time as a fourth dimension of the battlespace emerged only in the modern era, all through the history of military thought it has had a profound meaning. In the past time could be squandered, today it always has to be won. This paper asks the question “why”.

Comparison of Classical and Secondary Cytologic Criteria Relative to Hybrid Capture for Diagnosing Cervical-vaginal Infection by Human Papillomavirus

Objective To compare the diagnostic accuracy of the classic Meisels cytologic criteria and the Schneider secondary criteria relative to the hybrid capture method for diagnosing HPV infection. Methods This was a retrospective study performed at a public university hospital. A total of 41 patients with a cytologic diagnosis of HPV infection and 40 HPV-negative patients were selected for review of the cervical-vaginal smears seeking to classical and secondary criteria. A single pathologist reviewed the slides in search of the criteria. The classical and secondary cytologic criteria were compared with the hybrid capture for diagnosing HPV infection. Bartleti test was applied for the age analysis, and Fisher's exact test was used to compare proportions. The tests were considered significant when the probability of rejecting the null hypothesis was less than 5% (p < 0.05). Results The Meisels criteria were less sensitive (34.0%) than the secondary Schneider criteria (57.5%) when compared with the hybrid capture (p < 0.0001), although the specificity of the former criteria was non-significantly higher (91.2% and 67.7%, respectively). In cases of moderate or intense inflammation, the sensitivity and specificity of the Schneider criteria were decreased, 33.3% and 50.0% respectively (p = 0.0115). Conclusions Compared with hybrid capture for diagnosis of HPV infection, the sensitivity of the secondary Schneider criteria was higher than the classical Meisels criteria.Moderate or intense inflammation reduces the sensitivity and specificity of the secondary Schneider criteria for diagnosing HPV infection using the hybrid capture as the gold standard.

Development and standardization of an indirect ELISA for the serological diagnosis of classical swine fever

An indirect enzyme linked immunoassay (ELISA-I) was developed and standardized for the serological diagnosis of classical swine fever (CSF). For the comparison, nine hundred and thirty-seven swine serum samples were tested by serum neutralization followed by immunoperoxidase staining (NPLA), considered as the standard. Of these, 223 were positive and 714 negative for neutralizing antibodies to classical swine fever virus (CSFV). In relation to the NPLA, the ELISA-I presented a 98.2% sensitivity; 92.86% specificity, 81.11% positive predictive value, 99.4% negative predictive value and a 94.1% precision. Statistical analysis showed a very strong correlation (r=0,94) between both tests. When compared to a commercially available ELISA kit, the performance of both, in relation to the NPLA, was similar. It was concluded that the ELISA-I is suitable for large scale screening of antibodies to classical swine fever virus, although it does not distinguish antibodies to classical swine fever virus from those induced by other pestiviruses.

Speed Control of an Autonomous Mobile Robot: Comparison between a PID Control and a Control Using Fuzzy Logic

An Autonomous Mobile Robot battery driven, with two traction wheels and a steering wheel is being developed. This Robot central control is regulated by an IPC, which controls every function of security, steering, positioning localization and driving. Each traction wheel is operated by a DC motor with independent control system. This system is made up of a chopper, an encoder and a microcomputer. The IPC transmits the velocity values and acceleration ramp references to the PIC microcontrollers. As each traction wheel control is independent, it's possible to obtain different speed values for each wheel. This process facilities the direction and drive changes. Two different strategies for speed velocity control were implemented; one works with PID, and the other with fuzzy logic. There were no changes in circuits and feedback control, except for the PIC microcontroller software. Comparing the two different speed control strategies the results were equivalent. However, in relation to the development and implementation of these strategies, the difficulties were bigger to implement the PID control.

Simulation of Active Control Using Fuzzy Logic Applied to a Pulse Combustor

This work analyzes an active fuzzy logic control system in a Rijke type pulse combustor. During the system development, a study of the existing types of control for pulse combustion was carried out and a simulation model was implemented to be used with the package Matlab and Simulink. Blocks which were not available in the simulator library were developed. A fuzzy controller was developed and its membership functions and inference rules were established. The obtained simulation showed that fuzzy logic is viable in the control of combustion instabilities. The obtained results indicated that the control system responded to pulses in an efficient and desirable way. It was verified that the system needed approximately 0.2 s to increase the tube internal pressure from 30 to 90 mbar, with an assumed total delay of 2 ms. The effects of delay variation were studied. Convergence was always obtained and general performance was not affected by the delay. The controller sends a pressure signal in phase with the Rijke tube internal pressure signal, through the speakers, when an increase the oscillations pressure amplitude is desired. On the other hand, when a decrease of the tube internal pressure amplitude is desired, the controller sends a signal 180º out of phase.

Optimal design of 3R manipulators by using classical techniques and simulated annealin

In this paper, the optimum design of 3R manipulators is formulated and solved by using an algebraic formulation of workspace boundary. A manipulator design can be approached as a problem of optimization, in which the objective functions are the size of the manipulator and workspace volume; and the constrains can be given as a prescribed workspace volume. The numerical solution of the optimization problem is investigated by using two different numerical techniques, namely, sequential quadratic programming and simulated annealing. Numerical examples illustrate a design procedure and show the efficiency of the proposed algorithms.

Role of the hippocampus in contextual memory after classical aversive conditioning in pigeons (C. livia)

We investigated the effects of hippocampal lesions with ibotenic acid (IBO) on the memory of the sound-context-shock association during reexposure to the conditioning context. Twenty-nine adult pigeons were assigned to a non-lesioned control group (CG, N = 7), a sham-lesioned group (SG, N = 7), a hippocampus-lesioned experimental group (EG, N = 7), and to an unpaired nonlesioned group (tone-alone exposure) (NG, N = 8). All pigeons were submitted to a 20-min session in the conditioning chamber with three associations of sound (1000 Hz, 85 dB, 1 s) and shock (10 mA, 1 s). Experimental and sham lesions were performed 24 h later (EG and SG) when EG birds received three bilateral injections (anteroposterior (A), 4.5, 5.25 and 7.0) of IBO (1 µl and 1 µg/µl) and SG received one bilateral injection (A, 5.25) of PBS. The animals were reexposed to the training context 5 days after the lesion. Behavior was videotaped for 20 min and analyzed at 30-s intervals. A significantly higher percent rating of immobility was observed for CG (median, 95.1; range, 79.2 to 100.0) and SG (median, 90.0; range, 69.6 to 95.0) compared to EG (median, 11.62; range, 3.83 to 50.1) and NG (median, 7.33; range, 6.2 to 28.1) (P<0.001) in the training context. These results suggest impairment of contextual fear in birds who received lesions one day after conditioning and a role for the hippocampus in the modulation of emotional aversive memories in pigeons.