A pseudo-marginal sequential Monte Carlo algorithm for random effects models in Bayesian sequential design

A computationally efficient sequential Monte Carlo algorithm is proposed for the sequential design of experiments for the collection of block data described by mixed effects models. The difficulty in applying a sequential Monte Carlo algorithm in such settings is the need to evaluate the observed data likelihood, which is typically intractable for all but linear Gaussian models. To overcome this difficulty, we propose to unbiasedly estimate the likelihood, and perform inference and make decisions based on an exact-approximate algorithm. Two estimates are proposed: using Quasi Monte Carlo methods and using the Laplace approximation with importance sampling. Both of these approaches can be computationally expensive, so we propose exploiting parallel computational architectures to ensure designs can be derived in a timely manner. We also extend our approach to allow for model uncertainty. This research is motivated by important pharmacological studies related to the treatment of critically ill patients.

Running shoes increase Achilles tendon load in walking : an acoustic propagation study

Background: Footwear remains a prime candidate for the prevention and rehabilitation of Achilles tendinopathy as it is thought to decrease tension in the tendon through elevation of the heel. However, evidence for this effect is equivocal. Purpose: This study used an acoustic transmission technique to investigate the effect of running shoes on Achilles tendon loading during barefoot and shod walking. Methods: Acoustic velocity was measured in the Achilles tendon of twelve recreationally–active males (age, 31±9 years; height, 1.78±0.06 m; weight, 81.0±16.9 kg) during barefoot and shod walking at matched self–selected speed (3.4±0.7 km/h). Standard running shoes incorporating a 10– mm heel offset were used. Vertical ground reaction force and spatiotemporal parameters were determined with an instrumented treadmill. Axial acoustic velocity in the Achilles tendon was measured using a custom built ultrasonic device. All data were acquired at a rate of 100 Hz during 10s of steady–state walking. Statistical comparisons between barefoot and shod conditions were made using paired t–tests and repeated measure ANOVAs. Results: Acoustic velocity in the Achilles tendon was highly reproducible and was typified by two maxima (P1, P2) and minima (M1, M2) during walking. Footwear resulted in a significant increase in step length, stance duration and peak vertical ground reaction force compared to barefoot walking. Peak acoustic velocity in the Achilles tendon (P1, P2) was significantly higher with running shoes. Conclusions: Peak acoustic velocity in the Achilles tendon was higher with footwear, suggesting that standard running shoes with a 10–mm heel offset increase tensile load in the Achilles tendon. Although further research is required, these findings question the therapeutic role of standard running shoes in Achilles tendinopathy.

A Memetic Algorithm for the location-based continuously operating reference stations placement problem in Network Real-Time Kinematic

Network Real-Time Kinematic (NRTK) is a technology that can provide centimeter-level accuracy positioning services in real time, and it is enabled by a network of Continuously Operating Reference Stations (CORS). The location-oriented CORS placement problem is an important problem in the design of a NRTK as it will directly affect not only the installation and operational cost of the NRTK, but also the quality of positioning services provided by the NRTK. This paper presents a Memetic Algorithm (MA) for the location-oriented CORS placement problem, which hybridizes the powerful explorative search capacity of a genetic algorithm and the efficient and effective exploitative search capacity of a local optimization. Experimental results have shown that the MA has better performance than existing approaches. In this paper we also conduct an empirical study about the scalability of the MA, effectiveness of the hybridization technique and selection of crossover operator in the MA.

Sustainable infrastructure projects in balancing urban–rural development: Towards the goal of efficiency and equity

