title: A distributed adaptive debugger server

authors: Wong, Derek Antony

abstract: A model and corresponding protocol suitable for debugging distributed embedded systems is developed. Protocol design issues and a formal model of the debugger server are defined with the intent of developing an extensible debug server to aid the development of dynamically retargettable debug clients suitable for application to heterogeneous distributed systems. 

The thesis considers one of the major problems faced in embedded systems, that of dynamic configuration of system components. The namespace model described solves these issues in a way that provides for the development of dynamic “hot insertion, plug and play” systems. This model is applied throughout the design of the protocol toward the development of debug services. 

The model is formally developed using the specification language, VDM-SL. Specifications of the model are given implicitly and then derived to an explicit executable form except for target-dependencies. Informal correctness proofs are carried out where necessary to show that the transformation from implicit to explicit form is valid and that the model and protocols themselves are valid. The specifications have been syntax and type checked using the IFAD VDM Toolbox; a CASE tool based on the 1996 ISO VDM-SL standard that provides an environment for the development and testing of VDM-SL specifications.

text: A distributed adaptive debugger server A model and corresponding protocol suitable for debugging distributed embedded systems is developed. Protocol design issues and a formal model of the debugger server are defined with the intent of developing an extensible debug server to aid the development of dynamically retargettable debug clients suitable for application to heterogeneous distributed systems. 

The thesis considers one of the major problems faced in embedded systems, that of dynamic configuration of system components. The namespace model described solves these issues in a way that provides for the development of dynamic “hot insertion, plug and play” systems. This model is applied throughout the design of the protocol toward the development of debug services. 

The model is formally developed using the specification language, VDM-SL. Specifications of the model are given implicitly and then derived to an explicit executable form except for target-dependencies. Informal correctness proofs are carried out where necessary to show that the transformation from implicit to explicit form is valid and that the model and protocols themselves are valid. The specifications have been syntax and type checked using the IFAD VDM Toolbox; a CASE tool based on the 1996 ISO VDM-SL standard that provides an environment for the development and testing of VDM-SL specifications.

year: 2001

title: On-farm fractionation of milk components

authors: Chand, Amita

subjects: on-farm

abstract: Methods for on-farm extraction of low-concentration (minor) proteins from raw whole bovine milk directly after milking were explored. These minor proteins have high commercial value. Lactoferrin (LF) and lactoperoxidase (LP) were used as model proteins for extraction using cation exchange chromatography.
Laboratory fractionations showed that milk could be processed by conventional column chromatography without excessive column backpressures if resin with large particles sizes were used and the temperature was high enough so fat in the milk was malleable; ideally the milk should be near the secretion temperature of 37oC. Processing parameters such as equilibrium and dynamic capacities were determined for SP Sepharose ™ (GE Healthcare Technologies) and Bio Rex 70 (BioRad Laboratories) resins. SP Sepharose Big Beads (SP BB) were found to be more suitable than BR 70, for raw whole milk processing due to the larger size (200 um). 
Design considerations showed that column chromatography was not the most practical method for on-farm processing of fresh, raw whole milk. Trials with a single-stage stirred tank showed that SP BB resin could extract up to 65% of LF (initial LF concentration of 0.5 mg/mL) with a 10-minute adsorption time. The composite non-linear (CNL) model of Rowe et al. (1999) was used to describe LF uptake by SP BB resin in raw whole milk with initial LF concentrations of 0 to 1.0 mg/mL and resin:milk volume ratios of 0.010, 0.012, 0.017 and 0.024 over 45-minute contact times. The CNL model could be used to predict LF yields if initial feed concentration, milk and resin volumes, and contact times were known. Laboratory extractions showed that processing did not significantly affect bulk milk composition (fat, protein, lactose and total solids), indicating that the milk could be used for conventional processing after the minor proteins had been extracted.
Resin cleaning and regeneration studies, using a procedure similar to that recommended by the resin supplier, showed that the Sepharose resin had not degraded and there was no significant decrease in binding capacity after 50 extraction cycles.
A Protein Fractionation Robot (PFR) prototype based on a single-stage stirred tank and the operating parameters obtained from the laboratory trials was designed, assembled and coupled to an Automated Milking System (AMS) to process fresh, raw whole milk from individual cows immediately after milking. The LF and LP extracted from the milk from 16 individual cows were 19.7 - 55.2% (35.6   10.2%) and 21.2 - 99.5% (87.1   12.0%) respectively. Generally, higher extraction levels were obtained at higher resin:milk ratios. The amount of LF extracted on-farm agreed within 14.1   9.8% of those predicted by the CNL model, with predicted values generally being higher. The experimental on-farm adsorption values were calculated using data of LF recovered after elution, so differences between actual and predicted values may be due to losses during post-adsorption processing.
Economic feasibility studies, based on experimental data from the PFR and realistic wholesale prices for LF and LP ($400 and $150/kg respectively) showed that PFR-based processing is economically viable if the farmer is paid for the LF and LP produced as well as the bulk milk. This system would have a payback period of approximately five years and an internal rate of return of 14.5%. Further case studies determined the sensitivity of the economics to various operating parameters and value/cost assumptions, including producing recombinant human protein from transgenic bovine milk. These studies showed that the higher the value of the processed raw milk, the higher the absorptive capacity of the resin, and the higher the value of the extracted protein, the more favourable the economics. In the extreme case of producing a very high value therapeutic protein (e.g. $20 000), the payback period could be as low as 0.3 years, with an internal rate of return of 818%.

