Extração de casos de teste utilizando Redes de Petri hierárquicas e validação de resultados utilizando OWL.

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (bottom-up), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um reasoner para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma análise manual mantendo a mesma cobertura do sistema. A validação provou-se condizente com os resultados esperados, bem como o modelo ontológico mostrouse bem fácil e intuitivo para aplicar manutenções.

Knowledge elicitation and knowledge representation in a large domain with multiple experts

This paper describes the knowledge elicitation and knowledge representation aspects of a system being developed to help with the design and maintenance of relational data bases. The size algorithmic components. In addition, the domain contains multiple experts, but any given expert's knowledge of this large domain is only partial. The paper discusses the methods and techniques used for knowledge elicitation, which was based on a "broad and shallow" approach at first, moving to a "narrow and deep" one later, and describes the models used for knowledge representation, which were based on a layered "generic and variants" approach. © 1995.

Minutes of evidence and report of the special committee of the House of assembly of Lower Canada on the bill to make a new division of the province into counties for the purpose of a more equal representation in the House of assembly.

Mode of access: Internet.

Social representation in the U.S. military.

Shipping list no.: 90-118-P.

Mapping the determinants in owl monkey CD4 and CCR5 that allow entry of early-stage HIV-1 Env variants

Thesis (Master's)--University of Washington, 2016-06

An investigation into the use of knowledge representation in computer-integrated manufacturing

In a certain automobile factory, batch-painting of the body types in colours is controlled by an allocation system. This tries to balance production with orders, whilst making optimally-sized batches of colours. Sequences of cars entering painting cannot be optimised for easy selection of colour and batch size. `Over-production' is not allowed, in order to reduce buffer stocks of unsold vehicles. Paint quality is degraded by random effects. This thesis describes a toolkit which supports IKBS in an object-centred formalism. The intended domain of use for the toolkit is flexible manufacturing. A sizeable application program was developed, using the toolkit, to test the validity of the IKBS approach in solving the real manufacturing problem above, for which an existing conventional program was already being used. A detailed statistical analysis of the operating circumstances of the program was made to evaluate the likely need for the more flexible type of program for which the toolkit was intended. The IKBS program captures the many disparate and conflicting constraints in the scheduling knowledge and emulates the behaviour of the program installed in the factory. In the factory system, many possible, newly-discovered, heuristics would be awkward to represent and it would be impossible to make many new extensions. The representation scheme is capable of admitting changes to the knowledge, relying on the inherent encapsulating properties of object-centres programming to protect and isolate data. The object-centred scheme is supported by an enhancement of the `C' programming language and runs under BSD 4.2 UNIX. The structuring technique, using objects, provides a mechanism for separating control of expression of rule-based knowledge from the knowledge itself and allowing explicit `contexts', within which appropriate expression of knowledge can be done. Facilities are provided for acquisition of knowledge in a consistent manner.

Sparse Signal Representation in Digital and Biological Systems

Theories of sparse signal representation, wherein a signal is decomposed as the sum of a small number of constituent elements, play increasing roles in both mathematical signal processing and neuroscience. This happens despite the differences between signal models in the two domains. After reviewing preliminary material on sparse signal models, I use work on compressed sensing for the electron tomography of biological structures as a target for exploring the efficacy of sparse signal reconstruction in a challenging application domain. My research in this area addresses a topic of keen interest to the biological microscopy community, and has resulted in the development of tomographic reconstruction software which is competitive with the state of the art in its field. Moving from the linear signal domain into the nonlinear dynamics of neural encoding, I explain the sparse coding hypothesis in neuroscience and its relationship with olfaction in locusts. I implement a numerical ODE model of the activity of neural populations responsible for sparse odor coding in locusts as part of a project involving offset spiking in the Kenyon cells. I also explain the validation procedures we have devised to help assess the model's similarity to the biology. The thesis concludes with the development of a new, simplified model of locust olfactory network activity, which seeks with some success to explain statistical properties of the sparse coding processes carried out in the network.

A Component of the Xanthomonadaceae Type IV Secretion System Combines a VirB7 Motif with a N0 Domain Found in Outer Membrane Transport Proteins

Type IV secretion systems (T4SS) are used by Gram-negative bacteria to translocate protein and DNA substrates across the cell envelope and into target cells. Translocation across the outer membrane is achieved via a ringed tetradecameric outer membrane complex made up of a small VirB7 lipoprotein (normally 30 to 45 residues in the mature form) and the C-terminal domains of the VirB9 and VirB10 subunits. Several species from the genera of Xanthomonas phytopathogens possess an uncharacterized type IV secretion system with some distinguishing features, one of which is an unusually large VirB7 subunit (118 residues in the mature form). Here, we report the NMR and 1.0 angstrom X-ray structures of the VirB7 subunit from Xanthomonas citri subsp. citri (VirB7(XAC2622)) and its interaction with VirB9. NMR solution studies show that residues 27-41 of the disordered flexible N-terminal region of VirB7(XAC2622) interact specifically with the VirB9 C-terminal domain, resulting in a significant reduction in the conformational freedom of both regions. VirB7(XAC2622) has a unique C-terminal domain whose topology is strikingly similar to that of N0 domains found in proteins from different systems involved in transport across the bacterial outer membrane. We show that VirB7(XAC2622) oligomerizes through interactions involving conserved residues in the N0 domain and residues 42-49 within the flexible N-terminal region and that these homotropic interactions can persist in the presence of heterotropic interactions with VirB9. Finally, we propose that VirB(7XAC2622) oligomerization is compatible with the core complex structure in a manner such that the N0 domains form an extra layer on the perimeter of the tetradecameric ring.

Distribution, expression, and motif variability of ankyrin domain genes in Wolbachia pipientis

The endosymbiotic bacterium Wolbachia pipientis infects a wide range of arthropods, in which it induces a variety of reproductive phenotypes, including cytoplasmic incompatibility (CI), parthenogenesis, male killing, and reversal of genetic sex determination. The recent sequencing and annotation of the first Wolbachia genome revealed an unusually high number of genes encoding ankyrin domain (ANK) repeats. These ANK genes are likely to be important in mediating the Wolbachia-host interaction. In this work we determined the distribution and expression of the different ANK genes found in the sequenced Wolbachia wMel genome in nine Wolbachia strains that induce different phenotypic effects in their hosts. A comparison of the ANK genes of wMel and the non-CI-inducing wAu Wolbachia strain revealed significant differences between the strains. This was reflected in sequence variability in shared genes that could result in alterations in the encoded proteins, such as motif deletions, amino acid insertions, and in some cases disruptions due to insertion of transposable elements and premature stops. In addition, one wMel ANK gene, which is part of an operon, was absent in the wAu genome. These variations are likely to affect the affinity, function, and cellular location of the predicted proteins encoded by these genes.

Mental evolution and development: Evidence for secondary representation in children, great apes, and other animals

Recent interest in the development and evolution of theory of mind has provided a wealth of information about representational skills in both children and animals, According to J, Perrier (1991), children begin to entertain secondary representations in the 2nd year of life. This advance manifests in their passing hidden displacement tasks, engaging in pretense and means-ends reasoning, interpreting external representations, displaying mirror self-recognition and empathic behavior, and showing an early understanding of mind and imitation. New data show a cluster of mental accomplishments in great apes that is very similar to that observed in 2-year-old humans. It is suggested that it is most parsimonious to assume that this cognitive profile is of homologous origin and that great apes possess secondary representational capacity. Evidence from animals other than apes is scant. This analysis leads to a number of predictions for future research.

Somatotopic organization and cortical projections of the ventrobasal complex of the flying fox: an "inverted" wing representation in the thalamus

The present study investigates the somatotopic representation in the somatosensory thalamus of a megachiropteran bat. Using standard microelectrode mapping techniques, representational maps were generated for the ventrobasal (Vb) and posterior (Po) thalamic complexes of the Grey-headed flying fox. Anatomical tracing from neocortical injections provided additional data confirming the somatotopy found physiologically. A full representation of the body surface innervated by the trigeminal and spinal nerves was found. However, in contrast with other mammals, the representations of the forelimb and adjacent thoracic trunk within the thalamus were inverted. This means that the distal portions of the wing membrane and the tips of the digits were represented dorsally in Vb, and the thoracic trunk was represented ventrally In Po the digit tips were represented in the ventral most portion and the thoracic trunk in the dorsal portion of the nucleus. These results are discussed in relation to similarities of megachiropteran somatosensory thalamic nuclei to those of other mammalian species and in relation to the formation of thalamic somatotopic maps and fiber sorting.

Enabling inter-domain transactions in bridge-based hybrid wired/wireless PROFIBUS networks

The marriage of emerging information technologies with control technologies is a major driving force that, in the context of the factory-floor, is creating an enormous eagerness for extending the capabilities of currently available fieldbus networks to cover functionalities not considered up to a recent past. Providing wireless capabilities to such type of communication networks is a big share of that effort. The RFieldbus European project is just one example, where PROFIBUS was provided with suitable extensions for implementing hybrid wired/wireless communication systems. In RFieldbus, interoperability between wired and wireless components is achieved by the use specific intermediate networking systems operating as repeaters, thus creating a single logical ring (SLR) network. The main advantage of the SLR approach is that the effort for protocol extensions is not significant. However, a multiple logical ring (MLR) approach provides traffic and error isolation between different network segments. This concept was introduced in, where an approach for a bridge-based architecture was briefly outlined. This paper will focus on the details of the inter-Domain Protocol (IDP), which is responsible for handling transactions between different network domains (wired or wireless) running the PROFIBUS protocol.

Engineering Temporal and Spatial Aspects in OWL using Patterns

WWW is a huge, open, heterogeneous system, however its contents data is mainly human oriented. The Semantic Web needs to assure that data is readable and “understandable” to intelligent software agents, though the use of explicit and formal semantics. Ontologies constitute a privileged artifact for capturing the semantic of the WWW data. Temporal and spatial dimensions are transversal to the generality of knowledge domains and therefore are fundamental for the reasoning process of software agents. Representing temporal/spatial evolution of concepts and their relations in OWL (W3C standard for ontologies) it is not straightforward. Although proposed several strategies to tackle this problem but there is still no formal and standard approach. This work main goal consists of development of methods/tools to support the engineering of temporal and spatial aspects in intelligent systems through the use of OWL ontologies. An existing method for ontology engineering, Fonte was used as framework for the development of this work. As main contributions of this work Fonte was re-engineered in order to: i) support the spatial dimension; ii) work with OWL Ontologies; iii) and support the application of Ontology Design Patterns. Finally, the capabilities of the proposed approach were demonstrated by engineering time and space in a demo ontology about football.

