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.

Efficient computation of causal behavioural profiles using structural decomposition

Identification of behavioural contradictions is an important aspect of software engineering, in particular for checking the consistency between a business process model used as system specification and a corresponding workflow model used as implementation. In this paper, we propose causal behavioural profiles as the basis for a consistency notion, which capture essential behavioural information, such as order, exclusiveness, and causality between pairs of activities. Existing notions of behavioural equivalence, such as bisimulation and trace equivalence, might also be applied as consistency notions. Still, they are exponential in computation. Our novel concept of causal behavioural profiles provides a weaker behavioural consistency notion that can be computed efficiently 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.

The effect of electrode material on the electrochemical formation of porous copper surfaces using hydrogen bubble templating

The electrodeposition of copper onto copper, gold, palladium and glassy carbon (GC) electrodes via a hydrogen bubble templating method is reported. It is found that the composition of the underlying electrode material significantly influences the morphology of the copper electrodeposit. Highly ordered porous structures are achieved with Cu and Au electrodes, however on Pd this order is disrupted and a rough randomly oriented surface is formed whereas on GC a bubble templating effect is not observed. Chronopotentiograms recorded during the electrodeposition process allows bubble formation and detachment from the surface to be monitored where distinctly different potential versus time profiles are observed at the different electrodes. The porous Cu surfaces are characterised with scanning electron microscopy, X-ray diffraction and cyclic voltammetric measurements recorded under alkaline conditions. The latter demonstrates that there are active sites present on electrodeposited copper whose coverage and reactivity depend on the underlying electrode material. The most active Cu surface is achieved at a Pd substrate for both the hydrogen evolution reaction and the catalytic reduction of ferricyanide ions with thiosulphate ions. This demonstrates that the highly ordered porous structure on the micron scale which typifies the morphology that can be achieved with the hydrogen bubbling template method is not required in producing the most effective material.

Non-linear refined finite element elastic analysis of steel frames with generalized transverse member loads

In the finite element modelling of steel frames, external loads usually act along the members rather than at the nodes only. Conventionally, when a member is subjected to these transverse loads, they are converted to nodal forces which act at the ends of the elements into which the member is discretised by either lumping or consistent nodal load approaches. For a contemporary geometrically non-linear analysis in which the axial force in the member is large, accurate solutions are achieved by discretising the member into many elements, which can produce unfavourable consequences on the efficacy of the method for analysing large steel frames. Herein, a numerical technique to include the transverse loading in the non-linear stiffness formulation for a single element is proposed, and which is able to predict the structural responses of steel frames involving the effects of first-order member loads as well as the second-order coupling effect between the transverse load and the axial force in the member. This allows for a minimal discretisation of a frame for second-order analysis. For those conventional analyses which do include transverse member loading, prescribed stiffness matrices must be used for the plethora of specific loading patterns encountered. This paper shows, however, that the principle of superposition can be applied to the equilibrium condition, so that the form of the stiffness matrix remains unchanged with only the magnitude of the loading being needed to be changed in the stiffness formulation. This novelty allows for a very useful generalised stiffness formulation for a single higher-order element with arbitrary transverse loading patterns to be formulated. The results are verified using analytical stability function studies, as well as with numerical results reported by independent researchers on several simple structural frames.

A gene encoding a new cold-active lipase from an Antarctic isolate of Penicillium expansum

Cold-active lipases are of significant interest as biocatalysts in industrial processes. We have identified a lipase that displayed activity towards long carbon-chain-p-nitrophenyl substrates (C12–C18) at 25 °C from the culture supernatant of an Antarctic Penicillium expansum strain assigned P. expansum SM3. Zymography revealed a protein band of around 30 kDa with activity towards olive oil. DNA fragments of a lipase gene designated as lipPE were isolated from the genomic DNA of P. expansum SM3 by genomic walking PCR. Subsequently, the complete genomic lipPE gene was amplified using gene-specific primers designed from the 5′- and 3′-regions. Reverse transcription PCR was used to amplify the lipPE cDNA. The deduced amino acid sequence consisted of 285 residues that included a predicted signal peptide. Three peptides identified by LC/MS/MS analysis of the proteins in the culture supernatant of P. expansum were also present in the deduced amino acid sequence of the lipPE gene suggesting that this gene encoded the lipase identified by initial zymogram activity analysis. Full analysis of the nucleotide and the deduced amino acid sequences indicated that the lipPE gene encodes a novel P. expansum lipase. The lipPE gene was expressed in E. coli for further characterization of the enzyme with a view of assessing its suitability for industrial applications.

