Effect of Process Conditions on Microstructure and Corrosion Resistance of Cold-Sprayed Ti Coatings

Ti and Ti alloys can be applied to steels as a protective coating in view of its excellent resistance to corrosive environment. Cold spraying, as a new coating technique, has potential advantages in fabrication of Ti coating in comparison with conventional thermal spraying techniques. In this study, Ti coatings were prepared on carbon steel substrates by cold spraying via controlling the process conditions. The microstructure of coatings was observed by SEM. The porosity of coatings was estimated by image analysis and the bond strength was tested for comparison of the process conditions. Potentiodynamic polarization and open-circuit potential (OCP) measurements were performed to understand the corrosion behavior of the coatings. The SEM examination shows that the coatings become more compact with the increases of pressure and temperature of driving gas. The potentiodynamic polarization curves indicate that the coating which has lower porosity has lower corrosion current. The polarization and OCP measurement reveal that cold-sprayed Ti coating can provide favorable protection to carbon steel substrate. The polishing treatment of coating surface polishes the rough outer layer including the small pores as well as decreases the actual surface area of the coating, leading to the considerable improvement of corrosion resistance.

Effect of graded levels of rapeseed oil in isonitrogenous diets on the development of the gastrointestinal tract, and utilisation of protein, fat and energy in broiler chickens

The effect of feeding 0, 4, 8 and 16% rapeseed oil from 12-42 days of age was studied in broiler chickens on performance, digestibility of nutrients, and development of gastrointestinal tract, protein and energy metabolism. Thirty six female chickens (Ross 208) with initial body weight average 246 g were allocated to the four groups and kept pair-wise in metabolism cages. The chickens were fed similar amounts of metabolisable energy (ME) per day and similar amounts of essential amino acids relative to ME by adjusting with crystalline amino acids. The chickens were subjected to four balance periods each of five days with two 24 h measurements of gas exchange in two open-air-circuit respiration chambers inserted on the second and third day of each period. The addition of rapeseed oil increased the amount of gutfill indicating a reduced rate of passage and causing a hypertrophy of the gastrointestinal tract. There was a positive effect on feed utilisation as well as on digestibility especially of dietary fat together with higher utilisation of protein with addition of rapeseed oil. The partial fat digestibility of rapeseed oil estimated by regression was 91.1% and the partial metabolisability (ME/GE) of the rapeseed oil was estimated to 85% yielding an apparent metabolisable energy value of 34.30 MJ/kg.

The Role of Chemical Mechanisms in Neural Computation and Learning

Most computational models of neurons assume that their electrical characteristics are of paramount importance. However, all long-term changes in synaptic efficacy, as well as many short-term effects, are mediated by chemical mechanisms. This technical report explores the interaction between electrical and chemical mechanisms in neural learning and development. Two neural systems that exemplify this interaction are described and modelled. The first is the mechanisms underlying habituation, sensitization, and associative learning in the gill withdrawal reflex circuit in Aplysia, a marine snail. The second is the formation of retinotopic projections in the early visual pathway during embryonic development.

Summarizing Qualitative Behavior from Measurements of NonlinearsCircuits

This report describes a program which automatically characterizes the behavior of any driven, nonlinear, electrical circuit. To do this, the program autonomously selects interesting input parameters, drives the circuit, measures its response, performs a set of numeric computations on the measured data, interprets the results, and decomposes the circuit's parameter space into regions of qualitatively distinct behavior. The output is a two-dimensional portrait summarizing the high-level, qualitative behavior of the circuit for every point in the graph, an accompanying textual explanation describing any interesting patterns observed in the diagram, and a symbolic description of the circuit's behavior which can be passed on to other programs for further analysis.

Generating Circuit Tests by Exploiting Designed Behavior

This thesis describes two programs for generating tests for digital circuits that exploit several kinds of expert knowledge not used by previous approaches. First, many test generation problems can be solved efficiently using operation relations, a novel representation of circuit behavior that connects internal component operations with directly executable circuit operations. Operation relations can be computed efficiently by searching traces of simulated circuit behavior. Second, experts write test programs rather than test vectors because programs are more readable and compact. Test programs can be constructed automatically by merging program fragments using expert-supplied goal-refinement rules and domain-independent planning techniques.

Qualitative Analysis of MOS Circuits

With the push towards sub-micron technology, transistor models have become increasingly complex. The number of components in integrated circuits has forced designer's efforts and skills towards higher levels of design. This has created a gap between design expertise and the performance demands increasingly imposed by the technology. To alleviate this problem, software tools must be developed that provide the designer with expert advice on circuit performance and design. This requires a theory that links the intuitions of an expert circuit analyst with the corresponding principles of formal theory (i.e. algebra, calculus, feedback analysis, network theory, and electrodynamics), and that makes each underlying assumption explicit.

Causal and Teleological Reasoning in Circuit Recognition