text: On-farm fractionation of milk components Methods for on-farm extraction of low-concentration (minor) proteins from raw whole bovine milk directly after milking were explored. These minor proteins have high commercial value. Lactoferrin (LF) and lactoperoxidase (LP) were used as model proteins for extraction using cation exchange chromatography.
Laboratory fractionations showed that milk could be processed by conventional column chromatography without excessive column backpressures if resin with large particles sizes were used and the temperature was high enough so fat in the milk was malleable; ideally the milk should be near the secretion temperature of 37oC. Processing parameters such as equilibrium and dynamic capacities were determined for SP Sepharose ™ (GE Healthcare Technologies) and Bio Rex 70 (BioRad Laboratories) resins. SP Sepharose Big Beads (SP BB) were found to be more suitable than BR 70, for raw whole milk processing due to the larger size (200 um). 
Design considerations showed that column chromatography was not the most practical method for on-farm processing of fresh, raw whole milk. Trials with a single-stage stirred tank showed that SP BB resin could extract up to 65% of LF (initial LF concentration of 0.5 mg/mL) with a 10-minute adsorption time. The composite non-linear (CNL) model of Rowe et al. (1999) was used to describe LF uptake by SP BB resin in raw whole milk with initial LF concentrations of 0 to 1.0 mg/mL and resin:milk volume ratios of 0.010, 0.012, 0.017 and 0.024 over 45-minute contact times. The CNL model could be used to predict LF yields if initial feed concentration, milk and resin volumes, and contact times were known. Laboratory extractions showed that processing did not significantly affect bulk milk composition (fat, protein, lactose and total solids), indicating that the milk could be used for conventional processing after the minor proteins had been extracted.
Resin cleaning and regeneration studies, using a procedure similar to that recommended by the resin supplier, showed that the Sepharose resin had not degraded and there was no significant decrease in binding capacity after 50 extraction cycles.
A Protein Fractionation Robot (PFR) prototype based on a single-stage stirred tank and the operating parameters obtained from the laboratory trials was designed, assembled and coupled to an Automated Milking System (AMS) to process fresh, raw whole milk from individual cows immediately after milking. The LF and LP extracted from the milk from 16 individual cows were 19.7 - 55.2% (35.6   10.2%) and 21.2 - 99.5% (87.1   12.0%) respectively. Generally, higher extraction levels were obtained at higher resin:milk ratios. The amount of LF extracted on-farm agreed within 14.1   9.8% of those predicted by the CNL model, with predicted values generally being higher. The experimental on-farm adsorption values were calculated using data of LF recovered after elution, so differences between actual and predicted values may be due to losses during post-adsorption processing.
Economic feasibility studies, based on experimental data from the PFR and realistic wholesale prices for LF and LP ($400 and $150/kg respectively) showed that PFR-based processing is economically viable if the farmer is paid for the LF and LP produced as well as the bulk milk. This system would have a payback period of approximately five years and an internal rate of return of 14.5%. Further case studies determined the sensitivity of the economics to various operating parameters and value/cost assumptions, including producing recombinant human protein from transgenic bovine milk. These studies showed that the higher the value of the processed raw milk, the higher the absorptive capacity of the resin, and the higher the value of the extracted protein, the more favourable the economics. In the extreme case of producing a very high value therapeutic protein (e.g. $20 000), the payback period could be as low as 0.3 years, with an internal rate of return of 818%.

