Les câbles métalliques utilisés pour le renforcement des pneumatiques sont obtenus par assemblage de fils fins produits par tréfilage d’un fil d’acier perlitique à teneur en carbone proche de la composition eutectoïde. La mise en forme par tréfilage a pour but, d’une part de donner au fil son diamètre final et, d’autre part de l’écrouir et lui conférer une très haute résistance mécanique (3500 MPa environ pour des fils de diamètre de 200 µm environ). L’objectif actuel est de porter cette résistance à un niveau proche de 5000 MPa afin d’abaisser la quantité d’acier de renfort et de diminuer ainsi le poids et le coût des pneumatiques. Toutefois l’obtention de fils à ultra-haute résistance (5000 MPa) se voit confronter à deux obstacles majeurs. En effet, le renforcement de l’acier au cours de l’étape de tréfilage engendre des évolutions microstructurales et mécaniques très importantes qui provoquent l’apparition d’une fragilisation des fils. Ce phénomène est considéré comme le seuil de tréfilabilité au-delà duquel le fil ne peut plus être renforcé par écrouissage. Au-delà de cette fragilisation prématurée du fil, un phénomène de vieillissement post-tréfilage provoque lui aussi une évolution de la microstructure et une perte de la ductilité au cours du temps à température ambiante ou encore suite à des traitements thermiques basse température (< 200°C). Cette instabilité des fils dans le temps peut être fortement pénalisante pour leur mise en assemblage en vue d’obtenir les renforts métalliques puisqu’elle est responsable de nombreuses ruptures des fils. L’objectif de ce travail de thèse a consisté alors à contribuer à la définition des évolutions microstructurales, à l’origine des variations des propriétés mécaniques qui apparaissent au cours de l’écrouissage et du vieillissement post-tréfilage. Pour cela, une approche expérimentale originale reposant sur l’utilisation combinée de plusieurs techniques de caractérisation globales et indirectes (pouvoir thermoélectrique, résistivité électrique, spectroscopie mécanique, calorimétrie…), couplée à des analyses en sonde atomique tomographique et à des essais de traction, a été mise en place dans l’idée de fournir un faisceau d’éléments permettant de proposer un scénario pour interpréter les différentes évolutions microstructurales en question. Il a ainsi pu être mis en évidence que l’étape de tréfilage provoquait la dissolution de la cémentite induisant la sursaturation de la ferrite en carbone. Cette microstructure fortement hors équilibre suite à la déformation, revient alors à un état thermodynamiquement plus stable au cours du vieillissement post-tréfilage à travers trois mécanismes différents : la ségrégation des atomes de carbone sur les défauts microstructuraux et la précipitation de carbures intermédiaires métastables suivie de leur transformation en cémentite. / Steelcords are produced by assembling cold-drawn pearlitic steel wires with a composition close to the eutectoid one. The cold-drawing step has two goals: it provides the final shape of the wire and its very high mechanical resistance (about 3500 MPa for wires with a diameter of 200 µm). Nowadays, the industrial target aims at achieving a mechanical resistance of about 5000 MPa in order to lower the quantity of steelcord introduced into tires so decreasing their weight and their cost. However, there are two major obstacles to obtaining these ultra-high strength wires. Indeed, the steel reinforcement during cold-drawing induces significant microstructural and mechanical evolutions, which embrittle the wires. This phenomenon is considered as the limit of drawability beyond which wires cannot be plastically deformed anymore. In addition to that, post-drawing ageing can also induce a microstructural evolution and a loss of ductility due to storage at room temperature or during heat treatments at low temperatures (< 200°C). This instability of the wires microstructure can be very damaging for the assembly step leading to wire breakage. The aim of this work was to contribute to the assessment of the microstructural evolution responsible for the variations of mechanical properties that appear during drawing and post-drawing ageing. To achieve this goal, an original experimental approach combining global and indirect characterization techniques (thermoelectric power, electrical resistivity, mechanical spectroscopy, calorimetry…) with Atom Probe Tomography analyses has been set up in order to provide a range of evidences that converge towards a unique scenario to interpret the different microstructural evolution. It was thus shown that cold-drawing leads to cementite dissolution inducing over saturation of ferrite in carbon atoms. This non-equilibrium microstructure tends to return to a more stable state during post-drawing ageing through three different ageing mechanisms: the segregation of carbon atoms on microstructural defects, the precipitation of secondary carbides and their transformation in cementite.

