Direct observation of a long-lived single-atom catalyst chiseling atomic structures in graphene

Fabricating stable functional devices at the atomic scale is an ultimate goal of nanotechnology. In biological processes, such high-precision operations are accomplished by enzymes. A counterpart molecular catalyst that binds to a solid-state substrate would be highly desirable. Here, we report the direct observation of single Si adatoms catalyzing the dissociation of carbon atoms from graphene in an aberration-corrected high-resolution transmission electron microscope (HRTEM). The single Si atom provides a catalytic wedge for energetic electrons to chisel off the graphene lattice, atom by atom, while the Si atom itself is not consumed. The products of the chiseling process are atomic-scale features including graphene pores and clean edges. Our experimental observations and first-principles calculations demonstrated the dynamics, stability, and selectivity of such a single-atom chisel, which opens up the possibility of fabricating certain stable molecular devices by precise modification of materials at the atomic scale.

Clickers versus hand-raising in the physics college classroom : do clickers make a difference?

Abstract: Students who are actively involved in the learning process tend to develop deeper knowledge than those in traditional lecture classrooms (Beatty, 2007; Crouch & Mazur, 2001; Hake, 1998; Richardson, 2003). An instructional strategy that promotes active involvement is Peer Instruction. This strategy encourages student engagement by asking them to respond to conceptual multiple-choice questions intermittently throughout the lecture. These questions can be responded to by using an electronic hand-held device commonly known as a clicker that enables students’ responses to be displayed on a screen. When clickers are not available, a show of hands or other means can be used. The literature suggests that the impact on student learning is the same, whether the teacher uses clickers or simply asks students to raise their hand or use flashcards when responding to the questions (Lasry, 2007). This critical analysis argues that using clickers to respond to these in-class conceptual multiple-choice questions as opposed to using a show of hands leads to deeper conceptual understanding, better performance on tests, and greater overall enjoyment during class.||Résumé: Les étudiants qui sont activement impliqués dans le processus d'apprentissage ont tendance à développer des connaissances plus approfondies que lors de cours traditionnels (Beatty, 2007; Crouch & Mazur, 2001; Hake, 1998; Richardson, 2003). Une stratégie d'enseignement qui favorise la participation active est l’apprentissage par les pairs. Cette stratégie d’enseignement encourage l'engagement des élèves en leur demandant de répondre à des questions à choix multiples conceptuelles à plusieurs reprises durant le déroulement du cours. Ces questions peuvent être répondues à l'aide d'un appareil portatif électronique (un « clicker ») qui permet d’afficher de façon anonyme les réponses des élèves sur un écran. Si les clickers ne sont pas disponibles, les étudiants peuvent aussi répondre aux questions en levant la main. La littérature suggère que la méthode utilisée n’a pas d’impact sur l'apprentissage des élèves, que l'enseignant utilise des clickers, des flashcards ou qu’il demande simplement aux élèves de lever la main pour répondre aux questions (Lasry, 2007). Cette analyse critique fait valoir que l'utilisation de clickers pour répondre à ces questions à choix multiples conceptuelles en classe, plutôt que de faire lever la main aux étudiants, résulte en une compréhension conceptuelle plus approfondie, une meilleure performance aux examens et plus de plaisir pendant les cours.

Examining barriers to internationalisation created by diverse systems and structures in vocational education and training

In a global society, all educational sectors need to recognise internationalism as a core, foundational principle. Whilst most educational sectors are taking up that challenge, vocational education and training (VET) is still being pulled towards the national agenda in terms of its structures and systems, and the policies driving it, disadvantaging those who graduate from VET, those who teach in it, and the businesses and countries that connect with it. This paper poses questions about the future of internationalisation in the sector. It examines whether there is a way to create a VET system that meets its primary point of value, to produce skilled workers for the local labour market, while still benefitting those graduates by providing international skills and knowledge, gained from VET institutions that are international in their outlook. The paper examines some of the key barriers created by systems and structures in VET to internationalisation and suggests that the efforts which have been made to address the problem have had limited success. It suggests that only a model which gives freedom to those with a direct vested interest, students, teachers, trainers and employers, to pursue international co-operation and liaison will have the opportunity to succeed. (DIPF/Orig.)

Mesh Adaption for Tracking Vortex Structures in OVERTURNS Simulation of the S-76 Rotor in Hover

