检索结果-南通市图书馆

非线性最小二乘法在三维VSP波场分离中的应用

在线全文

学校读者我要写书评

暂无评论

石油天然气学报 2011年第6期33卷 81-85,8页

作者：乔玉雷中石化胜利油田分公司西部新区研究中心山东东营257000

传统的VSP波场处理多是假定波传播是在波形和振幅均一的条件下完成,这种假定条件对于现实的不规则空间采样、多变的子波和噪声因素是不存在的。针对以上因素的影响,提出允许接收到的波在振幅和初至时间上相互独立存在,处理并运用包含非... 详细信息

传统的VSP波场处理多是假定波传播是在波形和振幅均一的条件下完成,这种假定条件对于现实的不规则空间采样、多变的子波和噪声因素是不存在的。针对以上因素的影响,提出允许接收到的波在振幅和初至时间上相互独立存在,处理并运用包含非线性最小二乘法和特征值的最优迭代方法,每次选取出具有某种特征的波,当具有较强特征的波被选取后,弱特征性的波就变强,重复以上步骤,完成对波场的选取过程。该方法对各种波场都适用,VSP数据量相对较小,对该方法不存在计算的局限性。实际数据处理证明,该方法应用于VSP波场分离优于常规分离方法,对提高VSP处理精度具有重要意义。

关键词：三维VSP 波场分离最小二乘法最优迭代

Using Gluteus Maximus Muscle to Reconstruct the Anal Sphincter for Very Low Rectal Cancer

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Clinical Oncology 2007年第2期4卷 98-102页

作者： Jinchun Cong Chunsheng Chen Hong Zhang lei qiao Xianwei Dai Department of Anorectal Surgery China Medical University Shengjing Hospital Shenyang 110004 China

OBJECTIVE To assess the use of gluteus maximus muscle to recon- struct the anal sphincter for very low rectal cancer. This study aimed to evaluate the local recurrence and function of the new anal sphincter after operation. METHODS Sixteen patients underwent the replacement operation, and then received biofeedback treatments 1 month after the operation. The therapeutic responses were evaluated using the Vaizey and Wexner scoring systems and vectorial manometry. The controls were 30 cases who had undergone a low anterior resection for rectal cancer and 30 healthy people. RESULTS Median follow-up was 4.2 years. No local recurrence was observed. The Vaizey and Wexner scores and vectorial manometry 1 month after operation were significantly lower than those of the healthy and low anterior resection controls （ P 〈0.001） . After biofeedback treatments, the above indexes improved significantly （ P 〈0.001）, especially after 1 year （ P 〈0.001）, but still remained lower than the controls（ P 〈0.001）. The rectoanal reflex only increased to 31.3 % 1 year after operation. CONCLUSION The local recurrence after the replacement operation was low. The defecation function was poor early after operation, but increased markedly after biofeedback treatments and long-term functional exercise. This therapy can be one choice for very low rectal cancer.

关键词： low rectal cancer gluteus maximus defecation function

准噶尔盆地中1区块J_1s_2~1有利储层及主控因素

在线全文

学校读者我要写书评

暂无评论

石油天然气学报 2011年第3期33卷 48-52,166页

作者：乔玉雷中石化胜利油田分公司西部新区研究中心山东东营257000

准噶尔盆地中1区块三工河组二段1亚段(J1s21)有利储层主控因素及其分布规律是制约该地区岩性油藏勘探的主要因素,从有利储层宏观与微观特征入手,分析其主控因素,并展开定性分析与定量评价。通过对中1区块J1s21储层特征进行分析,界定有... 详细信息

准噶尔盆地中1区块三工河组二段1亚段(J1s21)有利储层主控因素及其分布规律是制约该地区岩性油藏勘探的主要因素,从有利储层宏观与微观特征入手,分析其主控因素,并展开定性分析与定量评价。通过对中1区块J1s21储层特征进行分析,界定有利储层的物性下限为孔隙度9%,渗透率2.5×10-3μm2。通过对沉积相带、成岩作用和储层埋深等有利储层影响因素研究分析,确定研究区J1s12有利储层的主控因素为沉积相带与储层埋深,其中,水下分支河道微相与河口坝微相为有利储层发育的有利相带,储层埋深在4500m以上的区域是寻找有利储层的优先区域。

