精简指令系统计算机(RISC)的存储体系

ＲＩＳＣ的性能与存储器系统的结构有紧密关系。文中分析了Ｃａｃｈｅ和主存储器对 Ｃｐｉ（每条指令的周期教）的影响。描述了基于 ＭＩＰＳ， ＳＰＡＲＣ， Ｍ８８０００等ＲＩＳＣ芯片的存储体系以及存储器结构与计算机性能的关系。讨论了哈佛结构、虚拟Ｃａｃｈｅ、物理 Ｃａｃｈｅ、 数据 Ｃａｃｈｅ的“写通”和“写回”方式等。最后介绍了作者所在单位设计的存储器系统的主要特点。     

Aktuelle Aspekte zur Entwicklung eines HIV-Impfstoffs

ＷａｇｎｅｒＲ．ＤｅｍｌＬ．ＳｕＬ．ＳｈａｏＹ．ＷｏｌｆＨ．（ＩｎｓｔｉｔｕｔｆüｒＭｅｄｉｚｉｎｉｓｃｈｅＭｉｋｒｏｂｉｏｌｏｇｉｅｕｎｄＨｙｇｉｅｎｅ,Ｆｒａｎｚ－ＪｏｓｅｆＳｔｒａｕβＡｌｅ１１,９３０５３Ｒｅｇｅｎｓｂｕｒｇ;）Ｉｎｄｅｎｌｅ...     

六种中药及其方剂微量元素含量与药效的初步研究

本文通过原子吸收分光光度法，对主治血管性头痛的一种方剂及其６种中药成分─—蒺藜ＴｒｉｂｕｌｕｓｔｅｒｒｅｓｔｒｉｓＬ．北细辛ＡｓａｒｕｍｈｅｔｅｒｏｐｏｉｄｅｓＦｒ．Ｓｃｈｍｉｄｔｖａｒ．ｍａｎｄｓｈｕｒｉｃｕｍ（Ｍａｘｉｍ）Ｋｉｔａｇａｗａ，地龙ＰｈｅｒｅｔｉｍａａｓｉｔａｔｉｃａＭｉｃｈａｅｌｓｅｎ，川芎ＬｉｇｕａｔｉｃｕｍｗａｌｌｉｃｈｉｉＦｒａｎｃｈ，牛膝ＡｃｈｙｒａｎｔｈｅｓｂｉｄｅｎｔａｔａＢｌｕｍｅ和当归Ａｎｇｅｌｉｃａｓｉｎｅｎｓｉｓ（Ｏｌｉｖ）Ｄｉｅｌｓ进行了镉Ｃｄ、钴Ｃｏ、锶Ｓｒ、铬Ｃｒ、铜Ｃｕ、锰Ｍｎ、镍Ｍｉ、铅Ｐｂ、锌Ｚｎ和铁Ｆｅ１０种元素含量的测定，并就１０种微量元素对方剂药性的影响进行了分析和探讨     

一类半线性波动方程的低正则性估计

对形如ｕｕ－△ｕ－ｕ＾ｋ（Ｄｕ）＾ａ（ｘ∈Ｒ＾３,ｋ∈Ｚ＾＋,ｌ＋｜ａ｜＝２）的半线性波动方程在三维空间中的Ｓｏｂｏｌｅｖ指数进行了研究,用较简单的方法得到了与ＫｌａｉｎｅｒｍａｎＳ．和ＭａｃｈｅｄｏｍＭ．（Ａｒｃｈ Ｒａｔ Ｍｅｃｈ Ａｎａｌ,１９９２,８６（５）：３６９）相同的结果,即Ｓｏｂｏｌｅｖ指数为２。     

Effect of Processing Procedure on Critical Current Density of Ag-sheathed(Bi,Pb)_2Sr_2Ca_2Cu_3O_x Superconducting Tapes

ＥｆｆｅｃｔｏｆＰｒｏｃｅｓｉｎｇＰｒｏｃｅｄｕｒｅｏｎＣｒｉｔｉｃａｌＣｕｒｒｅｎｔＤｅｎｓｉｔｙｏｆＡｇ┐ｓｈｅａｔｈｅｄ（Ｂｉ，Ｐｂ）２Ｓｒ２Ｃａ２Ｃｕ３ＯｘＳｕｐｅｒｃｏｎｄｕｃｔｉｎｇＴａｐｅｓＭａＹａｎｗｅｉ（马衍伟），ＷａｎｇＺｕｔａｎ...     

