高含水油藏建库储气机理的实验研究

地下储气库是规避天然气消费不均、管道输送风险,保证我国天然气工业的安全、高效、持续发展的有效途径。高含水油藏建造储气库已成为我国建造储气库中十分重要的发展方向,对中东部地区显得更加迫切。建库储气机理研究是建库可行性评价和建库设计的关键基础研究,文中应用物理实验方法模拟高含水油藏建库渗流条件,进行建库储气能力影响机理研究,对探索高含水油藏建造储气库具有指导意义。     

引入块内码元频数抽样的块内频数检测识别方案

为识别链路层比特流是否加密,以未加密与加密数据在随机统计特性上的差异为依据,利用随机性检测的方法对加密比特流进行识别.在不同比特流长度条件下对3种典型随机性检测方法的识别率进行了比较研究.针对3种检测方法均对长度较短的未加密比特流识别率较低的问题,在块内频数检测的基础上,提出了基于块内码元频数抽样的比特流预处理方案,以及块内频数检测最优分块长度选择方案,并对预处理方案对识别率的影响进行了分析.实验结果表明,提出的方案可以显著提高块内频数检测对未加密比特流的识别率.     

一类对偶平坦的黎曼度量

给出了黎曼度量局部对偶平坦的一个充分条件:黎曼度量的Spray所满足的方程。同时,指出该条件是非必要的,并给出了相关反例。进一步,对满足条件的这类黎曼度量的性质进行了研究。具体地,讨论了这类度量成为Einstein度量的条件。从黎曼曲率着手,通过计算发现:当空间维数n3,这类黎曼度量是Einstein度量,当且仅当它是欧氏度量;但是,这个结论对n=2的情形不适用。     

关于满秩素数的一些性质

本文给出了满秩素数的概念,素数P,满足(P,10)=1,被称为满秩素数,若1/P 的小数循环节长恰为(P-1)。本文证明了这类素数的一些有趣性质,例如,若P 为满秩素数,则所有真分数K/P (1≤K≤P-1)的小数循环节的数字排列有一定的规律性。     

用蒙特卡罗方法计算快中子屏蔽体的厚度

文中使用蒙特卡罗方法,模拟了３００ｋｅＶ氘束流Ｔ（ｄ,ｎ）４Ｈｅ中子源发出的中子在球壳屏蔽体介质铁中的输运规律;对计算结果进行解释和分析,得出将中子能量从１４ＭｅＶ慢化到１ＭｅＶ以下所需的最佳屏蔽厚度。所得结果与国际上同类屏蔽体所取参数相一致,具有一定的应用参考价值。     

反对称铺层碳纤维复合材料圆柱壳的双稳态应力特性

双稳态复合材料可广泛应用于各类可变结构的设计.针对反对称铺层的圆柱壳,利用有限元软件ABAQUS的Standard准静态分析,模拟其双稳态跳变过程和跳回过程,探讨在整个连续过程中圆柱壳上的应力分布情况,以及应力随时间和载荷变化的趋势,从而对该类可变结构的设计起到指导作用.结果表明:该类复合材料圆柱壳跳变过程中最大应力出...     

YHFT-DX高性能DSP中Cache失效流水设计

YHFT-DX是国防科技大学自主研制的一款高性能DSP.以提升YHFI-DX的 Cache 性能为目标,研究了降低 Cache 失效延迟的优化策略,设计并实现了一种针对高频高性能DSP的一级数据Cache优化策略--失效流水.与传统优化策略相比,该策略将连续访问Cache的失效请求并进行流水化处理,使多个Cache失效延迟重叠,从而达到降低平均Cache失效代价的目的.将该策略应用到YHFT-DX芯片的一级数据Cache控制器的设计与优化中,使访问Cache失效引起的流水线停顿从8拍降为2拍,显著提升了系统性能.     

多机环境下系统程序并行化的实现方法

本文给出了多处理机环境对系统程序的要求,阐述了系统程序并行化研制过程中遇到的问题和解决办法,给出了实现临界段互斥的三种处理方法及其性能评价。     

基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。     

Poisson方程生成数值网格方法中的源项计算法

网格生成是数值研究方法得以实现的基础。本文采用了Ｐｏｉｓｓｏｎ方程生成数值网格，并针对方程源项的选择问题，对两种形式的源项作了比较研究。