一类偏微分方程的边值问题适定的充分必要条件

本文通过对平面带角点的区域中普通Sobolev空间H~1函数在角点附近边界性质的讨论,以及H~1与带权Sobolev空间H~(1.1)的联系,利用空间H~(1/2)的一个等价范数,给出了一系列函数集合非空的充分必要条件。利用这一结果,得到了在区域内部未知函数具有强间断的拟线性椭圆型偏微分方程的边值问题广义解存在唯一的充分必要条件。     

PC空间上泛函微分方程解的存在唯一性及应用

研究某类不连续初始函数空间上有限时滞泛函微分方程解的存在唯一性，并应用它来讨论脉冲泛函数微分方程的某些局部理论。     

基于NATPT的可扩展组播过渡方案

为了解决IPv4到IPv6过渡时期因特网的组播通信问题,提出了一种适于基于网络地址翻译和协议翻译(NATPT)的可扩展组播过渡方案(TMS).该方案将原边界路由器上实施的NATPT技术进行了扩展,并与IPv6域内的中心节点路由器(RP)进行消息通信以支持过渡网络中的组播服务.在通信过程中,NATPT路由器充当中继节点,连接IPv4方的应用层组播和IPv6方的网络层组播.利用佐治亚理工开发的网络拓扑生成工具GT-ITM进行了模拟实验,实验结果表明TMS方案可以明显的降低组播成员的传输延迟,降低网络的链路强度,能够较好的支持组播服务的平滑过渡.     

安塞油田长6油层组精细地层划分与对比

目的 在油田开发中、后期,为研究砂体展布、沉积微相、储层非均质性以及最终预测有利含油区块提供基础数据。方法 利用测井曲线和岩心资料,分析了研究区近200口探井长6油层组的岩、电特征,对安塞油田延长组长6油层组进行了精细划分与对比,并利用该成果分析了长6;q小层的沉积微相及砂体展布特点。结果 长6油层组自上而下划分为长61^1-1、长61^1-2、长61^1-3、长61^2长62和长63等6个不同级别的小层,各小层厚度不等;其中,长61^1-2小层砂体发育,属水下分流河道微相,为安塞油田延长组长6油层组的主力产层。结论 长6油层组精细地层划分与对比对油田开发具有重要意义。     

断陷湖盆层序界面的成因类型及其与油气藏的关系

利用湖盆沉积作用基本方程,对断陷湖盆层序界面的成因机制进行了研究,并对东营凹陷的断陷湖盆进行了实例分析。结果表明,气候变化和构造运动是层序界面形成的关键因素。按照成因机制,东营凹陷沙河街组的层序界面可分为构造型(T型)和构造气候综合型(Tc型)。T型界面一般对应于三级层序界面,且根据沉积物的供给特征可进一步分为3种类型;Tc型界面一般对应于二级或一级层序界面。不同成因机制的层序界面具有不同的结构特征和地层分布模式,砂体和油气的富集程度与界面的成因类型存在着密切的关系。Tc型界面附近砂体发育,砂体成藏率低;T型界面附近砂体发育程度低,砂体成藏率高。     

一个《计算机组成原理》试题库系统

利用VB采用面向对象设计方法,阐述了《计算机组成原理》试题库系统的结构、特点及功能,并对其重要功能进行了较为详细的分析．     

一类非线性微分方程的周期解

研究了一类四阶非线性微分方程,运用Liapunov函数,得到了该微分方程存在周期解的充分条件．     

信息技术在基因组和蛋白质组研究中的应用

本文综述了信息技术在生物学研究前沿领域,特别是基因组和蛋白质组研究方面的应用,重点展示生物信息技术在信息交流手段、基因克隆与定位、核酸和蛋白质序列分析、空间结构预测和蛋白质功能研究方面的具体运用方法,拓展了生物技术概念的内涵与外延。     

非线性微分方程本征值部分和的近似解法

在多粒子运动电子结构与能带问题的计算中,相当一类问题归结为用"第一原理\\"计算该系统本征值的电荷密度及能量的部分和,传统的迭代算法因计算量大而使问题的求解规模受到一定限制.文中将一类非线性微分方程本征值部分和的问题转化为非线性泛函的约束极值问题,通过空间分解和摄动原理,在二级近似下给出该泛函极小解的近似求解公式.算例表明该公式计算精度高,同时计算量可由O(n3)降至O(n2logn).     

关于"线性空间”教材处理方法的探讨

通过"概念的引入,定理的证明,例题的讲解,内容的归纳和提炼”,谈关于线性空间教材处理的方法.