期刊文献+
共找到24篇文章
< 1 2 >
每页显示 20 50 100
基于EDEM的播种单体精准落地位置预测方法研究
1
作者 李佩泽 张昱婷 +1 位作者 孙佳泽 滕桂法 《农机化研究》 北大核心 2024年第6期41-47,共7页
播种精准化、数字化是粮棉作物生产过程智能化管理的基础,精确的单体落种位置可以为农作物生产管理提供数据支撑,并极大地提高农机作业效率。为此,对玉米种子在排种盘和导种管中的受力情况进行分析,提出了落种点位置精准预测动力学模型... 播种精准化、数字化是粮棉作物生产过程智能化管理的基础,精确的单体落种位置可以为农作物生产管理提供数据支撑,并极大地提高农机作业效率。为此,对玉米种子在排种盘和导种管中的受力情况进行分析,提出了落种点位置精准预测动力学模型。以2BMQF-5/10型全还田防缠绕免耕施肥指夹播种器为模拟原型,采用SolidWorks建立传送带与导种管模型,运用EDEM完成玉米种子模型的非球形颗粒填充和种子从进入导种管到落地全过程的仿真模拟实验。将实验获得的数据值与计算值进行分析研究,得到整机作业的前进速度和导种管高度对落种位置的预测规律,并对导种管的物理形态进行改进。研究结果表明:所提出的方法能够有效地预测落种位置,为结合定位系统计算落种绝对位置和后期精准作业管理提供了技术支撑。 展开更多
关键词 精准落种位置 动力学分析 EDEM仿真 预测模型
下载PDF
基于3D生物打印构建结直肠癌个体化药物预测模型的研究
2
作者 周波 俞甲子 +2 位作者 孙佳泽 郑宇鹏 杨沔 《现代实用医学》 2024年第3期315-318,F0003,共5页
目的 探讨3D生物打印(3DP)构建结直肠癌(CRC)患者个体化药物预测模型的可靠性及指导临床精准化治疗的可行性。方法 收集2023年7—11月宁波市医疗中心李惠利医院行手术切除CRC患者的肿瘤组织标本20例,及时提取原始肿瘤细胞经3DP构建预测... 目的 探讨3D生物打印(3DP)构建结直肠癌(CRC)患者个体化药物预测模型的可靠性及指导临床精准化治疗的可行性。方法 收集2023年7—11月宁波市医疗中心李惠利医院行手术切除CRC患者的肿瘤组织标本20例,及时提取原始肿瘤细胞经3DP构建预测模型。然后对肿瘤组织及预测模型进行组织病理学鉴定;施加氟尿嘧啶、奥沙利铂及伊利替康处理预测模型,根据细胞活力分析化疗药物敏感性特征,同时初步对比临床患者实际化疗效果。结果 成功构建3DP模型19例,因提取细胞量不足培养失败1例;肿瘤术后病理均为腺癌。CRC 3DP模型中CRC细胞团染色特征与亲本组织HE染色潜在相关,从病理学层面判断两者具有相似同源性,两者在肿瘤标记物的表达上高度一致。3DP肿瘤模型药物敏感性具有显著异质性。结论 3DP构建的CRC个体化药物预测模型在CRC的精准化疗预测及临床前研究中有较大的应用潜力。 展开更多
关键词 结肠肿瘤 直肠肿瘤 3D生物打印 精准治疗 预测模型
下载PDF
三角级数的解析求解与应用
3
作者 陶正奎 王玉凤 +3 位作者 施逸洋 王越超 孙嘉泽 李喜彬 《高等数学研究》 2024年第1期108-112,共5页
利用欧拉公式,将三角级数可以转化为幂级数,进而利用泰勒展开等手段,得到幂级数的收敛函数.利用三角函数的周期性,还可以得到一些级数的解析结果.通过几个例题,可以加深对此类问题的理解.
关键词 定积分 三角函数 级数 特殊函数
下载PDF
基于改进RRT^(*)算法的智能轮椅全局路径规划研究 被引量:1
4
作者 骆海涛 孙嘉泽 +2 位作者 高鹏宇 曾德生 李家成 《仪器仪表学报》 EI CAS CSCD 北大核心 2023年第10期303-313,共11页
现实环境中智能轮椅大多数处在复杂场景下工作,其自主导航时对路径安全性等要求较高。渐进最优随机搜索树RRT*算法基本满足移动机器人最优路径规划,但由于智能轮椅本体较大,容易与环境较近接触,因此可对环境模型进行膨胀并定义不同搜索... 现实环境中智能轮椅大多数处在复杂场景下工作,其自主导航时对路径安全性等要求较高。渐进最优随机搜索树RRT*算法基本满足移动机器人最优路径规划,但由于智能轮椅本体较大,容易与环境较近接触,因此可对环境模型进行膨胀并定义不同搜索步长,使其规划出的路径远离障碍物。其次为保证用户在使用智能轮椅导航时能够获得更高的舒适性,更高效的到达目的地,而借用启发式约束采样思想和人工势场中引力场思想修剪此算法规划时的冗余节点,从而减小系统运行内存,随后结合轮椅的最小转弯半径,提出最小段路径曲率约束策略和三次B样条曲线算法对路径进行平滑处理,使其更加适合轮椅行驶。最终在MATLAB和Gazebo仿真平台对改进前后算法对比实验,并将本文算法应用与智能轮椅实体上,试验结果表明,该算法能够有效解决智能轮椅全局路径规划问题,能够明显提升全局路径规划效率,具有一定安全性,可为其移动机器人领域提供有效参考。 展开更多
关键词 智能轮椅 路径规划 渐进最优随机搜索树 B样条
下载PDF
采用GAN的肺部疾病诊断模型黑盒可迁移性对抗攻击方法
5
作者 王小银 王丹 +1 位作者 孙家泽 杨宜康 《西安交通大学学报》 EI CAS CSCD 北大核心 2023年第10期196-206,220,共12页
针对现有对抗攻击方法在黑盒场景下攻击成功率不高以及生成质量低等问题,提出了一种基于生成对抗网络(GAN)的肺部疾病诊断模型黑盒可迁移性对抗攻击方法。以肺部医学影像为基础,依托残差神经网络,在生成器中设计基于扩张卷积的残差块和... 针对现有对抗攻击方法在黑盒场景下攻击成功率不高以及生成质量低等问题,提出了一种基于生成对抗网络(GAN)的肺部疾病诊断模型黑盒可迁移性对抗攻击方法。以肺部医学影像为基础,依托残差神经网络,在生成器中设计基于扩张卷积的残差块和金字塔分割注意力机制,以提高网络在更细粒度上的多尺度特征表达能力;设置带有辅助分类器的判别器对样本进行正确分类,并且添加攻击者实施对抗训练,以增强对抗样本的攻击能力和稳定GAN的训练。运用无数据黑盒对抗攻击框架训练替代模型,实现可迁移性对抗攻击,获得高黑盒攻击成功率。所提方法在目标攻击和无目标攻击任务下的对抗攻击成功率分别达到了68.95%和79.34%,与其他黑盒场景下基于GAN的对抗方法相比,迁移攻击成功率更高,且生成的对抗样本更接近真实样本。所提方法解决了传统基于GAN的攻击方法难以捕获肺部影像细节特征而导致无法获得更优的对抗性能的问题,对在实际应用场景下提高肺部疾病诊断模型的安全性和鲁棒性提供了参考方案。 展开更多
关键词 肺部疾病诊断模型 黑盒对抗攻击 生成对抗网络 可迁移性
下载PDF
利用GAN和特征金字塔的模型鲁棒性优化方法 被引量:1
6
作者 孙家泽 唐彦梅 王曙燕 《计算机科学与探索》 CSCD 北大核心 2023年第5期1139-1146,共8页
人工智能对抗环境下,深度神经网络对于对抗样本有明显的脆弱性,为提高对抗环境下的模型鲁棒性提出一种深度神经网络模型鲁棒性优化方法AdvRob。首先将目标模型改造为特征金字塔结构,然后利用潜在特征先验知识生成攻击力更强的对抗样本... 人工智能对抗环境下,深度神经网络对于对抗样本有明显的脆弱性,为提高对抗环境下的模型鲁棒性提出一种深度神经网络模型鲁棒性优化方法AdvRob。首先将目标模型改造为特征金字塔结构,然后利用潜在特征先验知识生成攻击力更强的对抗样本进行对抗训练。在MNIST和CIFAR-10数据集上进行的实验表明,利用潜在特征生成的对抗样本相较于AdvGAN方法攻击成功率高,更具多样性且可迁移性强;在高扰动下,MNIST数据集上AdvRob模型相比原模型对FGSM和JSMA攻击的防御能力提升了至少4倍,对PGD、BIM、C&W攻击的防御能力提升了至少10倍;CIFAR-10数据集上AdvRob模型对FGSM、PGD、C&W、BIM和JSMA攻击的防御能力相较于原模型提升了至少5倍,防御效果明显。在SVHN数据集上,与FGSM对抗训练、PGD对抗训练、防御性蒸馏和增加外部模块的模型鲁棒性优化方法相比,AdvRob方法对白盒攻击的防御效果最显著。为对抗环境下DNN模型提供了一个高效的鲁棒性优化方法。 展开更多
关键词 生成对抗网络(GAN) 深度神经网络 对抗样本 特征金字塔 模型鲁棒性
下载PDF
从中医抗衰老论治早期糖尿病肾病
7
作者 孙嘉泽 伊桐凝 《实用中医内科杂志》 2023年第1期83-85,共3页
糖尿病肾病作为糖尿病并发症之一,现已逐渐发展成为慢性肾病和终末期肾病的主要原因。早期糖尿病肾病病位主在脾肾,以气阴两虚兼有瘀血痰湿为主要病机,是一种衰老导致的病理状态,从脾肾功能与衰老的关系出发,以“补二天,抗衰老”为原则... 糖尿病肾病作为糖尿病并发症之一,现已逐渐发展成为慢性肾病和终末期肾病的主要原因。早期糖尿病肾病病位主在脾肾,以气阴两虚兼有瘀血痰湿为主要病机,是一种衰老导致的病理状态,从脾肾功能与衰老的关系出发,以“补二天,抗衰老”为原则,在益气养阴,活血化湿治法基础上,补益脾肾,固摄涩精,以期防止早期糖尿病肾病病程发展,延长早期糖尿病患者的寿命,提高早期糖尿病患者的生活质量。 展开更多
关键词 脾肾功能 抗衰老 早期糖尿病肾病 蛋白尿
下载PDF
一种改进的媒体传输协议 被引量:1
8
作者 孙家泽 刘玮婷 《西安邮电大学学报》 2022年第5期18-26,共9页
为改善Windows个人计算机(Personal Computer,PC)端与Android终端之间普遍存在的数据传输速率低的问题,提出一种应用层传输协议,即改进的媒体传输协议(Improved Media Transfer Protocol,IMTP)。该协议在PC端发出请求后,根据该协议对数... 为改善Windows个人计算机(Personal Computer,PC)端与Android终端之间普遍存在的数据传输速率低的问题,提出一种应用层传输协议,即改进的媒体传输协议(Improved Media Transfer Protocol,IMTP)。该协议在PC端发出请求后,根据该协议对数据进行打包,发送至Android端。Android端再根据该协议结构解析后产生的响应,将响应数据打包发送至PC端,整个过程进行一次交互。同时,该协议头部结构长度是可变的,根据前一字段的值决定下一个字段向后读取的字节数,有效节省了空间开销。实验结果表明,相较于传统的PC端与Android终端之间数据传输所使用的媒体传输协议(Media Transfer Protocol,MTP),IMTP获取3000条属性数据耗时由11.26 s降至3.44 s,传输1个500 M文件速率提升16.92%,传输250个1 M文件速率提升93.34%,能够明显提升数据传输速率。 展开更多
关键词 应用层传输协议 ANDROID 个人计算机 改进的媒体传输协议 传输速率
下载PDF
不同年龄发病的重性抑郁障碍患者髓鞘相关糖蛋白表达水平的差异
9
作者 吴枫 孔令韬 +1 位作者 孙嘉泽 汤艳清 《中国医科大学学报》 CAS CSCD 北大核心 2018年第8期705-707,712,共4页
目的探讨不同年龄发病的重性抑郁障碍患者血浆髓鞘相关糖蛋白(MAG)水平的差异,以揭示其不同的病理生理机制。方法对93例首次发作、未用药的重性抑郁障碍患者(13~25岁57例,26~45岁36例)和87例正常对照者(13~25岁48例,26~45岁39例)的血浆... 目的探讨不同年龄发病的重性抑郁障碍患者血浆髓鞘相关糖蛋白(MAG)水平的差异,以揭示其不同的病理生理机制。方法对93例首次发作、未用药的重性抑郁障碍患者(13~25岁57例,26~45岁36例)和87例正常对照者(13~25岁48例,26~45岁39例)的血浆MAG水平进行分析,对4组研究对象血浆MAG水平的差异进行比较。结果重性抑郁障碍患者的血浆MAG浓度[(465.95±66.77)pg/m L]显著高于正常对照者[(297.08±81.40)pg/m L](P<0.05),重性抑郁障碍患者中年龄较小组[(487.14±70.01)pg/m L]和年龄较大组[(432.39±44.57)pg/m L]的血浆MAG浓度均高于正常对照者中相应的年龄组[(280.11±67.76)pg/m L,(317.97±92.22)pg/m L](P<0.05)。正常对照者中年龄较小组MAG浓度低于年龄较大组(P<0.05),而重性抑郁障碍患者中年龄较小组MAG浓度高于年龄较大组(P<0.05),2组呈相反变化趋势。结论异常的MAG水平可能是影响重性抑郁障碍患者发病的重要因素,且在不同年龄段呈现不同的病理生理机制。 展开更多
关键词 重性抑郁障碍 发病年龄 髓鞘相关糖蛋白
下载PDF
基于Adaboost模型的并发程序数据竞争语句级检测 被引量:2
10
作者 孙家泽 易刚 舒新峰 《计算机工程》 CAS CSCD 北大核心 2021年第12期215-220,共6页
针对并发程序数据竞争检测时准确率低和开销大的问题,基于Adaboost模型设计并发程序数据竞争语句级检测方法。对多线程并发程序进行插桩操作,记录指令的相关内存信息,并对提取出的指令集做语句级转化处理,利用语句对相关属性特征构建并... 针对并发程序数据竞争检测时准确率低和开销大的问题,基于Adaboost模型设计并发程序数据竞争语句级检测方法。对多线程并发程序进行插桩操作,记录指令的相关内存信息,并对提取出的指令集做语句级转化处理,利用语句对相关属性特征构建并发程序Adaboost数据竞争检测模型,实现多线程程序数据竞争检测工具ADR。实验结果表明,相比于Eraser、Djit+和Thread Sanitizer工具,ADR能够在降低时间及内存开销的同时,有效提高分类准确率,验证了所提方法的有效性。 展开更多
关键词 数据竞争 并发程序 程序插桩 Adaboost模型 语句级
下载PDF
数字乡村背景下农村电子商务如何提高农业劳动生产率——基于电子商务进农村综合示范县的准自然实验 被引量:18
11
作者 谭词 杨军 孙嘉泽 《世界农业》 CSSCI 2022年第8期77-89,共13页
解决“三农”问题、实现乡村振兴的有效途径之一是提高农业劳动生产率,但现阶段中国农业劳动生产率提高依然面临着诸多困难。本文基于2010—2019年县域数据,使用双重差分法调查研究电子商务进农村综合示范县政策对农业劳动生产率的影响... 解决“三农”问题、实现乡村振兴的有效途径之一是提高农业劳动生产率,但现阶段中国农业劳动生产率提高依然面临着诸多困难。本文基于2010—2019年县域数据,使用双重差分法调查研究电子商务进农村综合示范县政策对农业劳动生产率的影响及其作用机制。研究发现:(1)示范县政策显著促进了农业劳动生产率的提高;(2)示范县政策是通过内部规模经济、产业集聚以及就业结构升级调整三条机制渠道提高了农业劳动生产率;(3)本文异质性分析表明,示范县政策对南方地区以及农业强县的农业劳动生产率促进作用更大,对提高贫困县地区农业劳动生产率的影响更为显著。最后,本文建议,农村电子商务扶持政策要持续开展,对于贫困地区和农业强县要加大政策扶持力度以及差异化政策管理,促进土地快速流转,提高农业劳动力转移效率,从而实现规模经济,提高农业劳动生产率。 展开更多
关键词 电子商务 农业劳动生产率 “三农”问题 乡村振兴
下载PDF
陕北地区长7页岩油高效开发技术研究 被引量:1
12
作者 梁志山 孙嘉泽 +1 位作者 杨敏 周莉 《石化技术》 CAS 2022年第2期159-160,共2页
页岩油是亟待开发利用的一种非常规油气资源,陕北长7页岩油资源丰富,自2010年起,经历了丛式井注水开发、水平井注水开发、大井距体积压裂水平井超前补能开发、小井距大井丛体积压裂水平井超前补能开发等阶段,均取得了一定效果。本文通... 页岩油是亟待开发利用的一种非常规油气资源,陕北长7页岩油资源丰富,自2010年起,经历了丛式井注水开发、水平井注水开发、大井距体积压裂水平井超前补能开发、小井距大井丛体积压裂水平井超前补能开发等阶段,均取得了一定效果。本文通过研究页岩油开发方式、水平段长度、水平井井距、初期合理流压等主要参数,制定出陕北地区长7页岩油合理的开发技术政策,旨在为同类油藏的高效开发提供一定的技术支持。 展开更多
关键词 水平井 流压 产量
下载PDF
基于生成对抗网络的医学诊断模型知识蒸馏对抗攻击方法 被引量:1
13
作者 王小银 吕硕 +1 位作者 孙家泽 杨宜康 《西安交通大学学报》 EI CAS CSCD 北大核心 2022年第7期76-85,共10页
为了提高医学诊断模型防御攻击的能力,提出了一种基于生成对抗网络的医学诊断模型知识蒸馏对抗攻击方法。首先创建医学对抗攻击端到端训练网络,并以残差网络作为对抗网络架构;其次在生成器特征块中融合扩张卷积块和通道注意力机制,采用... 为了提高医学诊断模型防御攻击的能力,提出了一种基于生成对抗网络的医学诊断模型知识蒸馏对抗攻击方法。首先创建医学对抗攻击端到端训练网络,并以残差网络作为对抗网络架构;其次在生成器特征块中融合扩张卷积块和通道注意力机制,采用马尔可夫判别器改进判别器网络结构;最后利用生成器和判别器组建生成对抗网络,使用对抗样本进行知识蒸馏对抗攻击,以训练医学诊断模型提高识别精度。采用对抗样本对所提对抗方法进行攻击验证,结果表明:本文方法对抗攻击的成功率为92.6%,与所对比的主流方法相比,该方法的成功率提高了20%,生成对抗样本的最大平均差异降低了3.68%,峰值信噪比、结构相似性分别提升了5.07%、20.29%。本文方法解决了医学诊断模型在对抗攻击中难以获取网络结构和参数信息的问题,生成的对抗样本更接近真实样本,网络效果更佳,为辅助医疗模型诊断及模型安全性提供了参考方案。 展开更多
关键词 医学诊断模型 知识蒸馏 对抗攻击 生成对抗网络
下载PDF
基于ILP和GA的时间感知测试用例优先排序混合算法(英文) 被引量:1
14
作者 孙家泽 王刚 《Journal of Southeast University(English Edition)》 EI CAS 2018年第1期28-35,共8页
针对基于时间感知的测试用例优先排序问题,提出了整数线性规划与遗传算法相结合的混合求解算法.首先,基于整数线性规划,选择待测程序实体的覆盖量最大且满足时间约束的测试用例集;然后,根据程序实体覆盖矩阵对个体进行编码,以程序实体... 针对基于时间感知的测试用例优先排序问题,提出了整数线性规划与遗传算法相结合的混合求解算法.首先,基于整数线性规划,选择待测程序实体的覆盖量最大且满足时间约束的测试用例集;然后,根据程序实体覆盖矩阵对个体进行编码,以程序实体覆盖速率作为适应度函数,利用遗传算法对测试用例集进行排序.选择5个经典的基准开源项目进行实验,以分支和方法作为程序实体,时间约束分别为25%和75%.实验结果表明,混合算法收敛速度快、稳定性好,优于传统整数线性规划方法.该算法有助于尽早发现软件缺陷,降低回归测试成本. 展开更多
关键词 测试用例优先排序 整数线性规划 遗传算法 时间约束
下载PDF
我国海洋经济对沿海地区经济发展的响应分析 被引量:7
15
作者 张震 孙嘉泽 +2 位作者 杨霞 刘树鑫 胡渊 《生态经济》 北大核心 2019年第1期48-54,共7页
通过构建海洋经济发展综合指数与区域经济发展综合指数指标体系,利用综合响应度模型和核密度估计方法,对2001—2013年我国海洋经济对沿海地区经济发展的综合响应强度的时空格局演变进行分析。结果显示:(1)2001—2013年综合响应强度整体... 通过构建海洋经济发展综合指数与区域经济发展综合指数指标体系,利用综合响应度模型和核密度估计方法,对2001—2013年我国海洋经济对沿海地区经济发展的综合响应强度的时空格局演变进行分析。结果显示:(1)2001—2013年综合响应强度整体处于中、高响应水平,响应强度高值地区提升减缓,低值地区提升较快,差距逐渐减小,表明我国海洋经济与沿海经济发展关系日趋紧密,海陆统筹协调发展水平逐步提升。(2)2001—2007年我国沿海11个省份50%的地区属于低响应状态,2008年以来仅海南处于低响应状态,研究期内天津、广东的综合响应水平位次无明显变化,山东、江苏、河北、广西、海南位次均有所提升,而上海、浙江、辽宁、福建位次有所下降。相比之下,位次提升地区更加注重技术发展与产业结构调整,海洋经济发展综合效益提升迅速。 展开更多
关键词 海洋经济 沿海地区 综合响应度模型 Kernel密度估计 测度
下载PDF
智能合约漏洞检测技术研究综述 被引量:2
16
作者 孙家泽 余盼盼 +1 位作者 王小银 张斌 《西安邮电大学学报》 2020年第5期1-9,32,共10页
区块链技术已经进入了以智能合约为标志的区块链2.0时代,频发的智能合约安全问题给区块链生态带来了严重的损失。通过对比不同的智能合约漏洞检测方法与检测工具存在的安全漏洞问题,总结出13种常见漏洞检测项。通过讨论5种主流的智能合... 区块链技术已经进入了以智能合约为标志的区块链2.0时代,频发的智能合约安全问题给区块链生态带来了严重的损失。通过对比不同的智能合约漏洞检测方法与检测工具存在的安全漏洞问题,总结出13种常见漏洞检测项。通过讨论5种主流的智能合约漏洞检测方法与相应的漏洞检测工具,对比总结5种漏洞检测工具针对13种漏洞检测项的检测情况。对比分析3种漏洞检测工具对于200个测试合约的检测结果,得出模糊测试检测方法简单高效并且不会产生误报。最后,针对检测结果展望智能合约漏洞检测技术的未来研究方向,并给出针对现有漏洞检测方法的改进思路,从而利于提高智能合约漏洞检测效率。 展开更多
关键词 区块链安全 智能合约 漏洞检测工具
下载PDF
基于GNSGA-Ⅱ的多目标软件模块聚类算法
17
作者 孙家泽 张凡 《西安邮电大学学报》 2022年第3期69-76,共8页
对多目标软件模块聚类问题进行研究,提出一种基于改进的非支配排序遗传算法(Non dominated Sorting Genetic Algorithm-Ⅱ,NSGA-Ⅱ)(GNSGA-Ⅱ)多目标软件模块聚类算法。利用软件模块质量(Modularization Quality,MQ)与非孤立分布(Non-is... 对多目标软件模块聚类问题进行研究,提出一种基于改进的非支配排序遗传算法(Non dominated Sorting Genetic Algorithm-Ⅱ,NSGA-Ⅱ)(GNSGA-Ⅱ)多目标软件模块聚类算法。利用软件模块质量(Modularization Quality,MQ)与非孤立分布(Non-isolated Distribution,NSD)两个目标,将软件模块聚类建立为多目标优化模型。在NSGA-Ⅱ算法的基础上引入外部存档用以存放搜索到的非支配个体,使得迭代NSGA-Ⅱ过程中能够同步更新外部存档,保留精英解,改善解集分布差,提高算法的多样性。实验结果表明,相较于NSGA-Ⅱ算法、分组遗传算法(Grouping Gene-tic Algorithm,GGA)和爬山算法(Hill Climbing,HC),所提算法获得的各系统模块聚类结果的软件模块质量和非孤立分布平均提高1.18倍和1.02倍,聚类结果更好。 展开更多
关键词 软件重构 软件模块化 多目标软件模块聚类 非支配排序遗传算法 非孤立分布
下载PDF
覆盖引导的智能合约测试用例生成方法
18
作者 孙家泽 张斌 《西安邮电大学学报》 2022年第6期67-74,共8页
为了降低智能合约漏洞静态检测方法中的误报率,提高模糊测试中测试用例的路径覆盖率,提出一种覆盖引导的智能合约测试用例生成方法StaticFuzz。先通过对被测智能合约进行静态分析提取漏洞语句信息,然后利用该信息与执行测试用例后得到... 为了降低智能合约漏洞静态检测方法中的误报率,提高模糊测试中测试用例的路径覆盖率,提出一种覆盖引导的智能合约测试用例生成方法StaticFuzz。先通过对被测智能合约进行静态分析提取漏洞语句信息,然后利用该信息与执行测试用例后得到的漏洞语句信息进行遗传运算,最后通过遗传算法生成新一代测试用例。在智能合约漏洞库(Smart Contract Weakness Classification,SWC)和Harvey基准数据集上进行实验,结果表明:对SWC所有合约进行检测,StaticFuzz与Slither相比误报率降低73.7%,与sFuzz相比漏报率降低48.3%;对SWC中同一个漏洞合约,StaticFuzz的测试用例迭代数比sFuzz最高减少18.9%;在Harvey数据集上,分析了ConFuzzius、sFuzz和StaticFuzz等3种方法的路径覆盖率,并根据Copeland方法评估出StaticFuzz具有较高的路径覆盖率。 展开更多
关键词 智能合约 模糊测试 遗传算法 静态分析
下载PDF
一种面向被动悬架星球车的轮速协调控制方法
19
作者 孙嘉泽 闻勍鹏 何俊 《机械设计与研究》 CSCD 北大核心 2024年第3期97-103,共7页
被动悬架星球车机构形式简单、可靠性好,是地外星表探测的重要装备,但同时也因被动关节的引入而导致车轮间产生推动和拖曳,引起车轮磨损并削弱了星球车的驱动能力。提出一种基于接触角估计的轮速协调控制方法,首先建立星球车的运动学模... 被动悬架星球车机构形式简单、可靠性好,是地外星表探测的重要装备,但同时也因被动关节的引入而导致车轮间产生推动和拖曳,引起车轮磨损并削弱了星球车的驱动能力。提出一种基于接触角估计的轮速协调控制方法,首先建立星球车的运动学模型与轮心速度映射模型,并利用轮心速度在线实时估计轮地接触角;进而,进行星球车直线与转向运动规划,结合轮地接触角和悬架位姿信息建立车轮速度约束方程,实现多轮轮速的确定求解。最后在MATLAB与COPPELIASIM中搭建了联合仿真模型进行仿真验证,搭建样机与实验场地进行实验验证,结果表明该方法可准确估计轮地接触角,估计最大误差约为9.2%;并降低行驶中车轮的滑转率,车轮通过障碍物时整车滑转率最大降低6%,提升了星球车行驶能力。 展开更多
关键词 被动悬架 星球车 接触角 轮速协调
原文传递
重性抑郁障碍患者血浆胶质细胞源性神经营养因子水平的性别差异 被引量:4
20
作者 孙嘉泽 孔令韬 +3 位作者 汤艳清 王菲 位彦鸽 吴枫 《中华行为医学与脑科学杂志》 CAS CSCD 北大核心 2018年第11期993-996,共4页
目的探讨重性抑郁障碍患者血浆胶质细胞源性神经营养因子(glial cell line-derived neurotrophic factor,GDNF)水平的性别差异。方法将重性抑郁障碍患者(男n=20,女n=36)和健康对照(男n=35,女=45)分别以性别分组,采用多因子检测法检测被... 目的探讨重性抑郁障碍患者血浆胶质细胞源性神经营养因子(glial cell line-derived neurotrophic factor,GDNF)水平的性别差异。方法将重性抑郁障碍患者(男n=20,女n=36)和健康对照(男n=35,女=45)分别以性别分组,采用多因子检测法检测被试血浆GDNF水平,比较不同性别患者血浆GDNF水平改变是否存在差异。并以汉密尔顿抑郁量表(HAMD),汉密尔顿焦虑量表(HAMA)评估患者的抑郁焦虑和精神状况。结果(1)男性重性抑郁障碍患者血浆GDNF水平显著低于健康对照[(1.55±0.43)pg/ml,(1.86±0.50)pg/ml,F=4.64,P=0.036],女性重性抑郁障碍患者和健康对照组女性之间GDNF水平差异无统计学意义[(1.62±0.46)pg/ml,(1.64±0.48)pg/ml,F=0.18,P=0.672]。健康对照组中男性GDNF水平显著高于女性[(1.86±0.50)pg/ml,(1.64±0.48)pg/ml,F=2.04,P=0.045)]。患者组男女GDNF水平差异无统计学意义(P>0.05)。(2)男性患者GDNF水平与HAMA评分呈负相关(r=-0.388,P=0.034)。结论保护性神经营养因子GDNF的表达受性别因素的影响,可能与不同性别MDD的发病机制不同有关。 展开更多
关键词 重性抑郁障碍 胶质细胞源性神经营养因子 性别
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部