Expression of anterior Hox genes during larval development of the gastropod Haliotis asinina

We report the spatial expression patterns of five anterior Hox genes during larval development of the gastropod mollusc Haliotis asinina, an unsegmented spiralian lophotrochozoan. Molecular alignments and phylogenetic analysis indicate that these genes are homologues of Drosophila HOM-C genes labial, proboscipedia, zen, Deformed, and Sex combs reduced, the abalone genes are named Has-Hox1, -Hox2, -Hox3, -Hox4, and -Hox5. Has-Hox transcripts are first detected in the free-swimming trochophore larval stage- and restricted to the posttrochal ectoderm. Has-Hox2, -Hox3, and -Hox4 are expressed in bilaterally symmetrical and overlapping patterns in presumptive neuroectodermal cells on the ventral side of the trochophore. Has-Hox1 expression is restricted to a ring of cells on the dorsoposterior surface, corresponding to the outer mantle edge where new larval shell is being synthesized. There appears to be little change in the expression domains of these Has-Hox genes in pre- and posttorsional veliger larvae, with expression maintained in ectodermal and neuroectodermal tissues. Has-Hox2, -Hox3, -Hox4, and-Hox5 appear to be expressed in a colinear manner in the ganglia and connectives in the twisted nervous system. This pattern is not evident in older larvae. Has-Hox1 and-Hox4 are expressed in the margin of the mantle in the posttorsional veliger, suggesting that Hox genes play a role in gastropod shell formation.

But what if I don't want to wait forever?

We present an abstract model of the leader election protocol used in the IEEE 1394 High Performance Serial Bus standard. The model is expressed in the probabilistic Guarded Command Language. By formal reasoning based on this description, we establish the probability of the root contention part of the protocol successfully terminating in terms of the number of attempts to do so. Some simple calculations then allow us to establish an upper bound on the time taken for those attempts.

Knowledge-based system on optimum design of liquid retaining structures with genetic algorithms

This paper delineates the development of a prototype hybrid knowledge-based system for the optimum design of liquid retaining structures by coupling the blackboard architecture, an expert system shell VISUAL RULE STUDIO and genetic algorithm (GA). Through custom-built interactive graphical user interfaces under a user-friendly environment, the user is directed throughout the design process, which includes preliminary design, load specification, model generation, finite element analysis, code compliance checking, and member sizing optimization. For structural optimization, GA is applied to the minimum cost design of structural systems with discrete reinforced concrete sections. The design of a typical example of the liquid retaining structure is illustrated. The results demonstrate extraordinarily converging speed as near-optimal solutions are acquired after merely exploration of a small portion of the search space. This system can act as a consultant to assist novice designers in the design of liquid retaining structures.

A coupled knowledge-based expert system for design of liquid-retaining structures

This paper describes a coupled knowledge-based system (KBS) for the design of liquid-retaining structures, which can handle both the symbolic knowledge processing based on engineering heuristics in the preliminary synthesis stage and the extensive numerical crunching involved in the detailed analysis stage. The prototype system is developed by employing blackboard architecture and a commercial shell VISUAL RULE STUDIO. Its present scope covers design of three types of liquid-retaining structures, namely, a rectangular shape with one compartment, a rectangular shape with two compartments and a circular shape. Through custom-built interactive graphical user interfaces, the user is directed throughout the design process, which includes preliminary design, load specification, model generation, finite element analysis, code compliance checking and member sizing optimization. It is also integrated with various relational databases that provide the system with sectional properties, moment and shear coefficients and final member details. This system can act as a consultant to assist novice designers in the design of liquid-retaining structures with increase in efficiency and optimization of design output and automated record keeping. The design of a typical example of the liquid-retaining structure is also illustrated. (C) 2003 Elsevier B.V All rights reserved.

Winding patterns for actively shielded shim coils with asymmetric target-fields

