A class B switch-mode assisted linear amplifier

A switch-mode assisted linear amplifier (SMALA) combining a linear (Class B) and a switch-mode (Class D) amplifier is presented. The usual single hysteretic controlled half-bridge current dumping stage is replaced by two parallel buck converter stages, in a parallel voltage controlled topology. These operate independently: one buck converter sources current to assist the upper Class B output device, and a complementary converter sinks current to assist the lower device. This topology lends itself to a novel control approach of a dead-band at low power levels where neither class D amplifier assists, allowing the class B amplifier to supply the load without interference, ensuring high fidelity. A 20 W implementation demonstrates 85% efficiency, with distortion below 0.08% measured across the full audio bandwidth at 15 W. The class D amplifier begins assisting at 2 W, and below this value, the distortion was below 0.03%. Complete circuitry is given, showing the simplicity of the additional class D amplifier and its corresponding control circuitry.

Pseudo-randomness of round-off errors in discretized linear maps on the plane

We analyze the sequences of round-off errors of the orbits of a discretized planar rotation, from a probabilistic angle. It was shown [Bosio & Vivaldi, 2000] that for a dense set of parameters, the discretized map can be embedded into an expanding p-adic dynamical system, which serves as a source of deterministic randomness. For each parameter value, these systems can generate infinitely many distinct pseudo-random sequences over a finite alphabet, whose average period is conjectured to grow exponentially with the bit-length of the initial condition (the seed). We study some properties of these symbolic sequences, deriving a central limit theorem for the deviations between round-off and exact orbits, and obtain bounds concerning repetitions of words. We also explore some asymptotic problems computationally, verifying, among other things, that the occurrence of words of a given length is consistent with that of an abstract Bernoulli sequence.

Using objects and patterns to implement domain ontologies

Ontologies are becoming an important mechanism to build information systems. Nevertheless, there is still no systematic approach to support the design of such systems using tools that are common to information systems developers. In this paper, we propose an approach for deriving object frameworks from domain ontologies and then we show the application of this approach in the software process domain.

Testes para verificar a igualdade de parâmetros e a identidade de modelos de regressão não-linear em dados de experimento com delineamento em blocos casualizados

Considerou-se o ajustamento de equações de regressão não-linear e o teste da razão de verossimilhança, com aproximações pelas estatísticas qui-quadrado e F, para testar as hipóteses de igualdade de qualquer subconjunto de parâmetros e de identidade dos modelos para dados com repetições provenientes de experimento com delineamento em blocos completos casualizados. Concluiu-se que as duas aproximações podem ser utilizadas, mas a aproximação pela estatística F deve ser preferida, principalmente para pequenas amostras.

Atributos físicos de um Latossolo Vermelho correlacionados linear e espacialmente com a consorciação de guandu com milheto

O sistema cultivo mínimo, por possibilitar pouca movimentação de solo, menor número de operações agrícolas sem incorporação dos resíduos vegetais, apresenta vantagens em razão do menor custo de preparo e da redução das perdas de solo e água. No ano agrícola de 2006/2007, na Fazenda de Ensino e Pesquisa da Faculdade de Engenharia de Ilha Solteira, SP, Brasil - FEIS/UNESP, situada nas condições do Cerrado Brasileiro, objetivou-se analisar a produtividade de massa de matéria seca da consorciação de forragem (guandu+milheto) (MSF), em função de atributos físicos do solo, tais como resistência à penetração (RP), umidade gravimétrica (UG), umidade volumétrica (UV) e densidade do solo (DS) nas profundidades de 0,0-0,10 m; 0,10-0,20 m e 0,20-0,30 m. Para tanto, foi instalado um ensaio, contendo 117 pontos amostrais, em um Latossolo Vermelho distroférrico, sob pivô central, numa área experimental de 1600 m² sob cultivo mínimo. A análise estatística constou de análise descritiva inicial dos atributos e análise das correlações lineares simples entre eles, e, finalmente, de análise geoestatística. Do ponto de vista da correlação espacial, o atributo que mais bem explica a produtividade de massa de matéria seca da consorciação é a densidade do solo na camada de 0,20-0,30 m, com uma correlação inversa, indicando que as espécies se desenvolvem bem em solos adensados.

On the discovery of business processes orchestration patterns

COORDINSPECTOR is a Software Tool aiming at extracting the coordination layer of a software system. Such a reverse engineering process provides a clear view of the actually invoked services as well as the logic behind such invocations. The analysis process is based on program slicing techniques and the generation of, System Dependence Graphs and Coordination Dependence Graphs. The tool analyzes Common Intermediate Language (CIL), the native language of the Microsoft .Net Framework, thus making suitable for processing systems developed in any .Net Framework compilable language. COORDINSPECTOR generates graphical representations of the coordination layer together with business process orchestrations specified in WSBPEL 2.0

Discovering coordination patterns

A large and growing amount of software systems rely on non-trivial coordination logic for making use of third party services or components. Therefore, it is of outmost importance to understand and capture rigorously this continuously growing layer of coordination as this will make easier not only the veri cation of such systems with respect to their original speci cations, but also maintenance, further development, testing, deployment and integration. This paper introduces a method based on several program analysis techniques (namely, dependence graphs, program slicing, and graph pattern analysis) to extract coordination logic from legacy systems source code. This process is driven by a series of pre-de ned coordination patterns and captured by a special purpose graph structure from which coordination speci cations can be generated in a number of di erent formalisms

Domain-Specific Language for Coordination patterns

