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.

Exploring different social media users from the millennials’ generation: a cross-cultural behavioral analysis of brazilian users of Facebook and chinese users of RenRen

With the increasing importance of digital communication and its distinct characteristics, marketing tools and strategies adopted by companies have changed dramatically. Among the many digital marketing tools and new media channels available for marketers, the phenomenon known as social media is one of the most complex and enigmatic. It has a range that still is quite unexplored and deeply transforms the present view on the promotion mix (Mangold & Faulds, 2009). Conversations among users on social media directly affect their perceptions on products, services and brands. But more than that, a wide range of other subjects can also become topics of conversations on social media. Hit songs, sporting events, celebrity news and even natural disasters and politics are topics that often become viral on the web. Thus, companies must grasp that, and in order to become more interesting and relevant, they must take part in these conversations inserting their brands in these online dynamic dialogues. This paper focuses on how these social interactions are manifested in the web in to two distinct cultures, Brazil and China. By understanding the similarities and differences of these cultures, this study helps firms to better adjust its marketing efforts across regions, targeting and positioning themselves, not only geographically and culturally, but also across different web platforms (Facebook and RenRen). By examining how companies should focus their efforts according to each segment in social media, firms can also maximize its results in communication and mitigate risks. The findings suggest that differences in cultural dimensions in these two countries directly affect their virtual social networking behavior in many dimensions (Identity, Presence, Relationships, Reputation, Groups, Conversations and Sharing). Accordingly, marketing efforts must be tailored to each comportment and expectations.

Polymorphism analysis of the hsp70 stress gene in Broiler chickens (Gallus gallus) of different breeds

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

Fractal analysis along stretch zone for an aluminum alloy

The topography of fracture surface along stretch zone front for Al7050 is analyzed about its fractal behavior and compared against local distributions of microstructural parameters and stretch zone height, considered here as a toughness parameter. Major influence on microscale was presented by precipitation density. Larger grains should be significant on topographic behavior at macroscale, besides the local toughness measured along stretch zone. The large scattering of fractal measurements along specimen width should limit the validity of models relating fractal values and fracture toughness. It is proposed that models based on mixed fractals must also consider some dispersion parameter instead of mean fractal measurements due to the overall complexity of fracture relief formation. It is suggested that sampling for fractal measurement must be restricted to plane strain region along fracture surface, due to smaller scattering in this region. (C) 2004 Elsevier B.V. All rights reserved.

Reactive Control for Transmission Overload Relief Based on Sensitivity Analysis and Cooperative Game Theory

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Molecular analysis of the PROP1 and HESX1 genes in patients with septo-optic dysplasia and/or pituitary hormone deficiency

OBJETIVO: O presente estudo teve como objetivo avaliar os genes PROP1 e HESX1 em um grupo de pacientes com displasia septo-óptica (DSO) e deficiência hormonal hipofisária (combinada - DHHC; ou deficiência isolada de GH - DGH). Onze pacientes com apresentação clínica e bioquímica consistente com DHHC, DGH ou DSO foram avaliados. SUBJECTS and METHODS: em todos os pacientes, o gene HESX1 foi analisado pelo sequenciamento direto e, nos casos de DHHC, o gene PROP1 foi também sequenciado. RESULTADOS: Um polimorfismo no gene HESX1 (1772 A > G; N125S) foi identificado em um paciente com DSO. Foram encontrados três pacientes portadores da variação alélica 27 T > C; A9A e 59 A > G; N20S no éxon 1 do gene PROP1. Mutações no gene PROP1 e HESX1 não foram identificadas nesses pacientes com DGH, DHHC e DSO esporádicos. CONCLUSÃO: Alterações genéticas em um ou diversos outros genes ou mecanismos não genéticos devem estar implicados nesse processo patogênico.

Effect of refrigeration systems upon frozen bull sperm viability assessed by computer-assisted sperm analysis and fluorescent probes

