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.

Synthetic studies towards the phloroglucin natural product hyperforin: construction of the fully prenylated bicyclic core

An approach towards the highly functionalized bicyclo[3.3.1]nonan-9-one core of the complex PPAP-based natural product hyperforin, with the full complement of prenyl substituents in required stereo-disposition, is delineated.

CFD Analysis of conjugate natural convection in a vertical annulus

Conjugate natural convection in a vertical annulus with a centrally located vertical heat generating rod is studied numerically. The governing equations are discretized on a staggered mesh and are solved using a pressure-correction algorithm. A parametric study is performed by varying the Grashof number, aspect ratio, and the solid-to-fluid thermal conductivity ratio over wide ranges with the Prandtl number fixed at 0.7. Results are presented for the variation of several quantities of interest such as the local Nusselt numbers on the inner and outer boundaries, the axial variation of the centerline and interface temperatures, maximum solid, average solid and average interface temperature variations with Grashof number, and the average Nusselt number variation for the inner and outer boundaries with Grashof number. The average Nusselt number from the conjugate analysis is found to be between the Nusselt numbers of the isothermal and the isoflux cases. The average Nusselt numbers on the inner and outer boundaries show an increasing trend with the Grashof number. Correlations are presented for the Nusselt number and the dimensionless temperatures of interest in terms of the parameters of the problem.

Phenotypic variation in natural populations of kikuyu in Australia

The quality of tropical grasses is a major limitation to animal production in tropical and subtropical areas. This is mainly associated with the lower digestibility because C4 grasses have higher fibre levels. Any improvement in quality would require a reduction in the lignin and an increase in the digestion of the neutral detergent fibre content of these plants (Clark and Wilson 1993). Kikuyu (Pennisetum clandestinum) is an important grass for the dairy and beef industries of the subtropics of Australia, South Africa and New Zealand (Mears 1970). Increased digestibility could substantially improve animal production in these industries. These experiments investigated the variation in agronomic and quality of natural populations selected from diverse regions within Australia. Runners of 14 kikuyu selections were collected by project staff or local agronomists from areas considered to have grown kikuyu for over 30 years while Whittet and Noonan were established by seed. Entries were established as single spaced plants on a 1.5 m grid in a randomised block with 3 replicates and evaluated under irrigation at Mutdapilly (brown podsol) and Wollongbar (red ferrosol). Foliage height, forage production and runner yield were assessed along with crude protein (CP), in vitro dry matter digestibility (IVDMD), metabolisable energy (ME), acid detergent fibre (ADF) and neutral detergent fibre (NDF) content of the leaf in autumn, winter and spring.

Carrot as a natural host of Watermelon mosaic virus

Carrot was confirmed as a new natural and experimental host of Watermelon mosaic virus by serology, host reactions and sequence comparisons of the coat protein.

Can exploring natural recovery from substance misuse in psychosis assist with treatment? A review of current research

Substance misuse in people with psychosis presents significant problems, but trials of treatments to address it show little sustained advantage over control conditions. An examination of mechanisms underpinning unassisted improvements may assist in the refinement of co-morbidity treatments. This study reviewed existing research on natural recovery from substance misuse in people with psychosis. To address this issue, a systematic search identified only 7 articles that fulfilled the criteria. Their results suggest that people with psychosis report similar reasons to change as do non-psychotic groups, although they did not clarify whether the relative frequencies or priority orders were the same. Differences involved issues relating to the disorder and the functional problems faced by this group: receipt of treatment for mental health difficulties, worsening of mental health difficulties, and homelessness. The current research on reasons for change in people with psychosis is sparse and has significant limitations, and as yet it offers little inspiration for new treatments. A more fertile source may prove to be a detailed investigation of successful substance control strategies that are used in self-management by this group.

Datorstödda studier i hälso- och socialvård : MuPSiNet-projektet

