title: Characterising sound visualisations of specifications using refinement

authors: Pilbrow, Colin

subjects: specification

abstract: Visualisations can be used to help analyse, explore, and validate Z specifications. However, if visualisations contain errors or are used incorrectly then they can be misleading and harmful. The aim of this work is to characterise the soundness of visualisations of Z specifications. We achieve this by using refinement. We look for a refinement relation between a Z specification and its (claimed sound) visualisation. If the relation does not hold, then the visualisation is not sound. The main type of visualisation we investigate is state diagrams. These diagrams are useful for visualising the state and operations of Z specifications. We look at a variety of state diagrams styles before widening the scope to include μ-Chart visualisations and animated visualisations. We find that existing refinement methods should not be used for all types of visualisations. To characterise the soundness of partial visualisations we extend the standard rules to include unexamined states and restricted specifications. Finally, we include examples of the refinement rules being used on our visualisations. This lets us formally show whether each individual visualisation is sound or not.

text: Characterising sound visualisations of specifications using refinement Visualisations can be used to help analyse, explore, and validate Z specifications. However, if visualisations contain errors or are used incorrectly then they can be misleading and harmful. The aim of this work is to characterise the soundness of visualisations of Z specifications. We achieve this by using refinement. We look for a refinement relation between a Z specification and its (claimed sound) visualisation. If the relation does not hold, then the visualisation is not sound. The main type of visualisation we investigate is state diagrams. These diagrams are useful for visualising the state and operations of Z specifications. We look at a variety of state diagrams styles before widening the scope to include μ-Chart visualisations and animated visualisations. We find that existing refinement methods should not be used for all types of visualisations. To characterise the soundness of partial visualisations we extend the standard rules to include unexamined states and restricted specifications. Finally, we include examples of the refinement rules being used on our visualisations. This lets us formally show whether each individual visualisation is sound or not.

year: 2019

title: Review: Extrusion processing and properties of protein-based thermoplastics

authors: Verbeek, Casparus Johan R.

subjects: extrusion

abstract: Increasing interest in competitive, sustainable, and biodegradable alternatives to petroleum-based plastics has encouraged the development of protein-based plastics. The formation of a homogeneous protein melt during extrusion occurs through: denaturation, dissociation, unraveling, and alignment of polymer chains. The presence of covalent cross-links is unfavorable, decreasing chain mobility, increasing viscosity and preventing homogenization. Proteins have high softening temperatures, often above their decomposition temperatures. To avoid degradation, the required chain mobility is achieved by plasticizers. By understanding a protein's physiochemical nature, additives can be selected that lead to a bioplastic with good processability. The final structural and functional properties are highly dependent on the protein and processing conditions.

text: Review: Extrusion processing and properties of protein-based thermoplastics Increasing interest in competitive, sustainable, and biodegradable alternatives to petroleum-based plastics has encouraged the development of protein-based plastics. The formation of a homogeneous protein melt during extrusion occurs through: denaturation, dissociation, unraveling, and alignment of polymer chains. The presence of covalent cross-links is unfavorable, decreasing chain mobility, increasing viscosity and preventing homogenization. Proteins have high softening temperatures, often above their decomposition temperatures. To avoid degradation, the required chain mobility is achieved by plasticizers. By understanding a protein's physiochemical nature, additives can be selected that lead to a bioplastic with good processability. The final structural and functional properties are highly dependent on the protein and processing conditions.

year: 2010

title: Te taiao: Te titiro a te Māori

authors: Kirby, Dean Robert

subjects: Cosmology

