The Sensor Network Workbench: Towards Functional Specification, Verification and Deployment of Constrained Distributed Systems

As the commoditization of sensing, actuation and communication hardware increases, so does the potential for dynamically tasked sense and respond networked systems (i.e., Sensor Networks or SNs) to replace existing disjoint and inflexible special-purpose deployments (closed-circuit security video, anti-theft sensors, etc.). While various solutions have emerged to many individual SN-centric challenges (e.g., power management, communication protocols, role assignment), perhaps the largest remaining obstacle to widespread SN deployment is that those who wish to deploy, utilize, and maintain a programmable Sensor Network lack the programming and systems expertise to do so. The contributions of this thesis centers on the design, development and deployment of the SN Workbench (snBench). snBench embodies an accessible, modular programming platform coupled with a flexible and extensible run-time system that, together, support the entire life-cycle of distributed sensory services. As it is impossible to find a one-size-fits-all programming interface, this work advocates the use of tiered layers of abstraction that enable a variety of high-level, domain specific languages to be compiled to a common (thin-waist) tasking language; this common tasking language is statically verified and can be subsequently re-translated, if needed, for execution on a wide variety of hardware platforms. snBench provides: (1) a common sensory tasking language (Instruction Set Architecture) powerful enough to express complex SN services, yet simple enough to be executed by highly constrained resources with soft, real-time constraints, (2) a prototype high-level language (and corresponding compiler) to illustrate the utility of the common tasking language and the tiered programming approach in this domain, (3) an execution environment and a run-time support infrastructure that abstract a collection of heterogeneous resources into a single virtual Sensor Network, tasked via this common tasking language, and (4) novel formal methods (i.e., static analysis techniques) that verify safety properties and infer implicit resource constraints to facilitate resource allocation for new services. This thesis presents these components in detail, as well as two specific case-studies: the use of snBench to integrate physical and wireless network security, and the use of snBench as the foundation for semester-long student projects in a graduate-level Software Engineering course.

Dimensionamento de um pavilhão industrial metálico com fundações indirectas

Trabalho de projecto para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização em Estruturas

Acompanhamento da construção do edifício Focus Lx na Avenida António Augusto de Aguiar

Relatório de Estágio para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Edificações

Vocabulário técnico e formação dos profissionais da área têxtil: necessidade, elaboração e avaliação de um dicionário de terminologia do vestuário

This research work deals with the compilation of a dictionary on clothing terminology intended to be used as a pedagogic tool as part of the teaching and learning process in the Textile Engineering Course at the Federal University of Rio Grande do Norte. The main terms were selected and assessed by a team of textile teachers and students with the objective to be structured as a conceptual body of information on the following sub-areas of clothing terminology: materials (fabrics and trimmings) and products (garments). This research comprises three main steps: (a) characterization and understanding of the technical vocabulary in the clothing area as well as the identification of a pedagogic demand for a dictionary on clothing terminology, clearly expressed by the textile lecturers and students involved in the assessment of the need and validation of this project development; (b) a proposal for a specific methodology for the compilation of the dictionary which could help the communication process in the lecturing of clothing terminology and (c) based on the terminological principles and the technique of focal groups the dictionary was assessed. The technique of focal groups was used in the first step. In the second step the technique used was that of the terminological methodology adapted to the teaching approach in the Textile Course. In the third step the technique of focal groups was again utilized. It was observed that the main concern of lecturers and students is the lack of a standardized vocabulary, which renders difficult the communication process in both the teaching and learning activities as well as the professional ones in the textile industries. Various aspects, which can overlap, cause this lack of standardization. The main ones pointed out by the study team in the focal groups are: usage of regional words or expressions, usage of foreign words or expressions, analogies, and the low level of formal education, mainly among the industry workers. Another aspect to be considered is the lack of textile literature written in the Portuguese language of Brazil. This evidence shows the importance of a clothing terminology dictionary which will benefit both the education and professional activties in this field of knowledge. This dictionary will also give a substantial contribution to terminological standardization in our research field. With view to fulfill this demand, a dictionary of clothing terminology was compiled with 760 main entries, according to the modern practice in terminology with the necessary modifications concerning our needs. The result of the dictionary assessment was very assertive regarding its structure, contents and possible use in various contexts. The team work emphasized their contribution to the standardization process of the terms that proved to be one of the most important and difficult aspects of this researh work. The significance of this structured terminological dictionary was confirmed by the focal group participants relating to its use for teaching and learning activities, as a reference book, as a source of technical information and also as a tool for pedagogic studies and planning, as well as a significant collaboration to the pedagogic practices in the textile engineering course at University or any other educational institution. Besides, this dictionary can also be used to supply information within the textile field. We are aware that the present work will not exhaust the objectives of this research due to its limitations in opposition to the vast complexity demanded by the compilation of a complete work including all the areas and sub-areas of textile engineering. However, it is an important source for dissemination of concepts on the field of clothing terminology and a tool to effective standardization of the terms used in this subject field

