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

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

Intercomparison of scanning probe microscopes

Comparison measurements on reference standards are reported in which 13 partners with different instruments took part. A set of prototype standards which had been produced and calibrated within a European project were used for the measurements. Here, results of measurements on a 240 nm step height standard and a two-dimensional lateral standard with a nominal pitch of 1 μm are reported.     

Mikrotechnik für Raumfahrtanwendungen

This contribution describes the preparation, based upon a chemically amplified novolak resist (CAR), electron beam lithography, and ECR plasma etching, of structures with a high aspect ratio (10∶1) and lateral dimensions in the sub-micrometer range (150nm–300nm) which may serve as collector surfaces for sub-μm dust particles in a space experiment.     

Cbf5p, a potential pseudouridine synthase, and Nhp2p, a putative RNA-binding protein, are present together with Gar1p in all H BOX/ACA-motif snoRNPs and constitute a common bipartite structure

The eukaryotic nucleolus contains a large number of small nucleolar RNAs (snoRNAs) that are involved in preribosomal RNA (pre-rRNA) processing. The H box/ACA-motif (H/ACA) class of snoRNAs has recently been demonstrated to function as guide RNAs targeting specific uridines in the pre-rRNA for pseudouridine (psi) synthesis. To characterize the protein components of this class of snoRNPs, we have purified the snR42 and snR30 snoRNP complexes by anti-m3G-immunoaffinity and Mono-Q chromatography of Saccharomyces cerevisiae extracts. Sequence analysis of the individual polypeptides demonstrated that the three proteins Gar1p, Nhp2p, and Cbf5p are common to both the snR30 and snR42 complexes. Nhp2p is a highly basic protein that belongs to a family of putative RNA-binding proteins. Cbf5p has recently been demonstrated to be involved in ribosome biogenesis and also shows striking homology with known prokaryotic psi synthases. The presence of Cbf5p, a putative psi synthase in each H/ACA snoRNP suggests that this class of RNPs functions as individual modification enzymes. Immunoprecipitation studies using either anti-Cbf5p antibodies or a hemagglutinin-tagged Nhp2p demonstrated that both proteins are associated with all H/ACA-motif snoRNPs. In vivo depletion of Nhp2p results in a reduction in the steady-state levels of all H/ACA snoRNAs. Electron microscopy of purified snR42 and snR30 particles revealed that these two snoRNPs possess a similar bipartite structure that we propose to be a major structural determining principle for all H/ACA snoRNPs.     

Mutant p53 Mediates Sensitivity to Cancer Treatment Agents in Oesophageal Adenocarcinoma Associated with MicroRNA and SLC7A11 Expression

TP53 gene mutations occur in 70% of oesophageal adenocarcinomas (OACs). Given the central role of p53 in controlling cellular response to therapy we investigated the role of mutant (mut-) p53 and SLC7A11 in a CRISPR-mediated JH-EsoAd1 TP53 knockout model. Response to 2 Gy irradiation, cisplatin, 5-FU, 4-hydroxytamoxifen, and endoxifen was assessed, followed by a TaqMan OpenArray qPCR screening for differences in miRNA expression. Knockout of mut-p53 resulted in increased chemo- and radioresistance (2 Gy survival fraction: 38% vs. 56%, p < 0.0001) and in altered miRNA expression levels. Target mRNA pathways analyses indicated several potential mechanisms of treatment resistance. SLC7A11 knockdown restored radiosensitivity (2 Gy SF: 46% vs. 73%; p = 0.0239), possibly via enhanced sensitivity to oxidative stress. Pathway analysis of the mRNA targets of differentially expressed miRNAs indicated potential involvement in several pathways associated with apoptosis, ribosomes, and p53 signaling pathways. The data suggest that mut-p53 in JH-EsoAd1, despite being classified as non-functional, has some function related to radio- and chemoresistance. The results also highlight the important role of SLC7A11 in cancer metabolism and redox balance and the influence of p53 on these processes. Inhibition of the SLC7A11-glutathione axis may represent a promising approach to overcome resistance associated with mut-p53.     

Switching to Directional Antennas with Constant Increase in Radius and Hop Distance

For any angle α<2π, we show that any connected communication graph that is induced by a set P of n transceivers using omni-directional antennas of radius 1, can be replaced by a strongly connected communication graph, in which each transceiver in P is equipped with a directional antenna of angle α and radius r _dir, for some constant r _dir=r _dir(α). Moreover, the new communication graph is a c-spanner of the original graph, for some constant c=c(α), with respect to number of hops.     

On the Need for Mixed Media in Distributed Requirements Negotiations

Achieving agreement with respect to software requirements is a collaborative process that traditionally relies on same-time, same-place interactions. As the trend toward geographically distributed software development continues, colocated meetings are becoming increasingly problematic. Our research investigates the impact of computer-mediated communication on the performance of distributed client/developer teams involved in the collaborative development of a requirements specification. Drawing on media-selection theories, we posit that a combination of lean and rich media is needed for an effective process of requirements negotiations when stakeholders are geographically dispersed. In this paper, we present an empirical study that investigates the performance of six educational global project teams involved in a negotiation process using both asynchronous text-based and synchronous videoconferencing-based communication modes. The findings indicate that requirement negotiations were more effective when the groups conducted asynchronous structured discussions of requirement issues prior to the synchronous negotiation meeting. Asynchronous discussions were useful in resolving issues related to uncertainty in requirements, thus allowing synchronous negotiations to focus more on removing ambiguities in the requirements.