A framework for optimising capital investment and operations in livestock logistics

Despite the longevity, scale and importance of northern Australia's beef industry, recent disruptions to external markets have demonstrated a degree of vulnerability to shocks in the supply chain. Matching the industry's long-evident resilience to climatic variability with resilience to changes in markets and supply chains requires careful planning. One component of this is how investments in infrastructure will need to be planned to facilitate adaptive responses to market changes. This paper provides an outline of a modelling framework that links strategic and operational dynamic models of logistics along the supply chain from the property to the abattoir or port. A novelty of the methodology is that it takes into account the high granularity of individual livestock transport vehicle movements and the ability to scale up to an almost complete view of logistics costs across the entire beef industry of northern Australia. The paper illustrates how the methodology could be used to examine the effects of changes in logistics infrastructure on efficiency and costs using examples from the states of Northern Territory, Western Australia and Queensland.

Comments on Identification of Totally Symmetric Boolean Functions

A modification in the algorithm for the detection of totally symmetric functions as expounded by the author in an earlier note1 is presented here. The modified algorithm takes care of a limited number of functions that escape detection by the previous method.

Quantitative effects of in-line operations on Campylobacter and Escherichia coli through two Australian broiler processing plants

Campylobacter is an important food borne pathogen, mainly associated with poultry. A lack of through-chain quantitative Campylobacter data has been highlighted within quantitative risk assessments. The aim of this study was to quantitatively and qualitatively measure Campylobacter and Escherichia coli concentration on chicken carcasses through poultry slaughter. Chickens (n = 240) were sampled from each of four flocks along the processing chain, before scald, after scald, before chill, after chill, after packaging and from individual caeca. The overall prevalence of Campylobacter after packaging was 83% with a median concentration of 0.8 log10 CFU/mL. The processing points of scalding and chilling had significant mean reductions of both Campylobacter (1.8 and 2.9 log10 CFU/carcase) and E. coli (1.3 and 2.5 log10 CFU/carcase). The concentration of E. coli and Campylobacter was significantly correlated throughout processing indicating that E. coli may be a useful indicator organism for reductions in Campylobacter concentration. The carriage of species varied between flocks, with two flocks dominated by Campylobacter coli and two flocks dominated by Campylobacter jejuni. Current processing practices can lead to significant reductions in the concentration of Campylobacter on carcasses. Further understanding of the variable effect of processing on Campylobacter and the survival of specific genotypes may enable more targeted interventions to reduce the concentration of this poultry associated pathogen.

Reed-Muller Canonical Forms in Multivalued Logic

Canonical forms for m-valued functions referred to as m-Reed-Muller canonical (m-RMC) forms that are a generalization of RMC forms of two-valued functions are proposed. m-RMC forms are based on the operations ?m (addition mod m) and .m (multiplication mod m) and do not, as in the cases of the generalizations proposed in the literature, require an m-valued function for m not a power of a prime, to be expressed by a canonical form for M-valued functions, where M > m is a power of a prime. Methods of obtaining the m-RMC forms from the truth vector or the sum of products representation of an m-valued function are discussed. Using a generalization of the Boolean difference to m-valued logic, series expansions for m-valued functions are derived.

An operational-level multi-stage mine production timetabling model for optimally synchronising drilling, blasting and excavating operations

This paper proposes a new multi-stage mine production timetabling (MMPT) model to optimise open-pit mine production operations including drilling, blasting and excavating under real-time mining constraints. The MMPT problem is formulated as a mixed integer programming model and can be optimally solved for small-size MMPT instances by IBM ILOG-CPLEX. Due to NP-hardness, an improved shifting-bottleneck-procedure algorithm based on the extended disjunctive graph is developed to solve large-size MMPT instances in an effective and efficient way. Extensive computational experiments are presented to validate the proposed algorithm that is able to efficiently obtain the near-optimal operational timetable of mining equipment units. The advantages are indicated by sensitivity analysis under various real-life scenarios. The proposed MMPT methodology is promising to be implemented as a tool for mining industry because it is straightforwardly modelled as a standard scheduling model, efficiently solved by the heuristic algorithm, and flexibly expanded by adopting additional industrial constraints.

Self-image (autoidolon) techniques for the realisation of optical computing type operations

Abstract is not available.

Simulation and modelling tools for quantitative safety assessments of unmanned aircraft systems and operations

This paper presents two simple simulation and modelling tools designed to aid in the safety assessment required for unmanned aircraft operations within unsegregated airspace. First, a fast pair-wise encounter generator is derived to simulate the See and Avoid environment. The utility of the encounter generator is demonstrated through the development of a hybrid database and a statistical performance evaluation of an autonomous See and Avoid decision and control strategy. Second, an unmanned aircraft mission generator is derived to help visualise the impact of multiple persistent unmanned operations on existing air traffic. The utility of the mission generator is demonstrated through an example analysis of a mixed airspace environment using real traffic data in Australia. These simulation and modelling approaches constitute a useful and extensible set of analysis tools, that can be leveraged to help explore some of the more fundamental and challenging problems facing civilian unmanned aircraft system integration.

