An on-line algorithm for the location of cross point faults in programmable logic arrays

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.

Logic as the Universal Science : Bertrand Russell's Early Conception of Logic and Its Philosophical Context

Bertrand Russell (1872 1970) introduced the English-speaking philosophical world to modern, mathematical logic and foundational study of mathematics. The present study concerns the conception of logic that underlies his early logicist philosophy of mathematics, formulated in The Principles of Mathematics (1903). In 1967, Jean van Heijenoort published a paper, Logic as Language and Logic as Calculus, in which he argued that the early development of modern logic (roughly the period 1879 1930) can be understood, when considered in the light of a distinction between two essentially different perspectives on logic. According to the view of logic as language, logic constitutes the general framework for all rational discourse, or meaningful use of language, whereas the conception of logic as calculus regards logic more as a symbolism which is subject to reinterpretation. The calculus-view paves the way for systematic metatheory, where logic itself becomes a subject of mathematical study (model-theory). Several scholars have interpreted Russell s views on logic with the help of the interpretative tool introduced by van Heijenoort,. They have commonly argued that Russell s is a clear-cut case of the view of logic as language. In the present study a detailed reconstruction of the view and its implications is provided, and it is argued that the interpretation is seriously misleading as to what he really thought about logic. I argue that Russell s conception is best understood by setting it in its proper philosophical context. This is constituted by Immanuel Kant s theory of mathematics. Kant had argued that purely conceptual thought basically, the logical forms recognised in Aristotelian logic cannot capture the content of mathematical judgments and reasonings. Mathematical cognition is not grounded in logic but in space and time as the pure forms of intuition. As against this view, Russell argued that once logic is developed into a proper tool which can be applied to mathematical theories, Kant s views turn out to be completely wrong. In the present work the view is defended that Russell s logicist philosophy of mathematics, or the view that mathematics is really only logic, is based on what I term the Bolzanian account of logic . According to this conception, (i) the distinction between form and content is not explanatory in logic; (ii) the propositions of logic have genuine content; (iii) this content is conferred upon them by special entities, logical constants . The Bolzanian account, it is argued, is both historically important and throws genuine light on Russell s conception of logic.

Olen maa johon tahdot : Timo K. Mukan maailmankuvan poetiikkaa

The dissertation deals with the prose texts of the Finnish writer Timo K. Mukka, renowned for his depictions of his native Lapland. This research concerns the creation of world view in Mukka s prose, which is approached by studying what Mikhail Bakhtin calls generic change. Such genre change is the most characteristic feature of Mukka s prose. His prose is permeated with two genres in particular and changes between them: the ballad-like, archaistic and romantic prose-poem style and naturalistic, even grotesque expressions. In addition, these genres are associated with sublime and grotesque styles so that generic change tends to involve also stylistic changes in Mukka s prose. This study probes the tension-filled interrelationships between the ballad and naturalistic prose by examining the discourse of Mukka s characters. It is shown that these characters invariably find themselves in what Bakhtin calls the chronotope of the threshold; that is, the plots of Mukka s novels and short stories depict situations in which the characters are faced with decisions and deeds that will profoundly impact their lives. The discourse of the threshold affects the characters speech by filling it with dialogical dimensions. This makes their communication ethically loaded and polyphonic. This study is based on Mikhail Bakhtin s theory of the novel and international Bakhtin s studies. I also take into consideration the theoretical developments of Bakhtin s work; for example, the concept of ressentiment, adapted from the Bakhtin scholar Michel André Bernstein, plays an important role. In order to explicate on the psychology of Mukka s characters such as melancholy, abjection, sadism, and taboo I use the concepts familiar from Freudian psychoanalysis. The corpus of my research consists of the following texts: the long prose texts Maa on syntinen laulu. Balladi (1964), Tabu (1965), Täältä jostakin. Romaani (1965), Laulu Sipirjan lapsista. Romaani (1966), Ja kesän heinä kuolee. Kertomus sairaudesta (1968) ja Kyyhky ja unikko (1970) and the short story collections Koiran kuolema (1967) ja Lumen pelko (1970), and with Tabu published short story Sankarihymni , the short story Katkelma laajemmasta laulelmasta from the collection Rakastaa: Kaksitoista novellia rakkaudesta (1965) and also the short stories which were published in various Finnish journals: Yöt (1965), Liisa (1967), Tyttö (1967) ja Näin hetki sitten ketun (1970). I pay particular attention to the novel Maa on syntinen laulu, because it expresses the generic change characteristic of Mukka s world view in a specifically clear and lively way. The dissertation is in Finnish. Key words: Timo K. Mukka, world view, genre change, ballad, naturalism, grotesque realism, Mikhail Bakhtin, dialogism, polyphony, chronotope, sublime, grotesque, ressentiment, Sigmund Freud, melancholy, taboo, abject, sadism, reduced laughter, modern parody.

Constructive Perspectives on Inductive Logic

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.