A method is presented for calculating the currents and winding patterns required to design independent zonal and tesseral shim coils for magnetic resonance imaging. Both actively shielded and unshielded configurations are considered, and the region of interest can be located asymmetrically with respect to the coil's length. Streamline, target-field and Fourier-series methods are utilized. The desired target-field is specified at two cylindrical radii, on and inside a circular conducting cylinder of length 2L and radius a. The specification is over some asymmetric portion pL < z < qL of the coil's length (-1 < p < q < 1). Arbitrary functions are used in the outer sections, -L < z < pL and qL < z < L, to ensure continuity of the magnetic field across the entire length of the coil. The entire field is then periodically extended as a half-range cosine Fourier series about either end of the coil. The resultant Fourier coefficients are then substituted into the Fourier-series expressions for the internal and external magnetic fields, and current densities and stream functions on both the primary coil and shield. A contour plot of the stream function directly gives the required coil winding patterns. Spherical harmonic analysis and shielding analysis on field calculations from a ZX shim coil indicate that example designs and theory are well matched.

API documentation with executable examples

The rise of component-based software development has created an urgent need for effective application program interface (API) documentation. Experience has shown that it is hard to create precise and readable documentation. Prose documentation can provide a good overview but lacks precision. Formal methods offer precision but the resulting documentation is expensive to develop. Worse, few developers have the skill or inclination to read formal documentation. We present a pragmatic solution to the problem of API documentation. We augment the prose documentation with executable test cases, including expected outputs, and use the prose plus the test cases as the documentation. With appropriate tool support, the test cases are easy to develop and read. Such test cases constitute a completely formal, albeit partial, specification of input/output behavior. Equally important, consistency between code and documentation is demonstrated by running the test cases. This approach provides an attractive bridge between formal and informal documentation. We also present a tool that supports compact and readable test cases; and generation of test drivers and documentation, and illustrate the approach with detailed case studies. (C) 2002 Elsevier Science Inc. All rights reserved.

Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Parvalbumin-, calbindin-, and calretinin-immunoreactive neurons in the prefrontal cortex of the owl monkey (Aotus trivirgatus): A standardized quantitative comparison with sensory and motor areas

Recent studies have revealed regional variation in the density and distribution of inhibitory neurons in different cortical areas, which are thought to reflect area-specific specializations in cortical circuitry. However, there are as yet few standardized quantitative data regarding how the inhibitory circuitry in prefrontal cortex (PFC), which is thought to be involved in executive functions such as cognition, emotion and decision making, compares to that in other cortical areas. Here we used immunohistochemical techniques to determine the density and distribution of parvalbumin (PV)-, calbindin (CB)-, and calretinin (CR)-immunoreactive (ir) neurons and axon terminals in the dorsolateral and orbital PFC of the owl monkey (Aotus trivirgatus), and compared them directly with data obtained using the same techniques in 11 different visual, somatosensory and motor areas. We found marked differences in the density of PV-ir, CB-ir, and CR-ir interneurons in several cortical areas. One hundred and twenty eight of all 234 possible between-area pairwise comparisons were significantly different. The density of specific subpopulations of these cells also varied among cortical areas, as did the density of axon terminals. Comparison of PFC with other cortical areas revealed that 40 of all 66 possible statistical comparisons of the density of PV-ir, CB-ir, and CR-ir cells were significantly different. We also found evidence for heterogeneity in the pattern of labeling of PV-ir, CB-ir, and CR-ir cells and axon terminals between the dorsolateral and orbital subdivisions of PFC. These data are likely to reflect basic differences in interneuron circuitry, which are likely to influence inhibitory function in the cortex. Copyright (C) 2003 S. Karger AG, Basel.

Alterações microclimáticas causadas pelo uso de tela plástica

Com o objetivo de caracterizar as alterações microclimáticas provocadas pelo uso de tela plástica na agricultura, foi desenvolvido um experimento com alface, em área de cultivo agrícola, em Alegre - ES (latitude 20º45 S, longitude 41º28 W e altitude 150 m), no período de setembro a dezembro de 1996. Foram utilizados sombreamentos de 0; 30; 50, e 70%, segundo especificação comercial. Os resultados mostraram que a tela com especificação comercial de 50% de sombreamento provocou uma atenuação média de 41% na radiação solar global, ocorrendo, no entanto, uma flutuação significativa ao longo do dia em função do movimento aparente do sol. A cobertura com a tela plástica não provocou alterações significativas da temperatura e umidade relativa do ar. Em relação à temperatura do solo, foi possível verificar uma atenuação com o aumento do sombreamento.

Moralidade e plágio : um estudo com alunos do ensino médio

