检索结果-南通市图书馆

滩浅海地震勘探导航定位数据后处理软件的设计与实现

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

滩浅海地震勘探导航定位数据后处理软件的设计与实现

作者：马竹中国石油大学(华东)

学位级别：硕士

近年来,石油地震勘探行业一直在快速发展,尤其是在滩浅海区域,各种新技术,新方法,新设备不断地涌现。这导致了在滩浅海地震勘探实际施工作业中,对测量、导航、定位的质量标准和实施要求也越来越高。同时伴随着的是,原始数据,成果资料的... 详细信息

近年来,石油地震勘探行业一直在快速发展,尤其是在滩浅海区域,各种新技术,新方法,新设备不断地涌现。这导致了在滩浅海地震勘探实际施工作业中,对测量、导航、定位的质量标准和实施要求也越来越高。同时伴随着的是,原始数据,成果资料的数量将大大增加,数据处理和整理的时间也需要更多。因此,传统的手工化、零散化的数据处理方法和成果管理方式已经无法满足当前需求。为满足公司业务发展的需要,增强东方公司海上导航定位综合技术服务的实力,东方公司研发了多款相关的软硬件产品,比如Dolphin综合导航定位系统、HydroPlus导航软件、BPS声学定位系统等。但是这些产品主要针对野外现场施工,而对于室内数据处理和成果管理,东方公司并没有合适的配套软件产品。本论文针对目前的现状,对各种不同类型的,不同地域的滩浅海OBC项目、OBN项目进行了广泛调研,并对所有导航定位有关的数据处理方法和流程进行了详细分析和总结,获得了详尽的软件需求报告。最后研发了一款滩浅海导航定位数据后处理软件,简称OBSOffice(Ocean Bottom Seismic Office)。本文描述了滩浅海地震勘探导航定位数据后处理软件OBSOffice。首先,详细描述了软件的基本架构,整体设计理念,开发方法,技术路线等;同时,本文还详细介绍了软件所有子模块的基本功能。不同的子模块都针对着不同类型的原始数据和成果格式,同时也会采用不同的数据处理流程和方法;本文还介绍了软件开发过程中所涉及到的关键技术,包括编码有关技术,数据库有关技术,以及原始数据计算所涉及到的一些关键数学算法等。本论文还通过介绍两个不同类型的工程应用案例说明了OBSOffice软件在实际施工中的应用效果和前景。一个是典型的OBC勘探项目,代表着当前滩浅海地震勘探主流的施工方式;另外一个是代表滩浅海地震勘探的未来发展方向的OBN勘探项目。OBSOffice在这两个项目中的应用情况都非常好,解决了野外现场的实际问题,同时也通过实际的项目实施,软件本身也得到了进一步的提升。

关键词： OBC OBN 数据后处理声学定位数据库

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

月见草油乳剂的研制与疗效观察

中成药 1990年第3期12卷 2-3页

作者：何明焕马竹卿上海市长宁区中心医院上海200051

本文报道了月见草油乳的制剂工艺设计、质量标准和临床疗效。以大豆卵磷脂为乳化剂制成之O/W乳,分散相平均粒径1～2um,极易为机体吸收,用化学动力学预测,在室温条件下,制剂的稳定期为1.43年,和月见草油软胶丸相比,乳剂组降甘油三酯和升... 详细信息

本文报道了月见草油乳的制剂工艺设计、质量标准和临床疗效。以大豆卵磷脂为乳化剂制成之O/W乳,分散相平均粒径1～2um,极易为机体吸收,用化学动力学预测,在室温条件下,制剂的稳定期为1.43年,和月见草油软胶丸相比,乳剂组降甘油三酯和升高高密度脂蛋白胆固醇的总有效率均高于软胶丸组,胆固醇降低的总有效率无明显差异。

关键词：月见草乳剂研制月见草油

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

两类带时滞的非局部扩散方程的双稳行波解

两类带时滞的非局部扩散方程的双稳行波解

作者：马竹艳兰州交通大学

学位级别：硕士

作为反应扩散方程主要研究课题之一的行波解,可以描述发生在生态学、传染病学、人口动力学等领域的许多传播问题,例如传染病的传播、物种的入侵等,这些问题可以通过研究相应模型行波解的存在性、唯一性和稳定性等得以解决.其中,单稳行... 详细信息