Sperm cryopreservation success depends upon the maintenance of spermatozoa fertility potential. Sperm cells must preserve both integrity and functionality of several cell structures. The stabilization phase must allow the exit of water from the sperm cells via osmosis. This study aimed to compare the effect of refrigeration in the commercial refrigerator (CR) and the transport/refrigeration box (TRB) upon the viability of frozen bull sperm diluted in three different extenders (A, B and C). Ten Nellore bulls, Bos taurus indicus maintained in Artificial Insemination Center were used and the spermatozoa samples was assessed for Plasma Membrane Integrity and CASA evaluation. The stabilization phase (5 degrees C/4 hours) was performed in the CR as well as in the TRB, and then samples were exposed to nitrogen vapor during 20 minutes and then plunged into nitrogen. The statistical analysis was done using the variance analysis and the significance level was set at 5%. In the CR the post-thawing parameters for PM and ALH were higher (p < 0.05) in the extender A (glicine egg-yolk) and extender B (glicine egg-free) when compared with extender C (TRIS egg-yolk). As for BCF, STR and LIN, the parameters were higher (p < 0.05) in extender B than in C. Samples that were stabilized in the TRB presented higher post-thawing parameters (p < 0.05) for PM and LIN in extender A and extender B when compared with C. BCF and STR parameters were higher (p < 0.05) in extemder B when compared with C. Extender B samples had higher (p < 0.05) PMI when stabilized in CR. The findings in this experiment enable us to say that both CR and TRB were effective in keeping the viability of post-thawing bull semen.

Surface Roughness Analysis of Four Restorative Materials Exposed to 10% and 15% Carbamide Peroxide

The aim of this study was to evaluate the effects of carbamide peroxide (CP) on surfaces of different restorative materials. Porcelain, composite resin, glass ionomer, and amalgam were analyzed in this study. Surface roughness (Ra) was measured before and after treatment with 10% and 15% CP. Fifteen percent CP increased Ra values in both the glass ionomer and amalgam subgroups, while 10% CP increased Ra values in the glass ionomer subgroup only. Changes in restorative material surfaces can be more severe when bleaching is completed without a clinician's supervision. Hence, thorough patient examinations must be done before, during, and after bleaching treatment. Int J Prosthodont 2011;24:155-157

Photoelastic Analysis of Stress Distribution in Oral Rehabilitation

The purpose of this study was to present a literature review about photoelasticity, a laboratory method for evaluation of implants prosthesis behavior. Fixed or removable prostheses function as levers on supporting teeth, allowing forces to cause tooth movement if not carefully planned. Hence, during treatment planning, the dentist must be aware of the biomechanics involved and prevent movement of supporting teeth, decreasing lever-type forces generated by these prosthesis. Photoelastic analysis has great applicability in restorative dentistry as it allows prediction and minimization of biomechanical critical points through modifications in treatment planning.

Oral drugs for hypertensive urgencies: systematic review and meta-analysis

CONTEXTO E OBJETIVO: Urgências hipertensivas são definidas como elevações graves na pressão arterial sem evidência de danos agudos ou progressivos a órgãos-alvo. A necessidade de tratamento é considerada urgente, mas permite um controle gradual, utilizando-se drogas orais ou sublinguais. Se o aumento na pressão arterial não está associado a risco de vida ou danos a órgãos alvo, o controle pressórico deve ser feito lentamente durante 24 horas. em relação às urgências hipertensivas, não é conhecida qual a classe de drogas anti-hipertensivas que promove os melhores resultados e há controvérsia em relação a quando e quais as drogas devem ser utilizadas nestas situações. O objetivo desta revisão foi avaliar a efetividade e a segurança de drogas orais para urgências hipertensivas. METODOS: Esta revisão sistemática da literatura foi desenvolvida no Centro Cochrane do Brasil, e na Disciplina de Medicina de Urgência e Medicina Baseada em Evidências da Universidade Federal de São Paulo (UNIFESP) - Escola Paulista de Medicina (Unifesp-EPM), de acordo com a metodologia da Colaboração Cochrane. RESULTADOS: Os 16 ensaios clínicos aleatórios selecionados incluíram 769 participantes e demonstraram um efeito superior dos inibidores da enzima conversora de angiotensina no tratamento da urgência hipertensiva, avaliada em 223 participantes. Os efeitos adversos mais frequentes para os bloqueadores de canal de cálcio foram cefaleia (35/206), rubor (17/172) e alterações do ritmo cardíaco (14/189); para os inibidores da enzima conversora de angiotensina, o efeito colateral mais frequente foi disgeusia (25/38). CONCLUSÕES: Há evidências importantes a favor do uso de inibidores da enzima conversora da angiotensina para o tratamento de urgências hipertensivas, quando comparados aos bloqueadores dos canais de cálcio, devido a maior efetividade e à menor frequência de efeitos adversos, como cefaléia e rubor facial.

