Comments on edge-to-edge matching and the equivalence of the invariant line, Delta g and Moire fringe approaches to the crystallographic features of precipitates

Three apparently distinct and different approaches have been proposed to account for the crystallographic features of diffusion-controlled precipitation. These three models are based on (a) an invariant line in the habit plane, (b) the parallelism of a pair of Deltags that are perpendicular to the habit plane and (c) the parallelism of a pair of Moire fringes that are in turn parallel to the habit plane. The purpose of the present paper is to show that these approaches are in fact absolutely equivalent and that when certain conditions are satisfied they are essentially the same as the recent edge-to-edge matching model put forward by the authors. (C) 2004 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

Edge-to-edge matching and its applications - Part I. Application to the simple HCP/BCC system

The edge-to-edge matching crystallographic model has been used to predict all the orientation relationships (OR) between crystals that have simple hexagonal close packed (HCP) and body-centered cubic (BCC) structures. Using the critical values for the interatomic spacing misfit along the matching directions and the cl-value mismatch between matching planes, the model predicted all the four common ORs, namely the Burgers OR, the Potter OR, the Pitsch-Schrader OR and the Rong Dunlop OR, together with the corresponding habit planes. Taking the c(H)/a(H) and a(H)/a(B) ratios as variables, where H and B denote the HCP and BCC structures respectively, the model also predicted the relationship between these variables and the four ORs. These predictions are perfectly consistent with the published experimental results. As was the case in the FCC/BCC system, the edge-to-edge matching model has been shown to be a powerful tool for predicting the crystallographic features of diffusion-controlled phase transformations. (C) 2004 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

Edge-to-edge matching and its applications - Part II. Application to Mg-Al, Mg-Y and Mg-Mn alloys

A model for the crystallography and morphology of diffusion-controlled phase transformations - edge-to-edge matching - has been used to predict the orientation relationships (OR) and habit planes of precipitates Mg17Al12 in Mg-Al alloy, Mg24Y5 in Mg-Y alloy and alpha-Mn in Mg-Mn alloy. Based on the crystal structures and lattice parameters only, the model predicts that the possible ORs between Mg17Al12 and Mg matrix are the near Burgers OR, the Potter OR, the Gjonnes-Ostmoe OR and the Crawley OR. In the Mg-Y alloy, the OR between Mg24Y5 precipitates and the Mg matrix is predicted to be the Burgers OR only. The model also predicts that there are no reproducible ORs between alpha-Mn and Mg in the Mg-Mn alloy. Combining the edge-to-edge matching model and W. Zhang's Deltag approach, the habit plane and side facets of the precipitate for each OR can be determined. All the predicted ORs and the corresponding habit planes in Mg-Al and Mg-Y alloys agree very well with the experimental results. (C) 2004 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

A theory for execution-time derivation in real-time programs

We provide an abstract command language for real-time programs and outline how a partial correctness semantics can be used to compute execution times. The notions of a timed command, refinement of a timed command, the command traversal condition, and the worst-case and best-case execution time of a command are formally introduced and investigated with the help of an underlying weakest liberal precondition semantics. The central result is a theory for the computation of worst-case and best-case execution times from the underlying semantics based on supremum and infimum calculations. The framework is applied to the analysis of a message transmitter program and its implementation. (c) 2005 Elsevier B.V. All rights reserved.

Cdk1/Erk2- and Plk1-dependent phosphorylation of a centrosome protein, Cep55, is required for its recruitment to midbody and cytokinesis

Centrosomes in mammalian cells have recently been implicated in cytokinesis; however, their role in this process is poorly defined. Here, we describe a human coiled-coil protein, Cep55 (centrosome protein 55 kDa), that localizes to the mother centriole during interphase. Despite its association with gamma-TuRC anchoring proteins CG-NAP and Kendrin, Cep55 is not required for microtubule nucleation. Upon mitotic entry, centrosome dissociation of Cep55 is triggered by Erk2/Cdk1-dependent phosphorylation at S425 and S428. Furthermore, Cep55 locates to the midbody and plays a role in cytokinesis, as its depletion by siRNA results in failure of this process. S425/428 phosphorylation is required for interaction with Plk1, enabling phosphorylation of Cep55 at S436. Cells expressing phosphorylation-deficient mutant forms of Cep55 undergo cytokinesis failure. These results highlight the centrosome as a site to organize phosphorylation of Cep55, enabling it to relocate to the midbody to function in mitotic exit and cytokinesis.