The aim of the study was to explore why the MuPSiNet project - a computer and network supported learning environment for the field of health care and social work - did not develop as expected. To grasp the problem some hypotheses were formulated. The hypotheses regarded the teachers' skills in and attitudes towards computing and their attitudes towards constructivist study methods. An online survey containing 48 items was performed. The survey targeted all the teachers within the field of health care and social work in the country, and it produced 461 responses that were analysed against the hypotheses. The reliability of the variables was tested using the Cronbach alpha coefficient and t-tests. Poor basic computing skills among the teachers combined with a vulnerable technical solution, and inadequate project management combined with lack of administrative models for transforming economic resources into manpower were the factors that turned out to play a decisive role in the project. Other important findings were that the teachers had rather poor skills and knowledge in computing, computer safety and computer supported instruction, and that these skills were significantly poorer among female teachers who were in majority in the sample. The fraction of teachers who were familiar with software for electronic patient records (EPR) was low. The attitudes towards constructivist teaching methods were positive, and further education seemed to utterly increase the teachers' readiness to use alternative teaching methods. The most important conclusions were the following: In order to integrate EPR software as a natural tool in teaching planning and documenting health care, it is crucial that the teachers have sufficient basic skills in computing and that more teachers have personal experience of using EPR software. In order for computer supported teaching to become accepted it is necessary to arrange with extensive further education for the teachers presently working, and for that further education to succeed it should be backed up locally among other things by sufficient support in matters concerning computer supported teaching. The attitudes towards computing showed significant gender differences. Based on the findings it is suggested that basic skills in computing should also include an awareness of data safety in relation to work in different kinds of computer networks, and that projects of this kind should be built up around a proper project organisation with sufficient resources. Suggestions concerning curricular development and further education are also presented. Conclusions concerning the research method were that reminders have a better effect, and that respondents tend to answer open-ended questions more verbosely in electronically distributed online surveys compared to traditional surveys. A method of utilising randomized passwords to guarantee respondent anonymity while maintaining sample control is presented. Keywords: computer-assisted learning, computer-assisted instruction, health care, social work, vocational education, computerized patient record, online survey

Integrating and evaluating neural word embeddings in information retrieval

Recent advances in neural language models have contributed new methods for learning distributed vector representations of words (also called word embeddings). Two such methods are the continuous bag-of-words model and the skipgram model. These methods have been shown to produce embeddings that capture higher order relationships between words that are highly effective in natural language processing tasks involving the use of word similarity and word analogy. Despite these promising results, there has been little analysis of the use of these word embeddings for retrieval. Motivated by these observations, in this paper, we set out to determine how these word embeddings can be used within a retrieval model and what the benefit might be. To this aim, we use neural word embeddings within the well known translation language model for information retrieval. This language model captures implicit semantic relations between the words in queries and those in relevant documents, thus producing more accurate estimations of document relevance. The word embeddings used to estimate neural language models produce translations that differ from previous translation language model approaches; differences that deliver improvements in retrieval effectiveness. The models are robust to choices made in building word embeddings and, even more so, our results show that embeddings do not even need to be produced from the same corpus being used for retrieval.

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.

Applying pure mathematics: mathematics in the natural sciences

The book of nature is written in the language of mathematics. This quotation, attributed to Galileo, seemed to hold to an unreasonable1 extent in the era of quantum mechanics.

Classical Biological Control for the Protection of Natural Ecosystems.

Of the 70 cases of classical biological control for the protection of nature found in our review, there were fewer projects against insect targets (21) than against invasive plants (49), in part, because many insect biological control projects were carried out against agricultural pests, while nearly all projects against plants targeted invasive plants in natural ecosystems. Of 21 insect projects, 81% (17) provided benefits to protection of biodiversity, while 48% (10) protected products harvested from natural systems, and 5% (1) preserved ecosystem services, with many projects contributing to more than one goal. In contrast, of the 49 projects against invasive plants, 98% (48) provided benefits to protection of biodiversity, while 47% (23) protected products, and 25% (12) preserved ecosystem services, again with many projects contributing to several goals. We classified projects into complete control (pest generally no longer important), partial control (control in some areas but not others), and "in progress," for projects in development for which outcomes do not yet exist. For insects, of the 21 projects discussed, 59% (13) achieved complete control of the target pest, 18% (4) provided partial control, and 41% (9) are still in progress. By comparison, of the 49 invasive plant projects considered, 27% (13) achieved complete control, while 33% (16) provided partial control, and 47% (24) are still in progress. For both categories of pests, some projects' success ratings were scored twice when results varied by region. We found approximately twice as many projects directed against invasive plants than insects and that protection of biodiversity was the most frequent benefit of both insect and plant projects. Ecosystem service protection was provided in the fewest cases by either insect or plant biological control agents, but was more likely to be provided by projects directed against invasive plants, likely because of the strong effects plants exert on landscapes. Rates of complete success appeared to be higher for insect than plant targets (59% vs 27%), perhaps because most often herbivores gradually weaken, rather than outright kill, their hosts, which is not the case for natural enemies directed against pest insects. For both insect and plant biological control, nearly half of all projects reviewed were listed as currently in progress, suggesting that the use of biological control for the protection of wildlands is currently very active.

