期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到120篇文章
< 1 2 … 6 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于深度学习的函数体切片级C/C++智能合约漏洞检测工具
1
作者 李浴淑 邢颖 +3 位作者 陆思奇 潘恒 柴森春 斯雪明 《计算机应用》 北大核心 2025年第11期3493-3501,共9页
智能合约漏洞引发的安全事件频发,而现有检测工具对多语言支持不足,特别是缺乏对C/C++智能合约源码级别的漏洞检测能力。针对上述问题,提出基于深度学习的C/C++智能合约漏洞检测方法,并设计了函数体切片级检测工具CDFSentry。该工具从... 智能合约漏洞引发的安全事件频发,而现有检测工具对多语言支持不足,特别是缺乏对C/C++智能合约源码级别的漏洞检测能力。针对上述问题,提出基于深度学习的C/C++智能合约漏洞检测方法,并设计了函数体切片级检测工具CDFSentry。该工具从源码角度出发,借鉴深度学习在图像处理领域中的目标区域概念应用于智能合约漏洞检测。工具实现分为4步:一是提取漏洞函数体切片,获取完整函数体信息;二是对提取的切片进行标注;三是将切片编码为向量,转化为深度学习输入格式;四是完成向量标记与模型训练。此外,通过分析C/C++智能合约漏洞产生的原因,定义了5种类型的漏洞:整数溢出、权限控制、代币转移、内存管理和交易延迟,并构建了包含5 024个源码的数据集,解决了该领域开源数据集匮乏与漏洞类型不统一的问题。在该数据集上的实验结果表明,同类型的深度学习工具GNNSCVulDetector仅能检测1种漏洞,而CDFSentry可检测5种漏洞,且准确率提高了12.68个百分点。CDFSentry基于深度学习检测C/C++智能合约源码漏洞,可减少对专家依赖,且相比同类工具检测精度更高、范围更广;通过持续学习训练,它的检测能力可不断提升。 展开更多
关键词 智能合约 深度学习 函数体 漏洞检测 整数溢出 交易延迟
在线阅读 下载PDF
体散射函数及衰减系数快速剖面仪的研发及应用
2
作者 李彩 刘聪 +6 位作者 张现清 陈飞 肖志会 杨泽明 郑媛宁 周雯 许占堂 《热带海洋学报》 CAS CSCD 北大核心 2024年第2期1-11,共11页
水体体散射函数(volume scattering function, VSF,β(θ,λ))、吸收系数a(λ)及衰减系数c(λ)是海水固有光学特性的基础性参数,基于上述参数可以进一步推算得到水体所有特征性光学特性参数,进而为海洋初级生产力、全球碳循环等基础和... 水体体散射函数(volume scattering function, VSF,β(θ,λ))、吸收系数a(λ)及衰减系数c(λ)是海水固有光学特性的基础性参数,基于上述参数可以进一步推算得到水体所有特征性光学特性参数,进而为海洋初级生产力、全球碳循环等基础和前端领域研究以及水色遥感、水环境监测及灾害预警、水下光场分布、目标追踪、光伏发电等军民融合领域的应用和发展提供重要的数据支撑。受限于体散射函数的强方向性,其测量技术难度大且发展不成熟。文章以高角度分辨率多角度体散射函数及衰减系数高频剖面测量为目标,研发了可同步获取17个角度体散射函数、水体衰减系数、剖面深度及温度信息的快速剖面测量仪(volume scattering and attenuation meter,VSAM),其测量频率最高可达20Hz,体散射函数测量角度范围为10°~170°,角度分辨率10°,剖面最大工作深度200m。利用VSAM对三亚湾和崖州湾水体光学特性分布进行剖面调查研究:整体上,崖州湾和三亚湾水体体散射函数及衰减系数均存在较大的水平、垂直及角度(体散射函数)变化特征;同一水层,自西向东衰减及体散射函数呈递减趋势;同一站位,衰减及体散射函数随剖面深度呈递增趋势;前向10°体散射函数最大,后向120°体散射函数最小,前后向体散射函数相差2个数量级甚至更高。结合同期获取的水体浊度和叶绿素浓度剖面调查结果发现,浊度是崖州湾水体体散射函数及衰减系数显著高于三亚湾的主导贡献者,且上述海域水体浊度与颗粒物散射βp(90°, 650)及衰减cp(6 50)具有很好的线性相关性。VSAM测得的衰减系数及后向体散射函数分别与Viper(Trios公司,德国)及ECO-VSF3 (Seabird公司,美国)测量结果在剖面分布上具有较好的一致性。 展开更多
关键词 体散射函数 衰减系数 剖面测量 三亚湾 崖州湾
在线阅读 下载PDF
代数体函数的导函数的级 被引量：9
3
作者 张少华 孙道椿 《数学物理学报（A辑）》 CSCD 北大核心 2005年第6期933-938,共6页
讨论了代数体函数的导函数,并首次证明了它也是代数体函数,证明了有限级整代数体函数的级等于其导函数级.
关键词 代数体函数的导函数 整代数体函数 级
在线阅读 下载PDF
水体体散射函数测量技术研究进展 被引量：7
4
作者 李彩 曹文熙 +6 位作者 柯天存 周雯 杨跃忠 卢桂新 郭超英 王桂芬 孙兆华 《热带海洋学报》 CAS CSCD 北大核心 2013年第5期65-72,共8页
用于描述水体中光散射方向性的体散射函数是模拟或计算海面热平衡、海洋浮游植物生产力、光反应化合物的化学传输的基础性固有光学特性参数,在水色遥感、水下目标光学探测以及生态要素检测等海洋学领域具有重要的意义。体散射函数的检... 用于描述水体中光散射方向性的体散射函数是模拟或计算海面热平衡、海洋浮游植物生产力、光反应化合物的化学传输的基础性固有光学特性参数,在水色遥感、水下目标光学探测以及生态要素检测等海洋学领域具有重要的意义。体散射函数的检测是一项重要而又棘手的国际难题,目前依然处于一个不断探索完善的阶段。文章从原理出发,归纳总结了国际国内有关水体散射特性,特别是体散射函数的测量方法以及基于上述方法的海水散射特性研究进展,并对今后水体体散射函数测量方法的总体研究趋势进行了展望。 展开更多
关键词 体散射函数 散射特性 测量技术 测量原理
在线阅读 下载PDF
代数体函数的唯一性定理 被引量：17
5
作者 孙道椿 高宗升 《华南师范大学学报（自然科学版）》 CAS 2005年第3期80-85,共6页
定义了代数体函数的加法及乘法,并证明了运算后的结果仍是代数体函数.并应用新定义的加法,将联系重值的唯一性定理推广到多值的代数体函数.
关键词 代数体函数 唯一性定理 特征函数
在线阅读 下载PDF
关于代数体函数的最大型Borel方向 被引量：18
6
作者 高宗升 孙道椿 《数学年刊（A辑）》 CSCD 北大核心 1997年第6期701-710,共10页
本文得到下列结果：（１）有限正级代数体函数存在最大型Ｂｏｒｅｌ方向；（２）有限正级代数体函数最大型Ｂｏｒｅｌ方向上存在充满圆序列．
关键词 代数体函数 BOREL方向 充满圆序列 函数值分布
在线阅读 下载PDF
零级代数体函数的强Borel方向 被引量：11
7
作者 甘会林 孙道椿 《数学物理学报（A辑）》 CSCD 北大核心 2005年第5期673-677,共5页
该文证明了平面上满足一定条件的零级代数体函数至少存在一条强Borel方向,并且它还是通常的关于型函数的Borel方向.
关键词 代数体函数 零级 强Borel方向 型函数
在线阅读 下载PDF
给定Borel方向的代数体函数 被引量：2
8
作者 张少华 刘慧芳 孙道椿 《数学物理学报（A辑）》 CSCD 北大核心 2016年第3期401-412,共12页
通常所说的代数体函数是指由不可约的二元复方程(1.1)确定的多值函数.由于二元复方程的可约性的验证存在难度且不可约的二元复方程在局部区域可能是可约的,因此该文研究了由一般二元复方程(不一定要求不可约)确定的代数体函数在圆盘内... 通常所说的代数体函数是指由不可约的二元复方程(1.1)确定的多值函数.由于二元复方程的可约性的验证存在难度且不可约的二元复方程在局部区域可能是可约的,因此该文研究了由一般二元复方程(不一定要求不可约)确定的代数体函数在圆盘内的基本性质,并应用这些性质构造了具有给定Borel方向的无穷级代数体函数. 展开更多
关键词 代数体函数 无穷级 BOREL方向
在线阅读 下载PDF
具有公共小函数的代数体函数的唯一性 被引量：4
9
作者 刘慧芳 孙道椿 《数学物理学报（A辑）》 CSCD 北大核心 2015年第2期274-281,共8页
该文研究了两个v值代数体函数具有4v+1个公共小代数体函数的唯一性问题,将亚纯函数关于小函数的几个唯一性定理推广到了代数体函数.
关键词 代数体函数 公共小函数 唯一性
在线阅读 下载PDF
代数体函数涉及重值的奇异方向 被引量：3
10
作者 柳学坤 方华强 《华中师范大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第2期149-152,共4页
利用型函数的方法研究了代数体函数奇异方向,证明了满足条件lim——r→∞T(r,w)log2r=∞的有限代数体函数涉及重值的Borel方向的存在性.结果是对文献[4]中结论的推广;同时,还精细了文献[3]中得到的结果.
关键词 代数体函数 重值 BOREL方向
在线阅读 下载PDF
代数体函数与其系数函数的Borel点 被引量：1
11
作者 孙道椿 张少华 +1 位作者 吴昭君 郭晓晶 《华南师范大学学报（自然科学版）》 CAS 北大核心 2014年第1期11-16,共6页
研究了代数体函数的系数函数的Borel点与代数体函数的Borel点之间的关系.先证明了定义在单位圆内的代数体函数的几个定理,然后利用这些新定理证明了:eit是单位圆内整代数体函数W(z)的p(>1)级Borel点的充分必要条件是至少存在一个正整... 研究了代数体函数的系数函数的Borel点与代数体函数的Borel点之间的关系.先证明了定义在单位圆内的代数体函数的几个定理,然后利用这些新定理证明了:eit是单位圆内整代数体函数W(z)的p(>1)级Borel点的充分必要条件是至少存在一个正整数j{0,1,2,…,k-1},使eit是系数函数A j(z)的p级Borel点. 展开更多
关键词 代数体函数 系数函数 BOREL点
在线阅读 下载PDF
海水中悬浮粒子归一化体散射函数的研究 被引量：3
12
作者 苏丽萍 任德明 +2 位作者 曲彦臣 胡孝勇 钱黎明 《激光杂志》 CAS CSCD 北大核心 2006年第5期65-66,共2页
利用Mie散射理论计算了海水中悬浮粒子的归一化体散射函数。海水中悬浮粒子的尺寸分布采用双曲线模型。分别研究了分布函数的幂指数ξ、海水悬浮粒子的折射率n以及入射激光波长λ对海水悬浮粒子归一化体散射函数的影响,并对结果进行了... 利用Mie散射理论计算了海水中悬浮粒子的归一化体散射函数。海水中悬浮粒子的尺寸分布采用双曲线模型。分别研究了分布函数的幂指数ξ、海水悬浮粒子的折射率n以及入射激光波长λ对海水悬浮粒子归一化体散射函数的影响,并对结果进行了分析。 展开更多
关键词 MIE理论 归一化体散射函数 粒子尺寸分布
在线阅读 下载PDF
零级代数体函数涉及重值的Borel点 被引量：3
13
作者 甘会林 孙道椿 《江西师范大学学报（自然科学版）》 CAS 北大核心 2005年第2期146-149,共4页
证明了单位圆内一类零级代数体函数存在涉及重值的Borel点.
关键词 BOREL点 代数体函数 重值 零级 单位圆
在线阅读 下载PDF
单位圆盘内一类亚纯代数体函数的最大型聚值点 被引量：5
14
作者 刘敏思 李纯红 《华中师范大学学报（自然科学版）》 CAS CSCD 1995年第3期285-288,共4页
孙道椿证明了单位圆内一类零级亚纯函数的最大型聚值点存在性定理，本文将这一结果在一定程度上推广到了亚纯代数体函数．
关键词 代数体函数 最大型聚值点 半纯函数 单位圆
在线阅读 下载PDF
关于单位圆内代数体函数的最大型博雷尔点 被引量：3
15
作者 刘孝书 郭志林 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2005年第3期92-94,共3页
在开平面上有穷正级代数体函数存在最大型博雷尔方向这一工作成果的基础上,证实了单位圆内有穷正级代数体函数的最大型博雷尔点的存在性。
关键词 代数体函数 最大型博雷尔点 单位圆
在线阅读 下载PDF
关于一类一般型代数体函数的唯一性定理 被引量：4
16
作者 涂振汉 肖修治 《应用数学》 CSCD 1997年第1期13-16,共4页
利用值分布理论的技巧，研究了一类代数体函数的唯一性定理．将以往的唯一性定理中的常量推广到慢增长的亚纯函数．实例完善了本文的结论．
关键词 代数体函数 值分布 唯一性定理 亚纯函数
在线阅读 下载PDF
关于单位圆内代数体函数的Borel点 被引量：2
17
作者 张洪申 孙道椿 《数学物理学报（A辑）》 CSCD 北大核心 2011年第6期1512-1520,共9页
应用型函数,研究了单位圆内代数体函数Borel点的存在性,在相同条件下,改进了现有文献所得结果.
关键词 单位圆 代数体函数 BOREL点 型函数.
在线阅读 下载PDF
与其导数具有公共值的代数体函数的唯一性定理 被引量：2
18
作者 刘慧芳 孙道椿 《数学物理学报（A辑）》 CSCD 北大核心 2011年第5期1335-1344,共10页
该文定义了代数体函数与其导数的公共值,并得到了几个关于代数体函数与其导数具有公共值的唯一性定理.
关键词 代数体函数 函数元素 公共值 唯一性.
在线阅读 下载PDF
代数体函数与其系数函数的Borel方向间的关系 被引量：1
19
作者 张少华 吴昭君 孙道椿 《数学年刊（A辑）》 CSCD 北大核心 2014年第3期299-306,共8页
研究了代数体函数w(z)的Borel方向和确定该代数体函数的复方程A_k(z)w^k+_(Ak-1)(z)w~_(k-1)+…+A_0(z)=0的系数函数A_k(z),A_(k-1)(z),…,A_0(z)的Borel方向之间的关系.
关键词 代数体函数 系数函数 BOREL方向
在线阅读 下载PDF
关于代数体函数的重值与唯一性 被引量：7
20
作者 仪洪勋 《工程数学学报》 CSCD 1991年第4期1-8,共8页
关于代数体函数的重值与唯一性问题。曾为Valiron,Baganas,熊庆来,何育赞等人所研究,本文对上述问题进行了讨论,得出了若干较为精进的结果。
关键词 代数体函数 重值 唯一性
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 6 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部