Single chamber Solid Oxide Fuel Cells selective electrodes: A real chance with brownmillerite-based nanocomposites

In this contribution brownmillerite-based nanocomposite cathode for Single-Chamber Solid Oxide Fuel Cells is developed. These cells can be very attractive especially for small and cheap devices because of the absence of seals. The efficiency of SC-SOFCs is strictly connected to the selectivity of anode and cathode, the bottleneck for this technology. The development of a cathode inert in fuel oxidation is particularly challenging. Our strategy is to start from a catalytically un-active support (CFA = Ca₂FeAl_0.95Mg_0.05O₅) and induce the formation of iron oxide based nanoparticles, expected to activate oxygen. Symmetric (CFA + FeO_x/CGO/CFA + FeO_x) and complete cells (CFA + FeO_x/CGO/Ni-CGO) are studied in air and methane/oxygen 2:1 mixture. The Area Specific Resistance of CFA + FeO_x is less than 1/3 that of CFA. The high selectivity allows to reach an efficiency of 25%; power still needs to be increased but we demonstrated the possibility to develop selective low cost electrodes. The effect of air, methane/oxygen exposure and the heat treatments were carefully investigated.     

Scalable and Structured Scheduling

Scheduling a program (i.e. constructing a timetable for the execution of its operations) is one of the most powerful methods for automatic parallelization. A schedule gives a blueprint for constructing a synchronous program, suitable for an ASIC or VLIW processor. However, constructing a schedule entails solving a large linear program. Even if one accepts the (experimental) fact that the Simplex is almost always polynomial, the scheduling time is of the order of a large power of the program size. Hence, the method does not scale well. The present paper proposes two methods for improving the situation. First, a large program can be divided into smaller units (processes), which can be scheduled separately. This is structured scheduling. Second, one can use projection methods for solving linear programs incrementally. This is specially efficient if the dependence graph is sparse.     

Mechanics of plain-woven fabrics for inflated structures

Pressurized fabric tubes, pressure-stabilized beams (known as air beams) and air-inflated structures are considered to be valuable technologies for lightweight, rapidly deployable structures. Design optimization of an inflated structure depends on a thorough understanding of woven fabric mechanics. In this paper the bending response of woven pressure-stabilized beams have been experimentally tested and analytically investigated. Additionally, the micromechanical effects of interacting tows have been studied through finite element models containing contact surfaces and nonlinear slip/stick conditions. Local unit cell models consisting of pairs of woven tows were created to characterize the effective constitutive relations. The material properties from the unit cell models were then used for the global continuum model subjected to 4-point flexure. An experimental set-up was designed and manufactured for testing of Vectran and PEN air beams. The air beam mid-span deflections were measured as functions of inflation pressure and bending load. Plots of the elastic and shear moduli with respect to the pressure and coefficient of friction have been generated. It was determined that the effective elastic and shear moduli were functions of inflation pressure, the material used and the geometry of the weave. It was shown that pneumatic or pressurized tube structures differ fundamentally from conventional metal structures.     

An introduction to Web Services

This paper provides an introduction to Web Services. A brief history of Web Services is given, leading into an overview of the key Web Services technologies. The paper describes the way in which the IT industry has embraced Web Services and the uses to which the technologies are currently being applied. It concludes with a view of the role of both the key developers and standards bodies in the creation of Web Services and discusses the ways in which this process needs to be supported in order for Web Services to evolve. This revised version was published online in July 2006 with corrections to the Cover Date.     

Management gaps analysis: a case study of groundwater resource management in New Zealand

The primary objective of this project is to identify gaps, whether real or perceived, that hinder effective groundwater management in New Zealand. These gaps show as gaps in information, gaps in implementation, gaps in technological and management tools, and gaps in understanding of fundamental processes. The secondary objective is to propose a management strategy to close the identified gaps. Several methods are used to meet these objectives: surveys distributed to selected staff in each regional council; the review of various written reports; the analysis of land-use databases; and private consultation within each regional council. Results show that groundwater management in New Zealand is generally reactionary with the main gaps being in strategic planning and national guidelines. Most gaps appear to be predominantly information and implementation issues. In some cases there are gaps in the understanding of fundamental processes within an aquifer system, including the long-term effects of land-use on groundwater quality. An adaptive management approach is suggested as a means of closing these gaps.     

Preschool Competency in Context: An Investigation of the Unique Contribution of Child Competencies to Early Academic Success.

The present concurrent study combined developmental and ecological considerations to examine the unique contribution of multiple preschool competencies to an indicator of early academic success. Participants included 195 Head Start children from 32 classrooms representative of a large, urban Head Start program. Dimensional (variable-centered) analyses revealed 3 distinct classroom competency dimensions (i.e., General Classroom Competencies, Specific Approaches to Learning, and Interpersonal Classroom Behavioral Problems). The first 2 of these dimensions were found to be uniquely associated with early academic success. Findings from typological (person-centered) analyses supported the dimensional findings. Typological analyses revealed 7 profiles of classroom competency distinguished by high scores on the dimensions of General Competencies and Approaches to Learning, and these profiles were found to relate differentially to the indicator of early academic success. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

A concept for the generation of out-of-plane distortion from tailored FRP laminates

The phenomenon of thermally induced distortions in unsymmetrical laminates is well understood, and it may be shown that a square, unsymmetrical 0.90 laminate will tend to form two stable geometries with a snap-through phenomenon between them. This paper discusses laminates in which at each point the lay-up is symmetrical across the laminate mid-plane, but which still exhibit multiple stable geometries. The number of stable geometries can be controlled by the details of the lay-up from the minimum of two to, in principle, an unlimited number. In addition it will be shown how a similar process can be used to generate multiple stable stress states and geometries in unidirectional laminates. This paper represents a very preliminary experimental investigation of the design space available for such composite laminates. Possible applications of composites with multiple stable geometries are noted.     

The Role of Test Protocols in Automated Test Generation for Embedded-Core-Based System ICs

Modular testing is an attractive approach to testing large system ICs, especially if they are built from pre-designed reusable embedded cores. This paper describes an automated modular test development approach. The basis of this approach is that a core or module test is dissected into a test protocol and a test pattern list. A test protocol describes in detail how to apply one test pattern to the core, while abstracting from the specific test pattern stimulus and response values. Subsequent automation tasks, such as the expansion from core-level tests to system-chip-level tests and test scheduling, all work on test protocols, thereby greatly reducing the amount of compute time and data involved. Finally, an SOC-level test is assembled from the expanded and scheduled test protocols and the (so far untouched) test patterns. This paper describes and formalizes the notion of test protocols and the algorithms for test protocol expansion and scheduling. A running example is featured throughout the paper. We also elaborate on the industrial usage of the concepts described.     

Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.