Fractional Dynamics Representation in the Pseudo Phase Plane

Proceedings of the 10th Conference on Dynamical Systems Theory and Applications

Res Publica: Citizenship and Political Representation in Portugal, 1820-1926

The term res publica (literally “thing of the people”) was coined by the Romans to translate the Greek word politeia, which, as we know, referred to a political community organised in accordance with certain principles, amongst which the notion of the “good life” (as against exclusively private interests) was paramount. This ideal also came to be known as political virtue. To achieve it, it was necessary to combine the best of each “constitutional” type and avoid their worst aspects (tyranny, oligarchy and ochlocracy). Hence, the term acquired from the Greeks a sense of being a “mixed” and “balanced” system. Anyone that was entitled to citizenship could participate in the governance of the “public thing”. This implied the institutionalization of open debate and confrontation between interested parties as a way of achieving the consensus necessary to ensure that man the political animal, who fought with words and reason, prevailed over his “natural” counterpart. These premises lie at the heart of the project which is now being presented under the title of Res Publica: Citizenship and Political Representation in Portugal, 1820-1926. The fact that it is integrated into the centenary commemorations of the establishment of the Republic in Portugal is significant, as it was the idea of revolution – with its promise of rupture and change – that inspired it. However, it has also sought to explore events that could be considered the precursor of democratization in the history of Portugal, namely the vintista, setembrista and patuleia revolutions. It is true that the republican regime was opposed to the monarchic. However, although the thesis that monarchy would inevitably lead to tyranny had held sway for centuries, it had also been long believed that the monarchic system could be as “politically virtuous” as a republic (in the strict sense of the word) provided that power was not concentrated in the hands of a single individual. Moreover, various historical experiments had shown that republics could also degenerate into Caesarism and different kinds of despotism. Thus, when absolutism began to be overturned in continental Europe in the name of the natural rights of man and the new social pact theories, initiating the difficult process of (written) constitutionalization, the monarchic principle began to be qualified as a “monarchy hedged by republican institutions”, a situation in which not even the king was exempt from isonomy. This context justifies the time frame chosen here, as it captures the various changes and continuities that run through it. Having rejected the imperative mandate and the reinstatement of the model of corporative representation (which did not mean that, in new contexts, this might not be revived, or that the second chamber established by the Constitutional Charter of 1826 might not be given another lease of life), a new power base was convened: national sovereignty, a precept that would be shared by the monarchic constitutions of 1822 and 1838, and by the republican one of 1911. This followed the French example (manifested in the monarchic constitution of 1791 and in the Spanish constitution of 1812), as not even republicans entertained a tradition of republicanism based upon popular sovereignty. This enables us to better understand the rejection of direct democracy and universal suffrage, and also the long incapacitation (concerning voting and standing for office) of the vast body of “passive” citizens, justified by “enlightened”, property- and gender-based criteria. Although the republicans had promised in the propaganda phase to alter this situation, they ultimately failed to do so. Indeed, throughout the whole period under analysis, the realisation of the potential of national sovereignty was mediated above all by the individual citizen through his choice of representatives. However, this representation was indirect and took place at national level, in the hope that action would be motivated not by particular local interests but by the common good, as dictated by reason. This was considered the only way for the law to be virtuous, a requirement that was also manifested in the separation and balance of powers. As sovereignty was postulated as single and indivisible, so would be the nation that gave it soul and the State that embodied it. Although these characteristics were common to foreign paradigms of reference, in Portugal, the constitutionalization process also sought to nationalise the idea of Empire. Indeed, this had been the overriding purpose of the 1822 Constitution, and it persisted, even after the loss of Brazil, until decolonization. Then, the dream of a single nation stretching from the Minho to Timor finally came to an end.