title: Synthesis observation equivalence and weak synthesis observation equivalence

authors: Mohajerani, Sahar

subjects: computer science

abstract: This working paper proposes an algorithm to simplify automata in such a way that compositional synthesis results are preserved in every possible context. It relaxes some requirements of synthesis observation equivalence from previous work, so that better abstractions can be obtained. The paper describes the algorithm, adapted from known bisimulation equivalence algorithms, for the improved abstraction method. The algorithm has been implemented in the DES software tool Supremica and has been used to compute modular supervisors for several large benchmark examples. It successfully computes modular supervisors for systems with more than 10¹² reachable states.

text: Synthesis observation equivalence and weak synthesis observation equivalence This working paper proposes an algorithm to simplify automata in such a way that compositional synthesis results are preserved in every possible context. It relaxes some requirements of synthesis observation equivalence from previous work, so that better abstractions can be obtained. The paper describes the algorithm, adapted from known bisimulation equivalence algorithms, for the improved abstraction method. The algorithm has been implemented in the DES software tool Supremica and has been used to compute modular supervisors for several large benchmark examples. It successfully computes modular supervisors for systems with more than 10¹² reachable states.

year: 2012-07-30

title: Could ‘Isochoric Freezing’ revolutionise food preservation?

authors: Fikiin, K

subjects: chilling

abstract: The present article responds to the food engineering community’s growing interest in an emerging and lauded approach to food preservation, popularised by its developers as ‘isochoric freezing’. A strong campaign in the scientific literature and mass media has recently promoted this technique as a universal replacement for traditional food freezing and the frozen supply chain by highlighting a number of alleged advantages of ‘isochoric freezing’. Some of these claims therefore require a more neutral and critical assessment against the background of the today’s state of the art in food freezing technologies. Hence, this article spotlights several concerns regarding the plausibility, energy expenditure, resource efficiency, process rate, throughput and safety of ‘isochoric freezing’, as well as the correct use of food refrigeration terminology. The aspects considered are intended to make food scientists, technologists and engineers more aware of the real capabilities and the application perspectives of this still immature mode of refrigerated food processing.

text: Could ‘Isochoric Freezing’ revolutionise food preservation? The present article responds to the food engineering community’s growing interest in an emerging and lauded approach to food preservation, popularised by its developers as ‘isochoric freezing’. A strong campaign in the scientific literature and mass media has recently promoted this technique as a universal replacement for traditional food freezing and the frozen supply chain by highlighting a number of alleged advantages of ‘isochoric freezing’. Some of these claims therefore require a more neutral and critical assessment against the background of the today’s state of the art in food freezing technologies. Hence, this article spotlights several concerns regarding the plausibility, energy expenditure, resource efficiency, process rate, throughput and safety of ‘isochoric freezing’, as well as the correct use of food refrigeration terminology. The aspects considered are intended to make food scientists, technologists and engineers more aware of the real capabilities and the application perspectives of this still immature mode of refrigerated food processing.

year: 2024

title: Te rima tekau ngahurutanga o Te Whare Wānanga o Waikato

authors: Dixon, Ngahuia

subjects: Tohu mātauranga

abstract: E te Whare Wānanga o Waikato – te tohu o te mātauranga, tēnā koe.  Tēnā koe i roto i tō rima tekau tau ngahurutanga.  Kua pakeke haere koe.  Kua tau atu koe ki tērā kaumātuatanga nō reira me mihi ka tika.  He hōnore nui tēnei mōu ake i te mea nāu te moana o mātauranga i roto o Waikato i tuku kia rere, kia pari, ka rere anō.  He wai marino ēnei i ētehi wā, he rehutai i ētehi atu,  he wā anō ka karekare, ka haruru rānei i te pai o te rere o āu mahi.  Ahakoa ēnei huringa o ngā awa o te wā, kei te rere tonu te moana nei, me ōna pikonga ki uru, ki rāwhiti, ki tonga, ki raki rānei, arā ki ngā pito katoa o te ao.  He mātauranga ēnei i tukuna e koe kia pīoioi i te ao.  Hei aha - hei whakawhānui ki te mātatoru o te tangata, he aha kei ō whare kōrero, hei whakakīkī haere i ā rātou kete mātauranga, ahakoa Māori, tauiwi huri noa.  Koinei ngā korowai mō ngā manu i kai i te mātauranga nāu i rumaki.   Ināianei arā te kōrero:

Nō rātou, nō mātou, nō tātou te ao 

E kore e mimiti ēnei huarahi tautoko āu, - nā mēnā ka tūwhera tonu tō ngākau ki ngā kete kōrero, mātauranga āku ake a ngāi-Māori, kei hea mai tō mana.

text: Te rima tekau ngahurutanga o Te Whare Wānanga o Waikato E te Whare Wānanga o Waikato – te tohu o te mātauranga, tēnā koe.  Tēnā koe i roto i tō rima tekau tau ngahurutanga.  Kua pakeke haere koe.  Kua tau atu koe ki tērā kaumātuatanga nō reira me mihi ka tika.  He hōnore nui tēnei mōu ake i te mea nāu te moana o mātauranga i roto o Waikato i tuku kia rere, kia pari, ka rere anō.  He wai marino ēnei i ētehi wā, he rehutai i ētehi atu,  he wā anō ka karekare, ka haruru rānei i te pai o te rere o āu mahi.  Ahakoa ēnei huringa o ngā awa o te wā, kei te rere tonu te moana nei, me ōna pikonga ki uru, ki rāwhiti, ki tonga, ki raki rānei, arā ki ngā pito katoa o te ao.  He mātauranga ēnei i tukuna e koe kia pīoioi i te ao.  Hei aha - hei whakawhānui ki te mātatoru o te tangata, he aha kei ō whare kōrero, hei whakakīkī haere i ā rātou kete mātauranga, ahakoa Māori, tauiwi huri noa.  Koinei ngā korowai mō ngā manu i kai i te mātauranga nāu i rumaki.   Ināianei arā te kōrero:

Nō rātou, nō mātou, nō tātou te ao 

E kore e mimiti ēnei huarahi tautoko āu, - nā mēnā ka tūwhera tonu tō ngākau ki ngā kete kōrero, mātauranga āku ake a ngāi-Māori, kei hea mai tō mana.

year: 2016