检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种基于函数依赖的跨合约模糊测试方案

信息网络安全 2024年第7期24卷 1038-1049页

作者：张立强路梦君严飞武汉大学国家网络安全学院武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072

随着区块链应用的快速发展和智能合约的广泛使用,由智能合约引发的安全事件急剧增多,导致基于区块链的数字资产产生了巨大损失。目前,虽然部分工具可以检测智能合约安全漏洞,但是它们主要针对单个智能合约进行检测,未考虑跨合约之间的... 详细信息

随着区块链应用的快速发展和智能合约的广泛使用,由智能合约引发的安全事件急剧增多,导致基于区块链的数字资产产生了巨大损失。目前,虽然部分工具可以检测智能合约安全漏洞,但是它们主要针对单个智能合约进行检测,未考虑跨合约之间的交互依赖关系,因此会产生较多的误报。针对上述智能合约漏洞检测工具在跨合约场景下误报率较高和性能消耗过大的问题,文章提出一种基于函数依赖的跨合约模糊测试方案FIFuzz。该方案提出ContractRank算法进行合约间依赖关系建模,采用函数重要度来表征函数在合约间交互过程中的重要程度,并在后续模糊测试模块中加以利用。模糊测试通过基于函数重要度的交易序列生成策略和基于合约地址映射关系的地址类型数据生成策略来提高检测效率,缩减跨合约漏洞检测的搜索空间。另外,通过合约调用模拟来降低漏洞检测的假阳性率。与相关工具的对比实验表明,FIFuzz的漏洞检测时间相对其他工具缩短了80%,检测到的漏洞数量是其他工具的两倍,检测跨合约漏洞的准确率也明显高于其他工具。实验结果表明,FIFuzz能够有效提升跨合约漏洞的检测准确率,降低误报率,并减小时间开销。

关键词：智能合约模糊测试跨合约漏洞

民以食为天食以安为先——访山西省新绛县食安委主任、副县长杨振龙

在线全文

学校读者我要写书评

暂无评论

中国食品 2009年第6期 52-53页

作者：廖秋燕祁梦君《中国食品》记者

新绛县位于山西省西南部，运城市北部，临汾盆地南缘。汾、浍二河穿境而过，侯西铁路、国道108线、晋禹、大运高速等干线公路穿行而过，汾河、浍河两岸的河谷平原是该县主要粮棉产区。日前，记者来到这里，就该县创建首批国家级食品安... 详细信息

新绛县位于山西省西南部，运城市北部，临汾盆地南缘。汾、浍二河穿境而过，侯西铁路、国道108线、晋禹、大运高速等干线公路穿行而过，汾河、浍河两岸的河谷平原是该县主要粮棉产区。日前，记者来到这里，就该县创建首批国家级食品安全示范县工作采访了新绛县食安委主任、人民政府副县长杨振龙。

关键词：新绛县山西省主任国道108线临汾盆地干线公路河谷平原食品安全

工作部署:北京:建设贯彻落实习近平文化思想的首善之区不断开创新时代首都宣传思想文化工作新局面

在线全文

学校读者我要写书评

暂无评论

精神文明导刊 2024年第2期 13-14页

作者：祁梦竹范俊生不详

昨天,全市宣传思想文化工作会议召开。市委书记尹力强调,要坚持以习近平新时代中国特色社会主义思想为指导,深入学习贯彻习近平文化思想,进一步增强做好首都宣传思想文化工作的责任感使命感,建设贯彻落实习近平文化思想的首善之区,不断... 详细信息

昨天,全市宣传思想文化工作会议召开。市委书记尹力强调,要坚持以习近平新时代中国特色社会主义思想为指导,深入学习贯彻习近平文化思想,进一步增强做好首都宣传思想文化工作的责任感使命感,建设贯彻落实习近平文化思想的首善之区,不断开创新时代首都宣传思想文化工作新局面,为率先基本实现社会主义现代化提供坚强思想保证、强大精神力量和有利文化条件。

关键词：习近平新时代中国特色社会主义思想宣传思想文化工作首善之区习近平文化思想创新时代精神力量贯彻落实首都

山西新绛:霜花满肩万重天——山西省新绛县创建首批国家级食品安全示范县纪实

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

中国食品 2009年第6期 54-56页

作者：廖秋燕祁梦君《中国食品》记者

2007年8月22日．这注定是一个又被写进新绛历史的日子。八月的晋西南．骄阳万里。

关键词：食品安全山西省示范县国家级新绛县

微信集群干预对糖尿病前期病人饮食及血糖控制的影响

在线全文

学校读者我要写书评

暂无评论

护理研究 2018年第12期32卷 1882-1885页

作者：程远尊祁梦君张贤贤张利霞郑州大学第二附属医院

[目的]探究基于网络的微信集群干预模式对糖尿病前期病人饮食及血糖控制的干预效果。[方法]选取郑州市某三级甲等医院2016年6月—2017年12月筛查出的糖尿病前期病人121例为研究对象,按照护理干预方式分为两组,对照组实施常规健康教育,... 详细信息

[目的]探究基于网络的微信集群干预模式对糖尿病前期病人饮食及血糖控制的干预效果。[方法]选取郑州市某三级甲等医院2016年6月—2017年12月筛查出的糖尿病前期病人121例为研究对象,按照护理干预方式分为两组,对照组实施常规健康教育,观察组实施基于网络的微信集群干预,比较两组病人干预前后日均饮食摄入达标情况、体重指数(BMI)、血糖、血脂等指标的变化。[结果]干预后两组血糖、血脂和日均饮食摄入达标情况均有所改善,观察组改善情况优于对照组,两组比较差异有统计学意义(P<0.05)。[结论]微信集群干预模式有助于提高病人的自我管理能力,促进其进行饮食、运动等生活方式的调整,改善病人血糖、血脂情况。

