Tableaux e indução na lógica do plausível

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

A tableau system for Quasi-hybrid logic

Hybrid logic is a valuable tool for specifying relational structures, at the same time that allows defining accessibility relations between states, it provides a way to nominate and make mention to what happens at each specific state. However, due to the many sources nowadays available, we may need to deal with contradictory information. This is the reason why we came with the idea of Quasi-hybrid logic, which is a paraconsistent version of hybrid logic capable of dealing with inconsistencies in the information, written as hybrid formulas. In [5] we have already developed a semantics for this paraconsistent logic. In this paper we go a step forward, namely we study its proof-theoretical aspects. We present a complete tableau system for Quasi-hybrid logic, by combining both tableaux for Quasi-classical and Hybrid logics.

An Environmental Friendly Procedure for Photometric Determination of Hypochlorite in Tap Water Employing a Miniaturized Multicommuted Flow Analysis Setup

A photometric procedure for the determination of ClO(-) in tap water employing a miniaturized multicommuted flow analysis setup and an LED-based photometer is described. The analytical procedure was implemented using leucocrystal violet (LCV; 4,4', 4 ''-methylidynetris (N, N-dimethylaniline), C(25)H(31)N(3)) as a chromogenic reagent. Solenoid micropumps employed for solutions propelling were assembled together with the photometer in order to compose a compact unit of small dimensions. After control variables optimization, the system was applied for the determination of ClO(-) in samples of tap water, and aiming accuracy assessment samples were also analyzed using an independent method. Applying the paired t-test between results obtained using both methods, no significant difference at the 95% confidence level was observed. Other useful features include low reagent consumption, 2.4 mu g of LCV per determination, a linear response ranging from 0.02 up to 2.0 mg L(-1) ClO(-), a relative standard deviation of 1.0% (n = 11) for samples containing 0.2 mg L(-1) ClO(-), a detection limit of 6.0 mu g L(-1) ClO(-), a sampling throughput of 84 determinations per hour, and a waste generation of 432 mu L per determination.

Potential health-care service utilization substitution effects induced by case management for emergency department frequent users

BACKGROUND: In most of the emergency departments (ED) in developed countries, a subset of patients visits the ED frequently. Despite their small numbers, these patients are the source of a disproportionally high number of all ED visits, and use a significant proportion of healthcare resources. They place a heavy economic burden on hospital and healthcare systems budgets overall. Several interventions have been carried out to improve the management of these ED frequent users. Case management has been shown in some North American studies to reduce ED utilization and costs. In these studies, cost analyses have been carried out from the hospital perspective without examining the costs induced by healthcare consumed in the community. However, case management might reduce ED visits and costs from the hospital's perspective, but induce substitution effects, and increase health service utilization outside the hospital. This study examined if an interdisciplinary case-management intervention-compared to standard ED care -reduced costs generated by frequent ED users not only from the hospital perspective, but also from the healthcare system perspective-that is, from a broader perspective taking into account the costs of healthcare services used outside the hospital. METHODS: In this randomized controlled trial, 250 adult frequent emergency department users (5 or more visits during the previous 12 months) who visited the ED of the University Hospital of Lausanne, Switzerland, between May 2012 and July 2013 were allocated to one of two groups: case management intervention (CM) or standard ED care (SC), and followed up for 12 months. Depending on the perspective of the analysis, costs were evaluated differently. For the analysis from the hospital's perspective, the true value of resources used to provide services was used as a cost estimate. These data were obtained from the hospital's analytical accounting system. For the analysis from the health-care system perspective, all health-care services consumed by users and charged were used as an estimate of costs. These data were obtained from health insurance providers for a subsample of participants. To allow comparisons in a same time period, individual monthly average costs were calculated. Multivariate linear models including a fixed effect "group" were run using socio-demographic characteristics and health-related variables as controlling variables (age, gender, educational level, citizenship, marital status, somatic and mental health problems, and risk behaviors).

Impact on costs of a case management intervention for emergency department frequent users

Background: In most of the emergency departments (ED) in developed countries, a subset of patients visits the ED frequently. Despite their small numbers, these patients are the source of a disproportionally high number of all ED visits, and use a significant proportion of healthcare resources. They place a heavy economic burden on hospital and healthcare system budgets overall. In order to improve the management of these patients, the University hospital of Lausanne, Switzerland implemented a case management intervention (CM) between May 2012 and July 2013. In this randomized controlled trial, 250 frequent ED users (visits>5 during previous 12 months) were allocated to either the CM group or the standard ED care (SC) group and followed up for 12 months. The first result of the CM was to reduce significantly the ED visits. The present study examined whether the CM intervention also reduced the costs generated by the ED frequent users not only from the hospital perspective, but also from the healthcare system perspective. Methods: Cost data were obtained from the hospital's analytical accounting system and from health insurances. Multivariate linear models including a fixed effect "group" and socio-demographic characteristics and health-related variables were run.

Multifactor Performance Study on Complex Systems for the Benefit of Management

The primary objective is to identify the critical factors that have a natural impact on the performance measurement system. It is important to make correct decisions related to measurement systems, which are based on the complex business environment. The performance measurement system is combined with a very complex non-linear factor. The Six Sigma methodology is seen as one potential approach at every organisational level. It will be linked to the performance and financial measurement as well as to the analytical thinking on which the viewpoint of management depends. The complex systems are connected to the customer relationship study. As the primary throughput can be seen in a new well-defined performance measurement structure that will also be facilitated as will an analytical multifactor system. These critical factors should also be seen as a business innovation opportunity at the same time. This master's thesis has been divided into two different theoretical parts. The empirical part consists of both action-oriented and constructive research approaches with an empirical case study. The secondary objective is to seek a competitive advantage factor with a new analytical tool and the Six Sigma thinking. Process and product capabilities will be linked to the contribution of complex system. These critical barriers will be identified by the performance measuring system. The secondary throughput can be recognised as the product and the process cost efficiencies which throughputs are achieved with an advantage of management. The performance measurement potential is related to the different productivity analysis. Productivity can be seen as one essential part of the competitive advantage factor.

A lógica do muito em um sistema de tablôs

Pós-graduação em Filosofia - FFC

Analytical solution and numerical model for the interface in a stratified long wave system

For a two layered long wave propagation, linearized governing equations, which were derived earlier from the Euler equations of mass and momentum assuming negligible friction and interfacial mixing are solved analytically using Fourier transform. For the solution, variations of upper layer water level is assumed to be sinosoidal having known amplitude and variations of interface level is solved. As the governing equations are too complex to solve it analytically, density of upper layer fluid is assumed as very close to the density of lower layer fluid to simplify the lower layer equation. A numerical model is developed using the staggered leap-forg scheme for computation of water level and discharge in one dimensional propagation having known amplitude for the variations of upper layer water level and interface level to be solved. For the numerical model, water levels (upper layer and interface) at both the boundaries are assumed to be known from analytical solution. Results of numerical model are verified by comparing with the analytical solutions for different time period. Good agreements between analytical solution and numerical model are found for the stated boundary condition. The reliability of the developed numerical model is discussed, using it for different a (ratio of density of fluid in the upper layer to that in the lower layer) and p (ratio of water depth in the lower layer to that in the upper layer) values. It is found that as ‘CX’ increases amplification of interface also increases for same upper layer amplitude. Again for a constant lower layer depth, as ‘p’ increases amplification of interface. also increases for same upper layer amplitude.

The use of analytical hierarchy process in spatial decision support system for land use management

Geographic information systems give us the possibility to analyze, produce, and edit geographic information. Furthermore, these systems fall short on the analysis and support of complex spatial problems. Therefore, when a spatial problem, like land use management, requires a multi-criteria perspective, multi-criteria decision analysis is placed into spatial decision support systems. The analytic hierarchy process is one of many multi-criteria decision analysis methods that can be used to support these complex problems. Using its capabilities we try to develop a spatial decision support system, to help land use management. Land use management can undertake a broad spectrum of spatial decision problems. The developed decision support system had to accept as input, various formats and types of data, raster or vector format, and the vector could be polygon line or point type. The support system was designed to perform its analysis for the Zambezi river Valley in Mozambique, the study area. The possible solutions for the emerging problems had to cover the entire region. This required the system to process large sets of data, and constantly adjust to new problems’ needs. The developed decision support system, is able to process thousands of alternatives using the analytical hierarchy process, and produce an output suitability map for the problems faced.

Spectrophotometric study of iron oxidation in the iron(II)/thiocyanate/acetone system and some analytical applications

The possibility of using thiocyanate to determine iron(II) and/or iron(III) in water-acetone mixture has been re-examined as part of a systematic and comparative study involving metallic complexes of pseudohalide ligands. Some parameters that affect the complete oxidation of the ferrous cations, their subsequent complexation and the system stability have been studied to optimize the experimental conditions. Our results show the viability and potentiality of this simply methodology as an alternative analytical procedure to determine iron cations with high sensitivity, precision and accuracy. Studies on the calibration, stability, precision, and effect of various different ions have been carried out by using absorbance values measured at 480 nm. The analytical curve for the total iron determination obeys Beer's law (r = 0.9993), showing a higher sensitivity (molar absorptivity of 2.10x10(4) L cm-1 mol-1) when compared with other traditional systems (ligands) or even with the "similar" azide ion [1.53x10(4) L cm-1 mol-1, for iron-III/azide complexes, in 70% (v/v) tetrahydrofuran/water, at 396 nm]. Under such optimized experimental conditions, it is possible to determine iron in the concentration range from 0.5 to 2 ppm (15-65% T for older equipments, quartz cells of 1.00 cm). Analytical applications have been tested for some different materials (iron ores), also including pharmaceutical products for anemia, and results were compared with atomic absorption determinations. Very good agreement was obtained with these two different techniques, showing the potential of the present experimental conditions for the total iron spectrophotometric determinations (errors < 5%). The possibility of iron speciation was made evident by using another specific and auxiliary method for iron(II) or (III).

Spectrophotometric study of the chromium(III)/azide system in the ultraviolet region and its analytical application

A sensitive and alternative method for the spectrophotometric determination of chromium(III) based on the formation of chromium(III)/azide complexes was established by investigating a new band in the ultraviolet region. The best experimental conditions for the analytical determination of this metallic ion were: ligand and perchloric acid analytical concentration = 493 and 12.0 mmol L-1, respectively; aqueous medium; T = 25.0 ºC; contact time = 1 hour. The maximum molar absorptivity coefficient occurred at 287 nm (average 1.481 ± 0.008 ´ 10(4) L mol-1 cm-1), leading to the determination of metal ion concentrations one hundred times lower than the ones formerly determined in the visible region. The system obeys Beer's Law and is suitable for chromium determination in the 0.702-2.81 mg L-1 concentration range (15-65% T, 1.00 cm-width quartz cells). Analytical applications of the current method were tested with a nutritional supplement containing chromium. Results were compared with those obtained with atomic absorption spectrometry.

Development of thermo-analytical prediction and classification models for food in thermal devices using a multi sensor system and artificial neural networks

Die thermische Verarbeitung von Lebensmitteln beeinflusst deren Qualität und ernährungsphysiologischen Eigenschaften. Im Haushalt ist die Überwachung der Temperatur innerhalb des Lebensmittels sehr schwierig. Zudem ist das Wissen über optimale Temperatur- und Zeitparameter für die verschiedenen Speisen oft unzureichend. Die optimale Steuerung der thermischen Zubereitung ist maßgeblich abhängig von der Art des Lebensmittels und der äußeren und inneren Temperatureinwirkung während des Garvorgangs. Das Ziel der Arbeiten war die Entwicklung eines automatischen Backofens, der in der Lage ist, die Art des Lebensmittels zu erkennen und die Temperatur im Inneren des Lebensmittels während des Backens zu errechnen. Die für die Temperaturberechnung benötigten Daten wurden mit mehreren Sensoren erfasst. Hierzu kam ein Infrarotthermometer, ein Infrarotabstandssensor, eine Kamera, ein Temperatursensor und ein Lambdasonde innerhalb des Ofens zum Einsatz. Ferner wurden eine Wägezelle, ein Strom- sowie Spannungs-Sensor und ein Temperatursensor außerhalb des Ofens genutzt. Die während der Aufheizphase aufgenommen Datensätze ermöglichten das Training mehrerer künstlicher neuronaler Netze, die die verschiedenen Lebensmittel in die entsprechenden Kategorien einordnen konnten, um so das optimale Backprogram auszuwählen. Zur Abschätzung der thermische Diffusivität der Nahrung, die von der Zusammensetzung (Kohlenhydrate, Fett, Protein, Wasser) abhängt, wurden mehrere künstliche neuronale Netze trainiert. Mit Ausnahme des Fettanteils der Lebensmittel konnten alle Komponenten durch verschiedene KNNs mit einem Maximum von 8 versteckten Neuronen ausreichend genau abgeschätzt werden um auf deren Grundlage die Temperatur im inneren des Lebensmittels zu berechnen. Die durchgeführte Arbeit zeigt, dass mit Hilfe verschiedenster Sensoren zur direkten beziehungsweise indirekten Messung der äußeren Eigenschaften der Lebensmittel sowie KNNs für die Kategorisierung und Abschätzung der Lebensmittelzusammensetzung die automatische Erkennung und Berechnung der inneren Temperatur von verschiedensten Lebensmitteln möglich ist.