论层序地层学对地震地层学领域的发展

将层序地层学与经典的地震地层学的主要内容进行了对比。阐明了层序地层学与地震地层学之间本质性的区别.研究认为,层序地层学是在传统的地震地层学基础上.进一步总结归纳而概括出来的一整套沉积环境分布和岩相发育的时空模式。层序地层学是地震地层学发展的最新阶段.其主要进展包括:(1)地层单元的几何形态和岩性的四个主控变量深化了沉积相的成因分析;(2)建立了海平面升降的沉积旋回模式;(3)沉积体系域是以全盆地为目标的系统研究;(4)具有直接预测生储盖条件的功能.     

对称矩阵特征值估计的某些进展

如果λ_1,…,λ_n是对称矩阵A的特征值,P. Tarazaga证明了|tr(A)/n-λ_i|≤[(n-1)/n(‖A‖_F~2-tr(A)~2/n)]~(1/2)对λ_i,i=1,…,n。本文中得到了一个等式成立的充分必要条件,由此给出一类特殊对称矩阵特征值的计算方法,而且证明了下面的定理:如果对称正定矩阵A仅有k个特征值大于或等于αtr(A),0<α<1,则tr(A)/‖A‖_F≥P_k(α)~(1/2),其中P_k(α)~(-1)=[1-(k-1)α]~2+(k-1)α~2,进而得到正定对称矩阵每一个特征值的上界估计。     

发电机阻尼转矩的最优设计

为防止电力系统低频振荡的产生,本文提出了发电机阻尼转矩的最优设计方法,利用变分法原理,通过对电力系统稳定器(PSS)如何最优地改善系统阻尼问题的探讨,得到了PSS提供给电力系统的最优阻尼系数和阻尼转矩,从而完善了PSS的设计。参5。     

勒贝格积分定义的等价性证明

本文对五种勒贝格积分定义的等价性给予证明.     

自反Banach空间中的广义变分不等式

本文引入了集值广义(强)拟单调映象的概念.证明了自反Banach空间中闭凸集上集值广义(强)拟单调映象的广义变分不等式解的存在性定理,改进了Browder,Hartman-Stampacchia,shih-Tan,Tan-Yuan等人的相应结果.     

局间通信负荷监控问题的形式化方法

利用最新时段演算等理论，形式化负荷监测功能的告警原理和组合输出问题，并进行必要的形式化推导，以确保规范说明具有可理解性和准确性．还给出了实现监控的核心算法．     

南浦大桥上部结构施工工艺和工程控制

介绍了上海南浦大桥主桥上部结构的施工工艺、桥面工程控制与施工 监测、桥面混凝土的抗裂措施．对于０号段的临时固结与施工平台、桥面吊 机安装、标准段桥面的安装、江心合龙段施工时合龙温度及合龙段钢梁长 度的确定等，作了较详细的叙述．     

案例分析中的DNA计算

DNA计算是一种模拟生物分子DNA的结构并借助于分子生物技术进行计算的新方法，开创了以化学反应作为计算工具的先例，为解决NP—完全问题提供了一种全新的途径。案例分析中常用到离散数学中的逻辑演算，特别是在信息处理方面。在基于表面的DNA计算中采用了荧光标记策略，解决了案例分析中的一个问题，尝试了DNA计算在案例分析中的应用。且这种方法具有编码简单；耗材底；操作时间短；技术先进的优点。     

两种算术函数上下界的讨论

在自然数中，任意自然数ｎ都可由若干个１通过加、减、乘法运算表示出来；也可以去掉减号，由若干个１通过加和乘法表示出来。在ｎ的所有可能的表示法中，我们分别用ｆ（ｎ）和ｇ（ｎ）记这两种表示法中包含１的个数最少的那种表示法中所含１的个数，参考文献［１］中给出了ｆ（ｎ）的一个较强的上下界估计，本文进一步证明了不等式３ｌｏｇ３ｎ≤ｆ（ｎ）≤３．６８ｌｏｇ３ｎ３ｌｏｇ３ｎ≤ｇ（ｎ）≤４．７６ｌｏｇ３ｎ并讨论了∑ｎ≤ｘｆ（ｎ），∑ｎ≤ｘｇ（ｎ），的渐近性质