Procedure compilation in the refinement calculus

High-level language program compilation strategies can be proven correct by modelling the process as a series of refinement steps from source code to a machine-level description. We show how this can be done for programs containing recursively-defined procedures in the well-established predicate transformer semantics for refinement. To do so the formalism is extended with an abstraction of the way stack frames are created at run time for procedure parameters and variables.

Edge-to-edge matching - The fundamentals

The basis of the present authors' edge-to-edge matching model for understanding the crystallography of partially coherent precipitates is the minimization of the energy of the interface between the two phases. For relatively simple crystal structures, this energy minimization occurs when close-packed, or relatively close-packed, rows of atoms match across the interface. Hence, the fundamental principle behind edge-to-edge matching is that the directions in each phase that correspond to the edges of the planes that meet in the interface should be close-packed, or relatively close-packed, rows of atoms. A few of the recently reported examples of what is termed edge-to-edge matching appear to ignore this fundamental principle. By comparing theoretical predictions with available experimental data, this article will explore the validity of this critical atom-row coincidence condition, in situations where the two phases have simple crystal Structures and in those where the precipitate has a more complex structure.

O SILÊNCIO ESTÉTICO COMO ELEMENTO COMUNICACIONAL NA DIREÇÃO DE ARTE DO JOGO DIGITAL JOURNEY

Esta pesquisa propõe a abordagem teórica do silêncio como elemento comunicacional, como um elemento ligado a materialidade da linguagem, como um meio capaz de produzir ritmo narrativo e de edificar as bases projetuais destinadas ao desenvolvimento e a implementação da direção de arte em um projeto voltado a criação de Journey, um jogo digital independente para os videogames de sétima geração. O silêncio em Journey foi observado como elemento compositivo de linguagem, isto é, como aquilo que intencionalmente não foi dito, mas que conseguiu produzir algum tipo de efeito comunicacional no percurso da narrativa proposta para a trama. Assim, descobrimos os ambientes e os personagens que compõem o universo lúdico deste jogo digital por meio de um estudo de caso e da metáfora do silêncio, abordando os sistemas narrativos, as técnicas de direção de arte e as relações projetuais estabelecidas a partir deste contexto. Este é o objetivo central deste trabalho, traduzir o silêncio e suas ausências em um elemento comunicador, transformador da percepção e da sensibilidade dos jogadores por meio das narrativas e da direção de arte de uma expressão artística em forma de videogame.

FORMAÇÃO DOCENTE E ENSINO SUPERIOR A DISTÂNCIA: TRANSIÇÃO PARADIGMÁTICA E OS IMPACTOS E CONTRIBUIÇÕES DAS TECNOLOGIAS DE INFORMAÇÃO E COMUNICAÇÃO

O século XXI trouxe profundas modificações na organização das sociedades e consequentemente no mundo do trabalho no âmbito da educação. O crescimento exponencial da dinâmica da comunicação nas sociedades possibilita a multiplicação generalizada de visões de mundo, a tecnologia é um agente de mudança e as inovações tecnológicas podem resultar em uma revolucionária quebra de paradigma educacional. Diante dos impasses de um mundo globalizado, em constante mutação cultural, surgem novas possibilidades de mediações que geram diferentes perspectivas para os processos educativos com a introdução das Tecnologias de Informação e Comunicação (TICs) e da Educação a Distância (EaD). Por esta razão, a Formação Docente é pesquisada tendo como objetivo analisar os impactos e as contribuições que as tecnologias trazem para este campo, especialmente no curso de Pedagogia, considerando uma experiência em EaD e sua relação com o curso na modalidade presencial a partir dos pressupostos norteadores do Projeto Pedagógico Institucional (PPI) na instituição pesquisada. Foi relevante perceber no decorrer da pesquisa bibliográfica e do estudo de campo que as duas modalidades apóiam-se na concepção de educação que está subjacente e que orienta as escolhas teórico-metodológicas adotadas pela instituição no seu PPI. A educação a distância possibilita a construção de um ambiente de aprendizagem mediado pelas TICs e novas compreensões sobre o processo de ensinar e aprender. O estudo mostra que a formação docente nesta modalidade deve estar articulada com o processo educativo e ter como eixo a concepção de um sujeito capaz de estabelecer novas formas de expressão e conhecimentos para trabalhar em uma educação do futuro. Portanto, é necessário pensar na Intencionalidade de sua formação, de modo a capacitá-lo com visão pedagógica crítica e objetivando que seja capaz de intervir no desenvolvimento educacional como um intelectual transformador.(AU)