The constant need to improve helicopter performance requires the optimization of existing and future rotor designs. A crucial indicator of rotor capability is hover performance, which depends on the near-body flow as well as the structure and strength of the tip vortices formed at the trailing edge of the blades. Computational Fluid Dynamics (CFD) solvers must balance computational expenses with preservation of the flow, and to limit computational expenses the mesh is often coarsened in the outer regions of the computational domain. This can lead to degradation of the vortex structures which compose the rotor wake. The current work conducts three-dimensional simulations using OVERTURNS, a three-dimensional structured grid solver that models the flow field using the Reynolds-Averaged Navier-Stokes equations. The S-76 rotor in hover was chosen as the test case for evaluating the OVERTURNS solver, focusing on methods to better preserve the rotor wake. Using the hover condition, various computational domains, spatial schemes, and boundary conditions were tested. Furthermore, a mesh adaption routine was implemented, allowing for the increased refinement of the mesh in areas of turbulent flow without the need to add points to the mesh. The adapted mesh was employed to conduct a sweep of collective pitch angles, comparing the resolved wake and integrated forces to existing computational and experimental results. The integrated thrust values saw very close agreement across all tested pitch angles, while the power was slightly over predicted, resulting in under prediction of the Figure of Merit. Meanwhile, the tip vortices have been preserved for multiple blade passages, indicating an improvement in vortex preservation when compared with previous work. Finally, further results from a single collective pitch case were presented to provide a more complete picture of the solver results.

Chebanov law and Vakar formula in mathematical models of complex systems

Ecological models written in a mathematical language L(M) or model language, with a given style or methodology can be considered as a text. It is possible to apply statistical linguistic laws and the experimental results demonstrate that the behaviour of a mathematical model is the same of any literary text of any natural language. A text has the following characteristics: (a) the variables, its transformed functions and parameters are the lexic units or LUN of ecological models; (b) the syllables are constituted by a LUN, or a chain of them, separated by operating or ordering LUNs; (c) the flow equations are words; and (d) the distribution of words (LUM and CLUN) according to their lengths is based on a Poisson distribution, the Chebanov's law. It is founded on Vakar's formula, that is calculated likewise the linguistic entropy for L(M). We will apply these ideas over practical examples using MARIOLA model. In this paper it will be studied the problem of the lengths of the simple lexic units composed lexic units and words of text models, expressing these lengths in number of the primitive symbols, and syllables. The use of these linguistic laws renders it possible to indicate the degree of information given by an ecological model.

Principles of knowledge organization: analysis and structures in the networked environment

Knowledge organization in the networked environment is guided by standards. Standards in knowledge organization are built on principles. For example, NISO Z39.19-1993 Guide to the Construction of Monolingual Thesauri (now undergoing revision) and NISO Z39.85- 2001 Dublin Core Metadata Element Set are two standards used in many implementations. Both of these standards were crafted with knowledge organization principles in mind. Therefore it is standards work guided by knowledge organization principles which can affect design of information services and technologies. This poster outlines five threads of thought that inform knowledge organization principles in the networked environment. An understanding of each of these five threads informs system evaluation. The evaluation of knowledge organization systems should be tightly linked to a rigorous understanding of the principles of construction. Thus some foundational evaluation questions grow from an understanding of stan dard s and pr inciples: on what pr inciples is this know ledge organization system built? How well does this implementation meet the ideal conceptualization of those principles? How does this tool compare to others built on the same principles?

A Convenient Verisimilitude or Oppressive Internalization? Characterizing the Ethical Arguments surrounding Hierarchical Structures in Knowledge Organization Systems

This paper considers the ethical concerns that surface around hierarchy as structure in knowledge organization systems. In order to do this, I consider the relationship between semantics and structure and argue for a separation of the two in design and critique of knowledge organization systems. The paper closes with an argument that agency and intention, as ethical concerns in knowledge organization, lead us to argue for a neutral stance on hierarchy.

A Review of the Arcuate Structures in the Iberian Variscides; Constraints and Genetical Models

In the Iberian Variscides several first order arcuate structures have been considered. In spite of being highly studied their characterization, formation mechanisms and even existence is still debatable. Themain Ibero-Armorican Arc (IAA) is essentially defined by a predominantNW–SE trend in the Iberian branch and an E–Wtrend in the Brittany one. However, in northern Spain it presents a 180° rotation, sometimes known as the Cantabrian Arc (CA). The relation between both arcs is controversial, being considered either as a single arc due to one tectonic event, or as the result of a polyphasic process. According to the last assumption, there is a later arcuate structure (CA), overlapping a previousmajor one (IAA). Whatever themodels, they must be able to explain the presence of a Variscan sinistral transpression in Iberia and a dextral one in Armorica, and a deformation spanning from the Devonian to the Upper Carboniferous. Another arcuate structure, in continuity with the CA, the Central-Iberian Arc (CIA) was recently proposed mainly based upon on magnetic anomalies, geometry of major folds and Ordovician paleocurrents. The critical review of the structural, stratigraphic and geophysical data supports both the IAA and the CA, but as independent structures. However, the presence of a CIA is highly questionable and could not be supported. The complex strain pattern of the IAA and the CA could be explained by a Devonian — Carboniferous polyphasic indentation of a Gondwana promontory. In thismodel the CA is essentially a thin-skinned arc,while the IAA has a more complex and longer evolution that has led to a thick-skinned first order structure. Nevertheless, both arcs are essentially the result of a lithospheric bending process during the Iberian Variscides.