关键词：准噶尔盆地有利储层沉积微相物性下限储层埋深

基于产业融合视角的食用菌休闲农业旅游资源开发

在线全文

学校读者我要写书评

暂无评论

中国食用菌 2019年第4期38卷 91-93页

作者：雷巧莉重庆航天职业技术学院重庆400021

食用菌作为食用类大型真菌,种类繁多,具有较高的营养价值,可作为保健药品。我国在长期发展过程中,逐渐形成了独具特色的食用菌产业,且食用菌产业规模不断扩大,收益稳定。旅游产业化融合需要具有特色的旅游资源作为发展基础,食用菌产业... 详细信息

食用菌作为食用类大型真菌,种类繁多,具有较高的营养价值,可作为保健药品。我国在长期发展过程中,逐渐形成了独具特色的食用菌产业,且食用菌产业规模不断扩大,收益稳定。旅游产业化融合需要具有特色的旅游资源作为发展基础,食用菌产业现有规模及完整的产业链,使其成为丰富的旅游资源。通过食用菌产业与旅游产业相互融合,为旅游资源开发提供良好发展条件的同时,促进食用菌产业发展,获取经济效益。

关键词：食用菌农业旅游资源产业融合

在线全文

学校读者我要写书评

暂无评论

支持乱序执行的Raft协议

软件学报 2021年第6期32卷 1748-1778页

作者：谷晓松魏恒峰乔磊黄宇计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 北京控制工程研究所北京100190

PolarFS是阿里巴巴开发的分布式文件系统,它实现了分布式共识协议Raft的一种变体,称为***突破了Raft中顺序提交、顺序执行的限制,允许状态机乱序执行用户命令.然而文献表明:ParallelRaft并未开源,仅有简短的文字描述,更缺乏严格的形式... 详细信息

PolarFS是阿里巴巴开发的分布式文件系统,它实现了分布式共识协议Raft的一种变体,称为***突破了Raft中顺序提交、顺序执行的限制,允许状态机乱序执行用户命令.然而文献表明:ParallelRaft并未开源,仅有简短的文字描述,更缺乏严格的形式化规约.更进一步,它的正确性也尚未经过必要的数学论证或形式化检验.旨在为ParallelRaft提供严格的形式化规约并证明其正确性,主要贡献包括:首先,为了理清ParallelRaft与Raft之间的关系,提出了允许乱序提交、顺序执行的ParallelRaft-SE(sequential execution)协议,并建立了从ParallelRaft-SE到Multi-Paxos的精化关系;其次,现有的ParallelRaft描述忽略了可能会违反状态一致性的"幽灵日志"问题,因此在ParallelRaft-SE的基础上提出了ParallelRaft-CE(concurrent execution)协议.ParallelRaft-CE限制了ParallelRaft-SE在乱序提交阶段的并行度,避免了"幽灵日志"问题,支持乱序执行,并保证乱序执行下的状态机一致性.证明了ParallelRaft-CE的正确性.最后,使用TLA+给出了ParallelRaft-SE和ParallelRaft-CE的形式化规约,并对协议参与者数量较小的情形,使用TLC模型检验与模拟测试工具验证了从ParallelRaft-SE到Multi-Paxos的精化关系以及ParallelRaft-CE的正确性.

关键词： Raft ParallelRaft Multi-Paxos 共识协议 TLA+ 精化关系模型检验

面向SPARC处理器架构的操作系统异常管理验证

在线全文

学校读者我要写书评

暂无评论

软件学报 2021年第6期32卷 1631-1646页

作者：马智乔磊杨孟飞李少峰北京控制工程研究所北京100190 中国空间技术研究院北京100094 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 西安电子科技大学计算机科学与技术学院陕西西安710071

航天器等安全关键系统是典型的嵌入式系统,具有多任务并发、中断频发等特点.操作系统是其最基础的软件,构建一个正确的操作系统是保障航天器系统高可信运行的关键.异常管理作为操作系统最底层的功能,负责引导系统控制流的突变来响应处... 详细信息

