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

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

Apoptosis and delayed neuronal damage after carbon monoxide poisoning in the rat

Delayed neurological damage after CO hypoxia was studied in rats to determine whether programmed cell death (PCD), in addition to necrosis, is involved in neuronal death. In rats exposed to either air or CO (2500 ppm), microdialysis in brain cortex and hippocampus was performed to determine the extent of glutamate release and hydroxyl radical generation during the exposures. Groups of control and CO-exposed rats also were tested in a radial maze to assess the effects of the CO exposures on learning and memory. At 3, 7, and 21 days after CO exposure brains were perfusion-fixed and hematoxylin-eosin (H&E) was used to assess injury and to select regions for further examination. DNA fragmentation was sought by examining cryosections with the terminal deoxynucleotidyl transferase-mediated dUTP-biotin nick-end labeling (TUNEL) reaction. We found significant increases in glutamate release and .OH generation during and immediately after CO hypoxia. CO-exposed rats showed learning and memory deficits after exposure associated with heterogeneous cell loss in cortex, globus pallidus, and cerebellum. The frontal cortex was affected most seriously; the damage was slight at Day 3, increased at Day 7, and persistent at Day 21 after CO exposure. TUNEL staining was positive at all three time points, and TUNEL-labeled cells were distributed similarly to eosinophilic cells. The number of cells stained by TUNEL was less than by H&E and amounted to 2 to 5% of all cell nuclei in regions of injury. Ultrastructural features of both neuronal necrosis and apoptosis also were observed readily by electron microscopy. These findings indicate that both necrosis and apoptosis (PCD) contribute to CO poisoning-induced brain cell death.     

Metastatic renal cell carcinoma presenting as an aural polyp

Renal cell carcinoma may metastasize to the head and neck region at different stages of its evolution. We present a case of an undiagnosed renal cell carcinoma presenting as an ear polyp, and discuss the difficulties of the diagnosis and the management of these tumours.     

Potassium-evoked directionally selective responses from rabbit retinal ganglion cells

Previous studies have shown that directionally selective (DS) retinal ganglion cells cannot only discriminate the direction of a moving object but they can also discriminate the sequence of two flashes of light at neighboring locations in the visual field: that is, the cells elicit a DS response to both real and apparent motion. This study examines whether a DS response can be elicited in DS ganglion cells by simply stimulating two neighboring areas of the retina with high external K+. Extracellular recordings were made from ON-OFF DS ganglion cells in superfused rabbit retinas, and the responses of these cells to focal applications of 100 mM KCl to the vitreal surface of the retina were measured. All cells produced a burst of spikes (typically lasting 50-200 ms) when a short pulse (10-50 ms duration) of KCl was ejected from the tip of a micropipette that was placed within the cell's receptive field. When KCl was ejected successively from the tips of two micropipettes that were aligned along the preferred-null axis of a cell, sequence-dependent responses were observed. The response to the second micropipette was suppressed when mimicking motion in the cell's null direction, whereas an enhancement during apparent motion in the opposite direction frequently occurred. Sequence discrimination in these cells was eliminated by the GABA antagonist picrotoxin and by the Ca(2+)-channel blocker omega-conotoxin MVIIC, two drugs that are known to abolish directional selectivity in these ganglion cells. The spatiotemporal properties of the K(+)-evoked sequence-dependent responses are described and compared with previous findings on apparent motion responses of ON-OFF DS ganglion cells.     

Diagnosis of systemic causes of uveitis; a matter of ophthalmologist and internist

OBJECTIVE: To assess how often the aetiology is established in patients with uveitis, what systemic disease are found and what is the contribution of the internist to the diagnostic process. DESIGN: Retrospective study. SETTING: University Hospital Leiden, the Netherlands. METHOD: From January 1987 to April 1992, 342 patients presented with uveitis. All patients underwent a standard ophthalmological examination. Referral to an internist and individualised laboratory screening followed in patients with recurrent, chronic, bilateral or panuveitis. Recorded were: ophthalmological data, results of laboratory screening, results of analysis by the internist, final diagnosis and presence of systemic disease. RESULTS: 149 (44%) patients were examined by the internist, 18 (5.2%) were seen by another specialist. In 169 (49%) patients a specific diagnosis was made. 74 (22%) had a systemic disease, 74 a primary ocular disease. In 28 (8%) a systemic disease was presumed (5% were HLA-B27 positive, 3% had abnormal laboratory results); 5 (1%) patients had endophthalmitis as a complication of a septic process. CONCLUSION: In approximately 1/3 of the patients with uveitis a systemic disease was found. Examination by the internist tailored to the individual patient is essential in the evaluation of uveitis patients.     

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.