Can power laws help us understand gene and proteome information?

Proteins are biochemical entities consisting of one or more blocks typically folded in a 3D pattern. Each block (a polypeptide) is a single linear sequence of amino acids that are biochemically bonded together. The amino acid sequence in a protein is defined by the sequence of a gene or several genes encoded in the DNA-based genetic code. This genetic code typically uses twenty amino acids, but in certain organisms the genetic code can also include two other amino acids. After linking the amino acids during protein synthesis, each amino acid becomes a residue in a protein, which is then chemically modified, ultimately changing and defining the protein function. In this study, the authors analyze the amino acid sequence using alignment-free methods, aiming to identify structural patterns in sets of proteins and in the proteome, without any other previous assumptions. The paper starts by analyzing amino acid sequence data by means of histograms using fixed length amino acid words (tuples). After creating the initial relative frequency histograms, they are transformed and processed in order to generate quantitative results for information extraction and graphical visualization. Selected samples from two reference datasets are used, and results reveal that the proposed method is able to generate relevant outputs in accordance with current scientific knowledge in domains like protein sequence/proteome analysis.

Predicting optimal lengths of random knots

In a thermally fluctuating long linear polymeric chain in a solution, the ends, from time to time, approach each other. At such an instance, the chain can be regarded as closed and thus will form a knot or rather a virtual knot. Several earlier studies of random knotting demonstrated that simpler knots show a higher occurrence for shorter random walks than do more complex knots. However, up to now there have been no rules that could be used to predict the optimal length of a random walk, i.e. the length for which a given knot reaches its highest occurrence. Using numerical simulations, we show here that a power law accurately describes the relation between the optimal lengths of random walks leading to the formation of different knots and the previously characterized lengths of ideal knots of a corresponding type.

A System for Models of First Order Theories

