title: Compilation of bottom-up evaluation for a pure logic programming language

authors: Clayton, Roger

abstract: Abstraction in programming languages is usually achieved at the price of run time efficiency. This thesis presents a compilation scheme for the Starlog logic programming language. In spite of being very abstract, Starlog can be compiled to an efficient executable form. Starlog implements stratified negation and includes logically pure facilities for input and output, aggregation and destructive assignment. The main new work described in this thesis is (1) a bottom-up evaluation technique which is optimised for Starlog programs, (2) a static indexing structure that allows significant compile time optimisation, (3) an intermediate language to represent bottom-up logic programs and (4) an evaluation of automatic data structure selection techniques. It is shown empirically that the performance of compiled Starlog programs can be competitive with that of equivalent hand-coded programs.

text: Compilation of bottom-up evaluation for a pure logic programming language Abstraction in programming languages is usually achieved at the price of run time efficiency. This thesis presents a compilation scheme for the Starlog logic programming language. In spite of being very abstract, Starlog can be compiled to an efficient executable form. Starlog implements stratified negation and includes logically pure facilities for input and output, aggregation and destructive assignment. The main new work described in this thesis is (1) a bottom-up evaluation technique which is optimised for Starlog programs, (2) a static indexing structure that allows significant compile time optimisation, (3) an intermediate language to represent bottom-up logic programs and (4) an evaluation of automatic data structure selection techniques. It is shown empirically that the performance of compiled Starlog programs can be competitive with that of equivalent hand-coded programs.

year: 2005

title: Practical heat pump and storage integration into non-continuous processes: A hybrid approach utilizing insight based and nonlinear programming techniques

authors: Stampfli, Jan A.

subjects: Science & Technology

abstract: This paper focuses on industrial heat pump (HP) integration in non-continuous processes. To achieve the necessary time-wise process decoupling of the HP system, heat recovery loops (HRLs) with stratified storages are used. This design type can be modeled as a mixed integer nonlinear programming problem which often results in expensive mathematical formulations. The challenge is addressed by a practical method that combines the insight based approach of Pinch Analysis with mathematical programming techniques to give the engineer more flexibility for the application of the method and to avoid long computation times. By the use of the insight based methods, the solution space of the mathematical formulation is restricted, and thus its complexity is reduced to a nonlinear programming problem optimizing the temperature levels in the HP-HRL system. As an objective, total annual costs (TAC) of the HP-HRL system are minimized. The developed hybrid method is applied to a dairy site and compared in terms of approach temperatures, temperature lift of the HP, TAC, and greenhouse gas emissions to the existing methods. It is shown, that the hybrid method provides realistic approach temperatures in contrast to the existing insight based method.

text: Practical heat pump and storage integration into non-continuous processes: A hybrid approach utilizing insight based and nonlinear programming techniques This paper focuses on industrial heat pump (HP) integration in non-continuous processes. To achieve the necessary time-wise process decoupling of the HP system, heat recovery loops (HRLs) with stratified storages are used. This design type can be modeled as a mixed integer nonlinear programming problem which often results in expensive mathematical formulations. The challenge is addressed by a practical method that combines the insight based approach of Pinch Analysis with mathematical programming techniques to give the engineer more flexibility for the application of the method and to avoid long computation times. By the use of the insight based methods, the solution space of the mathematical formulation is restricted, and thus its complexity is reduced to a nonlinear programming problem optimizing the temperature levels in the HP-HRL system. As an objective, total annual costs (TAC) of the HP-HRL system are minimized. The developed hybrid method is applied to a dairy site and compared in terms of approach temperatures, temperature lift of the HP, TAC, and greenhouse gas emissions to the existing methods. It is shown, that the hybrid method provides realistic approach temperatures in contrast to the existing insight based method.

year: 2019

title: Te Kuranui

authors: Maxwell, Te Kahautu

