Toward computer-aided induction : a brief review of currently implemented AQVAL programs /

"UILU-ENG 77 1726."

The methodology of knowledge layers for inducing descriptions of sequentially ordered events /

"UILU-ENG 80 1719"--Cover.

Fault diagnosis of induction motor based on decision trees and adaptive neuro-fuzzy inference

This paper presents a fault diagnosis method based on adaptive neuro-fuzzy inference system (ANFIS) in combination with decision trees. Classification and regression tree (CART) which is one of the decision tree methods is used as a feature selection procedure to select pertinent features from data set. The crisp rules obtained from the decision tree are then converted to fuzzy if-then rules that are employed to identify the structure of ANFIS classifier. The hybrid of back-propagation and least squares algorithm are utilized to tune the parameters of the membership functions. In order to evaluate the proposed algorithm, the data sets obtained from vibration signals and current signals of the induction motors are used. The results indicate that the CART–ANFIS model has potential for fault diagnosis of induction motors.

Becoming a teacher: emerging teacher identity in mathematics teacher education

This research examines three aspects of becoming a teacher, teacher identity formation in mathematics teacher education: the cognitive and affective aspect, the image of an ideal teacher directing the developmental process, and as an on-going process. The formation of emerging teacher identity was approached in a social psychological framework, in which individual development takes place in social interaction with the context through various experiences. Formation of teacher identity is seen as a dynamic, on-going developmental process, in which an individual intentionally aspires after the ideal image of being a teacher by developing his/her own competence as a teacher. The starting-point was that it is possible to examine formation of teacher identity through conceptualisation of observations that the individual and others have about teacher identity in different situations. The research uses the qualitative case study approach to formation of emerging teacher identity, the individual developmental process and the socially constructed image of an ideal mathematics teacher. Two student cases, John and Mary, and the collective case of teacher educators representing socially shared views of becoming and being a mathematics teacher are presented. The development of each student was examined based on three semi-structured interviews supplemented with written products. The data-gathering took place during the 2005 2006 academic year. The collective case about the ideal image provided during the programme was composed of separate case displays of each teacher educator, which were mainly based on semi-structured interviews in spring term 2006. The intentions and aims set for students were of special interest in the interviews with teacher educators. The interview data was analysed following the modified idea of analytic induction. The formation of teacher identity is elaborated through three themes emerging from theoretical considerations and the cases. First, the profile of one s present state as a teacher may be scrutinised through separate affective and cognitive aspects associated with the teaching profession. The differences between individuals arise through dif-ferent emphasis on these aspects. Similarly, the socially constructed image of an ideal teacher may be profiled through a combination of aspects associated with the teaching profession. Second, the ideal image directing the individual developmental process is the level at which individual and social processes meet. Third, formation of teacher identity is about becoming a teacher both in the eyes of the individual self as well as of others in the context. It is a challenge in academic mathematics teacher education to support the various cognitive and affective aspects associated with being a teacher in a way that being a professional and further development could have a coherent starting-point that an individual can internalise.

Modelling induction skull melting design modifications

Induction Skull Melting (ISM) is used for heating, melting, mixing and, possibly, evaporating reactive liquid metals at high temperatures when a minimum contact at solid walls is required. The numerical model presented here involves the complete time dependent process analysis based on the coupled electromagnetic, temperature and turbulent velocity fields during the melting and liquid shape changes. The simulation is validated against measurements of liquid metal height, temperature and heat losses in a commercial size ISM furnace. The often observed limiting temperature plateau for ever increasing electrical power input is explained by the turbulent convective heat losses. Various methods to increase the superheat within the liquid melt, the process energy efficiency and stability are proposed.

Maximising heat transfer efficiency in the cold crucible induction melting process

