Information Flow for ALGOL-like Languages

In this paper we present an approach to information flow analysis for a family of languages. We start with a simple imperative language. We present an information flow analysis using a flow logic. The paper contains detailed correctness proofs for this analysis. We next extend the analysis to a restricted form of Idealised Algol, a call-by-value higher-order extension of the simple imperative language (the key restriction being the lack of recursion). The paper concludes with a discussion of further extensions, including a probabilistic extension of Idealised Algol.

Extending Agent Languages for Autonomy

BDI agent languages provide a useful abstraction for complex systems comprised of interactive autonomous entities, but they have been used mostly in the context of single agents with a static plan library of behaviours invoked reactively. These languages provide a theoretically sound basis for agent design but are very limited in providing direct support for autonomy and societal cooperation needed for large scale systems. Some techniques for autonomy and cooperation have been explored in the past in ad hoc implementations, but not incorporated in any agent language. In order to address these shortcomings we extend the well known AgentSpeak(L) BDI agent language to include behaviour generation through planning, declarative goals and motivated goal adoption. We also develop a language-specific multiagent cooperation scheme and, to address potential problems arising from autonomy in a multiagent system, we extend our agents with a mechanism for norm processing leveraging existing theoretical work. These extensions allow for greater autonomy in the resulting systems, enabling them to synthesise new behaviours at runtime and to cooperate in non-scripted patterns.

Adaptivity in programming languages

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. An adaptive device is made up of an underlying formalism, for instance, an automaton, a grammar, a decision tree, etc., and an adaptive mechanism, responsible for providing features for self-modification. Adaptive languages are obtained by using some programming language as the device’s underlying formalism. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

Conception of adaptive programming languages

Adaptive devices show the characteristic of dynamically change themselves in response to input stimuli with no interference of external agents. Occasional changes in behaviour are immediately detected by the devices, which right away react spontaneously to them. Chronologically such devices derived from researches in the field of formal languages and automata. However, formalism spurred applications in several other fields. Based on the operation of adaptive automata, the elementary ideas generanting programming adaptive languages are presented.

Adaptive languages and a new programming style

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

Contribuição à implementação da coordenação modular da construção no Brasil

A Coordenação Modular pode ser entendida como a ordenação dos espaços na construção civil. Surgiu entre a Primeira (1914-1918) e a Segunda (1939-1945) Guerras Mundiais e contribuiu de forma fundamental na reconstrução de edificações residenciais nos países destruídos pela guerra, principalmente na Alemanha, em função da rapidez e da redução de custos proporcionadas pela sua utilização. A partir de então, muitos estudos surgiram, aprofundando o assunto e mostrando os imensos benefícios que a Coordenação Modular trouxe para a racionalização e a industrialização na construção civil em um grande número de países, sendo amplamente difundida e, hoje se sabe, utilizada. O Brasil foi um dos pioneiros, em nível mundial, a aprovar uma norma de Coordenação Modular, a NB-25R, em 1950, tendo os anos 70 e início dos 80 tomados por seus conceitos e estudos a respeito. Apesar disso, poucos objetivos foram alcançados mesmo com toda a promoção para a racionalização da construção. As atuais preocupações com as questões ambientais, de produtividade e de redução de custos no setor são aliados para uma retomada dos estudos de Coordenação Modular, que se mostra como um fator fundamental para que se traga à construção civil os benefícios que a industrialização trouxe a outros setores industriais. Foi realizado um levantamento histórico, em que são abordadas as questões relativas ao uso do módulo na arquitetura e sua evolução até a Coordenação Modular, os princípios e conceitos mais importantes de sua teoria e as ações realizadas em favor de sua implantação no Brasil As últimas ações identificadas foram as normas publicadas em 1982, pouco antes do fechamento do Banco Nacional da Habitação, até então o principal incentivador da Coordenação Modular. Em seguida a esse hiato de duas décadas em que ficou praticamente esquecida, estudou-se a situação atual da indústria da construção civil sob alguns aspectos e partiu-se em busca do que pode ser feito para a implementação da Coordenação Modular no país. Chegou-se à conclusão de que, apesar dos entraves existentes, o Programa Brasileiro de Produtividade e Qualidade no Habitat (PBQP-H) mostra-se como um instrumento propício para essa implementação, pois, além de contar com o suporte estatal, tem influência sobre todos os intervenientes da cadeia produtiva.

