Functional timing analysis of VLSI circuits containing complex gates

The recent advances in CMOS technology have allowed for the fabrication of transistors with submicronic dimensions, making possible the integration of tens of millions devices in a single chip that can be used to build very complex electronic systems. Such increase in complexity of designs has originated a need for more efficient verification tools that could incorporate more appropriate physical and computational models. Timing verification targets at determining whether the timing constraints imposed to the design may be satisfied or not. It can be performed by using circuit simulation or by timing analysis. Although simulation tends to furnish the most accurate estimates, it presents the drawback of being stimuli dependent. Hence, in order to ensure that the critical situation is taken into account, one must exercise all possible input patterns. Obviously, this is not possible to accomplish due to the high complexity of current designs. To circumvent this problem, designers must rely on timing analysis. Timing analysis is an input-independent verification approach that models each combinational block of a circuit as a direct acyclic graph, which is used to estimate the critical delay. First timing analysis tools used only the circuit topology information to estimate circuit delay, thus being referred to as topological timing analyzers. However, such method may result in too pessimistic delay estimates, since the longest paths in the graph may not be able to propagate a transition, that is, may be false. Functional timing analysis, in turn, considers not only circuit topology, but also the temporal and functional relations between circuit elements. Functional timing analysis tools may differ by three aspects: the set of sensitization conditions necessary to declare a path as sensitizable (i.e., the so-called path sensitization criterion), the number of paths simultaneously handled and the method used to determine whether sensitization conditions are satisfiable or not. Currently, the two most efficient approaches test the sensitizability of entire sets of paths at a time: one is based on automatic test pattern generation (ATPG) techniques and the other translates the timing analysis problem into a satisfiability (SAT) problem. Although timing analysis has been exhaustively studied in the last fifteen years, some specific topics have not received the required attention yet. One such topic is the applicability of functional timing analysis to circuits containing complex gates. This is the basic concern of this thesis. In addition, and as a necessary step to settle the scenario, a detailed and systematic study on functional timing analysis is also presented.