关键词：微信糖尿病前期血糖血脂体重指数健康教育饮食指导

在线全文

学校读者我要写书评

暂无评论

上海浦东新区碳储量变化影响因素分析

环境监测管理与技术 2024年第2期36卷 74-78页

作者：刁梦妮韩震杭君上海海洋大学海洋科学与生态环境学院上海201306 上海河口海洋测绘工程技术研究中心上海201306 上海航天空间技术有限公司上海201109

采用InVEST模型估算浦东新区2000年、2010年和2020年的碳储量,基于地理探测器对碳储量变化的影响因素进行分析。结果表明,研究期间浦东新区碳储量先增后减,在空间上表现为东部增多、中部减少、西部不变;土地利用程度是碳储量变化的主要... 详细信息

采用InVEST模型估算浦东新区2000年、2010年和2020年的碳储量,基于地理探测器对碳储量变化的影响因素进行分析。结果表明,研究期间浦东新区碳储量先增后减,在空间上表现为东部增多、中部减少、西部不变;土地利用程度是碳储量变化的主要影响因子,土壤类型和年均降水量是重要影响因素,双因子的交互影响力高于单因子;当高程范围为0 m~7 m、坡度>10.13°、无坡向、土壤类型为滨海盐土、年均温度为16.25℃~16.31℃、年均降水量为1132.41 mm~1150.02 mm、土地利用程度为200~268.24、人口密度为1.76万人/km^(2)~3.32万人/km^(2)、GDP为291799.79万元/km^(2)~644331.46万元/km^(2)时,浦东新区的碳储量增长最高。

关键词：碳储量 InVEST模型地理探测器影响因素浦东新区

在线全文

学校读者我要写书评

暂无评论

河流床面粗糙程度的度量方法研究

水利水电技术（中英文） 2024年第1期55卷 103-112页

作者：祁芸泉蔡暾杨克君四川大学水利水电学院水力学与山区河流开发保护国家重点实验室四川成都610065 中国电建集团成都勘测设计研究院有限公司四川成都610072

【目的】河流床面的粗糙程度是河流动力学中重要的研究内容。【方法】用统计分析法来量化河流床面的粗糙程度,在不考虑河床宏观起伏的前提下,用非均匀天然沙人工铺制初始粗糙床面,并逐渐增大流量使床面粗化,粗化完成后依托激光扫描技术... 详细信息

【目的】河流床面的粗糙程度是河流动力学中重要的研究内容。【方法】用统计分析法来量化河流床面的粗糙程度,在不考虑河床宏观起伏的前提下,用非均匀天然沙人工铺制初始粗糙床面,并逐渐增大流量使床面粗化,粗化完成后依托激光扫描技术获得试验床面的精确数字高程。基于统计理论探究在不同来水条件下,粗化后河流床面表层的结构特性并利用床面高程统计参数及变异函数满足的理论模型建立新的床面粗糙程度度量方法。【结果】结果显示:曼宁糙率n与中值粒径的拟合关系一般,相关系数为0.649。n与标准差、众数及偏度拟合关系良好,与峰度拟合关系相对较差。n与三种变异函数球状模型典型参数都呈现出较好的相关性,剖面平均变异函数块金值与基台值和n的拟合关系优秀,相关系数均在0.89以上。【结论】结果表明:代表粒径法在某些时刻是可以用于表述床面粗糙特性的,高程数据的标准差随水流强度的增加而严格增大的特性和其众数随水流结构的增大而严格减小的特性使它们成为量化床面粗糙程度的优良指标。偏度和峰度的单调趋势使其作为床面粗糙程度的衡量指标也成为可能。块金值与基台值可以作为床面粗糙程度的表征指标。此次研究用统计法探讨了度量河流床面粗糙程度的方法,对粗糙程度的度量有一定启示。

关键词：床面粗糙程度统计参数曼宁糙率变异函数球状模型水力特性

奋力推动新时代对口援藏工作不断迈上新台阶努力打造新时代区域合作典范

在线全文

学校读者我要写书评

暂无评论

奋力推动新时代对口援藏工作不断迈上新台阶努力打造新时代区域...

加强交流合作携手谱写京皖高质量发展新篇章 001

北京日报

作者：祁梦竹

本报讯（记者祁梦竹）今年是对口援藏30周年。为全面贯彻新时代党的治藏方略，落实中央第七次西藏工作座谈会精神，昨天，北京市党政代表团赴西藏自治区拉萨市，就深化对口支援工作进行交流对接。北京市委书记尹力，与西藏自治区党委... 详细信息

本报讯（记者祁梦竹）今年是对口援藏30周年。为全面贯彻新时代党的治藏方略，落实中央第七次西藏工作座谈会精神，昨天，北京市党政代表团赴西藏自治区拉萨市，就深化对口支援工作进行交流对接。北京市委书记尹力，与西藏自治区党委书记王君正，自治区党委副书记、自治区主席......

关键词：西藏自治区北京市区域合作党政代表团新台阶

来源： cnki报纸评论

在线全文

cnki报纸

学校读者我要写书评

暂无评论

加强交流合作携手谱写京皖高质量发展新篇章