Hutchinson-Gilford Progeria Syndrome is described as a series of mutations within the lamin A gene leading to the accumulation of progerin in the nucleus, contributing to premature aging and affecting the epigenetic control. Epigenetic control, such as DNA methylation, relies on DNA methyltransferase enzymes. In human cells, heat shock (HS) leads to the formation of nuclear stress bodies (nSBs); ribonucleoprotein aggregates of Sat III RNA and RNA-binding proteins. The objectives of this study were to determine if epigenetic status induces varying responses to HS and assess the variability of nuclear proteins in similar conditions. Results show epigenetic modifications do not prevent a stress response; however the extent may be affected. In addition the functions of most nuclear antigens were not affected. It is most likely the sum of interactions at the inner nuclear membrane and nuclear lamina interface that result in nuclear strength pertaining to lamin A.

Hutchinson-Gilford Progeria Syndrome is described as a series of mutations within the lamin A gene leading to the accumulation of progerin in the nucleus, contributing to premature aging and affecting the epigenetic control. Epigenetic control, such as DNA methylation, relies on DNA methyltransferase enzymes. In human cells, heat shock (HS) leads to the formation of nuclear stress bodies (nSBs); ribonucleoprotein aggregates of Sat III RNA and RNA-binding proteins. The objectives of this study were to determine if epigenetic status induces varying responses to HS and assess the variability of nuclear proteins in similar conditions. Results show epigenetic modifications do not prevent a stress response; however the extent may be affected. In addition the functions of most nuclear antigens were not affected. It is most likely the sum of interactions at the inner nuclear membrane and nuclear lamina interface that result in nuclear strength pertaining to lamin A.

Hutchinson-Gilford Progeria Syndrome is described as a series of mutations within the lamin A gene leading to the accumulation of progerin in the nucleus, contributing to premature aging and affecting the epigenetic control. Epigenetic control, such as DNA methylation, relies on DNA methyltransferase enzymes. In human cells, heat shock (HS) leads to the formation of nuclear stress bodies (nSBs); ribonucleoprotein aggregates of Sat III RNA and RNA-binding proteins. The objectives of this study were to determine if epigenetic status induces varying responses to HS and assess the variability of nuclear proteins in similar conditions. Results show epigenetic modifications do not prevent a stress response; however the extent may be affected. In addition the functions of most nuclear antigens were not affected. It is most likely the sum of interactions at the inner nuclear membrane and nuclear lamina interface that result in nuclear strength pertaining to lamin A.

Os recentes avanços experimentados pela tecnologia CMOS tem permitido a fabricação de transistores em dimensões submicrônicas, possibilitando a integração de dezenas de milhões de dispositivos numa única pastilha de silício, os quais podem ser usados na implementação de sistemas eletrônicos muito complexos. Este grande aumento na complexidade dos projetos fez surgir uma demanda por ferramentas de verificação eficientes e sobretudo que incorporassem modelos físicos e computacionais mais adequados. A verificação de timing objetiva determinar se as restrições temporais impostas ao projeto podem ou não ser satisfeitas quando de sua fabricação. Ela pode ser levada a cabo por meio de simulação ou por análise de timing. Apesar da simulação oferecer estimativas mais precisas, ela apresenta a desvantagem de ser dependente de estímulos. Assim, para se assegurar que a situação crítica é considerada, é necessário simularem-se todas as possibilidades de padrões de entrada. Obviamente, isto não é factível para os projetos atuais, dada a alta complexidade que os mesmos apresentam. Para contornar este problema, os projetistas devem lançar mão da análise de timing. A análise de timing é uma abordagem independente de vetor de entrada que modela cada bloco combinacional do circuito como um grafo acíclico direto, o qual é utilizado para estimar o atraso do circuito. As primeiras ferramentas de análise de timing utilizavam apenas a topologia do circuito para estimar o atraso, sendo assim referenciadas como analisadores de timing topológicos. Entretanto, tal aproximação pode resultar em estimativas demasiadamente pessimistas, uma vez que os caminhos mais longos do grafo podem não ser capazes de propagar transições, i.e., podem ser falsos. A análise de timing funcional, por sua vez, considera não apenas a topologia do circuito, mas também as relações temporais e funcionais entre seus elementos. As ferramentas de análise de timing funcional podem diferir por três aspectos: o conjunto de condições necessárias para se declarar um caminho como sensibilizável (i.e., o chamado critério de sensibilização), o número de caminhos simultaneamente tratados e o método usado para determinar se as condições de sensibilização são solúveis ou não. Atualmente, as duas classes de soluções mais eficientes testam simultaneamente a sensibilização de conjuntos inteiros de caminhos: uma baseia-se em técnicas de geração automática de padrões de teste (ATPG) enquanto que a outra transforma o problema de análise de timing em um problema de solvabilidade (SAT). Apesar da análise de timing ter sido exaustivamente estudada nos últimos quinze anos, alguns tópicos específicos não têm recebido a devida atenção. Um tal tópico é a aplicabilidade dos algoritmos de análise de timing funcional para circuitos contendo portas complexas. Este constitui o objeto básico desta tese de doutorado. Além deste objetivo, e como condição sine qua non para o desenvolvimento do trabalho, é apresentado um estudo sistemático e detalhado sobre análise de timing funcional. / 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.

