期刊文献+
共找到5,128篇文章
< 1 2 250 >
每页显示 20 50 100
Analysis on the causes of massive stranding of Yellow Sea green tide on Lianyungang and Rizhao coasts in 2022
1
作者 Lingjuan WU Juan HUANG +9 位作者 Yi DING Guiyan LIU Shuai HUANG Song GAO Chao YUAN Jiangling XU Ping WU Rui HUANG Ruobing WEN Jie MEI 《Journal of Oceanology and Limnology》 SCIE CAS CSCD 2024年第3期816-830,共15页
In 2022,Yellow Sea green tide caused by Ulva prolifera reached a historic minimum and the coastal areas of Shandong Peninsula were less affected.However,the largest amount of seaweed biomass has been washed ashore on ... In 2022,Yellow Sea green tide caused by Ulva prolifera reached a historic minimum and the coastal areas of Shandong Peninsula were less affected.However,the largest amount of seaweed biomass has been washed ashore on Lianyungang and Rizhao coasts since 2015.We studied the development pattern of Yellow Sea green tide in 2022,and analyzed the key environmental factors on the growth and drifting,then discussed the possible reasons that resulted in the massive stranding of green tide biomass in Lianyungang and Rizhao.Results show under the combined influence of the east to southeast winds and currents with shoreward anomalies,green tide drifted to the coastal waters between Shandong and Jiangsu provinces and the distribution areas located westward compared with previous years(2008–2021).Floating U.prolifera rafts from the coastal waters of Binhai and Sheyang drifted continuously into the coastal waters of Lianyungang and Rizhao,providing important supplements for Yellow Sea green tide.Because green tide in 2022 distributed close to the coastal waters,the abundant nutrients might support their continuous high growth rate.In addition,the amount of rainfall around Shandong Peninsula from late June to early July were significantly higher than in previous years,which might promote the development of green tide to some extent. 展开更多
关键词 Yellow Sea green tide stranding biomass development pattern environmental factor
下载PDF
Effects of Fluorescent Pair on the Kinetics of DNA Strand Displacement Reaction
2
作者 Chengxu Li Shiyan Xiao Haojun Liang 《Chinese Journal of Chemical Physics》 SCIE EI CAS CSCD 2024年第5期679-684,I0094-I0098,I0101,共12页
Fluorescent labels are widely used in the characterizations of DNA-based reaction network operations.We systematically studied the effects of commonly used fluorescent pairs on thermal stabilities of signal-substrate ... Fluorescent labels are widely used in the characterizations of DNA-based reaction network operations.We systematically studied the effects of commonly used fluorescent pairs on thermal stabilities of signal-substrate duplex and the strand displacement kinetics.It is demonstrated that the modifications of duplex with fluorescent pairs stabilize DNA duplex by up to 3.5℃,and the kinetics of DNA strand displacement circuit is also evidently slowed down.These results highlight the importance of fluorescent pairs towards the kinetic modulation in designing nucleic acid probes and complex DNA dynamic circuits. 展开更多
关键词 DNA strand displacement Fluorescent label KINETICS Thermodynamic property
下载PDF
基于Strand空间的认证协议证明方法研究 被引量:5
3
作者 刘东喜 白英彩 《软件学报》 EI CSCD 北大核心 2002年第7期1313-1317,共5页
Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方法证明了认证属性.通过在该模型中引入消息类型检查机制,简化了证明过程.并将该方法应用到包含三方主体的... Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方法证明了认证属性.通过在该模型中引入消息类型检查机制,简化了证明过程.并将该方法应用到包含三方主体的认证协议.最后得出与相关文献相同的结论. 展开更多
关键词 strand空间 认证协议 协议证明 形式化方法 密码 信息安全
下载PDF
外包钢板加固震损钢绞线-钢筋混凝土剪力墙抗震性能试验研究
4
作者 袁维光 赵军 孙玉平 《建筑结构》 北大核心 2025年第1期73-78,共6页
基于震后建筑结构快速修复并投入使用的需求,提出了外包钢板加固震损钢绞线-钢筋混凝土剪力墙的方法。设计并制作了2个足尺的钢绞线-钢筋混凝土剪力墙,先通过拟静力试验模拟了其在罕遇地震作用下的预损伤,在此预震损的基础上,采用外包... 基于震后建筑结构快速修复并投入使用的需求,提出了外包钢板加固震损钢绞线-钢筋混凝土剪力墙的方法。设计并制作了2个足尺的钢绞线-钢筋混凝土剪力墙,先通过拟静力试验模拟了其在罕遇地震作用下的预损伤,在此预震损的基础上,采用外包钢板对钢绞线-钢筋混凝土剪力墙进行加固,然后再次进行低周往复加载试验,研究其抗震性能和可恢复性能。试验结果表明:修复加固后试件的水平荷载仍能随其侧向变形的增大而持续增加,表现出较好的正刚性,在大震作用下采用外包钢板修复加固后剪力墙的承载能力和变形能力分别提高约3%和15%,轴压比较高时外包钢板加固效果更好;在位移角达到2%前,修复加固后的试件与原试件的残余变形曲线基本重合,且残余变形小于0.5%,具有良好的自复位能力。 展开更多
关键词 钢绞线-钢筋混凝土剪力墙 外包钢板 拟静力试验 抗震性能 残余变形
下载PDF
基于Strand Space的移动计算安全协议设计与正确性证明 被引量:1
5
作者 许峰 高晓春 黄皓 《计算机科学》 CSCD 北大核心 2008年第11期74-77,184,共5页
安全协议对移动计算的安全性质起着决定作用。根据移动计算网络环境的特点,参照安全协议设计准则,以移动银行应用为背景设计了一个移动计算安全协议——MB协议,并基于Strand空间理论给出了正确性证明。
关键词 串空间 安全协议 形式化分析 密码体制 移动计算
下载PDF
原核表达dsRNA-StPPO发酵工艺优化及应用
6
作者 余金兰 何倩 +2 位作者 李欣茹 谭红晓 路来风 《食品与发酵工业》 北大核心 2025年第2期59-67,共9页
RNA干扰(RNA interference,RNAi)是由双链RNA(double-stranded RNA,dsRNA)诱发的、同源mRNA高效特异性降解的现象,引发细胞内同源靶基因特异性抑制或沉默。RNAi技术已应用在害虫防治、抑菌、抗病毒等多个领域,但在控制农产品品质劣变中... RNA干扰(RNA interference,RNAi)是由双链RNA(double-stranded RNA,dsRNA)诱发的、同源mRNA高效特异性降解的现象,引发细胞内同源靶基因特异性抑制或沉默。RNAi技术已应用在害虫防治、抑菌、抗病毒等多个领域,但在控制农产品品质劣变中应用较少。该研究以大肠杆菌RNaseⅢ缺陷型菌株HT115(DE3)为发酵平台,以L4440载体为骨架构建重组载体,进行马铃薯多酚氧化酶StPPO编码基因的dsRNA表达与发酵条件优化,并进行dsRNA-StPPO生物学功能验证。结果表明,异丙基硫代半乳糖苷(isopropyl thiogalactoside,IPTG)诱导剂浓度为0.6 mmol/L,诱导时间为6 h,外加酵母浸粉0.48%,温度为39℃,装瓶量为45 mL/250 mL,转速为189 r/min时,目标dsRNA的产量最高,达3.95μg/mL。浸泡dsRNA-StPPO溶液后,处理组鲜切马铃薯较对照组有较高的L、较低的a和褐变指数,且组织中的多酚氧化酶酶活力较低,说明施用dsRNA-StPPO可以抑制马铃薯polyphenol oxidase StPPO基因表达有效控制鲜切褐变现象。 展开更多
关键词 大肠杆菌 双链RNA 外源施用 鲜切褐变 多酚氧化酶
下载PDF
成都天府绿道跨成昆铁路斜拉桥设计
7
作者 赵彬 王美馨 +1 位作者 郑爱华 李科 《世界桥梁》 北大核心 2025年第1期22-28,共7页
成都天府绿道跨成昆铁路桥为(29.98+37.6+41.3+173.88)m独塔双索面斜拉桥,采用塔墩梁固结体系。桥塔采用水滴形钢筋混凝土塔,高95 m,与锦城湖水交相呼应,形态挺拔修长,线条简约柔美。预应力混凝土主梁采用单箱双室截面,外轮廓为带切角矩... 成都天府绿道跨成昆铁路桥为(29.98+37.6+41.3+173.88)m独塔双索面斜拉桥,采用塔墩梁固结体系。桥塔采用水滴形钢筋混凝土塔,高95 m,与锦城湖水交相呼应,形态挺拔修长,线条简约柔美。预应力混凝土主梁采用单箱双室截面,外轮廓为带切角矩形,兼顾美观、降低风阻、增强横向抗弯刚度和抗扭刚度等需求。斜拉索采用环氧涂层平行钢绞线拉索,便于塔内狭小空间的架设工作。转体结构主要由下转盘、球铰、上转盘、转体牵引系统等组成。施工时在支架上现浇转体梁段,主梁平面转体就位后与主跨梁端支架现浇段合龙,转体时边跨侧、主跨侧主梁悬臂长度分别为111.48 m和166.3 m,悬臂总长277.78 m。采用MIDAS Civil软件建立全桥有限元模型,进行施工阶段和持久状况的静力、稳定性计算,结果满足规范要求。 展开更多
关键词 斜拉桥 转体施工 不对称孔跨 水滴形桥塔 预应力混凝土箱梁 钢绞线斜拉索 桥梁设计
下载PDF
蛋白质中strand-loop-strand模体的分类 被引量:1
8
作者 高苏娟 胡秀珍 《内蒙古工业大学学报(自然科学版)》 2009年第1期24-30,共7页
从蛋白质一级序列出发,以氨基酸紧邻关联为参数,用离散量的方法,采用5交叉检验,对蛋白质中的strand-loop-strand模体进行了分类.文中使用了两个数据库,采用了不同的截取方式和序列模式长,均得到了较好的预测效果.
关键词 离散量 离散增量 蛋白质超二级结构 strand-loop-strand模体
下载PDF
安全协议分析的界——综合模型检查与Strand Spaces(英文)
9
作者 刘怡文 李伟琴 《中国科学院研究生院学报》 CAS CSCD 2002年第3期288-294,共7页
Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,... Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,提出了一种综合分析方法来验证协议的安全特性,该方法可充分发挥模型检查与 Strand Spaces二者的优势. 展开更多
关键词 安全协议分析 模型检查 strand SPACES 定理证明 机器证明 安全特性 网络安全
下载PDF
基于Strand空间分析具有类型缺陷的认证协议
10
作者 任侠 吕述望 《中国科学院研究生院学报》 CAS CSCD 2004年第4期543-548,共6页
通过去除Strand空间中的强类型抽象假设 ,引入Strand模板的概念与一个入侵者的伪操作 ,进而利用认证测试方法 ,实现了对具有类型缺陷的认证协议的直接分析 .
关键词 strand空间 认证协议 强类型抽象 类型缺陷 认证测试
下载PDF
高致病性猪繁殖与呼吸综合征病毒strand-specific荧光定量RT-PCR检测方法的建立
11
作者 杨莘 周艳君 +3 位作者 单同领 姜一峰 童武 童光志 《中国预防兽医学报》 CAS CSCD 北大核心 2014年第11期872-876,共5页
为了解高致病性猪繁殖与呼吸综合征病毒(PRRSV)的复制和转录机制,准确定量其在复制过程中基因组不同类型RNA(v RNA和c RNA)的含量,本研究根据PRRSV基因组Nsp12基因设计含有链特异性标签的特异性引物,建立了一种针对病毒基因组不同链RNA... 为了解高致病性猪繁殖与呼吸综合征病毒(PRRSV)的复制和转录机制,准确定量其在复制过程中基因组不同类型RNA(v RNA和c RNA)的含量,本研究根据PRRSV基因组Nsp12基因设计含有链特异性标签的特异性引物,建立了一种针对病毒基因组不同链RNA的strand-specific荧光定量RT-PCR方法。结果表明,以重组质粒标准品构建的标准曲线在101拷贝/μL^107拷贝/μL范围内具有良好的线性关系,对v RNA和c RNA的检测下限为7.40拷贝/μL和6.52拷贝/μL,能够特异性的区分病毒复制过程中产生的v RNA链和c RNA链,具有很高的特异性、灵敏性和重复性。HP-PRRSV感染MARC-145细胞后不同时间段检测v RNA和c RNA含量显示,病毒不同链RNA含量在感染过程中持续增加,v RNA和c RNA含量在感染后24 h约为7.0×107拷贝/μL和7.2×106拷贝/μL。本研究建立的方法可以用于区分和定量PRRSV在复制过程中产生的不同链RNA,为研究病毒的复制和致病机理提供了一种有效的检测手段。 展开更多
关键词 猪繁殖与呼吸综合征病毒 strand-specific荧光定量RT-PCR 不同链RNA
下载PDF
基于Strand模型的Needham-Schroeder协议分析
12
作者 贾立伟 周清雷 赵东明 《微计算机信息》 北大核心 2008年第27期37-39,共3页
Strand空间模型是一种安全协议分析模型,使用图的形式来描述协议,证明协议的正确性。通过分析研究,本文建立了攻击者模型,并在此基础上运用安全协议的形式化分析方法—Strand空间模型,对公开密钥协议NSPK进行了分析,说明了该方法进行协... Strand空间模型是一种安全协议分析模型,使用图的形式来描述协议,证明协议的正确性。通过分析研究,本文建立了攻击者模型,并在此基础上运用安全协议的形式化分析方法—Strand空间模型,对公开密钥协议NSPK进行了分析,说明了该方法进行协议分析的过程,证明了该协议在保密性和认证性方面的正确性,并分析了该协议存在的安全缺陷。 展开更多
关键词 串空间 攻击者模型 形式化分析 安全协议
下载PDF
基于Strand Space模型的CCITT X.509协议分析 被引量:4
13
作者 蒋睿 李建华 潘理 《上海交通大学学报》 EI CAS CSCD 北大核心 2004年第z1期169-173,共5页
运用前沿的安全协议形式化分析方法——StrandSpace模型理论,对CCITTX.509协议进行了分析,指出了该协议在保密性和认证正确性方面的缺陷,得到了BAN逻辑分析没有得到的保密性缺陷和相同的认证正确性缺陷.同时提出了改进的X.509协议,并用S... 运用前沿的安全协议形式化分析方法——StrandSpace模型理论,对CCITTX.509协议进行了分析,指出了该协议在保密性和认证正确性方面的缺陷,得到了BAN逻辑分析没有得到的保密性缺陷和相同的认证正确性缺陷.同时提出了改进的X.509协议,并用StrandSpace模型论证了改进协议的保密性和认证正确性. 展开更多
关键词 strand Space模型 安全协议 形式化方法 CCITT X.509
下载PDF
论英语中pied piping和preposition stranding的标记值判定
14
作者 唐承贤 《南京航空航天大学学报(社会科学版)》 2010年第4期71-75,共5页
英语pied piping(介词随伴)和preposition stranding(介词后吊)这两个结构的标记值判定是学术界存有争议的一个问题。一般而言,语言结构的标记值判定可遵循频率和历时这两条标准。频率标准分为文本频率和跨语言频率两个标准,前者通常用... 英语pied piping(介词随伴)和preposition stranding(介词后吊)这两个结构的标记值判定是学术界存有争议的一个问题。一般而言,语言结构的标记值判定可遵循频率和历时这两条标准。频率标准分为文本频率和跨语言频率两个标准,前者通常用以判定语言特有的标记值,而后者是用来判定跨语言的标记普遍性。两者判定的结果如果不同可以并存,但不能相互替代。另外,从历时的角度看,语言的标记值不是固定不变的,而是随语言的发展而发生转移。因此,评价个别语言的标记值时就不能套用跨语言的标记评价标准,而只能根据个别语言在特定时期所特有的语言事实予以指派。 展开更多
关键词 介词随伴 介词后吊 标记值判定
下载PDF
顶进框架桥技术在多股道铁路线施工中的应用
15
作者 曾国志 《科学技术创新》 2025年第6期113-116,共4页
下穿架空顶进框架桥技术,在既有铁路、公路等项目上运用广泛,它相对于原位现浇法施工具有明显的优势,如可以缩短施工工期,还不会因为施工导致既有铁路停运等带来的巨大经济损失。本文对下穿顶进框架桥在跨多股道既有铁路线施工中遇到的... 下穿架空顶进框架桥技术,在既有铁路、公路等项目上运用广泛,它相对于原位现浇法施工具有明显的优势,如可以缩短施工工期,还不会因为施工导致既有铁路停运等带来的巨大经济损失。本文对下穿顶进框架桥在跨多股道既有铁路线施工中遇到的技术难题进行研究,为类似施工的工程提供参考。 展开更多
关键词 下穿框架桥 跨多股道既有铁路 顶进施工
下载PDF
Strand空间中基于安全密钥概念的证明思路之我见
16
作者 魏少峰 张颖 《无线互联科技》 2013年第3期101-101,167,共2页
一种基于安全密钥证明Strand空间模型新思路,从安全密钥的概念着手,在理想概念证明法的基础上得到预备结论,证明协议的认证属性及秘密属性。
关键词 strand空间模型 安全密钥 安全协议 理想概念
下载PDF
Strand空间中基于安全密钥概念的证明思路 被引量:1
17
作者 任侠 吕述望 《通信学报》 EI CSCD 北大核心 2005年第2期29-34,共6页
提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从... 提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三方认证协议的证明,并且它还使得证明过程简洁而直观。 展开更多
关键词 计算机科学技术基础学科 安全协议证明 strand空间模型 安全密钥 理想概念
下载PDF
Design and Modeling on Stranded Wires Helical Springs 被引量:8
18
作者 ZHOU Jie WANG Shilong +1 位作者 KANG Ling CHEN Tianyi 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2011年第4期626-637,共12页
A stranded wires helical spring is formed of a multilayer and coaxial strand of several wires twisted together with the same direction of spiral. Compared with the conventional single wire spring, the stranded wires h... A stranded wires helical spring is formed of a multilayer and coaxial strand of several wires twisted together with the same direction of spiral. Compared with the conventional single wire spring, the stranded wires helical spring has the notable predominance in strength, damping and vibration reduction, which is usually used in aircraft engines, automatic weapons, etc. However, due to its complicated structure, the precise computation of its strength and rigidity need be a correct mathematical model, which then will be imported to finite element analysis software for solutions. Equations on solving geometric parameters, such as external diameters of strands and screw pitches of wires, are put forward in the paper. It also proposes a novel methodology on solving geometric parameters and establishing entity models of the stranded wires helical spring, which provides foundation of computing mechanical parameters by FEA. Then mathematical models on the centre line of the strand and the surface curve of each wire, after closing two ends in a spring, are proposed. Finally, geometric parameters are solved in a case study, and a 3D entity model of a spring with 3 layers and 16 wires is established, which has validated the accuracy of the proposed methodology and the 3D entity mathematical model. The method provides a new way to design stranded wire helical spring. 展开更多
关键词 stranded wires helical spring mathematical model finite element analysis closing ends
下载PDF
Temperature Dependence of Ultrasonic Longitudinal Guided Wave Propagation in Long Range Steel Strands 被引量:6
19
作者 LIU Zenghua ZHAO Jichen WU Bin HE Cunfu 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2011年第3期487-494,共8页
Ultrasonic guided wave inspection is an effective non-destructive testing method which can be used for stress level evaluation in steel strands.Unfortunately the propagation velocity of ultrasonic guided waves changes... Ultrasonic guided wave inspection is an effective non-destructive testing method which can be used for stress level evaluation in steel strands.Unfortunately the propagation velocity of ultrasonic guided waves changes due to temperature shift making the prestress measurement of steel strands inaccurate and even sometimes impossible.In the course of solving the problem,this paper reports on quantitative research on the temperature dependence of ultrasonic longitudinal guided wave propagation in long range steel strands.In order to achieve the generation and reception of a chosen longitudinal mode in a steel strand with a helical shaped surface,a new type of magnetostrictive transducer was developed,characterized by a group of thin clips and three identical permanent magnets.Excitation and reception of ultrasonic guided waves in a steel strand were performed experimentally.Experimental results shows that in the temperature range from-4 ℃ to 34 ℃,the propagation velocity of the L(0,1) mode at 160 kHz linearly decreased with increasing temperature and its temperature dependent coefficient was 0.90(m·s-1 ·(℃)-1) which is very close to the theoretical prediction.The effect of dimension deviation between the helical and center wires and the effect of the thermal expansion of the steel strand on ultrasonic longitudinal guided wave propagation were also analyzed.It was found that these effects could be ignored compared with the change in the material mechanical properties of the steel strands due to temperature shift.It was also observed that the longitudinal guided wave mode was somewhat more sensitive to temperature changes compared with conventional ultrasonic waves theoretically.Therefore,it is considered that the temperature effect on ultrasonic longitudinal guided wave propagation in order to improve the accuracy of stress measurement in prestressed steel strands.Quantitative research on the temperature dependence of ultrasonic guided wave propagation in steel strands provides an important basis for the compensation of temperature effects in stress measurement in steel strands by using ultrasonic guided wave inspection. 展开更多
关键词 steel strand ultrasonic guided waves MODE temperature coefficient magnetostrictive transducer
下载PDF
Experimental investigation on flow characteristics in circular tube inserted with rotor-assembled strand using PIV 被引量:4
20
作者 Lichen He Weimin Yang +3 位作者 Changfeng Guan Hua Yan Lin Zheng Xiahua Zuo 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2019年第1期1-9,共9页
Rotor-assembled strand works as a typical tube insert to achieve heat transfer augmentation and scale inhibition in a heat exchanger.In this work, the PIV experiment regarding the flow fields in a circular tube insert... Rotor-assembled strand works as a typical tube insert to achieve heat transfer augmentation and scale inhibition in a heat exchanger.In this work, the PIV experiment regarding the flow fields in a circular tube inserted with rotor-assembled strand was conducted and the flow characteristics on transverse section and longitudinal section were analyzed.The results showed that swirling flow was produced in the tube inserted with rotors and it was particularly strong within the swing diameter of the rotor on the section that contains the rotor;the average turbulence intensity and the radial velocity were improved notably; the velocity vectors on the longitudinal section remained along the direction of a straight line; both the swirling flow and average turbulence intensity were higher for the rotor with three blades than for the rotor with two blades except that the radial velocity was approximate, but they were all reduced by enlarging the lead of the rotor.Characterization of the flow patterns in a circular tube contributes to understanding the heat transfer efficiency and scale inhibition performance of the rotor-assembled strand and provides guidance for its application. 展开更多
关键词 Particle image VELOCIMETRY (PIV) Swirling flow Rotor-assembled strand CIRCULAR tube
下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部