Interactions within heterogeneous systems of uncontrolled rectifiers for aircraft electrical power systems

There is an increase in the use of multi-pulse, rectifier-fed motor-drive equipment on board more-electric aircraft. Motor drives with feedback control appear as constant power loads to the rectifiers, which can cause instability of the DC filter capacitor voltage at the output of the rectifier. This problem can be exacerbated by interactions between rectifiers that share a common source impedance. In order that such a system can be analysed, there is a need for average, dynamic models of systems of rectifiers. In this study, an efficient, compact method for deriving the approximate, linear, large-signal, average models of two heterogeneous systems of rectifiers, which are fed from a common source impedance, is presented. The models give insight into significant interaction effects that occur between the converters, and that arise through the shared source impedance. First, a 6-pulse and doubly wound, transformer-fed, 12-pulse rectifier system is considered, followed by a 6-pulse and autotransformer-fed, 12-pulse rectifier system. The system models are validated against detailed simulations and laboratory prototypes, and key characteristics of the two system types are compared.

Back from the future:the second chance in the past of aller + infinitive

Typological studies (Bybee et al. 1994, Dahl 2000, Bourdin 2008 among many others) have shown a tendency for spatial elements (such as movement verbs) to grammaticalise into temporal expressions. The periphrasis made of aller + infinitive has been very productive in Romance languages. If in French, Spanish or Portuguese, it refers to future, it refers to a simple past in Catalan. fr.: je vais aller au cinéma esp.: voy a ir al cine pt. Vou ira o cine cat.: vaig anar al cine Barceló & Bres (2005:168) indicate that, In French, «vers le XVIème siècle, […] la périphrase a brièvement fonctionné comme un temps du passé (alors même que l’emploi comme temps du futur émergeait)»: (1) Sur ces propos, firent leur accord et, en regardant le lieu le plus propre pour faire cette belle œuvre, elle va dire qu’elle n’en savait point de meilleure ni plus loin de tout soupçon, qu’une petite maison qui était dedans le parc, où il y avait chambre et lit tout à propos. (Marguerite de Navarre, L’Heptaméron) The future value took over so much so that Damourette & Pichon (1911-1936 :117) claimed the past value had disappeared»: Un second tour, encore plus aberrant, n’a plus, que nous sachions, aucune position en pays d’Oui. Nous voulons parler de l’expression d’un passé au moyen de l’auxiliaire aller, suivi de l’infinitif. Ce tour a eu une grande fortune dans le provençal ancien et le catalan […] En français, on n’en trouve que des traces, notamment du XIVe au XVIe siècles . Ex.:[…] Adoncques s’arrêtèrent le conte et Raimondin soubz un grand arbre ; lors va dire le conte à Raimondin: […]. Et Raimondin va lui dire : Sire, ce qu’il vous plaira. That allegedly extinct use is nonetheless alive and kicking in Contemporary French. Larreya (2005:349)notes that it is « très courant dans les récits – en particulier dans les récits oraux» and it is also found in newspaper language as shown by this except from an obituary for Loulou Gasté (Le Monde 1995): (2) Celle-ci se déroule aux Editions Micro, où il a un bureau. Séduit par la jeune interprète, il commence à lui écrire des chansons sur mesure et leur complicité va mettre cinq ans à se transformer en amour. Au début de leur rencontre, Loulou est neurasthénique parce qu’il vient de divorcer et la future Line, exclusivement préoccupée par son métier, ne songe à rien d’autre. Line et Loulou vont rattraper le temps perdu et créer ensemble un millier de petites chansons dont la plupart sont devenues immortelles. Jusqu’à ces derniers mois, il ne va pas se passer une journée sans que Loulou s’empare de sa guitare pour créer un refrain. Would we be witnessing a linguistic resurrection? The same structure seems therefore to have grammaticalised in diverging and even diametrically opposite ways in different Romance languages. In this talk, we shall try to explain how the phrase aller + infinitive is able to function both as a future and a past. We will especially concentrate on the case of contemporary French where, while the future interpretation has obtained the status of tense as futur proche or périphrastique, a past interpretation is now commonplace. Our reflection will be supported by a personal corpus of authentic examples.

Modelling of induction motors for system faults and transient stability studies

