网格:下一代的因特网

网格作为20世纪90年代才提出的新概念,作为下一代Internet的模型,引起了许多科研组织和团体的重视本文讨论了网格的基本概念,网格计算的要素,最后讨论了现今具体的网格项目的特点以及网格对未来社会产生的影响。     

中国大学生英语口语中强调性元话语的使用研究

本研究运用中国学习者英语口语语料库(COLSEC),并以圣塔芭芭拉美语口语语料库(SBCSAE)为参照,研究中国大学生英语口语中强调性元话语的使用特点和规律.研究结果发现:第一,中国大学生在英语口语中使用的强调性元话语呈现出典型性与层阶性的特点.第二,中国大学生在英语口语中使用的强调性元话语与英语母语者相比在使用类型上基本相似.第三,中国大学生在英语口语中使用的强调性元话语与英语母语者相比在使用频率上有不一致现象,主要表现为very等词的过度使用.     

行波：数学推理的元极导航

本书是《剑桥理论计算科学专论》丛书的第56卷。自从20世纪50年代起，自动化理论证明成为一个活跃的研究领域。在该领域中的研究人员开始着手处理类似人类的自动化推理。在20世纪60年代和70年代，人们对自动化理论证明的兴趣增加了，这是由于理论进展的驱动。例如归纳的开发以及对程序验证的兴趣增加。     

一种形式化的实时协议互操作性测试方法

协议互操作性测试是一种保证网络通信协议实现质量的重要技术．下一代互联网协议需要提供对实时应用的有效支持，然而已有互操作性测试相关研究中并没有考虑协议中的时间约束，现有互操作性测试技术很难应用于实时协议互操作性测试中．文中提出了一种形式化的实时协议互操作性测试方法．首先提出了一个用于描述实时协议互操作性测试被测系统的形式化模型CMpTIOA（通信多端口时间输入输出自动机），基于该模型定义了时间互操作性关系；然后提出一种以时间互操作性关系为指导的测试生成方法，根据被测系统模型生成参数化测试行为树，在该方法中还集成了可执行性预判决机制，在一定程度上缓解了状态空间爆炸问题；最后将提出的理论和方法应用于IPv6邻居发现协议的互操作性测试中，验证了该方法的可行性．     

集成电路故障测试研究

基于固定型故障模型的传统电压测试技术是一种应用最广、最为重要的测试技术,且已经应用多年。但是随着集成电路日新月异地发展,电压测试技术越来越不能完全满足高性能IC,特别是高性能数字CMOSIC发展的需求。为了提高故障覆盖率和降低测试成本,本文探讨了一些方法的可行性。     

三元复合深度调驱技术在魏岗四区Ⅴ断块油藏应用

魏岗四区Ⅴ断块油藏采用一套井网不分层系开发,由于储层的非均质性,致使注入水在平面上沿河道方向选择性舌进和纵向上向高渗透层突进现象较严重,油、水井之间存在注入水的无效循环,注入水的利用效率低,注水波及体积小,存水率呈下降趋势,油藏压力保持水平下降、递减加大、开发效果变差。三元复合调驱是改善该区块注水开发效果、实现区块稳产的有效手段。通过现场应用6口井,取得了明显的增油降水效果,区块开发形势明显好转,同时也解决了三元复合调驱中含油污泥污染环境的问题。     

新型大素数快速并行搜索策略

有效地进行素性判定和搜索大素数一直是公钥密码学中研究的热点,但由于大素数的分布具有稀疏的特点,而且大素数搜索和判定的开销巨大,所以大素数的产生速度较慢.因此.本文提出了一种崭新的并行大素数搜索的限界过滤算法.根据素数的分布规律,将大素数的搜索限制在一定范围内的连续奇数中.搜索时,通过一轮预过滤算法,可淘汰大约83.7%的搜索空间内的整数,消除了传统随机递增搜索方法大量的大整数试除运算,从而提高素数生成的速度.实验结果表明:本文提出的算法在平均素性测试次数和搜索时间上均少于传统的随机递增法.而将限界过滤法扩展为并行算法并在双核CPU上计算.其搜索速度又可加倍提高.     

类锂离子SⅩⅣ-Ga ⅩⅢD态精细结构的计算

根据三电子原子非相对论的能级公式导出了类锂离子体系ls^23d^2D态的非相对论能量的表达式，利用变分方法计算了高离化类锂离子SXⅣ -GaⅩⅧD的非相对论能量；在此基础上，进一步利用微扰论来计算了类锂离子ls^23d^2D态的精细结构哈密顿在{LSJMJ〉表象中的矩阵元，由此得到的S XⅣ—GaⅩⅧD的精细结构分裂与实验数据符合得较好。     

α次积分C余弦算子函数的逼近定理

利用生成元预解式来刻画α次积分C余弦函数的Trotter-Kato逼近,给出α次积分余弦C函数的定义及基本性质,通过Laplace变换得到了α次积分C余弦函数逼近的4个等价条件,且当α为0 时即为经典的C余弦函数相应的逼近结果.     

ATM网及其实现

本介绍了ＡＴＭ网络的结构原理及工作方式，并对信息传输控制做了一定程度的探讨。