abstract: Ko te kaupapa o tēnei tuhinga ko te titiro a te Māori ki te taiao. He mea tuhi i runga i te aroha, i te whakapono ki ngēnei mea, ki te ātaahua o te taiao me ngā kōrero mōna. E whakatangatatia ana ngā āhuatanga o te taiao, ngā rākau, ngā manu, ngā ika, te kohu, ngā kapua, ngā maunga, otirā ngā mea katoa. Ara noa atu ngā kōrero, he whakapapa ō rātou, he huānga tētehi mea ki tētehi, he mauri tō tēnā mea tō tēnā mea. E ora ana ngā mea katoa o te ao, ka whai tamariki, he mātua he tūpuna anō, te katoa tae atu hoki ki te tangata, he wāhanga ia nō te taiao.
Hei aha tēnei tuhinga? Ko tāna mahi he whakaatu i ngēnei āhuatanga. Ā he whakamātau hoki ki te whakautu i te pātai he aha i whērā ai te titiro a ngā tūpuna ki tō rātou taiao. He kohikohingā tēnei nō ngā kōrero maha e takoto mai naka i roto i ngā pukapuka kua tāia kētia. Ehake i te mea ka kōrerotia ngā mea katoa, otiia ka tirohia noatia ngētehi āhuatanga o tēnei hanga te taiao. Kāhore i tuhia i runga i ngā kōrero ā waha a ngētehi kaikōrero, whēnā i ngētehi atu tuhinga roa. He mahi nui tērā mā tētehi atu hei whai, heoi anō tēnei he huihuinga nō ngētehi kōrero kua tuhia i mua atu.
Ka whakarārangitia ngā kōrero neki i muri ake nei. Ko tōna timatanga kei te Ōrokohanga, ko te timatanga tērā o te taiao. Ko te whenua ka whai mai me ngā kōrero mōna. Muri iho ko te wai me ngōna āhuatanga katoa. Ko te rangi, ngā mea katoa o te rangi ka whai mai i muri i tēnā. Muri iho anō ko ngā manu, ko ngā ngārara me ngā ngāngara, ngā rākau me ngā ika. Ka mutu atu i ngā tupua, i ngā taniwha me ngā patupaiarehe, i ngā kōrero mō ngērā. E iwa wāhanga nui te katoa o tēnei tuhinga. Kei te timatanga tētehi wāhanga hei whakamārama i te tuhinga ā kei te mutunga tētehi atu wāhanga hei whakatōpū, hei whakarāpopoto i ngā kōrero o roto i te puku o te tuhinga nei.
Kei ngā wāhanga o te pukapuka nei he kōrero mō tēnā mea, mō tēnā mea i raro i tōna ūpoko anō, me ngā whakaāhua e rite ana mōna. Ko te tūmanako ka kite te kaipānui i te pūrotutanga o te taiao o te Māori.

text: Te taiao: Te titiro a te Māori Ko te kaupapa o tēnei tuhinga ko te titiro a te Māori ki te taiao. He mea tuhi i runga i te aroha, i te whakapono ki ngēnei mea, ki te ātaahua o te taiao me ngā kōrero mōna. E whakatangatatia ana ngā āhuatanga o te taiao, ngā rākau, ngā manu, ngā ika, te kohu, ngā kapua, ngā maunga, otirā ngā mea katoa. Ara noa atu ngā kōrero, he whakapapa ō rātou, he huānga tētehi mea ki tētehi, he mauri tō tēnā mea tō tēnā mea. E ora ana ngā mea katoa o te ao, ka whai tamariki, he mātua he tūpuna anō, te katoa tae atu hoki ki te tangata, he wāhanga ia nō te taiao.
Hei aha tēnei tuhinga? Ko tāna mahi he whakaatu i ngēnei āhuatanga. Ā he whakamātau hoki ki te whakautu i te pātai he aha i whērā ai te titiro a ngā tūpuna ki tō rātou taiao. He kohikohingā tēnei nō ngā kōrero maha e takoto mai naka i roto i ngā pukapuka kua tāia kētia. Ehake i te mea ka kōrerotia ngā mea katoa, otiia ka tirohia noatia ngētehi āhuatanga o tēnei hanga te taiao. Kāhore i tuhia i runga i ngā kōrero ā waha a ngētehi kaikōrero, whēnā i ngētehi atu tuhinga roa. He mahi nui tērā mā tētehi atu hei whai, heoi anō tēnei he huihuinga nō ngētehi kōrero kua tuhia i mua atu.
Ka whakarārangitia ngā kōrero neki i muri ake nei. Ko tōna timatanga kei te Ōrokohanga, ko te timatanga tērā o te taiao. Ko te whenua ka whai mai me ngā kōrero mōna. Muri iho ko te wai me ngōna āhuatanga katoa. Ko te rangi, ngā mea katoa o te rangi ka whai mai i muri i tēnā. Muri iho anō ko ngā manu, ko ngā ngārara me ngā ngāngara, ngā rākau me ngā ika. Ka mutu atu i ngā tupua, i ngā taniwha me ngā patupaiarehe, i ngā kōrero mō ngērā. E iwa wāhanga nui te katoa o tēnei tuhinga. Kei te timatanga tētehi wāhanga hei whakamārama i te tuhinga ā kei te mutunga tētehi atu wāhanga hei whakatōpū, hei whakarāpopoto i ngā kōrero o roto i te puku o te tuhinga nei.
Kei ngā wāhanga o te pukapuka nei he kōrero mō tēnā mea, mō tēnā mea i raro i tōna ūpoko anō, me ngā whakaāhua e rite ana mōna. Ko te tūmanako ka kite te kaipānui i te pūrotutanga o te taiao o te Māori.

year: 1992