利用遙感图象对攀西地区线性及环状影象的地质意义探讨

笔者利用遥感图象在对攀枝花至西昌地区(简称:攀西)进行地质解译中,侧重对揭示构造形迹的线性及环状影象作了系统解译和研究。利用S101(计算机图象数字处理系统)所提供的遥感图象(图1见封三),在统一解译标志的基础上,充分尊重影象所反映的客观实际,获得了一幅与目前各种大地构造理论所编制的地质构造图均不尽一致的     

关于平面上宽过去马氏性的注记

一、引言和定义 关于两参数过程的马氏性,有各种不同的定义。这主要是因为所考虑的过去不同。即使只考虑宽过去,仍然有几种马氏性的定义。例如文献[1]中的*-马氏性;文献[2]中的宽过去马氏性;文献[3]中给出、文献[4]中略加改变的另一种宽过去马氏性(我们将称为弱的宽过去马氏性)。还有文献[5]中给出、文献[1]中略加改变的L-马氏性。在研究两参数随机微     

格值模型论中常量构作法的两个应用

本文是文献[1]中开始的把2值模型论各主要结果向多值模型论推广工作的继续。有些基本概念及记号用法可参看该文。但所讨论的内容与文献[1]是各自独立的。本文主要是用常量构作模型的方法的两个应用。其一是用于证明某些有限值格时的紧致性定理(文献[1]中已用超积方法证明了有限值格时的紧致性定理),其二是用于证明某些值格时的省略型定理。     

关于随机集积分序列的收敛定理

文献[1]中给出了随机集序列的各种收敛性,本文在此基础上推广了文献[2]中关于随机集积分序列的收敛定理。     

关子Henon映像中的Smale马蹄

不少人用数值计算的方法研究了平面上的可微同胚叠代的各种性质。Henon在文献[1]中算出了当A=1.4,B=0.3时它有“奇异吸引子”。     

泛函微分方程稳定性的李雅普诺夫泛函方法

关于滞后型泛函微分方程的稳定性的判别方法中,有两种重要的思想方法,一种是基于李雅普诺夫泛函,另一种是运用拉什密辛条件。文献[1]中的定理2.1、4.1、4.2是这两种思想方法的最重要的经典结果。本文把这两种思想方法统一起来,得到了更为广泛的结果。为精简起见,如无特别声明,本文所用的概念和符号主要引自文献[1]。     

两个Schwarzschild黑洞场迭加的时空结构

本文利用文献[1]所给出的虚坐标方法讨论了两个Schwarzschild黑洞场迭加的时空结构。根据文献[1]中系2.1,我们得到如下结论,设有两个分别位于Weyl坐标系ρ=0,z=0和ρ=0,z=Z的Schwarzschild黑洞m_1和m_2,当|Z|>M_1 m_2时,一个黑洞的视界坐标不受另一个黑洞的影响。     

酶-底物反应体系中底物分子的浓度图

酶-底物反应体中底物分子的浓度图,不仅能比较有力地说明酶-底物结合反应的最大限度要比传统的估计值高出一个数量级,而且还能为底物分子的扩散运动提供一幅鸟瞰图,从而有助于深入研究酶的作用原理,然而要由实验方法测得浓度图是十分困难的。但是,由于我们曾在文献[1]中给出了一般方法来计算这类反应体系中底物浓度的分布;并在文献[2]中给出了关于算得浓度的收敛性证明与误差分析,因而可用数值方法画出它们的浓度图。本文将用文献[1]中的方法,考虑在更复杂作用位能的情况下,给出一些反应体系的浓度图。     

包含S_2流面变量的旋转叶轮三维流动变分原理及界限定理

把文献[1]的流场定义域改为(符号按文献[1])在两个周期的S_2流面之间并内含一个叶栅,并把S_2取为变量.在文献[1]基础上得到     

局部Lipschitz条件下随机微分方程解的稳定性定理

文献[1]在Lipschitz条件下讨论了随机微分方程X=Φ(X)+F(X)·M (*)解的存在唯一性和稳定性。文献[2]减弱了此方程解存在唯一的条件,推广了文献[1]的结果。本文主要讨论在文献[2]中较弱条件下方程唯一解的稳定性。     

关于判定问题的两个注记