In current practice, urban-rural development has been regarded as one of the key pillars in driving regenerative development that includes economic, social, and environmental balance. In association with rapid urbanization, an important contemporary issue in China is that its rural areas are increasingly lagging behind urban areas in their development and a coordinated provision of public facilities in rural areas is necessary to achieve a better balance. A model is therefore introduced for quantifying the effect of individual infrastructure projects on urban-rural balance (e-UR) by focusing on two attributes, namely, efficiency and equity. The model is demonstrated through a multi-criteria model, developed with data collected from infrastructure projects in Chongqing, with the criteria values for each project being scored by comparing data collected from the project involved with e-UR neutral “benchmark” values derived from a survey of experts in the field. The model helps evaluate the contribution of the projects to improving rural-urban balance and hence enable government decision-makers for the first time to prioritize future projects rigorously in terms of their likely contribution too.

Experimental study of load-bearing cold-formed steel walls exposed to realistic design fires

This paper presents the details of full scale fire tests of LSF wall panels conducted using realistic fire time-temperature curves. Tests included eight LSF wall specimens of various configurations exposed to both parametric design and natural fire curves. Details of the fire test set-up, test procedure and the results including the measured time-temperature and deformation curves of LSF wall panels are presented along with wall stud failure modes and times. This paper also compares the structural and thermal behavioural characteristics of LSF wall studs with those based on the standard time-temperature curve. Finally, the stud failure times and temperatures are summarized for both standard and realistic design fire curves. This study provides the necessary test data to validate the numerical models of LSF wall panels and to undertake a detailed study into the structural and thermal performance of LSF wall panels exposed to realistic design fire curves.

BOSTER : an efficient algorithm for mining frequent unordered induced subtrees

Extracting frequent subtrees from the tree structured data has important applications in Web mining. In this paper, we introduce a novel canonical form for rooted labelled unordered trees called the balanced-optimal-search canonical form (BOCF) that can handle the isomorphism problem efficiently. Using BOCF, we define a tree structure guided scheme based enumeration approach that systematically enumerates only the valid subtrees. Finally, we present the balanced optimal search tree miner (BOSTER) algorithm based on BOCF and the proposed enumeration approach, for finding frequent induced subtrees from a database of labelled rooted unordered trees. Experiments on the real datasets compare the efficiency of BOSTER over the two state-of-the-art algorithms for mining induced unordered subtrees, HybridTreeMiner and UNI3. The results are encouraging.

BEST : an efficient algorithm for mining frequent unordered embedded subtrees

This paper presents an algorithm for mining unordered embedded subtrees using the balanced-optimal-search canonical form (BOCF). A tree structure guided scheme based enumeration approach is defined using BOCF for systematically enumerating the valid subtrees only. Based on this canonical form and enumeration technique, the balanced optimal search embedded subtree mining algorithm (BEST) is introduced for mining embedded subtrees from a database of labelled rooted unordered trees. The extensive experiments on both synthetic and real datasets demonstrate the efficiency of BEST over the two state-of-the-art algorithms for mining embedded unordered subtrees, SLEUTH and U3.

Repeatability of static load bearing exercises during rehabilitation of individuals with transfemoral amputation fitted with osseointegrated implant

Bone-anchored prostheses, relying on implants to attach the prosthesis directly to the residual skeleton, are the ultimate resort for patients with transfemoral amputations (TFA) experiencing severe socket discomfort. The first patient receiving a bone-anchored prosthesis underwent the surgery in 1990 in the Sahlgrenska University Hospital (Sweden). To date, there are two commercially available implants: OPRA (Integrum, Sweden) and ILP (Orthodynamics, Germany). The key to success to this technique is a firm bone-implant bonding, depending on increasing mechanical stress applied daily during load bearing exercises (LBE). The loading data could be analysed through different biomechanical variables. The intra-tester reliability of these exercises will be presented here. Moreover the effect of increase of loading, axes of application of the load and body weight as well as the difference between force and moment variables will be discussed.

A model predictive approach for community battery energy storage system optimization

This paper presents an efficient algorithm for optimizing the operation of battery storage in a low voltage distribution network with a high penetration of PV generation. A predictive control solution is presented that uses wavelet neural networks to predict the load and PV generation at hourly intervals for twelve hours into the future. The load and generation forecast, and the previous twelve hours of load and generation history, is used to assemble load profile. A diurnal charging profile can be compactly represented by a vector of Fourier coefficients allowing a direct search optimization algorithm to be applied. The optimal profile is updated hourly allowing the state of charge profile to respond to changing forecasts in load.

