title: Counterexample Computation in Compositional Nonblocking Verification

authors: Malik, Robi

subjects: validation

abstract: This paper describes algorithms to compute a counterexample when compositional nonblocking verification determines that a discrete event system is blocking. Counterexamples are an important feature of model checking that explains the cause of a detected problem, greatly helping users to understand and fix faults. In compositional verification, counterexamples are difficult to compute due to the large state space and the loss of information after abstraction. The paper explains the difficulties and proposes a solution, and experimental results show that counterexamples can be computed successfully for several industrial-scale systems.

text: Counterexample Computation in Compositional Nonblocking Verification This paper describes algorithms to compute a counterexample when compositional nonblocking verification determines that a discrete event system is blocking. Counterexamples are an important feature of model checking that explains the cause of a detected problem, greatly helping users to understand and fix faults. In compositional verification, counterexamples are difficult to compute due to the large state space and the loss of information after abstraction. The paper explains the difficulties and proposes a solution, and experimental results show that counterexamples can be computed successfully for several industrial-scale systems.

year: 2018

title: The manufacture and mechanical properties of aligned long harakeke fibre reinforced epoxy composites

authors: Le, Tan Minh

subjects: compression moulding

abstract: Aligned long harakeke fibre reinforced epoxy composites were prepared using hand lay-up followed by compression moulding. Densities of harakeke fibre and epoxy resin were determined for the purpose of composite design. The evenness of composites fabricated by two different size moulds was compared. It was found that more even composites were produced when using a small mould than a big mould. In this work, the dependence of tensile and flexural properties of harakeke/epoxy composites on fibre content was also investigated. The results showed that the addition of fibre enhanced tensile properties of epoxy. The tensile strength and Young’s modulus increased with the volume fraction of harakeke fibre. The flexural strength and flexural modulus increased as the fibre volume fraction increased up to 0.4. Further addition of fibre did not result in an improvement of composite flexural properties.

text: The manufacture and mechanical properties of aligned long harakeke fibre reinforced epoxy composites Aligned long harakeke fibre reinforced epoxy composites were prepared using hand lay-up followed by compression moulding. Densities of harakeke fibre and epoxy resin were determined for the purpose of composite design. The evenness of composites fabricated by two different size moulds was compared. It was found that more even composites were produced when using a small mould than a big mould. In this work, the dependence of tensile and flexural properties of harakeke/epoxy composites on fibre content was also investigated. The results showed that the addition of fibre enhanced tensile properties of epoxy. The tensile strength and Young’s modulus increased with the volume fraction of harakeke fibre. The flexural strength and flexural modulus increased as the fibre volume fraction increased up to 0.4. Further addition of fibre did not result in an improvement of composite flexural properties.

year: 2012-07-09

title: Precariat Māori households today

authors: Rua, Mohi

abstract: Aotearoa New Zealand is now the fifth most unequal economy in the OECD. To highlight the human cost of this situation, the concept of “the precariat” offers more informed and contextualised understandings of the situations of socio-economically marginalised people in Aotearoa. Significant societal and policy change is required for Māori whānau to be truly free from the cycle of precarity.

text: Precariat Māori households today Aotearoa New Zealand is now the fifth most unequal economy in the OECD. To highlight the human cost of this situation, the concept of “the precariat” offers more informed and contextualised understandings of the situations of socio-economically marginalised people in Aotearoa. Significant societal and policy change is required for Māori whānau to be truly free from the cycle of precarity.

year: 2019