Causal behavioural profiles : efficient computation, applications, and evaluation

Analysis of behavioural consistency is an important aspect of software engineering. In process and service management, consistency verification of behavioural models has manifold applications. For instance, a business process model used as system specification and a corresponding workflow model used as implementation have to be consistent. Another example would be the analysis to what degree a process log of executed business operations is consistent with the corresponding normative process model. Typically, existing notions of behaviour equivalence, such as bisimulation and trace equivalence, are applied as consistency notions. Still, these notions are exponential in computation and yield a Boolean result. In many cases, however, a quantification of behavioural deviation is needed along with concepts to isolate the source of deviation. In this article, we propose causal behavioural profiles as the basis for a consistency notion. These profiles capture essential behavioural information, such as order, exclusiveness, and causality between pairs of activities of a process model. Consistency based on these profiles is weaker than trace equivalence, but can be computed efficiently for a broad class of models. In this article, we introduce techniques for the computation of causal behavioural profiles using structural decomposition techniques for sound free-choice workflow systems if unstructured net fragments are acyclic or can be traced back to S- or T-nets. We also elaborate on the findings of applying our technique to three industry model collections.

Evaluation of a pilot-scale oil extraction from microalgae for biodiesel production

Biodiesel derived from microalgae is one of a suite of potential solutions to meet the increasing demand for a renewable, carbon-neutral energy source. However, there are numerous challenges that must be addressed before algae biodiesel can become commercially viable. These challenges include the economic feasibility of harvesting and dewatering the biomass and the extraction of lipids and their conversion into biodiesel. Therefore, it is essential to find a suitable extraction process given these processes presently contribute significantly to the total production costs which, at this stage, inhibit the ability of biodiesel to compete financially with petroleum diesel. This study focuses on pilot-scale (100 kg dried microalgae) solvent extraction of lipids from microalgae and subsequent transesterification to biodiesel. Three different solvents (hexane, isopropanol (IPA) and hexane + IPA (1:1)) were used with two different extraction methods (static and Soxhlet) at bench-scale to find the most suitable solvent extraction process for the pilot-scale. The Soxhlet method extracted only 4.2% more lipid compared to the static method. However, the fatty acid profiles of different extraction methods with different solvents are similar, suggesting that none of the solvents or extraction processes were biased for extraction of particular fatty acids. Considering the cost and availability of the solvents, hexane was chosen for pilot-scale extraction using static extraction. At pilot-scale the lipid yield was found to be 20.3% of total biomass which is 2.5% less than from bench scale. Extracted fatty acids were dominated by polyunsaturated fatty acids (PUFAs) (68.94±0.17%) including 47.7±0.43 and 17.86±0.42% being docosahexaenoic acid (DHA) (C22:6) and docosapentaenoic acid (DPA) (C22:5, ω-3), respectively. These high amounts of long chain poly unsaturated fatty acids are unique to some marine microalgae and protists and vary with environmental conditions, culture age and nutrient status, as well as with cultivation process. Calculated physical and chemical properties of density, viscosity of transesterified fatty acid methyl esters (FAMEs) were within the limits of the biodiesel standard specifications as per ASTM D6751-2012 and EN 14214. The calculated cetane number was, however, significantly lower (17.8~18.6) compared to ASTM D6751-2012 or EN 14214-specified minimal requirements. We conclude that the obtained microalgal biodiesel would likely only be suitable for blending with petroleum diesel to a maximum of 5 to 20%.

Evaluation of BMP-2 gene-activated muscle grafts for cranial defect repair

Large, osseous, segmental defects heal poorly. Muscle has a propensity to form bone when exposed to an osteogenic stimulus such as that provided by transfer and expression of cDNA encoding bone morphogenetic protein-2 (BMP-2). The present study evaluated the ability of genetically modified, autologous muscle to heal large cranial defects in rats. Autologous grafts (8 mm � 2 mm) were punched from the biceps femoris muscle and transduced intraoperatively with recombinant adenovirus vector containing human BMP-2 or green fluorescent protein cDNA. While the muscle biopsies were incubating with the vector, a central parietal 8 mm defect was surgically created in the calvarium of the same animal. The gene-activated muscle graft was then implanted into the cranial defect. After 8 weeks, crania were examined radiographically, histologically, and by micro-computed tomography and dual energy X-ray absorptiometry. Although none of the defects were completely healed in this time, muscle grafts expressing BMP-2 deposited more than twice as much new bone as controls. Histology confirmed the anatomical integrity of the newly formed bone, which was comparable in thickness and mineral density to the original cranial bone. This study confirms the in vivo osteogenic properties of genetically modified muscle and suggests novel strategies for healing bone. � 2011 Orthopaedic Research Society. Published by Wiley Periodicals, Inc. J Orthop Res 30:1095–1102, 2012