The research carried out in this thesis was mainly concerned with the effects of large induction motors and their transient performance in power systems. Computer packages using the three phase co-ordinate frame of reference were developed to simulate the induction motor transient performance. A technique using matrix algebra was developed to allow extension of the three phase co-ordinate method to analyse asymmetrical and symmetrical faults on both sides of the three phase delta-star transformer which is usually required when connecting large induction motors to the supply system. System simulation, applying these two techniques, was used to study the transient stability of a power system. The response of a typical system, loaded with a group of large induction motors, two three-phase delta-star transformers, a synchronous generator and an infinite system was analysed. The computer software developed to study this system has the advantage that different types of fault at different locations can be studied by simple changes in input data. The research also involved investigating the possibility of using different integrating routines such as Runge-Kutta-Gill, RungeKutta-Fehlberg and the Predictor-Corrector methods. The investigation enables the reduction of computation time, which is necessary when solving the induction motor equations expressed in terms of the three phase variables. The outcome of this investigation was utilised in analysing an introductory model (containing only minimal control action) of an isolated system having a significant induction motor load compared to the size of the generator energising the system.

Simulation of power station protection equipment

Computer programs have been developed to enable the coordination of fuses and overcurrent relays for radial power systems under estimated fault current conditions. The grading curves for these protection devices can be produced on a graphics terminal and a hard copy can be obtained. Additional programs have also been developed which could be used to assess the validity of relay settings (obtained under the above conditions) when the transient effect is included. Modelling of a current transformer is included because transformer saturation may occur if the fault current is high, and hence the secondary current is distorted. Experiments were carried out to confirm that distorted currents will affect the relay operating time, and it is shown that if the relay current contains only a small percentage of harmonic distortion, the relay operating time is increased. System equations were arranged to enable the model to predict fault currents with a generator transformer incorporated in the system, and also to include the effect of circuit breaker opening, arcing resistance, and earthing resistance. A fictitious field winding was included to enable more accurate prediction of fault currents when the system is operating at both lagging and leading power factors prior to the occurrence of the fault.

Developments and extensions of Roth's method of double Fourier series with applications to the solution of electromagnetic field problems

The first part of the thesis compares Roth's method with other methods, in particular the method of separation of variables and the finite cosine transform method, for solving certain elliptic partial differential equations arising in practice. In particular we consider the solution of steady state problems associated with insulated conductors in rectangular slots. Roth's method has two main disadvantages namely the slow rate of con­vergence of the double Fourier series and the restrictive form of the allowable boundary conditions. A combined Roth-separation of variables method is derived to remove the restrictions on the form of the boundary conditions and various Chebyshev approximations are used to try to improve the rate of convergence of the series. All the techniques are then applied to the Neumann problem arising from balanced rectangular windings in a transformer window. Roth's method is then extended to deal with problems other than those resulting from static fields. First we consider a rectangular insulated conductor in a rectangular slot when the current is varying sinusoidally with time. An approximate method is also developed and compared with the exact method.The approximation is then used to consider the problem of an insulated conductor in a slot facing an air gap. We also consider the exact method applied to the determination of the eddy-current loss produced in an isolated rectangular conductor by a transverse magnetic field varying sinusoidally with time. The results obtained using Roth's method are critically compared with those obtained by other authors using different methods. The final part of the thesis investigates further the application of Chebyshdev methods to the solution of elliptic partial differential equations; an area where Chebyshev approximations have rarely been used. A poisson equation with a polynomial term is treated first followed by a slot problem in cylindrical geometry.

Uses of frontier efficiency methodologies and multi-criteria decision making for performance measurement in the energy sector

