检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

改进的加密协议形式化验证模型和算法

清华大学学报（自然科学版） 2002年第1期42卷 48-51页

作者：桑田黄连生张磊清华大学计算机科学与技术系北京100084

状态搜索技术是分析加密协议安全属性的最流行的形式化验证方法之一 ,Mur是一种常用的能分析一般性协议的模型工具 ,它的原理简明 ,但缺点是容易产生状态爆炸。为了克服这一问题 ,针对加密协议的特点 ,提出了改进模型和算法。根据协... 详细信息

状态搜索技术是分析加密协议安全属性的最流行的形式化验证方法之一 ,Mur是一种常用的能分析一般性协议的模型工具 ,它的原理简明 ,但缺点是容易产生状态爆炸。为了克服这一问题 ,针对加密协议的特点 ,提出了改进模型和算法。根据协议的描述定义状态空间 ,建立以攻击者为核心的验证模型 ,使用搜索算法检测是否存在攻击者能完成攻击的不安全状态。在对通信过程、消息传递方式等方面改进后 ,搜索空间的可达状态数减少了很多。

关键词：状态搜索形式化验证加密协议攻击者 Murφ 网络安全验证模型搜索算法

在线全文

学校读者我要写书评

暂无评论

隧道围岩的损伤与声电监测

煤炭学报 2004年第1期29卷 41-44页

作者：陆菜平窦林名中国矿业大学能源科学与工程学院江苏徐州221008

采用EAE-04声电测试系统,利用声发射(AE)和电磁辐射(EME)信号上升沿时间和持续时间的关系,排除噪音等影响,从而确定有效信号;采用AE频度和能量率的变化规律,以及EME脉冲数的变化规律,分析隧道围岩的活动性并进行实时监测.实践表明,连续... 详细信息

采用EAE-04声电测试系统,利用声发射(AE)和电磁辐射(EME)信号上升沿时间和持续时间的关系,排除噪音等影响,从而确定有效信号;采用AE频度和能量率的变化规律,以及EME脉冲数的变化规律,分析隧道围岩的活动性并进行实时监测.实践表明,连续动态监测隧道围岩的活动性就能够确保隧道及其上方建筑物的安全.

关键词：隧道损伤声发射电磁辐射连续动态

ITER高压大功率整流器控制系统的优化设计

在线全文

学校读者我要写书评

暂无评论

高电压技术 2010年第7期36卷 1785-1791页

作者：黄连生傅鹏中科院等离子体物理研究所合肥230031

为了满足ITER高压大功率整流器对控制精度、快速响应及高可靠性的要求,对控制系统进行优化设计。从同步处理、移相控制及同步触发3个关键环节对控制系统进行优化:使用直接耦合同步方法,提高同步精度,由此提高了整流器开环控制精度;基于... 详细信息

为了满足ITER高压大功率整流器对控制精度、快速响应及高可靠性的要求,对控制系统进行优化设计。从同步处理、移相控制及同步触发3个关键环节对控制系统进行优化:使用直接耦合同步方法,提高同步精度,由此提高了整流器开环控制精度;基于高速cPCI总线传输控制信号及高速DSP作移相处理单元,提高了系统的动态响应特性及系统集成度;采用高同步性的光触发技术,提高了整流器的均流性能。对该控制系统做了长期测试,验证了控制系统的优良性能及高可靠性。

关键词：整流器同步信号 cPCI总线实时网络反射内存同步触发

树枝状介孔二氧化硅的制备及其负载纳米银的抗菌性

在线全文

学校读者我要写书评

暂无评论

材料工程 2018年第10期46卷 135-141页

作者：黄连根郑玉婴福州大学材料科学与工程学院福州350108

以正硅酸乙酯为硅源(TEOS),十六烷基三甲基溴化铵(CTAB)为表面活性剂,采用溶胶-凝胶法在氨水催化下制备树枝状介孔二氧化硅微球。以该微球为载体,原位负载纳米银。探究乙醚、硅烷结构助剂加入量对介孔二氧化硅微球的形貌、结构和粒径的... 详细信息

以正硅酸乙酯为硅源(TEOS),十六烷基三甲基溴化铵(CTAB)为表面活性剂,采用溶胶-凝胶法在氨水催化下制备树枝状介孔二氧化硅微球。以该微球为载体,原位负载纳米银。探究乙醚、硅烷结构助剂加入量对介孔二氧化硅微球的形貌、结构和粒径的影响,并通过抗菌实验测试其样品的最低抑菌浓度(MIC)和最小杀菌浓度(MBC)。结果表明:硅烷结构助剂和乙醚的加入对树枝状孔道的生成是至关重要的;纳米银负载到该介孔二氧化硅的MIC在3.16~3.95mg·L-1,MBC为6.32mg·L-1,优于纯纳米银。

