Automata-Based Analysis of Stage Suspended Boom Systems

A stage suspended boom system is an automatic steeve system orchestrated by the PLC (programmable logic controller). Security and fault-recovering are two important properties. In this paper, we analyze and verify the boom system formally. We adopt the hybrid automaton to model the boom system. The forward reachability is used to verify the properties with the reachable states. We also present a case study to illustrate the feasibility of the proposed verification

Intelligent Modeling and Verification (Editorial)

published_or_final_versio

Intelligent Modeling and Verification

System modeling tends to have many complex features, and uncertainties often lead to numerous complications and influence many important aspects related to its applications. Intelligent modeling merges mathematical and computer based approaches, and it utilizes pioneering new scientific methods and cutting-edge technologies

The geomorphology of coarse clastic surfaces in arid environments

This study explores the linkages between slope form and slope process in arid environments. In doing so, questions of the development of slopes in arid environments are examined. The age of many arid environment surfaces, combined with the sporadic nature of formative events, means that long-term surface and slope development remains an elusive question in geomorphology. Deserts have inspired many of the most enduring theories of landscape evolution and continue to provide a test-bed for new and emerging ideas in geomorphology. The clast-mantled surface of the northeast Jordan Badia presents an ideal opportunity to study the links between surface character and slope processes in arid environments. The northeast Badia also provides an opportunity to explore theories of slope development and the behaviour of earth surface systems. The nature of the clast covered ground surface has been assessed using a new digital aerial photography and image analysis technique. A field study of surface processes has been used to explore links between surface form and slope process. Additionally, a computer based simulation of long-term modification of the spatial distribution of surface clast has been undertaken. Given the subtle variation in earth surface form between disparate locations, a new semi-quantitative method of locating sample sites has been developed. The characterization of surface form has identified statistically significant relationships between ground surface character and two-dimensional slope form. Systematic variations in ground surface configuration, both within and between basalt flows, are found to be indicative of the action of slope processes. The first study of ground surface hydrology in the north eastern Badia has been undertaken. The results from a series of rain-storm simulation experiments show subtle but significant links between the action of surface processes and variations in ground surface form. The controls on surface process are diverse and vary in significance with position in the landscape. A combination of ground surface characterization and process studies has identified several interesting geomorphological phenomena The surfaces exhibit systematic variations in structure and organization. Homeostatic links between form and process are clearly apparent, which suggests that surface form influences and is influenced by process action via a process of positive feedbacks. Given the sporadic and infrequent recurrence of formative events in arid environments, a modelling approach has been developed to understand the long-term, spatial dynamics of the ground surface. The model has been used to simulate structure in the surface clast arrangement and the sensitivity of surface organization to physically constrained variations in model parameters. The model also allows the surfaces to be considered as self-organizing earth surface systems. The model results provide new insights into the process-form linkages in operation on clast-mantled arid surfaces. The model results provide new ways of examining and understanding the dynamics of clast mantled arid surfaces and have implications for the application of self-organization in geomorphology

Aerospace Medicine and Biology: A continuing bibliography with indexes, supplement 136, January 1975

This special bibliography lists 238 reports, articles, and other documents introduced into the NASA scientific and technical information system in December 1974

Para-images: Cultural ideas and technical apparatuses beyond the pictorial surfaces

Our world is hinged on images. The mass obsession with selfies and spectacles, the surveillance technology and Deepfake videos enabled by computer vision, the Event Horizon Telescope that produced the first image of a black hole, the simulations which climate change research relies on. Reality is being ever more entangled with image, yet images are increasingly detached from the physical world and escape human comprehension. It is obvious that the traditional understanding of images as a representation of the world, while valid, will no longer suffice to account for the intertwined relationship images has with our world. Contemplating the ever-complex relationship between images and reality, the thesis proposes a new approach to understanding images in contemporary visual culture: para-images. The thesis employs Vilém Flusser’s notion of counter vision to examine cultural ideas and technical apparatuses operating beyond the pictorial surfaces of seven images of water splashes. In the process, the thesis identifies agential realism and twenty-first-century media as two useful frameworks in formulating the triangular relationship among humans, images and the world. Attempting to answer the question ‘What is left of an image if the pictorial surface is scratched away?’, the thesis uncovers the often neglected ideological and technical infrastructures that make images possible in the first place. Situating images and machines at the same level of humans as entities with their own agencies, the image theory this thesis establishes concerns the entanglement of humans, machines, apparatuses, images and the world. In short, an image is the world, the world is an image

Bodies and labour: industrialisation, dance and performance

This thesis was submitted for the degree of Master of Philosophy and was awarded by Brunel UniversityThis thesis presents an interdisciplinary analysis of ideas regarding the introduction of technologies in the field of dance and performance since the industrial era. The first two chapters analyse different historical periods, thus creating a parallel between the establishment of work-science, and emerging methods and styles within performing arts that utilise technology as a core element for its creation. The historical examination of the field of work-science studies allows the sketching of a variety of relationships between labour and technical developments, focusing especially on the systematisation of productive processes, the integration of new technical developments and the measurements of body’s rhythms and capacities. Therefore, rather than presenting a full historical study of industrialisation and technological performance, this research proposes a segmented analysis of two different periods: firstly, a parallel between Taylorism and Electric Dance since the late nineteenth century; and secondly, some relevant notions of Fordism, Mass Ornament and film studies from the 1920s. In the last part of this thesis, I present some general ideas on post-Fordism and digital performance that will serve as a base for future research development. This investigation is rooted in the field of performing arts, introducing ideas and concepts from labour studies and generating a critical approach to the integration of technologies within performing arts and its aesthetical, methodological and creative outcomes. The research encompasses a wide range of perspectives, from early photographic experiments, film studies, entertainment culture, video games, and digital technologies, formulating a general approach to technological transformations since the late nineteenth century. The key question throughout this research is precisely a double-sided adaptation between movement style and technical development: a process of intermedial configurations based on technological progress, analysed from a labour-science perspective, and then applied to performance art and entertainment culture