Enzyme activities and biotechnological applications of cold-active microfungi

Fungi are eukaryotic organisms and considered to be less adaptable to extreme environments when compared to bacteria. While there are no thermophilic microfungi in a strict sense, some fungi have adapted to life in the cold. Cold-active microfungi have been isolated from the Antarctic and their enzyme activities explored with a view to finding new candidates for industrial use. On another front, environmental pollution by petroleum products in the Antarctic has led to a search for, and the subsequent discovery of, fungal isolates capable of degrading hydrocarbons. The work has paved the way to developing a bioremedial approach to containing this type of contamination in cold climates. Here we discuss our efforts to map the capability of Antarctic microfungi to degrade oil and also introduce a novel cold-active fungal lipase enzyme.

The role of ethylene and cold temperature in the regulation of the apple POLYGALACTURONASE1 gene and fruit softening

Fruit softening in apple (Malus 3 domestica) is associated with an increase in the ripening hormone ethylene. Here, we show that in cv Royal Gala apples that have the ethylene biosynthetic gene ACC OXIDASE1 suppressed, a cold treatment preconditions the apples to soften independently of added ethylene. When a cold treatment is followed by an ethylene treatment, a more rapid softening occurs than in apples that have not had a cold treatment. Apple fruit softening has been associated with the increase in the expression of cell wall hydrolase genes. One such gene, POLYGALACTURONASE1 (PG1), increases in expression both with ethylene and following a cold treatment. Transcriptional regulation of PG1 through the ethylene pathway is likely to be through an ETHYLENE-INSENSITIVE3-like transcription factor, which increases in expression during apple fruit development and transactivates the PG1 promoter in transient assays in the presence of ethylene. A coldrelated gene that resembles a COLD BINDING FACTOR (CBF) class of gene also transactivates the PG1 promoter. The transactivation by the CBF-like gene is greatly enhanced by the addition of exogenous ethylene. These observations give a possible molecular mechanism for the coldand ethylene-regulated control of fruit softening and suggest that either these two pathways act independently and synergistically with each other or cold enhances the ethylene response such that background levels of ethylene in the ethylene-suppressed apples is sufficient to induce fruit softening in apples.

Effect of crack depth and specimen width on fracture toughness of a carbon steel in the ductile-brittle transition region

The effects of crack depth (a/W) and specimen width W on the fracture toughness and ductile±brittle transition have been investigated using three-point bend specimens. Finite element analysis is employed to obtain the stress-strain fields ahead of the crack tip. The results show that both normalized crack depth (a/W) and specimen width (W) affect the fracture toughness and ductile±brittle fracture transition. The measured crack tip opening displacement decreases and ductile±brittle transition occurs with increasing crack depth (a/W) from 0.1 to 0.2 and 0.3. At a fixed a/W (0.2 or 0.3), all specimens fail by cleavage prior to ductile tearing when specimen width W increases from 25 to 40 and 50 mm. The lower bound fracture toughness is not sensitive to crack depth and specimen width. Finite element analysis shows that the opening stress in the remaining ligament is elevated with increasing crack depth or specimen width due to the increase of in-plane constraint. The average local cleavage stress is dependent on both crack depth and specimen width but its lower bound value is not sensitive to constraint level. No fixed distance can be found from the cleavage initiation site to the crack tip and this distance increases gradually with decreasing inplane constraint.

Polysubstance use in cannabis users referred for treatment: drug use profiles, psychiatric comorbidity and cannabis-related beliefs

