Towards formal specification of a distributed computing system

Onboard spacecraft computing system is a case of a functionally distributed system that requires continuous interaction among the nodes to control the operations at different nodes. A simple and reliable protocol is desired for such an application. This paper discusses a formal approach to specify the computing system with respect to some important issues encountered in the design and development of a protocol for the onboard distributed system. The issues considered in this paper are concurrency, exclusiveness and sequencing relationships among the various processes at different nodes. A 6-tuple model is developed for the precise specification of the system. The model also enables us to check the consistency of specification and deadlock caused due to improper specification. An example is given to illustrate the use of the proposed methodology for a typical spacecraft configuration. Although the theory is motivated by a specific application the same may be applied to other distributed computing system such as those encountered in process control industries, power plant control and other similar environments.

Mobile assessment of on-road air pollution and its sources along the East-West Highway in Bhutan

Human exposures in transportation microenvironments are poorly represented by ambient stationary monitoring. A number of on-road studies using vehicle-based mobile monitoring have been conducted to address this. Most previous studies were conducted on urban roads in developed countries where the primary emission source was vehicles. Few studies have examined on-road pollution in developing countries in urban settings. Currently, no study has been conducted for roadways in rural environments where a substantial proportion of the population live. This study aimed to characterize on-road air quality on the East-West Highway (EWH) in Bhutan and identify its principal sources. We conducted six mobile measurements of PM10, particle number (PN) count and CO along the entire 570 km length of the EWH. We divided the EWH into five segments, R1-R5, taking the road length between two district towns as a single road segment. The pollutant concentrations varied widely along the different road segments, with the highest concentrations for R5 compared with other road segments (PM10 = 149 µg/m3, PN = 5.74 × 104 particles/cm-3, CO = 0.19 ppm), which is the final segment of the road to the capital. Apart from vehicle emissions, the dominant sources were road works, unpaved roads and roadside combustion activities. Overall, the highest contributions above the background levels were made by unpaved roads for PM10 (6 times background), and vehicle emissions for PN and CO (5 and 15 times background, respectively). Notwithstanding the differences in instrumentation used and particle size range measured, the current study showed lower PN concentrations compared with similar on-road studies. However, concentrations were still high enough that commuters, road maintenance workers and residents living along the EWH, were potentially exposed to elevated pollutant concentrations from combustion and non-combustion sources. Future studies should focus on assessing the dispersion patterns of roadway pollutants and defining the short- and long-term health impacts of exposure in Bhutan, as well as in other developing countries with similar characteristics.

Implementation of parallel tridiagonal solvers for a heterogeneous computing environment

Tridiagonal diagonally dominant linear systems arise in many scientific and engineering applications. The standard Thomas algorithm for solving such systems is inherently serial forming a bottleneck in computation. Algorithms such as cyclic reduction and SPIKE reduce a single large tridiagonal system into multiple small independent systems which can be solved in parallel. We have developed portable cyclic reduction and SPIKE algorithm OpenCL implementations with the intent to target a range of co-processors in a heterogeneous computing environment including Field Programmable Gate Arrays (FPGAs), Graphics Processing Units (GPUs) and other multi-core processors. In this paper, we evaluate these designs in the context of solver performance, resource efficiency and numerical accuracy.

From garamut to mobile phone: Communication change in rural Papua New Guinea

This article presents the attitudinal response of rural villagers in Papua New Guinea to mobile telephony, based on a threshold study made during the early stages of its adoption. The research indicates that the introduction of mobile telecommunications has generally been viewed positively, with mobile phones affording social interaction with loved ones. Nonetheless, negative concerns have been strongly felt, notably financial costs and anxiety about mobile phones aiding in the coordination of extramarital liaisons and criminal activities. The communities investigated previously had scant access to modern communication technologies, some still using traditional means such as wooden slit drums, known locally as garamuts. The expansion of mobile network coverage has introduced into communal village life the capability to communicate dyadically and privately at a distance. Investigation into the adoption of mobile phones thus promotes understanding about traditional means of communication and notions of public and private interactions.

Discovering urban citizenship in the surveillance society

Cities and urban spaces around the world are changing rapidly from their origins in the industrialising world to a post-industrial, hard wired landscape. A further embellishment is the advent of mobile media technologies supported by both existing and new communications and computing technology which claim to put the urban dweller at the heart of a new, informed and ‘liberated’ seat of participatory urban governance. This networked, sensor enabled society permits flows of information in a multitude of directions ostensibly empowering the citizenry through ‘smart’ installations such as ‘talking bus stops’ detailing services, delays, transport interconnections and even weather conditions along desired routes. However, while there is considerable potential for creative and transformative kinds of citizen participation, there is also the momentum for ‘function-creep’, whereby vast amounts of data are garnered in a broad application of urban surveillance. This kind of monitoring and capacity for surveillance connects with attempts by civic authorities to regulate, restrict, rebrand and reframe urban public spaces into governable and predictable arenas of consumption. This article considers questions around the possibilities for retaining and revitalising forms of urban citizenship, set in the context of Marshall’s original premise of civil, social and political citizenship(s) in the middle of the last century, following World War Two and the coming of the modern welfare state.

