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

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

An EIA method on single donor solubilized HLA antigens for the identification of anti-HLA antibodies

Primary biliary cirrhosis (PBC) is an immunologically mediated disease in which activated T lymphocytes attack and destroy epithelial cells in the small intralobular bile ducts of genetically susceptible patients. This article reviews the results of treatment of PBC with immunomodulatory agents. Results with drugs such as glucocorticoids, azathioprine, and chlorambucil have been disappointing because of either limited efficacy (azathioprine), toxicity (chlorambucil), or both (glucocorticoids). Colchicine improved tests of liver function in three prospective studies and was associated with improved survival for up to 4 years. However, survival benefits were lost at 8 years. Colchicine appears to slow the rate of progression of PBC but not to stop it. Preliminary results suggest that colchicine may have synergistic effects if used together with ursodeoxycholic acid, particularly in patients who are only partially responsive to ursodeoxycholic acid. Results with cyclosporine have been disappointing because of limited efficacy and predictable toxicity. The modest improvement in tests of liver function and survival are counterbalanced by the development of hypertension in some and worsening renal function in most. There is little beneficial effect on symptoms or histology. Results with methotrexate are promising. There are improvements in symptoms and tests of liver function that are equal to those seen with ursodeoxycholic acid and significant improvement in liver histology. Some patients, particularly those with striking inflammation and granulomas in portal triads, appear to have achieved sustained remission while on methotrexate. The effects of methotrexate are additive to those of ursodeoxycholic acid in patients whose blood tests have responded only partially to ursodeoxycholic acid. The most effective treatment of PBC will most likely use a combination of drugs such as ursodeoxycholic acid, colchicine, and methotrexate.     

Effect of preoperative supplementation with alpha-tocopherol and ascorbic acid on myocardial injury in patients undergoing cardiac operations

Augmentation of antioxidant defenses may help protect tissues against ischemia-reperfusion injury associated with operations involving cardiopulmonary bypass. In this study we examined the effect of pretreating patients with alpha-tocopherol (vitamin E) and ascorbic acid (vitamin C) or placebo on injury to the myocardium. Seventy-six subjects undergoing elective coronary artery bypass grafting participated in a prospective, double-blind, placebo-controlled randomized trial, receiving either placebo or both 750 IU dl-alpha-tocopherol per day for 7 to 10 days and 1 gm ascorbic acid 12 hours before the operation. Plasma alpha-tocopherol concentrations, raised fourfold by supplementation, fell by 70% after the operation in the supplemented group and to negligible levels in the placebo group. There were no significant differences between the groups with respect to release of creatine kinase MB isoenzyme over 72 hours, nor in the reduction of the myocardial perfusion defect determined by thallium 201 uptake. Electrocardiography provided no evidence of a benefit from antioxidant supplementation. Thus the supplementation regimen prevented the depletion of the primary lipid soluble antioxidant in plasma, but provided no measurable reduction in myocardial injury after the operation.     

Drug rationalization: now for the hard part

In 1995 a national drug policy was finalized in Nepal. The authors outline the measures that were recommended for its implementation and the activities that have so far been undertaken. Much remains to be done, most notably in assisting, coordinating and supervising these activities.     

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.     

Epidural opioid analgesia after caesarean section: a comparison of patient-controlled analgesia with meperidine and single bolus injection of morphine

The quality of analgesia, patient satisfaction and incidence of side effects following a single bolus of epidural morphine were compared with patient-controlled epidural analgesia (PCEA) with meperidine during the first 24 hr after elective Caesarean section. Seventy-five women were randomly assigned to three equal groups. Group I received 30 mg epidural meperidine after delivery and PCEA with meperidine; Group 2 received 3 mg epidural morphine after delivery and PCEA with saline in a double-blind fashion. Group 3 received 3 mg epidural morphine after delivery without saline PCEA. Visual analogue pain scores (VAS) were higher with PCEA meperidine from 8-16 hr post-operatively (P < 0.05) than in both epidural morphine groups. Two patients in Group 1 and one in Group 3 required supplemental parental analgesia. The incidence of nausea was 16% in Group 1, compared with 52% in Group 2 and 56% in Group 3 (P < 0.01). Pruritus occurred in 24% of Group 1 patients, 84% of patients in Group 2 and 68% of patients in Group 3 (P < 0.001). Forty-six percent of patients in Group 1 were very satisfied with pain management, compared with 77% in Group 2 and 79% in Group 3. Nurse workload was higher in the PCEA study groups than in Group 3 (P < 0.05). A single bolus of epidural morphine provides superior analgesia and satisfaction at low cost, but with a higher incidence of nausea and pruritus than PCEA with meperidine.     

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.