A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

A real symmetric Lanczos subspace implementation of quantum scattering using boundary inhomogeneities

We present an efficient and robust method for calculating state-to-state reaction probabilities utilising the Lanczos algorithm for a real symmetric Hamiltonian. The method recasts the time-independent Artificial Boundary Inhomogeneity technique recently introduced by Jang and Light (J. Chem. Phys. 102 (1995) 3262) into a tridiagonal (Lanczos) representation. The calculation proceeds at the cost of a single Lanczos propagation for each boundary inhomogeneity function and yields all state-to-state probabilities (elastic, inelastic and reactive) over an arbitrary energy range. The method is applied to the collinear H + H-2 reaction and the results demonstrate it is accurate and efficient in comparison with previous calculations. (C) 2002 Elsevier Science B.V. All rights reserved.

Chebyshev real wave packet propagation: H+O-2 (J=0) state-to-state reactive scattering calculations

In this paper we explore the relative performance of two recently developed wave packet methodologies for reactive scattering, namely the real wave packet Chebyshev domain propagation of Gray and Balint-Kurti [J. Chem. Phys. 108, 950 (1998)] and the Lanczos subspace wave packet approach of Smith [J. Chem. Phys. 116, 2354 (2002); Chem. Phys. Lett. 336, 149 (2001)]. In the former method, a modified Schrodinger equation is employed to propagate the real part of the wave packet via the well-known Chebyshev iteration. While the time-dependent wave packet from the modified Schrodinger equation is different from that obtained using the standard Schrodinger equation, time-to-energy Fourier transformation yields wave functions which differ only trivially by normalization. In the Lanczos subspace approach the linear system of equations defining the action of the Green operator may be solved via either time-dependent or time-independent methods, both of which are extremely efficient due to the simple tridiagonal structure of the Hamiltonian in the Lanczos representation. The two different wave packet methods are applied to three dimensional reactive scattering of H+O-2 (total J=0). State-to-state reaction probabilities, product state distributions, as well as initial-state-resolved cumulative reaction probabilities are examined. (C) 2002 American Institute of Physics.

Kinetics of baculovirus replication and release using real-time quantitative polymerase chain reaction

The study of viral-based processes is hampered by (a) their complex, transient nature, (b) the instability of products, and (c) the lack of accurate diagnostic assays. Here, we describe the use of real-time quantitative polymerase chain reaction to characterize baculoviral infection. Baculovirus DNA content doubles every 1.7 h from 6 h post-infection until replication is halted at the onset of budding. No dynamic equilibrium exists between replication and release, and the kinetics are independent of the cell density at the time of infection. No more than 16% of the intracellular virus copies bud from the cell. (C) 2002 John Wiley & Sons, Inc. Biotechnol Bioeng 77: 476-480, 2002; DOI 10.1002/bit.10126.

Exotic vs endemic biocontrol agents: Would the real stratiolaelaps miles (Berlese) (Acari : Mesostigmata : Laelapidae), please stand up?

The ability of introduced organisms to invade undisturbed native habitats is a major concern in conservation biology and has resulted in a re-evaluation of the introduction of exotic biocontrol agents, especially of generalist predators. One such agent is Stratiolaelaps miles (Berlese), a predatory mite described from Italy, known from throughout the Holarctic, and apparently accidentally introduced to other areas of the world, including Australia. Initial investigations revealed that putative S. miles could be found in both disturbed and relatively pristine habitats in Queensland, Australia. However, analysis of the mitochondrial DNA of five populations showed most to be highly divergent genetically. Subsequent morphological analysis established two species groups: the lamington-group from cool-temperate to subtropical rainforests in Eastern Australia and the more eurytopic miles-group with a cosmopolitan distribution. We describe two new species from each of these complexes (Stratiolaelaps womersleyi, Stratiolaelaps lamington; Stratiolaelaps marilyn, Stratiolaelaps lorna, respectively), and resurrect Stratiolaelaps scimitus (Womersley), a species which often appears to have been confused with S. miles. Additionally, the large genetic distances among morphologically homogenous species in the miles-group suggest that the apparently cosmopolitan S. miles may be composed of a suite of cryptic species of potentially varying utility in biological control. (C) 2002 Elsevier Science (USA). All rights reserved.

The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Coleta de dados por computadores de m??o para censos de propor????es continentais

