IC设计复杂化加剧：先进验证方式重要性倍增

虽然目前的IC设计持续以惊人的速度复杂化,但设计者仍然希望可以通过先进的验证工作提高工作效率.所谓的先进验证工作便是将测试平台自动化(Test-Bench Automation)和正式属性检测(Formal Property Checking)两功能添加到功能验证(Functional Verification)的流程之中.本文将主要探讨其中的基本概念、价值以及使用方法,进而帮助读者了解.     

Meniscal regeneration in the long-term after total meniscectomy?

A cohort of 39 patients (28 male, 11 female) that had undergone total meniscectomy as adolescents (mean age 16 years) underwent FISP 3D Magnetic Resonance Imaging at a mean follow up of 30 years. The presence of meniscal tissue was assessed by two independent observers blinded to the operation details. The volume of any meniscal tissue present was calculated. A posterior horn remnant was seen in 57% of medial and 45% of lateral meniscectomy cases. The mean volume of an operated medial meniscal remnant was 0.29 mL compared with a mean volume of 1.15 mL for an intact medial meniscus. The mean volume of an operated lateral meniscal remnant was 0.30 mL compared with 1.07 mL for an intact lateral meniscus. We have shown that the incidence of incomplete excision of the posterior horn is more common after total medial meniscectomy, and that at a mean follow up of 30 years there is no convincing in vivo MRI evidence of long-term meniscal regeneration.     

IrLAP protocol performance analysis of IrDA wireless communications

The IRDA IrLAP protocol is analytically modelled. Throughput performance is examined with bit error rate, window size, and turnaround times. It is shown that for the proposed 16 Mbit/s and 127 frame maximum window size extension the link BER quality becomes critical if maximum throughput is to be achieved. A window size of 60 is less sensitive to bit error rate variations. Reducing the minimum turnaround time is always beneficial     

An empirical investigation of competency factors affecting e-business success in European SMEs

In the last decade there was growing interest in strategic management literature about factors that influence a company's ability to use IT. There is general consensus that knowledge and competency are necessary in developing an IT capability, but there is very little understanding of what the necessary competencies are, and how they influence IS usage in different contexts. The small and medium-sized enterprise context is particularly interesting for two reasons: it constitutes a major part of the economy and it has been relatively unsuccessful in exploiting e-business.     

Hydroxychloroquine reverses thrombogenic properties of antiphospholipid antibodies in mice

BACKGROUND: Previous studies have demonstrated that human monoclonal and polyclonal anticardiolipin antibodies have thrombogenic properties in vivo. Using such a model in which these antibodies have been shown to increase both the size of an induced thrombus and the duration of time in which such a clot lasts, we investigated whether hydroxychloroquine alters the dynamics of such thrombus formation. METHODS AND RESULTS: Three groups of nine mice were injected with purified immunoglobulin G (IgG) from a patient with the antiphospholipid syndrome (IgG-APS) and then fed with hydroxychloroquine at various doses (100, 6, and 3 mg/kg body wt). Three control groups of mice were also studied, including mice injected with IgG-APS and then fed with placebo, as well as two other groups injected with IgG from normal human serum and fed either hydroxychloroquine or placebo. A standardized thrombogenic injury was subsequently induced in the femoral vein of each mouse and the area (size) of thrombus measured as well as the total period of time that thrombus was present. Mice treated with hydroxychloroquine and IgG-APS showed significantly smaller thrombi that persisted for a shorter period of time compared with animals treated with IgG-APS and placebo. CONCLUSIONS: Hydroxychloroquine significantly diminished both thrombus size and total time of thrombus formation in mice previously injected with IgG-APS.     

Collective restraint in social dilemmas: Procedural justice and social identification effects on support for authorities.

This study examined people's willingness to restrain themselves during a naturally occurring social dilemma situation—the 1991 California water shortage. The findings suggest that people are more willing to support authorities who make water conservation decisions when these authorities use fair decision-making procedures. Procedural justice effects were not found to be influenced by the perceived severity of the resource scarcity or the favorability of the authorities' decisions. Rather, they were primarily based on concerns for having positive, relational bonds to the authorities. These relational effects were found to be stronger for those respondents who identify more with their community. The study suggests that the effectiveness of authorities is primarily linked to the nature of their social bonds with community members. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Accelerator beam energy calibration with the Al(p, n) and Al(p, γ) reactions

The energies of resonances in the ²⁷Al(p, γ) reaction at 992 and 1317 keV and of the threshold of the ²⁷Al(p, n) reaction at 5804 keV have been measured accurately with respect to a 1 V standard. Both calibration energies and energies suitable for Q-value calculations are given. Corrections are made for the effects of the energy distribution of the proton beam, of nonuniform energy loss of the protons in the target and of ionisation of the target atoms.     

A multiparameter wearable physiologic monitoring system for space and terrestrial applications.

A novel, unobtrusive and wearable, multiparameter ambulatory physiologic monitoring system for space and terrestrial applications, termed LifeGuard, is presented. The core element is a wearable monitor, the crew physiologic observation device (CPOD), that provides the capability to continuously record two standard electrocardiogram leads, respiration rate via impedance plethysmography, heart rate, hemoglobin oxygen saturation, ambient or body temperature, three axes of acceleration, and blood pressure. These parameters can be digitally recorded with high fidelity over a 9-h period with precise time stamps and user-defined event markers. Data can be continuously streamed to a base station using a built-in Bluetooth RF link or stored in 32 MB of on-board flash memory and downloaded to a personal computer using a serial port. The device is powered by two AAA batteries. The design, laboratory, and field testing of the wearable monitors are described.