Kanban devs modelling, simulation and verification

Kanban Control Systems (KCS) have become a widely accepted form of inventory and production control. The creation of realistic Discrete Events Simulation (DES) models of KCS require specification of both information and material flow. There are several commercially available simulation packages that are able to model these systems although the use of an application specific modelling language provides means for rapid model development. A new Kanban specific simulation language as well as a high-speed execution engine is verified in this paper through the simulation of a single stage single part type production line. A single stage single part KCS is modelled with exhaustive enumeration of the decision variables of container sizes and number of Kanbans. Several performance measures were used; 95% Confidence Interval (CI) of container Flow Time (FT), mean line throughput as well as the Coefficient of Variance (CV) of FT and Cycle Time were used to determine the robustness of the control system.

Carbon rights as new property: the benefits of statutory verification

This paper examines the different ways in which carbon rights have been verified as property interests. A carbon right is a new and unique form of land interest that confers upon the holder a right to the incorporeal benefit of carbon sequestration on a piece of forested land. Carbon sequestration refers to the absorption from the atmosphere of carbon dioxide by vegetation and soils and the storage of carbon in vegetation and soils. Innovative legislation has been introduced in each state seeking to separate the incorporeal benefit of carbon sequestration from the natural rights flowing from land ownership. The fragmentation of land ownership in this way is a constituent of broader climate change strategies and is particularly important for an Australian emissions trading scheme where carbon rights will acquire value as tradable offsets. This paper will explore the different legislative responses of each state to the proprietary characterisation of the carbon right as a land interest. It will argue that verifying the carbon right as a new statutory property interest, in line with the approach set out in the Carbon Rights Act 2003 (WA), is preferable to aligning it with preconceived categories of common law servitude. By articulating the  carbon right as a new form of statutory interest, unique in status and form, its sui generis character is more accurately reflected. Further, statutory validation of the carbon right as a new land interest is more efficient as legislative rules are more visible and therefore come to the attention of other market participants more quickly and at a lower cost without the burden and complexity associated with expressing the right through the prism of pre-conceived and non-responsive common law forms.

Self-enhancement, self-verification and mood

This study investigated how the quality of heterosexual relationships was affected by individuals views of themselves, their partners and how they thought their partners viewed them. Relationship quality was more affected by mood and by how respondents thought their partners viewed them, than by the reality of their partner's views.

Statutory verification of water rights: the 'insuperable' difficulties of propertising water entitlements

The abolition of riparian entitlements in the early stages of colonial Australia and the vesting of these rights in the Crown represented a turning point for the evolution of private water rights. The extinguishment of common law rights connected to vested land interests and the introduction of new, unaligned statutory entitlements provided a new and fundamentally different system for the creation and regulation of private water entitlements. Unlike riparian entitlements, in the absence of express definition, statutory water entitlements may only be verified as property where such a construction is consistent with the nature and scope of the entitlement. In this respect, the statutory framework has disaggregated the propertisation of water rights from land ownership and linked the process to broader statutory interpretation principles. The shift away from institutional property has generated concerns about the interpretive approaches appropriate for the verification of legislative water entitlements. This article examines the existing interpretive approaches and argues that the blurring of the propertisation process with the separate issue of whether any change or modification of such water rights attracts s 51(xxxi) of the Commonwealth Constitution has produced a situation where core property indicia is increasingly overshadowed by legislative defeasibility. In the recent High Court decision of ICM Agriculture Pty Ltd v Commonwealth, the focus of the majority judgements upon the inherent susceptibility of legislative entitlements to variation or extinguishment acted as a catalyst for the non-propertisation of statutory bore water licences in New South Wales. The emphasis the majority judgements gave to legislative defeasibility precluded a full and balanced assessment of other highly relevant property indicia, in particular the expectation interests of the holders. Conflating property and constitutional evaluation in this way is inappropriate in an era where entitlements to natural resource interests are increasingly statute based and the verification process has significant social and economic repercussions. Determining whether a statutory entitlement constitutes property requires a careful balancing of legislative intent, social and environmental context and individual expectation and the vicissitudes of a regulatory context should not eclipse this process.