Background: Population-based surveys demonstrate cannabis users are more likely to use both illicit and licit substances, compared with non-cannabis users. Few studies have examined the substance use profiles of cannabis users referred for treatment. Co-existing mental health symptoms and underlying cannabis-related beliefs associated with these profiles remains unexplored. Methods: Comprehensive drug use and dependence severity (Severity of Dependence Scale-Cannabis) data were collected on a sample of 826 cannabis users referred for treatment. Patients completed the General Health Questionnaire, Cannabis Expectancy Questionnaire, Cannabis Refusal Self-Efficacy Questionnaire, and Positive Symptoms and Manic-Excitement subscales of the Brief Psychiatric Rating Scale. Latent class analysis was performed on last month use of drugs to identify patterns of multiple drug use. Mental health comorbidity and cannabis beliefs were examined by identified drug use pattern. Results: A three-class solution provided the best fit to the data: (1) cannabis and tobacco users (n = 176), (2) cannabis, tobacco, and alcohol users (n = 498), and (3) wide-ranging sub- stance users (n = 132). Wide-ranging substance users (3) reported higher levels of cannabis dependence severity, negative cannabis expectancies, lower opportunistic, and emotional relief self-efficacy, higher levels of depression and anxiety and higher manic-excitement and positive psychotic symptoms. Conclusion: In a sample of cannabis users referred for treatment, wide-ranging substance use was associated with elevated risk on measures of cannabis dependence, co-morbid psychopathology, and dysfunctional cannabis cognitions. These findings have implications for cognitive-behavioral assessment and treatment.

Effect of constraint on ductile crack growth and ductile-brittle fracture transition of a carbon steel

Ductile-brittle fracture transition was investigated using compact tension (CT) specimens from -70oC to 40oC for a carbon steel. Large deformation finite element analysis has been carried out to simulate the stable crack growth in the compact tension (CT, a/W=0.6), three point-point bend (SE(B), a/W=0.1) and centre-cracked tension (M(T), a/W=0.5) specimens. Experimental crack tip opening displacement (CTOD) resistance curve was employed as the crack growth criterion. Ductile tearing is sensitive to constraint and tearing modulus increases with reduced constraint level. The finite element analysis shows that path-dependence of J-integral occurs from the very beginning of crack growth and ductile crack growth elevates the opening stress on the remaining ligament. Cleavage may occur after some ductile crack growth due to the increase of opening stress. For both stationary and growing cracks, the magnitude of opening stress increases with increasing in-plane constraint. The ductile-brittle transition takes place when the opening stress ahead of the crack tip reaches the local cleavage stress as the in-plane constraint of the specimen increases.

Capacity of fatty acid profiles and substrate utilization patterns to describe differences in soil microbial communities associated with increased salinity or alkalinity at three locations in South Australia

Fatty acid methyl ester (FAME) profiles, together with Biolog substrate utilization patterns, were used in conjunction with measurements of other soil chemical and microbiological properties to describe differences in soil microbial communities induced by increased salinity and alkalinity in grass/legume pastures at three sites in SE South Australia. Total ester-linked FAMEs (EL-FAMEs) and phospholipid-linked FAMEs (PL-FAMEs), were also compared for their ability to detect differences between the soil microbial communities. The level of salinity and alkalinity in affected areas of the pastures showed seasonal variation, being greater in summer than in winter. At the time of sampling for the chemical and microbiological measurements (winter) only the affected soil at site 1 was significantly saline. The affected soils at all three sites had lower organic C and total N concentrations than the corresponding non-affected soils. At site 1 microbial biomass, CO 2-C respiration and the rate of cellulose decomposition was also lower in the affected soil compared to the non-affected soil. Biomarker fatty acids present in both the EL- and PL-FAME profiles indicated a lower ratio of fungal to bacterial fatty acids in the saline affected soil at site 1. Analysis of Biolog substrate utilization patterns indicated that the bacterial community in the affected soil at site 1 utilized fewer carbon substrates and had lower functional diversity than the corresponding community in the non-affected soil. In contrast, increased alkalinity, of major importance at sites 2 and 3, had no effect on microbial biomass, the rate of cellulose decomposition or functional diversity but was associated with significant differences in the relative amounts of several fatty acids in the PL-FAME profiles indicative of a shift towards a bacterial dominated community. Despite differences in the number and relative amounts of fatty acids detected, principal component analysis of the EL- and PL-FAME profiles were equally capable of separating the affected and non-affected soils at all three sites. Redundancy analysis of the FAME data showed that organic C, microbial biomass, electrical conductivity and bicarbonate-extractable P were significantly correlated with variation in the EL-FAME profiles, whereas pH, electrical conductivity, NH 4-N, CO 2-C respiration and the microbial quotient were significantly correlated with variation in the PL-FAME profiles. Redundancy analysis of the Biolog data indicated that cation exchange capacity and bicarbonate-extractable K were significantly correlated with the variation in Biolog substrate utilization patterns.

