期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到680篇文章
< 1 2 … 34 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
2020—2021年鄱阳湖及其河口渔业资源调查
1
作者 吴斌 章海鑫 +5 位作者 吴子君 张桂芳 傅培峰 王昌来 张燕萍 付辉云 《水生态学杂志》 北大核心 2025年第1期99-110,共12页
调查鄱阳湖及其邻近河口水域渔业资源状况,为禁捕后长江流域通江湖泊的渔业资源养护提供科学依据。2020—2021年在鄱阳湖水域7个监测站位开展了84次渔业资源调查,获渔获物14333尾、10300.048 kg,经鉴定有93种。7个站位优势种分别为2~7种... 调查鄱阳湖及其邻近河口水域渔业资源状况,为禁捕后长江流域通江湖泊的渔业资源养护提供科学依据。2020—2021年在鄱阳湖水域7个监测站位开展了84次渔业资源调查,获渔获物14333尾、10300.048 kg,经鉴定有93种。7个站位优势种分别为2~7种,其中湖口站位优势种仅2种,都昌站位和鄱阳站位优势种均为7种。Shannon-Wiener多样性指数、Margalef丰富度指数和Pielou均匀度指数分别为2.158~2.909、4.265~6.459和0.617~0.822。与2012年相比,2021年主要经济鱼类的变化体现在3个方面,即体长更长,增幅为6.1%~61.26%;体重更大,增幅为15.14%~291.57%;年龄结构更优,1龄和2龄所占比例明显减少,3~4龄所占比例明显增加,其中鳜(Siniperca chuatsi)是禁捕下上述变化的代表性鱼类之一。需要特别指出的是,青鱼(My-lopharyngododon piceus)数量仍然较少,且未发现4龄及以上个体,但2龄所占比例明显增加。 展开更多
关键词 渔业资源 多样性 禁捕 鄱阳湖
在线阅读 下载PDF
从保护生物地理学看长江的生物多样性保护
2
作者 陈隽 王海军 +1 位作者 张亮 谢平 《水生生物学报》 北大核心 2025年第1期53-60,共8页
20世纪50年代以来,高强度的人类活动如开垦、水利工程(防洪、灌溉、发电等)等导致长江生物地理单元的严重破碎化,大大改变了其格局和过程,再叠加上过度捕捞等,很多物种的生存受到了严重威胁,一些旗舰物种(如淡水豚类、鲟等)濒临灭绝甚... 20世纪50年代以来,高强度的人类活动如开垦、水利工程(防洪、灌溉、发电等)等导致长江生物地理单元的严重破碎化,大大改变了其格局和过程,再叠加上过度捕捞等,很多物种的生存受到了严重威胁,一些旗舰物种(如淡水豚类、鲟等)濒临灭绝甚至灭绝。文章试图从保护生物地理学的视角探讨长江濒危物种的拯救问题,论述长江生物地理单元的起源与演化,分析迄今为止对濒危物种拯救的努力及其困境,探索如何在保护生物地理学新范式的指引下,对长江生物地理单元的完整性进行修复及再自然化,最终实现人与自然的和谐共存。 展开更多
关键词 保护生物地理学新范式 长江生物地理单元 破碎化 十年禁渔 再自然化
在线阅读 下载PDF
墨、儒二家对公输般神话的改造--兼论春秋战国时期神话重构的普遍性
3
作者 黄景春 《华东师范大学学报(哲学社会科学版)》 北大核心 2025年第3期87-96,179,180,共12页
“般”原为神话人物,《山海经》说他是少昊之子,弓矢的发明者。春秋时期他跟鲁国公输家族相结合而出现公输般。随后墨家、儒家对他做了哲学化、历史化改造,把他描绘成与墨子同时代的历史人物。墨家改造他,是为了宣扬兼爱、非攻、非乐等... “般”原为神话人物,《山海经》说他是少昊之子,弓矢的发明者。春秋时期他跟鲁国公输家族相结合而出现公输般。随后墨家、儒家对他做了哲学化、历史化改造,把他描绘成与墨子同时代的历史人物。墨家改造他,是为了宣扬兼爱、非攻、非乐等思想;儒家批评他,是为了维护传统礼制。墨者、儒生都通过叙说公输般的所作所为阐述自家主张,在批评和否定中把他塑造成巧匠的代表人物,神话中的其他巧匠逐渐被掩蔽。值得注意的是,中国上古神话在商周时期已经过伦理化改造,春秋战国诸子对神话人物再次进行加工和重构,先秦文献所载神话大多是经过诸子改造的新神话,原本的神话形象反而罕为人知,这是中国神话思想史研究的一个重要问题。 展开更多
关键词 公输般 墨家 儒家 神话重构
在线阅读 下载PDF
汉代保举博士制度的若干问题——以《汉官仪》等文献所载博士举状文书考辨为中心
4
作者 张欣 《史学集刊》 北大核心 2025年第3期49-60,共12页
《汉官仪》《通典》《文献通考》等文献所载的博士举状文书是研究汉代保举博士制度的关键史料。“举状”“行状”又称版状。该文书针对的是博士,而非博士祭酒。通过对文书内容的分析可知,汉代官府保举博士既注重保举对象的学术能力,又... 《汉官仪》《通典》《文献通考》等文献所载的博士举状文书是研究汉代保举博士制度的关键史料。“举状”“行状”又称版状。该文书针对的是博士,而非博士祭酒。通过对文书内容的分析可知,汉代官府保举博士既注重保举对象的学术能力,又关注其品行,对其人际交往范围也作了较严格的规定。博士举状应出现于东汉光武帝之后。该举状不像一般性的制度规定,更像特定的、针对某生的具体举状,而且应是多个机构所作举状的综合。综合后的举状可作为三公、尚书台等机构鉴定、选拔人才的重要依据。博士举状文书属于官文书而非普通的制度文献类记载,具有完整性和独特性等特点。 展开更多
关键词 汉代 保举制度 博士举状 版状 文书学
在线阅读 下载PDF
太湖“退捕禁捕”后对湖鲚资源量影响调查
5
作者 黄鹤忠 索维国 +3 位作者 夏涛 李治由 朱明胜 曹萍 《水产养殖》 2025年第5期8-12,22,共6页
于2021—2023年2个年度的冬春秋3个季节对太湖6个点位的湖鲚和银鱼进行了空间分布、种群生物学调查,并根据“退捕禁捕”前太湖湖鲚渔获量与相关鱼类渔获量的统计资料,评估太湖“退捕禁捕”对湖鲚资源量的影响。结果表明,“退捕禁捕”后2... 于2021—2023年2个年度的冬春秋3个季节对太湖6个点位的湖鲚和银鱼进行了空间分布、种群生物学调查,并根据“退捕禁捕”前太湖湖鲚渔获量与相关鱼类渔获量的统计资料,评估太湖“退捕禁捕”对湖鲚资源量的影响。结果表明,“退捕禁捕”后2022年冬(12月份)、2023年春(5月份)和秋(9月份)季,6个区域湖鲚平均生物量分别比上年同期减少了74.50%、41.88%和64.97%,湖鲚在湖鲚和银鱼总生物量的占比也较上年同期出现了明显下降;2023年秋季各湖区湖鲚的平均体长和体质量相比上年同期,分别减少了18.85%和52.23%。“退捕禁捕”前4年(2017—2020年),湖鲚渔获量与鲢、鳙以及银鱼渔获量间均呈极显著负相关(R=-0.727 9,P<0.01和R=-0.940 0,P<0.01以及R=-0.980 6,P<0.01),与鲌渔获量间呈显著负相关(R=-0.597 8,P<0.05)。指出,太湖“退捕禁捕”后,湖鲚资源量随着鳙、银鱼、鲢和鲌资源量的不断增长而受到抑制。 展开更多
关键词 太湖 退捕禁捕 湖鲚 资源量
在线阅读 下载PDF
BAN逻辑的可靠性分析与改进 被引量：17
6
作者 王正才 许道云 +2 位作者 王晓峰 唐郑熠 韦立 《计算机工程》 CAS CSCD 2012年第17期110-115,共6页
BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进... BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进行限定,使消息新鲜性判定规则适用于更多类型的协议安全性验证。 展开更多
关键词 ban逻辑 安全协议 形式化 非形式化 消息新鲜性 推理
在线阅读 下载PDF
基于身份的TLS协议及其BAN逻辑分析 被引量：10
7
作者 于代荣 杨扬 +2 位作者 马炳先 刘明军 王世贤 《计算机工程》 CAS CSCD 北大核心 2011年第1期142-144,148,共4页
基于身份的密码体制(IBC)轻量、高效,密钥管理方式简单,但缺乏有效安全协议的支持限制了其应用。通过增加支持IBC的加密套件,引入IBC公钥代替RSA证书公钥,减少消息交换数量,提出支持IBC的、高效的基于身份的IB_TLS协议。使用BAN逻辑对... 基于身份的密码体制(IBC)轻量、高效,密钥管理方式简单,但缺乏有效安全协议的支持限制了其应用。通过增加支持IBC的加密套件,引入IBC公钥代替RSA证书公钥,减少消息交换数量,提出支持IBC的、高效的基于身份的IB_TLS协议。使用BAN逻辑对其进行形式化分析,证明IB_TLS协议是安全的。 展开更多
关键词 基于身份的密码体制 IB TLS协议 ban逻辑 TLS协议
在线阅读 下载PDF
密码协议分析工具——BAN逻辑及其缺陷 被引量：13
8
作者 张玉清 李继红 肖国镇 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1999年第3期376-378,共3页
在介绍密码协议分析工具——ＢＡＮ逻辑的基础上，研究和分析了ＢＡＮ逻辑在初始假设、理想化步骤、语义和探测协议违规运行等方面所存在的缺陷，并用实际例子具体说明了这些缺陷，最后指出了ＢＡＮ逻辑改进的方向．
关键词 密码协议 协议分析 ban逻辑
在线阅读 下载PDF
甘蓝型油菜BAN同源基因片段克隆与序列分析 被引量：6
9
作者 赵志伟 曾凡亚 +1 位作者 赵云 王茂林 《中国油料作物学报》 CAS CSCD 北大核心 2001年第4期7-10,共4页
参照拟南芥 (Arabidopsisthaliana)BAN基因和cDNA的保守序列设计引物 ,对甘蓝型、白菜型、芥菜型油菜和拟南芥及其它十字花科栽培品种的基因组总DNA进行PCR扩增 ,均获得与拟南芥BAN基因扩增片段大小极其相似的PCR扩增产物 ,表明BAN基因... 参照拟南芥 (Arabidopsisthaliana)BAN基因和cDNA的保守序列设计引物 ,对甘蓝型、白菜型、芥菜型油菜和拟南芥及其它十字花科栽培品种的基因组总DNA进行PCR扩增 ,均获得与拟南芥BAN基因扩增片段大小极其相似的PCR扩增产物 ,表明BAN基因可能广泛存在于十字花科植物中。甘蓝型油菜和拟南芥BAN扩增片段测序比较分析显示 ,拟南芥BAN片段 (779bp)与已往的报道完全相同 ,甘蓝型油菜的BAN片段(780bp)与拟南芥BAN外显子的同源性为 90 % ,但与内含子的同源性仅为 74 %。甘蓝型油菜BAN氨基酸序列与 展开更多
关键词 油菜 拟南芥 ban基因 甘蓝型油菜 片段克隆 序列分析
在线阅读 下载PDF
类BAN逻辑基本模型及缺陷 被引量：5
10
作者 许剑卓 戴英侠 左英男 《软件学报》 EI CSCD 北大核心 2000年第12期1660-1665,共6页
类 BA N逻辑是一种用于分析密码协议安全性的逻辑 .在分析了 BA N,A T,M B,G NY,SV O等类 BAN逻辑之后 ,指出这些逻辑的缺陷 ,包括若干新发现的缺陷 .首先把类 BA N的模型抽象出来 ,形成一个五元组模型 ,然后分析该模型的各个要素 ,并... 类 BA N逻辑是一种用于分析密码协议安全性的逻辑 .在分析了 BA N,A T,M B,G NY,SV O等类 BAN逻辑之后 ,指出这些逻辑的缺陷 ,包括若干新发现的缺陷 .首先把类 BA N的模型抽象出来 ,形成一个五元组模型 ,然后分析该模型的各个要素 ,并依据该模型对类 BA N逻辑的缺陷进行分类 ,最后指出进一步发展类 展开更多
关键词 密码协议 ban逻辑 缺陷
在线阅读 下载PDF
基于BAN逻辑的ad hoc移动网络路由协议的安全性分析 被引量：4
11
作者 王英龙 王继志 王美琴 《通信学报》 EI CSCD 北大核心 2005年第4期125-129,共5页
Ad hoc移动网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种。这使得采用形式化的方法分析其安全性成为可能。考虑ad hoc移动网络路由协议的特点,采用BAN逻辑对协议的安全性进行描述,提出了协议应满足的条件。并对... Ad hoc移动网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种。这使得采用形式化的方法分析其安全性成为可能。考虑ad hoc移动网络路由协议的特点,采用BAN逻辑对协议的安全性进行描述,提出了协议应满足的条件。并对协议的运行过程进行了形式化,给出具体的分析方法。采用该方法对安全路由协议SADSR进行了安全验证,说明方法的有效性。 展开更多
关键词 无线通信 AD HOC 路由协议 安全 ban逻辑
在线阅读 下载PDF
十年禁渔初期三峡库区干流鱼类分布特征及变化 被引量：1
12
作者 何仕文 倪达富 +7 位作者 谢伟 唐成 邓华堂 段辛斌 田辉伍 邵俭 王珂 张辉 《水生生物学报》 北大核心 2025年第2期11-23,共13页
为掌握长江十年禁渔初期三峡库区干流江段鱼类的分布特征,研究于2023年鱼类繁殖期和越冬期在库区干流江段开展了水声学探测,同步进行渔获物的调查。水声学的调查结果显示,繁殖期和越冬期鱼类平均密度分别为(5.52±10.43)和(3.26... 为掌握长江十年禁渔初期三峡库区干流江段鱼类的分布特征,研究于2023年鱼类繁殖期和越冬期在库区干流江段开展了水声学探测,同步进行渔获物的调查。水声学的调查结果显示,繁殖期和越冬期鱼类平均密度分别为(5.52±10.43)和(3.26±5.60)ind./1000 m^(3),无显著性差异(P>0.05);鱼类平均目标强度为(–59.54±6.89)和(–57.82±6.79)dB,存在极显著性差异(P<0.01)。估算得到繁殖期鱼类体长范围为1.24—156.68 cm,均值为4.15 cm,越冬期鱼类体长为1.25—155.96 cm,均值为5.06 cm。两次水声学所探测的鱼类密度在水平方向上无显著性差异;在垂直方向上,两次调查超过85%的鱼类分布在0—30 m的水深内,鱼类目标强度呈现出随着水深的增加逐渐增大的分布规律。渔获物调查显示,三峡库区以䱗(Hemiculter leucisculus)、似鳊(Pseudobrama simoni)、蛇鮈(Saurogobio dabryi)等小个体鱼类为主,外来鱼类短颌鲚(Coilia brachygnathus)数量占比较高。与蓄水175 m运行前相比,此次调查的鱼类资源分布特征未发生太大变化,平均目标强度增大,鱼类小型化趋势得到遏制。研究初步揭示了禁渔后三峡库区干流江段鱼类资源时空分布特征及其变化,积累了禁捕初期鱼类资源研究素材,可为长江十年禁渔效果评估提供基础数据参考。 展开更多
关键词 禁渔初期 三峡库区 不同时期 水声学 鱼类时空分布
在线阅读 下载PDF
用BAN逻辑方法分析SSL 3.0协议 被引量：6
13
作者 王惠芳 郭金庚 《计算机工程》 CAS CSCD 北大核心 2001年第11期147-149,共3页
形式化分析密码协议渐渐成为密码学中一个发展的新方向，因为形式化方法的确能检测出密码协议中的漏洞。ＢＡＮ逻辑是目前使用最广泛的。文章介绍了ＢＡＮ逻辑和ＳＳＬ３．０协议，并给出了用ＢＡＮ逻辑分析ＳＳＬ３．０协议的详细过程。
关键词 形式化分析 密码协议 ban逻辑 SSL3.0协议
在线阅读 下载PDF
对BAN逻辑中新鲜子的研究 被引量：6
14
作者 宋荣功 胡正名 杨义先 《电子科学学刊》 CSCD 2000年第3期505-508,共4页
本文从BAN逻辑的基本结构和基本规则出发,对BAN逻辑中的新鲜子进行了分析研究,指出BAN逻辑在实际应用中不稳固的某些本质原因并不是理想化问题,而是原基本规则中存在的某些问题所致,并进一步对此进行了相应的改进,使得BAN逻辑更趋于稳... 本文从BAN逻辑的基本结构和基本规则出发,对BAN逻辑中的新鲜子进行了分析研究,指出BAN逻辑在实际应用中不稳固的某些本质原因并不是理想化问题,而是原基本规则中存在的某些问题所致,并进一步对此进行了相应的改进,使得BAN逻辑更趋于稳固和完善。 展开更多
关键词 模态逻辑 ban逻辑 新鲜子 保密通信
在线阅读 下载PDF
基于BAN逻辑的SIP网络认证协议安全性研究 被引量：2
15
作者 张兆心 杜跃进 +1 位作者 方滨兴 张宏莉 《高技术通讯》 EI CAS CSCD 北大核心 2010年第11期1108-1114,共7页
利用BAN逻辑对会话初始化协议(SIP)网络采用的超文本传输协议(HTTP)摘要认证协议进行了形式化分析和推导。通过严格的逻辑推导,证明HTTP摘要认证协议存在不足,以及由此产生的伪装攻击。通过对逻辑推理结果和推导过程的分析,针对BAN逻辑... 利用BAN逻辑对会话初始化协议(SIP)网络采用的超文本传输协议(HTTP)摘要认证协议进行了形式化分析和推导。通过严格的逻辑推导,证明HTTP摘要认证协议存在不足,以及由此产生的伪装攻击。通过对逻辑推理结果和推导过程的分析,针对BAN逻辑提出增加消息抗否认性规则和消息新鲜性传递规则,增强了BAN逻辑的逻辑推理能力;针对HTTP摘要认证协议提出增加数字签名、公私钥机制、双向认证和密钥协商,提高了HTTP摘要认证协议的安全性。 展开更多
关键词 ban逻辑 SIP HTTP摘要认证协议 双向认证
在线阅读 下载PDF
BAN逻辑在协议分析中的密钥猜测分析缺陷 被引量：4
16
作者 杨世平 李祥 《计算机工程》 CAS CSCD 北大核心 2006年第9期126-127,130,共3页
BAN逻辑可以证明协议是否能够达到预期目标,还能够发现协议中存在的一些缺陷,为进一步改进提供参考。但是,通过一个认证协议的例子证明,该文指出,BAN逻辑对于诸如弱密钥方面存在的密钥猜测攻击的分析存在缺陷,还需结合非形化的方法来加... BAN逻辑可以证明协议是否能够达到预期目标,还能够发现协议中存在的一些缺陷,为进一步改进提供参考。但是,通过一个认证协议的例子证明,该文指出,BAN逻辑对于诸如弱密钥方面存在的密钥猜测攻击的分析存在缺陷,还需结合非形化的方法来加以解决。 展开更多
关键词 ban逻辑 认证协议 密钥猜测攻击 椭圆曲线
在线阅读 下载PDF
认证协议的形式逻辑分析方法——BAN类逻辑综述 被引量：2
17
作者 束妮娜 王亚弟 《计算机应用研究》 CSCD 北大核心 2002年第9期17-20,共4页
介绍了最早的认证协议形式化分析方法———BAN逻辑及扩展的BAN逻辑 ,统称为BAN类逻辑。并通过分析比较 ,指出了各种扩展的BAN逻辑对原BAN逻辑的扩展和改进之处。
关键词 认证协议 形式逻辑分析方法 ban类逻辑 信仰逻辑 密码 推理规则
在线阅读 下载PDF
“对BAN逻辑中新鲜子的研究”的注记 被引量：1
18
作者 袁丁 范平志 何明星 《电子与信息学报》 EI CSCD 北大核心 2002年第8期1131-1133,共3页
该文通过一个反例说明,宋荣功等“对BAN逻辑中新鲜子的研究”中关于BAN逻辑新鲜子规则条件过于严格,可能把一个安全的协议分析成不安全的协议。
关键词 密码协议 ban逻辑 新鲜子 形式化分析
在线阅读 下载PDF
紫花苜蓿BAN基因的克隆及其生物信息学分析 被引量：4
19
作者 王学敏 董洁 +2 位作者 姜霁珊 王赞 高洪文 《中国草地学报》 CSCD 北大核心 2012年第2期8-15,共8页
BANYULS(BAN)基因编码的花青素还原酶是缩合单宁合成有关的一个关键酶。利用同源克隆的原理,采用RACE的方法,从紫花苜蓿中克隆得到了BAN基因(MsBAN),并对其进行了初步的分析。该基因cDNA全长1313bp,包括开放阅读框1017bp,编码339个氨基... BANYULS(BAN)基因编码的花青素还原酶是缩合单宁合成有关的一个关键酶。利用同源克隆的原理,采用RACE的方法,从紫花苜蓿中克隆得到了BAN基因(MsBAN),并对其进行了初步的分析。该基因cDNA全长1313bp,包括开放阅读框1017bp,编码339个氨基酸,在N端存在一个NADP结合位点"VIGGTGFVASL-LIKQLLEKGY"。实时荧光定量PCR结果表明,该基因在紫花苜蓿荚果中表达量最高,花中最弱。在NaCl和PEG诱导下,MsBAN基因表达量明显高于对照。在外源激素ABA和GA3处理下,该基因被诱导表达。表明单宁可能在紫花苜蓿的抗逆性调控中也起到一定的作用。 展开更多
关键词 紫花苜蓿 ban基因 克隆 生物信息学分析 表达分析
在线阅读 下载PDF
一类群组注册协议的设计及其BAN逻辑演绎 被引量：1
20
作者 陆正福 刘吉庆 《计算机工程》 CAS CSCD 北大核心 2007年第3期157-159,共3页
MIKEY是一种可应用于实时的、多媒体通信的群组注册协议的规范。该文分析了MIKEY规范中的密钥生成、分发机制,设计了一个符合MIKEY规范、基于公钥的群组注册协议,最后应用BAN逻辑分析了该协议的安全性。
关键词 MIKEY 密钥管理 注册协议 ban逻辑
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 34 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部