Thesis (M.S. in Physical Oceanography) Naval Postgraduate School, June 2001. / Thesis advisor, Mary L. Batteen. Includes bibliographical references (p. 57-58). Also Available online.

This paper builds on a technical report written by Carl Hewitt and Henry Baker called "Actors and Continuous Functionals". What is called a "goal-oriented activity" in that paper will be referred to in this paper as a "transaction". The word "transaction" brings to mind an object closer in function to what we wish to present than does the word "activity". This memo, therefore, presents the definitions of a reply and a transaction as given in Hewitt and Baker's paper and points out some discrepancies in their definitions. That is, that the properties of transactions and replies as they were defined did not correspond with our intuitions, and thus the definitions should be changed. The issues of what should constitute a transaction are discussed, and a new definition is presented which eliminates the discrepancies caused by the original definitions. Some properties of the newly defined transactions are discussed, and it is shown that the results of Hewitt and Baker's paper still hold given the new definitions.

Thesis (M.S. in Applied Physics) Naval Postgraduate School, June 1997. / Thesis advisors, Gordon Schacher, Donald P. Brutzman. Includes bibliographical references (p. 165). Also available online.

This manual describes the Design Procedure Language (DPL) for LSI design. DPL creates and maintains a representation of a design in a hierarchically organized, object-oriented LISP data-base. Designing in DPL involves writing programs (Design Procedures) which construct and manipulate descriptions of a project. The programs use a call-by-keyword syntax and may be entered interactively or written by other programs. DPL is the layout language for the LISP-based Integrated Circuit design system (LISPIC) being developed at the Artificial Intelligence Laboratory at MIT. The LISPIC design environment will combine a large set of design tools that interact through a common data-base. This manual is for prospective users of the DPL and covers the information necessary to design a project with the language. The philosophy and goals of the LISPIC system as well as some details of the DPL data-base are also discussed.

Den forensiska vetenskapen innefattar en mängd olika vetenskaper som tillämpas för att bistå och besvara frågor av intresse för rättsväsendet. Skoavtrycksjämförelser har använts sedan slutet av 1700-talet för att bistå i brottsutredningar. Genom att undersöka egenskaper hos ett skoavtryck kan en forensiker ge utredaren värdefull information om skon och ibland även om bäraren. I bästa fall är skoavtrycket så unikt att det kan individualiseras och identifieras till en specifik sko. För att underlätta och förbättra den forensiska bevisvärderingen är det av stort intresse att statistiskt erhålla förekomsten av ett bevis. Genom att samla in data gällande sulmönster och sedan etablera en databas kan styrkan hos ett specifikt skoavtryck fastställas. I denna studie samlades 687 avtryck in slumpmässigt och lades in i ett visualiserat databasklassificeringssystem, SIMSALAPIM, varpå en statistisk utvärdering utfördes. Resultatet i denna studie visar på att ett specifikt sulmönster generellt förekommer endast en gång i databasen, varför det kan sägas att ett skoavtryck tillför en viss styrka/värde som forensiskt bevis även om det inte besitter några individualiserande detaljer. Vidare, genom ytterliggare statistiska utvärderingar, kunde även ett samband mellan ålder och typ av sko ses. / The Forensic Science comprises a variety of sciences that are applied in order to assist and answer questions of interest to the legal system. Since the end of the 18th century footwear impression comparison has been applied to assist in crime investigations. By examining the characteristics of a footwear impression the forensic scientist may provide the investigator with valuable information about the footwear and sometimes even about the wearer. Ultimately, the footwear impression is so unique that it can be individualized and identified to a specific shoe. In order to facilitate and improve the forensic evidence evaluation it is of great interest to statistically establish the prevalence of evidence. By collecting data of outsole patterns and then recording it in a database the strength of a specific footwear impression can be determined. In this survey 687 impressions were randomly collected and recorded in a visualised database classification system, SIMSALAPIM1, whereupon a statistical evaluation was performed. The result of this survey indicates that a specific outsole pattern typically only occurs once in the database, wherefore it can be stated that any footwear impression provides some strength/value as forensic evidence even though there are no individual characteristics present. Moreover, through additional statistical evaluations, a relation between age and shoe type also was revealed.