Silica nanoparticles treated by cold atmospheric-pressure plasmas improve the dielectric performance of organic–inorganic nanocomposites

We report on the application of cold atmospheric-pressure plasmas to modify silica nanoparticles to enhance their compatibility with polymer matrices. Thermally nonequilibrium atmospheric-pressure plasma is generated by a high-voltage radio frequency power source operated in the capacitively coupled mode with helium as the working gas. Compared to the pure polymer and the polymer nanocomposites with untreated SiO2, the plasma-treated SiO2–polymer nanocomposites show higher dielectric breakdown strength and extended endurance under a constant electrical stress. These improvements are attributed to the stronger interactions between the SiO2 nanoparticles and the surrounding polymer matrix after the plasma treatment. Our method is generic and can be used in the production of high-performance organic–inorganic functional nanocomposites.

Pulsed dc- and sine-wave-excited cold atmospheric plasma plumes: A comparative analysis

Cold atmospheric-pressure plasma plumes are generated in the ambient air by a single-electrode plasma jet device powered by pulsed dc and ac sine-wave excitation sources. Comprehensive comparisons of the plasma characteristics, including electrical properties, optical emission spectra, gas temperatures, plasma dynamics, and bacterial inactivation ability of the two plasmas are carried out. It is shown that the dc pulse excited plasma features a much larger discharge current and stronger optical emission than the sine-wave excited plasma. The gas temperature in the former discharge remains very close to the room temperature across the entire plume length; the sine-wave driven discharge also shows a uniform temperature profile, which is 20-30 degrees higher than the room temperature. The dc pulse excited plasma also shows a better performance in the inactivation of gram-positive staphylococcus aureus bacteria. These results suggest that the pulsed dc electric field is more effective for the generation of nonequilibrium atmospheric pressure plasma plumes for advanced plasma health care applications.

Fire resistance rating of light gauge steel frame walls exposed to realistic design fires : a review and development of time equivalent approach

This paper presents the details of research undertaken on the development of an energy based time equivalent approach for light gauge steel frame (LSF) walls. This research utilized an energy based time equivalent approach to obtain the fire resistance ratings (FRR) of LSF walls exposed to realistic design fires with respect to standard fire exposure [1]. It is based on the equal area concept of fire severity and relates to the amount of energy transferred to the member. The proposed method was used to predict the fire resistance of single and double plasterboard lined and externally insulated LSF walls. The predicted fire resistance ratings were compared with the results from finite element analyses and fire design rules for three different wall configurations. This paper presents the review of the available time equivalent approaches and the development of energy based time equivalent approach for the prediction of fire resistance ratings of LSF walls exposed to realistic design fires.

Parameters and equilibrium profiles for large-area surface-wave sustained plasmas

The equilibrium profiles of the plasma parameters of large-area if discharges in a finite-length metal-shielded dielectric cylinder are computed using a two-dimensional fluid code. The rf power is coupled to the plasma through edge-localized surface waves traveling in the azimuthal direction along the plasma edge. It is shown that self-consistent accounting for axial plasma diffusion and radial nonuniformity of the electron temperature can explain the frequently reported deviations of experimentally measured radial density profiles from that of the conventional linear diffusion models. The simulation results are in a good agreement with existing experimental data obtained from surface-wave sustained large-diameter plasmas. © 2002 The American Physical Society.