If you want to know whether a property is true or not in a specific algebraic structure,you need to test that property on the given structure. This can be done by hand, which can be cumbersome and erroneous. In addition, the time consumed in testing depends on the size of the structure where the property is applied. We present an implementation of a system for finding counterexamples and testing properties of models of first-order theories. This system is supposed to provide a convenient and paperless environment for researchers and students investigating or studying such models and algebraic structures in particular. To implement a first-order theory in the system, a suitable first-order language.( and some axioms are required. The components of a language are given by a collection of variables, a set of predicate symbols, and a set of operation symbols. Variables and operation symbols are used to build terms. Terms, predicate symbols, and the usual logical connectives are used to build formulas. A first-order theory now consists of a language together with a set of closed formulas, i.e. formulas without free occurrences of variables. The set of formulas is also called the axioms of the theory. The system uses several different formats to allow the user to specify languages, to define axioms and theories and to create models. Besides the obvious operations and tests on these structures, we have introduced the notion of a functor between classes of models in order to generate more co~plex models from given ones automatically. As an example, we will use the system to create several lattices structures starting from a model of the theory of pre-orders.

Propriétés géométriques des surfaces associées aux solutions des modèles sigma grassmanniens en deux dimensions

Dans cette thèse, nous analysons les propriétés géométriques des surfaces obtenues des solutions classiques des modèles sigma bosoniques et supersymétriques en deux dimensions ayant pour espace cible des variétés grassmanniennes G(m,n). Plus particulièrement, nous considérons la métrique, les formes fondamentales et la courbure gaussienne induites par ces surfaces naturellement plongées dans l'algèbre de Lie su(n). Le premier chapitre présente des outils préliminaires pour comprendre les éléments des chapitres suivants. Nous y présentons les théories de jauge non-abéliennes et les modèles sigma grassmanniens bosoniques ainsi que supersymétriques. Nous nous intéressons aussi à la construction de surfaces dans l'algèbre de Lie su(n) à partir des solutions des modèles sigma bosoniques. Les trois prochains chapitres, formant cette thèse, présentent les contraintes devant être imposées sur les solutions de ces modèles afin d'obtenir des surfaces à courbure gaussienne constante. Ces contraintes permettent d'obtenir une classification des solutions en fonction des valeurs possibles de la courbure. Les chapitres 2 et 3 de cette thèse présentent une analyse de ces surfaces et de leurs solutions classiques pour les modèles sigma grassmanniens bosoniques. Le quatrième consiste en une analyse analogue pour une extension supersymétrique N=2 des modèles sigma bosoniques G(1,n)=CP^(n-1) incluant quelques résultats sur les modèles grassmanniens. Dans le deuxième chapitre, nous étudions les propriétés géométriques des surfaces associées aux solutions holomorphes des modèles sigma grassmanniens bosoniques. Nous donnons une classification complète de ces solutions à courbure gaussienne constante pour les modèles G(2,n) pour n=3,4,5. De plus, nous établissons deux conjectures sur les valeurs constantes possibles de la courbure gaussienne pour G(m,n). Nous donnons aussi des éléments de preuve de ces conjectures en nous appuyant sur les immersions et les coordonnées de Plücker ainsi que la séquence de Veronese. Ces résultats sont publiés dans la revue Journal of Geometry and Physics. Le troisième chapitre présente une analyse des surfaces à courbure gaussienne constante associées aux solutions non-holomorphes des modèles sigma grassmanniens bosoniques. Ce travail généralise les résultats du premier article et donne un algorithme systématique pour l'obtention de telles surfaces issues des solutions connues des modèles. Ces résultats sont publiés dans la revue Journal of Geometry and Physics. Dans le dernier chapitre, nous considérons une extension supersymétrique N=2 du modèle sigma bosonique ayant pour espace cible G(1,n)=CP^(n-1). Ce chapitre décrit la géométrie des surfaces obtenues des solutions du modèle et démontre, dans le cas holomorphe, qu'elles ont une courbure gaussienne constante si et seulement si la solution holomorphe consiste en une généralisation de la séquence de Veronese. De plus, en utilisant une version invariante de jauge du modèle en termes de projecteurs orthogonaux, nous obtenons des solutions non-holomorphes et étudions la géométrie des surfaces associées à ces nouvelles solutions. Ces résultats sont soumis dans la revue Communications in Mathematical Physics.

Coefficients de Clebsch-Gordan de la super-algèbre osp(1|2)

Les fonctions génératrices des coefficients de Clebsch Gordan pour la superalgèbre de Lie osp(1|2) sont dérivées en utilisant deux approches. Une première approche généralise une méthode proposée par Granovskii et Zhedanov pour l'appliquer dans le cas de osp(1|2), une algèbre dont le coproduit est torsadé. Une seconde approche repose sur la réalisation de osp(1|2) en tant qu'algèbre dynamique d'un oscillateur parabosonique et utilise une équivalence dans cette réalisation entre le changements de coordonnées polaires à cartésiennes et le problème de Clebsch-Gordan. Un chapitre moins formel précède ces dérivations et présente comment le problème de Clebsch-Gordan s'interprète en tant que réalisation d'une algèbre de fusion. La notion abstraite de fusion est introduite, soulignant son importance en physique, pour en venir au cas particulier du problème de Clebsch-Gordan. Un survol du cas de l'algèbre osp(1|2) et de ses utilisations en physique mathématique conclut ce chapitre.

Perspex machine IX: transreal analysis

We introduce transreal analysis as a generalisation of real analysis. We find that the generalisation of the real exponential and logarithmic functions is well defined for all transreal numbers. Hence, we derive well defined values of all transreal powers of all non-negative transreal numbers. In particular, we find a well defined value for zero to the power of zero. We also note that the computation of products via the transreal logarithm is identical to the transreal product, as expected. We then generalise all of the common, real, trigonometric functions to transreal functions and show that transreal (sin x)/x is well defined everywhere. This raises the possibility that transreal analysis is total, in other words, that every function and every limit is everywhere well defined. If so, transreal analysis should be an adequate mathematical basis for analysing the perspex machine - a theoretical, super-Turing machine that operates on a total geometry. We go on to dispel all of the standard counter "proofs" that purport to show that division by zero is impossible. This is done simply by carrying the proof through in transreal arithmetic or transreal analysis. We find that either the supposed counter proof has no content or else that it supports the contention that division by zero is possible. The supposed counter proofs rely on extending the standard systems in arbitrary and inconsistent ways and then showing, tautologously, that the chosen extensions are not consistent. This shows only that the chosen extensions are inconsistent and does not bear on the question of whether division by zero is logically possible. By contrast, transreal arithmetic is total and consistent so it defeats any possible "straw man" argument. Finally, we show how to arrange that a function has finite or else unmeasurable (nullity) values, but no infinite values. This arithmetical arrangement might prove useful in mathematical physics because it outlaws naked singularities in all equations.