Methicillin Resistance In Staphylococci : Horizontal Transfer of Mobile Genetic Element (SCCmec) Between Staphylococcal Species

Regardless of the existence of antibiotics, infectious diseases are the leading causes of death in the world. Staphylococci cause many infections of varying severity, although they can also exist peacefully in many parts of the human body. Most often Staphylococcus aureus colonises the nose, and that colonisation is considered to be a risk factor for spread of this bacterium. S. aureus is considered to be the most important Staphylococcus species. It poses a challenge to the field of medicine, and one of the most problematic aspects is the drastic increase of the methicillin-resistant S. aureus (MRSA) strains in hospitals and community world-wide, including Finland. In addition, most of the clinical coagulase-negative staphylococcus (CNS) isolates express resistance to methicillin. Methicillin-resistance in S. aureus is caused by the mecA gene that encodes an extra penicillin-binding protein (PBP) 2a. The mecA gene is found in a mobile genomic island called staphylococcal chromosome cassette mec (SCCmec). The SCCmec consists of the mec gene and cassette chromosome recombinase (ccr)gene complexes. The areas of the SCCmec element outside the ccr and mec complex are known as the junkyard J regions. So far, eight types of SCCmec(SCCmec I- SCCmec VIII) and a number of variants have been described. The SCCmec island is an acquired element in S. aureus. Lately, it appears that CNS might be the storage place of the SCCmec that aid the S. aureus by providing it with the resistant elements. The SCCmec is known to exist only in the staphylococci. The aim of the present study was to investigate the horizontal transfer of SCCmec between the S. aureus and CNS. One specific aim was to study whether or not some methicillin-sensitive S. aureus (MSSA) strains are more inclined to receive the SCCmec than others. This was done by comparing the genetic background of clinical MSSA isolates in the health care facilities of the Helsinki and Uusimaa Hospital District in 2001 to the representatives of the epidemic MRSA (EMRSA) genotypes, which have been encountered in Finland during 1992-2004. Majority of the clinical MSSA strains were related to the EMRSA strains. This finding suggests that horizontal transfer of SCCmec from unknown donor(s) to several MSSA background genotypes has occurred in Finland. The molecular characteristics of representative clinical methicillin-resistant S. epidermidis (MRSE) isolates recovered in Finnish hospitals between 1990 and 1998 were also studied, examining their genetic relation to each other and to the internationally recognised MRSE clones as well, so as to ascertain the common traits between the SCCmec elements in MRSE and MRSA. The clinical MRSE strains were genetically related to each other; eleven PFGE types were associated with sequence type ST2 that has been identified world-wide. A single MRSE strain may possess two SCCmec types III and IV, which were recognised among the MRSA strains. Moreover, six months after the onset of an outbreak of MRSA possessing a SCCmec type V in a long-term care facility in Northern Finland (LTCF) in 2003, the SCCmec element of nasally carried methicillin-resistant staphylococci was studied. Among the residents of a LTCF, nasal carriage of MR-CNS was common with extreme diversity of SCCmec types. MRSE was the most prevalent CNS species. Horizontal transfer of SCCmec elements is speculated to be based on the sharing of SCCmec type V between MRSA and MRSE in the same person. Additionally, the SCCmec element of the clinical human S. sciuri isolates was studied. Some of the SCCmec regions were present in S. sciuri and the pls gene was common in it. This finding supports the hypothesis of genetic exchange happening between staphylococcal species. Evaluation of the epidemiology of methicillin-resistant staphylococcal colonisation is necessary in order to understand the apparent emergence of these strains and to develop appropriate control strategies. SCCmec typing is essential for understanding the emergence of MRSA strains from CNS, considering that the MR-CNS may represent the gene pool for the continuous creation of new SCCmec types from which MRSA might originate.

BSDD-2.0: Biomolecules Segment Display Device - An updated web accessible computing resource

