Soundness of workflow nets: classification, decidability, and analysis

Workflow nets, a particular class of Petri nets, have become one of the standard ways to model and analyze workflows. Typically, they are used as an abstraction of the workflow that is used to check the so-called soundness property. This property guarantees the absence of livelocks, deadlocks, and other anomalies that can be detected without domain knowledge. Several authors have proposed alternative notions of soundness and have suggested to use more expressive languages, e.g., models with cancellations or priorities. This paper provides an overview of the different notions of soundness and investigates these in the presence of different extensions of workflow nets.We will show that the eight soundness notions described in the literature are decidable for workflow nets. However, most extensions will make all of these notions undecidable. These new results show the theoretical limits of workflow verification. Moreover, we discuss some of the analysis approaches described in the literature.

Cryptanalysis of the convex hull click human identification protocol

Recently, a convex hull-based human identification protocol was proposed by Sobrado and Birget, whose steps can be performed by humans without additional aid. The main part of the protocol involves the user mentally forming a convex hull of secret icons in a set of graphical icons and then clicking randomly within this convex hull. While some rudimentary security issues of this protocol have been discussed, a comprehensive security analysis has been lacking. In this paper, we analyze the security of this convex hull-based protocol. In particular, we show two probabilistic attacks that reveal the user’s secret after the observation of only a handful of authentication sessions. These attacks can be efficiently implemented as their time and space complexities are considerably less than brute force attack. We show that while the first attack can be mitigated through appropriately chosen values of system parameters, the second attack succeeds with a non-negligible probability even with large system parameter values that cross the threshold of usability.

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.

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.

Memory disorders in acute encephalitis : A neuropsychological study

Acute encephalitis is an inflammation of the brain, mostly caused by viral infection. A variety of cognitive symptoms may persist after the acute stage, and neuropsychological assessment is crucial in evaluation of the outcome. The most commonly reported sequelae are memory deficits. The main aims of this study were to investigate the types of memory impairment in various encephalitides, the frequency of global amnesia following encephalitis, and the changes in the deficits during follow-up. Between 1 January 1985 and 31 December 1994, 77 adult patients under the age of 75 with acute encephalitis but without alcohol abuse, or coexisting or previous neurological diseases were consecutively referred for neuropsychological examination at the Department of Neurology, Helsinki University Central Hospital. The aetiology was established in 44/77 (57%) patients; 17 had Herpes simplex virus encephalitis (HSVE). Transient amnesia (TENA) at the acute stage of the disease was found in 70% of patients. Furthermore, similarly to brain trauma, TENA was found to indicate cognitive outcome. The frequency of persisting global amnesia syndrome with both anterograde and retrograde amnesia in all encephalitic patients was 6%. One patient had isolated retrograde amnesia, which is very rare. In HSVE the frequency of global amnesia was 12.5%, which is lower than expected. As a group, HSVE patients were not found to have a homogeneous pattern of amnesia, instead subgroups among all encephalitic patients were observed: some patients had impaired semantic memory, some had difficulty predominantly with executive functions and some suffered from an increased forgetting rate. Herpes zoster encephalitis was found to result in mild memory impairment only, and the qualitative features indicated a subcortical dysfunction. On the whole, the cognitive deficits were predominantly found to diminish during follow-up. Progressive deterioration was often associated with intractable epilepsy. The frequency of dementia was 12.5%. In conclusion, the neuropsychological outcome, especially in HSVE, was more favourable than has previously been reported, possibly due to early acyclovir medication. Memory disorders after encephalitis should not be considered uniform, and the need for neuropsychological rehabilitation should be considered case-by-case

First report of Phoma multirostrata in Australia

Dark grey leaf lesions were observed on coriander (Coriandrum sativum) commercially grown at Wanneroo, Western Australia during November 2013. A species of Phoma was consistently isolated from leaf lesions. The pathogen was identified as Phoma multirostrata using morphological characteristics, DNA sequencing comparisons and pathogenicity testing. This is the first report of Phoma multirostrata causing leaf spot on coriander in Australia.

A common epitope of beta-lactoglobulin and serum retinol-binding proteins: Elucidation of its core sequence using synthetic peptides

One of the monoclonal antibodies raised against bovine beta-lactoglobulin reacted with human serum retinol binding protein. The finding that this monoclonal antibody also reacted with the serum retinol binding proteins isolated from other animals, suggested that this epitopic conformation is conserved among these proteins. Using ELISA and various synthetic peptides of defined sequence, we show in this paper that the epitope defined by this monoclonal antibody comprises of the highly conserved core sequence of DTDY present in beta-lactoglobulin and retinol binding proteins.