Ability of recombinant human bone morphogenetic protein 2 to enhance bone healing in the presence of tobramycin : evaluation in a rat segmental defect model

Objective To determine whether locally applied tobramycin influences the ability of recombinant human bone morphogenetic protein 2 (rhBMP-2) to heal a segmental defect in the rat femur. Methods The influence of tobramycin on the osteogenic differentiation of mesenchymal stem cells was first evaluated in vitro. For the subsequent, in vivo experiments, a 5-mm segmental defect was created in the right femur of each of 25 Sprague-Dawley rats and stabilized with an external fixator and four Kirschner wires. Rats were divided in four groups: empty control, tobramycin (11 mg)/absorbable collagen sponge, rhBMP-2 (11 μg)/absorbable collagen sponge, and rhBMP-2/absorbable collagen sponge with tobramycin. Bone healing was monitored by radiography at 3 and 8 weeks. Animals were euthanized at 8 weeks and the properties of the defect were compared with the intact contralateral femur. Bone formation in the defect region was assessed by dual-energy x-ray absorptiometry, microcomputed tomography, histology, and mechanical testing. Results Tobramycin exerted a dose-dependent inhibition of alkaline phosphatase induction and calcium deposition by mesenchymal stem cells cultured under osteogenic conditions. The inhibition was reversed in the presence of 500 ng/mL of rhBMP-2. Segmental defects in the rat femora failed to heal in the absence of rhBMP-2. Tobramycin exerted no inhibitory effects on the ability of rhBMP-2 to heal these defects and increased the bone area of the defects treated with rhBMP-2. Data obtained from all other parameters of healing, including dual-energy x-ray absorptiometry, microcomputed tomography, histology, and mechanical testing, were unaffected by tobramycin. Conclusions Although our in vitro results suggested that tobramycin inhibits the osteogenic differentiation of mesenchymal stem cells, this could be overcome by rhBMP-2. Tobramycin did not impair the ability of rhBMP-2 to heal critical-sized femoral defects in rats. Indeed, bone area was increased by nearly 20% in the rhBMP-2 group treated with tobramycin. This study shows that locally applied tobramycin can be used in conjunction with rhBMP-2 to enhance bone formation at fracture sites.

Evaluation of robust autonomy and implications on UAS certification and design

As the number of potential applications of Unmanned Aircraft Systems (UAS) grows in civilian operations and national security, National Airworthiness Authorities are under increasing pressure to provide a path for certification and allow UAS integration into the national airspace. The success of this integration depends on developments in improved UAS reliability and safety, regulations for certification, and technologies for operational performance and safety assessment. This paper focusses on the latter and describes the use of a framework for evaluating robust autonomy of UAS, namely, the autonomous system’s ability to either continue operation in the presence of faults or safely shut down. The paper draws parallels between the proposed evaluation framework and the evaluation of pilots during the licensing process. It also discusses how the data from the proposed evaluation can be uses as an aid for decision making in certification and UAS designs.

Proton-transfer and non-transfer compounds of the multi-purpose drug dapsone [4-(4-Aminophenylsulfonyl)aniline] with 3,5-dinitrosalicylic acid and 5-nitroisophthalic acid

The structures of the compounds from the reaction of the drug dapsone [4-(4-aminophenylsulfonyl)aniline] with 3,5-dinitrosalicylic acid, the salt hydrate [4-(4-aminohenylsulfonyl)anilinium 2-carboxy-4,6-dinitrophenolate monohydrate] (1) and the 1:1 adduct with 5-nitroisophthalic acid [4-(4-aminophenylsulfonyl)aniline 5-nitrobenzene-1,3-dicarboxylic acid] (2) have been determined. Crystals of 1 are triclinic, space group P-1, with unit cell dimensions a = 8.2043(3), b = 11.4000(6), c = 11.8261(6)Å, α = 110.891(5), β = 91.927(3), γ = 98.590(4)deg. and Z = 4. Compound 2 is orthorhombic, space group Pbcn, with unit cell dimensions a = 20.2662(6), b = 12.7161(4), c = 15.9423(5)Å and Z = 8. In 1, intermolecular analinium N-H…O and water O-H…O and O-H…N hydrogen-bonding interactions with sulfone, carboxyl, phenolate and nitro O-atom and aniline N-atom acceptors give a two-dimensional layered structure. With 2, the intermolecular interactions involve both aniline N-H…O and carboxylic acid O-H…O and O-H…N hydrogen bonds to sulfone, carboxyl, nitro and aniline acceptors, giving a three-dimensional network structure. In both structures π--π aromatic ring associations are present.

Synthesis of MgB2 at low temperature and autogenous pressure

