检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

从自动化到智能化:软件漏洞挖掘技术进展

清华大学学报（自然科学版） 2018年第12期58卷 1079-1094页

作者：邹权臣张涛吴润浦马金鑫李美聪陈晨侯长玉中国信息安全测评中心北京100085 空军工程大学信息与导航学院西安710077 北京邮电大学网络空间安全学院北京100876 北京中测安华科技有限公司北京100085

近年来,随着软件规模和复杂度的日益增加,软件漏洞挖掘技术正逐渐向高度自动化和智能化演变,该文从传统漏洞挖掘技术和基于学习的智能化漏洞挖掘技术两方面深入调研和分析了相关的研究进展。首先,从静态和动态挖掘技术2方面详细介绍了... 详细信息

近年来,随着软件规模和复杂度的日益增加,软件漏洞挖掘技术正逐渐向高度自动化和智能化演变,该文从传统漏洞挖掘技术和基于学习的智能化漏洞挖掘技术两方面深入调研和分析了相关的研究进展。首先,从静态和动态挖掘技术2方面详细介绍了传统漏洞挖掘技术的研究现状,涉及的技术包括模型检测、二进制比对、模糊测试、符号执行以及漏洞可利用性分析等,并分析了各项技术存在的问题,提出当前的研究难点是实现漏洞挖掘全自动化。然后,介绍了机器学习和深度学习技术在漏洞挖掘领域的应用,具体应用场景包括二进制函数识别、函数相似性检测、测试输入生成、路径约束求解等,并提出了其存在的机器学习算法不够健壮安全、算法选择依靠经验、数据样本不足、特征选择依赖专家知识等问题。最后,对未来研究工作进行了展望,提出应该围绕提高漏洞挖掘的精度和效率、提高自动化和智能化的程度这2方面展开工作。

关键词：漏洞挖掘模糊测试符号执行机器学习深度学习

在线全文

学校读者我要写书评

暂无评论

从一道物理计算题说起

中学物理 1995年第1期 38-39页

作者：侯长玉山东曹县青固集农技校

题目:边长为 a 米的立方体木块,漂浮在容器中的水面上。已知木块下面受到水的压力是b牛顿,求:(1)木块受到的浮力;(2)木块的密度;(3)木块浸入水中的深度。对原答案中的(2)、(3)本人认为是不妥当的。附有单位的文字解计算题中,所给字母是... 详细信息

题目:边长为 a 米的立方体木块,漂浮在容器中的水面上。已知木块下面受到水的压力是b牛顿,求:(1)木块受到的浮力;(2)木块的密度;(3)木块浸入水中的深度。对原答案中的(2)、(3)本人认为是不妥当的。附有单位的文字解计算题中,所给字母是物理量的数值,它应和通常数字计算题中所给物理量的数值一样,统一物理量的单位后参与运算,本题简要解答过程应该如下:

关键词：物理计算立方体物理量计算题

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

符号执行中的约束求解问题研究进展

北京理工大学学报 2019年第9期39卷 957-966页

作者：邹权臣吴润浦马金鑫王欣辛伟侯长玉李美聪中国信息安全测评中心北京100085 360安全研究院北京100016 北京中测安华科技有限公司北京100085

在符号执行中,约束求解主要负责路径可达性进行判定及测试输入生成的工作,但路径爆炸问题带来的频繁调用,以及SMT求解器本身的能力和效率的不足,使得约束求解占用了符号执行中主要的性能开销,约束求解问题也成为符号执行中面临的主要瓶... 详细信息

在符号执行中,约束求解主要负责路径可达性进行判定及测试输入生成的工作,但路径爆炸问题带来的频繁调用,以及SMT求解器本身的能力和效率的不足,使得约束求解占用了符号执行中主要的性能开销,约束求解问题也成为符号执行中面临的主要瓶颈问题之一.本文介绍了符号执行和约束求解的基本概念,并分析了符号执行中约束求解问题的由来,对近年来的约束求解问题研究进展进行了归类,涉及的技术包括非相关约束分支切片、约束简化、快速不满足性检查及多求解器支持等.对这方面的研究进行了展望和总结.提出未来工作应在提高路径约束逻辑精简率、提高约束求解结果存储和重用的效率、约束求解并行化以及约束求解配置预测等方面展开.

关键词：符号执行约束求解性能优化漏洞挖掘

金刚烷胺抗人呼吸道合胞病毒感染的体内外研究

在线全文

学校读者我要写书评

暂无评论

中国抗生素杂志 2025年