<p>Den forensiska vetenskapen innefattar en mängd olika vetenskaper som tillämpas för att bistå och besvara frågor av intresse för rättsväsendet. Skoavtrycksjämförelser har använts sedan slutet av 1700-talet för att bistå i brottsutredningar. Genom att undersöka egenskaper hos ett skoavtryck kan en forensiker ge utredaren värdefull information om skon och ibland även om bäraren. I bästa fall är skoavtrycket så unikt att det kan individualiseras och identifieras till en specifik sko.</p><p>För att underlätta och förbättra den forensiska bevisvärderingen är det av stort intresse att statistiskt erhålla förekomsten av ett bevis. Genom att samla in data gällande sulmönster och sedan etablera en databas kan styrkan hos ett specifikt skoavtryck fastställas. I denna studie samlades 687 avtryck in slumpmässigt och lades in i ett visualiserat databasklassificeringssystem, SIMSALAPIM, varpå en statistisk utvärdering utfördes.</p><p>Resultatet i denna studie visar på att ett specifikt sulmönster generellt förekommer endast en gång i databasen, varför det kan sägas att ett skoavtryck tillför en viss styrka/värde som forensiskt bevis även om det inte besitter några individualiserande detaljer. Vidare, genom ytterliggare statistiska utvärderingar, kunde även ett samband mellan ålder och typ av sko ses.</p> / <p>The Forensic Science comprises a variety of sciences that are applied in order to assist and answer questions of interest to the legal system. Since the end of the 18th century footwear impression comparison has been applied to assist in crime investigations. By examining the characteristics of a footwear impression the forensic scientist may provide the investigator with valuable information about the footwear and sometimes even about the wearer. Ultimately, the footwear impression is so unique that it can be individualized and identified to a specific shoe.</p><p>In order to facilitate and improve the forensic evidence evaluation it is of great interest to statistically establish the prevalence of evidence. By collecting data of outsole patterns and then recording it in a database the strength of a specific footwear impression can be determined. In this survey 687 impressions were randomly collected and recorded in a visualised database classification system, SIMSALAPIM1, whereupon a statistical evaluation was performed.</p><p>The result of this survey indicates that a specific outsole pattern typically only occurs once in the database, wherefore it can be stated that any footwear impression provides some strength/value as forensic evidence even though there are no individual characteristics present. Moreover, through additional statistical evaluations, a relation between age and shoe type also was revealed.</p>

Orientador: Carlos Roberto Valêncio / Banca: Nalvo Franco de Almeida Junior / Banca: José Márcio Machado / Resumo: Um dos grandes desa os e di culdades para se obter conhecimento de fontes de dados e garantir consistência e a não duplicidade das informações armazenadas. Diversas técnicas e algoritmos têm sido propostos para minimizar o custoso trabalho de permitir que os dados sejam analisados e corrigidos. Porém, ainda há outras vertentes essenciais para se obter sucesso no processo de limpeza de dados, e envolvem diversas areas tecnológicas: desempenho computacional, semântica e autonomia do processo. Diante desse cenário, foi desenvolvido um ambiente data cleaningque contempla uma coleção de ferramentas de suporte a análise e transformação de dados de forma automática, extensível, com suporte semântico e aprendizado, independente de idioma. O objetivo deste trabalho e propor um ambiente cujas contribuições cobrem problemas ainda pouco explorados pela comunidade científica area de limpeza de dados como semântica e autonomia na execução da limpeza e possui, dentre seus objetivos, diminuir a interação do usuário no processo de análise e correção de inconsistências e duplicidades. Dentre as contribuições do ambiente desenvolvido, a eficácia se mostras significativa, cobrindo aproximadamente 90% do total de inconsistências presentes na base de dados, com percentual de casos de falsos-positivos 0% sem necessidade da interação do usuário / Abstract: One of the great challenges and di culties to obtain knowledge from data sources is to ensure consistency and non-duplication of stored data. Many techniques and algorithms have been proposed to minimize the hard work to allow data to be analyzed and corrected. However, there are still other essential aspects for the data cleaning process success which involve many technological areas: performance, semantic and process autonomy. Against this backdrop, an data cleaning environment has been developed which includes a collec-tion of tools for automatic data analysis and processing, extensible, with multi-language semantic and learning support. The objective of this work is to propose an environment whose contributions cover problems yet explored by data cleaning scienti c community as semantic and autonomy in data cleaning process and it has, among its objectives, to re-duce user interaction in the process of analyzing and correcting data inconsistencies and duplications. Among the contributions of the developed environment, e ciency is signi -cant exhibitions, covering approximately 90% of database inconsistencies, with the 0% of false positives cases without the user interaction need / Mestre