Para tornar a coleta e a consolida????o de dados mais ??geis e econ??micas, aumentando a seguran??a sobre os dados, o IBGE est?? realizando a Contagem da Popula????o e o Censo Agropecu??rio 2007 com alternativa tecnol??gica para uso de computadores de m??o ??? PDAs (Personal Digital Assistant). ?? uma inova????o mundial, pois nenhum pa??s, nessas dimens??es, j?? realizou tal opera????o. A a????o dispensa question??rios em papel, substitu??dos por perguntas na tela do PDA, equipado com GPS para localizar estabelecimentos agropecu??rios por coordenadas. O PDA substitui bolsa e grandes volumes em papel. O plano de cr??tica, para validar informa????es coletadas, ?? transformado em programa, rodando em tempo real no PDA, para detec????o e corre????o de dados inconsistentes durante a entrevista, o que antes s?? era poss??vel ap??s meses. Outro salto em efici??ncia ?? a transmiss??o direta dos dados para o banco de dados do IBGE (sem escanear ou digitar documentos), criando mais confiabilidade e intelig??ncia na etapa de coleta

Sistema georreferenciado de monitoramento e apoio ?? decis??o da Presid??ncia da Rep??blica (Geo/PR)

Trata-se de um sistema desenvolvido para integrar informa????es em base georreferenciada e textual de diversos ??rg??os p??blicos, a fim de possibilitar an??lises gerenciais, a atua????o estrat??gica e a decis??o ministerial sobre a concess??o de ato de assentimento pr??vio, de acordo com a Lei no 6.634/79. Ao possibilitar o cruzamento de informa????es de diversos bancos de dados, em raz??o da especialidade do Gabinete de Seguran??a Institucional da Presid??ncia da Rep??blica (GSI/PR), o sistema oportuniza o diagn??stico de incongru??ncias e conflitos de atividades entre ??rg??os da Administra????o P??blica Federal indireta e o indicativo da situa????o fundi??ria do Pa??s, tanto no aspecto territorial quanto no da riqueza mineral e respectivos interessados em sua explora????o. O sistema permite que os bancos ???conversem entre si???, o que o torna um marco na hist??ria da gest??o p??blica federal, por possibilitar o conhecimento do nosso territ??rio em tempo real, com informa????es confi??veis, precisas e amig??veis geradas em banco de dados textuais associados a uma base cartogr??fica digital composta por mapas digitalizados, fotografias a??reas e imagens de sat??lites

Sistema de custos e informa????es gerenciais do Banco Central do Brasil

O Banco Central do Brasil desenvolveu e implantou, no per??odo de abril de 2002 a mar??o de 2003, Sistema de Custos e Informa????es Gerenciais, utilizando o m??todo de custeio baseado em atividades - Activity Based Costing (ABC), destinado a apurar os custos das atividades, dos projetos, dos processos e dos produtos e servi??os ofertados pela Institui????o, distribu??dos pela sua estrutura organizacional. O sistema, mais do que um enfoque voltado para o simples controle e redu????o de custos, constitui-se em significativo instrumento de apoio gerencial, ao propiciar a utiliza????o mais racional de todos os recursos consumidos. Ademais, apresenta-se como iniciativa pioneira vez que, pelo que se tem not??cia, inexistem experi??ncias semelhantes em organiza????es com este porte e com a amplitude adotada neste caso, tanto no ??mbito governamental brasileiro, quanto no que se refere aos demais bancos centrais espalhados pelo mundo

Gest??o do conhecimento e aloca????o de recursos humanos no setor p??blico: a experi??ncia do Banco Central do Brasil

Procedimentos adotados - com a finalidade de colocar a pessoa certa no lugar certo - na localiza????o de 249 servidores que ingressaram do Banco Central do Brasil - BC, por meio do Concurso Analista/2000. O BC decidiu investir nos conceitos e pr??ticas presentes na gest??o do conhecimento. Foram utilizados m??todos e programas de computador j?? testados no mercado, buscando adequar o perfil comportamental e de conhecimentos do futuro servidor ao dos postos de trabalho do BC. Sua valida????o ocorreu por meio de pesquisa de satisfa????o com os servidores e respectivas chefias

Banco federativo

Banco Nacional de Desenvolvimento Econ??mico e Social (BNDES), com a colabora????o de diversas entidades, entre elas o Instituto de Pesquisa Econ??mica e Aplicada (IPEA) e a Associa????o Brasileira das Secretarias de Finan??as das Capitais (ABRASF), est?? disponibilizando, desde 1998, o site - Banco Federativo - com o intuito de constituir um ponto de encontro para interc??mbio e difus??o de informa????es relativas a finan??as e administra????o dos governos estaduais e municipais, objetivando contribuir para a melhoria da gest??o p??blica no Brasil. A organiza????o do Banco Federativo faz parte de um conjunto de atividades do BNDES, sob orienta????o do Minist??rio do Planejamento, Or??amento e Gest??o que tem como objetivo a dissemina????o de informa????es sobre as finan??as p??blicas, visando estimular a????es para a redu????o do d??ficit p??blico e o fortalecimento da Federa????o Brasileira. O site ?? administrado pela Secretaria para Assuntos Fiscais do BNDES e compreende a entrada de dados, a troca de informa????es e a divulga????o de estat??sticas, not??cias, estudos e experi??ncias administrativas