Planejamento estratégico da cadeia de suprimentos: uma contribuição aos modelos de decisões comprar/fazer através da aplicação de uma estrutura de análise de decisão no caso do Consórcio Modular em Resende

Trata das diferentes formas que uma empresa pode executar suas atividades na sua cadeia produtiva, quer seja pela integração vertical, pela terceirização, ou por uma estrutura intermediária denominada Supply Chain Manegement. Aborda os diferentes modelos de análise de terceirização das atividades a fim de atuar no planejamento da Cadeia de Suprimentos, para, em seguida, propor uma estrutura de análise na tomada de decisão comprar ou fazer. A estrutura proposta é aplicada no Consórcio Modular em Resende.

Sistema modular de gestão de águas residuárias domiciliares : uma opção mais sustentável para a gestão de resíduos líquidos

Sistemas convencionais de coleta e tratamento de esgotos domiciliares apresentam níveis de eficiência técnica e econômica nem sempre compatíveis com a realidade de alguns assentamentos humanos. A observação da história e da atualidade dos sistemas de tratamento e disposição dos esgotos, mostra uma permanente deficiência do tratamento dos resíduos líquidos. O estudo do uso da água e do ciclo hidrológico, ressalta a importância de que a intervenção humana neste ciclo se dê de forma sustentável. Um sistema que trate as águas servidas no local, e permita o aproveitamento dos poluentes destas águas na forma de insumos para a produção vegetal, devolvendo-as, purificadas para o ciclo hidrológico, pela evapotranspiração e infiltração no solo, certamente é mais sustentável que a maioria das soluções hoje adotadas. Neste trabalho, a partir de uma revisão bibliográfica sobre alternativas tecnológicas, é apresentado um estudo comparativo de diferentes sistemas de coleta e tratamento de esgotos tendo como variáveis de análise os custos de construção, operação e manutenção, a área necessária para a implantação do sistema, os volumes dos lodos e dos gases produzidos, e a qualidade do efluente do tratamento. O tratamento, em separado, das águas residuárias residenciais, apoia-se em vários estudos realizados nos últimos anos, em especial da microbiologia dos esgotos. Destacam-se os que apontam a eficiência do tratamento diretamente relacionada à concentração dos esgotos e justificam a separação das águas negras (descargas hídricas dos vasos sanitários), das cinzas (demais águas servidas) Os estudos para o tratamento das águas cinzas, especificamente, onde se demonstra que estas últimas não têm os elevados índices de poluição das águas negras, permitem tratamentos mais simplificados e econômicos. Estes fundamentos estão aplicados em um sistema modular com separação das águas (SMSA), proposto neste trabalho, um sistema de construção simples, que utiliza materiais comuns, que requer pouca manutenção e não necessita de energia externa para o seu funcionamento. Este sistema proporciona um tratamento final seguro, pela disposição dos efluentes previamente tratados, no leito de evapotranspiração e infiltração que, bem operado, pode oferecer um tratamento a nível terciário. Palavras-chave: saneamento; tratamentos

Modelagem e avaliação de um sistema modular para gerenciamento de informação na WEB