Two stage Gifford-McMahon cycle cryorefrigerator operating at 20 K

A two stage Gifford-McMahon cycle cryorefrigerator operating at 20 K is described. This refrigerator uses a very simple ‘spool valve’ and a modified indigenous compressor to compress helium gas. This cryorefrigerator reaches a lowest temperature of 15.5 K; it takes ≈ 50 min to reach 20 K and the cooling capacity is ≈ 2.5 W at 25 K. The cool-down characteristics and load characteristics are presented in graphical form. The effect of changing the operating pressure ratio and the second stage regenerator matrix size are also reported. Pressure-volume (P-V) diagrams obtained at various temperatures indicate that P-V losses form the major fraction of the total losses and this becomes more pronounced as the temperature is decreased. A heat balance analysis shows the relative magnitudes of various losses.

Chemical synthesis and structure elucidation of bovine K-casein (1-44)

The caseins (αs1, αs2, β, and κ) are phosphoproteins present in bovine milk that have been studied for over a century and whose structures remain obscure. Here we describe the chemical synthesis and structure elucidation of the N-terminal segment (1–44) of bovine κ-casein, the protein which maintains the micellar structure of the caseins. κ-Casein (1–44) was synthesised by highly optimised Boc solid-phase peptide chemistry and characterised by mass spectrometry. Structure elucidation was carried out by circular dichroism and nuclear magnetic resonance spectroscopy. CD analysis demonstrated that the segment was ill defined in aqueous medium but in 30% trifluoroethanol it exhibited considerable helical structure. Further, NMR analysis showed the presence of a helical segment containing 26 residues which extends from Pro8 to Arg34. This is the first report which demonstrates extensive secondary structure within the casein class of proteins.

Determination of the thermodynamic properties of xMgO + (1 x)MnO (s, sln) from a solid-electrolyte galvanic cell in the temperature range 1163 to 1318 K

The thermodynamic activities of MgO in the NaCl-type solid solutions which can exist in xMgO + (1 x)MnO have been determined in the temperature range 1163 to 1318 K from a solid-state galvanic cell incorporating MgF2 as the solid electrolyte. The activities of MnO have been calculated by a graphical Gibbs-Duhem integration method. The activities of both the components exhibit positive deviations from ideality over the entire composition range. The excess molar enthalpies are found to be positive. Further, xMgO + (1 - x)MnO does not conform to regular-solution behaviour. The origin of the excess thermodynamic properties is discussed in relation to the cationic size disparity and the crystal-field effects.

K-12 transitions: Approaches and lessons learned

More than 140 countries offer what has become the international norm for preteritiary education, namely a kindergarten through grade 12 (K-12) system. Why kindergarten? Because, research attests to the long-term learning and social benefits of school readiness programs. Why 12 grades? Because experience in many countries shows that a K-12 system of schooling is the minimum necessary to acquire the knowledge and expertise for university education, employment training, or decent work.

Litteraturundervisning och ämnessyn i modersmål och litteratur: En kvalitativ undersökning bland 13 modersmålslärare inom den grundläggande utbildningen (åk 7–9)

I denna avhandling undersöker jag hur modersmålslärare inom den grundläggande utbildningen (åk 7–9) undervisar i litteratur. De frågor jag ställer mig är: Hur förverkligar lärarna sin litteraturundervisning i praktiken, hur förhåller de sig till den nya läroplanen i ämnet, Grunderna för läroplanen för den grundläggande utbildningen 2004, samt med vilken ämnes-, litteratur- och kunskapssyn utgår de från i sin undervisning? Undersökningsresultatet analyseras utifrån läroplan och utifrån en läsarorienterad, sociokulturell och funktionell litteratursyn och litteraturpedagogik. Undersökningen är kvalitativ och riktar sig i form av ett frågeformulär till alla modersmålslärare i högstadierna i huvudstadsregionen. Tretton lärare deltar slutligen och åtta av dessa svar uppföljs genom en tematisk intervju. Undersökningen sker våren 2005. Forskningsresultatet visar på att flera av lärarna till stor del bygger upp sin undervisning utifrån färdiga uppgifter och koncept och att undervisningen styrs av metoden, av frågan hur. Dessa lärares undervisning sker således inte utgående från en enhetlig ämnes-, litteratur- och kunskapssyn, utan ämnessynen varierar beroende på uppgift. Recensionen är den arbetsuppgift som är vanligast bland lärarna, även om flera lärare ställer sig tveksamma till den. Övriga uppgifter som förekommer bland flera lärare är uppgiftskoncept kring klassiker och litterära samtal inför klass. Tematisk litteraturundervisning används även av flera lärare, liksom Netlibris, som innebär att två klasser från olika skolor över nätet diskuterar en skönlitterär text. Både Netlibris och tematisk litteraturundervisning är metoder som lärarna förhåller sig positiva till och ser pedagogiska fördelar med. Den tematiska undervisningen sker emellertid ofta i form av koncept som återkommer i samma form år efter år. Två lärare strävar dock efter att arbeta utifrån en enhetlig ämnessyn – den erfarenhetspedagogiska. Dessa lärare använder sig av färre koncept i sin undervisning. De bygger snarare upp sin undervisning utifrån frågan varför än hur, vilket innebär att de i högre grad har möjlighet att beakta elevernas intressen och behov i utformandet av undervisningen. Detta syns bland annat i valet av böcker och teman. En av dessa lärare använder sig även av portfölj- och loggboksmetodik och låter, i enlighet med läroplanen, eleverna själva vara med och utvärdera undervisningen och den egna utvecklingen. Lärarna verkar överlag förhålla sig mera positiva till de uppgifter som bygger på dialog och som tar fasta på läsaren i läsprocessen. Trots att lärarna betonar dialogens betydelse i litteraturundervisningen, bygger undervisningen ändå ofta, och i flera fall helt och hållet, på uppgifter som saknar dialog. En av orsakerna till detta kan vara att gamla koncept, trots nya uppgifter, lever kvar i undervisningen. Att lärarna framhåller de uppgifter som utgår från läsning av gemensamma texter och som tar fasta på en läsarorienterad och sociokulturell litteratursyn, visar dock på att de nya uppgifterna håller på att omkullkasta de gamla; lärarnas litteraturundervisning befinner sig således i förändring. Samtliga lärare förhåller sig positiva till litteraturundervisning och framhåller att litteraturen sedan deras egen skoltid fått en mera framträdande roll i undervisningen. De påpekar också att modersmålsundervisningen idag är mindre färdighetsinriktad och går mot en ökad dialog.