CAPES / O aumento da coleta de dados biológicos e a ausência de uma padronização em pesquisas científicas requer uma melhor gestão da informação. O objetivo desta dissertação é propor um modelo de banco de dados para os pesquisadores do mero no Brasil, visando a melhor análise e centralização da informação. Na seleção de atributos foram utilizados conhecimentos das Áreas de Biologia e de Informática em uma abordagem multiprofissional. Foi pesquisada e elaborada uma seleção de atributos retirados da literatura científica especializada nacional e internacional, e validados mediante a aplicação de uma entrevista com especialista envolvido em pesquisas com o peixe Mero (Epinephelus Itajara). Ao final da pesquisa foram selecionados atributos que agrupados em tabelas foram usados na criação do banco de dados, nele foram inseridas as informações biológicas, ecológicas, geográficas coletadas de artigos e com especialistas. Com a criação deste modelo de banco de dados busca-se estabelecer uma integração entre todos os pesquisadores envolvidos, a fim de se criar uma base única de armazenamento e consulta em tempo real das informações. Constata-se que, com a padronização na coleta de dados e informações sobre esta espécie, pode-se promover um melhor status de avaliação e gestão de conservação da espécie. / The increase in data collect of biological and the lack of standardization in scientific research requires improved information management. The objective of this dissertation is to propose a model database for further analysis and centralization of information for brasilian scientists of mero. In the selection of attributes were used knowledge of the areas of biology and of informatics in a multidisciplinary approach. Was researched and was compiled a selection of attributes removed from from the specialized scientific literature national and international, and validated by the application of an interview with experts involved in research with the fish Mero (Grouper Itajara). At the end of the survey were selected attributes that grouped into tables were used in the creation of the database, it biological, ecological, geographical information collected from articles and with experts. With the creation of this database seeks to establish integration between all of the researchers involved in order to create a single query and storage base in real time information. It is noted that, with the standardization in the collection of data and information on this species, we can promote a better status of evaluation and management for the conservation of species.