Carbohydrate binding specificity of the basic lectin from winged bean (Psophocarpus tetragonolobus)

The carbohydrate binding specificity of the basic lectin from winged bean (Psophocarpus tetragonolobus) was investigated by quantitative precipitin analysis using blood group A, B, H, Le and I substances and by precipitation inhibition with various mono- and oligosaccharides. The lectin precipitated best with A1 substances and moderately with B and A2 substances, but not with H or Le substances. Inhibition assays of lectin-blood group A1 precipitation demonstration that A substance-derived oligosaccharides having the common structure: d-Ga1NAcα(1 → 3)d-Gal-(β1 → Image ) to a d-Glc, were the best inhibitors and about 8 and 4 times more active than d-Ga1NAc and d-Ga1NAcα(1 → 3)d-Ga1, respectively. A difucosyl A-specific oligosaccharide (A-penta), a monofucosyl (A-tetra) and a non-fucosyl containing (A5 II) oligosaccharide, d-Ga1NAcα(1 → 3)d-Ga1β(1 → 3)d-G1cNAc, had almost the same reactivity, suggesting that the fucose linked to the sub-terminal d-Ga1 or to the third sugar, d-GlcNAc, from the non-reducing end made no contribution to the carbohydrate binding. Although a terminal non-reducing d-Ga1NAc or d-Ga1 residue was indispensible for binding, the lectin bound not only to these terminal non-reducing galactopyranosyl residues, but also showed increased binding to oligosaccharides in which it was bonded to a sub-terminal d-Ga1 joined to a d-GlcNAc residue, as in blood group A or B substances. This defines the site, thus far, as complementary to a disaccharide plus the β linkage to the third sugar (d-Glc or d-GlcNAc) from the non-reducing end. The role of the β(1 → 3) or β(1 → 4) linkage of the sub-terminal non-reducing d-Gal to the d-GlcNAc requires further study.

Acoustic emission technique for leak detection in an end shield of a pressurised heavy water reactor

This paper discusses a successful application of the Acoustic Emission Technique (AET) for the detection and location of leak paths present on an inaccessible side of an end shield of a Pressurised Heavy Water Reactor (PHWR). The methodology was based on the fact that air- and water-leak AE signals have different characteristic features. Baseline data was generated from a sound end shield of a PHWR for characterising the background noise. A mock-up end shield system with saw-cut leak paths was used to verify the validity of the methodology. It was found that air-leak signals under pressurisation (as low as 3 psi) could be detected by frequency domain analysis. Signals due to air leaks from various locations of defective end shield were acquired and analysed. It was possible to detect and locate leak paths. The presence of detected leak paths was further confirmed by an alternative test.

The determinants of sexually transmitted infections among reproductive age women in St. Petersburg, Estonia and Finland

OBJECTIVES: Sexually transmitted infections' (STIs) rate vary in St. Petersburg, Estonia and Finland; the aim was to compare the determinants of self-reported sexually transmitted infections in these areas. METHODS: Data from four population-based questionnaire surveys were used (Finland in 1992 and 1999; St. Petersburg in 2003; Estonia in 2004). With the exception of the 1992 Finnish survey (interview) all were postal surveys, with 1,070 respondents in Finland (78 and 52% response rates), 1,147 (68%) in St. Petersburg, and 5,190 (54%) in Estonia. RESULTS: Risky sexual behaviours were equally common in the three areas and the determinants were the same. Women with an STIs history more often had had their first sexual intercourse when aged under 18, had not used condom during first intercourse, had a high number of lifetime or previous year sexual partners. However, marital status and education were not similar determinants. Cohabiting and well-educated women in Finland were more likely to have STIs while in other areas the associations found were not statistically significant. CONCLUSIONS: Risky behaviour predicts STIs, but does not explain the varying rates of STIs between areas.

A monoclonal antibody recognizing the C-terminal region of chicken egg white riboflavin carrier protein terminates early pregnancy in mice

In order to identify the functionally relevant epitopes on chicken riboflavin carrier protein, we have raised monoclonal antibodies to the vitamin carrier. One of these, 6B2C12, was found to interact specifically with a synthetic oligopeptide corresponding to the C-terminal 17 amino acid residues of the chicken egg white riboflavin carrier protein, which is missing in part in the egg yolk riboflavin carrier protein. This epitope is conserved through evolution in mammals including humans. Administration of the ascites fluid of 6B2C12 to pregnant mice intraperitoneally, resulted in the termination of pregnancy indicating that this epitope is involved in or closely associated with the transplacental transport of the vitamin from the maternal circulation to the growing fetus.