title: Supremica-An Efficient Tool for Large-Scale Discrete Event Systems

authors: Malik, Robi

subjects: Discrete Event Systems

abstract: Supremica is a tool for the modelling and analysis of discrete-event control functions based on state machine models of the uncontrolled plant and specification of the desired closed-loop behaviour. The modelling framework in Supremica is based on finite-state machines extended with variables, guard conditions, and action functions. In order to handle large-scale problems of industrially interesting size, Supremica uses advanced model checking techniques such as symbolic representations and compositional abstraction. Supremica has been used in several industrial research projects to verify and synthesise control functions for embedded controllers, industrial robots, and flexible manufacturing systems, and to verify program code for autonomous vehicles. This paper gives an overview of the modelling features of Supremica, shows the verification and synthesis facilities and their performance for large problems, and presents some of the industrial applications where Supremica has been used.

text: Supremica-An Efficient Tool for Large-Scale Discrete Event Systems Supremica is a tool for the modelling and analysis of discrete-event control functions based on state machine models of the uncontrolled plant and specification of the desired closed-loop behaviour. The modelling framework in Supremica is based on finite-state machines extended with variables, guard conditions, and action functions. In order to handle large-scale problems of industrially interesting size, Supremica uses advanced model checking techniques such as symbolic representations and compositional abstraction. Supremica has been used in several industrial research projects to verify and synthesise control functions for embedded controllers, industrial robots, and flexible manufacturing systems, and to verify program code for autonomous vehicles. This paper gives an overview of the modelling features of Supremica, shows the verification and synthesis facilities and their performance for large problems, and presents some of the industrial applications where Supremica has been used.

year: 2017

title: A cost-effective microbial fuel cell to detect and select for photosynthetic electrogenic activity in algae and cyanobacteria

authors: Luimstra, Veerle M.

subjects: photosynthetic microbial fuel cell

abstract: This work describes the development of an easily constructed, cost-effective photosynthetic microbial fuel cell design with highly reproducible electrochemical characteristics that can be used to screen algae and cyanobacteria for photosynthetic electrogenic activity. It is especially suitable for benthic varieties, those that attach to surfaces. The anode chamber of the cell uses disposable polystyrene sample bottles (pottles) with a simple-to-apply carbon coating. These chambers can be used to grow photosynthetic microorganisms without a cathode for electrochemical characterization or with a cathode and load applied to provide electrogenic selective pressure. The utility of the design for screening, isolating and analysing photosynthetic electrogenic microorganisms under a wide variety of conditions is demonstrated. Several genera of benthic cyanobacteria from both New Zealand and Antarctica were shown to be electrogenic including Pseudanabaena, Leptolyngbya, Chroocococales, Phormidesmis, Microcoleus, Nostoc and Phormidium. A benthic strain of the eukaryote Paulschulzia pseudovolvox (Chlorophyceae) was isolated and identified, which had very good electrogenic qualities.

text: A cost-effective microbial fuel cell to detect and select for photosynthetic electrogenic activity in algae and cyanobacteria This work describes the development of an easily constructed, cost-effective photosynthetic microbial fuel cell design with highly reproducible electrochemical characteristics that can be used to screen algae and cyanobacteria for photosynthetic electrogenic activity. It is especially suitable for benthic varieties, those that attach to surfaces. The anode chamber of the cell uses disposable polystyrene sample bottles (pottles) with a simple-to-apply carbon coating. These chambers can be used to grow photosynthetic microorganisms without a cathode for electrochemical characterization or with a cathode and load applied to provide electrogenic selective pressure. The utility of the design for screening, isolating and analysing photosynthetic electrogenic microorganisms under a wide variety of conditions is demonstrated. Several genera of benthic cyanobacteria from both New Zealand and Antarctica were shown to be electrogenic including Pseudanabaena, Leptolyngbya, Chroocococales, Phormidesmis, Microcoleus, Nostoc and Phormidium. A benthic strain of the eukaryote Paulschulzia pseudovolvox (Chlorophyceae) was isolated and identified, which had very good electrogenic qualities.

year: 2013

title: Accelerating success and promoting equity through the ako (note 1): Critical contexts for change

authors: Berryman, Mere

abstract: Achieving equity and excellence for all young people remains the major challenge of education systems across the world. This paper contends that equity and excellence for students currently underserved by our system needs transformative school reform. In response, we outline the ako: critical contexts for change. This model has been applied across five dimensions for transformative reform within Kia Eke Panuku (Note 2). This paper focuses on how this model can be understood and applied alongside curriculum implementation. We draw evidence from wider research of the impact on improving student achievement when individual aspects of the ako: critical contexts for change have been applied. We have found that when all three contexts are applied simultaneously and spread throughout the school, pedagogical reform can be accelerated, even for those students most underserved.

text: Accelerating success and promoting equity through the ako (note 1): Critical contexts for change Achieving equity and excellence for all young people remains the major challenge of education systems across the world. This paper contends that equity and excellence for students currently underserved by our system needs transformative school reform. In response, we outline the ako: critical contexts for change. This model has been applied across five dimensions for transformative reform within Kia Eke Panuku (Note 2). This paper focuses on how this model can be understood and applied alongside curriculum implementation. We draw evidence from wider research of the impact on improving student achievement when individual aspects of the ako: critical contexts for change have been applied. We have found that when all three contexts are applied simultaneously and spread throughout the school, pedagogical reform can be accelerated, even for those students most underserved.

year: 2017