抗缺氧中藏药微量元素的对应分析

应用对应分析研究抗缺氧中藏药中微量元素Co、Cr、Cu、Fe、Mg、Mn、Ni and Zn的分布特征。该方法可用于直接处理抗缺氧中藏药样品元素分析的数据,以研究地奥心血康、红景天胶囊、安神散、五味石榴散、章松八味沉香散、十六味杜鹃散、二十五味余甘子丸、二十五味竹黄胶囊、十五味龙胆丸、秘诀清凉散、七十味珍珠丸、八味沉香散、六味丁香散、七味葡萄散等中藏药的品质与它们的微量元素组成和样品来源的关系。将样品点和微量元素变量反映到同一因子轴的图形上,并且分类,能够揭露出样品来源与变量之间的内在联系,中藏药中人体必需的微量元素Fe、Mg、Co、Cu、Mn和Ni等含量比较高,与药物疗效密切相关,为研制新型的具有微量元素优势的药物提供科学的依据。     

用地震速度反演重建声波曲线

由于受地震仪器观测精度及计算机处理能力的限制,地震反演的速度曲线所能达到的分辨率能力,不能满足勘探目标的需要（例如,１０ｍ以内的薄互层反演）。现设想地层沉积结构分形的特征,则可通过分形计算求得速度变化细节,尽可能地逼近实测的声波曲线。我们将这种由地震速度反演曲线进行分形计算的结果称为“重建的声波曲线”。通过对实际资料的试算表明,在声测资料较理想的情况下,重建的声波曲线与实测的声波测井曲线有很好的相     

Two‐phase trace‐driven simulation (TPTS): a fast multicore processor architecture simulation approach

Simulation is indispensable in computer architecture research. Researchers increasingly resort to detailed architecture simulators to identify performance bottlenecks, analyze interactions among different hardware and software components, and measure the impact of new design ideas on the system performance. However, the slow speed of conventional execution‐driven architecture simulators is a serious impediment to obtaining desirable research productivity. This paper describes a novel fast multicore processor architecture simulation framework called Two‐Phase Trace‐driven Simulation (TPTS), which splits detailed timing simulation into a trace generation phase and a trace simulation phase. Much of the simulation overhead caused by uninteresting architectural events is only incurred once during the cycle‐accurate simulation‐based trace generation phase and can be omitted in the repeated trace‐driven simulations. We report our experiences with tsim, an event‐driven multicore processor architecture simulator that models detailed memory hierarchy, interconnect, and coherence protocol based on the TPTS framework. By applying aggressive event filtering, tsim achieves an impressive simulation speed of 146 millions of simulated instructions per second, when running 16‐thread parallel applications. Copyright © 2010 John Wiley & Sons, Ltd.     

Modelling concurrency with comtraces and generalized comtraces

Comtraces (combined traces) are extensions of Mazurkiewicz traces that can model the “not later than” relationship. In this paper, we first introduce the novel notion of generalized comtraces, extensions of comtraces that can additionally model the “non-simultaneously” relationship. Then we study some basic algebraic properties and canonical representations of comtraces and generalized comtraces. Finally we analyze the relationship between generalized comtraces and generalized stratified order structures. The major technical contribution of this paper is a proof showing that generalized comtraces can be represented by generalized stratified order structures.     

Least trace extended set-membership filter

To improve the consistency of estimation result, a least-trace extended set-membership filter (LTESMF) is presented for a class of nonlinear stochastic systems, which has linear output and unknown- but-bounded noise. Feedback technique is used instead of the intersection of ellipsoid-sets in the measurement update. The feedback parameter is optimized in order to minimize the trace of error bounded ellipsoid’s envelop matrix. A new stability analysis method was developed to prove the stochastic system’s stab...     

一种支持历史航迹和预查询的动目标索引方法

随着目标检测技术和传感器网络技术的发展,高效的目标信息索引方法可以提高系统性能和稳定性.因此,提出了一种动目标索引方法SSTR-tree,能将历史索引和预测索引结合,实现全时态查询,具有较高的更新、查询效率;通过设置有效时间段索引,对无效时间段内信息只记录目标突变信息,提高了动目标航迹管理的效率.通过实验证明,与传统的哈希存储和3 DR-tree索引方法相比较,SSTR-tree动目标索引方法更新和查询效率更优.     

关于并发系统分支互模拟关系发散性保持的研究

带发散性说明的分支互模拟是van Glabbeek和Weijland提出的一个概念,并被用来定义等价关系.该等价关系应该是最弱的一个发散性保持的并且满足分支互模拟性质的等价关系.然而在概念提出时并没有提供这些重要性质的证明,并且我们认为在原定义的基础上这个证明是不显然的.本文通过co-induction的手段利用染色迹的概念定义了着色完全迹等价,并证明该等价关系是最弱的一个保持发散的并且满足分支互模拟性质的等价关系.然后我们证明了着色完全迹等价关系和≈_b^△是相同的,因而补充了van Glabbeek和Weijland的工作,即证明了≈_b^△是最弱的一个保持发散的并且是满足分支互模拟性质的等价关系.     

大坡降复合式水平旋流内消能泄洪洞阻塞扩散段试验研究

以两河口水电站3#导流洞改建为复合式大坡降水平旋流内消能泄洪洞为例,对大坡降水平旋流洞末端和导流洞之间的衔接方式进行了试验研究。提出了阻塞渐扩和阻塞突扩两种不同的衔接方式,并对两种旋流扩散体型局部流态及壁面压强、断面掺气浓度、旋流扩散轨迹等水力特性进行了量测与分析,得到各体型旋流扩散段流态及各项水力特性随上游水位变化的基本规律。     

软件功能测试用例的设计过程及实践

该文介绍了软件功能测试用例的设计过程在RMDB系统中的实践,并对测试用例进行评审和追踪,从而提高功能测试用例的设计效率。