Pollen image classification using the classifynder system: Algorithm comparison and a case study on New Zealand honey

We describe an investigation into how Massey University’s Pollen Classifynder can accelerate the understanding of pollen and its role in nature. The Classifynder is an imaging microscopy system that can locate, image and classify slide based pollen samples. Given the laboriousness of purely manual image acquisition and identification it is vital to exploit assistive technologies like the Classifynder to enable acquisition and analysis of pollen samples. It is also vital that we understand the strengths and limitations of automated systems so that they can be used (and improved) to compliment the strengths and weaknesses of human analysts to the greatest extent possible. This article reviews some of our experiences with the Classifynder system and our exploration of alternative classifier models to enhance both accuracy and interpretability. Our experiments in the pollen analysis problem domain have been based on samples from the Australian National University’s pollen reference collection (2,890 grains, 15 species) and images bundled with the Classifynder system (400 grains, 4 species). These samples have been represented using the Classifynder image feature set.We additionally work through a real world case study where we assess the ability of the system to determine the pollen make-up of samples of New Zealand honey. In addition to the Classifynder’s native neural network classifier, we have evaluated linear discriminant, support vector machine, decision tree and random forest classifiers on these data with encouraging results. Our hope is that our findings will help enhance the performance of future releases of the Classifynder and other systems for accelerating the acquisition and analysis of pollen samples.

Smart coordinated distribution system control to enable high level penetration of rooftop PVs

This thesis addresses voltage violation problem, the most critical issue associated with high level penetration of photovoltaic (PV) in electricity distribution network. A coordinated control algorithm using the reactive power from PV inverter and integrated battery energy storage has been developed and investigated in different network scenarios in the thesis. Probable variations associated with solar generation, end-user participation and network parameters are also considered. Furthermore, a unified data model and well-defined communication protocol to ensure the smooth coordination between all the components during the operation of the algorithm is described. Finally this thesis incorporated the uncertainties of solar generation using probabilistic load flow analysis.

A supervisory load-leveling approach to improve the voltage profile in distribution network

This paper suggests a supervisory control for storage units to provide load leveling in distribution networks. This approach coordinates storage units to charge during high generation and discharge during peak load times, while utilized to improve the network voltage profile indirectly. The aim of this control strategy is to establish power sharing on a pro rata basis for storage units. As a case study, a practical distribution network with 30 buses is simulated and the results are provided.

Wide area control of SVCs for first swing stabilisation and damping in longitudinal systems

A non-linear Kalman filter based control strategy for SVCs located in major load groups is presented. This focusses on the limitation and damping of inter-area modes. It does this through treating local modes as noise and uses a tunable nonlinear control algorithm to improve both first swing stability and system damping. Simulation on a four machine system shows that the Kalman filer can successfully lock on to a desired inter-area mode and obtain a 31% improvement in critical clearing time as well as improved damping.

A communication model and partitioning algorithm for streaming applications for an embedded MPSoC

Energy efficient embedded computing enables new application scenarios in mobile devices like software-defined radio and video processing. The hierarchical multiprocessor considered in this work may contain dozens or hundreds of resource efficient VLIW CPUs. Programming this number of CPU cores is a complex task requiring compiler support. The stream programming paradigm provides beneficial properties that help to support automatic partitioning. This work describes a compiler for streaming applications targeting the self-build hierarchical CoreVA-MPSoC multiprocessor platform. The compiler is supported by a programming model that is tailored to fit the streaming programming paradigm. We present a novel simulated-annealing (SA) based partitioning algorithm, called Smart SA. The overall speedup of Smart SA is 12.84 for an MPSoC with 16 CPU cores compared to a single CPU implementation. Comparison with a state of the art partitioning algorithm shows an average performance improvement of 34.07%.