1.在文献中Castaneda对Lewis模态命题演算S5证明了一条定理。此定理表明演算S5具有有穷模型性质,从而由之可推出S5的可判定性。略早于文献[1]时,著者在文献[2]中对于演算(?)_ε得到一条类似的定理,即文献[2]中的定理6。这里应指出,Castaneda在文献[1]中的定理和文献[2]中的定理6实质上是等价的。这里先对文献[2]中有关部分作一些修正。文献[2]的定理6陈述中的“B_0~()”应改为“B_0~(<2n>)”;相应地,该定理证明中     

关于两参数Markov过程的强芽Markov性

本文把文献[1]所定义的关于单参数Markov过程强芽Markov性的概念移植到两参数Markov过程(即文献[2]中的~*-Markov过程)中,并得到了~*-Markov过程关于停线的两种强芽Markov性.同时,也证明了~*-Markov过程具有文献[3]意义下的强Markov性,且更具普遍性。此外,在文献[4]的基础上,证明了两参数Markov过程关于平面上任何开集具有芽Markov性,从而得到了文献[2]所希望的结果。     

子域映射快速排序法研究

文献[1]提出的算法,数据最大值与最小值之差E>>N(N为数据个数),且数据字长时,排序速度下降。究其原因,主要是字长数据被压缩落入同一级别次数太多。本文提出保持文献[1]主要特点的子域映射算法,字长数据被切分而不压缩,扫描次数减少,保证     

可积系统的Lax代数

文献[1]给出一个方法来证明AKNS系统的Lax算子构成一个无穷维Lie代数.如何将这方法推广到一般可积系统是本文的主要目的.记号基本按文献[1].在此先分析其方法的主要步骤.     

平行板-内正多角柱耦合传输线特性阻抗计算

文献[1,2]的方法,求解了五种新传输线和13种现有传输线的特性阻抗。现用不同于文献[4]中的处理方法,取两次截面边界尺寸上、下限几何平均值方法,求解平行板-内正方柱耦合传输线,直接检验文献[1]方法的准确度,从而证实,在实用上平行板-内正多角柱耦合传输线特性阻抗值可直接由平行板-内圆柱耦合传输线特性阻抗计算公式或数值换算得到。     

量词模态系统的代数语义与Kripke语义——关于S5~*情形

已故模态逻辑专家Lemmon在文献[1]和文献[2]中研究了一系列命题模态逻辑系统的代数语义与Kripke语义及其相互可转化性。他还在文献[1]中表示要用第三篇文章来讨论量词模态系统的相应问题;可惜该文未问世,Lemmon便溘然长逝了。在本文中我们对带量词的S5即S5~*而言讨论了两种语义的相互可转化性。S5~*在作者文献[3]和文献[4]中用S_5~*     

环ZN上的两种Chrestenson谱之间的关系

谱是研究函数的一种重要工具,在研究多值逻辑函数时,引入了两种Chrestenson谱即Chrestenson线性谱和循环谱。文献[1]中基于频谱技术在流密码学中的应用说明了研究这两种谱之间的关系的重要性。冯登国、肖国镇给出了一般的有限域上的这两种Chrestenson谱之间的关系。本文将给出一般的剩余类环Z_N上的这两种Chrestenson谱之间的关系,从而彻底解决了文献[1]中的研究问题1。     

Coates图的两个消去定理

本文旨在证明Coates图的两个消去定理,正如文献[1]中所表明的那样,把图论技术用到计算方法上是卓有成效的。 本文采用文献[2]中的一切符号与术语,只是各有向边的重量不必一定是数,可以是任意环(如多项式)之元,我们的讨论从推广文献[2]中定义3.2关于1-因子的概念开始。考察1-     

某些非线性算子的固有值

在这篇文章中,作者推广了Cronin在文献[1]中的主要结果,所用的方法比文献[1]中的方法简单。设X是一无限维的线性赋范空间,DX,映照A:D→X满足下面诸条件:(ⅰ)A全连续(即A把D中的有界集变成X中的紧集);     

具有非线性阻尼与软弹簧系统的极限环及其对机械振动的应用

§1.本文研究控制方程 其中,0<λ<1,μ>1 λ,β>0.(1.1)式是工程实践中提出的非线性振动模型。当β=0,1 λ μ<2时,已在文献[1]中讨论过。文献[2]用图解法讨论过(1.1)式的一个具体数值例子。文献[3]曾研究(1.1)式中a或b等于零时,位移项有参数激励的极限环