期刊文献+
共找到21篇文章
< 1 2 >
每页显示 20 50 100
Impact of social isolation and resident intruder stress on aggressive behavior in the male rat 被引量:24
1
作者 Sheng Wei Huiyun Zhang Jie Gao Ling Xue Peng Sun Yubin Chao Gang Xue Mingqi Qiao 《Neural Regeneration Research》 SCIE CAS CSCD 2010年第15期1175-1179,共5页
Stress studies frequently utilize physical stressors to establish animal models of stress. In the majority of cases, these models are not consistent with human circumstances. The present study simulated a social isola... Stress studies frequently utilize physical stressors to establish animal models of stress. In the majority of cases, these models are not consistent with human circumstances. The present study simulated a social isolation plus resident intruder stress model in the rat. The rats were subjected to daily social isolation and resident intruder stress for 2 weeks. Behaviors were then tested. Rats subjected to social stress exhibited different aggressive behavior styles; some rats had greater scores on composite aggression behaviors, as well as locomotor and exploratory activity, but lower scores on latency than others. The high-aggressive group exhibited predominantly anger-out, while the low-aggressive group exhibited anger-in. Results suggest that social isolation plus resident intruder may serve as an appropriate model for anger-in and anger-out emotion modeling in the rat. 展开更多
关键词 aggressive behavior test social isolation resident intruder stress rat model anger-out/anger-in
下载PDF
Dolev-Yao攻击者模型的形式化描述 被引量:8
2
作者 唐郑熠 李祥 《计算机工程与科学》 CSCD 北大核心 2010年第8期36-38,45,共4页
模型检测技术能够实现安全协议的自动化分析,是一种高效的形式化分析方法。然而,对于攻击者的建模却一直缺乏通用的方法,这导致了模型检测方法的自动化程度降低。本文为安全协议分析中,应用最为广泛的Dolev-Yao攻击者模型建立了一套形... 模型检测技术能够实现安全协议的自动化分析,是一种高效的形式化分析方法。然而,对于攻击者的建模却一直缺乏通用的方法,这导致了模型检测方法的自动化程度降低。本文为安全协议分析中,应用最为广泛的Dolev-Yao攻击者模型建立了一套形式化描述方法。遵循这一方法,可以使用任何建模语言机械地建立Dolev-Yao攻击者模型,从而大大地减少了人工分析的成份。同时,本文还使用该方法验证了两个目的完全不同的协议,证明了它的通用性。 展开更多
关键词 dolev-yao攻击者模型 形式化描述 模型检测 SPIN NSPK A(0)
下载PDF
基于正交设计模型的雷电反击侵入波研究
3
作者 茅鑫同 陈兵 +7 位作者 刘巍 柏彬 赵会龙 韩超 黄涛 周俊 范舟 刘志伟 《电工技术》 2024年第3期66-70,83,共6页
雷击事故是影响电网系统安全稳定运行的重要因素,尤其是雷电反击事故,较大的雷电反击侵入波是引发电力设备故障的主要原因。国内外学者就侵入波的研究很多,但缺乏对诸多影响因素的综合分析。因此,在单独分析影响因素的基础上,采用正交... 雷击事故是影响电网系统安全稳定运行的重要因素,尤其是雷电反击事故,较大的雷电反击侵入波是引发电力设备故障的主要原因。国内外学者就侵入波的研究很多,但缺乏对诸多影响因素的综合分析。因此,在单独分析影响因素的基础上,采用正交设计法对雷击点、杆塔冲击接地电阻R_(d)及门型构架冲击接地电阻R_(m)进行正交建模和交叉分析。研究发现,反击侵入波过电压最严重的情况为A2B0C0(雷击#3、R_(d)=10Ω及R_(m)=10Ω)和A2B0C2(雷击#3、R_(d)=10Ω及R_(m)=0.5Ω)。 展开更多
关键词 雷电反击 侵入波 正交设计法 仿真建模
下载PDF
750kVGIS变电站雷电侵入波过电压的研究 被引量:31
4
作者 陈梁金 李思南 +1 位作者 谢鹏 施围 《高电压技术》 EI CAS CSCD 北大核心 2006年第8期18-21,共4页
为使模拟计算结果更接近实际,需要研究雷电侵入波过电压计算模型的误差及影响因素,基于输电线路的伏库特性,用简单的电路模型模拟输电线路电晕特性,建立了集中电感、单波阻和多波阻3种杆塔模型;研究了电晕效应对雷电过电压及杆塔模型对... 为使模拟计算结果更接近实际,需要研究雷电侵入波过电压计算模型的误差及影响因素,基于输电线路的伏库特性,用简单的电路模型模拟输电线路电晕特性,建立了集中电感、单波阻和多波阻3种杆塔模型;研究了电晕效应对雷电过电压及杆塔模型对变电站雷电侵入波过电压计算结果的影响。利用EMTP计算雷击塔顶和绕击输电线路2种雷击方式下750kVGIS变电站内断路器、电流互感器及变压器等设备雷电侵入波过电压的结果表明,冲击电晕使雷电侵入波产生很大的衰减和变形,和不考虑电晕所得过电压幅值相差约5%;3种杆塔模型算得的结果相差近10%;GIS出线方式等其它因素对过电压值也有较大的影响。 展开更多
关键词 冲击电晕 杆塔模型 雷电侵入波过电压 气体绝缘传输线 气体绝缘变电站
下载PDF
杆塔模型对特高压变电站反击波过电压的影响 被引量:24
5
作者 袁兆祥 李琥 项玲 《高电压技术》 EI CAS CSCD 北大核心 2008年第5期867-872,共6页
杆塔的准确模拟对特高压变电站反击侵入波幅值影响很大,为使其模拟计算结果更准确,建立了集中电感、单波阻抗和多波阻抗3种1000kV杆塔模型;针对1000kV变电站不同的运行方式,计算分析了雷电反击侵入波。计算结果表明,不同的杆塔模型,其... 杆塔的准确模拟对特高压变电站反击侵入波幅值影响很大,为使其模拟计算结果更准确,建立了集中电感、单波阻抗和多波阻抗3种1000kV杆塔模型;针对1000kV变电站不同的运行方式,计算分析了雷电反击侵入波。计算结果表明,不同的杆塔模型,其计算结果存在一定的差别;在特高压变电站的雷电侵入波计算中,宜采用多波阻抗模型。 展开更多
关键词 杆塔模型 集中电感 单波阻抗 多波阻抗 雷电侵入波 特高压变电站
下载PDF
慢性束缚应激及居住入侵法制备经前期综合征肝气郁证大鼠模型的行为学观测与分析 被引量:10
6
作者 魏盛 王海苹 乔明琦 《世界科学技术-中医药现代化》 北大核心 2012年第4期1848-1852,共5页
目的:通过与慢性束缚应激造模法比较,探讨居住入侵法制备经前期综合征(PMS)肝气郁证大鼠模型的可行性。方法:以慢性束缚应激造模法为对照,将国外应用较为成熟的居住入侵法用于制备PMS肝气郁证大鼠造模,并用旷场实验、悬尾实验等行为学... 目的:通过与慢性束缚应激造模法比较,探讨居住入侵法制备经前期综合征(PMS)肝气郁证大鼠模型的可行性。方法:以慢性束缚应激造模法为对照,将国外应用较为成熟的居住入侵法用于制备PMS肝气郁证大鼠造模,并用旷场实验、悬尾实验等行为学方法系统评价造模效果,比较两种造模方法的优劣。结果:两种方法制备的PMS肝气郁证模型大鼠旷场实验水平得分、垂直得分及总分均无显著性差异(P>0.05)。结论:采用居住入侵法制备PMS肝气郁证大鼠模型能有效模拟人类由于情质异常引发的经前抑郁及经后抑郁症状消失状态,且克服了慢性束缚应激法躯体刺激明显的缺点,但其造模成功率低,模型稳定性方面也有待进一步考察。 展开更多
关键词 经前期综合征 肝气郁证 大鼠模型 慢性束缚应激 居住入侵法
下载PDF
P^2MDR^2网络安全防御模型的研究 被引量:3
7
作者 曾海 《湘潭大学自然科学学报》 CAS CSCD 北大核心 2005年第3期32-35,共4页
该文首先分析和介绍了网络安全的P2DR模型,然后分析了该模型存在的缺陷.最后,提出一种新的动态P2 MDR2网络安全模型,并给出了可行的实施方案.
关键词 P^2DR模型 P^2MDR^2模型 入侵管理 入侵取证
下载PDF
500kV升压站雷电反击侵入波过电压的影响因素研究 被引量:5
8
作者 王建南 蒋昆 骆仁意 《中国电力》 CSCD 北大核心 2015年第6期72-79,共8页
为了合理选择变电站雷电侵入波过电压的防护措施,基于正交设计试验方法及ATP-EMTP仿真计算,以某500kV变电站为例.研究了反击侵入波过电压各主要影响因素的影响程度(用显著性水平F值来衡量)及部分影响因素的敏感水平区间。计算结果表... 为了合理选择变电站雷电侵入波过电压的防护措施,基于正交设计试验方法及ATP-EMTP仿真计算,以某500kV变电站为例.研究了反击侵入波过电压各主要影响因素的影响程度(用显著性水平F值来衡量)及部分影响因素的敏感水平区间。计算结果表明,系统运行方式、1号至0号杆塔距离、TV(电容式电压互感器)装设情况、避雷器至设备距离、雷击点位置以及杆塔冲击接地电阻的显著性水平F值之比为5.56:2.13:1.00:4.64:24.58:7.58;将杆塔冲击接地电阻由10Ω降至5Ω,控制1号至0号杆塔距离为200m左右。加强进线段0~900m的防雷击保护,可显著降低反击侵入波过电压水平。 展开更多
关键词 变电站 雷电侵入波 过电压 ATP-EMTP 多波阻抗模型 正交设计
下载PDF
安全协议验证中DY模型的构建框架 被引量:1
9
作者 唐郑熠 杨芳 薛醒思 《福建工程学院学报》 CAS 2015年第3期239-243,共5页
攻击者建模是安全协议验证工作的一个重要部分,直接影响到验证的效率与质量,但目前却还没有一个可遵循的形式化框架,影响了建模工作的准确性与客观性。针对这一问题,通过对在安全协议验证中具有广泛影响的DY模型进行形式化,建立了一个D... 攻击者建模是安全协议验证工作的一个重要部分,直接影响到验证的效率与质量,但目前却还没有一个可遵循的形式化框架,影响了建模工作的准确性与客观性。针对这一问题,通过对在安全协议验证中具有广泛影响的DY模型进行形式化,建立了一个DY模型的构建框架,刻画了攻击者的构成要素、行为规则以及行为模式,从而保证了攻击者具有合理的行为与能力,并能在攻击过程中获取新的知识,不断增强攻击能力。最后,将该工作运用到Otway-Rees协议的验证中,找出了该协议中所存在的漏洞,从而证明了该构建框架的有效性。 展开更多
关键词 安全协议 形式化 DY模型 攻击者 OTWAY-REES协议
下载PDF
原子核配对壳模型——侵入态与原子核形变
10
作者 罗延安 潘峰 宁平治 《原子核物理评论》 CAS CSCD 北大核心 2004年第4期351-354,共4页
利用原子核配对壳模型讨论了侵入态对原子核形变的影响.计算结果表明,侵入态具有削弱原子核形变的趋势,对原子核的形变起着重要作用.
关键词 原子核 壳模型 侵入 形变 重要作用 配对 影响 利用
下载PDF
经前期综合征肝气逆证大鼠造模及用药后行为学观测与分析
11
作者 刘玉国 刘伊娜 +2 位作者 马艳妮 侯金良 魏盛 《辽宁中医杂志》 CAS 2012年第12期2492-2494,共3页
目的:探讨居住入侵法制备经前期综合征(PMS)肝气逆证大鼠模型适用性。方法:采用居住-入侵法造模,记录并分析大鼠行为变化,经前平颗粒与白香丹胶囊药物干预反证模型可靠性。结果:造模组大鼠混合攻击行为得分为37.22±9.80,得分显著... 目的:探讨居住入侵法制备经前期综合征(PMS)肝气逆证大鼠模型适用性。方法:采用居住-入侵法造模,记录并分析大鼠行为变化,经前平颗粒与白香丹胶囊药物干预反证模型可靠性。结果:造模组大鼠混合攻击行为得分为37.22±9.80,得分显著高于正常组;用药组大鼠行为学混合攻击行为得分分别为16.75±7.77和15.17±4.24,行为学指标在用药后均得到明显纠正;旷场实验中的水平得分、垂直得分及总分,造模组与正常组和用药组均有显著性差异(P<0.01)。结论:该模型是理想的PMS肝气逆证大鼠模型,经前平颗粒与白香丹胶囊对PMS肝气逆证均有较好的治疗效果。 展开更多
关键词 经前期综合征肝气逆证 居住入侵 大鼠模型 攻击行为 旷场
下载PDF
安全协议的CSP描述技术 被引量:5
12
作者 安靖 王亚弟 韩继红 《微计算机信息》 北大核心 2006年第10X期52-55,共4页
基于进程代数的CSP方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP相关理论,并以NSPK协议为例系统概述了安全协议的CSP建模方法。为更好的查明协议的安全缺陷,重点研究如何在CSP的体系结构中对协议的安全属性进行形式... 基于进程代数的CSP方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP相关理论,并以NSPK协议为例系统概述了安全协议的CSP建模方法。为更好的查明协议的安全缺陷,重点研究如何在CSP的体系结构中对协议的安全属性进行形式化描述。并最终提出秘密性、认证性、不可否认性、匿名性的形式化提炼检测目标,为进一步使用模型检测器进行协议验证奠定了理论和技术基础。 展开更多
关键词 建模 进程 入侵者 安全属性
下载PDF
土屋-延东斑岩型铜矿床找矿规律性研究——暨“三高二对应一相关”找矿模式研究 被引量:6
13
作者 张征 杨俊弢 庄道泽 《西北地质》 CAS CSCD 2010年第2期169-183,共15页
采用激发极化法、磁法、重力法对土屋东、延东铜矿化点进行了评价,发现了土屋东、土屋、延东等出露地表的斑岩型铜矿床。在完成了土屋东-延东矿区的物探面积性工作基础上,初步提出"三位一体"模式,经全面系统地研究了土屋东、... 采用激发极化法、磁法、重力法对土屋东、延东铜矿化点进行了评价,发现了土屋东、土屋、延东等出露地表的斑岩型铜矿床。在完成了土屋东-延东矿区的物探面积性工作基础上,初步提出"三位一体"模式,经全面系统地研究了土屋东、土屋、延东矿床找矿规律性后,建立了"三高二对应一相关"的找矿模式,即高极化体直接反映斑岩型铜矿体两翼的硫化物带,间接反映出硫化物带包裹着铜矿体。高磁体直接反映闪长(玢)岩,间接反映成矿母岩——斜长花岗斑岩体。剩余重力高主要反映闪长(玢)岩也包括了斑岩体。斑岩体对应分布高、低阻之间的接触带,也对应分布高、低磁性体之间的接触带,斑岩型铜矿床的出现与火山岩地层密切相关。以此为基础,对延西矿区掩埋矿体运用了"三高二对应一相关"找矿模式,发现隐伏斑岩型铜矿床。应用"三高二对应一相关"找矿模式对土西靶区、延西靶区进行了分析和预测,认为两矿区仍具有进行进一步工作的前景,目前正进行验证工作。 展开更多
关键词 土屋-延东 斑岩铜矿 找矿模式 斑岩体的穿插侵入关系 并行侵位关系 火山岩地层
下载PDF
基于状态转移系统的安全协议形式模型 被引量:1
14
作者 毛中全 刘楠 +1 位作者 顾纯祥 祝跃飞 《计算机工程》 CAS CSCD 北大核心 2008年第13期149-151,共3页
提出一种基于状态转移系统的安全协议模型,以Dolev-Yao攻击者模型为前提假设,以状态转移系统为框架,用语义编码的方式定义消息和事件,用重写关系定义协议规则,用事件的集合来描述协议的安全属性,并给出安全属性的检验策略。该模型能够... 提出一种基于状态转移系统的安全协议模型,以Dolev-Yao攻击者模型为前提假设,以状态转移系统为框架,用语义编码的方式定义消息和事件,用重写关系定义协议规则,用事件的集合来描述协议的安全属性,并给出安全属性的检验策略。该模型能够对安全协议进行精确的形式化描述,且便于实现自动化分析。 展开更多
关键词 安全协议 形式模型 状态转移系统 重写关系 dolev-yao攻击者模型
下载PDF
水合物分解对钻井液侵入影响的一维数值模拟研究 被引量:1
15
作者 辜幕丹 《探矿工程(岩土钻掘工程)》 2015年第8期49-54,共6页
海洋含水合物地层往往是具有渗透性的多孔介质体,钻井过程中钻井液不可避免地会与它发生能量和物质交换,水基钻井液驱替侵入水合物地层和温差下热传导导致的水合物分解这二者是耦合在一起的,其侵入可描述为一个包含相变的非等温非稳态... 海洋含水合物地层往往是具有渗透性的多孔介质体,钻井过程中钻井液不可避免地会与它发生能量和物质交换,水基钻井液驱替侵入水合物地层和温差下热传导导致的水合物分解这二者是耦合在一起的,其侵入可描述为一个包含相变的非等温非稳态渗流扩散过程。在综合分析钻井液侵入含水合物地层特性的基础上,结合水合物开采数值模拟以及常规油气藏钻井液侵入模型,建立了一维径向钻井液侵入含水合物地层的侵入模型。利用编程,分析了钻井液侵入水合物地层时地层压力、各相饱和度和温度的分布规律。 展开更多
关键词 天然气水合物 钻井液侵入 数学模型 数值模拟
下载PDF
谓词/转移网系统及其在密钥分配协议中的应用
16
作者 梁冰 王全来 《郑州轻工业学院学报》 1999年第1期10-13,共4页
采用谓词/转移网对密钥分配协议的安全性进行建模和分析,从而建立了协议的实体模型和闯入者模型.进一步分析表明,该模型中闯入者可利用旧的会话密钥,经过若干步骤可获得新的会话密钥,从而发现了该协议的漏洞.在实际协议中,还应... 采用谓词/转移网对密钥分配协议的安全性进行建模和分析,从而建立了协议的实体模型和闯入者模型.进一步分析表明,该模型中闯入者可利用旧的会话密钥,经过若干步骤可获得新的会话密钥,从而发现了该协议的漏洞.在实际协议中,还应考虑协议的可恢复性. 展开更多
关键词 通信网 协议 密钥 PETRI网 网络 通信安全
下载PDF
500kV AIS变电站雷电侵入波计算
17
作者 邓奇峰 王阳 +2 位作者 楚湘飞 王文生 宋明零 《电气开关》 2013年第6期49-53,共5页
以具体一500kV敞开式变电站为例,根据雷电的产生机理,给出了相应的外过电压计算模型,基于贝杰龙法建立起线路和变电站内各个设备的等值模型。采用电磁暂态计算程序(ATP-EMTP)对500kV变电站站外输电线路的外过电压进行计算建模,结合FORT... 以具体一500kV敞开式变电站为例,根据雷电的产生机理,给出了相应的外过电压计算模型,基于贝杰龙法建立起线路和变电站内各个设备的等值模型。采用电磁暂态计算程序(ATP-EMTP)对500kV变电站站外输电线路的外过电压进行计算建模,结合FORTRAN自编程序对站内设备中的过电压进行计算,并分析各影响因素的影响效果。相比以往的模型,创新提出了利用多波阻抗模型模拟输电线路杆塔,利用新藤先导模型来模拟绝缘子串的闪络。 展开更多
关键词 雷电侵入波 建模 ATP-EMTP 波阻抗 FORTRAN
下载PDF
模型检测中可变攻击者模型的构造 被引量:2
18
作者 杨元原 马文平 刘维博 《北京邮电大学学报》 EI CAS CSCD 北大核心 2011年第2期54-57,共4页
提出了一个可变攻击者模型构造方案.该方案通过定义抽象项的概念及其运算规则,大大降低了攻击者进行代数运算的复杂度.定义了攻击者行为库和攻击规则选择算法,使检测者能根据不同的协议构造不同的攻击者模型.由于攻击者行为可任意组合,... 提出了一个可变攻击者模型构造方案.该方案通过定义抽象项的概念及其运算规则,大大降低了攻击者进行代数运算的复杂度.定义了攻击者行为库和攻击规则选择算法,使检测者能根据不同的协议构造不同的攻击者模型.由于攻击者行为可任意组合,故实现了攻击者模型的可变性.可变攻击者模型保证了模型检测工具对协议分析的效率和准确性. 展开更多
关键词 安全协议 攻击者模型 代数运算 重写规则
原文传递
奇A核Pd同位素中h_(11/2)入侵轨道的形状驱动效应研究
19
作者 周厚兵 董国香 +1 位作者 孙小军 许甫荣 《原子核物理评论》 CAS CSCD 北大核心 2015年第4期385-391,共7页
过渡区原子核的形变与准粒子占据的轨道密切相关。采用推转壳模型首次系统性地研究了奇A核^(99)Pd,^(101)Pd和^(103)Pd原子核中h_(11/2)轨道对核芯的形状驱动效应,基于Total-Routhian-Surface(TRS)方法的计算结果表明,当过渡区原子核^(9... 过渡区原子核的形变与准粒子占据的轨道密切相关。采用推转壳模型首次系统性地研究了奇A核^(99)Pd,^(101)Pd和^(103)Pd原子核中h_(11/2)轨道对核芯的形状驱动效应,基于Total-Routhian-Surface(TRS)方法的计算结果表明,当过渡区原子核^(99)Pd,^(101)Pd和^(103)Pd中的准粒子开始占据h_(11/2)入侵轨道时将会使原子核产生稳定的四极形变。另外,对A≈210质量区近滴线核的高自旋态研究现状及今后进一步的工作也进行了概述。 展开更多
关键词 推转壳模型 形状驱动 入侵轨道
原文传递
壳模型研究^(10)Be和^(12)Be中的转动带结构 被引量:1
20
作者 戴博 李健国 许甫荣 《科学通报》 EI CAS CSCD 北大核心 2021年第28期3712-3718,共7页
基于WBP和YSOX两种核子-核子相互作用,用壳模型计算研究了^(10)Be和^(12)Be的激发能谱.为了解激发态的结构性质,用轨道角动量分解方法对^(10)Be和^(12)Be的激发态波函数进行了分析,预言了可能存在的转动带结构.研究了中子数N=8壳层下^(1... 基于WBP和YSOX两种核子-核子相互作用,用壳模型计算研究了^(10)Be和^(12)Be的激发能谱.为了解激发态的结构性质,用轨道角动量分解方法对^(10)Be和^(12)Be的激发态波函数进行了分析,预言了可能存在的转动带结构.研究了中子数N=8壳层下^(10)Be和^(12)Be中的跨壳效应与转动带之间的关系,比较了WBP和YSOX两种相互作用计算结果的异同.此外,还研究了^(10)Be和^(12)Be核的转动特性.研究结果可为今后相关实验提供有用信息. 展开更多
关键词 壳模型 转动带 闯入态 L-S分解
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部