径向井排引导水力压裂裂缝扩展机理研究

为探究径向井排系统对裂缝的影响，明确水力裂缝的扩展规律，利用扩展有限元理论建立了流固耦合三维裂缝扩展模型，模拟了受径向井排引导的水力裂缝扩展过程。重点分析了3种影响因素（径向井排方位角、水平地应力差、径向井孔径）对水力裂缝的引导机理。首次提出了"引导因子"的概念，并将其作为有效评价径向井排引导效果的量化参数。研究发现，径向井方位角、水平地应力差、径向井井径会对水力裂缝的引导效果产生影响：较小的径向井方位角、水平地应力差以及较大的井径都使径向井排具有较强的引导能力和较好的引导效果，反之亦然。同时，较大井径对增加水力裂缝宽度有明显作用。最后，利用大尺寸真三轴水力压裂模拟试验证实了数值模拟结果具有一定的准确性。     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

核动力装置模拟器就地系统中双机通讯的实现

利用微机软仿真实现模拟器就地系统中仪表的动态实时显示和开关的实时控制，可以节省的大量外部设备，提高系统可扩充性。本文介绍了该技术实现的方法，即服务器与客户机之间数据双向通讯的实现途径。经实践验证，本文的方法是正确、可行的。     

网络路由收敛性能测试研究

在网络建设和运行中,采用测试的方法对其性能进行评估对于网络的正常运营具有重要的意义.本文研究了网络路由收敛性能测试方法,为得到路由收敛性能指标,对OSPF和iBGP的路由收敛时间进行了测量.提出了一种简化的路由收敛时间测量方法,通过测量数据平面的传输性能指标,对路由控制平面的收敛时间进行估算.该方法对于测试设备要求不高,实施简单方便.采用该方法在CERNET2投入运营之前对其进行了路由性能测试,实验结果表明CERNET2在路由变化时具有较好的路由收敛性能.     

“编译技术”试题库及试卷自动生成系统的研究

本文阐述了高等工科院校计算机专业“编译技术”课程试题库建立的必要性、试题库设计的理论基础及其软件实现原理．对比了本系统与一般试题库的不同与特点     

基于虚拟仪器的异步串行通信协议的检测方法

在分析基于RS－232C标准的串行异步通信原理的基础上，讨论了利用RVO2100虚拟数字示波器检测串行异步通信协议的方法，并与传统检测方法进行了比较。     

TCP拥塞控制分析模型

介绍了研究传输控制协议 (TCP)拥塞控制问题的各种分析模型 ,指出了研究TCP拥塞控制的主要目标 .对当前国内外的研究动态给予了讨论 ,并对当前现有模型根据其流量范围和使用的分析工具进行了分类概括 .最后概要地阐述了在端到端和在网络中进行拥塞控制的相互关系     

强直电流伸展弧CVD硬质合金金刚石涂层工具

采用自行研制的强电流直流扩展电弧设备对酸浸和渗硼预处理的YG6刀片进行了金刚石薄膜涂层沉积，并对放于不同位置的沉积刀片表面涂层的激光Raman谱和SEM形貌进行了分析、研究。结果表明：渗硼预处理工艺优于酸浸预处理工艺；在渗硼处理的GY6刀片上，沉积的金刚石薄膜涂层具有大面积、均匀性好和质量高的特点。     

射影点的几何作图

在射影平面的扩大平面模型上的已知射影坐标系下，本文解决了已知射影坐标，几何地作出它所对应的点；已知一射影点，几何地求出这个点的射影坐标三数组这两类基本问题。     

硬盘分区链表中结点信息的完全恢复算法

通过对分区链表中结点信息的研究 ,及前后结点中相关数据项比较之后 ,参照磁盘基数表中所记录的相应分区长度 ,给出了其中任一结点或整个分区链表丢失之后的修复算法