On the expressiveness of second-order spider diagrams

Existing diagrammatic notations based on Euler diagrams are mostly limited in expressiveness to monadic first-order logic with an order predicate. The most expressive monadic diagrammatic notation is known as spider diagrams of order. A primary contribution of this paper is to develop and formalise a second-order diagrammatic logic, called second-order spider diagrams, extending spider diagrams of order. A motivation for this lies in the limited expressiveness of first-order logics. They are incapable of defining a variety of common properties, like ‘is even’, which are second-order definable. We show that second-order spider diagrams are at least as expressive as monadic second-order logic. This result is proved by giving a method for constructing a second-order spider diagram for any regular expression. Since monadic second-order logic sentences and regular expressions are equivalent in expressive power, this shows second-order spider diagrams can express any sentence of monadic second-order logic.     

The effect of sorption on the migration of Be from a high energy accelerator constructed on a chalk site

The radioactive nuclides produced in rock surrounding a high energy accelerator installation may migrate from the accelerator environs if subjected to the hydraulic gradients of ground water. Under such conditions it might be possible for neighbouring ground water systems to become contaminated by long-lived radionuclides. This study concerns itself with the influence of chemical sorption in rock surfaces and its influence in minimizing leach rates. A specific study of the migration of ⁷Be, an important radionuclide produced in accelerator shields, through ground predominantly composed of chalk is reported. Sorption is shown to play a dominant role in minimizing leach rates.     

Zarathustra and beyond: exploring culture and values online

Illusions of control and fantasies of power are important themes in human history and culture. The first objective of this paper is to explore Zarathustran fantasies in the information society, and our dreams of God-like control and mastery over ourselves and the Universe. This paper does not try to be faithful to Nietzschean philosophical concepts of Zarathustra, but instead explore cultural themes, which can be related to a mythology of God-like control and omniscient perception. It draws together strands from science fiction, anthropology, philosophy, technology development, systems engineering, socio-technical systems, finance and e-business to set out how we have fallen for the technocultural illusions we have created. The paper then shifts gear, and in an attempt to address these technocultural problems, identifies an intellectual trajectory centred on an anthropological perspective. Using examples from e-business and Schwartz’s universal model of human values, applied into a technocultural context, the paper shows how it is possible to create meaningful systems of organisation that utilise advanced technologies to help provide a deeply value-laden cultural system. Our world is changing fundamentally and dramatically, and we desperately need new approaches to help us understand these transitions. The paper’s primary contribution is to critique both human-centred thinking, and mechanistic, Taylorist views of organisation and technology. It stimulates debate concerning the relationship between technology and culture as it is worked out in the information society. Shifting the perspective from humans as social, functioning creatures, this paper offers a new human-centred approach based upon humans as cultural, valuing beings.     

Geometrical analysis of woven fabric microstructure based on micron-resolution computed tomography data

The global mechanical properties of textiles such as elasticity and strength, as well as transport properties such as permeability depend strongly on the microstructure of the textile. Textiles are heterogeneous structures with highly anisotropic material properties, including local fiber orientation and local fiber volume fraction. In this paper, an algorithm is presented to generate a virtual 3D–model of a woven fabric architecture with information about the local fiber orientation and the local fiber volume fraction. The geometric data of the woven fabric impregnated with resin was obtained by micron-resolution computed tomography (μCT). The volumetric μCT-scan was discretized into cells and the microstructure of each cell was analyzed and homogenized. Furthermore, the discretized data was used to calculate the local permeability tensors of each cell. An example application of the analyzed data is the simulation of the resin flow through a woven fabric based on the determined local permeability tensors and on Darcy’s law. The presented algorithm is an automated and robust method of going from μCT-scans to structural or flow models.     

The Sharpness of Photographic Materials

The sharpness of a film must be estimated for the particular conditions of use: the limiting performance for either high or low contrast objects at high magnifications may be described satisfactorily by the resolution figues; the sharpness of larger images may be expressed conveniently in terms of the image width just showing some loss of density, but because local developer exhaustion effects occur almost universally, it is necessary to use a form of test chart similar to the type of image to be photographed.     

The 40th Physical Society Exhibition

Resolving power, line profile, edge profile and spatial frequency response have been determined for a 10\” F/4-5 photographic objective. The results for a series of positions on axis are presented and discussed.     

Introduction to Probability Theory and Statistical Inference

A statistical test for equality of the logarithmic means of two lognormal life distributions is presented for the situation where the information on the first distribution is obtained from a regression analysis of accelerated life test data obtained at various temperatures and the information on the second distribution is the time to the first failure in a sample tested at a particular temperature.     

Impairment of Coronary Arteriolar Endothelium-Dependent Dilation after Multi-Walled Carbon Nanotube Inhalation: A Time-Course Study

Engineered nanomaterials have been developed for widespread applications due to many highly unique and desirable characteristics. The purpose of this study was to assess pulmonary inflammation and subepicardial arteriolar reactivity in response to multi-walled carbon nanotube (MWCNT) inhalation and evaluate the time course of vascular alterations. Rats were exposed to MWCNT aerosols producing pulmonary deposition. Pulmonary inflammation via bronchoalveolar lavage and MWCNT translocation from the lungs to systemic organs was evident 24 h post-inhalation. Coronary arterioles were evaluated 24–168 h post-exposure to determine microvascular response to changes in transmural pressure, endothelium-dependent and -independent reactivity. Myogenic responsiveness, vascular smooth muscle reactivity to nitric oxide, and α-adrenergic responses all remained intact. However, a severe impact on endothelium-dependent dilation was observed within 24 h after MWCNT inhalation, a condition which improved, but did not fully return to control after 168 h. In conclusion, results indicate that MWCNT inhalation not only leads to pulmonary inflammation and cytotoxicity at low lung burdens, but also a low level of particle translocation to systemic organs. MWCNT inhalation also leads to impairments of endothelium-dependent dilation in the coronary microcirculation within 24 h, a condition which does not fully dissipate within 168 h. The innovations within the field of nanotechnology, while exciting and novel, can only reach their full potential if toxicity is first properly assessed.