title: Investigating Z

authors: Henson, Martin C.

subjects: operation refinement

abstract: In this paper we introduce and investigate an improved kernel logic Zc for the specification language Z. Unlike standard accounts, this logic is consistent and is easily shown to be sound. We show how a complete shema calculus can be derived within this logic and in doing so we reveal a high degree of logical organization within the language. Finally, our approach eschews all non-standard concepts introduced in the standard approach, notably object level notions of substitution and entities which share properties both of constants and variables. We show, in addition, that these unusual notions are derivable in Zc and are, therefore, unnecessary innovations.

text: Investigating Z In this paper we introduce and investigate an improved kernel logic Zc for the specification language Z. Unlike standard accounts, this logic is consistent and is easily shown to be sound. We show how a complete shema calculus can be derived within this logic and in doing so we reveal a high degree of logical organization within the language. Finally, our approach eschews all non-standard concepts introduced in the standard approach, notably object level notions of substitution and entities which share properties both of constants and variables. We show, in addition, that these unusual notions are derivable in Zc and are, therefore, unnecessary innovations.

year: 2003

title: Modification of kraft wood-pulp fibre with silica for surface functionalisation

authors: Love, Karen T.

subjects: wood

abstract: A new science strategy for natural fibre modification was devised in which glass surface properties would be imparted to wood-derived fibre. The enhancements known from addition of silane reagents to glass fibre–polymer composites could therefore be realised for modified cellulose fibre–polymer composites. A process is described whereby the internal void spaces and micropores of never-dried Kraft pulp fibre walls were impregnated with silica. This was achieved by initial dehydration of never-dried fibre through azeotropic distillation to achieve substitution of fibre water with the silicon chemical solution over a range of concentrations. Kraft fibres were stiffened and made resistant to collapse from the effect of the azeotrope drying. Specific chemical reaction of azeotrope-dried fibre with the reagent ClSi(OEt)3 followed by base-catalysed hydrolysis of the ester groups formed a fibre-bound silica composite. The physico-chemical substitution of water from micropores and internal voids of never-dried fibre with property-modifying chemicals offers possibilities in the development of new fibre characteristics, including fibres which may be hardened, plasticised, and/or stabilised against moisture, biodegradation or fire. The embedded silica may also be used as sites of attachment for coupling agents to modify the hydrophilic character of the fibre or to functionalise the fibre surface.

text: Modification of kraft wood-pulp fibre with silica for surface functionalisation A new science strategy for natural fibre modification was devised in which glass surface properties would be imparted to wood-derived fibre. The enhancements known from addition of silane reagents to glass fibre–polymer composites could therefore be realised for modified cellulose fibre–polymer composites. A process is described whereby the internal void spaces and micropores of never-dried Kraft pulp fibre walls were impregnated with silica. This was achieved by initial dehydration of never-dried fibre through azeotropic distillation to achieve substitution of fibre water with the silicon chemical solution over a range of concentrations. Kraft fibres were stiffened and made resistant to collapse from the effect of the azeotrope drying. Specific chemical reaction of azeotrope-dried fibre with the reagent ClSi(OEt)3 followed by base-catalysed hydrolysis of the ester groups formed a fibre-bound silica composite. The physico-chemical substitution of water from micropores and internal voids of never-dried fibre with property-modifying chemicals offers possibilities in the development of new fibre characteristics, including fibres which may be hardened, plasticised, and/or stabilised against moisture, biodegradation or fire. The embedded silica may also be used as sites of attachment for coupling agents to modify the hydrophilic character of the fibre or to functionalise the fibre surface.

year: 2008

title: Ahumai

authors: Temara, Pou

subjects: Pātere

abstract: E tika ana kia punarua te wānanga i ēnei pātere e rua nā te mea he mārama te kite iho o whatu he ōrite ētahi o ngā rārangi kupu, ngā whakaaro me ngā kareāroto ki te pātere a Ahumai. Ahakoa kāore i te takoto te ingoa o te kaitito i tēnei pātere, nā te ōrite o ētahi o ngā kupu, e taea te whakapae, nā te ringa kotahi ēnei pātere i waituhi? Kai roto hoki i te pātere nei e takaoto ana ngā rohe o Raukawa pērā i Wharepūhunga, me ngā tangata whai mana o tērā iwi pērā i a Tīkao. Hei taituarā ka hahua ake anō te kōrero a Turanga Te Mauparaoa ki te tata o te rohe o te iwi nāna te waiata nei, ki tōna rohe. Kāore te Māori e kī ‘nō tua ake nei tēnei pātere’ mēnā he tawhiti atu te iwi i tōna. Nō reira, ki taku wānanga, ehara tēnei pātere nō ngā iwi o Taranaki. He tawhiti rawa a Taranaki i Murupara. Hāunga a Raukawa, koia te iwi kai ‘tua ake nei’.

E tuku ana ahau i taku ihu kia puta. Ki te tapahia mai, e pai ana. E kī ana hoki au, ko te mea poto te titonga tuatahi, ko te mea roa te titonga o muri mai. He ariā te mea tuatahi nō te mea tuarua.

text: Ahumai E tika ana kia punarua te wānanga i ēnei pātere e rua nā te mea he mārama te kite iho o whatu he ōrite ētahi o ngā rārangi kupu, ngā whakaaro me ngā kareāroto ki te pātere a Ahumai. Ahakoa kāore i te takoto te ingoa o te kaitito i tēnei pātere, nā te ōrite o ētahi o ngā kupu, e taea te whakapae, nā te ringa kotahi ēnei pātere i waituhi? Kai roto hoki i te pātere nei e takaoto ana ngā rohe o Raukawa pērā i Wharepūhunga, me ngā tangata whai mana o tērā iwi pērā i a Tīkao. Hei taituarā ka hahua ake anō te kōrero a Turanga Te Mauparaoa ki te tata o te rohe o te iwi nāna te waiata nei, ki tōna rohe. Kāore te Māori e kī ‘nō tua ake nei tēnei pātere’ mēnā he tawhiti atu te iwi i tōna. Nō reira, ki taku wānanga, ehara tēnei pātere nō ngā iwi o Taranaki. He tawhiti rawa a Taranaki i Murupara. Hāunga a Raukawa, koia te iwi kai ‘tua ake nei’.

E tuku ana ahau i taku ihu kia puta. Ki te tapahia mai, e pai ana. E kī ana hoki au, ko te mea poto te titonga tuatahi, ko te mea roa te titonga o muri mai. He ariā te mea tuatahi nō te mea tuarua.

year: 2017