Seeking Allies: Modelling How Listeners Choose Their Musical Friends

In this paper we describe in some detail a formal computer model of inferential discourse based on a belief system. The key issue is that a logical model in a computer, based on rational sets, can usefully model a human situation based on irrational sets. The background of this work is explained elsewhere, as is the issue of rational and irrational sets (Billinge and Addis, in: Magnani and Dossena (eds.), Computing, philosophy and cognition, 2004; Stepney et al., Journey: Non-classical philosophy—socially sensitive computing in journeys non-classical computation: A grand challenge for computing research, 2004). The model is based on the Belief System (Addis and Gooding, Proceedings of the AISB’99 Symposium on Scientific Creativity, 1999) and it provides a mechanism for choosing queries based on a range of belief. We explain how it provides a way to update the belief based on query results, thus modelling others’ experience by inference. We also demonstrate that for the same internal experience, different models can be built for different actors.

The Abductive Loop: Tracking Irrational Sets

We argue from the Church-Turing thesis (Kleene Mathematical logic. New York: Wiley 1967) that a program can be considered as equivalent to a formal language similar to predicate calculus where predicates can be taken as functions. We can relate such a calculus to Wittgenstein’s first major work, the Tractatus, and use the Tractatus and its theses as a model of the formal classical definition of a computer program. However, Wittgenstein found flaws in his initial great work and he explored these flaws in a new thesis described in his second great work; the Philosophical Investigations. The question we address is “can computer science make the same leap?” We are proposing, because of the flaws identified by Wittgenstein, that computers will never have the possibility of natural communication with people unless they become active participants of human society. The essential difference between formal models used in computing and human communication is that formal models are based upon rational sets whereas people are not so restricted. We introduce irrational sets as a concept that requires the use of an abductive inference system. However, formal models are still considered central to our means of using hypotheses through deduction to make predictions about the world. These formal models are required to continually be updated in response to peoples’ changes in their way of seeing the world. We propose that one mechanism used to keep track of these changes is the Peircian abductive loop.     

Pixel switching of epitaxial Pd/YHx/CaF2 switchable mirrors

Exposure of rare-earth films to hydrogen can induce a metal-insulator transition, accompanied by pronounced optical changes. This 'switchable mirror' effect has received considerable attention from theoretical, experimental and technological points of view. Most systems use polycrystalline films, but the synthesis of yttrium-based epitaxial switchable mirrors has also been reported. The latter form an extended self-organized ridge network during initial hydrogen loading, which results in the creation of micrometre-sized triangular domains. Here we observe homogeneous and essentially independent optical switching of individual domains in epitaxial switchable mirrors during hydrogen absorption. The optical switching is accompanied by topographical changes as the domains sequentially expand and contract; the ridges block lateral hydrogen diffusion and serve as a microscopic lubricant for the domain oscillations. We observe the correlated changes in topology and optical properties using in situ atomic force and optical microscopy. Single-domain phase switching is not observed in polycrystalline films, which are optically homogeneous. The ability to generate a tunable, dense pattern of switchable pixels is of technological relevance for solid-state displays based on switchable mirrors.     

大叶白麻叶化学成分的研究

从大叶白麻[poacynumhendersonii(Hookf)woodson]叶中分得2个木脂素类化舍物,经理化常数测定和光谱分析,分别鉴定为(-)-丁香脂素[(-)-Syringaresino1]和( )-松脂素-4-O-β-D-葡萄糖甙[( )-Pinoresionol-4-0-β-D-glucopyranoside].     

Ab initio determination of solid-state nanostructure

Advances in materials science and molecular biology followed rapidly from the ability to characterize atomic structure using single crystals. Structure determination is more difficult if single crystals are not available. Many complex inorganic materials that are of interest in nanotechnology have no periodic long-range order and so their structures cannot be solved using crystallographic methods. Here we demonstrate that ab initio structure solution of these nanostructured materials is feasible using diffraction data in combination with distance geometry methods. Precise, sub-?ngstr?m resolution distance data are experimentally available from the atomic pair distribution function (PDF). Current PDF analysis consists of structure refinement from reasonable initial structure guesses and it is not clear, a priori, that sufficient information exists in the PDF to obtain a unique structural solution. Here we present and validate two algorithms for structure reconstruction from precise unassigned interatomic distances for a range of clusters. We then apply the algorithms to find a unique, ab initio, structural solution for C60 from PDF data alone. This opens the door to sub-?ngstr?m resolution structure solution of nanomaterials, even when crystallographic methods fail.