Human rights performance disclosure by companies having operations in high risk countries: Evidence from Australian mineral sector

The aim of this study is to explore whether Australian mineral companies operating in high human rights risk countries provide more human rights disclosures than companies operating in low risk countries. A content analysis instrument containing 88 specific human rights performance items derived from a number of international human rights guidelines has been developed to investigate the annual reports, social responsibility reports and corporate websites of the top 50 Australian mineral companies (2010/2011). The findings show that human rights performance disclosures by companies with operations in high human rights risk countries are significantly higher than companies with operations in the low risk countries. By disclosing extended human rights performance information, companies operating in high risk countries appear to ease community concerns about human rights violations. The finding is consistent with legitimacy theory which posits that organisations respond to community concerns in relation to particular social issues.

Australian fly-in, fly-out operations: Impacts on communities, safety workers and their families

Background Australia’s mineral, resource and infrastructure sectors continues to expand as operations in rural and remote locations increasingly rely on fly-in, fly-out or drive-in, drive-out workforces in order to become economically competitive. The issues in employing these workforces are becoming more apparent and include a range of physical, mental, psychosocial, safety and community challenges. Objectives This review aims to consolidate a range of research conducted to communicate potential challenges for industry in relation to a wide variety of issues when engaging and using FIFO/DIDO workforces which includes roster design, working hours, fatigue, safety performance, employee wellbeing, turnover, psychosocial relationships and community concerns. Methods A wide literature review was performed using EBSCOhost and Google Scholar, with a focus on FIFO or DIDO workforces engaged within the resources sector. Results A number of existing gaps in the management of FIFO workforces and potential for future research were identified. This included the identification of various roster designs and hours worked across the resources industry and how to best understand the influences of roster swings, and work hours on fatigue, safety, psychological wellbeing and job satisfaction. Fatigue management, particularly in relation to travelling after extended work shifts can increase the risk for road safety and influence safety performance while at work due to a culmination of long hours, roster cycle and accumulated sleep debt. Further challenges associated with the engagement of this workforce include feelings of isolation, physiological and general health and lifestyle concerns. Conclusions FIFO workforces appear to be at an increased risk physically and mentally due to a wide range of influences of this unique lifestyle, particularly in relation to rosters, length of shift and feelings of community disengagement. Research and data collected has been limited in understanding the influences on employee engagement, satisfaction, retention and safety. Ensuring the challenges associated with FIFO employment are understood, addressed and communicated to workers and their families may assist.

Combining Bayes Classification and Point Group Symmetry under Boolean Framework for Enhanced Protein Quaternary Structure Inference

Our ability to infer the protein quaternary structure automatically from atom and lattice information is inadequate, especially for weak complexes, and heteromeric quaternary structures. Several approaches exist, but they have limited performance. Here, we present a new scheme to infer protein quaternary structure from lattice and protein information, with all-around coverage for strong, weak and very weak affinity homomeric and heteromeric complexes. The scheme combines naive Bayes classifier and point group symmetry under Boolean framework to detect quaternary structures in crystal lattice. It consistently produces >= 90% coverage across diverse benchmarking data sets, including a notably superior 95% coverage for recognition heteromeric complexes, compared with 53% on the same data set by current state-of-the-art method. The detailed study of a limited number of prediction-failed cases offers interesting insights into the intriguing nature of protein contacts in lattice. The findings have implications for accurate inference of quaternary states of proteins, especially weak affinity complexes.

Lossless and lossy image compression using Boolean function minimization

A novel approach for lossless as well as lossy compression of monochrome images using Boolean minimization is proposed. The image is split into bit planes. Each bit plane is divided into windows or blocks of variable size. Each block is transformed into a Boolean switching function in cubical form, treating the pixel values as output of the function. Compression is performed by minimizing these switching functions using ESPRESSO, a cube based two level function minimizer. The minimized cubes are encoded using a code set which satisfies the prefix property. Our technique of lossless compression involves linear prediction as a preprocessing step and has compression ratio comparable to that of JPEG lossless compression technique. Our lossy compression technique involves reducing the number of bit planes as a preprocessing step which incurs minimal loss in the information of the image. The bit planes that remain after preprocessing are compressed using our lossless compression technique based on Boolean minimization. Qualitatively one cannot visually distinguish between the original image and the lossy image and the value of mean square error is kept low. For mean square error value close to that of JPEG lossy compression technique, our method gives better compression ratio. The compression scheme is relatively slower while the decompression time is comparable to that of JPEG.

An Algorithm for Testing 2-Asummability of Boolean Functions

Simple algorithms have been developed to generate pairs of minterms forming a given 2-sum and thereby to test 2-asummability of switching functions. The 2-asummability testing procedure can be easily implemented on the computer. Since 2-asummability is a necessary and sufficient condition for a switching function of upto eight variables to be linearly separable (LS), it can be used for testing LS switching functions of upto eight variables.