期刊文献+
共找到534篇文章
< 1 2 27 >
每页显示 20 50 100
济阳坳陷页岩油富集主控因素 被引量:40
1
作者 王勇 宋国奇 +5 位作者 刘惠民 姜秀芳 郝雪峰 宁方兴 朱德顺 林璐 《油气地质与采收率》 CAS CSCD 北大核心 2015年第4期20-25,共6页
依据页岩油储集类型、常规油气探明储量单层有效厚度、获页岩油井夹层厚度和夹层比例的分布特征,将济阳坳陷页岩油富集类型划分为基质型、裂缝型和夹层型3种,其中夹层型页岩油夹层厚度上限为2.5 m,夹层比例上限为20%。利用典型井解剖和... 依据页岩油储集类型、常规油气探明储量单层有效厚度、获页岩油井夹层厚度和夹层比例的分布特征,将济阳坳陷页岩油富集类型划分为基质型、裂缝型和夹层型3种,其中夹层型页岩油夹层厚度上限为2.5 m,夹层比例上限为20%。利用典型井解剖和数理统计相结合的方法,对不同类型页岩油富集主控因素进行了剖析。基质型页岩油富集主控因素包括岩相、储集性能、异常压力和页岩油可动性,其中富有机质纹层状泥质灰岩相和富有机质灰质泥岩相最为有利;出油井段孔隙度大于3%,且储集物性和日产油量呈明显的正相关;异常高压区内的相对低压区页岩油相对富集;S1/TOC>1层段页岩油流动性好。裂缝型页岩油富集主控因素包括岩相、裂缝发育程度和封存条件,其中纹层状岩相易形成网状缝,控制了裂缝型页岩油纵向展布;裂缝发育系数大于0.2范围内裂缝发育,裂缝型高产井主要分布在距断层距离小于1.2 km、断距大于100 m的断裂上盘;异常高压区(压力系数大于1.3)页岩油封存条件好,页岩油富集。夹层型页岩油富集主控因素包括储集物性、烃源岩排烃强度和异常压力。 展开更多
关键词 页岩油 裂缝型 基质型 夹层型 岩相 富集主控因素 济阳坳陷
下载PDF
济阳坳陷不同类型页岩油差异性分析 被引量:29
2
作者 宁方兴 《油气地质与采收率》 CAS CSCD 北大核心 2014年第6期6-9,14,共5页
济阳坳陷具备形成页岩油气的有利条件,但勘探效果不理想,亟需深入研究。为此,从划分页岩油类型入手,分析不同类型页岩油的差异性。根据页岩油的赋存空间和赋存岩石类型,可将研究区的页岩油划分为泥页岩型和夹层型页岩油2种类型;其中,泥... 济阳坳陷具备形成页岩油气的有利条件,但勘探效果不理想,亟需深入研究。为此,从划分页岩油类型入手,分析不同类型页岩油的差异性。根据页岩油的赋存空间和赋存岩石类型,可将研究区的页岩油划分为泥页岩型和夹层型页岩油2种类型;其中,泥页岩型页岩油可划分为基质型和裂缝型页岩油2个亚类,夹层型页岩油可划分为砂岩夹层型和碳酸盐岩夹层型页岩油2个亚类。提出根据裂缝发育系数划分页岩油类型的方法,将济阳坳陷裂缝发育系数大于0.2的泥页岩型页岩油确定为裂缝型页岩油,裂缝发育系数小于0.2的确定为基质型页岩油。研究区不同类型页岩油在空间分布、流体、物性、储集空间、赋存状态和产能等方面均存在差异。裂缝型页岩油和夹层型页岩油赋存于较大的储集空间,物性较好,赋存状态以游离态为主,因此裂缝型页岩油和夹层型页岩油的产能高于基质型页岩油。夹层型页岩油的储集空间小于裂缝型页岩油,气油比高,因此夹层型页岩油的产能低于裂缝型页岩油。 展开更多
关键词 页岩油 基质型 裂缝型 夹层型 差异性 裂缝发育系数 济阳坳陷
下载PDF
降香黄檀扦插繁殖技术研究 被引量:21
3
作者 施福军 俞建妹 王凌晖 《广东农业科学》 CAS CSCD 北大核心 2011年第1期50-52,共3页
以降香黄檀(Dalbergia odorifera Chen)同一枝条上4种不同部位的插条为参试材料,采用正交设计L16(45)为试验方法,通过极差分析及相关性分析,着重研究了基质类型、激素类型、激素浓度、浸泡时间、插条类型等5种因素对降香黄檀插条各生长... 以降香黄檀(Dalbergia odorifera Chen)同一枝条上4种不同部位的插条为参试材料,采用正交设计L16(45)为试验方法,通过极差分析及相关性分析,着重研究了基质类型、激素类型、激素浓度、浸泡时间、插条类型等5种因素对降香黄檀插条各生长指标的影响及其最优组合,以建立降香黄檀扦插繁殖体系。结果表明∶生根率、生根总数、插条平均根长、插条平均根粗中任意两者之间的相关性极显著;基质类型、插条类型是影响插条生根效果的重要因素;激素浓度和浸泡时间对插条生根效果的作用表现为高抑低促,因此各处理因素的最优组合为A3B3C1D2E4,即以珍珠岩为基质,基部插条用100 mg/L ABT1溶液浸泡2 h。 展开更多
关键词 降香黄檀 扦插繁殖 基质类型 插条类型 相关性分析
下载PDF
钟花樱扦插繁育研究 被引量:17
4
作者 谢金兰 张冬生 +5 位作者 陈新强 范剑明 朱昔娇 黄锦荣 陈桂琼 陈娟 《林业与环境科学》 2018年第2期96-100,共5页
比较不同基质、不同生根促进剂及其质量体积浓度、不同季节、不同修剪方式、不同插穗类型对钟花樱(Cerasus campanulata)扦插生根的影响,结果表明:扦插基质类型、生根激素种类及其质量体积浓度、扦插季节、插穗留叶面积以及插穗类型均... 比较不同基质、不同生根促进剂及其质量体积浓度、不同季节、不同修剪方式、不同插穗类型对钟花樱(Cerasus campanulata)扦插生根的影响,结果表明:扦插基质类型、生根激素种类及其质量体积浓度、扦插季节、插穗留叶面积以及插穗类型均对钟花樱扦插成活率和生根率产生显著或极显著影响,扦插基质采用黄心土最有利于生根;生根激素种类及其各浓度处理效果均显著高于清水对照,其中采用IBA以质量体积浓度2 500 mg·L^(-1)速蘸10 s处理效果最佳;于春季扦插最好;插穗留1片或半片叶片成活率及生根率远高于不留叶插穗;采用嫩枝扦插和带踵扦插优于硬枝扦插。因此钟花樱扦插宜在春季,采用修剪成1片或半片叶片带踵或嫩枝的插穗,经质量体积浓度2 500 mg·L^(-1)的IBA药液蘸10 s后扦插在黄心土上,生根效果最好。 展开更多
关键词 钟花樱 基质类型 生根剂 修剪方式 插穗类型 扦插
下载PDF
Fault-line selection and fault-type recognition in DC systems based on graph theory 被引量:17
5
作者 Yan Xu Jingyan Liu Yuan Fu 《Protection and Control of Modern Power Systems》 2018年第1期276-285,共10页
When a fault occurs in a DC system,the fault current rises rapidly with no zero-crossing point which makes fault-line selection and fault-type identification difficult.In this paper,an online detection and protection ... When a fault occurs in a DC system,the fault current rises rapidly with no zero-crossing point which makes fault-line selection and fault-type identification difficult.In this paper,an online detection and protection method based on graph theory,namely the“double D method”,is proposed for fault-line selection and fault-type identification in DC systems.In the proposed method,the entire distribution network is visualized as a“map”with vertices representing the line convergence points and edges representing the connection lines.A network topology matrix“D”is formed by detecting the current directions as the current directions are altered following a fault,whereas the current directions at the ends of non-fault lines remain the same.In order to prevent misjudgment problems arising from power flow reversal,the rates of change of the fault currents are used to further determine whether a fault has occurred and the“double D method”is introduced to identify the fault type.Simulations results with different fault types verify the effectiveness and reliability of the proposed method. 展开更多
关键词 Network topology matrix Double D method Fault-line selection Fault-type identification Graph theory
原文传递
Relationship between matrix metalloproteinase-2 mRNA expression and clinicopathological and urokinase-type plasminogen activator system parameters and prognosis in human gastric cancer 被引量:12
6
作者 FengJi Yue-LiangChen En-YunJin Wei-LinWang Zi-LiYang You-MingLi 《World Journal of Gastroenterology》 SCIE CAS CSCD 2005年第21期3222-3226,共5页
AIM: To investigate the relationship between matrix metalloproteinase-2 (MMP-2) mRNA expression and clinicopathologic and urokinase-type plasminogen activator (uPA) system parameter and prognosis in human gastric canc... AIM: To investigate the relationship between matrix metalloproteinase-2 (MMP-2) mRNA expression and clinicopathologic and urokinase-type plasminogen activator (uPA) system parameter and prognosis in human gastric cancer. METHODS: Expression of MMP-2 mRNA, uPA, and uPA-R mRNA in tumor tissues and ≥5 cm adjacent normal tissues from 67 cases of gastric cancer was studied using RT-PCR and Northern blot respectively.Survival analyses were done using the Kaplan-Meier method. RESULTS: The expression rates of MMP-2 mRNA,uPA and uPA-R mRNA in tumor tissues (31%,41%,and 51%, respectively) were significantly higher than those in ≥5 cm adjacent tissues (19%, 11%, and 9%; X2=4.59,43.58, and 53.24 respectively, P<0.05,0.0001,and 0.0001, respectively). Expression of MMP-2 mRNA was significantly correlated with lymph node metastasis (metastasis: 61.9%, no metastasis: 39.1%, X2= 7.61, P<0.05),Lauren's classification of diffuse/mixed types:54.2%,intestinal type: 26.3%,X2 = 4.25, P<0.05, expression of uPA and uPA-R mRNA (uPA+: 55.1%, uPA-: 22.2% and uPA-R+: 54.9%, uPA-R-: 18.8%, X2=5.72 and 6.40 respectively, P<0.05).Kaplan-Meier survival analysis of MMP-2 mRNA expression did not show significant difference in all 67 cases, but revealed an association of the expression of MMP-2 mRNA, uPA, and uPA-R mRNA with worse prognosis (P= 0.0083, 0.0160, and 0.0094, respectively). CONCLUSION: MMP-2 may play an important role in the development of invasion and metastasis of gastric cancer. 展开更多
关键词 Gastric cancer matrix metalloproteinase-2 Urokinase-type plasminogen activator
下载PDF
基于兴趣度与类型因子的高校图书推荐算法 被引量:16
7
作者 李澎林 洪之渊 李伟 《浙江工业大学学报》 CAS 北大核心 2019年第4期425-429,共5页
针对高校图书馆读者评分系统缺失和读者之间借阅重合率低而导致兴趣度矩阵稀疏的问题,提出了一种基于兴趣度模型与类型因子的高校图书推荐算法。该算法建立了一种读者兴趣度模型用来模拟读者对图书的偏好程度,并使用类型因子作为图书相... 针对高校图书馆读者评分系统缺失和读者之间借阅重合率低而导致兴趣度矩阵稀疏的问题,提出了一种基于兴趣度模型与类型因子的高校图书推荐算法。该算法建立了一种读者兴趣度模型用来模拟读者对图书的偏好程度,并使用类型因子作为图书相似性的权重填补兴趣度矩阵中缺失的兴趣度值,最终通过基于用户的协同过滤算法得到目标读者的Top-N推荐列表。实验表明:改进的兴趣度模型比未改进的兴趣度模型算法的推荐效果更好,而且使用类型因子权重比图书名称分词权重的推荐效果也更好。该算法为高校智慧图书馆的建立提供了理论基础。 展开更多
关键词 图书推荐 兴趣度模型 矩阵稀疏 类型因子
下载PDF
金属基复合材料的制备方法及发展现状 被引量:10
8
作者 赵鹏鹏 谭建波 《河北工业科技》 CAS 2017年第3期215-221,共7页
金属基复合材料具有较高的比强度和比刚度,广泛用于军事、航天等领域,其研究和发展受到了各行各业,尤其是重工业产业的密切关注。介绍了金属基复合材料的研究历史和发展现状,根据基体类型和增强相形态对其进行了分类。常见的金属基复合... 金属基复合材料具有较高的比强度和比刚度,广泛用于军事、航天等领域,其研究和发展受到了各行各业,尤其是重工业产业的密切关注。介绍了金属基复合材料的研究历史和发展现状,根据基体类型和增强相形态对其进行了分类。常见的金属基复合材料制备方法包括粉末冶金法、铸造凝固成型法(搅拌铸造法和挤压铸造法)、喷射成型法和原位复合法,重点介绍了粉末冶金法和铸造凝固成型法。指出了现阶段金属基复合材料发展需解决成本偏高、工艺复杂、分布不均匀、高温下易发生界面反应及偏聚等问题。 展开更多
关键词 金属基复合材料 基体类型 增强相 粉末冶金法 挤压铸造
下载PDF
Division of Matrix- and Fracture-Type Shale Oils in the Jiyang Depression and Their Differences 被引量:7
9
作者 NING Fangxing WANG Xuejun +2 位作者 HAO Xuefeng ZHU Deyan ZHU Deshun 《Acta Geologica Sinica(English Edition)》 SCIE CAS CSCD 2015年第6期1963-1972,共10页
This study discussed the division of matrix- and fracture-type shale oils in the Jiyang Depression, and proposed the concept of fracture development coefficient. The fracture development coefficient is defined as the ... This study discussed the division of matrix- and fracture-type shale oils in the Jiyang Depression, and proposed the concept of fracture development coefficient. The fracture development coefficient is defined as the ratio of fault throw to the distance between a shale oil well and the nearest fault. Based on CO_2 content, state of water, oil production and logging response of shale oil formations, the classification of shale oils was established, i.e., a fracture-type shale oil well has a fracture development coefficient greater than 0.2, while a matrix-type one has a fracture development coefficient less than 0.2. Furthermore, the key control factors of matrix- and fracture-type shale oil enrichment were analyzed using typical anatomical and statistical methods. For matrix-type shale oil enrichment, these factors are lithofacies, total organic carbon(TOC), shale porosity and abnormal pressure; for fracture-type shale oil enrichment, they are lithofacies, extent of fracture development, and abnormal pressure. This study also first described the differences between matrix- and fracture-type shale oils. The results provide reference for the exploration of terrestrial faulted basins in eastern China. 展开更多
关键词 shale oil matrix-type fracture-type main control factor ENRICHMENT difference JiyangDepression
下载PDF
Specific shRNA targeting of FAK influenced collagen metabolism in rat hepatic stellate cells 被引量:8
10
作者 Zhi-Na Dun Xiao-Lan Zhang +3 位作者 Jun-Yan An Li-Bo Zheng Robert Barrett Shu-Rui Xie 《World Journal of Gastroenterology》 SCIE CAS CSCD 2010年第32期4100-4106,共7页
AIM:To investigate the effects and mechanism of disruption of focal adhesion kinase(FAK) expression on collagen metabolism in rat hepatic stellate cells(HSC).METHODS:The plasmids expressing FAK short hairpin RNA(shRNA... AIM:To investigate the effects and mechanism of disruption of focal adhesion kinase(FAK) expression on collagen metabolism in rat hepatic stellate cells(HSC).METHODS:The plasmids expressing FAK short hairpin RNA(shRNA) were transfected into HSC-T6 cells,and the level of FAK expression was determined by both real-time quantitative polymerase chain reaction(QPCR) and Western blotting analysis.The production of type collagen and type collagen in FAK-disrupted cells was analyzed by real-time Q-PCR.The level of collagen metabolism proteins,including matrix metalloproteinases-13(MMP-13) and tissue inhibitors of metalloproteinases-1(TIMP-1) was also determined by both real-time Q-PCR and Western blotting analysis.RESULTS:The transfection of FAK shRNA plasmids into HSC resulted in disrupted FAK expression.Compared with the HK group,the levels of type collagen and type collagen mRNA transcripts in FAK shRNA plas-mid group were signif icantly decreased(0.69 ± 0.03 vs 1.96 ± 0.15,P = 0.000;0.59 ± 0.07 vs 1.62 ± 0.12,P = 0.020).The production of TIMP-1 in this cell type was also signif icantly reduced at both mRNA and protein levels(0.49 ± 0.02 vs 1.72 ± 0.10,P = 0.005;0.76 ± 0.08 vs 2.31 ± 0.24,P = 0.000).However,the expression of MMP-13 mRNA could be significantly up-regulated by the transfection of FAK shRNA plasmids into HSC(1.74 ± 0.20 vs 1.09 ± 0.09,P = 0.000).CONCLUSION:These data support the hypothesis that shRNA-mediated disruption of FAK expression could attenuate extracellular matrix(ECM) synthesis and promote ECM degradation,making FAK a potential target for novel anti-f ibrosis therapies. 展开更多
关键词 Focal adhesion kinase Hepatic stellate cells matrix metalloproteinases RNA interference type collagen Tissue inhibitors of metallo-proteinases
下载PDF
厌氧氨氧化菌混培物保藏方法的研究 被引量:9
11
作者 汪彩华 郑平 +1 位作者 蔡靖 陈婷婷 《中国环境科学》 EI CAS CSCD 北大核心 2013年第8期1474-1482,共9页
厌氧条件下,采用了4℃以(NH4)2SO4为保藏基质、自然环境温度以(NH4)2SO4为保藏基质、4℃用NH4Cl代替(NH4)2SO4作为保藏基质3种方法保藏厌氧氨氧化菌混培物.结果表明,4℃以(NH4)2SO4为保藏基质的方法保藏厌氧氨氧化菌混培物最有效,但自... 厌氧条件下,采用了4℃以(NH4)2SO4为保藏基质、自然环境温度以(NH4)2SO4为保藏基质、4℃用NH4Cl代替(NH4)2SO4作为保藏基质3种方法保藏厌氧氨氧化菌混培物.结果表明,4℃以(NH4)2SO4为保藏基质的方法保藏厌氧氨氧化菌混培物最有效,但自然环境温度以(NH4)2SO4为保藏基质的方法保藏厌氧氨氧化菌混培物最经济;在保藏试验的5个月内,3种保藏方法下的厌氧氨氧化活性均先快速下降后趋于稳定,趋于稳定时的活性保留率分别为75.3%,66.3%和47.3%;恶劣的生存环境下,胞外多聚物不仅可维持厌氧氨氧化菌混培物颗粒结构的稳定性,还可使菌群聚集成团从而增大菌群密度以减少代谢过程中的能量损失;无外界颜色干扰时,厌氧氨氧化菌混培物颜色由血红素c含量决定,且与活性直接相关. 展开更多
关键词 厌氧氨氧化菌混培物 温度 基质种类 保藏性能
下载PDF
HTI介质饱和流体特性和裂缝密度对方位反射系数的影响 被引量:9
12
作者 李春鹏 印兴耀 张峰 《石油物探》 EI CSCD 北大核心 2013年第1期1-10,4,共10页
结合等效介质理论和Thomsen裂缝理论构建了饱和流体HTI介质弹性矩阵并推导出HTI介质弹性波反射/透射方程,基于该方程讨论了流体类型及裂缝密度对方位反射系数的影响。模型试算结果表明:下伏HTI介质饱含气和饱含水之间的方位反射系数差... 结合等效介质理论和Thomsen裂缝理论构建了饱和流体HTI介质弹性矩阵并推导出HTI介质弹性波反射/透射方程,基于该方程讨论了流体类型及裂缝密度对方位反射系数的影响。模型试算结果表明:下伏HTI介质饱含气和饱含水之间的方位反射系数差异比饱含油和饱含水之间的明显,饱含气和饱含水反射系数的差异随着入射角增大而增大,随方位角增大而减小;裂缝密度越大反射系数越小,不同裂缝密度的反射系数差异随着入射角和方位角增大而增大。研究结果为利用方位地震反射特征检测裂缝密度和流体性质提供了理论依据。 展开更多
关键词 HTI介质 弹性矩阵 反射 透射方程 流体类型 裂缝密度
下载PDF
厌氧共代谢分解难降解有机物的研究进展 被引量:8
13
作者 王伟 潘尚磊 +2 位作者 张静 王顺 沈俊 《环境科学与技术》 CAS CSCD 北大核心 2014年第6期78-82,共5页
文章介绍了厌氧共代谢的提出、作用机制、调控研究及应用现状,从共代谢技术的基质类型、菌群结构和代谢途径三方面综述了国内外有关厌氧共代谢作用机制的研究现状、发展趋势,并着重分析了厌氧共代谢的调控技术和应用情况,展望了厌氧共... 文章介绍了厌氧共代谢的提出、作用机制、调控研究及应用现状,从共代谢技术的基质类型、菌群结构和代谢途径三方面综述了国内外有关厌氧共代谢作用机制的研究现状、发展趋势,并着重分析了厌氧共代谢的调控技术和应用情况,展望了厌氧共代谢技术的未来研究方向,为解决难降解有机污染物的治理瓶颈提供借鉴和参考。 展开更多
关键词 厌氧 共代谢 难降解有机污染物 基质类型 调控
下载PDF
利用辛空间上子空间构作(d,r;z]-disjunct矩阵 被引量:7
14
作者 高建平 《数学的实践与认识》 CSCD 北大核心 2011年第13期253-256,共4页
一个(d,r;z]-disjunct矩阵在许多领域有着极为广泛的应用.利用辛空间上m维(m,s)型子空间的性质构作了(d,r;z]-disjunct矩阵,并利用子空间的计数定理计算了它的参数.
关键词 辛空间 (m s)型子空间 (d r z]-disjunct矩阵
原文传递
Effects of angiopoietin-1 on attachment and metastasis of human gastric cancer cell line BGC-823 被引量:6
15
作者 Xi-Long Ou Hui-Juan Chen +5 位作者 Wei-Hao Sun Cheng Hang Liu Yang Yun-Yan Guan Fang yan Bao-An Chen 《World Journal of Gastroenterology》 SCIE CAS CSCD 2009年第43期5432-5441,共10页
AIM: To evaluate the effects of angiopoietin-1 (Ang-1) on adhesion of gastric cancer cell line BGC-823 and expression of integrin β1, CD44V6, urokinase-type plasminogen activator (uPA) and matrix metalloproteina... AIM: To evaluate the effects of angiopoietin-1 (Ang-1) on adhesion of gastric cancer cell line BGC-823 and expression of integrin β1, CD44V6, urokinase-type plasminogen activator (uPA) and matrix metalloproteinase-2 (MMP-2). METHODS: BGC-823 cells were transfected transiently with adenovirus-Ang-1 (Ad-Ang-1). Cells transfected transiently with adenovirus-green fluorescent protein (Ad-GFP) and untransfected cells were used as a negative and blank control group, respectively. The cell adhesion rate between cell and extracellular matrix (ECM) was determined by cell adhesion assay. To investigate whether Ang-1 could reinforce gastric carcinoma metastasis, we performed migration and invasion assays in BGC-823 cells. The mRNA and protein expression of integrin β1, CD44V6, uPA and MMP-2 were detected by reverse transcription polymerase chain reaction and Western blotting, respectively. The expression of integrin β1 and CD44V6 was measured by immunohistochemistry. RESULTS: BGC-823 cells were transfected successfully. The adhesion rate increased significantly in the Ad-Ang-1 group (P 〈 0.05). The Ad-Ang-1-transfected group had a significant increase in migration and invasion compared with that of the mock-transfected and Ad-GFP groups. The mRNA and protein expression of integrin β1, CD44V6, uPA and MMP-2 in the Ad- Ang-1 group was higher than that in the Ad-GFP and blank control groups (P 〈 0.05). Compared with mocktransfected and Ad-GFP groups, integrin 131 and CD44V6 expression intensity greatly increased (P 〈 0.05). CONCLUSION: Transfection of Ang-1 into human gastric cancer cell line BGC-823 can significantly increase expression of integrin β1 and CD44V6, by which cell adhesion and metastasis to the ECM are promoted. 展开更多
关键词 ANGIOPOIETIN-1 CD44V6 Cell adhesion Gastric cancer Integrin β1 matrix metaUoproteinase-2 Neoplasm metastasis Urokinase-type plasminogen activator
下载PDF
基于Coq记录的矩阵形式化方法 被引量:5
16
作者 马振威 陈钢 《计算机科学》 CSCD 北大核心 2019年第7期139-145,共7页
矩阵在工程系统中有广泛的应用,矩阵运算的正确性对工程系统的可靠性有重要影响。Coq是一种基于带类型λ演算的功能强大的高阶定理证明器。虽然Coq类型系统能够很好地描述可变大小的动态数据类型,但是对于固定大小的类似向量和矩阵的数... 矩阵在工程系统中有广泛的应用,矩阵运算的正确性对工程系统的可靠性有重要影响。Coq是一种基于带类型λ演算的功能强大的高阶定理证明器。虽然Coq类型系统能够很好地描述可变大小的动态数据类型,但是对于固定大小的类似向量和矩阵的数据类型,其缺乏满意的描述机制。Coq库中也没有向量库或矩阵库,因此在使用Coq来对涉及矩阵的定理或算法进行形式化验证时十分复杂。针对这些问题,文中提出了一种基于Record类型的矩阵实现方法并定义了一组基本的矩阵函数,证明了它们的基本性质。基于文中提供的矩阵类型和相关引理可以比较轻松地完成飞行控制转换矩阵的验证。同其他矩阵实现方法相比,所提方法不仅在实现上相对简洁,在使用上也更加简单、方便。 展开更多
关键词 COQ 矩阵 形式化验证 定理证明 记录类型
下载PDF
芬太尼透皮贴剂从储池型更换为骨架型的临床观察 被引量:4
17
作者 马文杰 赵曙 刘洋 《实用疼痛学杂志》 2009年第3期181-182,共2页
目的观察芬太尼透皮贴剂从储池型更换为骨架型,其止痛作用和副反应有无变化。方法2007年11月至2007年12月,观察了40例患者在更换芬太尼透皮贴剂剂型前后的变化,按每储池型2.5 mg更换为骨架型4.2 mg计算药物剂量,疼痛程度用11分数字量表... 目的观察芬太尼透皮贴剂从储池型更换为骨架型,其止痛作用和副反应有无变化。方法2007年11月至2007年12月,观察了40例患者在更换芬太尼透皮贴剂剂型前后的变化,按每储池型2.5 mg更换为骨架型4.2 mg计算药物剂量,疼痛程度用11分数字量表(NRS)评估。结果使用储池型芬太尼透皮贴剂同更换为骨架型芬太尼透皮贴剂前后对比患者疼痛控制均良好,无明显不同,便秘、恶心、呕吐、呼吸抑制等发生率及严重程度无明显差别,但皮肤耐受性、黏合性、贴用舒适度骨架型要好于储池型。结论骨架型芬太尼透皮贴剂同储池型芬太尼透皮贴剂止痛效果相当,不良反应更易耐受。 展开更多
关键词 芬太尼透皮贴剂 储池型 骨架型
原文传递
基于P-SV波反射系数的裂缝型致密储层流体识别
18
作者 窦喜英 王恩利 《科技创新与应用》 2024年第35期1-11,共11页
低频条件下的等效孔隙裂缝模型更贴合实际地下裂缝型致密储层介质。借助线性滑动模型与等效孔隙裂缝介质模型的等价关系,推导出基质孔隙度、裂缝密度、填充流体与等效孔隙裂缝介质P-SV波反射系数的直接显示函数关系,并进行归一化处理后... 低频条件下的等效孔隙裂缝模型更贴合实际地下裂缝型致密储层介质。借助线性滑动模型与等效孔隙裂缝介质模型的等价关系,推导出基质孔隙度、裂缝密度、填充流体与等效孔隙裂缝介质P-SV波反射系数的直接显示函数关系,并进行归一化处理后开展各向同性介质/等效孔隙裂缝介质双层模型的方位AVO特征数值模拟。模拟结果表明,3类AVO等效孔隙裂缝介质中,水饱和状态下归一化P-SV波反射系数对裂缝密度的敏感性均高于气饱和状态,2种饱和状态间的反射系数随裂缝密度变化而变化的差异从大到小依次为AVOⅢ、AVOⅡ和AVOⅠ等效孔隙裂缝介质;而基质孔隙度变化对AVOⅠ和AVOⅡ等效孔隙介质中气、水饱和状态的反射系数产生的变化差异很小,但在AVOⅢ等效孔隙裂缝介质中差异非常明显,说明基质孔隙度只对该类型介质中的流体敏感。 展开更多
关键词 P-SV波反射系数 方位AVO分析 裂缝密度 基质孔隙度 流体类型
下载PDF
MMP-9对1型糖尿病肾病早期诊断的意义 被引量:4
19
作者 王广利 杨毅华 +1 位作者 洪楷 杨贤明 《国际检验医学杂志》 CAS 2013年第5期526-529,共4页
目的探讨基质金属蛋白酶-9(MMP-9)在1型糖尿病(T1DM)患者血、尿中的水平及对糖尿病肾病(DN)早期诊断的价值。方法根据尿清蛋白肌酐比(UACR)将58例T1DM分为3组:UACR正常组(A组)、UACR轻度增高组(B组)、UACR重度增高组(C组)。30例健康体... 目的探讨基质金属蛋白酶-9(MMP-9)在1型糖尿病(T1DM)患者血、尿中的水平及对糖尿病肾病(DN)早期诊断的价值。方法根据尿清蛋白肌酐比(UACR)将58例T1DM分为3组:UACR正常组(A组)、UACR轻度增高组(B组)、UACR重度增高组(C组)。30例健康体检者作为对照组(ND组)。测定血清和尿液中MMP-9水平,检测血糖化血红蛋白(HbA1c)、胱抑素C(CysC)、C反应蛋白(CRP)、血脂水平,测量血压、身高、体质量、腰围、臀围并计算体质量指数(BMI)、腰臀比(WHR)等相关指标。结果 T1DM组尿MMP-9(UMMP-9)水平比对照组高(P<0.05),UMMP-9及经尿肌酐校正后的UMMP-9(UMMP-9:Cr)水平均为ND组<A组<B组<C组,组间比较差异有统计学意义(P<0.01)。T1DM组血MMP-9(SMMP-9)水平与对照组相比差异无统计学意义(P>0.05)。结论 UMMP-9水平在糖尿病正常蛋白尿时已显著升高,且与肾损害程度呈正相关。定期监测UMMP-9的变化有助于DN的早期诊断。 展开更多
关键词 糖尿病肾病 基质金属蛋白酶 糖尿病 1型 早期诊断
下载PDF
涂层刀具高速铣削碳纤维复合材料的铣削力研究 被引量:4
20
作者 王志超 林有希 林华 《工具技术》 北大核心 2017年第8期34-36,共3页
由于碳纤维复合材料(CFRP)的各向异性,纤维的铺层方向对其整体性能有重要的影响。本文采用斜角自由切削方法对具有12种不同纤维方向的T800、T700和T300碳纤维复合材料的切削力进行了试验研究,得出了CFRP单向层合板在不同基体类型和不同... 由于碳纤维复合材料(CFRP)的各向异性,纤维的铺层方向对其整体性能有重要的影响。本文采用斜角自由切削方法对具有12种不同纤维方向的T800、T700和T300碳纤维复合材料的切削力进行了试验研究,得出了CFRP单向层合板在不同基体类型和不同纤维方向下切削力的变化规律,并分析了纤维结构对切削力的影响机理。结果表明:基体类型对切削力的影响均匀稳定,无方向性;纤维方向对切削力的影响具有显著的方向性,对切削力影响的强弱关系为F_X>F_Z>F_Y。 展开更多
关键词 碳纤维复合材料 纤维方向 基体类型 切削力
下载PDF
上一页 1 2 27 下一页 到第
使用帮助 返回顶部