模型检测MESIF Cache一致性协议

在处理器从单核向多核演进的过程中,为了获得更好的性能和可扩展性,适用于多核处理器系统的Cache一致性协议变得越来越复杂。Cache一致性协议的验证一直是模型检测在工业界主要应用之一,被工业界和学术界关注。相对传统方法而言,微结构级的模型检测能够描述和验证更多的协议细节。利用NuSMV工具对Intel公司的MESIF Cache一致性协议进行模型检测在微结构层次上进行了建模,并对该协议进行模型检测,试验结果证明了此方法的有效性。

On optimal message vector length for block single parallel partition algorithm in a three-dimensional ADI solver

It has long been recognized that many direct parallel tridiagonal solvers are only efficient for solving a single tridiagonal equation of large sizes, and they become inefficient when naively used in a three-dimensional ADI solver. In order to improve the parallel efficiency of an ADI solver using a direct parallel solver, we implement the single parallel partition (SPP) algorithm in conjunction with message vectorization, which aggregates several communication messages into one to reduce the communication costs. The measured performances show that the longest allowable message vector length (MVL) is not necessarily the best choice. To understand this observation and optimize the performance, we propose an improved model that takes the cache effect into consideration. The optimal MVL for achieving the best performance is shown to depend on number of processors and grid sizes. Similar dependence of the optimal MVL is also found for the popular block pipelined method.

Phase unwrapping based on branch cut placing and reliability ordering

A new 2-D quality-guided phase-unwrapping algorithm, based on the placement of the branch cuts, is presented. Its framework consists of branch cut placing guided by an original quality map and reliability ordering performed on a final quality map. To improve the noise immunity of the new algorithm, a new quality map, which is used as the original quality map to guide the placement of the branch cuts, is proposed. After a complete description of the algorithm and the quality map, several wrapped images are used to examine the effectiveness of the algorithm. Computer simulation and experimental results make it clear that the proposed algorithm works effectively even when a wrapped phase map contains error sources, such as phase discontinuities, noise, and undersampling. (c) 2005 Society of Photo-Optical Instrumentation Engineers.

Phase unwrapping based on branch cut placing and reliability ordering

A new 2-D quality-guided phase-unwrapping algorithm, based on the placement of the branch cuts, is presented. Its framework consists of branch cut placing guided by an original quality map and reliability ordering performed on a final quality map. To improve the noise immunity of the new algorithm, a new quality map, which is used as the original quality map to guide the placement of the branch cuts, is proposed. After a complete description of the algorithm and the quality map, several wrapped images are used to examine the effectiveness of the algorithm. Computer simulation and experimental results make it clear that the proposed algorithm works effectively even when a wrapped phase map contains error sources, such as phase discontinuities, noise, and undersampling. (c) 2005 Society of Photo-Optical Instrumentation Engineers.

基于分支设置的质量导引相位展开算法

二维相位展开方法是近年来较为活跃、引起关注的一个研究课题，它在许多测量应用中有着重要的作用。尽管掩膜阻断算法在多个领域都有成功应用实例，该算法存在着固有的缺陷。为了克服掩膜阻断算法的缺陷，综合分支阻断方法和质量导引方法的优点，提出一种基于分支设置的质量导引相位展开新算法。它先以一个初始质量图来引导分支的设置，然后把分支对应的相位质量设置为最低，从而产生一个新的质量图，最后按新质量图来引导相位展开，并使用几个包裹相位图来验证此方法的有效性。计算机模拟相位图和实际相位图的相位展开结果表明，在存在复杂轮廓不连续

车前科和苦苣苔科一些典型类群花对称性基因的进化发育生物学研究—兼论地黄属和崖白菜属的系统位置