Dificuldades na construção de gráficos de funções

This study describes about graduation s students difficulties of to draw functions graph. Specifically, we intend to observe their abilities evolution, as well as their difficulties during Calculus I subject in engineering course. For that, we show them publications about the elaboration of graphs and its difficulties in obstacle terms and some researches witch contain this subject and that it was done during postgraduate studies in mathematical education. It shows by research methodology aspects related to French didatic s mathematic and some theories of cognitive psychology considering the high value between theoretical-methodological relation that was evidenced in both theoretical conceptions about ways to understand and teach mathematic. This methodology is based on didactic engineering purpose, that consist in preliminaries analysis, conception and didactic sequence analysis prior, trials by application followed analysis up and conclusion. We had also used pedagogicals actions and analysis of results achieved, to classify types of errors made by the 2005 s students during second semester, from conceptions related to the episthemologic and didactics obstacles

The dimension of the pore space in sponges

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

An efficient methodological approach in the didatic of automation applied to integrated manufacturing

This work presents challenges and solutions for the teaching and learning of automation applied to integrated manufacturing by means of a methodological approach based on techniques, tools and industrial equipment directly applicable in the industry. The approach was implemented in a control and automation engineering course divided into expositive and laboratory classes. Since the success of the approach is mainly from the practical activities, the article focus more on activities developed in laboratory than theorical classes. Copyright © 2007 IFAC.

Environment for teaching and development of mobile robot systems

Using robots for teaching is one approach that has gathered good results on Middle-School, High-School and Universities. Robotics gives chance to experiment concepts of a broad range of disciplines, principally those from Engineering courses and Computer Science. However, there are not many kits that enables the use of robotics in classroom. This article describes the methodologies to implement tools which serves as test beds for the use of robotics to teach Computer Science and Engineering. Therefore, it proposes the development of a flexible, low cost hardware to integrate sensors and control actuators commonly found on mobile robots, the development of a mobile robot device whose sensors and actuators allows the experimentation of different concepts, and an environment for the implementation of control algorithms through a computer network. This paper describes each one of these tools and discusses the implementation issues and future works. © 2010 IEEE.

O ensino do conceito de integral, em sala de aula, com recursos da história da matemática e da resolução de problemas

Pós-graduação em Educação Matemática - IGCE

O ensino do cálculo diferencial e integral na Escola Politécnica de São Paulo, no ano de 1904: uma análise documental

Pós-graduação em Educação Matemática - IGCE

A percepção de docentes, discentes e egressos do curso de engenharia civil - campus de Bauru: sobre algumas questões curriculares

Pós-graduação em Educação - FFC

Influências do Projeto Baja SAE no ensino da engenharia e no desenvolvimento do aluno