year: 2006

title: He hekenga toto, he hekenga tōtā, he hekenga roimata.

authors: Mikaere, Te Maharanui Jacob

abstract: Ariā
Ko tā te tuhinga nei he whakakite i ngā āwangawanga o te kaituhi mō te maha o te hunga taiohi kua tipu mai i raro i te ātaarangi o te Kōhanga Reo, o te Kura Kaupapa Māori, o te wharekura hoki, kua noho ko te reo Māori hei reo tuatahi, engari mō te aronui ki te reo me tōna katoa kore kore rawa atu. Kei te kōrerohia ōna hītori me tōna whakapapa. I ahu mai tō tāua reo i hea? I pēhea tō tāua reo i ngā wā o mua? I pēhea tō tāua reo i te taetanga mai o tauiwi i te takiwā o te 1800? I ahatia tō tāua reo e tauiwi i tērā rautau i kīa ake he reo koretake noa te reo Māori? Nā wai tō tāua reo i ruke ki rāhaki i ngā tau 1900? Ka mutu, nā wai tō tāua reo i whakahoki mai ki te kōpū o tēnei whakatipuranga? Nā ēnei tūmomo urupounamu au i karanga ki te ihi o tōku whare kōrero. 
Ko te ngako o ngā kōrero o roto i te tuhinga nei he whakatewhatewha, he matapaki i te kūare o te hunga taiohi ki te whakapapa, ki te hītori o te reo Māori. Koia ko ōna piki me ōna heke, ngā whakapātaritari i ngana ki te whakapoko i te ahi o te reo Māori i te tata whāngaromanga ōna. Ko te nuinga o ngā kōrero he mea rangahau mai i ngā pukapuka me te whakatakoto i ngā kitenga hei pānuitanga mā te hunga e tāpara ana ki ngā kai o roto. Me whakanui ka tika ngā pēhitanga o te hunga i takatakahi i te ara papatoiake hei whaitanga mā tātau ka tahi, ka rua me kōkuhu ēnei tūmomo mātauranga ki ngā marau whakaako tamariki me kore noa e tahuri mai te hunga taiohi ki tōna reo me tōna katoa. E ora ai te whakapapa o te reo me ōna hītori me whakakōpā e tātau  tōna whakapapa, me ōna kōrero ki ngā tamariki kōhanga mai, kura kaupapa mai, wharekura mai, ā huri atu ki ngā pia whare wānanga hoki. Mā te whakaako i te hītori ki a ngāi taiohi ākene pea ka tipu te kauanuanu ki tōna reo. Kia kekeno atu au ki tōku reanga kei te kitea he momo whakahīhī kua puea ake ai ki roto tonu i a tātau. Ko te momo o tēnei whakahīhī he mea tūkino i te hunga kore reo, he mea whakaiti i ngā tāngata kua noho rehurehu ki ngā kawenga a tāua te Māori. E whakapono ana au mā te kauanuanu o tōku reanga ki tōna reo ka tipu hoki te kauanuanu ki te hunga kāore pea i rongo i ngā hua o te reo, rātau te hunga kua noho pōhara, kua noho manene nā ngā rā pōkākā o te whakapākehātanga. Atu i te whakahīhī o te ngākau kua puea hoki tētahi momo e patu nei i te kōrerotanga o tō tātau reo, arā ake ko te ngākau māngere. I te korenga o te aronui o tōku reanga ki te reo kua tipu ake ētahi, ahakoa i pakeke mai i roto i te Kōhanga Reo mō te kōrero Māori atu kia pakeke ana rātau he aha te aha. Mā te ako i ngā hītori o tō tātau reo e titi ai ki te whatu manawa te hiranga o tō tātau reo, mā tērā e kore rawa te tangata e noho hāneanea me te pōhēhē ka pai noa te reo Māori, ka mutu kāore he tino take kia kaha kōrerotia. 
Ko te tino whāinga o tēnei tuhinga he ngana ki te whakarārangi mai ko hea te huarahi e tuwhera ai ngā kuaha o te ao Māori ki te katoa e tū rangatira ai tātau. Ahakoa pakeke mai taiohi mai rānei, ahakoa matatau ki te reo tauhou ki te reo rānei ko te mea nui kia tū whakahīhī, kia tū māia te iwi Māori ki raurangi.

