一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

稀土过渡族氧化物的合成及Moessbauer效应的研究

本文报道了利用高温灼烧方法合成稀土这渡族氧化物固溶体EuFeO3，EuFeo.sMno.2O3，利用X－射线衍射与Moessbauer效应技术，分析了其结构特征及超精细相互作用。     

扩展Meadows模型分析Ad Hoc网络路由协议安全性

目前,Ad hoc网络安全路由协议缺乏有效的形式化分析方法.通过添加基于图论的路由描述和分析方法,文章扩展了Meadows模型的分析能力.使用扩展后的Meadows模型对Ad hoc网络安全路由协议Ariadne进行了分析,分析结果显示Ariadne协议存在产生虚假路由的漏洞,从而也说明了扩展后的Meadows模型能够用于Ad hoc网络安全路由协议的安全性分析.     

世界石油工业科技研发7大方向

（1）扩大勘探领域，提高勘探精度，发现更多的隐蔽油气藏．发展多学科综合储层描述、油藏管理和流体成像技术、地质模拟技术、三维可视化技术和多分量四维地震勘探技术．     

一种基于PVDAC描述子的RGB-D三维点云配准方法

利用RGB-D数据进行三维点云配准时容易陷入局部最优.针对这个难题,提出了一种基于多维特征的PVDAC描述子实现三维点云配准的方法.该方法首先通过ORB特征检测算法提取二维数据的关键点,并计算关键点在2D下的灰度特征,然后构建关键点在3D下的局部像素值距离、点云法线角度以及曲率特征,接着将2D特征和3D特征联合生成全新的PVDAC像素描述子,并利用PVDAC像素描述子描述关键点实现三维点云的粗配准,最后基于ICP算法完成三维点云的精细化配准.实验表明,本文算法在大场景点云配准时总体均方误差约为0.05 m2,在小场景单物体点云配准时达到了0.000 2 m2的较小误差,实现了三维点云的精确配准.     

非均匀传输线时域响应的精细计算

应用精细计算法对非均匀传输线时域响应进行了分析．该方法考虑了非均匀传输线的非均匀性,避免了使用突变的级联模型及频域、时域转换,直接时域分析,极大地提高了分析的精度和效率．计算结果证实了该方法的可靠性．     

软磁Fe基纳米微晶的穆斯堡尔谱研究

对纳米软磁合金Ｆｅ７３Ｃｕ１Ｎｂ１．５Ｍｏ２ｓＩ１２．５Ｂ１０的制备态和各退火态的室温Ｍｏｓｓｂａｕｅｒ谱研究,发现非晶相的超精细内场存在高场和低场两部分,     

注入到外电场的正负电子对的静电不稳定性

出于脉冲星中粒子加速问题,讨论外电场中注入的正负电子对静电不稳定性.对很强的电场,不能在等离子体振荡尺度的0阶分布函数忽略空间变化效应.假设在加速(减速)电子(正电子)的恒定外电场以四维速度u0＞0单能地注入电子对.通过解决场的线性扰动和对的分布函数,发现了一个新型不稳定性.u0和外电场确定的制动时标与等离子体的时标之比R描述不稳定性的性质.这种情况下,增长率是等离子体频率的几倍.     

资源描述框架在都柏林核心集的应用

资源描述结构是由WBC主导和结合多个元数据团体(如都柏林核心集等)所发展而成的一个架构．可用来携带多种不同的元数据来往于因特网和WWW上。本文主要是介绍“资源描述架构”及其在“都柏林核心集”的可能应用，本文还介绍了RDF的核心数据模式，以及“具体化”和“声明”等机制。     

水平管段塞流气量瞬变特性试验研究

为了寻求混输管线气量瞬变过程压力、压差的变化规律，在长378m、内径80mm的水平不锈钢试验环道上利用空气和水进行了段塞流气量瞬变试验。采用压力变送器测量压力信号，将相邻两压力信号相减(上游减下游)得到压差信号，分析了气量瞬变过程中压力、压差的变化规律，从概率密度分布和功率谱密度两方面对压力、压差信号进行了统计分析。结果表明，气量增加或减小过程中会出现压力过增或过降现象；气量增加与减小过程中的压力信号的概率密度分布不同，压差信号的概率密度分布也不同。提出了更加完善的压力过增或过降值的定量描述方程。