The integration and composition of software systems requires a good architectural design phase to speed up communications between (remote) components. However, during implementation phase, the code to coordinate such components often ends up mixed in the main business code. This leads to maintenance problems, raising the need for, on the one hand, separating the coordination code from the business code, and on the other hand, providing mechanisms for analysis and comprehension of the architectural decisions once made. In this context our aim is at developing a domain-specific language, CoordL, to describe typical coordination patterns. From our point of view, coordination patterns are abstractions, in a graph form, over the composition of coordination statements from the system code. These patterns would allow us to identify, by means of pattern-based graph search strategies, the code responsible for the coordination of the several components in a system. The recovering and separation of the architectural decisions for a better comprehension of the software is the main purpose of this pattern language

Regressão linear com duplo truncamento na distribuição da variável dependente

Do problema do ajuste de uma regressão linear, quando a distribuição da variável dependente tem duplo truncamento, utilizando a função de máxima verossimilhança e um processo iterativo.

Análise multivariada: um exemplo usando modelo log-linear

Apresenta-se de forma resumida análise multivariada de dados categóricos, usando modelo log-linear para a situação de uma tabela de contingência 2 x 2 x 2.

Ordenação de populações em amplas classes de nível de saúde, segundo um indicador abrangente definido por uma função discriminante linear

Utilizando a função discriminante linear, propõe-se um indicador de nível de saúde abrangente de vários indicadores usuais, a saber: o coeficiente de mortalidade geral (CMG), indicador quantificado de Guedes (IG), esperança de vida ao nascer (EV), coeficiente de natalidade (CN), coeficiente de mortalidade infantil (CMI) e coeficiente de mortalidade por doenças transmissíveis (CMDT). Para a padronização dos dois últimos, foi proposta e utilizada uma população padrão mediana; para sua formação, cada grupo etário concorre com a mediana das percentagens de participação desse grupo na composição da população de cada um dos 44 países estudados. A análise crítica das equações de funções discriminantes obtidas com a técnica passo a 2895 2060 1000 passo ascendente (stepwise), mostrou que o valor: Z = 2895/CMI + 2060/CN + 1000/CMDTp, pode ser utilizado como indicador abrangente, permitindo a ordenação de países em amplas classes de nível de saúde.

Simulação numérica do comportamento de lajes: aplicação do método dos elementos finitos a problemas tridimensionais de elasticidade linear usando o freeFEM++

O presente trabalho entende a dedução das Equações de Compatibilidade, Equilíbrio, bem como as Leis Constitutivas, de modo a resolver numericamente problemas de Elasticidade Linear formulados para Lajes de Betão. A solução numérica é obtida usando o Método dos Elementos Finitos, implementado em freeFEM++, e comparada com os resultados conseguidos no SAP2000 e com os dados tabelados nas Tabelas de Barès, validando-se desta forma os modelos implementados através do freeFEM++.

Sistema de movimentação linear extensível com accionamentos electromecânicos sincronizados

Esta dissertação tem como objectivo estudar uma solução mecânica e eléctrica que permita anular o tempo de uma operação de não produção numa linha de prensagem instalada numa fábrica de indústria automóvel, a Autoeuropa. No início desta dissertação começa-se por encontrar uma solução de movimentadores telescópicos compatíveis com as restrições de espaço, os requisitos de sincronismo entre ambos e os objectivos de anulação do tempo de não operação. Seguidamente passou-se a uma fase de modelação do sistema mecânico, para permitir estudar o comportamento dinâmico do sistema proposto. Encontrado o movimentador mecânico adequado e feita a sua modelação foram estudadas possíveis soluções para o accionar, bem como formas de o controlar. Este sistema multimáquina foi estudado com dois tipos de máquinas eléctricas e métodos de controlo devido a necessitar de uma dinâmica bastante rápida, com exigência de grande sincronismo entre os dois movimentadores separados, e ainda com vista a tentar explorar a possibilidade de ter menor número de variadores electrónicos do que de máquinas eléctricas. Para tal recorreu-se ao ambiente Matlab para modelar e simular todo o sistema proposto nas suas variantes. Por fim são extraídas diversas conclusões, procurando-se clarificar a viabilidade da ideia e escolher a melhor opção de accionamento. No caso estudado, como o objectivo futuro é aplicar a solução proposta num ambiente industrial definido, há que ter em atenção não só a melhor opção técnica mas também o preço.

Patterns of induced abortion in urban area of Southeastern region, Brazil

OBJECTIVE: To assess the behavior of induced abortion as a function of certain demographic variables, for the population of fertile women (15 to 49 years old) residing in the Vila Madalena subdistrict S. Paulo (Brazil). MATERIAL AND METHOD: Two population samples were selected. One sample, with 996 women, investigated the incidence of induced abortions during 1987, using the RRT. In the other, involving 1,004 women, the same information was detected through a conventional approach. In both samples, the induced abortion occurring during the reproductive life was recorded in direct fashion. Though this analysis refers only to information about past abortions, that is by 2,000 women -, it should be noted that it is exactly the RRT that lends credibility to the found or results given results. CONCLUSION: The analysis furnishes evidence showing that single women, young women between the ages of 15 and 19, women who have not had live births, women who have a number of children below the expected ideal, women who use contraceptive methods (especially inefficient ones) and women who do not have any restrictions as to abortion constitute the categories most inclined to resort to induced abortion. This grouping suggests the existence of interrelationships between categories, that is, each of these categories is probably composed primarily of the same women, those who are at the beginning of their reproductive lives.