作为反应扩散方程主要研究课题之一的行波解,可以描述发生在生态学、传染病学、人口动力学等领域的许多传播问题,例如传染病的传播、物种的入侵等,这些问题可以通过研究相应模型行波解的存在性、唯一性和稳定性等得以解决.其中,单稳行波解和双稳行波解是主要研究类型.与单稳行波解相比,双稳行波解存在性的研究相对困难,因为双稳行波解连接的两个稳定的平衡点之间还有一个不稳定的平衡点,利用同伦技术建立双稳行波解的存在性时需要排除两种情形（行波解在正负无穷远处分别趋于左边稳定的平衡点和中间不稳定的平衡点或分别趋于右边稳定的平衡点和中间不稳定的平衡点）.另外,混合扩散的出现使对波速和波廓的估计变得复杂.幸运的是,利用先验估计结合细致的分析技术可以克服这一困难.另一方面,时滞非局部扩散系统双稳行波解的稳定性也是值得研究的课题.注意到,对标量方程或系统,由于时滞的出现,利用单调半流的收敛性理论建立双稳行波解的全局稳定性时,很难得到初值问题对应单调解半流的像轨道是相对紧集的结论,而基于比较原理和上下解的挤压技术不需要验证解半流的相对紧性,是建立双稳行波解全局稳定性的有力工具,只是时滞和系统不同函数的耦合会使方程上下解的构造变得复杂.基于此,本文主要研究两类带时滞的非局部扩散方程双稳行波解的存在性和稳定性.具体研究工作如下:研究一类带混合扩散的时滞反应扩散对流方程双稳行波解的存在性和唯一性.利用同伦技术建立方程双稳行波解的存在性时,首先,利用原方程的行波方程构造一簇连续参数化方程;其次,利用隐函数定理证明当参数θ∈[0,1)时,参数化方程双稳行波解的存在性;最后,当θ=1时,利用子列的收敛性得到原方程双稳行波解的存在性.另外,在行波解的存在性和单调性基础上利用滑动技术建立双稳波前解的唯一性（带平移性）.研究一类带时滞的非局部扩散传染病系统双稳波前解的稳定性.首先,建立系统相应初值问题解的存在唯一性和比较原理;其次,借助上下解和比较原理得到初值问题解的迭代引理和最终估计;最后,利用挤压技术建立该系统双稳波前解的全局指数稳定性,并进一步得到双稳波前解的Lyapunov稳定性和唯一性.

关键词：双稳行波解非局部扩散存在性稳定性

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

中国涉外法律适用的国际公信力研究

中国涉外法律适用的国际公信力研究

作者：马竹雨西安财经大学

学位级别：硕士

国际民商事交往日渐频繁,涉外民商事法律纠纷随之增加,司法作为解决涉外民商事纠纷的主要途径,在这其中承担着重要的职责。面对该种情况,一个国家涉外法律适用水平就显得十分重要,稍有不慎便会遭到其他国家当事人的不信任。中国也不可... 详细信息

国际民商事交往日渐频繁,涉外民商事法律纠纷随之增加,司法作为解决涉外民商事纠纷的主要途径,在这其中承担着重要的职责。面对该种情况,一个国家涉外法律适用水平就显得十分重要,稍有不慎便会遭到其他国家当事人的不信任。中国也不可避免的存在该种情形,一方面在于中国与其他国家的实际情况不一样,其他国家民众不能很好的理解中国涉外民事关系法律适用的内涵,容易以其本国的标准来要求中国,当存在不一致时,就开始质疑中国涉外法律适用水平。另一方面,中国涉外民事关系法律适用方面确实存在问题。为此,笔者通过对制约中国涉外民事关系法律适用的因素进行分析,找出其提升路径,从而为促进中国涉外法律适用的国际公信力提升奠定基础。在绪论与结语之外,本文主要由四部分组成:第一部分涉外法律适用国际公信力的一般理论,主要从涉外法律适用的内涵、司法国际公信力的法理内涵及影响涉外法律适用国际公信力的关键指标三个方面来对司法国际公信力进行法理论证。第二部分是关于中国涉外法律适用国际公信力的评估现状,分别从取得成效与遭受质疑两方面来分析。其中取得成效主要包括正确适用国际条约、涉外法律适用机制不断优化及充分尊重当事人意思自治;遭受的质疑主要包括质疑司法主体涉外法律适用能力、质疑涉外法律适用程序的正当性及质疑涉外法律适用结果的公正性。第三部分总结出影响中国涉外法律适用国际公信力的因素,主要包括涉外司法审判主体国际化法治理念不够、《中华人民共和国涉外民事关系法律适用法》(以下简称《法律适用法》)不健全、指导性案例的作用未充分发挥及外国法查明机制不完善。第四部分主要针对以上制约因素,寻找提升中国涉外法律适用国际公信力的路径,主要包括树立现代司法理念、推动国际私法法典化、提升涉外法律适用能力及促进涉外审判主体的专业化和现代化。

