SUMMARY This study is to focus on the ¡§Community Health Management Center ¡§ on the selected four administrative districts in Kaohsiung City in the year 2000.The main study is to discuss with the public that involved in these four CHMC Administrations, to obtain their evaluation and assessments, community consciousness, the understanding with the community participants and the interaction of health ordinance behavior. The method of the study is to adopt quantitative research and interview survey. The report and statistic information submitted by the four administrative districts of CHMC in Kaohsiung have great difference with the original plans as outlined by the administrative health department. Thus, the interview survey is organized to enable further negotiation with the key person of four administrative of CHMC. The questionnaire survey with the public health nurse have to be again conduct. The findings of the study and survey are: 1¡BWhen issuing the health management plans by the department of the Executive Yuan, it has clearly states its objective, contents of work and operation procedure. The health department of Kaohsiung City council has also stipulated its community health terms and conditions. However, the rules and regulations have not been strictly performed. 2¡BIn terms of Non-profit organization: a. The difference nature of administrative district, the community consciousness and the community participation will have some differences in understandings, satisfaction, health consciousness with CHMC. b. There are different strategic and management results on different modes of non-profit organization in CHMC. c. The satisfaction of community participants involve in the CHMC and the community residents consciousness is inter-related with CHMC¡¦s understanding and health ordinance. d. As a whole, the participants of public in the CHMC with self-consciousness in physical body is in inverse proportion to the health ordinance and health consciousness. The behavior of the two is in direct proportion. The four administrative districts of CHMC, due to the fact of the method of sampling and the mode of non-profit organization, the style of management is different which will result in different reaction. In conclusion, in accordance with the research and study of the writer would thereby propose to the Government, Non-Profit Organization and Community resident as follows: A. The Government: 1. To perform the evaluation and assessment in detail and complete. 2. To assist the non-profit organization and health department and relevant parties in the coordination of medical resources. B. The operation and management of non-profit organization: 1. To promote and organize various kinds of activities to public. To upgrade the health condition community resident. 2. To integrate and the use of community resources . 3. The management strategy on the Non-Profit Organization. C. Community resident ¡G 1. To develop the self-independent of individual and actively involve in the improvement-upgrade of the community . 2. For the sake of community development in the long term¡Aall community residents should develop the concept of ¡§user pay¡¨basis.

The purpose of this study is to contribute to an increased awareness of how students perceive the subject of history and how they approach the subject of increasing their awareness, through meeting historical characters in novels and film. I am seeking the answer to what opinions students have about studying history, what experiences they have of novels and film as a means to teaching the subject and how they look at material that give life to the thoughts and feelings of historical people, aiming to increase historical awareness. The study is based on qualitative interviews with 15 students in secondary school, The interviews are based on open questions and originate from sociocultural perspective, with its base in phenomenology. The result indicates that students perceive that studying the subject is mainly about historical facts. Several students, and especially students with Swedish as a second language and students with language difficulties, mention that the subject is linguistically difficult, with hard to understand words and phrases. This seems to obstruct an increased awareness of history. The teachers role is considered important. Their capability to interact, explain and clarify is important to bring the subject alive. Students can see the benefits of novels and film to increase historical awareness and many wish for more of that kind of tuition to increase interest and perception. However, many find it difficult to see how this will fit in the time schedule. / Syftet med denna studie är att bidra med ett ökat medvetande angående elevers upplevelser av ämnet historia och om hur de ser på att öka sitt historiemedvetande genom mötet med gestaltande stoff via film och skönlitteratur. Frågorna jag söker svar på är vilka uppfattningar elever på grundskolans senare år har om ämnet historia, vilka erfarenheter de har om skönlitteratur och film i undervisningen, samt hur de resonerar om att använda skönlitteratur och film som en väg mot ett ökat historiemedvetande. Studien bygger på kvalitativa intervjuer med 15 elever från grundskolans senare år. Intervjuerna bygger på öppna frågor och utgår från sociokulturellt perspektiv samt med en fenomenologisk ansats. Resultatet visar att eleverna upplever att historieämnet främst handlar om faktakunskaper. Flertalet elever, och då särskilt elever med svenska som andraspråk samt elever med språkliga svårigheter, lyfter fram att ämnet är språkmässigt svårt med många ord och begrepp, vilket verkar försvåra vägen mot ett ökat historiemedvetande. Lärarnas roll anses viktig och då främst genom interaktion med eleverna för att förklara och förtydliga men även som den som berättar och levandegör innehållet. Elevernas tankar om skönlitteratur och film som ett medel för att nå ett ökat historiemedvetande är splittrade och även om de flesta kan se fördelen med fiktiva berättelser samt att många önskar mer av den typen av undervisning för att öka intresset och förståelsen, har de svårt att se hur det ska hinnas med.