This thesis presents a theory of human-like reasoning in the general domain of designed physical systems, and in particular, electronic circuits. One aspect of the theory, causal analysis, describes how the behavior of individual components can be combined to explain the behavior of composite systems. Another aspect of the theory, teleological analysis, describes how the notion that the system has a purpose can be used to aid this causal analysis. The theory is implemented as a computer program, which, given a circuit topology, can construct by qualitative causal analysis a mechanism graph describing the functional topology of the system. This functional topology is then parsed by a grammar for common circuit functions. Ambiguities are introduced into the analysis by the approximate qualitative nature of the analysis. For example, there are often several possible mechanisms which might describe the circuit's function. These are disambiguated by teleological analysis. The requirement that each component be assigned an appropriate purpose in the functional topology imposes a severe constraint which eliminates all the ambiguities. Since both analyses are based on heuristics, the chosen mechanism is a rationalization of how the circuit functions, and does not guarantee that the circuit actually does function. This type of coarse understanding of circuits is useful for analysis, design and troubleshooting.

The Use of Equality in Deduction and Knowledge Representation

This report describes a system which maintains canonical expressions for designators under a set of equalities. Substitution is used to maintain all knowledge in terms of these canonical expressions. A partial order on designators, termed the better-name relation, is used in the choice of canonical expressions. It is shown that with an appropriate better-name relation an important engineering reasoning technique, propagation of constraints, can be implemented as a special case of this substitution process. Special purpose algebraic simplification procedures are embedded such that they interact effectively with the equality system. An electrical circuit analysis system is developed which relies upon constraint propagation and algebraic simplification as primary reasoning techniques. The reasoning is guided by a better-name relation in which referentially transparent terms are preferred to referentially opaque ones. Multiple description of subcircuits are shown to interact strongly with the reasoning mechanism.

A Circuit Grammar For Operational Amplifier Design

Electrical circuit designers seldom create really new topologies or use old ones in a novel way. Most designs are known combinations of common configurations tailored for the particular problem at hand. In this thesis I show that much of the behavior of a designer engaged in such ordinary design can be modelled by a clearly defined computational mechanism executing a set of stylized rules. Each of my rules embodies a particular piece of the designer's knowledge. A circuit is represented as a hierarchy of abstract objects, each of which is composed of other objects. The leaves of this tree represent the physical devices from which physical circuits are fabricated. By analogy with context-free languages, a class of circuits is generated by a phrase-structure grammar of which each rule describes how one type of abstract object can be expanded into a combination of more concrete parts. Circuits are designed by first postulating an abstract object which meets the particular design requirements. This object is then expanded into a concrete circuit by successive refinement using rules of my grammar. There are in general many rules which can be used to expand a given abstract component. Analysis must be done at each level of the expansion to constrain the search to a reasonable set. Thus the rule of my circuit grammar provide constraints which allow the approximate qualitative analysis of partially instantiated circuits. Later, more careful analysis in terms of more concrete components may lead to the rejection of a line of expansion which at first looked promising. I provide special failure rules to direct the repair in this case.

Ethanol crossover phenomena and its influence on the performance of DEFC

In the present work, Nafion (R) membrane porosity changes were determined in aqueous ethanol solutions with different concentrations by weighing vacuum-dried and ethanol aqueous solution equilibrated membranes at room temperature. The ethanol crossover rate through Nafion (R)-115 membrane at different temperatures and different concentrations had been investigated in a fuel cell test apparatus by using membrane gets higher as ethanol solution gas chromatography analysis. The experimental results show that the swelling degree of Nafion (R) concentration increases. The ethanol crossover rate increases with ethanol concentration and temperature increment. The single direct ethanol fuel cell (DEFC) tests were carried out to investigate the effect of ethanol concentration on ethanol crossover and consequently, on the open circuit voltage and the cell performance of DEFC. It can be found that ethanol crossover presented a negative effect on the OCV and the cell performance of DEFC. It can also be found that an improved DEFC performance was obtained as temperature increased although the ethanol crossover rate increased with temperature increment. (c) 2005 Elsevier B.V. All rights reserved.

Combining Functional and Structural Reasoning for Safety Analysis of Electrical Designs

C.J.Price, D.R.Pugh, N.A.Snooke, J.E.Hunt, M.S.Wilson, Combining Functional and Structural Reasoning for Safety Analysis of Electrical Designs, Knowledge Engineering Review, vol 12:3, pp.271-287, 1997.

Ambiguities and Deviations in Qualitative Circuit Analysis

Lee M.H., Bell J. and Coghill G.M., Ambiguities and Deviations in Qualitative Circuit Analysis, in Proc. QR?2001, 15th Int. Workshop on Qualitative Reasoning, San Antonio, Texas, May 2001, pp51-58.

Qualitative Modelling of Linear Networks in ECAD Applications

Lee M.H., Qualitative Modelling of Linear Networks in ECAD Applications, Expert Update, Vol. 3, Num. 2, pp23-32, BCS SGES, Summer 2000. Qualitative modeling of linear networks in ecad applications (1999) by M Lee Venue: Pages 146?152 of: Proceedings 13th international workshop on qualitative reasoning, QR ?99

Qualitative Circuit Models in Failure Analysis Reasoning

Lee M.H., Qualitative Circuit Models in Failure Analysis Reasoning, AI Journal. vol 111, pp239-276.1999.

Prediction of Physical Properties of Yeast Cell Suspensions using Dielectric Spectroscopy

D.J. Currie, M.H. Lee and R.W. Todd, 'Prediction of Physical Properties of Yeast Cell Suspensions using Dielectric Spectroscopy', Conference on Electrical Insulation and Dielectric Phenomena, (CEIDP 2006), Annual Report, pp 672 ? 675, October 15th -18th 2006, Kansas City, Missouri, USA. Organised by IEEE Dielectrics and Electrical Insulation Society.