在模式植物金鱼草中的花对称性分子发育与遗传学研究揭示出相关调控基因在花对称性形成过程中的功能和表达式样及其相互作用机制，但被子植物中花对称性的繁杂多样远非模式植物的表达模式所能概括。因此，我们选择车前科和苦苣苔科中与金鱼草较近缘的典型类群地黄属和非洲紫罗兰属作为研究对象，针对它们在花对称性形成方面区别于金鱼草的不同式样，开展这些类群中花对称性主控基因CYCLOIDEA(CYC)类基因的进化发育生物学研究。该研究旨在探讨CYC 类基因的功能和表达式样的变化在进化上的内在联系。 地黄花对称性基因的进化发育研究结果显示，地黄中CYC 类基因RgCYC 的表达模式与CYC 基因在金鱼草中和McCYC 基因在Mohavea 中的表达模式存在明显的差异。首先， RgCYC 基因在近轴雄蕊预期发生位置表皮细胞下的强烈表达与地黄近轴雄蕊的缺失密切相关。转录因子中的氨基酸替代所导致蛋白质功能的改变使RgCYC 基因对细胞周期基因cyclin D3b 抑制作用的增强可能是地黄中近轴雄蕊原基发生过程被彻底阻断的主要原因。由此看来，CYC 类基因的作用不仅导致近轴花器官生长缓慢或退化，而且可能与自然类群中花近轴器官丢失的现象有关。其次，同McCYC 基因在Mohavea 中的表达模式相似，RgCYC 基因的表达也从近轴雄蕊延伸到了两侧雄蕊，但是并没有强烈地抑制两侧雄蕊的发育，仅仅使得两侧雄蕊短于远轴雄蕊从而在地黄中形成二强雄蕊。这一现象可能是由于RgCYC 基因的表达与McCYC 基因的表达在时间和空间上的差异所造成的，并显示地黄中二强雄蕊的形成机制和金鱼草完全不同。第三，RgCYC 基因在近轴花冠裂片的表达没有象CYC 在金鱼草中一样明显促进它们的生长。此外，近轴花冠裂片明显的自身对称性显示在地黄中RgCYC 基因在两侧对称性形成方面可能单独对近轴花器官进行调控。地黄中RgCYC 基因的表达模式反映了广义唇形目中从五数花到四数花进化过程的一种新的进化机制。 两侧对称花向次生辐射对称花的反演进化机制在花对称性进化发育研究中倍受关注。我们在苦苣苔科中选择非洲紫罗兰栽培品种作为研究材料，通过 mTAIL-PCR 分别在两侧对称花和辐射对称花的栽培品种中分离出了包含完整的 ORF 的CYC 类基因：SiCYC1A 和SiCYC1B。这两个基因的完整序列在DNA 水平的相似性为88%，均包含了完整的TCP domain, R domain 和 5’ 端区段。令人意外的是SiCYC1A 和SiCYC1B 这两个基因的DNA 序列在两侧和辐射对称花品种中均完全一致。根据对导致辐射对称花产生机制的比较分析，我们认为在这两个栽培品种中的SiCYC1A 和 SiCYC1B 基因可能存在着某一共同的调节因子对其进行调控。其可能途径是该调节因子同时调控SiCYC1A 和 SiCYC1B 基因，这一共同的调节因子的改变导致了SiCYC1A 和 SiCYC1B 基因部分或完全失去功能，从而使两侧对称花转变为辐射对称花。 崖白菜属的花部器官发生研究显示其花萼和花冠裂片的发生顺序与毛地黄族和婆婆纳族相似，花冠裂片早期生长的迟滞和花冠裂片折叠式样介于毛地黄族和婆婆纳族之间。但是，近轴雄蕊的发育缺失完全不同于毛地黄族中的其它类群。对地黄属和崖白菜属以及它们近缘类群的ITS 或trnL-F 序列所构建的系统树的分析显示，地黄属和崖白菜属呈姊妹群。然而，分子系统学研究结果并不支持传统系统学和个体发育研究对这两个属科级系统位置的认识。毛地黄属与婆婆纳属和车前属构成一个单系分支，而地黄属与崖白菜属则形成另外一个独立的分支，并与泡桐属与透骨草科所形成的分支首先聚在一支。因此，毛地黄族可能并不是一个单系类群，地黄属和崖白菜属的科级系统位置可能需要重新考虑。

地黄属和崖白菜属的分子系统学研究--兼论地黄属和崖白菜属的科级系统位置

地黄属（Rehmannia Libosch.ex Fisch.et Mey）和崖白菜属（Triaenophora Solereder）是广义玄参科（Scrophulariaceae sensu lato ）种类较少的两个属。地黄属包括六个种，崖白菜属包括三个种。地黄属植物的根可以入药，是中国传统的著名中药。但在传统的分类学上，地黄属的种间系统关系及地黄属与崖白菜属的系统关系一直没有进行深入的研究。这两个属在科级的系统位置也一直都不确定。针对以上问题，本文通过大量的标本查阅、野外考察、以及分子系统学研究，得出了一些初步的结果。 1. 形态学 通过大量的野外考察及标本观察，对地黄属和崖白菜属的形态性状及其变异式样进行了详细地比较分析，重新评价了各性状的分类学价值。认为地黄属和崖白菜属植物的叶型，小苞片的形状，花冠的折叠式样在属下种类区分和系统关系的分析方面均具有较高的系统学价值。过去种间处理所依据的性状（如植株高低，花冠的颜色等）并不可靠，这些性状不宜作为属下种间的划分。 2．分子系统学 利用叶绿体DNA 片段trnL-F 和rps16 及核基因ITS 片段，通过数据单独和联合的最大简约法和贝叶斯法的系统发育分析，结合地黄属所有六个种和崖白菜属的两个种的形态特征，探讨它们属间及属下种间的系统关系。分析结果支持地黄属和崖白菜属的姐妹群关系，同时也支持两个属各自的单系起源。在地黄属内，天目地黄位于地黄属的基部位置可能与它独特的花冠裂片形状及地理分布有关。茄叶地黄和地黄亲缘关系最近，细胞学和形态学的证据同样支持二者姐妹群关系。裂叶地黄和高地黄的近缘关系也得到分子和形态学证据的支持。 一系列的分子系统学的研究揭示广义玄参科至少包括五个主要单系的科，由于地黄属和崖白菜属在这些研究中缺乏取样，他们的科级系统位置仍然是不确定的。因此，在上述研究的基础上，我们在广义唇形目中对与地黄属和崖白菜属可能近缘的类群进行广泛取样，通过五个DNA 片段（ITS, trnL-F, rps16, rbcL 和rps2）进行最大简约法和贝叶斯法分析，来探讨地黄属和崖白菜属在科级的系统位置。我们的分析分为两步，一、我们对所有取样的种类进行ITS 数据单独分析和四个叶绿体DNA 合并分析。二、根据第一步的分析结果，选择合适的外类群，内类群聚焦于与地黄属和崖白菜属近缘的列当科，透骨草科，泡桐属来探讨地黄属和崖白菜属及其近缘类群的系统发育关系，以及它们在科级的系统位置。数据分析采用ITS 数据的单独分析，四个叶绿体DNA 数据合并分析及ITS 和叶绿体数据的联合分析。结果显示地黄属和崖白菜属组成的单系分支和列当科构成姐妹群关系，并具有较高的支持率。植物化学和形态学的证据也支持地黄属和崖白菜属与列当科的姐妹群关系。因此，地黄属和崖白菜属可能隶属于列当科，代表列当科第二个非寄生类群的分支与列当科的余下类群构成姐妹群关系，或应该将地黄属和崖白菜属组成的单系分支上升到一个科级的水平，与列当科互为姐妹群关系。