This thesis is about techniques for proving the functional correctness of Abstract Data Type (ADT) implementations. We provide a framework for proving the functional correctness of imperative language implementations of ADTs, using a theory of refinement. We develop a theory of refinement to reason about both declarative and imperative language implementations of ADTs. Our theory facilitates compositional reasoning about complex implementations that may use several layers of sub-ADTs. Based on our theory of refinement, we propose a methodology for proving the functional correctness of an existing imperative language implementation of an ADT. We propose a mechanizable translation from an abstract model in the Z language to an abstract implementation in VCC’s ghost language. Then we present a technique to carry out the refinement checks completely within the VCC tool. We apply our proposed methodology to prove the functional correctness of the scheduling-related functionality of FreeRTOS, a popular open-source real-time operating system. We focused on the scheduler-related functionality, found major deviations from the intended behavior, and did a machine-checked proof of the correctness of the fixed code. We also present an efficient way to phrase the refinement conditions in VCC, which considerably improves VCC’s performance. We evaluated this technique on a simplified version of FreeRTOS which we constructed for this verification exercise. Using our efficient approach, VCC always terminates and leads to a reduction of over 90% in the total time taken by a naive check, when evaluated on this case-study.

Text in Afrikaans / This thesis entitled The contribution of Erich Mayer towards the establishment of an aesthetic consciousness and the promotion of an art identity in South Africa to the end of the 1930s, is a study of the ideas, ideals and contributions of the German-Jewish artist Erich Mayer concerning the establishment of a national art identity in South Africa. Mayer was born in Germany in 1876. Because of ill health he came to South Africa, where he settled in 1898 and developed an affinity with the Afrikaner pioneers in the rural areas. This natural connection with the Afrikaner pioneers was the main motivation behind his participation in the Anglo-Boer War. With his sound European background and training at various art academies in Berlin and Stuttgart, he soon realised that a knowledge of European art history or any awareness of an aesthetic consciousness concerning the fine and applied arts was sadly lacking within the general South African community and more specifically amongst the early Afrikaners. As a student, Mayer developed a keen interest in traditional German arts and crafts, which, according to him, contributed to the specific national Germanic character. This interest prompted him to conduct research and document examples of folk art among the Afrikaners as well as other indigenous communities, in an attempt to establish an aesthetic awareness in South Africans, and more specifically among Afrikaners. Mayer was of the opinion that the development and marketing of these cultural objects and artefacts would contribute towards a unique art identity with a strong South African national character. Apart from his interests in the fine and applied arts, Mayer also researched the vernacular architecture, furniture design and household articles of both Afrikaner pioneers and Africans. He travelled widely in South Africa, researching his interests and presented lectures on these themes which he published in newspapers and magazines in an effort to create an awareness of the rich indigenous folk art. / Hierdie proefskrif is 'n studie oor die bydrae van die Duits-Joodse kunstenaar Erich Mayer tot die vestiging van 'n estetiese bewussyn en die bevordering van 'n kunsidentiteit in Suid-Afrika tot aan die einde van die 1930's. Mayer is in 1876 in Duitsland gebore. Weens gesondheidsredes het hy hom in 1898 in Suid-Afrika gevestig waar hy veral met die Boerepioniers op die platteland geidentifiseer het em hom gou tuis gevoel het in die landelike milieu. Hierdie natuurlike toegeneentheid tot die vroee Afrikaners het aanleiding gegee tot sy later deelname aan die Anglo-Boereoorlog. Met sy grondige Europese agtergrond en opleiding aan verskillende kunsakademies in Berlyn en Stuttgart, het Mayer gou besef dat die Suid-Afrikaanse gemeenskap in die algemeen, maar veral die vroee Afrikaners in die besonder, 'n algehele gebrek geopenbaar het aan enige Euopese kunshistoriese kennis of enige estetiese bewussyn oor die beeldende en toegepaste kunste. Mayer is vroeg reeds blootgestel aan en het besonder belanggestel in die kunshandwerk van die Duitsers wat deel uitgemaak het van eeue-oue Duitse tradisies en wat bygedra het tot die unieke nasionale volksaard van die Duitsers. Met hierdie belangstelling het Mayer stelselmatig begin om die unieke kunshandwerk van die Afrikanerpioniers te versamel. Hy het hier 'n geleentheid gesien om via voorbeelde van plaaslike kunshandwerk 'n estetiese bewussyn by die Suid-Afrikaans gemeenskap en meer spesifiek by die Afrikaner aan te wakker. Mayer was van mening dat die sinvolle ontwikkeling en bemarking van hierdie kulturele voorwerpe en ontwerpe daartoe sou kon bydra om 'n eie kunsidentiteit met sterk nasionale karakter in Suid-Afrika tot stand te bring. Wat die beeldende en toegepaste kunste betref, het Mayer 'n wye belangstellingsveld gehad en het hy ook omvattende navorsing oor die inheemse boukuns, meubelontwerpe en kunshandwerkartikels van die vroee Boerepioniers, asook oor die van die inheemse bevolkingsgroepe, onderneem. Hy het die land deurreis op soek na geskikte voorbeelde van kunshandwerkartikels, gereeld lesings aangebied en artikels gepubliseer, die alledaagse Boerelewe op die platteland visueel gedokumenteer en op die manier 'n besondere ryk nalatenskap daargestel. / History / D. Litt et Phil. (Geskiedenis)

