期刊文献+
共找到5,136篇文章
< 1 2 250 >
每页显示 20 50 100
A simplified approach for negative skin friction calculation of special-shaped pile considering pile-soil interaction under surcharge 被引量:3
1
作者 孔纲强 周航 +2 位作者 刘汉龙 丁选明 LIANG Robert 《Journal of Central South University》 SCIE EI CAS 2014年第9期3648-3655,共8页
A simplified approach was proposed to analyze the negative skin friction calculation of special-shaped pile considering pile-soil interaction under surcharge. Based on the concentric cylinder shearing theory, consider... A simplified approach was proposed to analyze the negative skin friction calculation of special-shaped pile considering pile-soil interaction under surcharge. Based on the concentric cylinder shearing theory, considering the changes of pile shape(such as, taper angle and diameters of pile base, etc.), the load-transfer of special-shaped pile was built. The accuracy of the developed simplified approach was verified by numerical simulation model with the same condition. Then, the influence factors, such as, taper angles, the diameter of pile base, surcharge, and pile-soil interface parameters were analyzed and discussed. The results show that the developed simplified approach can calculate NSF of special-shaped pile under surcharge effectively. A limited parametric study indicates that in many practical situations special-shaped piles(such as belled wedge pile shown in this work) offer a design option that is more economical than traditional uniform cross-section piles. 展开更多
关键词 negative skin friction special-shaped pile pile-soil interaction dragload downdrag SURCHARGE
下载PDF
Experimental Study on Seismic Behavior of Exterior Joints of Special-shaped Columns with Different Lengths of Limbs
2
作者 曲福来 黄承逵 赵顺波 《Journal of Southwest Jiaotong University(English Edition)》 2008年第1期46-50,共5页
Four exterior joints with special-shaped columns which have different lengths of limbs are tested under low cyclic loading. Speeial-shaped columns adopted are L- and T-shaped in section. It can be concluded that crack... Four exterior joints with special-shaped columns which have different lengths of limbs are tested under low cyclic loading. Speeial-shaped columns adopted are L- and T-shaped in section. It can be concluded that crack pattern, failure mode and shear strength of joints are affected by the length of limb, and that shear strength and ductility increase with the length of limb; the joints with the flexural failure of the beam have better seismic behavior than those with the shear failure of the joint core. 展开更多
关键词 special-shaped column Length of limb Frame joint DUCTILITY Energy dissipation
下载PDF
Design of Special-shaped Interchange between Expressway and Urban Road in Mountainous Cities
3
作者 Shang Ye 《Journal of World Architecture》 2021年第5期10-13,共4页
Driven by the rapid economic development,the development of transportation in China has begun to move towards mountainous areas.The climate environment,topography and landform of mountainous cities are different from ... Driven by the rapid economic development,the development of transportation in China has begun to move towards mountainous areas.The climate environment,topography and landform of mountainous cities are different from those of plain areas.In mountainous cities,the area of opposite interchanges between expressways and urban roads is generally large,which has a certain contradiction with the topographic conditions of mountainous cities.Therefore,it is necessary to reasonably design the opposite interchanges between expressways and urban roads in mountainous cities.The author explores and analyzes the factors restricting the special-shaped interchange between expressway and urban road in mountainous cities and the main fbnns of special-shaped interchange,and puts forward a reasonable design scheme,hoping to make a smooth development of the special-shaped interchange in mountainous cities. 展开更多
关键词 Mountainous cities EXPRESSWAY Urban Road special-shaped INTERCHANGE
下载PDF
Effects of Fluorescent Pair on the Kinetics of DNA Strand Displacement Reaction
4
作者 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
Analysis on the causes of massive stranding of Yellow Sea green tide on Lianyungang and Rizhao coasts in 2022
5
作者 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
基于Strand空间的认证协议证明方法研究 被引量:5
6
作者 刘东喜 白英彩 《软件学报》 EI CSCD 北大核心 2002年第7期1313-1317,共5页
Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方法证明了认证属性.通过在该模型中引入消息类型检查机制,简化了证明过程.并将该方法应用到包含三方主体的... Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方法证明了认证属性.通过在该模型中引入消息类型检查机制,简化了证明过程.并将该方法应用到包含三方主体的认证协议.最后得出与相关文献相同的结论. 展开更多
关键词 strand空间 认证协议 协议证明 形式化方法 密码 信息安全
下载PDF
基于Strand Space的移动计算安全协议设计与正确性证明 被引量:1
7
作者 许峰 高晓春 黄皓 《计算机科学》 CSCD 北大核心 2008年第11期74-77,184,共5页
安全协议对移动计算的安全性质起着决定作用。根据移动计算网络环境的特点,参照安全协议设计准则,以移动银行应用为背景设计了一个移动计算安全协议——MB协议,并基于Strand空间理论给出了正确性证明。
关键词 串空间 安全协议 形式化分析 密码体制 移动计算
下载PDF
基于Strand空间分析具有类型缺陷的认证协议
8
作者 任侠 吕述望 《中国科学院研究生院学报》 CAS CSCD 2004年第4期543-548,共6页
通过去除Strand空间中的强类型抽象假设 ,引入Strand模板的概念与一个入侵者的伪操作 ,进而利用认证测试方法 ,实现了对具有类型缺陷的认证协议的直接分析 .
关键词 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
外包钢板加固震损钢绞线-钢筋混凝土剪力墙抗震性能试验研究
10
作者 袁维光 赵军 孙玉平 《建筑结构》 北大核心 2025年第1期73-78,共6页
基于震后建筑结构快速修复并投入使用的需求,提出了外包钢板加固震损钢绞线-钢筋混凝土剪力墙的方法。设计并制作了2个足尺的钢绞线-钢筋混凝土剪力墙,先通过拟静力试验模拟了其在罕遇地震作用下的预损伤,在此预震损的基础上,采用外包... 基于震后建筑结构快速修复并投入使用的需求,提出了外包钢板加固震损钢绞线-钢筋混凝土剪力墙的方法。设计并制作了2个足尺的钢绞线-钢筋混凝土剪力墙,先通过拟静力试验模拟了其在罕遇地震作用下的预损伤,在此预震损的基础上,采用外包钢板对钢绞线-钢筋混凝土剪力墙进行加固,然后再次进行低周往复加载试验,研究其抗震性能和可恢复性能。试验结果表明:修复加固后试件的水平荷载仍能随其侧向变形的增大而持续增加,表现出较好的正刚性,在大震作用下采用外包钢板修复加固后剪力墙的承载能力和变形能力分别提高约3%和15%,轴压比较高时外包钢板加固效果更好;在位移角达到2%前,修复加固后的试件与原试件的残余变形曲线基本重合,且残余变形小于0.5%,具有良好的自复位能力。 展开更多
关键词 钢绞线-钢筋混凝土剪力墙 外包钢板 拟静力试验 抗震性能 残余变形
下载PDF
原核表达dsRNA-StPPO发酵工艺优化及应用
11
作者 余金兰 何倩 +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
蛋白质中strand-loop-strand模体的分类 被引量:1
12
作者 高苏娟 胡秀珍 《内蒙古工业大学学报(自然科学版)》 2009年第1期24-30,共7页
从蛋白质一级序列出发,以氨基酸紧邻关联为参数,用离散量的方法,采用5交叉检验,对蛋白质中的strand-loop-strand模体进行了分类.文中使用了两个数据库,采用了不同的截取方式和序列模式长,均得到了较好的预测效果.
关键词 离散量 离散增量 蛋白质超二级结构 strand-loop-strand模体
下载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
成都天府绿道跨成昆铁路斜拉桥设计
14
作者 赵彬 王美馨 +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模型的Needham-Schroeder协议分析
15
作者 贾立伟 周清雷 赵东明 《微计算机信息》 北大核心 2008年第27期37-39,共3页
Strand空间模型是一种安全协议分析模型,使用图的形式来描述协议,证明协议的正确性。通过分析研究,本文建立了攻击者模型,并在此基础上运用安全协议的形式化分析方法—Strand空间模型,对公开密钥协议NSPK进行了分析,说明了该方法进行协... Strand空间模型是一种安全协议分析模型,使用图的形式来描述协议,证明协议的正确性。通过分析研究,本文建立了攻击者模型,并在此基础上运用安全协议的形式化分析方法—Strand空间模型,对公开密钥协议NSPK进行了分析,说明了该方法进行协议分析的过程,证明了该协议在保密性和认证性方面的正确性,并分析了该协议存在的安全缺陷。 展开更多
关键词 串空间 攻击者模型 形式化分析 安全协议
下载PDF
高致病性猪繁殖与呼吸综合征病毒strand-specific荧光定量RT-PCR检测方法的建立
16
作者 杨莘 周艳君 +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空间中基于安全密钥概念的证明思路 被引量:1
17
作者 任侠 吕述望 《通信学报》 EI CSCD 北大核心 2005年第2期29-34,共6页
提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从... 提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三方认证协议的证明,并且它还使得证明过程简洁而直观。 展开更多
关键词 计算机科学技术基础学科 安全协议证明 strand空间模型 安全密钥 理想概念
下载PDF
Strand空间中基于安全密钥概念的证明思路之我见
18
作者 魏少峰 张颖 《无线互联科技》 2013年第3期101-101,167,共2页
一种基于安全密钥证明Strand空间模型新思路,从安全密钥的概念着手,在理想概念证明法的基础上得到预备结论,证明协议的认证属性及秘密属性。
关键词 strand空间模型 安全密钥 安全协议 理想概念
下载PDF
论英语中pied piping和preposition stranding的标记值判定
19
作者 唐承贤 《南京航空航天大学学报(社会科学版)》 2010年第4期71-75,共5页
英语pied piping(介词随伴)和preposition stranding(介词后吊)这两个结构的标记值判定是学术界存有争议的一个问题。一般而言,语言结构的标记值判定可遵循频率和历时这两条标准。频率标准分为文本频率和跨语言频率两个标准,前者通常用... 英语pied piping(介词随伴)和preposition stranding(介词后吊)这两个结构的标记值判定是学术界存有争议的一个问题。一般而言,语言结构的标记值判定可遵循频率和历时这两条标准。频率标准分为文本频率和跨语言频率两个标准,前者通常用以判定语言特有的标记值,而后者是用来判定跨语言的标记普遍性。两者判定的结果如果不同可以并存,但不能相互替代。另外,从历时的角度看,语言的标记值不是固定不变的,而是随语言的发展而发生转移。因此,评价个别语言的标记值时就不能套用跨语言的标记评价标准,而只能根据个别语言在特定时期所特有的语言事实予以指派。 展开更多
关键词 介词随伴 介词后吊 标记值判定
下载PDF
顶进框架桥技术在多股道铁路线施工中的应用
20
作者 曾国志 《科学技术创新》 2025年第6期113-116,共4页
下穿架空顶进框架桥技术,在既有铁路、公路等项目上运用广泛,它相对于原位现浇法施工具有明显的优势,如可以缩短施工工期,还不会因为施工导致既有铁路停运等带来的巨大经济损失。本文对下穿顶进框架桥在跨多股道既有铁路线施工中遇到的... 下穿架空顶进框架桥技术,在既有铁路、公路等项目上运用广泛,它相对于原位现浇法施工具有明显的优势,如可以缩短施工工期,还不会因为施工导致既有铁路停运等带来的巨大经济损失。本文对下穿顶进框架桥在跨多股道既有铁路线施工中遇到的技术难题进行研究,为类似施工的工程提供参考。 展开更多
关键词 下穿框架桥 跨多股道既有铁路 顶进施工
下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部