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

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

Predicting postlaryngectomy voice outcome in an era of primary tracheoesophageal fistulization: a retrospective evaluation

The aim of this study was to investigate the effect of the absence of elongate spermatids (ES) from the rat seminiferous epithelium on the quantitative secretion and synthesis of the three major Sertoli cell secretory proteins--SGP-1, SGP-2 and CP-2. Seminiferous tubules (ST) were isolated (a) from normal 28-day-old rats, in which the most mature germ cell type is the round spermatid, (b) from normal adult rats at stages IX-XIV of the spermatogenic cycle, i.e. after spermiation, or at stages I-V and VI-VIII, when ES are still attached to the Sertoli cell, and (c) at stages VI-VIII from normal adult rats and from rats treated with methoxyacetic acid (MAA) in order to specifically deplete ES at these stages. Two-dimensional SDS PAGE combined with computerized image analysis was used to analyse 35S-methionine-labelled intracellular and secreted proteins. In the case of SGP-1 and SGP-2, almost all of the protein synthesized by ST was secreted. The total amount of both SGP-1 and CP-2 secreted by unstaged ST from immature rats was significantly lower than that secreted by unstaged ST from adult rats. The total amount of SGP-1 and CP-2 secreted by adult ST at stages IX-XIV of the spermatogenic cycle also declined dramatically compared to ST at earlier stages. The proportion of the total CP-2 synthesized by ST which was secreted also declined in all situations in which ES were absent from the seminiferous epithelium. The synthesis of only SGP-2 was changed by ES depletion from ST at stages VI-VIII, which was almost doubled compared to synthesis of this protein by ST from control rats. Our results suggest strongly that the secretion of SGP-1 and SGP-2 is via the constitutive pathway, and that regulation of these two proteins by ES is at the level of protein synthesis. In contrast, the regulation of CP-2 by ES is predominantly at the level of secretion, suggesting that this protein is secreted via a regulated pathway. Our findings add to the evidence showing that ES play a major role in the regulation of Sertoli cell function.     

Kinetic analysis of papaya proteinase omega

Papaya proteinase omega (pp omega) has been purified from dried latex both by immunoaffinity and traditional methods. Kinetic analysis revealed that (1), the pp omega-catalysed hydrolysis of N-benzoyl-L-arginine p-nitroanilide (BApNA) has a lower specificity (kcat/Km) than the same reaction catalysed by papain; (2), the pp omega-catalysed hydrolysis of a tripeptide substrate having phenylalanine at the second position (S2-site) showed a more similar specificity to that catalysed by papain; (3), the significant difference between the two enzymes is that steady state kinetics with both L-BApNA and a tripeptide enables the identification in pp omega of other ionizations affecting binding. The active sites of papain and pp omega can therefore be distinguished by pH-dependence of kcat/Km.     

Cell-mediated immunological responses in cervical and vaginal cancer patients immunized with a lipidated epitope of human papillomavirus type 16 E7

Human papillomavirus (HPV) infection has been causally associated with cervical cancer. We tested the effectiveness of an HLA-A*0201-restricted, HPV-16 E7 lipopeptide vaccine in eliciting cellular immune responses in vivo in women with refractory cervical cancer. In a nonrandomized Phase I clinical trial, 12 women expressing the HLA-A2 allele with refractory cervical or vaginal cancer were vaccinated with four E786-93 lipopeptide inoculations at 3-week intervals. HLA-A2 subtyping was also performed, and HPV typing was assessed on tumor specimens. Induction of epitope-specific CD8+ T-lymphocyte (CTL) responses was analyzed using peripheral blood leukapheresis specimens obtained before and after vaccination. CTL specificity was measured by IFN-gamma release assay using HLA-A*0201 matched target cells. Clinical responses were assessed by physical examination and radiographic images. All HLA-A*0201 patients were able to mount a cellular immune response to a control peptide. E786-93-specific CTLs were elicited in 4 of 10 evaluable HLA-A*0201 subjects before vaccination, 5 of 7 evaluable HLA-A*0201 patients after two vaccinations, and 2 of 3 evaluable HLA-A*0201 cultures after all four inoculations. Two of three evaluable patients' CTLs converted from unreactive to reactive after administration of all four inoculations. There were no clinical responses or treatment toxicities. The ability to generate specific cellular immune responses is retained in patients with advanced cervical cancer. Vaccination with a lipidated HPV peptide epitope appears capable of safely augmenting CTL reactivity. Although enhancements of cellular immune responses are needed to achieve therapeutic utility in advanced cervical cancer, this approach might prove useful in treating preinvasive disease.     

The use of cantilever bridges

Replacement of missing teeth with fixed bridgework often involves producing full crown retainers on teeth on both sides of an edentulous space. Unfortunately, this approach can result in the destruction of much healthy tooth tissue, and the clinician must balance the benefits of replacing missing teeth with the amount of tooth preparation required. Current thinking in restorative dentistry places the preservation of tooth tissue at a premium, and most practitioners are happy to use techniques that embrace this philosophy. Because of this, cantilever bridges have an increasing role in dental practice, where the replacement for a missing tooth or teeth has one or more abutments on only one side of the edentulous space, being unsupported at the other. Cantilever bridges fall into several types, depending on the number of abutments and types of retainers. This article describes the various cantilever bridge designs, considers the biomechanics of these restorations, and provides guidelines for their clinical use.     

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.