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

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

Heme oxygenase 1 is required for mammalian iron reutilization

Stressed mammalian cells up-regulate heme oxygenase 1 (Hmox1; EC 1.14.99.3), which catabolizes heme to biliverdin, carbon monoxide, and free iron. To assess the potential role of Hmox1 in cellular antioxidant defense, we analyzed the responses of cells from mice lacking functional Hmox1 to oxidative challenges. Cultured Hmox1(-/-) embryonic fibroblasts demonstrated high oxygen free radical production when exposed to hemin, hydrogen peroxide, paraquat, or cadmium chloride, and they were hypersensitive to cytotoxicity caused by hemin and hydrogen peroxide. Furthermore, young adult Hmox1(-/-) mice were vulnerable to mortality and hepatic necrosis when challenged with endotoxin. Our in vitro and in vivo results provide genetic evidence that up-regulation of Hmox1 serves as an adaptive mechanism to protect cells from oxidative damage during stress.     

Revised cutoff values of serum aminotransferase in detecting viral hepatitis among CAPD patients: experience from Taiwan, an endemic area for hepatitis B

BACKGROUND: To determine the best cutoff values of aspartate aminotransferase (AST) and alanine amino-transferase (ALT) in detecting viral hepatitis C infection among patients of continuous ambulatory peritoneal dialysis (CAPD). METHODS: 90 (44 male and 46 female) CAPD patients and 526 adult controls (266 male, 260 female) were enrolled. Serum AST and ALT were measured by an auto-analyser monthly. Serum HBsAg was examined using a RIA method and anti-HCV by an second-generation EIA method. The best cutoff values of AST and ALT for detecting viral hepatitis were obtained from the ROC (receiver-operating characteristic) curve. RESULTS: The prevalence of anti-HCV(+) was significantly higher in CAPD patients (16.7%) than in normal controls (4.9%), while that of HBsAg(+) was similar in both groups. CAPD patients had significantly lower levels of serum aminotransferases compared to normal controls. Mean AST were 23.8 IU/l in normal control and 18.8 IU/l in the CAPD patients (P < 0.001). Mean ALT were 21.9 IU/l in normal controls and 15.3 IU/l in the CAPD patients (P < 0.001). CAPD patients with HCV infection had higher serum AST and ALT levels than those without. However, HBV infection did not cause significant serum aminotransferase elevation in patients. The conventional cutoff values of AST (40 IU/l) and ALT (40 IU/l) for detecting viral hepatitis yielded only a sensitivity of 27.3 and 18.2% respectively; on the contrary, our revised cutoff values of AST (24 IU/l) and ALT (17 IU/l) had better sensitivities (AST, 72.7%; ALT, 63.6%). For serial aminotransferase values, the sensitivity of AST and ALT for detecting HCV were 36.4 and 27.3% by conventional criteria, and were both 81.8%, by our newly revised criteria. CONCLUSIONS: Serum aminotransferase cutoff values should be modified for screening viral hepatitis in a CAPD population. Our new cutoff criteria had important clinical implications in providing benefits of earlier detection and possible prevention from chronic hepatic deteriorations.     

Early patterning of prelimbic cortical axons to the striatal patch compartment in the neonatal mouse

The striatum receives excitatory input from virtually the entire cerebral cortex. In the adult, this input is segregated into two functionally distinct compartments of the striatum, the patch (striosome) and matrix regions. This study determined whether the patterning of corticostriatal afferents from the prelimbic cortex to the striatal patch compartment develops during the early period of collateral formation or instead at the time of peak synaptogenesis. Initial formation of corticostriatal axon collaterals was observed by embryonic day (E) 19. Quantification of corticostriatal collaterals revealed a significant increase in the number and complexity of collateral branches at postnatal day 6 as compared to E19. Concomitant with the increase in collateral branching, a heterogeneous pattern of collateralization consisting of parallel rows of corticostriatal collaterals was observed in the medial striatum. In addition to the rows, clusters of corticostriatal axons occurred more laterally. These clusters colocalized with patches of dense tyrosine hydroxylase-positive fibers, a marker for the striatal patch compartment in the neonatal mouse. Together, these data indicate that corticostriatal patterning occurs during the period of early axon collateralization resulting in a segregation of corticostriatal axon collaterals from the prelimbic cortex to the striatal patch compartment.     

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.     

A distributed adverse drug reaction detection system using intelligent agents with a fuzzy recognition‐primed decision model

Discovering unknown adverse drug reactions (ADRs) in postmarketing surveillance as early as possible is highly desirable. Nevertheless, current postmarketing surveillance methods largely rely on spontaneous reports that suffer from serious underreporting, latency, and inconsistent reporting. Thus these methods are not ideal for rapidly identifying rare ADRs. The multiagent systems paradigm is an emerging and effective approach to tackling distributed problems, especially when data sources and knowledge are geographically located in different places and coordination and collaboration are necessary for decision making. In this article, we propose an active, multiagent framework for early detection of ADRs by utilizing electronic patient data distributed across many different sources and locations. In this framework, intelligent agents assist a team of experts based on the well‐known human decision‐making model called Recognition‐Primed Decision (RPD). We generalize the RPD model to a fuzzy RPD model and utilize fuzzy logic technology to not only represent, interpret, and compute imprecise and subjective cues that are commonly encountered in the ADR problem but also to retrieve prior experiences by evaluating the extent of matching between the current situation and a past experience. We describe our preliminary multiagent system design and illustrate its potential benefits for assisting expert teams in early detection of previously unknown ADRs. © 2007 Wiley Periodicals, Inc. Int J Int Syst 22: 827–845, 2007.