关键词：涉外民事关系法律适用国际公信力外国法查明

利用环境DNA技术调查入侵种克氏原螯虾在元阳梯田的分布

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

利用环境DNA技术调查入侵种克氏原螯虾在元阳梯田的分布

作者：马竹欣云南大学

学位级别：硕士

元阳哈尼梯田是闻名中外的世界文化遗产。近年来入侵物种克氏原螯虾(Procambarus clarkii,俗称小龙虾)在元阳梯田中出现,甚至在局部泛滥成灾;其种群会在梯田中掘洞,使田间墙体坍塌,严重影响梯田景观。准确估计克氏原螯虾在梯田中的分布... 详细信息

元阳哈尼梯田是闻名中外的世界文化遗产。近年来入侵物种克氏原螯虾(Procambarus clarkii,俗称小龙虾)在元阳梯田中出现,甚至在局部泛滥成灾;其种群会在梯田中掘洞,使田间墙体坍塌,严重影响梯田景观。准确估计克氏原螯虾在梯田中的分布现状、监测其扩散动态是进行有效防控的基础。目前常用的监测方法主要依靠虾笼诱捕,费时费力,特别是当种群数量较低时,数据不够准确。水生生物常常通过分泌物、粪便等向水体中排出DNA(环境DNA)。结合生物条形码技术,环境DNA可以用来对物种进行快速检测。本研究的目的是探究环境DNA技术是否能用于调查克氏原螯虾在元阳哈尼梯田中的的分布。本研究利用荧光定量PCR技术(qPCR),通过测定水样中的克氏原螯虾的DNA浓度来推断其分布情况。该方法流程如下：首先,利用克氏原螯虾组织样本DNA进行系列稀释,确定qPCR的定量和定性检测的有效浓度;其次,在实验室条件下饲养克氏原螯虾,利用qPCR检测水样中的环境DNA,绘制种群密度-环境DNA浓度的标准曲线;最后在元阳哈尼梯田景区中选择了58块样地采集水样,将环境DNA检测结果与标准曲线进行拟合,推算克氏原螯虾的分布和密度。同时,对这些梯田地块用传统的虾笼诱捕法进行监测,收集了各地块中常年耕作的农民的观测信息作为第三方证据,对环境DNA和虾笼诱捕法的结果进行比较。本研究的主要结果如下：1) qPCR技术检测克氏原螯虾环境DNA的最低有效浓度为104 ng/μL(即定量检测國值LOQ),定性检测的最低有效浓度为10-8ng/μL(即定性检测阂值LOD);2)环境DNA方法比虾笼诱捕法有更高的灵敏度。总共58个地块样本中,被第三方证据(农民观测)确定有克氏原螯虾分布的有37块,其中环境DNA方法鉴定出22个阳性样本(成功率59.4%),而虾笼诱捕法则仅发现2个阳性样本(成功率为5.40%);3)其余21个地块被第三方证据确定没有克氏原螯虾分布,而环境DNA方法和虾笼诱捕法也均未检测到阳性,表明环境DNA方法在本次研究中没有产生假阳性结果;4)最后综合上述数据,绘制了克氏原螯虾在元阳梯田的地理分布图。以上结果表明,环境DNA技术可以高效地监测克氏原螯虾的分布现状和扩散动态。本研究结果可以为防控克氏原螯虾工作提供决策依据,同时也可为其他水生入侵种的快速检测提供借鉴。

关键词：克氏原螯虾环境DNA 元阳哈尼梯田入侵种定量PCR

“资产为本”视角下D组织营造H社区博物馆的行动策略研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