abstract: Ko te tūāpapa o tēnei kōrero Te Kuranui he titiro ki te tūāpapa o Ōpōtiki Mai Tawhiti kapa haka. He aha te take i whakatūngia ai tēnei Kuranui e karangatia ana ko Ōpōtiki Mai Tawhiti? Hai tāhūhū mō tēnei tuhinga raurūtia tēnei kupu whakaari a Te Kōoti Arikirangi; “He Kura hoki ahau”, me tēnei wehenga o te mōteatea nāna; Te Pono ki runga rā, te ara mai o te tika. Tukua mai ki raro nā te maungarongo; te whana i tū ai nā te kotahitanga; te aroha i mau ai. Ana ko te Kupu Whakaari nei; He Kura hoki ahau he wewete i tēnei Kupu Whakaari kia kite i te hōhonu o te tikanga ōna hai whakatamārama i tō Te Kōoti wawata hai kura i tana iwi Ringatū me tā te kaituhi whakaraupapa i ēnei kura ki roto i te whakairotanga i te Kuranui nei.
Ka rua kua tātaritia tēnei wehenga o te mōteatea nei kia rima ōna wāhanga hai taki i tēnei tuhinga epā ana ki te Kuranui nei a Ōpōtiki Mai Tawhiti. Tuatahi Te Pono ki runga rā, ka titiro ki te kaituhi nei me tōna whakatipuranga i ōna kaumātua me ō rātou kuranga i a ia kia tohenihorau ki tōna ao Māori. He kuranga ēnei hai maungāngākau, maungāhinengaro ki te whakaturuki i te Kuranui a Ōpōtiki Mai Tawhiti. Te ara mai o te tika, ko te whakatūtanga o te kapa haka nei a Ōpōtiki Mai Tawhiti te Kuranui,arā te whakapaparanga mai i te kapa i tōna tīmatatanga ki te wā tonu nei. Tukua mai ki raro nā te maungarongo; ko te whakapono tēnei wāhanga, ko te ū o Ōpōtiki Mai Tawhiti ki tēnei kura a Te Kooti Arikirangi. Te whana i tū ai nā te kotahitanga;ko te titiro ki te pouārahi me te whakapau kaha ki te tuitui i ngā whakaaro o te katoa, ko te ranga i te iwi, ko te pupuri i te iwi, i te kapa haka ki tōna, rautaki, whāinga ko te whakakotahitanga i te iwi i raro i te kaupapa o Ōpōtiki Mai Tawhiti. Te aroha i mau ai, ko te aroha ki te iwi, ko te aroha ki te kaupapa, ko te whakaū, whakapūmau i te moemoeā kia whakahokia mai te toheariki ki te iwi kia tū toherauariki a Te Whakatōhea i raro i te korowai o Ōpōtiki Mai Tawhiti.

text: Te Kuranui Ko te tūāpapa o tēnei kōrero Te Kuranui he titiro ki te tūāpapa o Ōpōtiki Mai Tawhiti kapa haka. He aha te take i whakatūngia ai tēnei Kuranui e karangatia ana ko Ōpōtiki Mai Tawhiti? Hai tāhūhū mō tēnei tuhinga raurūtia tēnei kupu whakaari a Te Kōoti Arikirangi; “He Kura hoki ahau”, me tēnei wehenga o te mōteatea nāna; Te Pono ki runga rā, te ara mai o te tika. Tukua mai ki raro nā te maungarongo; te whana i tū ai nā te kotahitanga; te aroha i mau ai. Ana ko te Kupu Whakaari nei; He Kura hoki ahau he wewete i tēnei Kupu Whakaari kia kite i te hōhonu o te tikanga ōna hai whakatamārama i tō Te Kōoti wawata hai kura i tana iwi Ringatū me tā te kaituhi whakaraupapa i ēnei kura ki roto i te whakairotanga i te Kuranui nei.
Ka rua kua tātaritia tēnei wehenga o te mōteatea nei kia rima ōna wāhanga hai taki i tēnei tuhinga epā ana ki te Kuranui nei a Ōpōtiki Mai Tawhiti. Tuatahi Te Pono ki runga rā, ka titiro ki te kaituhi nei me tōna whakatipuranga i ōna kaumātua me ō rātou kuranga i a ia kia tohenihorau ki tōna ao Māori. He kuranga ēnei hai maungāngākau, maungāhinengaro ki te whakaturuki i te Kuranui a Ōpōtiki Mai Tawhiti. Te ara mai o te tika, ko te whakatūtanga o te kapa haka nei a Ōpōtiki Mai Tawhiti te Kuranui,arā te whakapaparanga mai i te kapa i tōna tīmatatanga ki te wā tonu nei. Tukua mai ki raro nā te maungarongo; ko te whakapono tēnei wāhanga, ko te ū o Ōpōtiki Mai Tawhiti ki tēnei kura a Te Kooti Arikirangi. Te whana i tū ai nā te kotahitanga;ko te titiro ki te pouārahi me te whakapau kaha ki te tuitui i ngā whakaaro o te katoa, ko te ranga i te iwi, ko te pupuri i te iwi, i te kapa haka ki tōna, rautaki, whāinga ko te whakakotahitanga i te iwi i raro i te kaupapa o Ōpōtiki Mai Tawhiti. Te aroha i mau ai, ko te aroha ki te iwi, ko te aroha ki te kaupapa, ko te whakaū, whakapūmau i te moemoeā kia whakahokia mai te toheariki ki te iwi kia tū toherauariki a Te Whakatōhea i raro i te korowai o Ōpōtiki Mai Tawhiti.

year: 2014-09-27