High quality, micron-sized interpenetrating grains of MgB2 with high density are produced at low temperatures (~420oC < T < ~500oC) under autogenous pressure by pre-mixing Mg powder and NaBH4 and heating in an Inconel 601 alloy reactor for 5−15 hours. Optimum production of MgB2 with yields greater than 75% occurs for autogenous pressure in the range 1.0 MPa to 2.0 MPa with the reactor at ~500oC. Autogenous pressure is induced by the decomposition of NaBH4 in the presence of Mg and/or other Mg-based compounds. The morphology, transition temperature and magnetic properties of MgB2 are dependent on the heating regime. Significant improvement in physical properties accrues when the reactor temperature is held at 250oC for >20minutes prior to a hold at 500oC.

On evaluation of robust autonomy for uninhabited vehicles and systems

This paper discusses a method to quantify robust autonomy of Uninhabited Vehicles and Systems (UVS) in aerospace, marine, or land applications. Based on mission-vehicle specific performance criteria, we define an system utility function that can be evaluated using simulation scenarios for an envelope of environmental conditions. The results of these evaluations are used to compute a figure of merit or measure for operational efectiveness (MOE). The procedure is then augmented to consider faults and the performance of mechanisms to handle these faulty operational modes. This leads to a measure of robust autonomy (MRA). The objective of the proposed figures of merit is to assist in decision making about vehicle performance and reliability at both vehicle development stage (using simulation models) and at certification stage (using hardware-in-the-loop testing). Performance indices based on dynamic and geometric tasks associated with vehicle manoeuvring problems are proposed, and an example of a two- dimensional y scenario is provided to illustrate the use of the proposed figures of merit.

An outcome evaluation of the ‘Skipper’ designated driver program

The general aim of designated driver programs is to reduce the level of drink driving by encouraging potential drink drivers to travel with a driver who has abstained from (or at least limited) consuming alcohol. Designated driver programs appear to be quite widespread around the world, however a limited number have been subject to rigorous evaluation. This paper reports results from an outcome evaluation of a designated driver program called ‘Skipper’, which was trialled in a provincial city in Queensland, Australia. The outcome evaluation included surveys three weeks prior to (baseline), four months following (1st follow-up), and 16 months following (2nd follow-up) the commencement of the trial in both the ‘intervention area’ (baseline, n = 202; 1st follow-up, n = 211; 2nd follow-up, n = 200) and a ‘comparison area’(baseline, n = 203; 1st follow-up, n = 199; 2nd follow-up, n = 201); and a comparison of random breath testing and crash data before and after the trial. The survey results indicate that awareness of the program in the intervention area was quite high four months following its introduction and that this was maintained at 16 months. The results also suggest that the ‘Skipper’ program and the related publicity had positive impacts on behaviour with an increase in the proportion of people participating in designated driver as a passenger. It is less clear, however, whether the ‘Skipper’ program impacted on other behaviours of interest, such as drink driving or involvement in alcohol-related crashes. Suggestions for further research and program improvement are discussed as well as limitations of the research.

Skill development in first year law students : an evaluation of peer assisted learning across two law units

Universities no longer equip graduates solely with the content knowledge of their discipline, but also with prospective employment skills. Professions also seek graduates who can ‘collaborate, share skills and knowledge, and communicate their ideas effectively’ (Kruck and Reif, 2001, p 37). However, as admission to university does not always guarantee that one is well equipped for the task, first year students also need guidance in the development of academic skills. This session describes two models of peer assisted learning embedded within the Torts and Legal Foundations B units at the Faculty of Law, Queensland University of Technology, and how they are used to supplement student understanding of substantive law with the development of academic and work-related skills. Student perceptions of the programs developed are considered, together with the challenges faced. Session participants will be asked to contribute to a discussion of these challenges and to offer ideas on their redress.

Preparation and in vitro evaluation of a polymer based controlled release dry powder inhaler formulation for pulmonary delivery

This thesis described the synthesis of an L-leucine conjugate of the biodegradable polymer, chitosan and its potential application for the development of controlled release nanoparticulate dry powder inhaler (DPI) formulations. The study demonstrated that the physicochemical properties of conjugated chitosan nanoparticles had favourable effects on the dispersibility and controlled release profile of a model drug. The toxicity profile of the nanoparticulate formulation revealed promising outcome for its use in pulmonary delivery. The chitosan conjugate produced in this project would be useful for the application of polymer nanoparticulate systems for efficient lung delivery of drugs.

Promoting physical activity to older adults : a preliminary evaluation of three general practice-based strategies