Geographic and Phenotypic Variation in Heartwood and Essential-Oil Characters in Natural Populations of Santalum austrocaledonicum in Vanuatu.

Phenotypic variation in heartwood and essential-oil characters of Santalum austrocaledonicum was assessed across eleven populations on seven islands of Vanuatu Trees differed significantly in their percentage heartwood cross-sectional area and this varied independently of stem diameter The concentrations of the four major essential-oil constituents (alpha-santalol, beta-santalol. (Z)-beta-curcumen-12-ol, and cis-nuciferol) of alcohol-extracted heartwood exhibited at least tenfold and continuous tree-to-tree variation Commercially important components alpha- and beta-santalol found in individual trees ranged from 0 8-47% and 0-24 1%, respectively, across all populations, and significant (P < 0 05) differences for each were found between Individual populations. The Erromango population was unique in that the mean concentrations of its monocyclic ((Z)-beta-curcumen-12-ol and cis-nuciferol) sesquiterpenes exceeded those of Its bi- and tricyclic (alpha- and beta-santalol) sesquiterpenes Heartwood colour varied between trees and spanned 65 colour categories, but no identifiable relationships were found between heartwood colour and alpha- and beta-santalol, although a weak relationship was evident between colour saturation and total oil concentration These results indicate that the heartwood colour is not a reliable predictive trait for oil quality The results of this study highlight the knowledge gaps in fundamental understanding of heartwood biology in Santalum genus The intraspecific variation in heartwood cross-sectional area. oil concentration. and oil quality traits is of considerable importance to the domestication of sandalwood and present opportunities for the development of highly superior S austrocaledonicum cultivars that conform to the industry's International Standards used for S album.

Equilibrium studies of ammonium exchange with Australian natural zeolites

This paper is concerned with the study of the equilibrium exchange of ammonium ions with two natural zeolite samples sourced in Australia from Castle Mountain Zeolites and Zeolite Australia. A range of sorption models including Langmuir Vageler, Competitive Langmuir, Freundlich, Temkin, Dubinin Astakhov and Brouers–Sotolongo were applied in order to gain an insight as to the exchange process. In contrast to most previous studies, non-linear regression was used in all instances to determine the best fit of the experimental data. Castle Mountain natural zeolite was found to exhibit higher ammonium capacity than Zeolite Australia material when in the freshly received state, and this behavior was related to the greater amount of sodium ions present relative to calcium ions on the zeolite exchange sites. The zeolite capacity for ammonium ions was also found to be dependent on the solution normality, with 35–60% increase inuptake noted when increasing the ammonium concentration from 250 to 1000 mg/L. The optimal fit ofthe equilibrium data was achieved by the Freundlich expression as confirmed by use of Akaikes Information Criteria. It was emphasized that the bottle-point method chosen influenced the isotherm profile in several ways, and could lead to misleading interpretation of experiments, especially if the constant zeolite mass approach was followed. Pre-treatment of natural zeolite with acid and subsequently sodium hydroxide promoted the uptake of ammonium species by at least 90%. This paper highlighted the factors which should be taken into account when investigating ammonium ion exchange with natural zeolites.

Axial heat conduction effects in natural convection along a vertical cylinder

MANY TRANSPORprTo cesses occur in nature and in industrial applications in which the transfer of heat is governed by the process of natural convection. Natural convection arises in fluids when the temperature changes cause density variations leading to buoyancy forces. An excellent review of natural convection flows has been given by Ede [I]. Recently, Minkowycz and Sparrow [2, 31, Cebeci [4], and Aziz and Na [S] have studied the steady, laminar, incompressible, natural convection flow over a vertical cylinder using a local nonsimilarity method, a finite-difference scheme, and an improved perturbation method, respectively. However, they did not take into account the effect ofaxial heat conduction for small Prandtl number. It is known that the axial heat conductioneffect becomesimportant for low-Prandtl-number fluids such as a liquid metal.