Acoustic Design in Urban Development : analysis of urban soundscapes and acoustic ecology research in New York City

The world is urbanizing rapidly with more than half of the global population now living in cities. Improving urban environments for the well-being of the increasing number of urban citizens is becoming one of the most important challenges of the 21st century. Even though it is common that city planners have visions of a ’good urban milieu’, those visions are concerning visual aesthetics or practical matters. The qualitative perspective of sound, such as sonic diversity and acoustic ecology are neglected aspects in architectural design. Urban planners and politicians are therefore largely unaware of the importance of sounds for the intrinsic quality of a place. Whenever environmental acoustics is on the agenda, the topic is noise abatement or noise legislation – a quantitative attenuation of sounds. Some architects may involve acoustical aspects in their work but sound design or acoustic design has yet to develop to a distinct discipline and be incorporated in urban planning.My aim was to investigate to what extent the urban soundscape is likely to improve if modern architectural techniques merge with principles of acoustics. This is an important, yet unexplored, research area. My study explores and analyses the acoustical aspects in urban development and includes interviews with practitioners in the field of urban acoustics, situated in New York City. My conclusion is that to achieve a better understanding of the human living conditions in mega-cities, there is a need to include sonic components into the holistic sense of urban development.

Knowledge based crime scenario modelling

A crucial concern in the evaluation of evidence related to a major crime is the formulation of sufficient alternative plausible scenarios that can explain the available evidence. However, software aimed at assisting human crime investigators by automatically constructing crime scenarios from evidence is difficult to develop because of the almost infinite variation of plausible crime scenarios. This paper introduces a novel knowledge driven methodology for crime scenario construction and it presents a decision support system based on it. The approach works by storing the component events of the scenarios instead of entire scenarios and by providing an algorithm that can instantiate and compose these component events into useful scenarios. The scenario composition approach is highly adaptable to unanticipated cases because it allows component events to match the case under investigation in many different ways. Given a description of the available evidence, it generates a network of plausible scenarios that can then be analysed to devise effective evidence collection strategies. The applicability of the ideas presented here are demonstrated by means of a realistic example and prototype decision support software.

Institucionalização do knowledge based view: um estudo das práticas gerenciais de gestão do conhecimento e suas contribuições para a competitividade das empresas do setor elétrico-eletrônico

A gestão do conhecimento (GC) é uma das recentes abordagens da administração contemporânea, cujo foco engloba o conceito de conhecimento como recurso estratégico, sendo que suas técnicas, práticas e iniciativas gerenciais encontram-se em momento de consolidação. Muitos estudos acadêmicos sobre gestão do conhecimento estão sendo realizados no campo da Administração, com o objetivo de sistematizar os conceitos, as práticas e as contribuições para o poder de competição das empresas (NONAKA e TAKEUCHI, 1997; EISENHARDT e SANTOS, 2000; PROBST, RAUB e ROMHARDT,2002; DALKIR, 2005). Esta pesquisa objetivou classificar as empresas do setor elétricoeletrônico brasileiro de acordo com o estágio de institucionalização da gestão do conhecimento, bem como verificar as contribuições das práticas de GC para seu poder competitivo. Foi realizado um survey a partir da listagem de 553 empresas elétricas e eletrônicas atuantes no Brasil e participantes da Associação Brasileira da Indústria Elétrica e Eletrônica (ABINEE), tendo sido averiguada uma amostra formada por 56 empresas respondentes. Os principais resultados encontrados foram: a) as empresas pesquisadas estão nos estágios iniciais de institucionalização de GC e b) as contribuições para o poder de competição, realizadas com adoção das práticas de GC, tinham como objetivo fortalecer a cultura de compartilhamento e disseminação do conhecimento, bem como, criar o ambiente favorável para o trabalho em equipe.

Evaluating the existence of structural change in the brazilian term structure of interest: evidence based on cointegration models with structural break

This paper investigates whether there is evidence of structural change in the Brazilian term structure of interest rates. Multivariate cointegration techniques are used to verify this evidence. Two econometrics models are estimated. The rst one is a Vector Autoregressive Model with Error Correction Mechanism (VECM) with smooth transition in the deterministic coe¢ cients (Ripatti and Saikkonen [25]). The second one is a VECM with abrupt structural change formulated by Hansen [13]. Two datasets were analysed. The rst one contains a nominal interest rate with maturity up to three years. The second data set focuses on maturity up to one year. The rst data set focuses on a sample period from 1995 to 2010 and the second from 1998 to 2010. The frequency is monthly. The estimated models suggest the existence of structural change in the Brazilian term structure. It was possible to document the existence of multiple regimes using both techniques for both databases. The risk premium for di¤erent spreads varied considerably during the earliest period of both samples and seemed to converge to stable and lower values at the end of the sample period. Long-term risk premiums seemed to converge to inter-national standards, although the Brazilian term structure is still subject to liquidity problems for longer maturities.

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

Additive genetic relationship of longevity with fertility and production traits in Nellore cattle based on bivariate models

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

Knowledge-based integrated Production Management Model applied to automotive companies

This paper aims to examine the relevance of a production management model, in the shop-floor operations environment, that integrates the dimensions of production organisation (lean and mass production), work organisation (enriched and semi-autonomous groups) and knowledge management. A theoretical model has been applied to automotive companies to verify model adherence. Each of those dimensions has been described by factors. Shop-floor personnel interviews were conducted to confirm the factors relevance to that company. Results have shown that the model represented the reality of those companies concerning the researched dimensions. The factors allow managers to promote a favourable context for knowledge sharing. © 2010 Inderscience Enterprises Ltd.

Structural Health Monitoring based on AR models and PZT sensors

This paper presents a new approach for damage detection in Structural Health Monitoring (SHM) systems, which is based on the Electromechanical Impedance (EMI) principle and Autoregressive (AR) models. Typical applications of EMI in SHM are based on computing the Frequency Response Function (FRF). In this work the procedure is based on the EMI principle but the results are determined through the coefficients of AR models, which are computed from the time response of PZT transducers bonded to the monitored structure, and acting as actuator and sensors at the same time. The procedure is based on exciting the PZT transducers using a wide band chirp signal and getting its time response. The AR models are obtained in both healthy and damaged conditions and used to compute statistics indexes. Practical tests were carried out in an aluminum plate and the results have demonstrated the effectiveness of the proposed method. © 2012 IEEE.

Diferentes modelos o estilos de desarrollo = Different development models or styles

Incluye Bibliografía

Technological dynamism and social inclusion in Latin America: a resource-based production development strategy

Includes bibliography