Reduction rules for reset/inhibitor nets

Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. These extensions can be used to model cancellation and blocking. A reset arc allows a transition to remove all tokens from a certain place when the transition fires. An inhibitor arc can stop a transition from being enabled if the place contains one or more tokens. While reset/inhibitor nets increase the expressive power of Petri nets, they also result in increased complexity of analysis techniques. One way of speeding up Petri net analysis is to apply reduction rules. Unfortunately, many of the rules defined for classical Petri nets do not hold in the presence of reset and/or inhibitor arcs. Moreover, new rules can be added. This is the first paper systematically presenting a comprehensive set of reduction rules for reset/inhibitor nets. These rules are liveness and boundedness preserving and are able to dramatically reduce models and their state spaces. It can be observed that most of the modeling languages used in practice have features related to cancellation and blocking. Therefore, this work is highly relevant for all kinds of application areas where analysis is currently intractable.

A Multifaceted Strategy for Implementation of the Ottawa Ankle Rules in Two Emergency Departments

Problem Despite widespread acceptance of the Ottawa ankle rules for assessment of acute ankle injuries, their application varies considerably. Design Before and after study. Background and setting Emergency departments of a tertiary teaching hospital and a community hospital in Australia. Key measures for improvement Documentation of the Ottawa ankle rules, proportion of patients referred for radiography, proportion of radiographs showing a fracture. Strategies for change Education, a problem specific radiography request form, reminders, audit and feedback, and using radiographers as “gatekeepers.” Effects of change Documentation of the Ottawa ankle rules improved from 57.5% to 94.7% at the tertiary hospital, and 51.6% to 80.8% at the community hospital (P<0.001 for both). The proportion of patients undergoing radiography fell from 95.8% to 87.2% at the tertiary hospital, and from 91.4% to 78.9% at the community hospital (P<0.001 for both). The proportion of radiographs showing a fracture increased from 20.4% to 27.1% at the tertiary hospital (P=0.069), and 15.2% to 27.2% (P=0.002) at the community hospital. The missed fracture rate increased from 0% to 2.9% at the tertiary hospital and from 0% to 1.6% at the community hospital compared with baseline (P=0.783 and P=0.747). Lessons learnt Assessment of case note documentation has limitations. Clinician groups seem to differ in their capacity and willingness to change their practice. A multifaceted change strategy including a problem specific radiography request form can improve the selection of patients for radiography.

Resource allocation and scheduling of multiple composite web services in cloud computing using cooperative coevolution genetic algorithm

In cloud computing, resource allocation and scheduling of multiple composite web services is an important and challenging problem. This is especially so in a hybrid cloud where there may be some low-cost resources available from private clouds and some high-cost resources from public clouds. Meeting this challenge involves two classical computational problems: one is assigning resources to each of the tasks in the composite web services; the other is scheduling the allocated resources when each resource may be used by multiple tasks at different points of time. In addition, Quality-of-Service (QoS) issues, such as execution time and running costs, must be considered in the resource allocation and scheduling problem. Here we present a Cooperative Coevolutionary Genetic Algorithm (CCGA) to solve the deadline-constrained resource allocation and scheduling problem for multiple composite web services. Experimental results show that our CCGA is both efficient and scalable.

Optimal allocation strategies for the dark pool problem

We study the problem of allocating stocks to dark pools. We propose and analyze an optimal approach for allocations, if continuous-valued allocations are allowed. We also propose a modification for the case when only integer-valued allocations are possible. We extend the previous work on this problem to adversarial scenarios, while also improving on their results in the iid setup. The resulting algorithms are efficient, and perform well in simulations under stochastic and adversarial inputs.

Optimal budget allocation in budget-based access control

In dynamic and uncertain environments, where the needs of security and information availability are difficult to balance, an access control approach based on a static policy will be suboptimal regardless of how comprehensive it is. Risk-based approaches to access control attempt to address this problem by allocating a limited budget to users, through which they pay for the exceptions deemed necessary. So far the primary focus has been on how to incorporate the notion of budget into access control rather than what or if there is an optimal amount of budget to allocate to users. In this paper we discuss the problems that arise from a sub-optimal allocation of budget and introduce a generalised characterisation of an optimal budget allocation function that maximises organisations expected benefit in the presence of self-interested employees and costly audit.

The rules of autogeddon : sex death and law in J G Ballard’s Crash

