51 |
The semantics, formal correctness and implementation of history variables in an imperative programming language : a thesis submitted in partial fulfilment of the requirements for the degree of Master of Science in the University of Canterbury /Mallon, Ryan. January 2006 (has links)
Thesis (M. Sc.)--University of Canterbury, 2006. / Typescript (photocopy). Includes bibliographical references (p. 141-148). Also available via the World Wide Web.
|
52 |
Μέθοδος και λογισμικό εξομοίωσης ηχητικών συστημάτων για κάλυψη μουσικών εκδηλώσεωνΓουγουλάκης, Απόστολος 09 January 2012 (has links)
Η παρούσα διπλωματική εργασία ασχολείται με τη μέθοδο αλλά και υλοποίηση ηχητικών συστημάτων με τη χρήση περιβάλλοντος Matlab. Το περιβάλλον το οποίο εξομοιώνουμε είναι μια σκηνή με καθορισμένες διαστάσεις, στην οποία υπολογίζεται η στάθμη ηχητικής πίεσης (SPL), κάνοντας χρήση δύο ηχείων-monitors. Βρίσκουμε το βέλτιστο τρόπο χρήσης των ηχείων και τη θέση του δέκτη σύμφωνα με την ακουστική. Παρουσιάζεται βήμα βήμα η δημιουργία και η εξέλιξη του απαιτούμενου κώδικα, καθώς και ο τρόπος με τον οποίο καταλήγουμε στα συμπεράσματά μας. Τα κυριότερα σημεία των προγραμμάτων που δημιουργήθηκαν παρουσιάζονται στο παράρτημα. / This paper uses Matlab in order to simulate acoustic systems. We have a music stage with given dimensions. We calculate the amount SPL using two monitors and a system of a microphone and a source. The result is to find the better acoustic way to use the two monitors in the stage.
|
53 |
Symbolic and practical facets in the use and production of home medical technology : the example of blood pressure monitoringVasileiou, Konstantina January 2015 (has links)
The value to consider user needs throughout the development of medical devices has been acknowledged in the field of health technology assessment. Yet, user needs are narrowly conceptualised and are mainly examined from an ergonomic perspective. By focusing on the user-device interaction per se with a view to detect use errors and to create design solutions that promote intended use, the dominant approach to user needs research fails to adequately elaborate upon symbolic and practice-related dimensions in the user-technology relationship. Moreover, whilst the examination of user needs from a User standpoint is clearly required, it is also crucial to investigate how the medical device industry understands and addresses this issue, since it is these understandings that will eventually be projected onto the technology. The present research sought to provide a cross-actor account on the issue of user needs by examining the perspectives of two key stakeholders: the users and the medical device manufacturer. Using the example of home blood pressure (BP) monitoring, a qualitative programme of research explored, on the one hand, the process of integrating home blood pressure monitors (HBPMs) into daily life as well as the elements that are conducive to building trust in this technology, and on the other, the practices the medical device manufacturer adopts to capture its users and their needs. The results suggest that people engage with home BP monitoring in an effort to develop an experiential understanding of their health condition reproducing the dominant discourse around the benefits of self-care. Nevertheless, communicating this practice outside the home was not always without tension since concerns around the ascription of undesired identities were expressed. Home measurements were occasionally performed to check the dependability of technology – arguably an unintended device use – indicating the importance of establishing trust in the artefact. Building trust in HBPMs appeared to be a multifaceted phenomenon that was not limited to the perceived trustworthiness of the technology but implicated a network of other trustworthy relationships with humans, institutions and technologies. Medium-to-large medical device manufacturers appear to appreciate the value of a user needs-informed approach to medical device development employing a series of routes, more or less direct and formalised, to reach their user. The challenge for the industry is to synthesise the evidential base deriving from individual user studies to create a higher order knowledge base. The term ‘symbolic’ – also employed in the title of this thesis – signifies people’s representations, reasoning and meanings constructed around the use or production of home medical technology whilst the term ‘practical’ (or practice-related) refers to actions, activities, and routines pertaining to these two aspects.
|
54 |
Determining the Integrity of Applications and Operating Systems using Remote and Local AttestersJanuary 2011 (has links)
abstract: This research describes software based remote attestation schemes for obtaining the integrity of an executing user application and the Operating System (OS) text section of an untrusted client platform. A trusted external entity issues a challenge to the client platform. The challenge is executable code which the client must execute, and the code generates results which are sent to the external entity. These results provide the external entity an assurance as to whether the client application and the OS are in pristine condition. This work also presents a technique where it can be verified that the application which was attested, did not get replaced by a different application after completion of the attestation. The implementation of these three techniques was achieved entirely in software and is backward compatible with legacy machines on the Intel x86 architecture. This research also presents two approaches to incorporating software based "root of trust" using Virtual Machine Monitors (VMMs). The first approach determines the integrity of an executing Guest OS from the Host OS using Linux Kernel-based Virtual Machine (KVM) and qemu emulation software. The second approach implements a small VMM called MIvmm that can be utilized as a trusted codebase to build security applications such as those implemented in this research. MIvmm was conceptualized and implemented without using any existing codebase; its minimal size allows it to be trustworthy. Both the VMM approaches leverage processor support for virtualization in the Intel x86 architecture. / Dissertation/Thesis / Ph.D. Computer Science 2011
|
55 |
Formação e atuação de monitores de visitas escolares de um centro de ciências: saberes e prática reflexivaSilva, Camila Silveira da [UNESP] 18 February 2009 (has links) (PDF)
Made available in DSpace on 2014-06-11T19:24:49Z (GMT). No. of bitstreams: 0
Previous issue date: 2009-02-18Bitstream added on 2014-06-13T19:11:37Z : No. of bitstreams: 1
silva_cs_me_bauru.pdf: 4785996 bytes, checksum: 31f26cc77def8a6434cc3b9e999f8c1a (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Essa pesquisa aborda o tema formação e atuação de monitores de um centro de ciências. Está inserida no contexto de divulgação e educação científica e tecnológica em espaços não-formais. São apresentados dados coletados junto aos monitores do Centro de Ciências de Araraquara (CCA), espaço de educação não-formal e divulgação científica de uma universidade pública paulista. Apresentamos um levantamento bibliográfico sobre a formação dos mediadores de alguns centros e museus de ciências do Brasil e do exterior, bem como o papel atribuído a esses sujeitos nessas instituições e também as contribuições do paradigma do profissional reflexivo para a formação dos monitores. Os sujeitos da pesquisa são os monitores do CCA que participam do programa de visitação escolar monitorada. Os dados nos mostram aspectos sobre as concepções iniciais dos monitores sobre o papel de um centro de ciências na sociedade e sobre os saberes e habilidades necessários a um mediados; sobre o comportamento dos visitantes, as interações sociais que ocorrem durante as visitas escolares, a função do monitor e o seu papel durante a visita, a aprendizagem dos visitantes, os questionamentos dos visitantes, dentre outros elementos, na perspectiva dos monitores. As entrevistas realizadas com os sujeitos forneceram informações significativas sobre o processo de formação de monitores, as expectativas criadas por eles antes da atuação, os momentos mais marcantes decorrentes das ações vivenciadas e sobre o aprimoramento profissional. Uma das ferramentas metodológicas utilizadas foi o Método da Lembrança Estimulada, com o uso de fotos digitais e vídeos das visitas monitoradas realizadas pelos monitores participantes da pesquisa. O Método favorece momentos de reflexão dos sujeitos, o que o torna muito indicado como um recurso metodológico para auxiliar no processo de formação... / The present research is related to the formation and performance of monitors of a science center. The work is inserted in the context of scientific and technological divulgation and education in non-formal spaces. Data collected among the monitors acting on Centro de Ciencias de Araraquara (CCA), a space of non-formal education and scientific divulgation of a public university of the State of São Paulo, are presented. A bibliographic search about the formation of monitors in some centers and museum of science in Brazil and abroad, as well as the role attibuted to these monitors in these institutions and the contributions of the reflexive profession paradigm for the formation of these professional, are reported. The subject of the research is related to the CCA monitors that partipate of a scheduled monitored school visitation program. The data whow the aspects of the initial concepts of the monitors about the role of a science center in the society and the knowledge and abilities required for a monitor, about the behavior of visitors, the social interaction that occur during the visit, the learning process and questions of the visitors, among other subjects, in the monitors' perspective. The interviews carried out with the research subjects gave rise to significant informations about the process of monitor formation, their expectations before each visit, the most remarking moments of their actions during the visits and about their professional development. One of the methodological instruments used during the research was the Stimulated Remembrance Method (SRM), using digital photos and video records of the monitored visits in which the research subjects participated. This Method stimulates moments of reflexion on the research subjects about their actions during the visits, which makes it a powerful instrument in the process of professional development of the monitors in the perspective... (Complete abstract click electronic access below)
|
56 |
Estabelecimentos de campos padroes de raios-x de energias baixas, nivel de radioprotecao, para calibracao de instrumentosOLIVEIRA, ELIANE C. 09 October 2014 (has links)
Made available in DSpace on 2014-10-09T12:42:51Z (GMT). No. of bitstreams: 0 / Made available in DSpace on 2014-10-09T14:08:16Z (GMT). No. of bitstreams: 1
04995.pdf: 5445247 bytes, checksum: 94d30480189048c6bb746a9db426ad86 (MD5) / Dissertacao(Mestrado) / IPEN/D / Instituto de Pesquisas Energeticas e Nucleares - IPEN/CNEN-SP
|
57 |
Calibracao de uma linha de emanacao para determinacao de sup(222) Rn em amostras de agua do marFARIAS, LUCIANA A. 09 October 2014 (has links)
Made available in DSpace on 2014-10-09T12:47:01Z (GMT). No. of bitstreams: 0 / Made available in DSpace on 2014-10-09T14:08:36Z (GMT). No. of bitstreams: 1
08290.pdf: 1216858 bytes, checksum: 06f9803f0f94d1535cd74d6f3549a749 (MD5) / Dissertacao (Mestrado) / IPEN/D / Instituto de Pesquisas Energeticas e Nucleares - IPEN/CNEN-SP
|
58 |
Informatização e unificação dos programas de proteção radiológica: monitoramento das radiações ionizantes e sua otimização / Web-based system to unify the radiological protection programs: ionizing radiation monitoring and optimizationLEVY, DENISE S. 12 November 2015 (has links)
Submitted by Claudinei Pracidelli (cpracide@ipen.br) on 2015-11-12T10:44:49Z
No. of bitstreams: 0 / Made available in DSpace on 2015-11-12T10:44:49Z (GMT). No. of bitstreams: 0 / Tese (Doutorado em Tecnologia Nuclear) / IPEN/T / Instituto de Pesquisas Energeticas e Nucleares - IPEN-CNEN/SP
|
59 |
Algae Computer Simulation: Growth Forecasting Within A Swimming Pool EnvironmentJanuary 2012 (has links)
abstract: An issue with the utilization of swimming pools is that pumps are operated an excessive number of hours to keep the pool free of debris and algae. Case in point, according to the pool industry, a pump should operate one hour for every ten degrees of ambient temperature. A dynamic model and a control strategy have been developed using Matlab/Simulink that uses environmental conditions together with chemicals that hinder or aid algae growth in order to determine algae population. This model suggests ways to function the pump on shorter time intervals to reduce energy consumption, while simultaneously maintaining algae populations at acceptable levels. Other factors included in the model are pool thermal dynamics and pool pump/filter performance characteristics, since they also have an effect algae growth. This thesis presents the first step for an alternative way of operating a swimming pool by minimizing operating costs while eliminating algae. / Dissertation/Thesis / algae simulink model / M.S.Tech Technology 2012
|
60 |
Estabelecimentos de campos padroes de raios-x de energias baixas, nivel de radioprotecao, para calibracao de instrumentosOLIVEIRA, ELIANE C. 09 October 2014 (has links)
Made available in DSpace on 2014-10-09T12:42:51Z (GMT). No. of bitstreams: 0 / Made available in DSpace on 2014-10-09T14:08:16Z (GMT). No. of bitstreams: 1
04995.pdf: 5445247 bytes, checksum: 94d30480189048c6bb746a9db426ad86 (MD5) / Dissertacao(Mestrado) / IPEN/D / Instituto de Pesquisas Energeticas e Nucleares - IPEN/CNEN-SP
|
Page generated in 0.0325 seconds