Induction heating is an efficient method used to melt electrically conductive materials, particularly if melting takes place in a ceramic crucible. This form of melting is particularly good for alloys, as electromagnetic forces set up by the induction coil lead to vigorous stirring of the melt ensuring homogeneity and uniformity in temperature. However, for certain reactive alloys, or where high purity is required, ceramic crucibles cannot be used, but a water-cooled segmented copper crucible is employed instead. Water cooling prevents meltdown or distortion of the metal wall, but much of the energy goes into the coolant. To reduce this loss, the electromagnetic force generated by the coil is used to push the melt away from the walls and so minimise contact with water-cooled surfaces. Even then, heat is lost through the crucible base where contact is inevitable. In a collaborative programme between Greenwich and Birmingham Universities, computer modelling has been used in conjunction with experiments to improve the superheat attainable in the melt for a,number of alloys, especially for y-TiAl intermetallics to cast aeroengine turbine blades. The model solves the discretised form of the turbulent Navier-Stokes, thermal energy conservation and Maxwell equations using a Spectral Collocation technique. The time-varying melt envelope is followed explicitly during the computation using an adaptive mesh. This paper briefly describes the mathematical model used to represent the interaction between the magnetic field, fluid flow, heat transfer and change of phase in the crucible and identifies the proportions of energy used in the melt, lost in the crucible base and in the crucible walls. The role of turbulence is highlighted as important in controlling heat losses and turbulence damping is introduced as a means of improving superheat. Model validation is against experimental results and shows good agreement with measured temperatures and energy losses in the cooling fluid throughout the melting cycle.

Numerical simulation of free surface behaviour of a molten liquid metal droplet with and without electromagnetic induction

Electromagnetic levitation of electrically conductive droplets by alternating magnetic fields is a technique used to measure the physical properties of liquid metallic alloys such as surface tension or viscosity. Experiments can be conducted under terrestrial conditions or in microgravity, to reduce electromagnetic stirring and shaping of the droplet. Under such conditions, the time-dependent behaviour of a point of the free surface is recorded. Then the signal is analysed considering the droplet as a harmonic damped oscillator. We use a spectral code, for fluid flow and free surface descriptions, to check the validity of this assumption for two cases. First when the motion inside the droplet is generated by its initial distortion only and second, when the droplet is located in a uniform magnetic field originating far from the droplet. It is found that some deviations exist which can lead to an overestimate of the value of viscosity.

Mechanistic study of cell death induction by O 6-methylating agents, focusing on the role of homologous recombination as a molecular target for sensitization of tumor cells to chemotherapeutic alkylating agents