The aim of this study was to explore the feasibility of an exercise scientist (ES) working in general practice to promote physical activity (PA) to 55 to 70 year old adults. Participants were randomised into one of three groups: either brief verbal and written advice from a general practitioner (GP) (G1, N=9); or individualised counselling and follow-up telephone calls from an ES, either with (G3, N=8) or without a pedometer (G2, N=11). PA levels were assessed at week 1, after the 12-wk intervention and again at 24 weeks. After the 12-wk intervention, the average increase in PA was 116 (SD=237) min/wk; N=28, p < 0.001. Although there were no statistically significant between-group differences, the average increases in PA among G2 and G3 participants were 195 (SD=207) and 138 (SD=315) min/wk respectively, compared with no change (0.36, SD=157) in G1. After 24 weeks, average PA levels remained 56 (SD=129) min/wk higher than in week 1. The small numbers of participants in this feasibility study limit the power to detect significant differences between groups, but it would appear that individualised counselling and follow-up contact from an ES, with or without a pedometer, can result in substantial changes in PA levels. A larger study is now planned to confirm these findings.

Transcript and metabolite profiling for the evaluation of tobacco tree and poplar as feedstock for the bio-based industry

The global demand for food, feed, energy and water poses extraordinary challenges for future generations. It is evident that robust platforms for the exploration of renewable resources are necessary to overcome these challenges. Within the multinational framework MultiBioPro we are developing biorefinery pipelines to maximize the use of plant biomass. More specifically, we use poplar and tobacco tree (Nicotiana glauca) as target crop species for improving saccharification, isoprenoid, long chain hydrocarbon contents, fiber quality, and suberin and lignin contents. The methods used to obtain these outputs include GC-MS, LC-MS and RNA sequencing platforms. The metabolite pipelines are well established tools to generate these types of data, but also have the limitations in that only well characterized metabolites can be used. The deep sequencing will allow us to include all transcripts present during the developmental stages of the tobacco tree leaf, but has to be mapped back to the sequence of Nicotiana tabacum. With these set-ups, we aim at a basic understanding for underlying processes and at establishing an industrial framework to exploit the outcomes. In a more long term perspective, we believe that data generated here will provide means for a sustainable biorefinery process using poplar and tobacco tree as raw material. To date the basal level of metabolites in the samples have been analyzed and the protocols utilized are provided in this article.

Calibration and evaluation of an objective measure of physical activity in pre-school children

Background The purposes of this study were 1) to establish accelerometer count cutoffs to categorize activity intensity of 3 to 5-y old-children and 2) to evaluate the accelerometer as a measure of children’s physical activity in preschool settings. Methods While wearing an ActiGraph accelerometer, 16 preschool children performed five, 3-min structured activities. Receiver Operating Characteristic (ROC) curve analyses identified count cutoffs for four physical activity intensities. In 9 preschools, 281 children wore an ActiGraph during observations performed by three trained observers (interobserver reli-ability = 0.91 to 0.98). Results Separate count cutoffs for 3, 4, and 5-y olds were established. Sensitivity and specificity for the count cutoffs ranged from 86.7% to 100.0% and 66.7% to 100.0%, respectively. ActiGraph counts/15 s were different among all activities (P < 0.05) except the two sitting activities. Correlations between observed and ActiGraph intensity categorizations at the preschools ranged from 0.46 to 0.70 (P < 0.001). Conclusions The ActiGraph count cutoffs established and validated in this study can be used to objectively categorize the time that preschool-age children spend in different physical activity intensity levels.

Implication of calcium hydroxide in the seawater neutralisation of bauxite refinery liquors

Tricalcium aluminate, hydrocalumite and residual lime have been identified as reversion contributing compounds after the seawater neutralisation of bauxite refinery residues. The formation of these compounds during the neutralisation process is dependent on the concentration of residual lime, pH and aluminate concentrations in the residue slurry. Therefore, the effect of calcium hydroxide (CaOH2) in bauxite refinery liquors was analysed and the degree of reversion monitored. This investigation found that the dissolution of tricalcium aluminate, hydrocalumite and CaOH2 caused reversion and continued to increase the pH of the neutralised residue until a state of equilibrium was reached at a solution pH of 10.5. The dissolution mechanism for each compound has been described and used to demonstrate the implications that this has on reversion in seawater neutralised Bayer liquor. This investigation describes the limiting factors for the dissolution and formation of these trigger compounds as well as confirming the formation of Bayer hydrotalcite (mixture of Mg6Al2(OH)16(CO32-,SO42-)•xH2O and Mg8Al2(OH)12(CO32-,SO42-)•xH2O) as the primary mechanism for reducing reversion during the neutralisation process. This knowledge then allowed for a simple but effective method (addition of magnesium chloride or increased seawater to Bayer liquor ratio) to be devised to reduce reversion occurring after the neutralisation of Bayer liquors. Both methods utilise the formation of Bayer hydrotalcite to permanently (stable in neutralised residue) remove hydroxyl (OH-) and aluminate (Al(OH)4-) ions from solution.