Nosso objetivo foi compreender o juízo da representação da ação de plágio de estudantes do segundo e terceiro anos do ensino médio, provenientes de escolas públicas e particulares de Vitória, Espírito Santo. Participaram 40 discentes entre 16 a 18 anos, que frequentavam três escolas públicas e duas privadas da cidade de Vitória-ES, divididos igualmente quanto a sexo e tipo de instituição. Nosso instrumento de pesquisa foi a um roteiro de entrevista semiestruturado, contendo uma história-fictícia que envolveu o comportamento de plágio. As entrevistas foram realizadas individualmente, em consonância com o método clínico piagetiano e, como procedimento de análise dos protocolos, utilizamos a sistematização de categorias proposta por Delval. Avaliamos os juízos dos adolescentes com relação a representação da ação de plágio do personagem da história-fictícia contada, nos seguintes aspectos: se consideravam a ação certa ou errada, se o plagiário deve ou não ser punido e qual (is) a (s) penalidade (s) sugerida (s). Foram solicitadas as justificativas de todos os aspectos anteriormente mencionados. A partir dos dados encontrados, constatamos que a maior parte dos estudantes: 1) considerou que o plágio é uma atitude errada; 2) justificou ser errado, principalmente pela “negligência do aluno no cumprimento do trabalho”, pela “possibilidade de consequência negativa” e pela “ação ser incorreta”; 3) afirmou que o personagem “deve ser punido”; 4) analisou, como castigo para este ato, “fazer um novo trabalho”, uma “conversa” e “receber nota zero no trabalho” plagiado e, por fim, 5) justificou as sanções sugeridas em virtude da “oportunidade de aprendizado e/ou reflexão do aluno com a punição” da “adequabilidade da punição” e da “possibilidade de consequência negativa para o aluno”. Por outro lado, as razões dos poucos escolares que consideravam que o personagem da história “não deve ser penalizado” foram a favor da “ausência de especificação e/ou proibição pelo docente” e por causa do plágio ser um “fato rotineiro”. De maneira geral, os dados de nossa pesquisa mostram que os participantes sabem que é errado plagiar, reconhecem que não se deve fazer este ato e a maioria dos estudantes penalizou a conduta investigada. Esse trabalho pode contribuir para a ampliação dos estudos na área da moralidade e colaborar com subsídios teóricos para a elaboração de projetos de educação em valores morais que contemplem, de uma forma geral, o enfrentamento da desonestidade acadêmica e, especificamente, o plágio. Consideramos que a inserção desse conteúdo nas propostas de educação em valores morais contemporâneas poderá enriquecer a formação moral dos estudantes. Assim, esperamos, a partir dos resultados encontrados na presente pesquisa, subsidiar e promover a realização de outros estudos e propiciar discussões e ações sobre o referido tema, principalmente na Psicologia e na Educação.

Roteamento sensível ao contexto em redes de sensores sem fio : uma abordagem baseada em regras de aplicação para o Protocolo RPL

Este trabalho apresenta um serviço de reconfiguração dinâmica para Redes de Sensores sem Fio. O trabalho inclui o projeto e a definição de uma arquitetura conceitual que suporta a coleta de uma variedade de informações contextuais e provê uma abstração alto nível para especificação de roteamento sensível ao contexto através de reconfiguração de métricas de roteamento e parâmetros de comunicação. O objetivo da infraestrutura proposta é possibilitar a criação de regras que adaptem o comportamento da rede em tempo de execução, em função dessas informações contextuais. Uma implementação da arquitetura para o protocolo RPL e o sistema operacional Contiki foi realizada, mostrando a viabilidade da abordagem proposta.

Architectural prototyping: from CCS to .Net

Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components became a major concern for the working developer. Although a number of formalisms to express behaviour and to supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from CCS behavioural specifications the corresponding architectural skeletons in the Microsoft .Net framework, in the form of executable C and Cω code. The prototyping process is fully supported by a specific tool developed in Haskell

Slicing for architectural analysis

Current software development often relies on non-trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such a coordination layer is strongly woven within the application at source code level. Therefore, its precise identification becomes a major methodological (and technical) problem and a challenge to any program understanding or refactoring process. The approach introduced in this paper resorts to slicing techniques to extract coordination data from source code. Such data are captured in a specific dependency graph structure from which a coordination model can be recovered either in the form of an Orc specification or as a collection of code fragments corresponding to the identification of typical coordination patterns in the system. Tool support is also discussed

Prototyping Concurrent Systems in Cw

Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code