Study of the genetic variability and similarity among and within Arachis villosulicarpa, A-pietrarellii and A-hypogaea through isoenzyme analysis

Arachis villosulicarpa is a perennial species cultivated for its soft and tasty seeds by indigenous inhabitants of the Mate Grosso State, Brazil. Besides A. hypogaea, this species is considered as the only species of Arachis which represents a valuable food source for human consumption. Due to the lack of knowledge concerning the genetic diversity of A. villosulicarpa, this study was conducted to evaluate the genetic variability of the accessions from the Germplasm Collection of CENARGEN/EMBRAPA (Brasilia, DF, Brazil) and Institute Agronomico (IAC, Campinas, SP, Brazil). In addition, the genetic similarity between A. villosulicarpa, the related wild species A. pietrarellii, and the cultivated peanut A. hypogaea cv. Tatu was evaluated. From the entire sample analyzed of A. villosulicarpa, the accession from Institute Agronomico showed the highest indices of diversity for both enzymatic systems analyzed, pointing this accession as a promising source of genetic variability that must be preserved in the Germplasm Bank. A high level of genetic similarity was observed between A. pietrarellii and A. villosulicarpa, supporting previous suggestions that A. pietrarellii could be the ancestral progenitor species of A. villosulicarpa or that both species originated from a common ancestor.

Anurans as prey: an exploratory analysis and size relationships between predators and their prey

The vertebrate predators of post-metamorphic anurans were quantified and the predator-prey relationship was investigated by analysing the relative size of invertebrate predators and anurans. More than 100 vertebrate predators were identified (in more than 200 reports) and classified as opportunistic, convenience, temporary specialized and specialized predators. Invertebrate predators were classified as solitary non-venomous, venomous and social foragers according to 333 reviewed reports. Each of these categories of invertebrate predators was compared with the relative size of the anurans, showing an increase in the relative size of the prey when predators used special predatory tactics. The number of species and the number of families of anurans that were preyed upon did not vary with the size of the predator, suggesting that prey selection was not arbitrary and that energetic constraints must be involved in this choice. The relatively low predation pressure upon brachycephalids was related to the presence of some defensive strategies of its species. This compounding review can be used as the foundation for future advances in vertebrate predator-prey interactions.

Gas Chromatographic Determination of Cyprodinil, Fludioxonil, Pyrimethanil, and Tebuconazole in Grapes, Must, and Wine

A rapid and simple gas chromatographic method for determinating cyprodinil, fludioxonil, pyrimethanil, and tebuconazole in grapes, must, and wine is described. An on-line microextraction method was used with a one-step extraction-partition procedure. Nitrogen-phosphorus and mass spectrometric detectors were used, because of their low sensitivity and high selectivity. Because of high selectivity of detector, no cleanup was necessary and the extract was concentrated 5 times. Recoveries from fortified grapes, must, and wine ranged from 93 to 110%. Limits of determination were 0.05 mg/kg for cyprodinil and pyrimethanil and 0.10 mg/kg for fludioxonil and tebuconazole.

Dynamic analysis of a new piezoelectric flextensional actuator using the J1-J4 optical interferometric method

Piezoelectric actuators are widely used in positioning systems which demand high resolution such as scanning microscopy, fast mirror scanners, vibration cancellation, cell manipulation, etc. In this work a piezoelectric flextensional actuator (PFA), designed with the topology optimization method, is experimentally characterized by the measurement of its nanometric displacements using a Michelson interferometer. Because this detection process is non-linear, adequate techniques must be applied to obtain a linear relationship between an output electrical signal and the induced optical phase shift. Ideally, the bias phase shift in the interferometer should remain constant, but in practice it suffers from fading. The J1-J4 spectral analysis method provides a linear and direct measurement of dynamic phase shift in a no-feedback and no-phase bias optical homodyne interferometer. PFA application such as micromanipulation in biotechnology demands fast and precise movements. So, in order to operate with arbitrary control signals the PFA must have frequency bandwidth of several kHz. However as the natural frequencies of the PFA are low, unwanted dynamics of the structure are often a problem, especially for scanning motion, but also if trajectories have to be followed with high velocities, because of the tracking error phenomenon. So the PFA must be designed in such a manner that the first mechanical resonance occurs far beyond this band. Thus it is important to know all the PFA resonance frequencies. In this work the linearity and frequency response of the PFA are evaluated up to 50 kHz using optical interferometry and the J1-J4 method.