可缩放计算系统的Cache一致性评述与研究

可缩放性是高度并行的多处理机系统的设计目标之一．为此，需要解决Ｃａｃｈｅ一致性问题，使共享数据在各处理机的Ｃａｃｈｅ中保持一致．文中分析了几种常见的Ｃａｃｈｅ一致性方案，认为分布式目录表法和基于软件的方法适用于可缩放多处理机系统．     

System Architecture for CIMOSA Model Execution

ＳｙｓｔｅｍＡｒｃｈｉｔｅｃｔｕｒｅｆｏｒＣＩＭＯＳＡＭｏｄｅｌＥｘｅｃｕｔｉｏｎＦａｎＹｕｓｈｕｎ（范玉顺），ＧｕｎｔｅｒＳｐｕｒ＋ＤｅｐａｒｔｍｅｎｔｏｆＡｕｔｏｍａｔｉｏｎ，ＴｓｉｎｇｈｕａＵｎｉｖｅｒｓｉｔｙ，Ｂｅｉｊｉｎｇ１０００８４；＋Ｆ...     

背角无齿蚌碱性磷酸酶的功能基团研究

在一定条件下，分别采用ＰＭＳＦ，ＤＴＴ，ＰＣＭＢ，ＮＢＳ，ＴＮＢＳ，ＳＵＡＮ，ＢｒＡｃ及ＩＡｃ等化学修饰剂，选择修饰背角无齿蚌碱性磷酸酶的多种氨基酸残基，并测定其酶活力变化。结果表明，ＰＭＳＦ，ＮＢＳ，ＴＮＢＳ，ＳＵＡＮ和ＤＴＴ的修饰能显著抑制酶的活力，而且活力的降低程度与修饰剂的浓度相关。ＢｒＡｃ，ＩＡｃ和ＰＣＭＢ的修饰不表现对酶的抑制作用。初步认为，Ｓｅｒ，Ｌｙｓ和Ｔｒｐ残基是背角无齿蚌碱性磷     

GaAs600门门阵列及电路设计系统的研究

本文提出一种以ＧａＡｓＭＥＳＦＥＴ双层金属布线工艺和ＳＤＦＬ电路形式为基础的ＧａＡｓ６００门门阵列基片的结构，阐述了实用ＧａＡｓ单元库的设计准则和方法，并以全加器为例说明了宏单元库的电路形式，几何结构，内部布线及对输入输出的考虑，实用ＧａＡｓ门阵列设计系统已在ＣＯＭＰＡＣＡＤ工作站上建立，文中给出了一个用该系统设计的应用实例。     

nfektionswege und Potentiell Gefhrdete Personengruppen

ＨüｌｅｍａｎｎＫ．Ｄ．（Ｍｅｄ．ＫｌｉｎｉｋＳｔ．Ｉｒｍｉｇｒａｄ．８３２０９Ｍüｎｃｈｅｎ／Ｐｒｉｅｎ）ＤａｓＡｃｑｕｉｒｅｄＩｍｍｕｎｅＤｅｆｉｃｉｅｎｃｙＳｙｎｄｒｏｍｅ（ＡＩＤＳ）ｉｓｔｅｉｎｅｖｏｎＭｅｎｓｃｈｚｕＭｅｎｓｃｈüｂｅｒｔｒ...     

片内多处理器Cache一致性解决方案

单芯片多处理器（SCMP）系统是当前计算机体系结构研究的热点问题之一。与传统的多处理机系统一样,Cache一致性问题也是片内多处理器系统必须首先解决的问题。本文针对传统的多处理机系统在解决数据一致性问题上所普遍采用的写作废协议的实现方式上所存在的缺陷,提出了一种基于“双环结构”的片内Cache一致性解决方案,并对其实现后的性能进行了测试和评价。     

Reducing Network Traffic of Token Protocol Using Sharing Relation Cache

Token protocol provides a new coherence framework for shared-memory multiprocessor systems. It avoids indirections of directory protocols for common cache-to-cache transfer misses, and achieves higher interconnect bandwidth and lower interconnect latency compared with snooping protocols. However, the broadcasting increases network traffic, limiting the scalability of token protocol. This paper describes an efficient technique to reduce the token protocol network traffic, called sharing relation cache. This cache provides destination set information for cache-to-cache miss requests by caching directory information for recent shared data. This paper introduces how to implement the technique in a token protocol. Simulations using SPLASH-2 benchmarks show that in a 16-core chip multiprocessor system, the cache reduced the network traffic by 15% on average.     

