Library

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Chemistry  (19)
  • symbolic trajectory evaluation  (2)
  • (Madin-Darby canine kidney cell)  (1)
  • 1
    Electronic Resource
    Electronic Resource
    Amsterdam : Elsevier
    Biochimica et Biophysica Acta (BBA)/Biomembranes 1030 (1990), S. 297-300 
    ISSN: 0005-2736
    Keywords: (Madin-Darby canine kidney cell) ; Electrical resistance ; FCCP ; Tight junction ; ZO-1 protein
    Source: Elsevier Journal Backfiles on ScienceDirect 1907 - 2002
    Topics: Biology , Chemistry and Pharmacology , Medicine , Physics
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Journal of electronic testing 15 (1999), S. 191-205 
    ISSN: 1573-0727
    Keywords: array ; logic verification ; design error ; symbolic trajectory evaluation ; assertion ; assertion test generation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Electrical Engineering, Measurement and Control Technology
    Notes: Abstract Design validation for embedded arrays remains as a challenging problem in today's microprocessor design environment. Although several methods for validating embedded arrays have been proposed, not much has been done to characterize the strengths and weaknesses of these methods. This paper provides a comprehensive study of various design validation approaches adopted at the Somerset PowerPC Design Center in the past, including methods from both formal verification and test generation. Effectiveness of these approaches will be measured based on automatic design error injection and simulation at both gate and transistor levels. Experience of using different validation approaches on recent PowerPC microprocessor arrays will be analyzed and discussed.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Journal of electronic testing 13 (1998), S. 121-135 
    ISSN: 1573-0727
    Keywords: high-level test generation ; assertion test generation ; design validation ; logic verification ; symbolic trajectory evaluation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Electrical Engineering, Measurement and Control Technology
    Notes: Abstract Test and validation of embedded array blocks remains a major challenge in today's microprocessor design environment. The difficulty comes from twofold, the sizes of the arrays and the complexity of their timing and control. This paper describes a novel test generation methodology for test and validation of microprocessor embedded arrays. Unlike traditional ATPG methods, our test generation method is based upon the high-level assertion specification which is originally used for the purpose of formal verification. The superiority of these assertion tests over the traditional ATPG tests will be discussed and shown through various experiments on recent PowerPC microprocessor designs.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Stamford, Conn. [u.a.] : Wiley-Blackwell
    Polymer Engineering and Science 30 (1990), S. 249-255 
    ISSN: 0032-3888
    Keywords: Chemistry ; Chemical Engineering
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology , Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics , Physics
    Notes: The dynamic mechanical response of adhesively bonded metal beams has been examined over a broad temperature range using a dynamic mechanical thermal analyzer (DMTA). The measured dynamic mechanical response of the bonded beam contains rich information about the viscoelastic properties of the adhesive resin such as glass transition temperatures. The measured storage moduli and loss factors of the bonded beams are very sensitive to changes in the properties of adhesive induced by exposing the beam specimens to environmental attack. Dynamic mechanical responses associated with dry adhesive resin, water plasticized resin, and aggregated water were observed for an electro-galvanized steel/epoxy beam exposed to water. The effect of the presence of an interfacial accommodation zone (IAZ) between adhesive resin and metal substrate was also examined; measured properties were very sensitive to the presence of a low modulus IAZ. It was successfully demonstrated in this study that the DMTA testing of bonded beams is a potentially useful tool for studying dynamic performance and durability of automotive adhesive joints.
    Additional Material: 9 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Electronic Resource
    Electronic Resource
    New York, NY [u.a.] : Wiley-Blackwell
    Journal of Applied Polymer Science 30 (1985), S. 2115-2135 
    ISSN: 0021-8995
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology , Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics , Physics
    Notes: A series of polydimethylsiloxane-urea acrylate prepolymers was synthesized by reacting aminopropyl-terminated polydimethylsiloxane (ATPS) with isocyanatoethyl methacrylate (IEM). The oligomers were cured using ultraviolet radiation in the presence of different reactive diluents. Three systems were prepared with varying ATPS soft segment molecular weight. All of the samples were transparent. However, microphase separation was indicated by the observation of two glass transition temperatures attributed to separate ATPS and IEM/reactive diluent phases. Increasing ATPS molecular weight led to a lower rubbery phase transition temperature and a smaller rigid phase volume fraction. These effects were reflected in lower modulus and tensile strength at room temperature, and higher elongation at break. An increase in the reactive diluent content resulted in an increase in Young's modulus and the ultimate tensile strength of these materials. Increasing reactive diluent content caused the rubbery phase transition peak to decrease in magnitude without changing its position and shifted the hard segment transition to higher temperature. The tensile strengths and moduli of these materials were higher than those reported in the literature for other polydimethylsiloxane and urethane acrylate materials.
    Additional Material: 14 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    AIChE Journal 20 (1974), S. 1015-1017 
    ISSN: 0001-1541
    Keywords: Chemistry ; Chemical Engineering
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology , Process Engineering, Biotechnology, Nutrition Technology
    Additional Material: 1 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    AIChE Journal 31 (1985), S. 170-174 
    ISSN: 0001-1541
    Keywords: Chemistry ; Chemical Engineering
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology , Process Engineering, Biotechnology, Nutrition Technology
    Additional Material: 4 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    AIChE Journal 22 (1976), S. 927-930 
    ISSN: 0001-1541
    Keywords: Chemistry ; Chemical Engineering
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology , Process Engineering, Biotechnology, Nutrition Technology
    Additional Material: 2 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    AIChE Journal 23 (1977), S. 210-211 
    ISSN: 0001-1541
    Keywords: Chemistry ; Chemical Engineering
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology , Process Engineering, Biotechnology, Nutrition Technology
    Additional Material: 1 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Electronic Resource
    Electronic Resource
    Bognor Regis [u.a.] : Wiley-Blackwell
    Journal of Polymer Science Part B: Polymer Physics 26 (1988), S. 315-337 
    ISSN: 0887-6266
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology , Physics
    Notes: A series of polyurea urethane block polymers based on either aminopropyl-terminated polycyanoethylmethylsiloxane (PCEMS) soft segments or soft segment blends of PCEMS and polytetramethylene oxide (PTMO) were synthesized. The hard segments consisted of 4,4′-methylenediphenylene diisocyanate (MDI) chain-extended with 1,4-butanediol. The hard segment content varied from 11 to 36%, whereas the PTMO weight fraction in the soft segment blends varied from 0.1 to 0.9. The cyanoethyl side group concentration was also varied during the synthesis of the PCEMS oligomer. The morphology and properties of these polymers were studied by differential scanning calorimetry, infrared spectroscopy, dynamic mechanical and tensile testing, and small-angle x-ray scattering. These materials exhibited microphase separation of the hard and soft segments; however, attaching polar cyanoethyl side groups along the apolar siloxane chains promoted phase mixing in comparison with polydimethylsiloxane-based polyurethanes. The increased phase mixing is postulated to lead to improved interfacial adhesion and thus can account for the observed improvement in ultimate tensile properties compared with polydimethylsiloxane-based polyurethanes. Both hard segment content and cyanoethyl concentration are important factors governing the morphological and tensile properties of these polymers.
    Additional Material: 12 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...