The existing internet computing resource, Biomolecules Segment Display Device (BSDD), has been updated with several additional useful features. An advanced option is provided to superpose the structural motifs obtained from a search on the Protein Data Bank (PDB) in order to see if the three-dimensional structures adopted by identical or similar sequence motifs are the same. Furthermore, the options to display structural aspects like inter- and intra-molecular interactions, ion-pairs, disulphide bonds, etc. have been provided.The updated resource is interfaced with an up-to-date copy of the public domain PDB as well as 25 and 90% non-redundant protein structures. Further, users can upload the three-dimensional atomic coordinates (PDB format) from the client machine. A free molecular graphics program, JMol, is interfaced with it to display the three-dimensional structures.

Phased-Mission Analysis for Evaluating the Effectiveness of Aerospace Computing-Systems

Effectiveness evaluation of aerospace fault-tolerant computing systems used in a phased-mission environment is rather tricky and difficult because of the interaction of its several degraded performance levels with the multiple objectives of the mission and the use environment. Part I uses an approach based on multiobjective phased-mission analysis to evaluate the effectiveness of a distributed avionics architecture used in a transport aircraft. Part II views the computing system as a multistate s-coherent structure. Lower bounds on the probabilities of accomplishing various levels of performance are evaluated.

Social marketers playing to win? Experiential value creation in social marketing mobile games

The rapid change of technological trends in the marketplace has increased the difficulty for social marketers to reach consumers using traditional marketing channels (Della et al., 2008). Traditionally, social marketing interventions have typically used more conventional supporting products and services such as water counters for water conservation or condoms for sex safety. However, recently social marketers are witnessing the diminishing effectiveness of more traditional social products and services in encouraging the uptake and maintenance of behaviour. In light of the technological trends in the marketplace and diminishing effect of previous social products and services (Lefebvre, 2009), social marketers have been encouraged to look to alternate means of delivering valuable offerings...

Data distribution and task scheduling for distributed computing of all-to-all comparison problems

This research studied distributed computing of all-to-all comparison problems with big data sets. The thesis formalised the problem, and developed a high-performance and scalable computing framework with a programming model, data distribution strategies and task scheduling policies to solve the problem. The study considered storage usage, data locality and load balancing for performance improvement in solving the problem. The research outcomes can be applied in bioinformatics, biometrics and data mining and other domains in which all-to-all comparisons are a typical computing pattern.

Private mobile phones and public communication drums in rural Papua New Guinea

The voice of a traditional communication drum can be heard over great distances. Yet now in Papua New Guinea (PNG) it is hearing, by phone, the voice of a loved one who has moved far away from home for work, marriage or studies that brings the greatest delight. As recently as 2007, most areas of this Pacific island nation had no form of telephony available. Apart from radio, modern communication forms have been restricted predominantly to the urban areas where only a small percentage of the people reside. Landline telephones, television, Internet, facsimile machines and so on have never reached the majority of the inhabited areas...

XML Messaging for Mobile Devices

In recent years, XML has been widely adopted as a universal format for structured data. A variety of XML-based systems have emerged, most prominently SOAP for Web services, XMPP for instant messaging, and RSS and Atom for content syndication. This popularity is helped by the excellent support for XML processing in many programming languages and by the variety of XML-based technologies for more complex needs of applications. Concurrently with this rise of XML, there has also been a qualitative expansion of the Internet's scope. Namely, mobile devices are becoming capable enough to be full-fledged members of various distributed systems. Such devices are battery-powered, their network connections are based on wireless technologies, and their processing capabilities are typically much lower than those of stationary computers. This dissertation presents work performed to try to reconcile these two developments. XML as a highly redundant text-based format is not obviously suitable for mobile devices that need to avoid extraneous processing and communication. Furthermore, the protocols and systems commonly used in XML messaging are often designed for fixed networks and may make assumptions that do not hold in wireless environments. This work identifies four areas of improvement in XML messaging systems: the programming interfaces to the system itself and to XML processing, the serialization format used for the messages, and the protocol used to transmit the messages. We show a complete system that improves the overall performance of XML messaging through consideration of these areas. The work is centered on actually implementing the proposals in a form usable on real mobile devices. The experimentation is performed on actual devices and real networks using the messaging system implemented as a part of this work. The experimentation is extensive and, due to using several different devices, also provides a glimpse of what the performance of these systems may look like in the future.

Computing the Stochastic Complexity of Simple Probabilistic Graphical Models

Minimum Description Length (MDL) is an information-theoretic principle that can be used for model selection and other statistical inference tasks. There are various ways to use the principle in practice. One theoretically valid way is to use the normalized maximum likelihood (NML) criterion. Due to computational difficulties, this approach has not been used very often. This thesis presents efficient floating-point algorithms that make it possible to compute the NML for multinomial, Naive Bayes and Bayesian forest models. None of the presented algorithms rely on asymptotic analysis and with the first two model classes we also discuss how to compute exact rational number solutions.