Os recentes avanços experimentados pela tecnologia CMOS tem permitido a fabricação de transistores em dimensões submicrônicas, possibilitando a integração de dezenas de milhões de dispositivos numa única pastilha de silício, os quais podem ser usados na implementação de sistemas eletrônicos muito complexos. Este grande aumento na complexidade dos projetos fez surgir uma demanda por ferramentas de verificação eficientes e sobretudo que incorporassem modelos físicos e computacionais mais adequados. A verificação de timing objetiva determinar se as restrições temporais impostas ao projeto podem ou não ser satisfeitas quando de sua fabricação. Ela pode ser levada a cabo por meio de simulação ou por análise de timing. Apesar da simulação oferecer estimativas mais precisas, ela apresenta a desvantagem de ser dependente de estímulos. Assim, para se assegurar que a situação crítica é considerada, é necessário simularem-se todas as possibilidades de padrões de entrada. Obviamente, isto não é factível para os projetos atuais, dada a alta complexidade que os mesmos apresentam. Para contornar este problema, os projetistas devem lançar mão da análise de timing. A análise de timing é uma abordagem independente de vetor de entrada que modela cada bloco combinacional do circuito como um grafo acíclico direto, o qual é utilizado para estimar o atraso do circuito. As primeiras ferramentas de análise de timing utilizavam apenas a topologia do circuito para estimar o atraso, sendo assim referenciadas como analisadores de timing topológicos. Entretanto, tal aproximação pode resultar em estimativas demasiadamente pessimistas, uma vez que os caminhos mais longos do grafo podem não ser capazes de propagar transições, i.e., podem ser falsos. A análise de timing funcional, por sua vez, considera não apenas a topologia do circuito, mas também as relações temporais e funcionais entre seus elementos. As ferramentas de análise de timing funcional podem diferir por três aspectos: o conjunto de condições necessárias para se declarar um caminho como sensibilizável (i.e., o chamado critério de sensibilização), o número de caminhos simultaneamente tratados e o método usado para determinar se as condições de sensibilização são solúveis ou não. Atualmente, as duas classes de soluções mais eficientes testam simultaneamente a sensibilização de conjuntos inteiros de caminhos: uma baseia-se em técnicas de geração automática de padrões de teste (ATPG) enquanto que a outra transforma o problema de análise de timing em um problema de solvabilidade (SAT). Apesar da análise de timing ter sido exaustivamente estudada nos últimos quinze anos, alguns tópicos específicos não têm recebido a devida atenção. Um tal tópico é a aplicabilidade dos algoritmos de análise de timing funcional para circuitos contendo portas complexas. Este constitui o objeto básico desta tese de doutorado. Além deste objetivo, e como condição sine qua non para o desenvolvimento do trabalho, é apresentado um estudo sistemático e detalhado sobre análise de timing funcional. / 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.