Glucocorticoid receptor and protein/RNA synthesis-dependent mechanisms underlie the control of synaptic plasticity by stress

Learning and memory are exquisitely sensitive to behavioral stress, but the underlying mechanisms are still poorly understood. Because activity-dependent persistent changes in synaptic strength are believed to mediate memory processes in brain areas such as the hippocampus we have examined the means by which stress affects synaptic plasticity in the CA1 region of the hippocampus of anesthetized rats, Inescapable behavioral stress (placement on an elevated platform for 30 min) switched the direction of plasticity, favoring low frequency stimulation-induced decreases in synaptic transmission (long-term depression, LTD), and opposing the induction of long-term potentiation by high frequency stimulation, We have discovered that glucocorticoid receptor activation mediates these effects of stress on LTD and longterm potentiation in a protein synthesis-dependent manner because they were prevented by the glucocorticoid receptor antagonist RU 38486 and the protein synthesis inhibitor emetine. Consistent with this, the ability of exogenously applied corticosterone in non-stressed rats to mimic the effects of stress on synaptic plasticity was also blocked by these agents, The enablement of low frequency stimulation-induced LTD by both stress and exogenous corticosterone was also blocked by the transcription inhibitor actinomycin D, Thus, naturally occurring synaptic plasticity is liable to be reversed in stressful situations via glucocorticoid receptor activation and mechanisms dependent on the synthesis of new protein and RNA, This indicates that the modulation of hippocampus-mediated learning by acute inescapable stress requires glucocorticoid receptor-dependent initiation of transcription and translation.

Recent advance in the study of ribosomal model.

With the technological developments of cryoelectron microscope, X-ray diffraction and the growing data available on various components of ribosome, some marvelously intricate structural models of the Escherichia coli 70S ribosome have been reconstructed. The picture of the ribosomal model are detailed, including the placement of the mRNA, the arrangement of the A-site and P-site tRNAs and the peptidyltransferase within the interface gap as well as the path of nascent polypeptide chain, which results in a better understanding of the structure and function of ribosome as well as the translational process.

Phylogeny of east Asian bufonids inferred from mitochondrial DNA sequences (Anura : Amphibia)

We investigated the relationships of Asian bufonids using partial sequences of mitochondrial DNA genes. Twenty-six samples representing 14 species of Bufo from China and Vietnam and 2 species of Torrentophryne from China were examined. Three samples of Bufo viridis from Armenia and Georgia were also sequenced to make a comparison to its sibling tetraploid species B. danatensis. Bufo americanus, from Canada, was used as the outgroup. Sequences from the 12S ribosomal RNA, 16S ribosomal RNA, cytochrome b, and the control region were analyzed using parsimony. East Asian bufonids were grouped into two major clades. One clade included B. andrewsi, B. bankorensis, B. gargarizans, B. tibetanus, B. tuberculatus, its sister clade B. cryptotympanicus, and the 2 species of Torrentophryne. The second clade consisted of B. galeatus, B. himalayanus, B. melanostictus, and a new species from Vietnam. The placement of three taxa (B. raddei B. viridis, and its sister species, B. danatensis) was problematic. The genus Torrentophryne should be synonymized with Bufo to remove paraphyly. Because B. raddei does not belong to the clade that includes B. viridis and B. danatensis, it was removed from the viridis species group. The species status of B bankorensis from Taiwan is evaluated. (C) 2000 Academic Press.