A fuzzy logic based dynamic wave model inversion algorithm for canal regulation

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.

An RNS based transform Architecture for H.264/AVC

This paper presents the architecture and the VHDL design of an integer 2-D DCT used in the H.264/AVC. The 2-D DCT computation is performed by exploiting it’s orthogonality and separability property. The symmetry of the forward and inverse transform is used in this implementation. To reduce the computation overhead for the addition, subtraction and multiplication operations, we analyze the suitability of carry-free position independent residue number system (RNS) for the implementation of 2-D DCT. The implementation has been carried out in VHDL for Altera FPGA. We used the negative number representation in RNS, bit width analysis of the transforms and dedicated registers present in the Logic element of the FPGA to optimize the area. The complexity and efficiency analysis show that the proposed architecture could provide higher through-put.

Phase relations between Al2O3---Cr2O3 and FeAl2O4---FeCr2O4 solid solutions at 1823 K

Tie-lines between the corundum and spinel solid solutions have been determined experimentally at 1823 K. Next, activities of FeCr2O4 and FeAl2O4 in the spinel solid solution were determined by combining the tie-line data with literature values for the activities of Cr2O3 and Al2O3 in the corundum phase. Activities and the Gibbs energy of mixing for the spinel solid solution were also obtained from a model based on cation distribution between nonequivalent crystallographic sites in the oxide lattice. The difference between the Gibbs energy of mixing obtained experimentally and from the model has been attributed to a strain enthalpy term which is relatively unchanged in magnitude from the reported at 1373 K. The integral enthalpy of mixing obtained from experimental data at 1373 and 1823 K using the second law is compared with the model result.

Non-linear resonance in strings under narrow band random excitation, part I: Planar response and stability

Non-linear planar response of a string to planar narrow band random excitation is investigated in this paper. A response equation for the mean square deflection σ2 is obtained under a single mode approximation by using the equivalent linearization technique. It is shown that the response is triple valued, as in the case of harmonic excitation, if the centre frequency of excitation Ω lies in a certain specified range. The triple valued response occurs only if the excitation bandwidth β is smaller than a critical value βcrit which is a monotonically increasing function of the intensity of excitation. An approximate method of investigating the almost sure asymptotic stability of the solution is presented and regions of instability in the Ω-σ2 plane have been charted. It is shown that planar response can become unstable either due to an unbounded growth of the in-plane component of motion or due to a spontaneous appearance of an out-of-plane component.

Spinel-Corundum Phase Equilibria in the Systems Mn-Cr-Al-O and Co-Cr-Al-O at 1373 K

The tie lines delineating ion-exchange equilibria between MCr2O4-MAl2O4 spinel solid solution, where M is either Mn or Co, and Cr2O3-Al2O3 solid solution with the corundum structure were determined at 1373 K by electron microprobe and E0AX point count analysis of the oxide phases equilibrated with metallic Co and Au-5% Mn. The component activities in the spinel solid solutions are derived from the tie lines and the thernodynamic data for Cr2O3-Al2O3 soiid solutions available hi the literature. The Gibbs free energies of mixing calculated from the experimental data are discussed in relation to the values derived from the cation distribution a.odel based on the site preference energies and assuming random mixing on both tetrahedral and octahedral sites. Positive deviations from ideality observed in this study suggest a miscibility gap for both series of spinel solid solutions at low temperatures in the absence of oxidation.