This work aims to show the importance of Baja SAE Project in engineering education, as well as the development of the student, being an outstanding tool for the engineering student has an education that meets the objectives of the pedagogical university and also the guidelines Ministry of Education curriculum for engineering courses. The Baja SAE Project provides the engineering students the chance to apply in practice the knowledge acquired in the classroom, to enhance their preparation for the labor market. The student becomes involved with a real case of project development, from concept design, detailed design and construction. The Baja SAE Project redefines the position of the student as an active element in the learning process engineering, leaving behind the simple condition of receiving information. Values procedures that provide students the opportunity to learn in contexts of professional practice, while offering the opportunity to contextualize the execution of a project. From an analysis to develop personal skills, Baja SAE Project has its own characteristics and essential for professional practice, however, not specific to the engineering course. For example, capacity for teamwork, communication skills written and oral, ethical behavior, critical, overview, entrepreneurial spirit, leadership, etc

Discussão do projeto pedagógico de um curso avaliado no provão com conceito 'A' por cinco vezes consecutivas

This paper presents the drafting process of a pedagogical project developed and implemented in the Electrical Engineering Course at Faculty of Engineering, Campus Guaratinguetá UNESP. Applying the project in this course resulted in "A" concept classification in the old National Examination Course, known as MEC General Test (Provão), for five consecutive times. The text presents pre-existing scenario which culminated with the preparation of this new project, the points that guided its construction, the deployment strategy adopted, changing paradigms implemented and results obtained. The text also emphasizes the reasons which led it to be adopted as a starting point for the development of educational projects which resulted in the deployment of two new courses: Electrical Engineering from the Universidade Estadual de Londrina – UEL, and Engineering course control and Automation of Experimental Campus Sorocaba – UNESP.

Treinamento básico sobre operação e segurança operacional de máquinas agrícolas

The study is intended to portray the experiment of mechanical engineering course academicians’ that work on health and labor security field, at the project “Primary Training of Operation and Operational Security of Agricultural Machines”, by practical and theoretical content for workers of a rural community, aiming operational security orientation on their work activities.

Tipologia e freqüência de métodos de ensino em disciplinas de formação profissionalizante em engenharia de produção

A globalização dos mercados trouxe, para o cenário brasileiro, impactos políticos, socioecônomicos e culturais enfatizando a figura de um homem, denominado cidadão do mundo. Devido às próprias limitações humanas, em um mundo em que as mudanças são constantes, esse cidadão tem como característica ser um eterno aprendiz. A universidade, locus de produção de identidade do país e cuja função social é formar indivíduos neste novo contexto global, se encontra em um dilema existencial: pesquisa e ensino; a superação dessa dicotomia poderá derivar de novas relações humanas na formação do sujeito-coletivo que constrói sua identidade através das possibilidades de diversidades do mundo que o circunda. Estando na aprendizagem, para a aquisição de conhecimentos ou o desenvolvimento de habilidades e atitudes pelas experiências educativas, o papel do docente como mediador em organizar estratégias (métodos e técnicas de ensino) para que o discente conheça e crie a cultura. O objetivo desta pesquisa é mapear a tipologia e freqüência de métodos de ensino em disciplinas de formação profissionalizante em engenharia de produção. Identificar, através de um estudo teórico e revisão bibliográfica, os tipos e métodos mais utilizados no ensino superior do curso de engenharia de produção, bem como as vantagens, limitações e habilidades desenvolvidas segundo a utilização adequada dessas técnicas. No estudo de caso, se analisam os métodos de ensino e as competências necessárias nas disciplinas profissionalizantes do curso de engenharia de produção mecânica da escola de engenharia de São Carlos cujos métodos de coleta foram através de questionário para os discentes e entrevistas junto aos docentes. Embora haja uma variedade de técnicas socializantes que deveriam atender aos objetivos específicos de cada disciplina, os avanços tornam-se despercebidos pela descrição da técnica. Ao menosprezar a conduta e observação docente (dimensão técnica/ética/política), durante o processo, o docente abdica de sua autoridade no processo de ensino/aprendizagem; as limitações, como a aula expositiva tradicional (centrando o conhecimento no professor), têm se tornado fonte de estagnação, desfavorecendo a amplitude do desenvolvimento do potencial humano e fazendo com que o discente não se torne co-autor de seu processo de aprender a aprender, pois limita sua fonte de investigação, criatividade e anseio de desafio.