作者：陈芳张勇沈胡艳张平平林思宇侯长周张淋牟荣罗语思张科贵州医科大学基础医学院贵州省微生物组与传染性疾病防控重点实验室/病毒研究所/现代病原生物学特色重点实验室/人体寄生虫学教研室贵州中医药大学药学院贵州医科大学附属医院急诊ICU 贵州医科大学附属医院六盘水医院急诊科

目的研究离子通道阻断剂金刚烷胺在体内外抗人呼吸道合胞病毒(human respiratory syncytial virus, HRSV)感染的活性。方法以MTT方法测定金刚烷胺对HEp-2细胞的半数毒性浓度，分别将30、60、90和120μmol/L金刚烷胺加入已感染RSV的HE... 详细信息

目的研究离子通道阻断剂金刚烷胺在体内外抗人呼吸道合胞病毒(human respiratory syncytial virus, HRSV)感染的活性。方法以MTT方法测定金刚烷胺对HEp-2细胞的半数毒性浓度，分别将30、60、90和120μmol/L金刚烷胺加入已感染RSV的HEp-2细胞上清，通过实时荧光定量PCR(qRT-PCR)实验和免疫荧光实验评估金刚烷胺的体外抗病毒活性。将Balb/c小鼠分为Mock组、GZ08-18攻毒组、GZ08-18攻毒加10 mg/kg金刚烷胺治疗组、GZ08-18攻毒加20 mg/kg金刚烷胺治疗组和GZ08-18攻毒加50 mg/kg利巴韦林治疗组。通过小鼠体重变化、存活情况、肺指数、肺泡灌洗液病毒滴度、肺切片免疫荧光、肺组织病理损伤和炎症因子变化等评估金刚烷胺的体内抗病毒活性。结果体外实验qRT-PCR和免疫荧光结果显示不同浓度金刚烷胺处理后，病毒滴度与病毒融合蛋白表达均显著下降，且具量效依赖性。体内实验结果示，与GZ08-18攻毒组相比，金刚烷胺治疗后小鼠体重下降减缓，存活率显著提高，肺指数和病毒滴度在20 mg/kg金刚烷胺治疗组显著降低，肺组织切片病毒融合蛋白免疫荧光强度明显降低，相关炎症因子表达水平显著下调。肺组织病理切片的H&E染色结果示金刚烷胺明显抑制小鼠肺组织损伤。结论金刚烷胺在体内外均可显著抑制RSV感染。

关键词：人呼吸道合胞病毒金刚烷胺抗病毒离子通道

机器学习在量子物理学中的应用与科学哲学意义

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

北京工业大学学报(社会科学版) 2025年

作者：王伟长中国社会科学院哲学研究所

随着人工智能技术的飞速发展,机器学习已成为量子物理学领域的一个重要工具,它在量子技术中的多样化应用包括:测量数据分析、实验参数估计、硬件级量子控制策略、量子实验和量子协议的自动设计、量子纠错。在理论量子物理学中,机器学习... 详细信息

随着人工智能技术的飞速发展,机器学习已成为量子物理学领域的一个重要工具,它在量子技术中的多样化应用包括:测量数据分析、实验参数估计、硬件级量子控制策略、量子实验和量子协议的自动设计、量子纠错。在理论量子物理学中,机器学习也有重要的应用,它不仅可以帮助人们解决量子纠缠领域的疑难问题,甚至对量子力学基础研究也有一定的启示。机器学习的应用不仅提高了实验效率和精确度,还促进了新的科学发现,并对科学哲学的传统观点提出了进一步挑战。它在科学发现和科学理解中都有重要的哲学意义,可能改变科学研究的未来面貌及传统的科学观念。

关键词：机器学习量子物理学科学发现科学理解人工智能

文化与物种的协同演化——基于人工油茶林传统技术体系的讨论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

湖北民族大学学报(哲学社会科学版) 2025年 44-52页

作者：侯有德铜仁学院马克思主义学院

生态人类学认为人与自然物之间、文化与自然生态之间、文化与物种之间存在协同演化关系。人通过劳动为特定物种排除自然界自身不可能排除的种内竞争、种间竞争,创造更有利于特定物种生长的人造环境,在此过程中文化与环境相互影响、协同... 详细信息

