A methodology for building energy modelling and calibration in warm climates

PEDRINI, Aldomar; WESTPHAL, F. S.; LAMBERT, R.. A methodology for building energy modelling and calibration in warm climates. Building And Environment, Australia, n. 37, p.903-912, 2002. Disponível em: <http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6V23-45HWPGF-2-41&_cdi=5691&_user=687335&_pii=S0360132302000513&_origin=search&_coverDate=09%2F30%2F2002&_sk=999629991&view=c&wchp=dGLzVtb-zSkzV&md5=f6342003b53dd1448e30308d082ba957&ie=/sdarticle.pdf>. Acesso em: 04 out. 2010.

A methodology for building energy modelling and calibration in warm climates

PEDRINI, Aldomar; WESTPHAL, F. S.; LAMBERT, R.. A methodology for building energy modelling and calibration in warm climates. Building And Environment, Australia, n. 37, p.903-912, 2002. Disponível em: <http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6V23-45HWPGF-2-41&_cdi=5691&_user=687335&_pii=S0360132302000513&_origin=search&_coverDate=09%2F30%2F2002&_sk=999629991&view=c&wchp=dGLzVtb-zSkzV&md5=f6342003b53dd1448e30308d082ba957&ie=/sdarticle.pdf>. Acesso em: 04 out. 2010.

Cinema e educação :interfaces, conceitos e práticas docentes

This project goes beyond the interfacial field of cinema, History and education. We take as our object the epistemological potential of the cinema at the educational scenario, specifically the use of films integrated to the practices of History teachers and educative processes in which we have taken part as a builder. Our objective is to map, initially, the knowledge around this use to search a synthesis and its empirical application. From the methodological point of view, we have made use of different perspectives: (a) interviews with the educator subjects; (b) observation of their practices and formative circumstances; (c) filmic analysis and the relation of the cinema s epistemology with the other areas ones (initially History and further Journalism). Our analysis allowed us to portrait the film such as an epistemological-troubling category, what makes the cinema rather a builder technology and not simply a complementary and illustrative technological resource. Therefore, we have realized that the restriction to the cinema s educational function is linked to the restrictions to the theoretical categories to an only interfacial aspect: historical film as a film which portraits the past (at the historical field) and film on journalism as a film which approaches a single object of Journalism (at the journalistic field). These discussions happen, consequently, at the arena of the nature of cinema s genres (fiction and documentary), which are understood in a naïve way, simpler than its epistemological possibilities, boosted at this research when we analyze the confluence between fiction and reality. The reflections on educative practices and in formation related to the cinema had occurred in three empirical realities: research with professors in performance, practices docent s and accompaniment of students of history. Have to do with our personal career as a teacher and researcher and, when analyzed other practices, have become, unavoidably, the subject and object of this project

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers