可重定位的基于事务的系统级验证

功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门，以及对开发和集成嵌入式软件的需求持续增加，软件模拟器已经力所不及。在设计过程需要几百万个时钟周期来充分测试和验证软件功能的情况下，软件仿真器的性能下降到1-5Hz。按照这种速率，软件调试需要几年的时     

Structure and stability of an immunoglobulin superfamily domain from twitchin, a muscle protein of the nematode Caenorhabditis elegans

The NMR solution structure of an immunoglobulin superfamily module of twitchin (Ig 18') has been determined and the kinetic and equilibrium folding behaviour characterised. Thirty molecular coordinates were calculated using a hybrid distance geometry-simulated annealing protocol based on 1207 distance and 48 dihedral restraints. The atomic rms distributions about the mean coordinate for the ensemble of structures is 0.55( +/- 0.09) A for backbone atoms and 1.10( +/- 0.08) A for all heavy atoms. The protein has a topology very similar to that of telokin and the titin Ig domains and thus it falls into the I set of the immunoglobulin superfamily. The close agreement between the predicted and observed structures of Ig 18' demonstrates clearly that the I set profile can be applied in the structure prediction of immunoglobulin-like domains of diverse modular proteins. Folding studies reveal that the protein has relatively low thermodynamic stability, deltaG(H2O)U-F = 4.0 kcal mol(-1) at physiological pH. Unfolding studies suggest that the protein has considerable kinetic stability, the half life of the unfolding is greater than 40 minutes in the absence of denaturant.     

Methodological issues in outcome studies of school-based interventions for the prevention of adolescent depression.

Several methodological and ethical issues are addressed in the context of 3 related school-based studies of the primary and targeted prevention of depressive symptoms and disorder in high school adolescents. These issues include obtaining S consent and the protection of confidentiality, minimizing attrition over long-term follow-up periods, the "unit of assignment" issue common to most school-based research, and ensuring therapist fidelity to the intervention protocol. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Driver detection and recognition of lineside signals and signs at different approach speeds

A study was carried out using simulation to investigate driver responses to lineside signals and signs at various approach speeds. The objectives of the study were: (1) to find out whether train speed would significantly affect signal/sign reading; (2) to examine at which point certain types of signs or signals could be detected or recognised, and (3) to determine a speed cut-off level above which certain types of signs or signals are no longer recognisable or detectable. Fifty-seven train drivers from 12 Train Operating Companies in the UK participated in the trials. Twenty different types of lineside signs and ten types of signals were tested under six different approach speeds ranging from 100 to 350 km/h (62–218 mph). Driver performance measures were ‘time remaining to the signal/sign’ at the point of detection or recognition, and reading error rate. The results showed a significant influence of train speed on driver responses to lineside signals/signs and demonstrated a non-linear relationship between driver responses to signals/signs and approach speed. This has been used to estimate a maximum approach speed limit within which a specific signal or sign can be correctly detected or recognised. The findings and implications of the study are discussed in the paper.     

Summary of discussion on ‘Sciences related to pitch and coke usage in carbon manufacture’

This article is a brief summary of the Discussion session held after the presentation of the preceding papers at the conference organized by the Industrial Carbon and Graphite Group of the Society of Chemical Industry, London, March 1984.     

Introducing Students to Professional Practice in Civil Engineering

This paper describes a module that was introduced into a civil engineering degree program with the help of professional engineers. The aim was to develop a bridge between the world of learning and professional practice by putting students in the role of consulting engineers working with industry to produce a feasible solution to a real inquiry from a client. The module is placed in context by comparing the goals of accredited civil engineering programs in the United Kingdom and America, by describing how it is linked to the degree program and by explaining the matrix developed to identify the skills the students needed to demonstrate their ability to practice as professional engineers. Details of the module are given with examples of student work and feedback.     

Prenatal cocaine delays astroglial maturation: immunodensitometry shows increased markers of immaturity (vimentin and GAP-43) and decreased proliferation and production of the growth factor S-100

Exposure to cocaine during fetal development has been demonstrated to produce a variety of brain and behavioral changes. Cocaine is a potent releaser of a variety of neurotransmitters, such as serotonin, which act as developmental signals. Since serotonin plays an important role in astroglial maturation, migration, and growth factor production (e.g. S-100 beta), we proposed that these properties of astroglial cells will be altered in a brain prenatally exposed to cocaine. To observe cocaine's effects on astroglial development, we performed immunocytochemical analyses of a variety of developmental protein makers including BrdU, Gap-43, vimentin, and S100 beta. Our results demonstrate that prenatal cocaine administration produces decreased cell proliferation as measured by BrdU staining, retarded neurite outgrowth as ascertained by increased Gap-43 immunoreactivity, increased density of vimentin-positive radial glial cells, and diminished tissue S100 beta immunoreactivity. Overall, these results suggest that cocaine delays astroglial development. This delay would have profound effects on neuronal development and outgrowth and, thus, development of the entire brain.