“资产为本”视角下D组织营造H社区博物馆的行动策略研究

作者：马竹算华东理工大学

学位级别：硕士

目前,我国城市更新正在由拆建式的“大更新”转为对局部修补的“微更新”,同时,国家提出社会治理能力现代化,社会治理重心向基层下移,对社区治理提出要求,社会组织与社区居民是社区治理的重要参与方。本研究关注社区已有资源和能力,研... 详细信息

目前,我国城市更新正在由拆建式的“大更新”转为对局部修补的“微更新”,同时,国家提出社会治理能力现代化,社会治理重心向基层下移,对社区治理提出要求,社会组织与社区居民是社区治理的重要参与方。本研究关注社区已有资源和能力,研究问题是从资产为本的社区发展视角来看,D组织进行社区博物馆营造工作的行动策略为何?具体而言,本文将聚焦于D组织在营造社区博物馆过程中,如何引导居民关心自已的社区以及形成自己社区的故事。本研究基于“资产为本”视角,以D组织营造H社区博物馆实践作为案例,是质性研究取向下的一项个案研究。本研究的资料收集方法采用文献研究与访谈法。其中,文献研究指对D组织公共文档、活动照片、影像资料、展览海报等文献资料进行分析。访谈法采用半结构式访谈,选取D组织H社区博物馆工作团队成员、社区居民、社区书记共计9位人员作为访谈对象。本研究根据文献资料与访谈资料建构类目,对主题进行编码,采用内容分析进行资料分析。研究发现,“资产为本”视角下,资产盘点与运用、主题叙事构建情感联结、多元主体合作互动是D组织营造社区博物馆的行动策略。首先,D组织通过社区资产调查帮助居民认识社区,发现社区的资源与能力。其次,在盘点社区资产的基础上,D组织聚焦社区内部,以主题展览进行社区叙事,帮助居民从不同角度看待社区,建构自我认同与社区认同,并通过叙事构建情感联结,以情感联结与居民参与驱动社区内部活力。再次,D组织识别社区内部与外部多元主体,通过活动、物品、社群、非正式组织等方式构建社区内部关系网络;通过沟通协商、利益交换、达成共同目标等方式与社区外部主体建立合作关系。基于此,本研究对社区博物馆以及社会组织推动社区营造的已有研究进行补充。社区博物馆将博物馆与社区精神互动,关注社区居民在其中的体验与主体性,引导居民关注社区、参与社区,建立与社区的情感联结,增加居民对于社区的认同感与归属感。D组织营造社区博物馆作为社会组织推动社区营造的行动实践,对于社会工作服务有如下启示:第一,社会工作服务可以关注社区内在资源与能力,利用和活化社区本土元素;第二,社会工作服务在社区工作中需要关注社区共同体建设,构建社区情感联结;第三,社区治理中,社会工作可以与其他学科进行合作对话。

关键词：资产为本的社区发展社区博物馆社区营造行动策略

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

XML数据在关系数据库中的存储技术研究

XML数据在关系数据库中的存储技术研究

作者：马竹娟安徽农业大学

学位级别：硕士

随着XML数据的可扩展性和自我描述性的日益发展，越来越多的开发者将其视为网络数据传输的主要形式。XML文件本质上是保存信息的结构化载体，它对自身数据库的处理能力是有限的。将XML数据转换成关系数据，然后凭借关系数据库的强大功... 详细信息

随着XML数据的可扩展性和自我描述性的日益发展，越来越多的开发者将其视为网络数据传输的主要形式。XML文件本质上是保存信息的结构化载体，它对自身数据库的处理能力是有限的。将XML数据转换成关系数据，然后凭借关系数据库的强大功能来处理XML数据，将带来可观的处理效果。然而，响应时间是评价数据处理的一个重要指标，因此如何提高响应时间已成为各个研究者的目标。由于底层存储表达对上层的查询和优化有着重要的影响，因而也是提高处理XML数据响应时间的有效方法。本文以边模型映射为基础，提出了一种优化的基于关系数据库的XML文档存储方案。具体来讲：（1）与边模型映射中的独立值表映射方案不同，本文按照文档中的节点类型对XML的文档树进行细化，进而提高了XML文档重构的准确性;（2）本文采用节点序号和路径相结合的方式记录每一个元素节点的路径信息，进而有效地提高了文档的查询性能。（3）最后，基于该存储方案，设计实现了针对该方案数据库的操作原型。本方案有效地解决了XML数据库的底层存储表达，进而提高了响应时间，与此同时提高了对存取结果进行重构的准确性。本文实验通过对纯XML文档和XRel模型进行比较，实验表明本方案无论在性能还是在存储空间上都有较大幅度的提升。