Aplicação de modelos de informação condicionada na avaliação do desempenho de fundos de investimento mobiliário em Portugal: a selectividade e o market timing (análise diária vs. análise mensal

Dissertação de mest., Finanças Empresariais, Faculdade de Economia, Univ. do Algarve, 2010

Análise bilateral do timing de ativação dos músculos transverso abdominal/oblíquo interno durante o movimento rápido de flexão de cada membro superior – dominante e não-dominante

Introdução: Por mais de uma década assumiu-se que o transverso abdominal/oblíquo interno (TrA/OI) se comportava como um ventre muscular único, pré-ativando-se bilateralmente de forma simultânea para aumentar a stiffness da coluna lombar, conferindo-lhe estabilidade segmentar durante o movimento de um dos membros superiores. À luz dos estudos atuais sabe-se que tal mecanismo não ocorre, uma vez que o TrA/OI apresenta uma ativação por mecanismo de feedforward predominantemente contralateral ao membro superior movido. Apesar de morfologicamente o TrA/OI do lado não-dominante ser mais hipertrofiado do que o do lado dominante, nada se sabe acerca da influência da dominância nos timings ativação do TrA/OI. Objectivos: Confirmar se o TrA/OI tem um timing de ativação assimétrico durante o movimento rápido de flexão do membro superior (MRMS). Pretende-se ainda avaliar se o timing de ativação do TrA/OI é influenciado pela dominância de lateralidade manual. Métodos: Efectuou-se um estudo observacional descritivo, transversal e duplamente cego com 32 atletas de futebol voluntários com membro superior direito dominante, colocando-os apenas num grupo. Procedeu-se à recolha do sinal eletromiográfico de forma a avaliar os timings de ativação do TrA/OI bilateralmente aquando dos movimentos rápidos de flexão de ambos os membros superiores, à vez. Todos os dados foram tratados estatisticamente com o programa SPSS, versão 20.0 para Mac OS, com um grau de significância de 0,05. Resultados: Verificaram-se diferenças nos timings de ativação dos TrA/OI direito e esquerdo durante os MRMS direito e esquerdo (Teste ANOVA medidas repetidas: F=291,087; p<0,001). O timing de ativação do TrA/OI direito – 29,15(13,15)ms – foi superior ao esquerdo – 4,71(17,32)ms – durante MRMS direito (Teste Post Hoc Bonferroni: p<0,001). O timing de ativação do TrA/OI esquerdo – 31,98(12,50)ms – foi superior ao direito – 12,20(17,40)ms – durante MRMS esquerdo (p<0,001). O timing de ativação do TrA/IO direito aquando do MRMS direito foi superior ao observado durante MRMS esquerdo (p<0,001). O contrário sucedeu em relação ao timing ativação do TrA/IO esquerdo (p<0,001). O timing de ativação do TrA/IO esquerdo no MRMS direito foi inferior ao do TrA/IO direito aquando do movimento com o membro esquerdo (p<0,001). O TrA/IO direito possuiu um timing de ativação no MRMS direito inferior ao do TrA/IO esquerdo aquando do movimento com o membro esquerdo (p<0,001). Conclusão: Através deste estudo pôde-se concluir que o TrA/OI contralateral ao MRMS apresenta um timing de ativação inferior ao ipsilateral e ainda que durante o MRMS dominante o TrA/OI esquerdo e direito apresentam um timing de ativação inferior ao ocorrido durante o MRMS não-dominante.

Análise empírica da presença de "Market timing" no mercado acionário brasileiro

Este trabalho objetiva verificar a existência de “Market Timing” no mercado acionário brasileiro. Os nossos estudos foram divididos em três análises distintas. Primeiro verificamos a presença de “market-timing” nos IPOs e posteriormente expandimos para as ofertas subseqüentes de ações (OSAs). Por último verificamos a persistência dos efeitos do “Market Timing” sobre a estrutura de capital das empresas. Os resultados dos nossos estudos mostram que as empresas brasileiras tendem a emitir mais capital quando o mercado está aquecido. Essas emissões acontecem através de IPOs e de OSAs e alteram a estrutura de capital dessas empresas. Com o passar do tempo essa alteração na estrutura de capital tende a diminuir.

Um Estudo de técnicas de aceleração para algoritmos de análise de timing funcional baseados em geração automática de teste

Este trabalho tem como objetivo estudar e avaliar técnicas para a aceleração de algoritmos de análise de timing funcional (FTA - Functional Timing Analysis) baseados em geração automática de testes (ATPG – Automatic Test Generation). Para tanto, são abordados três algoritmos conhecidos : algoritmo-D, o PODEM e o FAN. Após a análise dos algoritmos e o estudo de algumas técnicas de aceleração, é proposto o algoritmo DETA (Delay Enumeration-Based Timing Analysis) que determina o atraso crítico de circuitos que contêm portas complexas. O DETA está definido como um algoritmo baseado em ATPG com sensibilização concorrente de caminhos. Na implementação do algoritmo, foi possível validar o modelo de computação de atrasos para circuitos que contêm portas complexas utilizando a abordagem de macro-expansão implícita. Além disso, alguns resultados parciais demonstram que, para alguns circuitos, o DETA apresenta uma pequena dependência do número de entradas quando comparado com a dependência no procedimento de simulação. Desta forma, é possível evitar uma pesquisa extensa antes de se encontrar o teste e assim, obter sucesso na aplicação de métodos para aceleração do algoritmo.

Análise do desempenho de regras da análise técnica aplicada ao mercado intradiário do contrato futuro do índice Ibovespa

Este artigo tem como objetivo verificar a robustez do contéudo preditivo de regras da análise técnica, usando informações intradiárias do mercado futuro do índice de ações da Bolsa de Valores de São Paulo (Ibovespa Futuro). A metodologia sugerida foi a avaliacão em grupos, conforme os resultados de Baptista (2002), tal que as regras são obtidas conforme os resultados em alguns dos subperíodos estudados, sendo testadas em períodos subsequentes. Como resultado, obteve-se robustez ao longo do tempo e à taxa de amostragem dos dados no desempenho das regras acima do benchmark (buy-and-hold), porém considerações realistas acerca do momento de compra, assim como da corretagem (exceto grande investidor), podem reduzir substancialmente os ganhos

Análise de desempenho dos fundos de investimento em ações brasileiros no período de Janeiro de 1997 a outubro de 2006

This research evaluated the quality of the management of Brazilian stock funds on the period from January 1997 to October 2006. The analysis was based on the Modern Portfolio Theory measures of performance. In addition, this research evaluated the relevance of the performance measures The sample with 21 funds was extracted from the 126 largest Brasilian stock options funds because they were the only with quotas on the whole period. The monthly mean rate of return and the following indexes were calculated: total return, mean monthly return, Jensen Index, Treynor Index, Sharpe Index, Sortino Index, Market Timing and the Mean Quadratic Error. The initial analysis showed that the funds in the sample had different objectives and limitations. To make valuable comparisons, the ANBID (National Association of Investment Banks) categories were used to classify the funds. The measured results were ranked. The positions of the funds on the rankings based on the mean monthly return and the indexes of Jensen, Treynor, Sortino and Sharpe were similar. All of the ten ACTIVE funds of this research were above the benchmark (IBOVESPA index) in the measures above. Based on the CAPM, the managers of these funds got superior performance because they might have compiled the available information in a superior way. The six funds belonging to the ANBID classification of INDEXED got the first six positions in the ranking based on the Mean Quadratic Error. None of the researched funds have shown market timing skills to move the beta of their portfolios in the right direction to take the benefit of the market movements, at the significance level of 5%.

Análise de desempenho de fundos mútuos de ações

A presente dissertação analisa o desempenho de quarenta fundos mútuos de ações brasileiros no período de agosto de 1990 a maio de 1996. As ferramentas usadas na avaliação desses fundos foram as obtidas nos três modelos -clássicos de Treynor, Sharpe e Jensen e o Modelo de Treynor e Mazuy, que também analisa habilidade de market timing dos administradores dos fundos. Além disso, examinamos estratégia de construção e administração de fundos, bem como analisamos algumas características e classificações desses fundos

A Zona Incerta no sagüi (Callithrix jacchus): Análise Citoarquitetônica, Neuroquímica e Projeção Retiniana

The retinal projections in mammals usually reach, classically, three major functional systems: the primary visual system, the accessory optic system, and the circadian timing system. But the retinal projections also reach areas classically considered non-visual, one of which groups the neurons of the zona incerta (ZI), target this study. The primary visual system includes thalamic lateral geniculate complex is formed by the dorsal lateral geniculate nucleus, intergeniculate leaflet and the ventral lateral geniculate nucleus and other Components. The accessory optic system is composed of the small nuclei: nuclei terminal dorsal, lateral, medial and the interstitial nucleus of the superior posterior fasciculus. These nuclei are involved in visuo-motor activities. The circadian timing system is comprised of the suprachiasmatic nucleus of the hypothalamus, that act as master circadian pacemaker, entraining pathways and efferents pathways to the efectors, and the intergeniculate leaflet, that seems to act as a modulator of the pacemaker. The retinal projections too reach classically considered non-visual areas, including the zona incerta. This region is localized in the ventral thalamus and has been implicated in various functional properties including nociceptive and somatosensory processing, motor response, sociosexual behaviour, feeding and drinking, in symptoms of neurodegenerative diseases, arousal and attention. It also displays connection with several areas of central nervous system. The aim of this study was characterize the retinal projection in the zona incerta of Callithrix jacchus (sagüi), a primate of the New World through the anterograde axonal transport of the cholera toxin subunit b and analyze the citoarchicteture using Nissl and NeuN, and neurochemical substances such as serotonin, GABA, VIP, VP, GFAP and binding-calcium proteins. The zona incerta showed a different division of the literature in citoarquitetura, both by means of Nissl as neurochemical by NeuN, with a subdivision ventrolateral and dorsomedial. The neurochemical to the other substances corroborate with this subdivision. The GFAP was almost completely negative for the zona incerta, result non evidenced in previous studies yet. The 16 retinal projection in sagüi, unlike other primates and rodents, reached the caudal portion only. This work helps to make further studies are conducted based on this subdivision and the localization of the neurochemical substances associated with possible behaviors that the zona incerta is involved

Análise citoarquitetônica dos componentes do sistema de temporização circadiana do sagui (Calithrix jacchus), comparada com a inervação das suas principais aferências

The suprachiasmatic nucleus (SCN) of the anterior hypothalamus, together with the intergeniculate leaflet (IGL) of the thalamus are considered the central components of the circadian timing system (CTS) of mammals. This system is responsible for the generation and regulation of circadian rhythms by establishing a temporal organization of physiological processes and behaviors. The neuronal specific nuclear protein (NeuN) has been widely used as a neuronal marker in several studies. Since glial fibrillary acidic protein (GFAP) is a component of intermediate filaments found in the cytoplasm of astrocytes and is commonly used as a specific marker for these cells. This study aims to identify, in the marmoset, the NeuN immunoreactive neurons and glial cells immunoreactive to GFAP, as well as map the major route of photic synchronization of the STC, retinohypothalamic tract (RHT), and identify the indirect pathway to the SCN and pregeniculate nucleus (PGN) - structure homologous to IGL rodents, using immunohistochemical and cytoarchitectonic techniques. Observed in SCN the presence of neurons immunoreactive to NeuN and terminals immunoreactive subunit b of cholera toxin (CTb), neuropeptide Y (NPY) and serotonin (5- HT). In the PGN noted the presence of the NeuN and NPY immunoreactive neurons and the immunoreactive terminals CTb and 5-HT. Astrocytes are present throughout the extent of the SCN and the PGN this New World primate

O Uso da informação visual global e local no controle da postura e do timing durante a tarefa de agarrar um objeto em aproximação

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Análise de atividade epileptiforme com uso simultâneo de eletrencefalografia e ressonância magnética funcional

The use of multimodal neuroimaging techniques has been helpful in the investigation of epileptogenic zone in patients with refractory epilepsies. This work aims to describe an ictal event during EEG-fMRI performed simultaneously in a 39-year-old man with refractory epilepsy. The EEG data were recorded at a sampling rate of 5 kHz, using a BrainAmp (BrainProducts, München, Germany) amplifier, with 64 MR (magnetic resonance) compatible Ag/AgCl electrodes. MR images were acquired using a 3T scanner in 3 sequences of 6 minutes of echo-planar images (EPIs), with TR = 2s, being the last sequence stopped after the ictal event. The EEG was corrected for gradient and pulse artifacts using the Brain Vision Analyzer2 software (BrainProducts), and the functional images were realigned, slice-timing corrected, normalized and smoothed. The start of the ictal changes was used for the evaluation of the BOLD response in MR images, using a t-test with a minimum cluster of 5 voxels, p <0.005 (T>2.5). The patient had a partial complex seizure, as noted by neurologist. The fMRI data showed positive BOLD responses (activation) in dysplastic areas, but showed the most significant activation outside the lesion, in areas compatible with secondary spread of the epileptic focus, probably caused by motor reaction also observed during the seizure. As a conclusion, we note that the technique of EEG-fMRI can detect the epileptogenic zone in patients with refractory epilepsy, but areas of dissemination of primary epileptogenic focus may show significant activation, introducing additional difficulties to the interpretation of the results

Análise de parâmetros neuromusculares e cinemáticos dos chutes Bandal Chagui e Dolhô Chagui do Taekwondo

Pós-graduação em Desenvolvimento Humano e Tecnologias - IBRC

ANÁLISE DAS MUDANÇAS DOS FATORES DETERMINANTES DA ESTRUTURA DE CAPITAL EM FUNÇÃO DO CICLO DE VIDA DAS EMPRESAS BRASILEIRAS

As várias teorias acerca da estrutura de capital despertam interesse motivando diversos estudos sobre o assunto sem, no entanto, ter um consenso. Outro tema aparentemente pouco explorado refere-se ao ciclo de vida das empresas e como ele pode influenciar a estrutura de capital. Este estudo teve como objetivo verificar quais determinantes possuem maior relevância no endividamento das empresas e se estes determinantes alteram-se dependendo do ciclo de vida da empresa apoiada pelas teorias Trade Off, Pecking Order e Teoria da Agência. Para alcançar o objetivo deste trabalho foi utilizado análise em painel de efeito fixo sendo a amostra composta por empresas brasileiras de capital aberto, com dados secundários disponíveis na Economática® no período de 2005 a 2013, utilizando-se os setores da BM&FBOVESPA. Como resultado principal destaca-se o mesmo comportamento entre a amostra geral, alto e baixo crescimento pelo endividamento contábil para o determinante Lucratividade apresentando uma relação negativa, e para os determinantes Oportunidade de Crescimento e Tamanho, estes com uma relação positiva. Para os grupos de alto e baixo crescimento alguns determinantes apresentaram resultados diferentes, como a singularidade que resultou significância nestes dois grupos, sendo positiva no baixo crescimento e negativa no alto crescimento, para o valor colateral dos ativos e benefício fiscal não dívida apresentaram significância apenas no grupo de baixo crescimento. Para o endividamento a valor de mercado foi observado significância para o Benefício fiscal não dívida e Singularidade. Este resultado reforça o argumento de que o ciclo de vida influência a estrutura de capital.

Limnologia, balneabilidade e impactos ambientais: uma análise temporal e espacial na represa do Lobo (Broa), Itirapina/Brotas - SP

Considerando a importância da represa do Lobo, os indícios de eutrofização encontrados na área e tendo a recreação como seu principal uso, buscou-se, neste trabalho, avaliar a qualidade da água nos rios tributários e na represa, e sua adequação a balneabilidade. Para os afluentes do sistema, estimando-se, ainda, a contribuição dos mesmos ao aporte de materiais à represa, foram amostrados o córrego do Geraldo, a confluência dos córregos Água Branca e Limoeiro, o rio Itaqueri (antes da mineradora), o ribeirão do Lobo, o córrego das Perdizes, avaliando-se parâmetros físicos, químicos e biológicos da água e a vazão dos rios, em dois períodos (agosto/setembro e dezembro) de 2002. Os resultados, com base no índice de estado trófico, indicam que a maioria dos tributários, com exceção do córrego Água Branca (eutrófico), é oligotrófico. Na represa o estudo teve avaliações mensais para alguns parâmetros (nutrientes totais e dissolvidos, clorofila total e material em suspensão) e semanais para outros (pH, condutividade elétrica, temperatura da água, oxigênio dissolvido e coliformes fecais) ao longo de um ano (dezembro de 2001 a dezembro de 2002), em nove pontos, abrangendo a região de foz do rio Itaqueri, córrego do Geraldo e ribeirão do Lobo, quatro pontos distribuídos na praia do balneário Santo Antônio e um ponto a jusante da represa. A foz do rio Itaqueri apresentou-se meso-eutrófica no período, enquanto os outros pontos avaliados, oligotróficos. Apesar da condição favorável apresentada, a análise temporal dos dados (com estudos realizados nos últimos 30 anos), mostra uma evidente e preocupante alteração nas condições originárias desse sistema, indicando um evidente processo de eutrofização do reservatório, associado aos usos e ocupação da bacia hidrográfica (resíduos domiciliares, turismo, agricultura e pecuária). Em relação a balneabilidade os principais pontos de contaminação fecal na represa são as entradas dos tributários, enquanto o corpo da represa foi considerado excelente em todo o período amostrado. O córrego Água Branca, como corpo receptor do esgoto de Itirapina, é o mais comprometido dos corpos de água avaliados, além de ser o principal contribuinte de nutrientes e coliformes fecais para a represa do Lobo, através do rio Itaqueri.