Chemotherapeutic SN1‑methylating agents are important anticancer drugs. They induce several covalent modifications in the DNA, from which O6‑methylguanine (O6MeG) is the main toxic lesion. In this work, different hypotheses that have been proposed to explain the mechanism of O6MeG‑triggered cell death were tested. The results of this work support the abortive processing model, which states that abortive post‑replicative processing of O6MeG‑driven mispairs by the DNA mismatch repair (MMR) machinery results in single‑strand gaps in the DNA that, upon a 2nd round of DNA replication, leads to DNA double‑strand break (DSB) formation, checkpoint activation and cell death. In this work, it was shown that O6MeG induces an accumulation of cells in the 2nd G2/M‑phase after treatment. This was accompanied by an increase in DSB formation in the 2nd S/G2/M‑phase, and paralleled by activation of the checkpoint kinases ATR and CHK1. Apoptosis was activated in the 2nd cell cycle. A portion of cells continue proliferating past the 2nd cell cycle, and triggers apoptosis in the subsequent generations. An extension to the original model is proposed, where the persistence of O6MeG in the DNA causes new abortive MMR processing in the 2nd and subsequent generations, where new DSB are produced triggering cell death. Interestingly, removal of O6MeG beyond the 2nd generation lead to a significant, but not complete, reduction in apoptosis, pointing to the involvement of additional mechanisms as a cause of apoptosis. We therefore propose that an increase in genomic instability resulting from accumulation of mis‑repaired DNA damage plays a role in cell death induction. Given the central role of DSB formation in toxicity triggered by chemotherapeutic SN1‑alkylating agents, it was aimed in the second part of this thesis to determine whether inhibition of DSB repair by homologous recombination (HR) or non‑homologous end joining (NHEJ) is a reasonable strategy for sensitizing glioblastoma cells to these agents. The results of this work show that HR down‑regulation in glioblastoma cells impairs the repair of temozolomide (TMZ)‑induced DSB. HR down‑regulation greatly sensitizes cells to cell death following O6‑methylating (TMZ) or O6‑chlorethylating (nimustine) treatment, but not following ionizing radiation. The RNAi mediated inhibition in DSB repair and chemo‑sensitization was proportional to the knockdown of the HR protein RAD51. Chemo‑sensitization was demonstrated for several HR proteins, in glioma cell lines proficient and mutated in p53. Evidence is provided showing that O6MeG is the primary lesion responsible for the increased sensitivity of glioblastoma cells following TMZ treatment, and that inhibition of the resistance marker MGMT restores the chemo‑sensitization achieved by HR down‑regulation. Data are also provided to show that inhibition of DNA‑PK dependent NHEJ does not significantly sensitized glioblastoma cells to TMZ treatment. Finally, the data also show that PARP inhibition with olaparib additionally sensitized HR down‑regulated glioma cells to TMZ. Collectively, the data show that processing of O6MeG through two rounds of DNA replication is required for DSB formation, checkpoint activation and apoptosis induction, and that O6MeG‑triggered apoptosis is also executed in subsequent generations. Furthermore, the data provide proof of principle evidence that down‑regulation of HR is a reasonable strategy for sensitizing glioma cells to killing by O6‑alkylating chemotherapeutics.

Justifying induction on modal μ-formulae

We define a rank function for formulae of the propositional modal μ-calculus such that the rank of a fixed point is strictly bigger than the rank of any of its finite approximations. A rank function of this kind is needed, for instance, to establish the collapse of the modal μ-hierarchy over transitive transition systems. We show that the range of the rank function is ωω. Further we establish that the rank is computable by primitive recursion, which gives us a uniform method to generate formulae of arbitrary rank below ωω.

A note on the theory SID<ω of stratified induction

We introduce and analyse a theory of finitely stratified general inductive definitions over the natural numbers, inline image, and establish its proof theoretic ordinal, inline image. The definition of inline image bears some similarities with Leivant's ramified theories for finitary inductive definitions.

High school mathematics /

Each unit comprises Student's ed. and Teachers' ed., interleaved.

An innovative approach to teaching structural induction for computer science

Proofs by induction are central to many computer science areas such as data structures, theory of computation, programming languages, program efficiency-time complexity, and program correctness. Proofs by induction can also improve students’ understanding and performance of computer science concepts such as programming languages, algorithm design, and recursion, as well as serve as a medium for teaching them. Even though students are exposed to proofs by induction in many courses of their curricula, they still have difficulties understanding and performing them. This impacts the whole course of their studies, since proofs by induction are omnipresent in computer science. Specifically, students do not gain conceptual understanding of induction early in the curriculum and as a result, they have difficulties applying it to more advanced areas later on in their studies. The goal of my dissertation is twofold: (1) identifying sources of computer science students’ difficulties with proofs by induction, and (2) developing a new approach to teaching proofs by induction by way of an interactive and multimodal electronic book (e-book). For the first goal, I undertook a study to identify possible sources of computer science students’ difficulties with proofs by induction. Its results suggest that there is a close correlation between students’ understanding of inductive definitions and their understanding and performance of proofs by induction. For designing and developing my e-book, I took into consideration the results of my study, as well as the drawbacks of the current methodologies of teaching proofs by induction for computer science. I designed my e-book to be used as a standalone and complete educational environment. I also conducted a study on the effectiveness of my e-book in the classroom. The results of my study suggest that, unlike the current methodologies of teaching proofs by induction for computer science, my e-book helped students overcome many of their difficulties and gain conceptual understanding of proofs induction.