It was reported that the manuscript of Crash was returned to the publisher with a note reading ‘The author is beyond psychiatric help’. Ballard took the lay diagnosis as proof of complete artistic success. Crash conflates the Freudian tropes of libido and thanatos, overlaying these onto the twentieth century erotic icon, the car. Beyond mere incompetent adolescent copulatory fumblings in the back seat of the parental sedan or the clichéd phallic locomotor of the mid-life Ferrari, Ballard engages the full potentialities of the automobile as the locus and sine qua non of a perverse, though functional erotic. ‘Autoeroticism’ is transformed into automotive, traumatic or surgical paraphilia, driving Helmut Newton’s insipid photo-essays of BDSM and orthopædics into an entirely new dimension, dancing precisely where (but more crucially, because) the ‘body is bruised to pleasure soul’. The serendipity of quotidian accidental collisions is supplanted, in pursuit of the fetishised object, by contrived (though not simulated) recreations of iconographic celebrity deaths. Penetration remains as a guiding trope of sexuality, but it is confounded by a perversity of focus. Such an obsessive pursuit of this autoerotic-as-reality necessitates the rejection of the law of human sexual regulation, requiring the re-interpretation of what constitutes sex itself by looking beyond or through conventional sexuality into Ballard’s paraphiliac and nightmarish consensual Other. This Other allows for (if not demands) the tangled wreckage of a sportscar to function as a transformative sexual agent, creating, of woman, a being of ‘free and perverse sexuality, releasing within its dying chromium and leaking engine-parts, all the deviant possibilities of her sex’.

To have your caveat and claim it, too : steps to take to protect an interest in land or water allocation

Caveats as protection for unregistered interests - lapsing and non-lapsing caveats - caveator - use only in appropriate circumstances

Young, inexperienced and on the road: Do novice drivers comply with road rules?

Young novice drivers are at considerable risk of injury and fatality, particularly when they first drive independently. Graduated Driver Licensing (GDL) has been introduced in numerous jurisdictions to allow more driving experience in conditions of reduced risk and increasing driving privileges over a longer duration. Queensland, Australia, enhanced GDL July 2007. Learners must record 100 hours in a logbook (10 hours at night) over 1 year, no mobile handsfree/loudspeaker by driver or any passenger. Provisional 1 (P1) drivers must not carry 2 or more peer passengers 11pm - 5am, no mobile handsfree/loudspeaker by any passenger. Self-reported compliance with new GDL and general road rules has not been examined.

Optimal allocation of water in village irrigation systems of Sri Lanka

This PhD study examines whether water allocation becomes more productive when it is re-allocated from 'low' to 'high' efficient alternative uses in village irrigation systems (VISs) in Sri Lanka. Reservoir-based agriculture is a collective farming economic activity, which inter-sectoral allocation of water is assumed to be inefficient due to market imperfections and weak user rights. Furthermore, the available literature shows that a „head-tail syndrome. is the most common issue for intra-sectoral water management in „irrigation. agriculture. This research analyses the issue of water allocation by using primary data collected from two surveys of 460 rice farmers and 325 fish farming groups in two administrative districts in Sri Lanka. Technical efficiency estimates are undertaken for both rice farming and culture-based fisheries (CBF) production. The equi-marginal principle is applied for inter and intra-sectoral allocation of water. Welfare benefits of water re-allocation are measured through consumer surplus estimation. Based on these analyses, the overall findings of the thesis can be summarised as follows. The estimated mean technical efficiency (MTE) for rice farming is 73%. For CBF production, the estimated MTE is 33%. The technical efficiency distribution is skewed to the left for rice farming, while it skewed to the right for CBF production. The results show that technical efficiency of rice farming can be improved by formalising transferability of land ownership and, therefore, water user rights by enhancing the institutional capacity of Farmer Organisations (FOs). Other effective tools for improving technical efficiency of CBF production are strengthening group stability of CBF farmers, improving the accessibility of official consultation, and attracting independent investments. Inter-sectoral optimal allocation shows that the estimated inefficient volume of water in rice farming, which can be re-allocated for CBF production, is 32%. With the application of successive policy instruments (e.g., a community transferable quota system and promoting CBF activities), there is potential for a threefold increase in marginal value product (MVP) of total reservoir water in VISs. The existing intra-sectoral inefficient volume of water use in tail-end fields and head-end fields can potentially be removed by reducing water use by 10% and 23% respectively and re-allocating this to middle fields. This re-allocation may enable a twofold increase in MVP of water used in rice farming without reducing the existing rice output, but will require developing irrigation practices to facilitate this re-allocation. Finally, the total productivity of reservoir water can be increased by responsible village level institutions and primary level stakeholders (i.e., co-management) sharing responsibility of water management, while allowing market forces to guide the efficient re-allocation decisions. This PhD has demonstrated that instead of farmers allocating water between uses haphazardly, they can now base their decisions on efficient water use with a view to increasing water productivity. Such an approach, no doubt will enhance farmer incomes and community welfare.

