期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到618篇文章
< 1 2 … 31 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
太极拳姿势训练联合Bobath疗法对脑卒中偏瘫患者步态康复的影响
1
作者 吴家宝 孙伊婷 +11 位作者 张勇 孙三峰 谢春荣 周莉 葛杜娟 赵明智 滕驰 陈恺 景城阳 李玉月 李莹洁 李宗衡 《现代中西医结合杂志》 CAS 2024年第3期306-315,共10页
目的探讨太极拳姿势训练联合Bobath疗法对缺血性脑卒中偏瘫患者步态康复的影响。方法将2017年4月-2022年4月就诊于北京中医药大学东直门医院和北京中医医院怀柔医院的120例缺血性脑卒中偏瘫患者随机分为试验组和对照组,对照组患者接受Bo... 目的探讨太极拳姿势训练联合Bobath疗法对缺血性脑卒中偏瘫患者步态康复的影响。方法将2017年4月-2022年4月就诊于北京中医药大学东直门医院和北京中医医院怀柔医院的120例缺血性脑卒中偏瘫患者随机分为试验组和对照组,对照组患者接受Bobath疗法训练,试验组患者接受太极拳姿势训练与Bobath疗法训练,2组疗程均为4周。于入组时及治疗4周后分别进行压力步道测试,分析比较2组患者全足平衡性、足底力学参数[趾骨区(T1-T5)、跖骨区(M1-M5)、中足区、足跟内侧区(HM)、足跟外侧区(HL)的冲量、触地面积、最大压力峰值、最大压强峰值]及基本时空参数[步长、步宽、步幅、步速、行走支撑时相、足轴角]、临床量表评分[量表包括美国国立卫生研究院卒中量表(NIHSS)、Fugl-Meyer评分量表(FMA)、Berg平衡量表(BBS)、Bathel指数(BI)、修订Rankin量表(mRS)、脑卒中生活质量量表(SSQOL)]、肌张力Ashworth分级、Brunnstrom分级,并分析2组差异有统计学意义的指标间的关联性。结果试验组和对照组各50例完成研究。治疗后,试验组的全足平衡曲线更平滑,T2-5趾与M1、M2最大压强峰值和T1触地面积均明显增大(P均<0.05),足轴角减小(P<0.05);对照组的全足平衡曲线出现分离现象,M3触地面积增大(P<0.05),HL触地面积和冲量减小(P均<0.05);2组步速均增快,患侧支撑相及步态周期均缩短,步长、步幅均增大,差异均有统计学意义(P均<0.05)。治疗后试验组M1最大压力峰值、步长、步幅均明显大于对照组,M3触地面积和足轴角明显小于对照组,步速明显快于对照组,患侧支撑相及步态周期均明显短于对照组,Ashworth分级、Brunnstrom患侧下肢分级、mRS评分均明显低于对照组,FMA下肢评分、Berg评分、BI评分均明显高于对照组,差异均有统计学意义(P均<0.05)。结论太极拳姿势训练联合Bobath疗法能够重新分配缺血性脑卒中偏瘫患者足底压力,有效改善患者平衡能力和步行能力。 展开更多
关键词 步行能力 缺血性脑卒中 偏瘫步态 太极拳姿势训练
下载PDF
大语言模型安全现状与挑战
2
作者 赵月 何锦雯 +3 位作者 朱申辰 李聪仪 张英杰 陈恺 《计算机科学》 CSCD 北大核心 2024年第1期68-71,共4页
大语言模型因其出色的文本理解和生成能力,被广泛应用于自然语言处理领域并取得了显著成果,为社会各界带来了巨大的便利。然而,大语言模型自身仍存在明显的安全问题,严重影响其应用的可信性与可靠性,是安全学者需广泛关注的问题。文中... 大语言模型因其出色的文本理解和生成能力,被广泛应用于自然语言处理领域并取得了显著成果,为社会各界带来了巨大的便利。然而,大语言模型自身仍存在明显的安全问题,严重影响其应用的可信性与可靠性,是安全学者需广泛关注的问题。文中针对大语言模型自身的安全问题,首先从基于大语言模型的恶意应用问题切入,阐述提示注入攻击及其相应的防御方法;其次,介绍大语言模型幻觉带来的可信问题,对幻觉问题的量化评估、幻觉来源和缓解技术是当前研究的重点;然后,大语言模型隐私安全问题强调了个人及企业数据的保护问题,一旦在进行人机交互时泄露商业秘密和个人敏感信息,将可能引发严重的安全风险,当前研究主要通过可信执行环境和隐私计算技术来进行风险规避;最后,提示泄露问题关注攻击者如何窃取有价值的提示词进行获利或通过个性化提示词泄露个人隐私。提升大语言模型的安全性需要综合考虑模型隐私保护、可解释性研究以及模型分布的稳定性与鲁棒性等问题。 展开更多
关键词 大语言模型 人工智能安全 恶意应用 模型幻觉 隐私安全 提示泄露
下载PDF
基于算力-能量全分布式在线共享的5G网络负荷管理策略
3
作者 孙毅 陈恺 +4 位作者 郑顺林 王文婷 于芃 李开灿 董文秀 《电力系统保护与控制》 EI CSCD 北大核心 2024年第9期154-165,共12页
5G与边缘计算等信息基础设施海量部署造成运营商用电成本上升,需推动边缘网络与电网的能量互动以节能降本。现有研究重点关注边缘网络参与日前经济调度,未考虑可再生能源和网络流量双重随机性造成的网络能量供需不平衡问题。针对强随机... 5G与边缘计算等信息基础设施海量部署造成运营商用电成本上升,需推动边缘网络与电网的能量互动以节能降本。现有研究重点关注边缘网络参与日前经济调度,未考虑可再生能源和网络流量双重随机性造成的网络能量供需不平衡问题。针对强随机环境下的网络负荷管理问题,提出面向虚拟化边缘网络的能量实时管理策略。首先,以网络用能成本最小化为目标,构建联合网络资源管理、储能充放电与能量共享模型。其次,针对未来网络信息未知无法直接求解的问题,提出基于随机对偶次梯度法的在线管理策略。然后,针对资源共享涉及运营商隐私问题,提出全分布式的计算资源与能量协同共享算法。最后,仿真验证表明,所提在线算法在无需先验知识的前提下有效减少了5G边缘网络的用能成本。 展开更多
关键词 5G通信 在线调度 信息能量耦合 资源共享 随机对偶次梯度法 联邦梯度下降法
下载PDF
智能电网建设下分布式发电继电保护技术探析
4
作者 陈恺 《科技资讯》 2024年第4期103-106,共4页
分布式发电具有低成本、低能耗、高效率的优势,在智能电网中应用能够实现智能控制,降低发电成本,减少污染排放,符合节能减排的发展目标。分析了分布式发电在智能电网中的应用现状和趋势,提出了基于智能电网系统的分布式发电控制策略,经... 分布式发电具有低成本、低能耗、高效率的优势,在智能电网中应用能够实现智能控制,降低发电成本,减少污染排放,符合节能减排的发展目标。分析了分布式发电在智能电网中的应用现状和趋势,提出了基于智能电网系统的分布式发电控制策略,经技术测试后发现,该技术体系对提高电网运行效率、促进电力企业发展具有重要意义。 展开更多
关键词 智能电网 电网建设 分布式发电 继电保护技术
下载PDF
基于图像取反的同心圆环半径和圆心提取方法
5
作者 欧阳烨锋 崔建军 +3 位作者 张宝武 陈恺 杨宁 方振远 《激光技术》 CSCD 北大核心 2024年第1期135-139,共5页
为了解决非定域干涉同心圆环图像的圆心和半径的精确提取问题,提出了一种基于图像取反的暗亮环兼顾的算法,以点光源非定域干涉同心圆环为对象,在平滑降噪预处理基础上,利用霍夫圆变换获得参考圆心,以参考圆心为基础分别在其x方向和y方向... 为了解决非定域干涉同心圆环图像的圆心和半径的精确提取问题,提出了一种基于图像取反的暗亮环兼顾的算法,以点光源非定域干涉同心圆环为对象,在平滑降噪预处理基础上,利用霍夫圆变换获得参考圆心,以参考圆心为基础分别在其x方向和y方向上[-50,50]像素范围内每隔5 pixel取一条强度轮廓线,每一条强度轮廓线取反后,分别实现暗环和亮环峰位坐标的精确识别,再利用圆回归拟合得到系列圆心和半径,通过系列圆心和半径的平均运算实现图像最终圆心和半径的精确提取。结果表明,靠近中心的3个亮环和3个暗环各自的圆心坐标非常接近,相对于总平均值的最大偏差为-3.7 pixel,即相对于总平均值的最大相对偏差为-0.15%,重复性很好;相邻两个圆环半径平方比值相对于实际比值的误差在-4.18%~0.36%之间变化,验证了算法的可行性。该研究对实现自动化检测、提高测量精度是有帮助的。 展开更多
关键词 图像处理 非定域干涉 霍夫圆变换 图像取反 同心圆环
下载PDF
光谱共焦传感器多参数高准确度校准
6
作者 杨品澒 唐波 +3 位作者 崔建军 陈恺 宋佩颉 彭璐 《计量学报》 CSCD 北大核心 2024年第3期412-418,共7页
针对高准确度光谱共焦传感器缺乏相应校准装置及方法的问题,提出了一种基于激光干涉测量的校准方法,并研制了相应的校准装置。一方面,提出了一种波长倍数间隔测量法,通过位移反馈控制将位移间隔设置为激光波长的整数倍,以减小激光干涉... 针对高准确度光谱共焦传感器缺乏相应校准装置及方法的问题,提出了一种基于激光干涉测量的校准方法,并研制了相应的校准装置。一方面,提出了一种波长倍数间隔测量法,通过位移反馈控制将位移间隔设置为激光波长的整数倍,以减小激光干涉仪非线性误差对测量的影响;另一方面,提出了测点修正算法,消除了受检点处位移标准值因校准装置定位准确度限制不重合对测量的影响。实验结果表明:在0~100μm的测量范围内,示值误差为±23 nm,重复性为5 nm,示值误差测量结果的扩展不确定度U_(2)=7.0 nm(k=2)。构建的校准装置在0~50 mm的测量范围内的示值误差测量结果不确定度为U_(1)=3.0 nm+2×10^(-7)L(k=2)。 展开更多
关键词 几何量计量 光谱共焦传感器 干涉仪非线性 测点修正算法 测量不确定度
下载PDF
技术与教学何以互适共生——一个技术融合矩阵
7
作者 王兴宇 陈恺 《当代教育科学》 北大核心 2024年第2期52-60,共9页
技术与教学的关系是一个常谈常新的命题,关乎教学生态的健康、有序、高质量发展。弗罗里达教学技术中心建构的“技术融合矩阵”是全面认识技术与教学关系的重要视角:矩阵包含有意义学习与技术应用水平两个维度,经历过三轮迭代完善,形成... 技术与教学的关系是一个常谈常新的命题,关乎教学生态的健康、有序、高质量发展。弗罗里达教学技术中心建构的“技术融合矩阵”是全面认识技术与教学关系的重要视角:矩阵包含有意义学习与技术应用水平两个维度,经历过三轮迭代完善,形成了以多重工具助推、以松散递进的系统设计为特征的逻辑结构。矩阵的深层意蕴表现在:促进意义建构是技术与教学融合的旨归,技术与教学的融合面临此消彼长的挑战,技术与教学的融合需要二者的异质共生。 展开更多
关键词 技术 教学 技术融合矩阵 有意义学习
下载PDF
前言
8
作者 孟国柱 陈恺 +1 位作者 卜磊 蒲戈光 《信息安全学报》 CSCD 2023年第3期I0002-I0003,共2页
随着人工智能技术在社会、经济和生活领域的不断渗透和应用,人工智能的安全问题也得到研究人员的广泛关注。以深度学习为代表的人工智能技术存在鲁棒性、模型后门、公平性和隐私等问题,并且由于神经网络模型的高复杂性和难解释性,导致... 随着人工智能技术在社会、经济和生活领域的不断渗透和应用,人工智能的安全问题也得到研究人员的广泛关注。以深度学习为代表的人工智能技术存在鲁棒性、模型后门、公平性和隐私等问题,并且由于神经网络模型的高复杂性和难解释性,导致这些安全隐患无法得到有效的检测和防御。特别在航空航天、智慧医疗、无人驾驶等安全攸关领域对人工智能的可信、可靠和可解释上提出更高的要求,因此如何保障人工智能的安全成为国内外研究的趋势及热点。 展开更多
关键词 人工智能技术 神经网络模型 深度学习 航空航天 无人驾驶 智慧医疗 安全隐患 解释性
下载PDF
他汀类药物联合多奈哌齐治疗NAFLD合并AD的疗效及对LCN2的影响
9
作者 何盛泉 黄竹锋 +1 位作者 陈恺 朱伟谦 《黑龙江医药》 CAS 2024年第1期1-3,共3页
目的:探讨他汀类药物联合多奈哌齐治疗NAFLD合并AD的疗效及对LCN2的影响。方法:选择本院2021年1月—2023年6月收治的66例NAFLD合并AD患者为研究对象,按电脑随机法分组,分为观察组(33例)和对照组(33例);对照组给予多奈哌齐治疗,观察组在... 目的:探讨他汀类药物联合多奈哌齐治疗NAFLD合并AD的疗效及对LCN2的影响。方法:选择本院2021年1月—2023年6月收治的66例NAFLD合并AD患者为研究对象,按电脑随机法分组,分为观察组(33例)和对照组(33例);对照组给予多奈哌齐治疗,观察组在对照组基础上加用他汀类药物,比较两组治疗效果。结果:治疗后,观察组患者的氧化应激指标(MDA、SOD)对比具有显著差异(P<0.05),且观察组患者的SOD水平更高,MDA水平更低(P<0.05);治疗后,观察组ADL和MMSE评分高于对照组(P<0.05);治疗后,两组患者的LCN2水平明显降低,且观察组患者的LCN2指标低于对照组(P<0.05);治疗后,两组患者的不良反应发生率(6.06%VS18.18%)对比差异不大(t=2.276,P=0.131)。结论:在他汀类药物联合多奈哌齐治疗NAFLD合并AD的疗效十分显著,可加以应用和推广。 展开更多
关键词 他汀类药物 多奈哌齐 NAFLD合并AD 疗效 LCN2
下载PDF
基于萤火虫算法的二维熵多阈值快速图像分割 被引量：82
10
作者 陈恺 陈芳 +2 位作者 戴敏 张志胜 史金飞 《光学精密工程》 EI CAS CSCD 北大核心 2014年第2期517-523,共7页
提出了基于萤火虫算法的二维熵多阈值快速图像分割方法以改善分割复杂图像和多目标图像时存在计算量大、计算时间长的问题。首先,分析了二维熵阈值分割原理,将二维熵单阈值分割扩展到二维熵多阈值分割。然后,引入萤火虫算法的思想,研究... 提出了基于萤火虫算法的二维熵多阈值快速图像分割方法以改善分割复杂图像和多目标图像时存在计算量大、计算时间长的问题。首先,分析了二维熵阈值分割原理,将二维熵单阈值分割扩展到二维熵多阈值分割。然后,引入萤火虫算法的思想,研究了萤火虫算法的仿生原理和寻优过程;提出了基于萤火虫算法的二维熵多阈值快速图像分割方法。最后,使用该方法对典型图像进行阈值分割实验,并与二维熵穷举分割法、粒子群算法(PSO)二维熵多阈值分割法进行比较。实验结果表明:该方法在单阈值分割、双阈值分割和三阈值分割时分别比二维熵穷举分割法快3.91倍,1040.32倍和8128.85倍;另外,在阈值选取的准确性和计算时间方面均优于PSO二维熵多阈值分割法。结果显示,基于萤火虫算法的二维熵多阈值快速图像分割方法能快速有效地解决复杂图像和多目标图像的分割问题。 展开更多
关键词 图像分割 多阈值分割 二维熵 萤火虫算法
下载PDF
不同干制方式对新疆哈密大枣香气成分的影响 被引量：23
11
作者 陈恺 李琼 +3 位作者 周彤 付冰 李瑾瑜 李焕荣 《食品科学》 EI CAS CSCD 北大核心 2017年第14期158-163,共6页
通过不同干制方式对新疆哈密大枣进行处理,采用顶空固相微萃取联合气相色谱-质谱联用分析鉴定40℃干制、45℃干制、晒干、阴干和鲜枣的香气成分及相对含量,探索不同干制方式对红枣香气成分的影响。结果表明:50/30 μm DVB/CAR/PDMS纤维... 通过不同干制方式对新疆哈密大枣进行处理,采用顶空固相微萃取联合气相色谱-质谱联用分析鉴定40℃干制、45℃干制、晒干、阴干和鲜枣的香气成分及相对含量,探索不同干制方式对红枣香气成分的影响。结果表明:50/30 μm DVB/CAR/PDMS纤维头对红枣香气成分的灵敏度最佳,检出的香气成分种类和相对含量也最多,明显优于其他纤维头。5种红枣样品中共分离出66种香气成分,主要香气物质种类为醛类、酯类、酸类和酮类。采用主成分分析法对香气物质种类评价结果可知:45℃干制处理的红枣香气品质最佳,其次是40℃干制和晒干处理的红枣,阴干处理的样品香气品质最差。 展开更多
关键词 红枣 干制 香气成分 主成分分析
下载PDF
一种多周期漏洞发布预测模型 被引量：6
12
作者 陈恺 冯登国 +2 位作者 苏璞睿 聂楚江 张晓菲 《软件学报》 EI CSCD 北大核心 2010年第9期2367-2375,共9页
提出了一种多周期漏洞发布预测模型,描述了漏洞发现数量与时间的关系,预测漏洞发布过程.该模型引入周期概念,扩展了原单一增长过程的漏洞发布预测模型,增大了现有模型的适用范围.提出了相关参数的计算方法与初值选取方法,对8个版本的Win... 提出了一种多周期漏洞发布预测模型,描述了漏洞发现数量与时间的关系,预测漏洞发布过程.该模型引入周期概念,扩展了原单一增长过程的漏洞发布预测模型,增大了现有模型的适用范围.提出了相关参数的计算方法与初值选取方法,对8个版本的Windows操作系统进行实验分析.结果表明,该模型增加了预测过程的有效性,同时提高了预测结果的准确性. 展开更多
关键词 漏洞 预测 模型 多周期 CSF
下载PDF
利用电子钱包的有效的公正支付系统 被引量：9
13
作者 陈恺 杨波 +1 位作者 王育民 肖国镇 《计算机学报》 EI CSCD 北大核心 2001年第11期1191-1195,共5页
该文提出了一个有效的利用电子钱包的公正支付系统 .系统中用户只拥有一个银行账号 ;提款时用户得到一个关于本人身份字的盲签名并向银行提供构造正确的供跟踪的信息 ;支付时用户在防窜扰卡的协助下向商家证明所支付电子现金的有效性 ,... 该文提出了一个有效的利用电子钱包的公正支付系统 .系统中用户只拥有一个银行账号 ;提款时用户得到一个关于本人身份字的盲签名并向银行提供构造正确的供跟踪的信息 ;支付时用户在防窜扰卡的协助下向商家证明所支付电子现金的有效性 ,并提供可跟踪的正确信息 ;委托人完全离线 ,不参与系统中除跟踪协议以外的任何协议的执行 ,仅需要保存好自己的密钥并在需要跟踪时使用之 .系统的安全性基于离散对数困难问题 ,分析表明该系统是安全有效的 . 展开更多
关键词 电子钱包 公正支付系统 银行 电子商务
下载PDF
基于有限约束满足问题的溢出漏洞动态检测方法 被引量：10
14
作者 陈恺 冯登国 苏璞睿 《计算机学报》 EI CSCD 北大核心 2012年第5期898-909,共12页
溢出型漏洞是最为普遍且最具危害的漏洞类型之一,溢出漏洞检测也是目前国内外研究的热点问题.目前漏洞检测方法主要分为白盒测试和黑盒测试两类.前者主要针对程序指令进行漏洞分析,但存在效率较低、检测结果不准确等缺点;后者难以保证... 溢出型漏洞是最为普遍且最具危害的漏洞类型之一,溢出漏洞检测也是目前国内外研究的热点问题.目前漏洞检测方法主要分为白盒测试和黑盒测试两类.前者主要针对程序指令进行漏洞分析,但存在效率较低、检测结果不准确等缺点;后者难以保证程序覆盖的全面性与测试数据的针对性.文中提出了一种基于有限约束满足性问题(Constraint Satisfaction Problem,CSP)的溢出漏洞动态检测方法.在程序执行过程中,结合动态污点传播和动态循环分析,选取可能产生溢出漏洞的语句并生成CSP表达式,表达式包括语句的执行条件和漏洞产生条件两部分;通过对此CSP表达式化简求解,验证漏洞的存在性与漏洞的触发条件.该方法可直接分析可执行程序,解决了间接跳转、多态代码等静态分析中难以解决的问题.为了验证该方法的有效性,作者开发了一套原型系统并进行相关实验,结果表明该方法缩小了漏洞分析范围,提高了分析效率. 展开更多
关键词 计算机安全 漏洞检测 动态检测 CSP 可执行程序
下载PDF
可撤消匿名性的可分电子现金系统 被引量：12
15
作者 陈恺 胡予濮 肖国镇 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2001年第1期57-61,共5页
首次将可信方引入可分电子现金系统的研究 ,给出一个可撤消匿名性的可分电子现金系统 .该系统放弃了Okamoto提出的计算复杂的二叉树表示方法 ,以非常简单的方法实现一个电子现金的多次合法的精确支付 ,既提高了效率 ,又可防止利用电子... 首次将可信方引入可分电子现金系统的研究 ,给出一个可撤消匿名性的可分电子现金系统 .该系统放弃了Okamoto提出的计算复杂的二叉树表示方法 ,以非常简单的方法实现一个电子现金的多次合法的精确支付 ,既提高了效率 ,又可防止利用电子现金的匿名性进行犯罪 .由于一个可分的电子现金可以被合法的支付多次 ,故该系统中不存在重复支付的问题 ,但有超额支付的问题 .系统中的可信方是完全离线的 ,不需要参与除跟踪协议。 展开更多
关键词 可分电子现金系统 可撤消匿名性 电子商务 金融
下载PDF
基于概率验证的可分电子现金系统 被引量：13
16
作者 陈恺 张玉清 肖国镇 《计算机研究与发展》 EI CSCD 北大核心 2000年第6期752-757,共6页
给出了一种概率验证方案，以决定匿名可分电子现金系统在支付时采用联机验证还是脱机验证，从而减少脱机电子现金系统由于用户的重复支付而产生的损失额．同时为消除由于加人概率验证方案而增加的支付时间，采用并行处理的方法以提高效率．
关键词 可分电子现金系统 概率验证 电子支付系统 银行
下载PDF
ICP-AES法同时测定新疆红枣中的12种元素 被引量：10
17
作者 陈恺 李瑾瑜 +1 位作者 李琼 李焕荣 《食品与机械》 CSCD 北大核心 2015年第1期78-81,共4页
利用湿法消解分别处理新疆地区3个品种的红枣样品,采用电感耦合等离子发射光谱法测定红枣中Na、Mg、Al、K等12种元素的含量。该方法的相关系数r>0.998;元素测定除个别值外,RSD均小于5%。结果表明:新疆红枣中的矿物质元素含量丰富,尤... 利用湿法消解分别处理新疆地区3个品种的红枣样品,采用电感耦合等离子发射光谱法测定红枣中Na、Mg、Al、K等12种元素的含量。该方法的相关系数r>0.998;元素测定除个别值外,RSD均小于5%。结果表明:新疆红枣中的矿物质元素含量丰富,尤以K(>12 277μg/g),Ca(>785μg/g),Mg(>646μg/g),Na(425μg/g),Al(>179μg/g),Fe(>22μg/g)含量较高,阿克苏骏枣和哈密大枣的K和Fe含量均高于其他地区和品种的枣。 展开更多
关键词 红枣 微量元素 电感耦合等离子发射光谱法 湿法消解
下载PDF
基于延后策略的动态多路径分析方法 被引量：9
18
作者 陈恺 冯登国 苏璞睿 《计算机学报》 EI CSCD 北大核心 2010年第3期493-503,共11页
多路径分析是弥补传统动态分析方法的不足、对可执行程序全面分析的重要方法之一.现有多路径方法主要采用随机构造或者根据路径条件构造输入进行路径触发,这两者均存在路径分析不全面和缺乏针对性的问题.文中通过对路径条件分析,确定了... 多路径分析是弥补传统动态分析方法的不足、对可执行程序全面分析的重要方法之一.现有多路径方法主要采用随机构造或者根据路径条件构造输入进行路径触发,这两者均存在路径分析不全面和缺乏针对性的问题.文中通过对路径条件分析,确定了检测条件的基本组成元素,提出了弱控制依赖和路径引用集的概念和计算规则,并以此为基础提出一种延后策略的多路径分析方法.在程序分析过程中,对特定的程序检测点和检测点条件,有针对性地进行路径筛选,从语义上进行路径表达式简化,在保证检测点可达和检测表达式具有相同构造形式的前提下,简化检测表达式,减少分析路径的数量.对7款恶意软件的分析实验结果表明,该方法提高了分析效率和准确性. 展开更多
关键词 多路径分析 可执行程序 漏洞检测 动态分析 延后策略
下载PDF
移动通信系统中有效的身份认证方案和支付协议 被引量：11
19
作者 陈恺 刘莹 肖国镇 《通信学报》 EI CSCD 北大核心 2002年第3期15-20,共6页
文中给出了一个基于公钥密码的有效的身份认证和密钥交换协议,该协议可以实现通信双方的相互认证,产生的会话密钥对通信双方是公正的,且会话密钥的产生不需要其他第三方的参与,协议的结构简单,执行效率高;在此协议基础上设计了一个适用... 文中给出了一个基于公钥密码的有效的身份认证和密钥交换协议,该协议可以实现通信双方的相互认证,产生的会话密钥对通信双方是公正的,且会话密钥的产生不需要其他第三方的参与,协议的结构简单,执行效率高;在此协议基础上设计了一个适用于移动通信系统的小额支付协议。 展开更多
关键词 身份认证 密钥交换 移动通信系统 支付协议
下载PDF
电子现金系统的研究与发展 被引量：14
20
作者 陈恺 魏仕民 肖国镇 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2000年第4期510-514,共5页
论述了电子现金系统的基本概念、分类及其使用的主要技术 ,并介绍了电子现金系统不同研究方向的主要成果 ,以安全性和效率为主分析了不同类型系统的性能 ,指出了电子现金系统新的研究方向 .
关键词 电子现金系统 电子商务 网络银行
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 31 下一页 到第 页
使用帮助 返回顶部