Text in Afrikaans / This thesis entitled The contribution of Erich Mayer towards the establishment of an aesthetic consciousness and the promotion of an art identity in South Africa to the end of the 1930s, is a study of the ideas, ideals and contributions of the German-Jewish artist Erich Mayer concerning the establishment of a national art identity in South Africa. Mayer was born in Germany in 1876. Because of ill health he came to South Africa, where he settled in 1898 and developed an affinity with the Afrikaner pioneers in the rural areas. This natural connection with the Afrikaner pioneers was the main motivation behind his participation in the Anglo-Boer War. With his sound European background and training at various art academies in Berlin and Stuttgart, he soon realised that a knowledge of European art history or any awareness of an aesthetic consciousness concerning the fine and applied arts was sadly lacking within the general South African community and more specifically amongst the early Afrikaners. As a student, Mayer developed a keen interest in traditional German arts and crafts, which, according to him, contributed to the specific national Germanic character. This interest prompted him to conduct research and document examples of folk art among the Afrikaners as well as other indigenous communities, in an attempt to establish an aesthetic awareness in South Africans, and more specifically among Afrikaners. Mayer was of the opinion that the development and marketing of these cultural objects and artefacts would contribute towards a unique art identity with a strong South African national character. Apart from his interests in the fine and applied arts, Mayer also researched the vernacular architecture, furniture design and household articles of both Afrikaner pioneers and Africans. He travelled widely in South Africa, researching his interests and presented lectures on these themes which he published in newspapers and magazines in an effort to create an awareness of the rich indigenous folk art. / Hierdie proefskrif is 'n studie oor die bydrae van die Duits-Joodse kunstenaar Erich Mayer tot die vestiging van 'n estetiese bewussyn en die bevordering van 'n kunsidentiteit in Suid-Afrika tot aan die einde van die 1930's. Mayer is in 1876 in Duitsland gebore. Weens gesondheidsredes het hy hom in 1898 in Suid-Afrika gevestig waar hy veral met die Boerepioniers op die platteland geidentifiseer het em hom gou tuis gevoel het in die landelike milieu. Hierdie natuurlike toegeneentheid tot die vroee Afrikaners het aanleiding gegee tot sy later deelname aan die Anglo-Boereoorlog. Met sy grondige Europese agtergrond en opleiding aan verskillende kunsakademies in Berlyn en Stuttgart, het Mayer gou besef dat die Suid-Afrikaanse gemeenskap in die algemeen, maar veral die vroee Afrikaners in die besonder, 'n algehele gebrek geopenbaar het aan enige Euopese kunshistoriese kennis of enige estetiese bewussyn oor die beeldende en toegepaste kunste. Mayer is vroeg reeds blootgestel aan en het besonder belanggestel in die kunshandwerk van die Duitsers wat deel uitgemaak het van eeue-oue Duitse tradisies en wat bygedra het tot die unieke nasionale volksaard van die Duitsers. Met hierdie belangstelling het Mayer stelselmatig begin om die unieke kunshandwerk van die Afrikanerpioniers te versamel. Hy het hier 'n geleentheid gesien om via voorbeelde van plaaslike kunshandwerk 'n estetiese bewussyn by die Suid-Afrikaans gemeenskap en meer spesifiek by die Afrikaner aan te wakker. Mayer was van mening dat die sinvolle ontwikkeling en bemarking van hierdie kulturele voorwerpe en ontwerpe daartoe sou kon bydra om 'n eie kunsidentiteit met sterk nasionale karakter in Suid-Afrika tot stand te bring. Wat die beeldende en toegepaste kunste betref, het Mayer 'n wye belangstellingsveld gehad en het hy ook omvattende navorsing oor die inheemse boukuns, meubelontwerpe en kunshandwerkartikels van die vroee Boerepioniers, asook oor die van die inheemse bevolkingsgroepe, onderneem. Hy het die land deurreis op soek na geskikte voorbeelde van kunshandwerkartikels, gereeld lesings aangebied en artikels gepubliseer, die alledaagse Boerelewe op die platteland visueel gedokumenteer en op die manier 'n besondere ryk nalatenskap daargestel. / History / D. Litt et Phil. (Geskiedenis)