995 resultados para Logic, Modern
Resumo:
An on-line algorithm is developed for the location of single cross point faults in a PLA (FPLA). The main feature of the algorithm is the determination of a fault set corresponding to the response obtained for a failed test. For the apparently small number of faults in this set, all other tests are generated and a fault table is formed. Subsequently, an adaptive procedure is used to diagnose the fault. Functional equivalence test is carried out to determine the actual fault class if the adaptive testing results in a set of faults with identical tests. The large amount of computation time and storage required in the determination, a priori, of all the fault equivalence classes or in the construction of a fault dictionary are not needed here. A brief study of functional equivalence among the cross point faults is also made.
Resumo:
The study examines the debate in Finland at the beginning of the 20th century surrounding the philosophy of Henri Bergson. Both within as well as outside of academic philosophy Bergsonism was adapted to the philosophical and cultural landscape in Finland by a process of selective appropriation. The ambiguous relationship between the sender and the receiver is accentuated in reference to philosophical celebrities such as Bergson, whose reputations spread more quickly than the content of their philosophy and whose names are drawn into the political and social discourse. As a philosophical movement the aim of Bergsonism was to create a scientific philosophy of life as an alternative to both idealism and modern empirical and antimetaphysical currents, during a period when European philosophy was searching for new guidelines after the collapse of the idealistic system philosophies of the 19th century. This reorientation is examined from a Finnish viewpoint and in the light of the process of intellectual importation. The study examines how elements from an international discourse were appropriated within the philosophical field in Finland against a background of changes in the role of the university and the educated elites as well as the position of philosophy within the disciplinary hierarchy. Philosophical reception was guided by expectations that had arisen in a national context, for example when Bergsonism in Finland was adjusted to a moral and educational ideal of self-cultivation, and often served as a means for philosophers to internationalize their own views in order to strengthen their position on the national stage. The study begins with some introductory remarks on the international circulation of ideas from the point of view of the periphery. The second section presents an overview of the shaping of the philosophical field at the turn of the 20th century, the naturalism and positivism of the late 19th century that were the objects of Bergson s critique, and an introduction to the attempts of a philosophy of life to make its way between idealism and naturalism. The third and main section of the study begins with a brief presentation of the main features of the philosophy of Bergson, followed by a closer examination of the different comments and analyses that it gave rise to in Finland. The final section addresses the ideological implications of Bergsonism within the framework of a political annexation of the philosophy of life at the beginning of the 20th century.
Resumo:
Constructive (intuitionist, anti-realist) semantics has thus far been lacking an adequate concept of truth in infinity concerning factual (i.e., empirical, non-mathematical) sentences. One consequence of this problem is the difficulty of incorporating inductive reasoning in constructive semantics. It is not possible to formulate a notion for probable truth in infinity if there is no adequate notion of what truth in infinity is. One needs a notion of a constructive possible world based on sensory experience. Moreover, a constructive probability measure must be defined over these constructively possible empirical worlds. This study defines a particular kind of approach to the concept of truth in infinity for Rudolf Carnap's inductive logic. The new approach is based on truth in the consecutive finite domains of individuals. This concept will be given a constructive interpretation. What can be verifiably said about an empirical statement with respect to this concept of truth, will be explained, for which purpose a constructive notion of epistemic probability will be introduced. The aim of this study is also to improve Carnap's inductive logic. The study addresses the problem of justifying the use of an "inductivist" method in Carnap's lambda-continuum. A correction rule for adjusting the inductive method itself in the course of obtaining evidence will be introduced. Together with the constructive interpretation of probability, the correction rule yields positive prior probabilities for universal generalizations in infinite domains.
Resumo:
BACKGROUND The visual demands of modern classrooms are poorly understood yet are relevant in determining the levels of visual function required to perform optimally within this environment. METHODS Thirty-three Year 5 and 6 classrooms from eight south-east Queensland schools were included. Classroom activities undertaken during a full school day (9 am to 3 pm) were observed and a range of measurements recorded, including classroom environment (physical dimensions, illumination levels), text size and contrast of learning materials, habitual working distances (distance and estimated for near) and time spent performing various classroom tasks. These measures were used to calculate demand-related minimum criteria for distance and near visual acuity, contrast and sustained use of accommodation and vergence. RESULTS The visual acuity demands for distance and near were 0.33 ± 0.13 and 0.72 ± 0.09 logMAR, respectively (using habitual viewing distances and smallest target sizes) or 0.33 ± 0.09 logMAR assuming a 2.5 times acuity reserve for sustained near tasks. The mean contrast levels of learning materials at distance and near were greater than 70 per cent. Near tasks (47 per cent) dominated the academic tasks performed in the classroom followed by distance (29 per cent), distance to near (15 per cent) and computer-based (nine per cent). On average, children engaged in continuous near fixation for 23 ± 5 minutes at a time and during distance-near tasks performed fixation changes 10 ± 1 times per minute. The mean estimated habitual near working distance was 23 ± 1 cm (4.38 ± 0.24 D accommodative demand) and the vergence demand was 0.86 ± 0.07Δ at distance and 21.94 ± 1.09Δ at near assuming an average pupillary distance of 56 mm. CONCLUSIONS Relatively high levels of visual acuity, contrast demand and sustained accommodative-convergence responses are required to meet the requirements of modern classroom environments. These findings provide an evidence base to inform prescribing guidelines and develop paediatric vision screening protocols and referral criteria.
Resumo:
This thesis analyses the implications for football cultures of the profound socio-economic changes that Brazil has experienced in the last decade. It explores two major impacts: the economic boom of the domestic football sector, and the large-scale adoption of new technologies in fans' activities. The study identified a new phase of football culture in Brazil, characterised by the domination of market logics and intense commercialisation. The empirical findings also showed that new technologies are changing how supporters coordinate activities that challenge the gentrification of the game.
Resumo:
A fuzzy logic based centralized control algorithm for irrigation canals is presented. Purpose of the algorithm is to control downstream discharge and water level of pools in the canal, by adjusting discharge release from the upstream end and gates settings. The algorithm is based on the dynamic wave model (Saint-Venant equations) inversion in space, wherein the momentum equation is replaced by a fuzzy rule based model, while retaining the continuity equation in its complete form. The fuzzy rule based model is developed on fuzzification of a new mathematical model for wave velocity, the derivational details of which are given. The advantages of the fuzzy control algorithm, over other conventional control algorithms, are described. It is transparent and intuitive, and no linearizations of the governing equations are involved. Timing of the algorithm and method of computation are explained. It is shown that the tuning is easy and the computations are straightforward. The algorithm provides stable, realistic and robust outputs. The disadvantage of the algorithm is reduced precision in its outputs due to the approximation inherent in the fuzzy logic. Feed back control logic is adopted to eliminate error caused by the system disturbances as well as error caused by the reduced precision in the outputs. The algorithm is tested by applying it to water level control problem in a fictitious canal with a single pool and also in a real canal with a series of pools. It is found that results obtained from the algorithm are comparable to those obtained from conventional control algorithms.
Resumo:
An on-line algorithm is developed for the location of single cross point faults in a PLA (FPLA). The main feature of the valgorithm is the determination of a fault set corresponding to the response obtained for a failed test. For the apparently small number of faults in this set, all other tests are generated and a fault table is formed. Subsequently, an adaptive procedure is used to diagnose the fault. Functional equivalence test is carried out to determine the actual fault class if the adaptive testing results in a set of faults with identical tests. The large amount of computation time and storage required in the determination, a priori, of all the fault equivalence classes or in the construction of a fault dictionary are not needed here. A brief study of functional equivalence among the cross point faults is also made.
Resumo:
A fuzzy logic system (FLS) with a new sliding window defuzzifier is proposed for structural damage detection using modal curvatures. Changes in the modal curvatures due to damage are fuzzified using Gaussian fuzzy sets and mapped to damage location and size using the FLS. The first four modal vectors obtained from finite element simulations of a cantilever beam are used for identifying the location and size of damage. Parametric studies show that modal curvatures can be used to accurately locate the damage; however, quantifying the size of damage is difficult. Tests with noisy simulated data show that the method detects damage very accurately at different noise levels and when some modal data are missing.
Resumo:
This paper describes a switching theoretic algorithm for the folding of programmable logic arrays (PLA). The algorithm is valid for both column and row folding, although it has been presented considering only the simple column folding. The pairwise compatibility relations among all the pairs of the columns of the PLA are mapped into a square matrix, called the compatibility matrix of the PLA. A foldable compatibility matrix (FCM), a new concept introduced by the author, is then derived from the compatibility matrix. A new theorem called the folding theorem is then proved. The theorem states that the existence of an m by 2m FCM is both necessary and sufficient to fold 2m columns of the n column PLA (2m ≤ n). Once an FCM is obtained, the ordered pairs of foldable columns and the re-ordering of the rows are readily determined.
Resumo:
Infection by Epstein-Barr virus (EBV) occurs in approximately 95% of the world s population. EBV was the first human virus implicated in oncogenesis. Characteristic for EBV primary infection are detectable IgM and IgG antibodies against viral capsid antigen (VCA). During convalescence the VCA IgM disappears while the VCA IgG persists for life. Reactivations of EBV occur both among immunocompromised and immunocompetent individuals. In serological diagnosis, measurement of avidity of VCA IgG separates primary from secondary infections. However, in serodiagnosis of mononucleosis it is quite common to encounter, paradoxically, VCA IgM together with high-avidity VCA IgG, indicating past immunity. We determined the etiology of this phenomenon and found that, among patients with cytomegalovirus (CMV) primary infection a large proportion (23%) showed antibody profiles of EBV reactivation. In contrast, EBV primary infection did not appear to induce immunoreactivation of CMV. EBV-associated post-transplant lymphoproliferative disease (PTLD) is a life threatening complication of allogeneic stem cell or solid organ transplantation. PTLD may present with a diverse spectrum of clinical symptoms and signs. Due to rapidity of PTLD progression especially after stem cell transplantation, the diagnosis must be obtained quickly. Pending timely detection, the evolution of the fatal disease may be halted by reduction of immunosuppression. A promising new PTLD treatment (also in Finland) is based on anti-CD-20 monoclonal antibodies. Diagnosis of PTLD has been demanding because of immunosuppression, blood transfusions and the latent nature of the virus. We set up in 1999 to our knowledge first in Finland for any microbial pathogen a real-time quantitative PCR (qPCR) for detection of EBV DNA in blood serum/plasma. In addition, we set up an in situ hybridisation assay for EBV RNA in tissue sections. In collaboration with a group of haematologists at Helsinki University Central Hospital we retrospectively determined the incidence of PTLD among 257 allogenic stem cell transplantations (SCT) performed during 1994-1999. Post-mortem analysis revealed 18 cases of PTLD. From a subset of PTLD cases (12/18) and a series of corresponding controls (36), consecutive samples of serum were studied by the new EBV-qPCR. All the PTLD patients were positive for EBV-DNA with progressively rising copy numbers. In most PTLD patients EBV DNA became detectable within 70 days of SCT. Of note, the appearance of EBV DNA preceded the PTLD symptoms (fever, lymphadenopathy, atypical lymphocytes). Among the SCT controls, EBV DNA occurred only sporadically, and the EBV-DNA levels remained relatively low. We concluded that EBV qPCR is a highly sensitive (100%) and specific (96%) new diagnostic approach. We also looked for and found risk factors for the development of PTLD. Together with a liver transplantation group at the Transplantation and Liver Surgery Clinic we wanted to clarify how often and how severely do EBV infections occur after liver transplantation. We studied by the EBV qPCR 1284 plasma samples obtained from 105 adult liver transplant recipients. EBV DNA was detected in 14 patients (13%) during the first 12 months. The peak viral loads of 13 asymptomatic patients were relatively low (<6600/ml), and EBV DNA subsided quickly from circulation. Fatal PTLD was diagnosed in one patient. Finally, we wanted to determine the number and clinical significance of EBV infections of various types occurring among a large, retrospective, nonselected cohort of allogenic SCT recipients. We analysed by EBV qPCR 5479 serum samples of 406 SCT recipients obtained during 1988-1999. EBV DNA was seen in 57 (14%) patients, of whom 22 (5%) showed progressively rising and ultimately high levels of EBV DNA (median 54 million /ml). Among the SCT survivors, EBV DNA was transiently detectable in 19 (5%) asymptomatic patients. Thereby, low-level EBV-DNA positivity in serum occurs relatively often after SCT and may subside without specific treatment. However, high molecular copy numbers (>50 000) are diagnostic for life-threatening EBV infection. We furthermore developed a mathematical algorithm for the prediction of development of life-threatening EBV infection.
Resumo:
The large size, high trophic level and wide distribution of Hexanchiformes (cow and frilled sharks) should position this order as important apex predators in coastal and deep-water ecosystems. This review synthesizes available information on Hexanchiformes, including information not yet published, with the purpose of evaluating their conservation status and assessing their ecological roles in the dynamics of marine ecosystems. Comprising six species, this group has a wide global distribution, with members occurring from shallow coastal areas to depths of c. 2500 m. The limited information available on their reproductive biology suggests that they could be vulnerable to overexploitation (e.g. small litter sizes for most species and suspected long gestation periods). Most of the fishing pressure exerted on Hexanchiformes is in the form of commercial by-catch or recreational fishing. Comprehensive stock and impact assessments are unavailable for most species in most regions due to limited information on life history and catch and abundance time series. When hexanchiform species have been commercially harvested, however, they have been unable to sustain targeted fisheries for long periods. The potentially high vulnerability to intense fishing pressure warrants a conservative exploitation of this order until thorough quantitative assessments are conducted. At least some species have been shown to be significant apex predators in the systems they inhabit. Should Hexanchiformes be removed from coastal and deep-water systems, the lack of sympatric shark species that share the same resources suggests no other species would be capable of fulfilling their apex predator role in the short term. This has potential ecosystem consequences such as meso-predator release or trophic cascades. This review proposes some hypotheses on the ecology of Hexanchiformes and their role in ecosystem dynamics, highlighting the areas where critical information is required to stimulate research directions.
Resumo:
Standards have been placed to regulate the microbial and preservative contents to assure that foods are safe to the consumer. In a case of a food-related disease outbreak, it is crucial to be able to detect and identify quickly and accurately the cause of the disease. In addition, for every day control of food microbial and preservative contents, the detection methods must be easily performed for numerous food samples. In this present study, quicker alternative methods were studied for identification of bacteria by DNA fingerprinting. A flow cytometry method was developed as an alternative to pulsed-field gel electrophoresis, the golden method . DNA fragment sizing by an ultrasensitive flow cytometer was able to discriminate species and strains in a reproducible and comparable manner to pulsed-field gel electrophoresis. This new method was hundreds times faster and 200,000 times more sensitive. Additionally, another DNA fingerprinting identification method was developed based on single-enzyme amplified fragment length polymorphism (SE-AFLP). This method allowed the differentiation of genera, species, and strains of pathogenic bacteria of Bacilli, Staphylococci, Yersinia, and Escherichia coli. These fingerprinting patterns obtained by SE-AFLP were simpler and easier to analyze than those by the traditional amplified fragment length polymorphism by double enzyme digestion. Nisin (E234) is added as a preservative to different types of foods, especially dairy products, around the world. Various detection methods exist for nisin, but they lack in sensitivity, speed or specificity. In this present study, a sensitive nisin-induced green fluorescent protein (GFPuv) bioassay was developed using the Lactococcus lactis two-component signal system NisRK and the nisin-inducible nisA promoter. The bioassay was extremely sensitive with detection limit of 10 pg/ml in culture supernatant. In addition, it was compatible for quantification from various food matrices, such as milk, salad dressings, processed cheese, liquid eggs, and canned tomatoes. Wine has good antimicrobial properties due to its alcohol concentration, low pH, and organic content and therefore often assumed to be microbially safe to consume. Another aim of this thesis was to study the microbiota of wines returned by customers complaining of food-poisoning symptoms. By partial 16S rRNA gene sequence analysis, ribotyping, and boar spermatozoa motility assay, it was identified that one of the wines contained a Bacillus simplex BAC91, which produced a heat-stable substance toxic to the mitochondria of sperm cells. The antibacterial activity of wine was tested on the vegetative cells and spores of B. simplex BAC91, B. cereus type strain ATCC 14579 and cereulide-producing B. cereus F4810/72. Although the vegetative cells and spores of B. simplex BAC91 were sensitive to the antimicrobial effects of wine, the spores of B. cereus strains ATCC 14579 and F4810/72 stayed viable for at least 4 months. According to these results, Bacillus spp., more specifically spores, can be a possible risk to the wine consumer.