Practice and procedure : an application under r367 of the Uniform Civil Procedure Rules may be of use in obtaining copies of otherwise unavailable documents held by government agencies.

In Bowenbrae Pty Ltd v Flying Fighters Maintenance and Restoration [2010] QDC 347 Reid DCJ made orders requiring the plaintiffs to make application under the Freedom of Information Act 1982 (Cth) (“the FOI Act”) for documents sought by the defendant.

New design rules for the shear strength of LiteSteel Beams

Abstract: The LiteSteel Beam (LSB) is a new cold-formed hollow flange channel section produced using dual electric resistance welding and automated continuous roll-forming technologies. The innovative LSB sections have many beneficial characteristics and are commonly used as flexural members in building construction. However, limited research has been undertaken on the shear behaviour of LSBs. Therefore a detailed investigation including both numerical and experimental studies was undertaken to investigate the shear behaviour of LSBs. Finite element models of LSBs in shear were developed to simulate the nonlinear ultimate strength behaviour of LSBs including their elastic buckling characteristics, and were validated by comparing their results with experimental test results. Validated finite element models were then used in a detailed parametric study into the shear behaviour of LSBs. The parametric study results showed that the current design rules in cold-formed steel structures design codes are very conservative for the shear design of LSBs. Significant improvements to web shear buckling occurred due to the presence of torsionally rigid rectangular hollow flanges while considerable post-buckling strength was also observed. This paper therefore proposes improved shear strength design rules for LSBs within the current cold-formed steel code guidelines. It presents the details of the parametric study and the new shear strength equations. The new equations were also developed based on the direct strength method. The proposed shear strength equations have the potential to be used with other conventional cold-formed steel sections such as lipped channel sections.

New design rules for the shear strength of LiteSteel Beams with web openings

Abstract: LiteSteel beam (LSB) is a new cold-formed steel hollow flange channel section produced using a patented manufacturing process involving simultaneous cold-forming and dual electric resistance welding. The LSBs are commonly used as floor joists and bearers with web openings in residential, industrial and commercial buildings. Their shear strengths are considerably reduced when web openings are included for the purpose of locating building services. However, no research has been undertaken on the shear behaviour and strength of LSBs with web openings. Therefore experimental and numerical studies were undertaken to investigate the shear behaviour and strength of LSBs with web openings. In this research, finite element models of LSBs with web openings in shear were developed to simulate the shear behaviour and strength of LSBs including their buckling characteristics. They were then validated by comparing their results with available experimental test results and used in a detailed parametric study. The results showed that the current design rules in cold-formed steel structures design codes are very conservative for the shear design of LSBs with web openings. Improved design equations have been proposed for the shear capacity of LSBs with web openings based on both experimental and parametric study results. An alternative shear design method based on an equivalent reduced web thickness was also proposed. It was found that the same shear strength design rules developed for LSBs without web openings can be used for LSBs with web openings provided the equivalent reduced web thickness equation developed in this paper is used. This is a significant advancement as it simplifies the shear design methods of LSBs with web openings considerably.

Young, inexperienced and on the road : do novice drivers comply with road rules?

The graduated driver licensing (GDL) program in Queensland, Australia, was considerably enhanced in July 2007. This paper explores the compliance of young Learner and Provisional (intermediate) drivers with current GDL requirements and general road rules. Unsupervised driving, Learner logbook accuracy, and experiences of punishment avoidance were explored, along with speeding as a Provisional driver. Participants (609 females; M = 17.43 years) self-reported sociodemographic characteristics, driving behaviours and licensing experiences as Learners. A subset of participants (238 females, 105 males) completed another survey six months later exploring their Provisional behaviours and experiences. While the majority of the participants reported compliance with both the GDL requirements and general road rules such as stopping at red lights on their Learner licence; a considerable proportion reported speeding. Furthermore, they reported becoming less compliant during the Provisional phase, particularly with speed limits. Self-reported speeding was predicted by younger age at licensure, being in a relationship, driving unsupervised, submitting inaccurate Learner logbooks, and speeding as a Learner. Enforcement and education countermeasures should focus upon curtailing noncompliance, targeting speeding in particular. Novice drivers should be encouraged to comply with all road rules, including speed limits, and safe driving behaviours should be developed and reinforced during the Learner and early Provisional periods. Novice drivers have been found to model their parents’ driving, and parents are pivotal in regulating novice driving. It is vital young novice drivers and parents alike are encouraged to comply with all road rules, including GDL requirements.