Guest editorial Ali Emrouznejad is a Senior Lecturer at the Aston Business School in Birmingham, UK. His areas of research interest include performance measurement and management, efficiency and productivity analysis as well as data mining. He has published widely in various international journals. He is an Associate Editor of IMA Journal of Management Mathematics and Guest Editor to several special issues of journals including Journal of Operational Research Society, Annals of Operations Research, Journal of Medical Systems, and International Journal of Energy Management Sector. He is in the editorial board of several international journals and co-founder of Performance Improvement Management Software. William Ho is a Senior Lecturer at the Aston University Business School. Before joining Aston in 2005, he had worked as a Research Associate in the Department of Industrial and Systems Engineering at the Hong Kong Polytechnic University. His research interests include supply chain management, production and operations management, and operations research. He has published extensively in various international journals like Computers & Operations Research, Engineering Applications of Artificial Intelligence, European Journal of Operational Research, Expert Systems with Applications, International Journal of Production Economics, International Journal of Production Research, Supply Chain Management: An International Journal, and so on. His first authored book was published in 2006. He is an Editorial Board member of the International Journal of Advanced Manufacturing Technology and an Associate Editor of the OR Insight Journal. Currently, he is a Scholar of the Advanced Institute of Management Research. Uses of frontier efficiency methodologies and multi-criteria decision making for performance measurement in the energy sector This special issue aims to focus on holistic, applied research on performance measurement in energy sector management and for publication of relevant applied research to bridge the gap between industry and academia. After a rigorous refereeing process, seven papers were included in this special issue. The volume opens with five data envelopment analysis (DEA)-based papers. Wu et al. apply the DEA-based Malmquist index to evaluate the changes in relative efficiency and the total factor productivity of coal-fired electricity generation of 30 Chinese administrative regions from 1999 to 2007. Factors considered in the model include fuel consumption, labor, capital, sulphur dioxide emissions, and electricity generated. The authors reveal that the east provinces were relatively and technically more efficient, whereas the west provinces had the highest growth rate in the period studied. Ioannis E. Tsolas applies the DEA approach to assess the performance of Greek fossil fuel-fired power stations taking undesirable outputs into consideration, such as carbon dioxide and sulphur dioxide emissions. In addition, the bootstrapping approach is deployed to address the uncertainty surrounding DEA point estimates, and provide bias-corrected estimations and confidence intervals for the point estimates. The author revealed from the sample that the non-lignite-fired stations are on an average more efficient than the lignite-fired stations. Maethee Mekaroonreung and Andrew L. Johnson compare the relative performance of three DEA-based measures, which estimate production frontiers and evaluate the relative efficiency of 113 US petroleum refineries while considering undesirable outputs. Three inputs (capital, energy consumption, and crude oil consumption), two desirable outputs (gasoline and distillate generation), and an undesirable output (toxic release) are considered in the DEA models. The authors discover that refineries in the Rocky Mountain region performed the best, and about 60 percent of oil refineries in the sample could improve their efficiencies further. H. Omrani, A. Azadeh, S. F. Ghaderi, and S. Abdollahzadeh presented an integrated approach, combining DEA, corrected ordinary least squares (COLS), and principal component analysis (PCA) methods, to calculate the relative efficiency scores of 26 Iranian electricity distribution units from 2003 to 2006. Specifically, both DEA and COLS are used to check three internal consistency conditions, whereas PCA is used to verify and validate the final ranking results of either DEA (consistency) or DEA-COLS (non-consistency). Three inputs (network length, transformer capacity, and number of employees) and two outputs (number of customers and total electricity sales) are considered in the model. Virendra Ajodhia applied three DEA-based models to evaluate the relative performance of 20 electricity distribution firms from the UK and the Netherlands. The first model is a traditional DEA model for analyzing cost-only efficiency. The second model includes (inverse) quality by modelling total customer minutes lost as an input data. The third model is based on the idea of using total social costs, including the firm’s private costs and the interruption costs incurred by consumers, as an input. Both energy-delivered and number of consumers are treated as the outputs in the models. After five DEA papers, Stelios Grafakos, Alexandros Flamos, Vlasis Oikonomou, and D. Zevgolis presented a multiple criteria analysis weighting approach to evaluate the energy and climate policy. The proposed approach is akin to the analytic hierarchy process, which consists of pairwise comparisons, consistency verification, and criteria prioritization. In the approach, stakeholders and experts in the energy policy field are incorporated in the evaluation process by providing an interactive mean with verbal, numerical, and visual representation of their preferences. A total of 14 evaluation criteria were considered and classified into four objectives, such as climate change mitigation, energy effectiveness, socioeconomic, and competitiveness and technology. Finally, Borge Hess applied the stochastic frontier analysis approach to analyze the impact of various business strategies, including acquisition, holding structures, and joint ventures, on a firm’s efficiency within a sample of 47 natural gas transmission pipelines in the USA from 1996 to 2005. The author finds that there were no significant changes in the firm’s efficiency by an acquisition, and there is a weak evidence for efficiency improvements caused by the new shareholder. Besides, the author discovers that parent companies appear not to influence a subsidiary’s efficiency positively. In addition, the analysis shows a negative impact of a joint venture on technical efficiency of the pipeline company. To conclude, we are grateful to all the authors for their contribution, and all the reviewers for their constructive comments, which made this special issue possible. We hope that this issue would contribute significantly to performance improvement of the energy sector.