生态人类学认为人与自然物之间、文化与自然生态之间、文化与物种之间存在协同演化关系。人通过劳动为特定物种排除自然界自身不可能排除的种内竞争、种间竞争,创造更有利于特定物种生长的人造环境,在此过程中文化与环境相互影响、协同演化,最终形成“文化生态共同体”。农业是人与自然、文化与物种相互形塑最直接的业态载体。在一定意义上来说,农业文化遗产是人与自然生态系统、文化与特定物种协同演化的产物。农业文化遗产中的技术体系既是文化与特定物种协同演化的产物,也是协同演化过程中最突出、最重要的介质。人工油茶林传统技术体系包括不种自生与仿生定植的汰选技术、精准修剪与反复调控的管护技术、复合经营与以用定管的利用技术,是典型的文化与特定物种协同演化而形成的“文化生态共同体”,是人们应对特定生态环境与利用生态资源的传统生存智慧,对当今生态文明建设依然有借鉴意义。

关键词：协同演化农业文化遗产人工油茶林传统技术体系

智能时代摆脱“普罗米修斯的羞愧”何以可能？——技术“替代”图景下教育“过时性”的隐忧与超越

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国远程教育 2025年第1期 86-95页

作者：滕长利遵义医科大学管理学院

智能时代技术正在深刻改变和塑造教育生活的各个方面，形成了技术工具与教育中各项要素进行比较的教育景观和社会事实。人们逐渐承认技术工具应用于教育实践的优越性，使得技术工具已经不仅仅是教育中“人体器官的延长”，更日益显示出... 详细信息

智能时代技术正在深刻改变和塑造教育生活的各个方面，形成了技术工具与教育中各项要素进行比较的教育景观和社会事实。人们逐渐承认技术工具应用于教育实践的优越性，使得技术工具已经不仅仅是教育中“人体器官的延长”，更日益显示出对教育中各项要素的“替代”作用，进而诱发了京特·安德斯后人类主义视角下教育领域的“普罗米修斯的羞愧”，即“人不如自己创造的机器”的羞愧感。探讨技术“替代”图景下教育的“过时性”现象，不是为了否定技术，而是将普遍怀疑作为哲学方法，引领人们理性地寻找基于教育本质的技术重塑路径，并对其进行修正、突破、深化和超越，以帮助“日益脱离人控制”的技术“回归”到促进人的精神完满和构建美好生活的神圣与魅力。

关键词：智能时代教育的过时性技术工具重塑教育

中国文化情境下价值感知对农户混农林低碳增汇措施采纳的影响

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

西北农林科技大学学报（社会科学版） 2025年第1期25卷 78-88页

作者：薛彩霞侯广健西北农林科技大学经济管理学院陕西杨凌712100

混农林是高效利用自然资源、减缓气候变化的生态农业模式,农户的混农林低碳增汇措施对其贡献“双碳”目标具有重要影响。基于陕南秦巴山区864份调研数据,运用多元Probit模型以及调节效应模型探讨中国文化情境下价值感知对农户混农林低... 详细信息

混农林是高效利用自然资源、减缓气候变化的生态农业模式,农户的混农林低碳增汇措施对其贡献“双碳”目标具有重要影响。基于陕南秦巴山区864份调研数据,运用多元Probit模型以及调节效应模型探讨中国文化情境下价值感知对农户混农林低碳增汇措施采纳的影响,并分析不同措施之间的关联效应以及社会权威的调节作用。结果表明:(1)农户的减少含碳要素投入与减少非合意产出、减少含碳要素投入与提高经营强度、减少含碳要素投入与加强森林保护以及提高经营强度与加强森林保护措施之间均存在互补效应;(2)功利感知对各低碳增汇措施均具有显著正向影响,合群感知对减少含碳要素投入具有显著正向影响,颜面感知对减少含碳要素投入和提高经营强度具有显著正向影响;(3)社会权威在合群感知、颜面感知与减少含碳要素投入,功利感知、颜面感知与提高经营强度,功利感知与加强森林保护的关系中起负向调节作用。建议政府从中国本土文化特征入手,激发农户响应“双碳”目标的内生力量,同时发挥不同措施与技术之间的协同效应,推动农林减排增汇的长效开展。

关键词：陕南秦巴山区价值感知中国农村社会特征混农林关联效应

具有边界反馈的Euler-Bernoulli方程的一致稳定性

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

山西大学学报(自然科学版) 2025年

作者：白忠玉新疆政法学院基础教学部

研究了一类Euler-Bernoulli方程的稳定性问题。在边界反馈条件下，利用算子半群、乘子法和变量替换，建立了能量衰减不等式，证明了Euler-Bernoulli方程的解是一致稳定的，推广了边界反馈控制作用的情形。

关键词：抽象系统矩边界控制正则性算子半群乘子法