O Aeroporto Internacional Governador André Franco Montoro (GRU), São Paulo, depende inteiramente da água subterrânea para suprir sua demanda. Entretanto, a prática de extração excessiva, que aumenta continuamente para atender à demanda de um número cada vez maior de passageiros e às dificuldades envolvidas com a recarga natural do aqüífero, levou a Empresa Brasileira de Infraestrutura Aeroportuária (Infraero) a procurar outras fontes de abastecimento. Embora a busca de solução para o problema da escassez da água, passe pela opção de recarga gerenciada do aqüífero, a falta da experiência nacional nessa área restringe a tomada da decisão na adoção dessa prática no país. Objetivando contribuir com estudos de viabilidade técnica da recarga gerenciada de aqüíferos em geral e, em particular, do Aeroporto Internacional Governador André Franco Montoro, este trabalho tem o objetivo de verificar, em escala piloto, a capacidade do solo-aqüífero do aeroporto em tratar adequadamente o esgoto gerado localmente. Para atingir esse objetivo, uma área adequada foi selecionada entre as diversas avaliadas, para a construção de uma unidade piloto de recarga de aqüífero. No local selecionado, amostras indeformadas da camada não saturada foram coletadas, caracterizadas e, posteriormente, montadas em colunas experimentais especiais, pelas quais o esgoto foi infiltrado de maneira controlada. Como os resultados desta primeira fase experimental não foram adequadamente atendidos, foi decidido efetuar coletas de amostras indeformadas em uma segunda área do aeroporto, que indicou a existência de uma camada vadosa mais profunda, mas perfil de solo semelhante ao perfil anterior. Os ensaios de colunas foram efetuados com amostras de ambas as áreas, indicando que o solo superficial do aeroporto deverá ser eliminado, ou substituído por uma camada de areia grossa para permitir uma recarga gerenciada que permita a produção de águas com qualidade adequada para os usos preconizados. Os diferentes cenários utilizados nesta pesquisa envolveram a infiltração nas colunas de recarga com esgotos secundários produzidos no aeroporto, após passagem por duas lagoas de retenção, a infiltração do mesmo efluente tratado por um processo físico-químico de coagulação/floculação/sedimentação e pelo mesmo efluente das lagoas de retenção após tratamento por um sistema de membranas de ultrafiltração. Os resultados obtidos são considerados como resultados parciais, uma vez que toda a profundidade do aqüífero não foi utilizada e pelo fato de que, face às restrições acadêmicas vigentes o tempo disponível para a realização da pesquisa foi extremamente restringido. Entretanto, considera-se este trabalho como pioneiro, pelo fato dele se constituir na primeira pesquisa sobre recarga gerenciada no Brasil e, ainda, por fornecer subsídios teóricos e práticos para suportar outros estudos semelhantes que se farão necessários para compreender e promover a prática de recarga gerenciada de aqüíferos no Brasil. / The Governor André Franco Montoro International Airport, São Paulo, entirely depends on groundwater to meet its demand. However, excessive extraction practice which increase continuously in order to attend the demand of increasing number of passengers and the difficulty involved with natural recharge of its aquifer led the Federal Airport Administration Agency (Infraero) to search for other sources of water supply. Although the search for solution for water scarcity problem goes through managed aquifer recharge, lack of national experience in this area restricts decision making in adopting this practice in the country. Contributing to the technical feasibility studies of managed aquifer recharge in general and the Governor André Franco Montoro International Airport in particular, this research has the objective of verifying at the pilot scale level, the capacity of airport soil-aquifer in adequately treating wastewater generated locally. In order to reach this objective, an adequate location was selected within the alternatives evaluated for the construction of a pilot unit for aquifer recharge. Undeformed samples were collected from the unsaturated layer of the selected place, characterized and afterwards, recharged through special experimental columns with wastewater which was filtered in a controlled form. As the results of the first experimental phase were not adequately met, a decision was made to collect undeformed samples from a second location in the airport. The collection indicated the existence of deep unsaturated layer with the soil profile being similar to the profile of the soil layer from which the first samples were collected. The soil column tests were carried out with samples from both areas, indicating that superficial part of airport soil will be eliminated or substituted with a coarse sandy layer in order to permit a managed aquifer recharge which allows production of water that meets the quality of its required uses. Of the different scenarios verified in this research was infiltration of secondary wastewater produced at the airport through soil columns. Another was infiltration of wastewater after its pre-treatment by physicalchemical processes of coagulation/flocculation/sedimentation and still a third scenario, through pre-treatment of secondary effluent by ultrafiltration membrane. The results obtained are considered partial since the total aquifer depth was not used and the fact that academic restrictions limited excessively the time period of the research. However, considering this as a pioneer work, and the fact that it constitutes the first research about managed aquifer recharge in Brazil, and with it, bringing theoretical and practical contributions to support other similar studies which would be necessary in understanding and promoting managed aquifer recharge practice in Brazil.