关键词：存储方案边模型文档树联合表数据库模型

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

形式化技术在逆向工程中的应用研究

形式化技术在逆向工程中的应用研究

作者：马竹根长沙理工大学

学位级别：硕士

随着计算机技术的飞速发展,产生了越来越多的遗产系统,对这些系统进行维护和升级是软件工程师们经常要面对的问题。要对遗产系统进行维护和再工程,就需要用逆向工程技术对当前系统的结构和行为进行理解。作为软件工程中的一种新技术,逆... 详细信息

随着计算机技术的飞速发展,产生了越来越多的遗产系统,对这些系统进行维护和升级是软件工程师们经常要面对的问题。要对遗产系统进行维护和再工程,就需要用逆向工程技术对当前系统的结构和行为进行理解。作为软件工程中的一种新技术,逆向工程能够分析目标系统,确定系统的组件和它们之间的相互关系,并以另一种形式或者在更高的抽象级别上建立对系统的表示,从而帮助维护人员理解并重构软件系统。形式化方法对于软件的发展,尤其是正向工程方面提供了许多好处。形式化方法的一个优点是它的表示是精确的、可验证的,这样有助于使用自动化的处理。一种利用形式化方法优点的方式就是通过对现有程序代码进行逆向工程来得到形式化规约。本文描述的逆向工程中的形式化方法采用最强后置条件谓词转换技术和Hoare理论中有关程序语义的部分正确性模型,研究的重点是利用形式化技术和非形式化技术对程序代码进行逆向工程,以支持软件理解和维护。针对C程序的基本语法结构定义了赋值语句规则、选择语句规则、循环语句规则、顺序语句规则和函数调用规则,建立了一个最小的公理系统。介绍了以C-Minus语言(自定义的一种简化的C语言子集)为实例进行逆向工程的过程。在进行逆向分析的过程中,首先对源程序进行词法语法分析生成语法树,从结构化源程序中提取源程序的模板信息,并把模板信息用一个二叉树表示,之后按照设计的二叉树遍历算法,把二叉树转化为P A D(Problem Analysis Diagram)图,用以描述程序的结构,并作为可视化的人工理解辅助工具,便于我们从中方便的选出源代码的关键部分。在结构化分析的基础上,对关键性的源代码文件进行扫描,对每条语句进行分析,根据C程序语句中各种基本结构的最强后置条件形式化语义,对每条语句按照相应的规则进行转换,得到程序的形式规约。

关键词：逆向工程形式化方法最强后置条件 PAD图形式规约

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

科里奥利质量流量计研究

科里奥利质量流量计研究

作者：马竹娟南京航空航天大学

学位级别：硕士

质量流量是工业生产和科学研究中常见的物理量之一。在众多的质量流量测量方法中,科里奥利法是一种起步较晚但倍受瞩目的直接式测量方法。现代的科里奥利质量流量计有直接获取与质量流量有关的信号;不受被测介质影响;可测量种类较多的... 详细信息

质量流量是工业生产和科学研究中常见的物理量之一。在众多的质量流量测量方法中,科里奥利法是一种起步较晚但倍受瞩目的直接式测量方法。现代的科里奥利质量流量计有直接获取与质量流量有关的信号;不受被测介质影响;可测量种类较多的液体和稀浆;不受管内流态的影响;测量范围大、精度高、可跟踪脉冲流;可获取密度信号等优点。但是它们对流管材料的选用提出了极高的弹性要求,这一点极容易给测量带来误差。另外它们的流管需要做高频振动,因此会存在严重的疲劳破坏。本文旨在解决上述的两点不足之处,提出了科里奥利质量流量计的一种新形式,相应的给出了一个初步模型,并通过对这个模型做具体的流量公式推导与流场数值模拟对这种新形式的实用性做出了验证。然后又通过计算对我们的模型结构与尺寸进行了合理的优化。

关键词：科里奥利质量流量质量流量计测量数值模拟