航天器等安全关键系统是典型的嵌入式系统,具有多任务并发、中断频发等特点.操作系统是其最基础的软件,构建一个正确的操作系统是保障航天器系统高可信运行的关键.异常管理作为操作系统最底层的功能,负责引导系统控制流的突变来响应处理器状态中的某些变化,异常管理的正确性是整个操作系统正确性的基础.提出一种基于Hoare-logic的验证框架,用于证明面向SPARC处理器架构操作系统异常管理的正确性,特别针对多任务并发和中断频发实时操作系统异常嵌套与异常中发生任务切换的情况,将异常管理划分为5个阶段进行全面的形式化建模,并且在Coq证明定理辅助工具中实现了此框架.基于该框架,验证了我国北斗三号在轨实际应用的航天器嵌入式实时操作系统SpaceOS异常管理功能的正确性.

关键词：操作系统异常管理异常嵌套任务切换形式化验证

一种支持可重构混成系统的操作系统设计与实现

在线全文

学校读者我要写书评

暂无评论

计算机学报 2009年第5期32卷 1046-1054页

作者：乔磊齐骥龚育昌中国科学技术大学计算机科学技术系合肥230027

可重构硬件和指令集处理器构成的混成系统兼有运算速度高和编程灵活的优点,是近年来学术界研究的热点.已有的面向该类系统的操作系统由于受到传统抽象模型的制约,不能充分发挥可重构硬件的优势.文中在分析该类系统对操作系统的需求和已... 详细信息

可重构硬件和指令集处理器构成的混成系统兼有运算速度高和编程灵活的优点,是近年来学术界研究的热点.已有的面向该类系统的操作系统由于受到传统抽象模型的制约,不能充分发挥可重构硬件的优势.文中在分析该类系统对操作系统的需求和已有运行模型缺陷的基础上,提出了一种基于服务体/执行流模型的操作系统SEF-OSHRS.它具有统一的系统对象抽象和通信接口,并可支持控制流的直接转换,因而能充分发挥混成系统的优势.文中详细介绍了该操作系统的基本抽象、系统结构和运行方式,并通过实验结果说明了该系统的可用性和高效性.

关键词：可重构混成系统操作系统服务体执行流

在线全文

学校读者我要写书评

暂无评论

BEPC-Ⅱ新型数据存档软件系统设计

核电子学与探测技术 2017年第2期37卷 152-155页

作者：乔予思雷革中国科学院大学北京100049 中国科学高能物理研究所北京100049

介绍了BEPC-Ⅱ新型数据存档软件系统的设计和实现。该系统设有以非关系型数据库MongoDB为平台的数据采集存储引擎和一套跨平台使用的查询绘图软件,用于对存档数据进行方便、快速的查询和图形化显示。实验测试结果表明该系统具有较好的... 详细信息

介绍了BEPC-Ⅱ新型数据存档软件系统的设计和实现。该系统设有以非关系型数据库MongoDB为平台的数据采集存储引擎和一套跨平台使用的查询绘图软件,用于对存档数据进行方便、快速的查询和图形化显示。实验测试结果表明该系统具有较好的写入效率和查询性能,能够实现BEPCⅡ或其他加速器系统运行实时数据的存档、查询、绘图等功能。

关键词： Mongo DB 存档查询

在线全文

学校读者我要写书评

暂无评论

完善知识产权保护促进网络文化产业发展

东北大学学报（社会科学版） 2014年第1期16卷 18-23页

作者：毛牧然乔磊陈凡东北大学文法学院辽宁沈阳110819

知识产权保护与网络文化产业的发展处于一种持续不断的互动关系之中,表现为一种由阻碍或者不适应到促进或者适应的不断互动演进的历史过程。当前,我国网络文化产业知识产权保护所面临的问题包括:网络文化企业在实施企业知识产权战略方... 详细信息

知识产权保护与网络文化产业的发展处于一种持续不断的互动关系之中,表现为一种由阻碍或者不适应到促进或者适应的不断互动演进的历史过程。当前,我国网络文化产业知识产权保护所面临的问题包括:网络文化企业在实施企业知识产权战略方面的能力不足、网络著作权的刑法保护乏力、网络知识产权案件的司法审判质量不高、对不同过错知识产权侵权的损害赔偿责任没有区别对待。充分认识网络文化产业的特点对知识产权保护的影响,协调网络作品自由传播与共享和知识产权保护的关系,并据此采取相应的对策,就会使知识产权保护对网络文化产业的发展要求由阻碍或者不适应的情况转化为促进或者适应的情况。

关键词：知识产权保护网络文化产业产业发展