由Levy过程驱动的随机偏微分方程解的逼近

K和H为可分的希尔伯特空间,Z是一个巴拿赫空间.采用逐步逼近方法研究如下由Levy过程驱动的随机偏微分方程dx(t)=[Ax(t)+f(t,x(t))]dt+g((t,x(t))d W(t)+z乙h(t,x(t-),z)譙(dt,dz)解的逼近,并证明其局部温和解的存在性和唯一性.其中A∶D(A)奂H→H是H上的压缩半群(S(t))t≥0的无穷小生成元,f∶[0,T]×H→H,g∶[0,T]×H→L2(K,H),h∶R+×Ω×Z→H,满足局部非利普希茨条件.     

三维空问中□u=G（ut，Du）的整体经典解的存在性

考虑如下半线性波动方程的柯西问题 { utt-Δu=G(ut,Du), t＞0,x∈R3,u(x,0)=εf(x), ut(x,0)=εg(x), x∈R3. 这里Δ=∑3i=1((e)2)/((e)x2i),ε为充分小的正数.讨论了非线性项具有更一般的形式,初值不具有球面对称形式时上述柯西问题的局部经典解及整体经典解的存在性.     

脉冲依赖状态的发展方程初值问题解的存在性

研究Rn中脉冲依赖状态的半线性发展方程初值问题u′(t)+Au(t)=f(t,u(t))a.e.t∈J=[0,a],t≠τk(u(t)),k=1,2,…,m;u(t+)=Ik(u(t)),t=τk(u(t)),k=1,2,…,m;u(0)=u0解的存在性.其中-A生成Rn的等度连续C0-算子半群的生成元.在f满足较弱的L1-Caratheodory条件下,逐段使用Schaefer不动点定理获得其mild解的存在性结果.     

鞅空间上的几何极大算子

设(Ω,(F),μ)是一完备的概率空间,假定((F)n)n≥0是(F)的完备子σ代数的一个增加族,满足(F)=∨n≥0(F)n,其中F0是平凡的((F)0=(φ,Ω)),f=(f1,f2,…)是Ω上的实值函数序列,且fn关于((F)n,μ)可测,(A)n.定义f=(fn)n≥0为一个鞅[1],如果每个dn可积,且E(dn 1|(F)n)=0,n=0,1,…;其中E(·|(F)n)表示关于测度μ的条件期望算子.     

最终范数连续半群的扰动

主要给出了一个在Hilbert空间中最终范数连续半群的扰动定理.设T(t)为Hilbert空间H上的C0半群,当t>t0≥0时按范数连续,A为其无穷小生成元.又设B是A相对有界的,D(A)D(B),T(t)B BT(t),且存在δ>0使得K0< ∞.这里Kλ=sup∫0δe-λt‖BT(t)x‖dt x∈D(A),‖x‖≤1,(λ≥0).则当2ε<1/limKλ时,A εB生成半群TB(t)且TB(t)当t>2t0时按范数连续.     

复合解析函数族分担解析函数的一正规定则(英文)

得到一个正规定则:设α(z)和F分别是区域D上的解析函数与解析函数族,P(z)是次数P不低于2的多项式.如果对族F中函数f(z)和g(z),Pf(z)和P g(z)分担α(z)IM,并且下述条件之一成立:①对任何z0∈D,P(z)-α(z0)有至少两个不同的零点;②存在z0∈D使得P(z)-α(z0)仅有一个零点β0,同时k≠lp,其中l和k分别是f(z)-β0和α(z)-α(z0)在z0处的零点重数,α(z)不是常数.那么F在D内正规.     

Schrödinger方程一族高精度恒稳差分格式

Schrodinger方程((e)u)/((e)t)=I((e)2u)/((e)x2),可构造一族含双参数的三层高精度隐式差分格式.当参数α=1/2, β=0时得到一个双层格式.证明该格式对任意非负参数α≥0, β≥0都是绝对稳定的,并且其截断误差阶为O(Δt2+Δx4).数值例子表明,文中所建立的差分格式是有效的,理论分析与实际计算相吻合.     

Schr(o)dinger方程一族高精度恒稳差分格式

Schrodinger方程((e)u)/((e)t)=I((e)2u)/((e)x2),可构造一族含双参数的三层高精度隐式差分格式.当参数α=1/2, β=0时得到一个双层格式.证明该格式对任意非负参数α≥0, β≥0都是绝对稳定的,并且其截断误差阶为O(Δt2+Δx4).数值例子表明,文中所建立的差分格式是有效的,理论分析与实际计算相吻合.     

一类解析函数的Bohr定理

定义单位开圆盘D内的一个解析函数类P_α(D)={f∈A(D):Re［f(z)/z］≥α}(0<α≤1),给出其增长和掩盖定理.作为应用,得到P_α(D)上的Bohr半径r₀.特别地,当α=1/2时,r₀=1/3,推广了凸函数的Bohr半径.     

方程(e)u/(e)t=│x│pΔu的一类相似解

研究方程(e)u/(e)t=│x│pΔu,(x,t)∈Rn×(0,+∞)的具有形式(t+1)βw((t+1)αx)的相似解的存在惟一性,这里n≥2,0≤p<2,β>0,α=-1/2-p.     

Characterization of Ordovician carbonate reservoirs, southeastern Saskatchewan, Canada

The discovery of the prolific Ordovician Red River reservoirs in 1995 in southeastern Saskatchewan was the catalyst for extensive exploration activity which resulted in the discovery of more than 15 new Red River pools. The best yields of Red River production to date have been from dolomite reservoirs. Understanding the processes of dolomitization is, therefore, crucial for the prediction of the connectivity, spatial distribution and heterogeneity of dolomite reservoirs.The Red River reservoirs in the Midale area consist of 3～4 thin dolomitized zones, with a total thickness of about 20 m, which occur at the top of the Yeoman Formation. Two types of replacement dolomite were recognized in the Red River reservoir: dolomitized burrow infills and dolomitized host matrix. The spatial distribution of dolomite suggests that burrowing organisms played an important role in facilitating the fluid flow in the backfilled sediments. This resulted in penecontemporaneous dolomitization of burrow infills by normal seawater. The dolomite in the host matrix is interpreted as having occurred at shallow burial by evaporitic seawater during precipitation of Lake Almar anhydrite that immediately overlies the Yeoman Formation. However, the low δ18O values of dolomited burrow infills (-5.9‰～ -7.8‰, PDB) and matrix dolomites (-6.6‰～ -8.1‰, avg. -7.4‰ PDB) compared to the estimated values for the late Ordovician marine dolomite could be attributed to modification and alteration of dolomite at higher temperatures during deeper burial, which could also be responsible for its 87Sr/86Sr ratios (0.7084～0.7088) that are higher than suggested for the late Ordovician seawaters (0.7078～0.7080). The trace amounts of saddle dolomite cement in the Red River carbonates are probably related to "cannibalization" of earlier replacement dolomite during the chemical compaction.     

A computer generator for randomly layered structures

AcomputergeneratorforrandomlylayeredstructuresYUJia shun1,2,HEZhen hua2(1.TheInstituteofGeologicalandNuclearSciences,NewZealand;2.StateKeyLaboratoryofOilandGasReservoirGeologyandExploitation,ChengduUniversityofTechnology,China)Abstract:Analgorithmisintrod…     

海南岛地体及其毗邻陆缘晚中生代—新生代古地磁研究和构造演化

本文叙述了对海南岛及其毗邻大陆边缘白垩纪到第四纪地层岩石进行古地磁研究的全部工作过程。通过分析岩石中剩余磁矢量的磁偏角及磁倾角的变化,提出海南岛白垩纪以来经历的构造演化模式如下:早期伴随顺时针旋转而向南迁移,后期伴随逆时针转动并向北运移。联系该地区及邻区的地质、地球物理资料,对海南岛上述的构造地体运动提出以下认识:北部湾内早期有一拉张作用,主要是该作用使湾内地壳显著伸长减薄,形成北部湾盆地。从而导致了海南岛的早期构造运动,而海南岛后期的构造运动则主要是受南海海底扩张的影响。海南地体运动规律的阐明对于了解北部湾油气盆地的形成演化有重要的理论和实际意义。     

Exciton Seebeck in Molecular Systems

Various applications relevant to the exciton dynamics,such as the organic solar cell,the large-area organic light-emitting diodes and the thermoelectricity,are operating under temperature gradient.The potential abnormal behavior of the exicton dynamics driven by the temperature difference may affect the efficiency and performance of the corresponding devices.In the above situations,the exciton dynamics under temperature difference is mixed with     

Achieving Unusual States of Matter Under High Pressure

The elongation method,originally proposed by Imamura was further developed for many years in our group.As a method towards O(N)with high efficiency and high accuracy for any dimensional systems.This treatment designed for one-dimensional(ID)polymers is now available for three-dimensional(3D)systems,but geometry optimization is now possible only for 1D-systems.As an approach toward post-Hartree-Fock,it was also extended to     

《Chinese Science Bulletin》SUBJECT INDEX TO VOLUME 59(2014)

正~~     

An on-line scaling method for improving scalability of a database cluster

The explosive growth of the Internet and database applications has driven database to be more scalable and available, and able to support on-line scaling without interrupting service. To support more client's queries without downtime and degrading the response time, more nodes have to be scaled up while the database is running. This paper presents the overview of scalable and available database that satisfies the above characteristics. And we propose a novel on-line scaling method. Our method improves the existing on-line scaling method for fast response time and higher throughputs. Our proposed method reduces unnecessary network use, i.e. , we decrease the number of data copy by reusing the backup data. Also, our on-line scaling operation can be processed parallel by selecting adequate nodes as new node. Our performance study shows that our method results in significant reduction in data copy time.     

An improved R-tree based on childnode''s probability

R-Tree is a good structure for spatial searching. But in this indexing structure,either the sequence of nodes in the same level or sequence of traveling these nodes when queries are made is random. Since the possibility that the object appears in different MBR which have the same parents node is different, if we make the subnode who has the most possibility be traveled first, the time cost will be decreased in most of the cases. In some case, the possibility of a point belong to a rectangle will shows direct proportion with the size of the rectangle. But this conclusion is based on an assumption that the objects are symmetrically distributing in the area and this assumption is not always coming into existence. Now we found a more direct parameter to scale the possibility and made a little change on the structure of R-tree, to increase the possibility of founding the satisfying answer in the front sub trees. We names this structure probability based arranged R-tree (PBAR-tree).     

Integrating GIS Web services based on mediating architecture

The geographic information service is enabled by the advancements in general Web service technology and the focused efforts of the OGC in defining XML-based Web GIS service. Based on these models, this paper addresses the issue of services chaining,the process of combining or pipelining results from several interoperable GIS Web Services to create a customized solution. This paper presents a mediated chaining architecture in which a specific service takes responsibility for performing the process that describes a service chain. We designed the Spatial Information Process Language (SIPL) for dynamic modeling and describing the service chain, also a prototype of the Spatial Information Process Execution Engine (SIPEE) is implemented for executing processes written in SIPL. Discussion of measures to improve the functionality and performance of such system will be included.     

Tracking data management using topology of moving object database system for moving object constrained trajectory in LBS application

Advances in wireless technologies and positioning technologies and spread of wireless devices, an interest in LBS (Location Based Service) is arising. To provide location based service, tracking data should have been stored in moving object database management system (called MODBMS) with proper policies and managed efficiently. So the methods which acquire the location information at regular time intervals then, store and manage have been studied. In this paper, we suggest tracking data management techniques using topology that is corresponding to the moving path of moving object. In our techniques, we update the MODBMS when moving object arrived at a street intersection or a curved road which is represented as the node in topology and predict the location at past and future with attribute of topology and linear function. In this technique, location data that are corresponding to the node in topology are stored, thus reduce the number of update and amount of data. Also in case predicting the location,because topology are used as well as existing location information, accuracy for prediction is increased than applying linear function or spline function.