基于DSM系统的可视化工具的设计和实现

描述了基于共享机制的分布式可扩展机群系统上性能分析和可视化显示工具的实现技术,分析工具由事件收集器、数据分析器和可视化显示三部分组成,事件收集器收集感兴趣的程序和系统事件,为了易于使用,减少用户负担,将部分探测机制的实现放在了系统的运行时间库和共享存贮器的一致性维护协议中,这样易于将事件与存贮器的地址联系,进而可将事件映射到程序的源代码中,便于用户调试程序,查找性能瓶颈,改进程序的执行性能。     

Mandelbrot集的并行算法实现

为了对基于共享机制的分布可扩展并行机群系统进行测试和性能评价,在分布式共享存贮环境和分布式存贮环境下实现了Ｍａｎｄｅｌｂｒｏｔ集,介绍了Ｍａｎｄｅｌｂｒｏｔ集,给出了Ｍａｎｄｅｌｂｒｏｔ集在两种环境下的并行算法及实现。     

透明计算系统中缓存性能的仿真分析与验证

透明计算系统是一种支持程序按需加载的新型分布式系统。缓存机制是影响透明计算系统性能重要因素之一。针对现有的缓存仿真算法不支持透明计算缓存性能分析的问题,该文提出了一种支持多用户共享服务器存储空间的缓存仿真算法(SSCS)。该方法扩展了传统的栈距离模型,采用首存储块号、拥有者用户ID二元组标识缓存块,根据不同用户对缓存块的访问情况分别管理、调度和测量。实验表明,该算法的仿真结果可用于指导透明计算系统的缓存设计。根据仿真结果进行改进,有效地提升透明计算系统的性能和可扩展性。     

基于非易失性存储器的存储系统技术研究进展

 非易失性存储器（NVM）主要包括两类,即适用于外存的、块寻址的闪存和适用于内存的、字节寻址的持久性内存。相比于传统磁盘,闪存具有性能高、能耗低和体积小等优势;相比于DRAM（动态随机存储器）,持久性内存如PCM（相变存储器）、RRAM（阻变存储器）等,具有非易失、存储密度高以及同等面积/内存插槽下能给多核环境的CPU 提供更多的数据等优点,这些都为存储系统的高效构建带来了巨大的机遇。然而,传统存储系统的构建方式不适用于非易失性存储器,阻碍了其优势的发挥。为此,分析了基于非易失性存储器构建存储系统的挑战,从闪存、持久性内存两个层次分别综述了它们在存储体系结构、系统软件以及分布式协议方面的变革,总结了基于非易失性存储器构建存储系统的主要研究方向。     

一种面向写穿透Cache的写合并设计及验证

为了利用片上缓冲技术来提高处理器应用性能,提出一种面向写穿透Cache的写合并设计方法.使用同步动态随机存储器(SDRAM)的单个写方式和片上写缓冲器,对SDRAM一行内的局部数据采用写合并策略,由此提高了外部存储的访问效率,同时给出了连续和单个Cache读写的缓存与内存的数据一致性策略.在寄存器传输语言(RTL)仿真环境下使用mp3解码对Leon2处理器进行数据测试,结果表明:在缓冲区优化为3行8列的参数下,SDRAM每次行开启平均进行7.8个字的写入操作,外存的读写效率由12%提高到19%;在TSMC0.18μm工艺下,综合后面积为0.263mm2,流片后工作主频为100MHz.     

80386／486微机系统缓冲存贮器的硬件结构及其性能分析

论述了８０３８６／４８６微机系统缓冲存贮器的结构原理，对几种不同结构缓冲器的性能进行了比较，并介绍了在缓冲控制器专用集成电路方面的新发展     

Verify UML statecharts with SMV

Formal verification has been widely needed in the development of safety critical systems. In order to introduce the design verification activity in UML developing process, we have developed a verifier of UML Statecharts by using the model checker SMV. The approach is to transform a system model in UML Statecharts to one in SMV input language via an intermediate language and then to verify the system properties specified in CTL by invoking SMV. The current experiences, including the formal verification of a simplified directory based cache coherence protocol in UML Statecharts, show that automatic verification can be integrated as a new step of the software process nicely.