A naïve, salience-based method for speaker identification in fiction books

This paper presents a salience-based technique for the annotation of directly quoted speech from fiction text. In particular, this paper determines to what extent a naïve (without the use of complex machine learning or knowledge-based techniques) scoring technique can be used for the identification of the speaker of speech quotes. The presented technique makes use of a scoring technique, similar to that commonly found in knowledge-poor anaphora resolution research, as well as a set of hand-coded rules for the final identification of the speaker of each quote in the text. Speaker identification is shown to be achieved using three tasks: the identification of a speech-verb associated with a quote with a recall of 94.41%; the identification of the actor associated with a quote with a recall of 88.22%; and the selection of a speaker with an accuracy of 79.40%.

Hierarchical rule generalisation for speaker identification in fiction books

This paper presents a hierarchical pattern matching and generalisation technique which is applied to the problem of locating the correct speaker of quoted speech found in fiction books. Patterns from a training set are generalised to create a small number of rules, which can be used to identify items of interest within the text. The pattern matching technique is applied to finding the Speech-Verb, Actor and Speaker of quotes found in ction books. The technique performs well over the training data, resulting in rule-sets many times smaller than the training set, but providing very high accuracy. While the rule-set generalised from one book is less effective when applied to different books than an approach based on hand coded heuristics, performance is comparable when testing on data closely related to the training set.

Image retrieval using noisy query

In conventional content based image retrieval (CBIR) employing relevance feedback, one implicit assumption is that both pure positive and negative examples are available. However it is not always true in the practical applications of CBIR. In this paper, we address a new problem of image retrieval using several unclean positive examples, named noisy query, in which some mislabeled images or weak relevant images present. The proposed image retrieval scheme measures the image similarity by combining multiple feature distances. Incorporating data cleaning and noise tolerant classifier, a twostep strategy is proposed to handle noisy positive examples. Experiments carried out on a subset of Corel image collection show that the proposed scheme outperforms the competing image retrieval schemes.

Driver verification based on handgrip recognition on steering wheel

This paper presents a novel driver verification algorithm based on the recognition of handgrip patterns on steering wheel. A pressure sensitive mat mounted on a steering wheel is employed to collect a series of pressure images exerted by the hands of the drivers who intend to start the vehicle. Then, feature extraction from those images is carried out through two major steps: Quad-Tree-based multi-resolution decomposition on the images and Principle Component Analysis (PCA)-based dimension reduction, followed by implementing a likelihood-ratio classifier to distinguish drivers into known or unknown ones. The experimental results obtained in this study show that the mean acceptance rates of 78.15% and 78.22% for the trained subjects and the mean rejection rates of 93.92% and 90.93% to the un-trained ones are achieved in two trials, respectively. It can be concluded that the driver verification approach based on the handgrip recognition on steering wheel is promising and will be further explored in the near future.

Hypothesis verification using parametric models and active vision strategies

This paper proposes a methodology for determining the shape and ultimately the functionality of objects from intensity images; 2D analytic functions are used to track 3D features during known camera motions. Three analytic functions are proposed that describe the relationship between pairs of points that are either stationary or moving depending on whether the points are on occluding boundaries or otherwise. Many of the problems of correspondence are reduced by using foveation, known camera motion, and active vision methods. The three analytic functions are shown to enable hypothesis refinement of the functionality of a number of 3D objects without full 3D information about the shape.

Emerging hypothesis verification using function-based geometric models and active vision strategies

This paper describes an investigation into the use of parametric 2D models describing the movement of edges for the determination of possible 3D shape and hence function of an object. An assumption of this research is that the camera can foveate and track particular features. It is argued that simple 2D analytic descriptions of the movement of edges can infer 3D shape while the camera is moved. This uses an advantage of foveation i.e. the problem becomes object centred. The problem of correspondence for numerous edge points is overcome by the use of a tree based representation for the competing hypotheses. Numerous hypothesis are maintained simultaneously and it does not rely on a single kinematic model which assumes constant velocity or acceleration. The numerous advantages of this strategy are described.