Os dados de clientes nas empresas são coletados e armazenados em um Banco de Dados e sua administração requer o uso de uma ferramenta computacional. A construção de um modelo de Perfil de Cliente a partir de um banco de dados requer o processo descoberta de conhecimento em uma base de dados. Essa busca de conhecimento e extração de padrões das bases de dados demanda a utilização de um aplicativo com capacidade analítica para extrair informações que estão implícitas e desconhecidas, porém, potencialmente úteis. Um Banco de Dados por meio do processo de recuperação é capaz de obter informações dos clientes, mas a dificuldade é de que esses sistemas não geram padrões. Estes Bancos de dados contêm uma quantidade expressiva de atributos, os quais podem prejudicar o processo de extração de padrões. Assim, métodos de redução de dimensionalidade são empregados para eliminar atributos redundantes e melhorar o desempenho do processo de aprendizagem tanto na velocidade quanto na taxa de acerto. Também identificam um subconjunto de atributos relevantes e ideal para uma determinada base de dados. Os dois métodos de redução utilizados nesta pesquisa foram: Seleção de Atributos e Conceitos de Framework, até então não aplicados no domínio de Clientes. O Método de Seleção de Atributos tem o intuito de identificar os atributos relevantes para uma tarefa alvo na Mineração de Dados, levando em conta os atributos originais. Já os Conceitos de Framework promovem sucessivos refinamentos nos atributos que podem levar a construção de um modelo mais consistente em um domínio de aplicação. A presente pesquisa aplicou esses dois métodos para comparação destes no domínio Clientes,usando três bases de dados chamadas: Stalog, Customere Insurance. Identificaram-se cinco etapas principais para a comparação dos dois métodos de redução: Preparação das Bases de Dados, Escolha das Bases de Dados, Aplicação dos Métodos de Seleção de Atributos e dos Conceitos de Framework, Execução dos Algoritmos de Classificação e Avaliação dos Resultados. Com a operacionalização das cinco etapas, compostas por vários processos, foi possível comparar os dois métodos e identificar os melhores algoritmos que aumentam a taxa de acerto dos algoritmos classificadores e consequentemente gerar os atributos mais relevantes para uma base de dados, aumentando o desempenho do processo de aprendizagem. Desta forma, com os melhores subconjuntos identificados é possível submetê-los a aplicação de tarefas da Mineração de Dados as quais permitem a construção de regras que ajudam na Gestão do Conhecimento do Perfil do Cliente. / Information related to the Customers at companies are collected and stored in databases. The administration of these data often requires the use of a computational tool. The building of a Customer Profile model from the database requires the process of knowledge discovery in databases. This search of knowledge and extraction patterns of the databases demands the use of a tool with analytics capability to extract information that are implicit, and are previously unknown, but, potentially useful. A data base through of the recovery of date, obtain information of the Customers, but the difficulty is in the fact of these systems do not generate patterns. However, these databases have an expressive amount of data, where redundant information it prejudices this process of patterns extraction. Thus, dimensionality reduction methods are employed to remove redundant information and improve the performance of the learning processes the speed as in the performance of classifier. Furthermore, it identifies a subset of relevant and ideal attributes for a determinate database. The two methods of dimensionality reduction used in this search were: Attribute Selection and Framework Concepts which theretofore were not applied in Customer domain. The Attribute Selection Method has as goal to identify the relevant attributes for a target task, taking into account the original attributes. Considering the Framework Concepts it promotes successive refinements on the attributes where can tale he building of a model more consistent application domain. The present search applied these two methods in order to comparison of these in the Customer domain, using three databases called: Stalog, Customer e Insurance. This paper identified five main steps in order to comparison of the two methods: Preparation of Database, Choice of Database, Application of the Attributes Selection and Framework Concepts Methods, Execution of the Algorithms of the Classification and Evaluation of the Results. With the implementation of theses five steps composed of several processes, it was possible to compare the two methods and identify the best classifiers algorithms and consequently to create the attributes more relevant for a database, increasingthe performance of the learning process. Of this way, with the best subset identified is possible submit them to the application of the Data Mining Tasks which allow the building of rules that help the Knowledge Management of Customer Profile.

CAPES / O aumento da coleta de dados biológicos e a ausência de uma padronização em pesquisas científicas requer uma melhor gestão da informação. O objetivo desta dissertação é propor um modelo de banco de dados para os pesquisadores do mero no Brasil, visando a melhor análise e centralização da informação. Na seleção de atributos foram utilizados conhecimentos das Áreas de Biologia e de Informática em uma abordagem multiprofissional. Foi pesquisada e elaborada uma seleção de atributos retirados da literatura científica especializada nacional e internacional, e validados mediante a aplicação de uma entrevista com especialista envolvido em pesquisas com o peixe Mero (Epinephelus Itajara). Ao final da pesquisa foram selecionados atributos que agrupados em tabelas foram usados na criação do banco de dados, nele foram inseridas as informações biológicas, ecológicas, geográficas coletadas de artigos e com especialistas. Com a criação deste modelo de banco de dados busca-se estabelecer uma integração entre todos os pesquisadores envolvidos, a fim de se criar uma base única de armazenamento e consulta em tempo real das informações. Constata-se que, com a padronização na coleta de dados e informações sobre esta espécie, pode-se promover um melhor status de avaliação e gestão de conservação da espécie. / The increase in data collect of biological and the lack of standardization in scientific research requires improved information management. The objective of this dissertation is to propose a model database for further analysis and centralization of information for brasilian scientists of mero. In the selection of attributes were used knowledge of the areas of biology and of informatics in a multidisciplinary approach. Was researched and was compiled a selection of attributes removed from from the specialized scientific literature national and international, and validated by the application of an interview with experts involved in research with the fish Mero (Grouper Itajara). At the end of the survey were selected attributes that grouped into tables were used in the creation of the database, it biological, ecological, geographical information collected from articles and with experts. With the creation of this database seeks to establish integration between all of the researchers involved in order to create a single query and storage base in real time information. It is noted that, with the standardization in the collection of data and information on this species, we can promote a better status of evaluation and management for the conservation of species.