text: He hekenga toto, he hekenga tōtā, he hekenga roimata. Ariā
Ko tā te tuhinga nei he whakakite i ngā āwangawanga o te kaituhi mō te maha o te hunga taiohi kua tipu mai i raro i te ātaarangi o te Kōhanga Reo, o te Kura Kaupapa Māori, o te wharekura hoki, kua noho ko te reo Māori hei reo tuatahi, engari mō te aronui ki te reo me tōna katoa kore kore rawa atu. Kei te kōrerohia ōna hītori me tōna whakapapa. I ahu mai tō tāua reo i hea? I pēhea tō tāua reo i ngā wā o mua? I pēhea tō tāua reo i te taetanga mai o tauiwi i te takiwā o te 1800? I ahatia tō tāua reo e tauiwi i tērā rautau i kīa ake he reo koretake noa te reo Māori? Nā wai tō tāua reo i ruke ki rāhaki i ngā tau 1900? Ka mutu, nā wai tō tāua reo i whakahoki mai ki te kōpū o tēnei whakatipuranga? Nā ēnei tūmomo urupounamu au i karanga ki te ihi o tōku whare kōrero. 
Ko te ngako o ngā kōrero o roto i te tuhinga nei he whakatewhatewha, he matapaki i te kūare o te hunga taiohi ki te whakapapa, ki te hītori o te reo Māori. Koia ko ōna piki me ōna heke, ngā whakapātaritari i ngana ki te whakapoko i te ahi o te reo Māori i te tata whāngaromanga ōna. Ko te nuinga o ngā kōrero he mea rangahau mai i ngā pukapuka me te whakatakoto i ngā kitenga hei pānuitanga mā te hunga e tāpara ana ki ngā kai o roto. Me whakanui ka tika ngā pēhitanga o te hunga i takatakahi i te ara papatoiake hei whaitanga mā tātau ka tahi, ka rua me kōkuhu ēnei tūmomo mātauranga ki ngā marau whakaako tamariki me kore noa e tahuri mai te hunga taiohi ki tōna reo me tōna katoa. E ora ai te whakapapa o te reo me ōna hītori me whakakōpā e tātau  tōna whakapapa, me ōna kōrero ki ngā tamariki kōhanga mai, kura kaupapa mai, wharekura mai, ā huri atu ki ngā pia whare wānanga hoki. Mā te whakaako i te hītori ki a ngāi taiohi ākene pea ka tipu te kauanuanu ki tōna reo. Kia kekeno atu au ki tōku reanga kei te kitea he momo whakahīhī kua puea ake ai ki roto tonu i a tātau. Ko te momo o tēnei whakahīhī he mea tūkino i te hunga kore reo, he mea whakaiti i ngā tāngata kua noho rehurehu ki ngā kawenga a tāua te Māori. E whakapono ana au mā te kauanuanu o tōku reanga ki tōna reo ka tipu hoki te kauanuanu ki te hunga kāore pea i rongo i ngā hua o te reo, rātau te hunga kua noho pōhara, kua noho manene nā ngā rā pōkākā o te whakapākehātanga. Atu i te whakahīhī o te ngākau kua puea hoki tētahi momo e patu nei i te kōrerotanga o tō tātau reo, arā ake ko te ngākau māngere. I te korenga o te aronui o tōku reanga ki te reo kua tipu ake ētahi, ahakoa i pakeke mai i roto i te Kōhanga Reo mō te kōrero Māori atu kia pakeke ana rātau he aha te aha. Mā te ako i ngā hītori o tō tātau reo e titi ai ki te whatu manawa te hiranga o tō tātau reo, mā tērā e kore rawa te tangata e noho hāneanea me te pōhēhē ka pai noa te reo Māori, ka mutu kāore he tino take kia kaha kōrerotia. 
Ko te tino whāinga o tēnei tuhinga he ngana ki te whakarārangi mai ko hea te huarahi e tuwhera ai ngā kuaha o te ao Māori ki te katoa e tū rangatira ai tātau. Ahakoa pakeke mai taiohi mai rānei, ahakoa matatau ki te reo tauhou ki te reo rānei ko te mea nui kia tū whakahīhī, kia tū māia te iwi Māori ki raurangi.

year: 2016