A Internet tem expandido a área de atuação das empresas aproximando mercados, empresas, pessoas e gerando mudanças significativas no paradigma das relações de trabalho. Juntamente, a chamada “revolução da informação” e a expansão da competitividade entre as empresas no mercado global ocasionaram um movimento de reformulação nas próprias estruturas administrativas das organizações de forma que a informação e o conhecimento passaram a ser vistos como recursos organizacionais tão importantes quanto a mão-de-obra ou a matéria-prima. Estas mudanças revolucionaram os mais diversos processos organizacionais, sobretudo aqueles relacionados com a gestão do conhecimento e da informação. Neste contexto, a problemática do gerenciamento de informação pode ser identificada como desafio crucial, o qual tem sido abordado tanto no cenário acadêmico quanto no cenário empresarial. Assim, o desenvolvimento de meios e métodos para operacionalização do gerenciamento de conteúdos é tema desta dissertação, que objetiva, através da aplicação da metodologia de pesquisa-ação, apresentar a descrição funcional um sistema modular para gerenciamento de conteúdo em ambiente web. Também são discutidos aspectos relacionados com a aplicação prática do sistema em diferentes websites, e realizada uma avaliação onde se constatou que os gestores estão satisfeitos, não apresentando dificuldade de uso, e ainda obtiveram resultados positivos com o uso da ferramenta.

A Modular and digitally programmable interface based on band-pass sigma-delta modulator for mixed-signal systems-on-chip

The focus of this thesis is to discuss the development and modeling of an interface architecture to be employed for interfacing analog signals in mixed-signal SOC. We claim that the approach that is going to be presented is able to achieve wide frequency range, and covers a large range of applications with constant performance, allied to digital configuration compatibility. Our primary assumptions are to use a fixed analog block and to promote application configurability in the digital domain, which leads to a mixed-signal interface. The use of a fixed analog block avoids the performance loss common to configurable analog blocks. The usage of configurability on the digital domain makes possible the use of all existing tools for high level design, simulation and synthesis to implement the target application, with very good performance prediction. The proposed approach utilizes the concept of frequency translation (mixing) of the input signal followed by its conversion to the ΣΔ domain, which makes possible the use of a fairly constant analog block, and also, a uniform treatment of input signal from DC to high frequencies. The programmability is performed in the ΣΔ digital domain where performance can be closely achieved according to application specification. The interface performance theoretical and simulation model are developed for design space exploration and for physical design support. Two prototypes are built and characterized to validate the proposed model and to implement some application examples. The usage of this interface as a multi-band parametric ADC and as a two channels analog multiplier and adder are shown. The multi-channel analog interface architecture is also presented. The characterization measurements support the main advantages of the approach proposed.

Estudo para a padronização das dimensões de unidades de alvenaria estrutural no Brasil através do uso da coordenação modular

Este estudo apresenta uma proposta para a padronização das dimensões de unidades de alvenaria estrutural no Brasil. Para isso, primeiramente são discutidos os benefícios da aplicação da teoria da coordenação modular na alvenaria estrutural, através da relação da coordenação modular com a arquitetura e da síntese dos seus princípios fundamentais. Tendo sempre o foco na padronização do componente modular e no seu uso em projetos coordenados modularmente. Em seguida, é apresentada a situação da alvenaria estrutural no Brasil e na Alemanha, observando principalmente o uso da coordenação modular, as características das unidades, do projeto e da execução nesse processo construtivo. Destacamse os problemas enfrentados no Brasil, onde adaptações do projeto arquitetônico de edifícios em concreto armado para projetos em alvenaria estrutural aumentam os custos e problemas no processo construtivo. A principal razão para isto é que as unidades de alvenaria não são coordenadas modularmente e necessitam rigorosa padronização. Assim, finalmente, a partir dos aspectos condicionantes para as dimensões das unidades de alvenaria estrutural é possível alcançar o objetivo central deste trabalho que é a sugestão à indústria brasileira de uma série de medidas preferidas para a padronização das dimensões de unidades de alvenaria estrutural no Brasil, apresentando os possíveis arranjos de paredes e elaborando um projeto piloto coordenado modularmente, sem que haja a restrição da liberdade criativa dos arquitetos.