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

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

Autoimmunity caused by disruption of central T cell tolerance. A murine model of drug-induced lupus

A side effect of therapy with procainamide and numerous other medications is a lupus-like syndrome characterized by autoantibodies directed against denatured DNA and the (H2A-H2B)-DNA subunit of chromatin. We tested the possibility that an effect of lupus-inducing drugs on central T cell tolerance underlies these phenomena. Two intrathymic injections of procainamide-hydroxylamine (PAHA), a reactive metabolite of procainamide, resulted in prompt production of IgM antidenatured DNA antibodies in C57BL/6xDBA/2 F1 mice. Subsequently, IgG antichromatin antibodies began to appear in the serum 3 wk after the second injection and were sustained for several months. Specificity, inhibition and blocking studies demonstrated that the PAHA-induced antibodies showed remarkable specificity to the (H2A-H2B)-DNA complex. No evidence for polyclonal B cell activation could be detected based on enumeration of Ig-secreting B cells and serum Ig levels, suggesting that a clonally restricted autoimmune response was induced by intrathymic PAHA. The IgG isotype of the antichromatin antibodies indicated involvement of T cell help, and proliferative responses of splenocytes to oligonucleosomes increased up to 100-fold. As little as 5 microM PAHA led to a 10-fold T cell proliferative response to chromatin in short term organ culture of neonatal thymi. We suggest that PAHA interferes with self-tolerance mechanisms accompanying T cell maturation in the thymus, resulting in the emergence of chromatin-reactive T cells followed by humoral autoimmunity.     

Cure of malignant ascites and generation of protective immunity by monoclonal antibody-targeted activation of a glucuronide prodrug in rats

We examined the in vivo efficacy of targeting beta-glucuronidase (betaG) to activate a glucuronide prodrug (BHAMG) of p-hydroxyaniline mustard (pHAM) at hepatoma ascites in Sprague-Dawley rats. Injection i.p. of 500 microg RH1-betaG, a conjugate formed between recombinant betaG and monoclonal antibody RH1 with specificity for an antigen expressed on AS-30D rat hepatoma cells, into rats bearing AS-30D ascites resulted in the accumulation of 54 microg conjugate per 10(9) tumor cells after 2 hr. Ascites fluid and serum contained 0.53 and 0 microg/ml, respectively, RH1-betaG 2 hr after injection of the conjugate. Conjugate binding to AS-30D cells was heterogeneous and non-saturated, as determined by flow cytometry. BHAMG was less toxic than pHAM to SD rats based on measures of animal mortality, weight loss and hematological toxicity. Treatment of rats bearing established hepatoma ascites with 500 microg RH1-betaG followed 2 hr later with a single i.p. injection of 30 mg/kg BHAMG or 3 i.p. injections of 10 mg/kg BHAMG 2, 3 and 4 hr later resulted in the cure of 6/8 and 8/8 animals, respectively. Treatment with BHAMG or pHAM alone did not produce cures, whereas treatment with a control antibody-betaG conjugate and BHAMG produced significantly greater hematological toxicity compared to treatment with RH1-betaG and BHAMG. All cured rats were completely protected from rechallenge with 2 x 10(7) AS-30D cells, indicating that successful treatment of animals induced protective immunity.     

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.     

Partial congenital defect of the left pericardium: angiographic diagnosis and treatment by thoracoscopic pericardiectomy: case report

Twenty-six patients with an intracardiac myxoma underwent surgical resection at our institution from 1977 through 1992. Left atrial myxoma was diagnosed in 22 patients, left ventricular in 1, right atrial in 2, and right ventricular in 1. Six patients were asymptomatic; preoperative symptoms included dyspnea, arrhythmias, embolic episodes, and syncope. The diagnosis was established with transthoracic echocardiography in all cases but one. Surgery was performed in all cases with the aid of cardiopulmonary bypass with moderate hypothermia and cold crystalloid cardioplegia. One patient with a left ventricular myxoma died in a comatose state during the immediate postoperative period. Long-term clinical and echocardiographic evaluation was performed in 19 patients; results were excellent (all the patients were in New York Heart Association functional class I or II), and no recurrences were documented. The clinical characteristics, diagnostic methods, and surgical approach are presented and discussed.     

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