27 research outputs found
An investigation into evolving support for component reuse
It is common in engineering disciplines for new product development to be based on a concept of reuse, i.e. based on a foundation of knowledge and pre-existing components familiar to the discipline's community. In Software Engineering, this concept is known as software reuse. Software reuse is considered essential if higher quality software and reduced development effort are to be achieved. A crucial part of any engineering development is access to tools that aid development. In software engineering this means having software support tools with which to construct software including tools to support effective software reuse. The evolutionary nature of software means that the foundation of knowledge and components on which new products can be developed must reflect the changes occurring in both the software engineering discipline and the domain in which the software is to function. Therefore, effective support tools, including those used in software reuse, must evolve to reflect changes in both software engineering and the varying domains that use software. This thesis contains a survey of the current understanding of software reuse. Software reuse is defined as the use of knowledge and work components of software that already exist in the development of new software. The survey reflects the belief that domain analysis and software tool support are essential in successful software reuse. The focus of the research is an investigation into the effects of a changing domain on the evolution of support for component-based reuse and domain analysis, and on the application of software reuse support methods and tools to another engineering discipline, namely roll design. To broaden understanding of a changing domain on the evolution of support for software reuse and domain analysis, a prototype for a reuse support environment has been developed for roll designers in the steel industry
Beta-Conversion, Efficiently
Type-checking in dependent type theories relies on conversion, i.e. testing given lambda-terms for equality up to beta-evaluation and alpha-renaming.
Computer tools based on the lambda-calculus currently implement conversion by means of algorithms whose complexity has not been identified, and in some cases even subject to an exponential time overhead with respect to the natural cost models (number of evaluation steps and size of input lambda-terms).
This dissertation shows that in the pure lambda-calculus it is possible to obtain conversion algorithms with bilinear time complexity when evaluation is carried following evaluation strategies that generalize Call-by-Value to the stronger case required by conversion
The extension and application of Swet's theory of information retrieval
Phd ThesisThe thesis comprises (1) 8 critical interpretation of Swets's
contribution to information retrieval, (2) development (i.e.
"extension") of the formalism, as so interpreted, and (3) a
description of an experiment that identifies hypotheses consistent
with the extended formalism. The early sections of the thesis
place the original contribution by Swets in the contexts of both
signal-detection theory and information retrieval theory. It is
then argued that as the original theoretical contribution is
ambiguous in key respects, an interpretation of it is necessary.
The interpretation given constitutes an initial development of
Swets's work but other developments, not simply a consequence of
the interpretation of the original description by Swets, are also
put forward. The major one of these is the explicit incorporation
in the formalism of logical search expressions. Elementary logical
conjuncts of search terms are seen as (1) being weakly ordered by
"document ordering expressions", and (2) having probability-pairs
attached to disjunctions of them defined by the ordering. A major
part of the thesis is the identification of novel hypotheses,
expressed within the extension of the original formalism, which
relate to triples of: (1) instances of information need in medicine,
represented by prespecified partitionings of a medical-literature
data base (MEDLARS), (2) an analytical document ordering expression,
and (3) an algorithmically-derived set of terms characterising the
information need. An enhancement is suggested to data base management
programs that at present employ only user-specified logical
search expressions by way of search input, this enhancement
stemming directly from the extension of the original formalism. The
broad conclusion of the thesis is that when the original contribution
of Swets is suitably interpreted and extended, a robust, hospitable
conceptual framework for describing information retrieval at the
macroscopic level is provided
Disseminação Seletiva da Informação (SDI) : "estado de arte" e tendências futuras
Os serviços de Disseminação Seletiva da Informação (SDI) necessitam de uma conscientização a respeito dos sistemas e bases de dados disponíveis. Um estudo do “estado de arte” dos serviços de SDI foi elaborado considerando-se os seguintes aspectos: características e lógicas existentes, construção de perfis, padronização por parte dos produtores de bases de dados, retroalimenlação, custos, fornecimento de documentos e tendências futuras nesse tipo de serviço
Vereinheitlichte Anfrageverarbeitung in heterogenen und verteilten Multimediadatenbanken
Multimedia retrieval is an essential part of today's world. This situation is observable in industrial domains, e.g., medical imaging, as well as in the private sector, visible by activities in manifold Social Media platforms. This trend led to the creation of a huge environment of multimedia information retrieval services offering multimedia resources for almost any user requests. Indeed, the encompassed data is in general retrievable by (proprietary) APIs and query languages, but unfortunately a unified access is not given due to arising interoperability issues between those services. In this regard, this thesis focuses on two application scenarios, namely a medical retrieval system supporting a radiologist's workflow, as well as an interoperable image retrieval service interconnecting diverse data silos. The scientific contribution of this dissertation is split in three different parts: the first part of this thesis improves the metadata interoperability issue. Here, major contributions to a community-driven, international standardization have been proposed leading to the specification of an API and ontology to enable a unified annotation and retrieval of media resources. The second part issues a metasearch engine especially designed for unified retrieval in distributed and heterogeneous multimedia retrieval environments. This metasearch engine is capable of being operated in a federated as well as autonomous manner inside the aforementioned application scenarios. The remaining third part ensures an efficient retrieval due to the integration of optimization techniques for multimedia retrieval in the overall query execution process of the metasearch engine.Egal ob im industriellen Bereich oder auch im Social Media - multimediale Daten nehmen eine immer zentralere Rolle ein. Aus diesem fortlaufendem Entwicklungsprozess entwickelten sich umfangreiche Informationssysteme, die Daten für zahlreiche Bedürfnisse anbieten. Allerdings ist ein einheitlicher Zugriff auf jene verteilte und heterogene Landschaft von Informationssystemen in der Praxis nicht gewährleistet. Und dies, obwohl die Datenbestände meist über Schnittstellen abrufbar sind. Im Detail widmet sich diese Arbeit mit der Bearbeitung zweier Anwendungsszenarien. Erstens, einem medizinischen System zur Diagnoseunterstützung und zweitens einer interoperablen, verteilten Bildersuche. Der wissenschaftliche Teil der vorliegenden Dissertation gliedert sich in drei Teile: Teil eins befasst sich mit dem Problem der Interoperabilität zwischen verschiedenen Metadatenformaten. In diesem Bereich wurden maßgebliche Beiträge für ein internationales Standardisierungsverfahren entwickelt. Ziel war es, einer Ontologie, sowie einer Programmierschnittstelle einen vereinheitlichten Zugriff auf multimediale Informationen zu ermöglichen. In Teil zwei wird eine externe Metasuchmaschine vorgestellt, die eine einheitliche Anfrageverarbeitung in heterogenen und verteilten Multimediadatenbanken ermöglicht. In den Anwendungsszenarien wird zum einen auf eine föderative, als auch autonome Anfrageverarbeitung eingegangen. Abschließend werden in Teil drei Techniken zur Optimierung von verteilten multimedialen Anfragen präsentiert
Topics in Programming Languages, a Philosophical Analysis through the case of Prolog
[EN]Programming languages seldom find proper anchorage in philosophy of logic, language and science. is more, philosophy of language seems to be restricted to natural languages and linguistics, and even philosophy of logic is rarely framed into programming languages topics. The logic programming paradigm and Prolog are, thus, the most adequate paradigm and programming language to work on this subject, combining natural language processing and linguistics, logic programming and constriction methodology on both algorithms and procedures, on an overall philosophizing declarative status. Not only this, but the dimension of the Fifth Generation Computer system related to strong Al wherein Prolog took a major role. and its historical frame in the very crucial dialectic between procedural and declarative paradigms, structuralist and empiricist biases, serves, in exemplar form, to treat straight ahead philosophy of logic, language and science in the contemporaneous age as well.
In recounting Prolog's philosophical, mechanical and algorithmic harbingers, the opportunity is open to various routes. We herein shall exemplify some:
- the mechanical-computational background explored by Pascal, Leibniz, Boole, Jacquard, Babbage, Konrad Zuse, until reaching to the ACE (Alan Turing) and EDVAC (von Neumann), offering the backbone in computer architecture, and the work of Turing, Church, Gödel, Kleene, von Neumann, Shannon, and others on computability, in parallel lines, throughly studied in detail, permit us to interpret ahead the evolving realm of programming languages. The proper line from lambda-calculus, to the Algol-family, the declarative and procedural split with the C language and Prolog, and the ensuing branching and programming languages explosion and further delimitation, are thereupon inspected as to relate them with the proper syntax, semantics and philosophical élan of logic programming and Prolog
Recommended from our members
Human Reasoning and Description Logics: Applying Psychological Theory to Understand and Improve the Usability of Description Logics
Description Logics (DLs) are now the most commonly used ontology languages, in part because of the development of the Web Ontology Language (OWL) standards. Yet it is accepted that DLs are difficult to comprehend and work with, particularly for ontology users who are not computer scientists. The Manchester OWL Syntax (MOS) was developed to make DLs more accessible, by using English keywords in place of logic symbols or formal language. Nevertheless, DLs continue to present difficulties, even when represented in MOS. There has been some investigation of what features cause difficulties, specifically in the context of understanding how an entailment (i.e. an inference) follows from a justification (i.e. a minimal subset of the ontology that is sufficient for the entailment to hold), as is required when debugging an ontology. However, there has been little attempt to relate these difficulties to how people naturally reason and use language.
This dissertation draws on theories of reasoning from cognitive psychology, and also insights from the philosophy of language, to understand the difficulties experienced with DLs and to make suggestions to mitigate those difficulties. The language features investigated were those known to be commonly used, both on the basis of analyses reported in the literature and after a survey of ontology users. Two experimental studies investigated participants’ ability to reason with DL statements. These studies demonstrate that insights from psychology and the philosophy of language can be used both to understand the difficulties experienced and to make proposals to mitigate those difficulties. The studies suggest that people reason using both the manipulation of syntax and the representation of semantics with mental models; both approaches can lead to errors. Particular difficulties were associated with: functional object properties; negated conjunction; the interaction of negation and the existential or universal restrictions; and nested restrictions. Proposals to mitigate these difficulties include the adoption of new language keywords; tool enhancement, e.g. to provide syntactically alternative expressions; and the introduction during training both of De Morgan’s Laws for conjunction and disjunction, and their analogues for existential and universal restrictions. A third study then investigated the effectiveness of the proposed new keywords; finding that these keywords could mitigate some of the difficulties experienced.
Apart from the immediate applicability of these results to DLs, the approach taken in this dissertation could be extended widely to computer languages, including languages for interacting with databases and with Linked Data. Additionally, based on the experience of the three studies, the dissertation makes some methodological recommendations which are relevant to a range of human-computer interaction studies
Search-based system architecture development using a holistic modeling approach
This dissertation presents an innovative approach to system architecting where search algorithms are used to explore design trade space for good architecture alternatives. Such an approach is achieved by integrating certain model construction, alternative generation, simulation, and assessment processes into a coherent and automated framework. This framework is facilitated by a holistic modeling approach that combines the capabilities of Object Process Methodology (OPM), Colored Petri Net (CPN), and feature model. The resultant holistic model can not only capture the structural, behavioral, and dynamic aspects of a system, allowing simulation and strong analysis methods to be applied, it can also specify the architectural design space. Both object-oriented analysis and design (OOA/D) and domain engineering were exploited to capture design variables and their domains and define architecture generation operations. A fully realized framework (with genetic algorithms as the search algorithm) was developed. Both the proposed framework and its suggested implementation, including the proposed holistic modeling approach and architecture alternative generation operations, are generic. They are targeted at systems that can be specified using object-oriented or process-oriented paradigm. The broad applicability of the proposed approach is demonstrated on two examples. One is the configuration of reconfigurable manufacturing systems (RMSs) under multi-objective optimization and the other is the architecture design of a manned lunar landing system for the Apollo program. The test results show that the proposed approach can cover a huge number of architecture alternatives and support the assessment of several performance measures. A set of quality results was obtained after running the optimization algorithm following the proposed framework --Abstract, page iii