Os recentes avanços experimentados pela tecnologia CMOS tem permitido a fabricação de transistores em dimensões submicrônicas, possibilitando a integração de dezenas de milhões de dispositivos numa única pastilha de silício, os quais podem ser usados na implementação de sistemas eletrônicos muito complexos. Este grande aumento na complexidade dos projetos fez surgir uma demanda por ferramentas de verificação eficientes e sobretudo que incorporassem modelos físicos e computacionais mais adequados. A verificação de timing objetiva determinar se as restrições temporais impostas ao projeto podem ou não ser satisfeitas quando de sua fabricação. Ela pode ser levada a cabo por meio de simulação ou por análise de timing. Apesar da simulação oferecer estimativas mais precisas, ela apresenta a desvantagem de ser dependente de estímulos. Assim, para se assegurar que a situação crítica é considerada, é necessário simularem-se todas as possibilidades de padrões de entrada. Obviamente, isto não é factível para os projetos atuais, dada a alta complexidade que os mesmos apresentam. Para contornar este problema, os projetistas devem lançar mão da análise de timing. A análise de timing é uma abordagem independente de vetor de entrada que modela cada bloco combinacional do circuito como um grafo acíclico direto, o qual é utilizado para estimar o atraso do circuito. As primeiras ferramentas de análise de timing utilizavam apenas a topologia do circuito para estimar o atraso, sendo assim referenciadas como analisadores de timing topológicos. Entretanto, tal aproximação pode resultar em estimativas demasiadamente pessimistas, uma vez que os caminhos mais longos do grafo podem não ser capazes de propagar transições, i.e., podem ser falsos. A análise de timing funcional, por sua vez, considera não apenas a topologia do circuito, mas também as relações temporais e funcionais entre seus elementos. As ferramentas de análise de timing funcional podem diferir por três aspectos: o conjunto de condições necessárias para se declarar um caminho como sensibilizável (i.e., o chamado critério de sensibilização), o número de caminhos simultaneamente tratados e o método usado para determinar se as condições de sensibilização são solúveis ou não. Atualmente, as duas classes de soluções mais eficientes testam simultaneamente a sensibilização de conjuntos inteiros de caminhos: uma baseia-se em técnicas de geração automática de padrões de teste (ATPG) enquanto que a outra transforma o problema de análise de timing em um problema de solvabilidade (SAT). Apesar da análise de timing ter sido exaustivamente estudada nos últimos quinze anos, alguns tópicos específicos não têm recebido a devida atenção. Um tal tópico é a aplicabilidade dos algoritmos de análise de timing funcional para circuitos contendo portas complexas. Este constitui o objeto básico desta tese de doutorado. Além deste objetivo, e como condição sine qua non para o desenvolvimento do trabalho, é apresentado um estudo sistemático e detalhado sobre análise de timing funcional. / 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.

Hutchinson-Gilford Progeria Syndrome is described as a series of mutations within the lamin A gene leading to the accumulation of progerin in the nucleus, contributing to premature aging and affecting the epigenetic control. Epigenetic control, such as DNA methylation, relies on DNA methyltransferase enzymes. In human cells, heat shock (HS) leads to the formation of nuclear stress bodies (nSBs); ribonucleoprotein aggregates of Sat III RNA and RNA-binding proteins. The objectives of this study were to determine if epigenetic status induces varying responses to HS and assess the variability of nuclear proteins in similar conditions. Results show epigenetic modifications do not prevent a stress response; however the extent may be affected. In addition the functions of most nuclear antigens were not affected. It is most likely the sum of interactions at the inner nuclear membrane and nuclear lamina interface that result in nuclear strength pertaining to lamin A.

The purposes of this study were (1) to determine the scores on the quantitative portion of the SAT for 110 students and these students' math teachers' ratings on the TTAS, (2) to determine the nature of the relationship of the students' SAT scores to their teachers' TTAS ratings, and (3) to determine the nature of the relationship of the students' SAT scores to their sex. It was hypothesized that (1) there would be no significant relationship between a student's math score as measured by the quantitative portion of the SAT and the effectiveness of the student's math teacher as measured by the TTAS, and (2) there would be no significant relationship between a student's math score as measured by the quantitative portion of the SAT and the student's sex. The 110 subjects (60 males and 50 females) In this study took the quantitative portion of the SAT during the 1986-87 school year. This sample was drawn from a large suburban high school in the North Texas area. The effectiveness of the math teachers who taught the 110 students was measured by the Texas Teachers Appraisal System (TTAS). The statistical analyses indicated that (1) there was no significant relationship between a higher SAT score and a math teacher's higher TTAS rating and (2) there was no significant relationship between male and female SAT scores. Recommendations for future research include: (1) does the TTAS actually measure teacher effectiveness, (2) do appraisers in Texas follow state mandated training procedures, (3) does the quantitative portion of the SAT contain sexually biased items, (4) does the SAT actually predict student ability, (5) do teachers respond in like manner to male and female students, (6) does the high school curriculum tend to favor one sex more than the other.