关键词：二氧化硅表面活性剂树枝状介孔微球纳米银抗菌

在线全文

学校读者我要写书评

暂无评论

钙与慢性病

生理科学进展 1999年第2期30卷 123-128页

作者：杨焕黄连珍同济医科大学营养与食品卫生学教研室

钙在机体有着非常重要的生理功能，许多疾病的发生与机体钙平衡紊乱导致的生理功能异常有关。现就钙与某些常见的慢性病，包括心血管疾病（高血压和动脉粥样硬化）、肿瘤、骨质疏松和骨质增生等的关系以及钙的最适摄入量和高钙膳食的副... 详细信息

钙在机体有着非常重要的生理功能，许多疾病的发生与机体钙平衡紊乱导致的生理功能异常有关。现就钙与某些常见的慢性病，包括心血管疾病（高血压和动脉粥样硬化）、肿瘤、骨质疏松和骨质增生等的关系以及钙的最适摄入量和高钙膳食的副作用进行综述。

关键词：钙高血压动脉粥样硬化肿瘤骨质疏松

在线全文

学校读者我要写书评

暂无评论

薄煤层冲击矿压特征及防治研究

煤炭学报 2012年第7期37卷 1094-1098页

作者：何江窦林名陆菜平中国矿业大学煤炭资源与安全开采国家重点实验室江苏徐州221116 中国矿业大学矿业工程学院江苏徐州221116

统计了桃山矿薄煤层冲击矿压强度、显现位置、诱发因素等特征,试验研究了煤岩组合试样单轴抗压强度、冲击能指数与煤岩高度比的关系,分析了薄煤层应力分布及转移规律和冲击矿压机理,探讨了薄煤层工作面冲击矿压防治技术。研究表明:薄煤... 详细信息

统计了桃山矿薄煤层冲击矿压强度、显现位置、诱发因素等特征,试验研究了煤岩组合试样单轴抗压强度、冲击能指数与煤岩高度比的关系,分析了薄煤层应力分布及转移规律和冲击矿压机理,探讨了薄煤层工作面冲击矿压防治技术。研究表明:薄煤层冲击矿压强度小,发生在工作面的比例高,工作面距上端头5 m附近冲击显现最为频繁,爆破、割煤等动力扰动是其主要诱因;随着煤岩高度比减小,组合煤岩单轴抗压强度、冲击能指数均增大,煤层越薄,煤体承载能力越强,越不容易产生应力转移,爆破、割煤等剥离或松动煤壁处煤体,引起峰值应力区垂直应力升高,水平应力对煤体约束减小,导致冲击矿压。薄煤层冲击矿压防治应使高应力区向煤体深部转移,使工作面前方有足够卸压保护带。

关键词：薄煤层冲击矿压防治诱发因素

基于应变梯度位错理论的纳晶-无定形态层状复合材料的力学性能研究

在线全文

学校读者我要写书评

暂无评论

工程力学 2014年第1期31卷 224-228页

作者：周剑秋黄连军王英武汉工程大学机电工程学院武汉430074 南京工业大学机械与动力工程学院南京210009

纳晶-无定形态层状复合材料具有高强度高硬度还有良好的韧性等力学性能。为了定量评估这种新型材料的力学性能,建立了基于位错密度和应变梯度的力学模型。即在塑性变形的初始阶段,位错在晶态-非晶态层的交界面处产生,之后通过滑移穿过... 详细信息

纳晶-无定形态层状复合材料具有高强度高硬度还有良好的韧性等力学性能。为了定量评估这种新型材料的力学性能,建立了基于位错密度和应变梯度的力学模型。即在塑性变形的初始阶段,位错在晶态-非晶态层的交界面处产生,之后通过滑移穿过纳晶层到达对面的晶态-非晶态的交界面处被吸收。鉴于纳晶层和无定形态层的不同特性和界面的相互作用,理论分析了纳晶层中的位错演化过程以及交界面的损伤情况。结果表明,理论计算与实验结果基本吻合,且纳晶层无定形态之间的交界面具有很好的变形协调能力而不会在界面层产生失效。

关键词：纳晶-无定态复合层状材料力学性能应变梯度交界面位错理论