Encoding of parallel program schemata by vector addition systems

A new vector addition system is proposed which represents a possible encoding of a parallel schema. This vector addition system contains fewer vectors and vectors of smaller length than the vector addition systems presented in the literature.     

Study of model application for drying of pulp fruit in spouted bed with intermittent feeding and accumulation

In the present study, we applied and improved a model to describe the behavior of a spouted bed dryer with intermittent feeding for suspension drying, considering suspension accumulation inside the device. This model is important in macroscopic heat and mass balances, represented by a system of ordinary differential balances, implemented and resolved numerically using Fortran routines, in which the influence of process variables on drying dynamics were assessed. The results obtained in modeling and mathematical simulations were compared with experimental data, indicating that the model fits the process well, based on outlet air temperature and moisture.     

Discriminating native and plantation forests in a Landsat time-series for land use policy design

The Warren River Catchment of south-western Australia is an area of high biodiversity threatened by the loss of native vegetation and dryland salinity. Over the last 20 years, it has been the target of a series of policies that encourage conversion of agricultural land to plantation forest. Remote sensing has a key role in measuring trends in the area of plantation forest observed across the landscape and hence the effectiveness of policy initiatives. Despite its importance to land use policy, accurate data on historical land use and land cover (LULC) dynamics of two spectrally similar but ecologically distinct forest types – such as native forest and plantation forest – are not readily available for south-western Australia, largely due to prohibitive data delivery costs. However, we argue that regular low-cost monitoring of long-term change in the spatial distribution of plantation forest through remote sensing is a critical input into environmental policy for the catchment. To this end, a 35-year time-series of Landsat imagery was acquired, and three different classifiers were tested (Support Vector Machines – SVM; Random Forests – RF; and Classification and Regression Trees – CART) on spectral and textural indices applied to four spectral bands. The six major LULC classes considered were agriculture, water, native forest, sand dunes, plantation forest and harvested native forest. In classifying the imagery the SVM and RF outperformed the CART across all classes. However, the SVM classifier gave a slightly higher F-score for most individual classes than the RF. Eucalypt dominated plantation forest reaching full canopy cover was subject to the highest rates of misclassification inasmuch as it shares spectral properties with the Eucalypt dominant native forest. When applied to Landsat time-series imagery, SVM classifier combined with four bands held in common between the four Landsat sensors, and derived textures metrics are valuable in classifying plantation and native forest, particularly where these have a similar species composition. The differences in prediction accuracy when including additional Landsat bands were not statistically significant, as demonstrated by the McNemar test. Thus, we achieved a trade-off in reducing processing time without significantly impacting on classification accuracy (≥86%). The relatively high accuracy of the proposed method enables the effects of past policy initiatives to be observed, and hence the efficient design of environmental and conservation policy in the future.     

Imaging and elasticity measurements of the sarcolemma of fully differentiated skeletal muscle fibres

This study aimed to describe the three-dimensional structure and the elastic properties of the sarcolemma of adult, fully differentiated, skeletal muscle fibres combining Atomic Force Microscopy (AFM) and optical microscopy. Single fibres were enzymatically dissociated from Flexor Digitorum Brevis of adult mice and were maintained in culture up to 3 weeks. On the sixth day after dissociation, the upper surface of intact fibres, either alive in solution or fixed and kept in solution or fixed and exposed in air, was analysed with AFM. The most prominent features in AFM images were periodic transversal foldings with an interval that corresponded to the sarcomere length. More detailed analysis of the topography profile showed that the depth in the folding decreased with increasing sarcomere length and that the crests of the foldings corresponded to the Z-lines. Minor periodic structures could be detected in the valleys between the major foldings. AFM images also showed deep depressions on the sarcolemma likely corresponding to openings of T tubules and caveolae. Two-dimensional elasticity maps were obtained using AFM as an indenter and showed that the crests of the transversal foldings correspond to higher stiffness regions. This study provides the first complete three-dimensional topography and mechanical characterization of intact, living skeletal muscle fibres and might form the basis for further investigations aimed to compare healthy and dystrophic muscles.