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

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

Biofeedback improves functional outcome after sphincteroplasty

Pax genes are expressed in specific patterns in the nervous system during development and in the adult. Recent findings suggest a link between the expression of Pax-2 and axonal guidance. Mice with a targeted deletion of Pax-2 are an excellent tool for studying axonal pathfinding at the molecular level, especially with respect to the optic chiasm. The date reviewed here suggest that Pax-2 regulates the expression of surface molecules involved in contact attraction and that the mutual regulation of the expression of Pax-2 and the Sonic hedgehog gene is of importance in the formation of the chiasm region.     

Multi-input,multi-output flight control system design for the YF-16 using nonlinear QFT and pilot compensation

Nonlinear quantitative feedback theory (QFT) and pilot compensation techniques are used to design a 2 × 2 flight control system for the YF-16 aircraft over a large range of plant uncertainty. The design is based on numerical input-output time histories generated with a FORTRAN implemented nonlinear simulation of the YF-16. The first step of the design process is the generation of a set of equivalent linear time-invariant (LTI) plant models to represent the actual nonlinear plant. It has been proven that the solution to the equivalent plant problem is guaranteed to solve the original nonlinear problem. Standard QFT techniques are then used in the design synthesis based on the equivalent plant models. A detailed mathematical development of the method used to develop these equivalent LTI plant models is provided. After this inner-loop design, pilot compensation is developed to reduce the pilot's workload. This outer-loop design is also based on a set of equivalent LTI plant models. This is accomplished by modelling the pilot with parameters that result in good handling qualities ratings, and developing the necessary compensation to force the desired system responses.     

National Institutes of Health support for research and training: future of pediatrician scientists

Agrobacterium tumefaciens transfers part of its Ti plasmid, the T-DNA, to plant cells during tumorigenesis. It is routinely used for the genetic modification of a wide range of plant species. We report that A. tumefaciens can also transfer its T-DNA efficiently to the filamentous fungus Aspergillus awamori, demonstrating DNA transfer between a prokaryote and a filamentous fungus. We transformed both protoplasts and conidia with frequencies that were improved up to 600-fold as compared with conventional techniques for transformation of A. awamori protoplasts. The majority of the A. awamori transformants contained a single T-DNA copy randomly integrated at a chromosomal locus. The T-DNA integrated into the A. awamori genome in a manner similar to that described for plants. We also transformed a variety of other filamentous fungi, including Aspergillus niger, Fusarium venenatum, Trichoderma reesei, Colletotrichum gloeosporioides, Neurospora crassa, and the mushroom Agaricus bisporus, demonstrating that transformation using A. tumefaciens is generally applicable to filamentous fungi.     

Tumor necrosis factor alpha interferes with the cell cycle of normal and papillomavirus-immortalized human keratinocytes

We have shown that normal and human papillomavirus (HPV) type 16 immortalized human foreskin keratinocytes are growth inhibited by tumor necrosis factor alpha (TNF-alpha), whereas HPV-18- and SV40-immortalized keratinocytes are resistant to this cytokine (1). In this report, we investigated the expression of mitotic regulatory proteins, such as cyclin A, cyclin B, and p34cdc2. After exposure to TNF-alpha, normal and HPV-16-immortalized cells exhibited a dramatic decrease in the expression of these proteins. In contrast, no alteration in the levels of these proteins was observed after treatment of the resistant cell lines, as well as two HPV-positive cervical carcinoma cell lines. Expression of cyclin E does not seem to be modulated by TNF-alpha in any of the cells tested. On the other hand, cyclin D1, expression is slightly increased in normal keratinocytes and in the HPV-16-immortalized cells, whereas no alteration was observed in the HPV-18-transfected cells. The phosphorylation state of pRb correlated with cell growth; sensitive cells, which accumulate in G0-G1, after exposure to TNF-alpha, exhibited an accumulation of hypophosphorylated pRb, whereas no effect on pRb phosphorylation was observed for HPV-18-immortalized cells. These results clearly correlate with TNF-alpha-induced growth arrest in G0-G1.     

International Working Group on Assurance Cases (for Security)

Critical systems are aptly named - from electric power to water and gas to the telephone system and the Internet, they're all critical to some aspect of our daily lives. We're a networked society and as such, it's important to both know whether critical systems are trustworthy and be able to communicate, review, and debate the level of trust achieved in them. In the safety domain, explicit safety cases are increasingly required by law, regulations, and standards. In this article, we outline what a small, international group of experts, spanning various disciplines in safety, security, reliability, and critical infrastructure, been doing with the International Working Group on Assurance Cases (for Security), what we hope to achieve, and where we go next.     

The Effect of Moisture Content in Epoxy Film Adhesives on their Performance. II. T-Peel and 105°C Lap Shear Strength

The benefits of adhesively bonded structures are well known. However, the most significant factor limiting the extensive application of metal bonding in primary aerospace structures is the prevailing lack of confidence in its long term durability under hostile environmental conditions.^1,2     

Single-Phase Permanent-Magnet Motor Analysis

A unified theoretical approach is presented for the calculation of the performance of the single-phase capacitor-start permanent-magnet (PM) ac line-start motor. The earlier work of Chang and of Finch and Lawrenson on capacitor reluctance motors is extended. As far as possible, a common set of reference frame transformations for steady-state, transient, and asynchronous performance is also provided, permitting the use of all the theory developed for the analysis of the balanced polyphase PM motor. A new approximate technique is given for estimating the average asynchronous torque/speed curve from computed acceleration curves.