基于统计推理的二进制程序语义比较模型

1

作者 郭曦 王盼 《电子学报》 北大核心 2025年第1期163-181,共19页

在程序缺陷分析、恶意代码发掘等过程中,通常需要对二进制程序的行为相似性进行分析.目前基于语法的相似性分析方法忽略了程序的执行语义,存在分析精度不高的问题.基于语义的相似性分析方法在符号逻辑公式生成过程中,频繁地调用约束求... 在程序缺陷分析、恶意代码发掘等过程中,通常需要对二进制程序的行为相似性进行分析.目前基于语法的相似性分析方法忽略了程序的执行语义,存在分析精度不高的问题.基于语义的相似性分析方法在符号逻辑公式生成过程中,频繁地调用约束求解器进行语义相似性比较,会产生巨大的计算开销.提出一种基于统计推理的代码相似性模糊匹配分析方法,从指令级别相似度的计算开始,逐级对基本块及函数间的语义相似性进行推理.首先将二进制代码按照一定的规则划分为具有规范形式的片段集合,在基本块粒度上使用动态规划的方法构建有相同执行语义的存储表,从而获得基本块间的指令初始语义映射.然后通过邻域搜索的方法将该映射拓展到目标分析函数,并在该过程中提取函数的执行语义.最后通过对相似函数的结果进行统计分析,进而计算二进制文件的相似度.同时采用无监督的预训练分析方法,通过调优预训练模型的参数从而提高代码相似分析的精度.从跨平台及优化选项的角度对13个主流的开源项目进行了实验,实验结果表明相较于对比工具,本文方法的分析精度平均提高7.26%,同时消融实验表明,本文的预训练模型可以有效提高二进制程序语义匹配的性能. 展开更多

关键词 程序分析 语义比较 逆向工程 统计推理 迁移学习

在线阅读 下载PDF 职称材料

小学生统计推理能力表现的实证研究 被引量：3

2

作者 董瑶瑶 刘坚 《数学教育学报》 CSSCI 北大核心 2024年第1期36-43,共8页

发展小学生统计推理能力有助于促进学生养成“用数据说话”的理性精神,契合了大数据时代对现代公民的素养要求.对此,采取混合研究方法,以一所普通公办小学的321名六年级学生为研究对象,基于统计推理能力的评价量规来开展表现性评价,刻... 发展小学生统计推理能力有助于促进学生养成“用数据说话”的理性精神,契合了大数据时代对现代公民的素养要求.对此,采取混合研究方法,以一所普通公办小学的321名六年级学生为研究对象,基于统计推理能力的评价量规来开展表现性评价,刻画了学生统计推理的总体表现及典型表现特征.结果显示:在总体表现上,近九成六年级学生的统计推理能力处于单一结构水平和多元结构水平,其中超过五成的学生处于单一结构水平,少数学生仍处于前结构水平,极少数能达关联水平.在具体表现特征上:86.0%的六年级学生能推测数据之外的信息;90.1%的六年级能运用数据作为证据来初步解释推测;32.1%的学生能真正反思到推测的不确定性;在3个指标上,学生存在不同的作答策略和学习迷思.由此,通过实现评价框架、测试题、评分标准的有机统一,构建了统计推理能力的评价体系,为推动学生的统计推理能力发展,以及数据意识和推理意识的培养提供了基础. 展开更多

关键词 小学 统计推理 量规 测评 SOLO 数据意识 推理意识

在线阅读 下载PDF 职称材料

基于统计推理的不一致数据清洗方法 被引量：3

3

作者 张安珍 胡生吉 夏秀峰 《计算机应用研究》 CSCD 北大核心 2024年第10期2987-2992,共6页

不一致数据修复是数据清洗领域的一个重要研究方向,现有方法大多是基于完整性约束规则的,采用最小代价原则进行修复,然而,代价最小的修复方案通常是不正确的,导致现有修复方法的准确率较低。针对现有方法准确率较低的问题,提出了一种基... 不一致数据修复是数据清洗领域的一个重要研究方向,现有方法大多是基于完整性约束规则的,采用最小代价原则进行修复,然而,代价最小的修复方案通常是不正确的,导致现有修复方法的准确率较低。针对现有方法准确率较低的问题,提出了一种基于统计推理的不一致数据清洗方法BayesOUR,兼顾修复的代价与质量,提高修复准确性。BayesOUR主要分为三个阶段:首先根据完整性约束规则进行错误检测;然后利用贝叶斯网络推理所有可能的一致性修复方案概率;最后选择概率最大的修复方案进行数据清洗。真实数据上的实验结果表明,该方法与目前领先的方法相比,能够显著提高不一致数据修复的准确性。 展开更多

关键词 不一致数据 贝叶斯网络 统计推理

在线阅读 下载PDF 职称材料

统计推理的内涵、特征分析及教学建议

4

作者 吴立宝 杨诗怡 《课程．教材．教法》 CSSCI 北大核心 2024年第10期133-139,共7页

统计推理是基于情境的样本数据,利用各种不同的统计方法描述数据获得样本特征,从而通过结果或然的归纳推理来估计总体特征,可以用一定的统计方法对结论进行可靠的解释检验,得到用于判断或决策的最终结论,具有或然性、逻辑性、可靠性、... 统计推理是基于情境的样本数据,利用各种不同的统计方法描述数据获得样本特征,从而通过结果或然的归纳推理来估计总体特征,可以用一定的统计方法对结论进行可靠的解释检验,得到用于判断或决策的最终结论,具有或然性、逻辑性、可靠性、差异性和情境性特征。由对统计推理的内涵和特征的分析,可以得到学生统计推理养成的一些教学建议:聚焦样本与总体差异,感受统计推理的或然性;注重原理与方法理解,领悟统计推理的逻辑性;立足推理的或然结果,探寻统计推理的可靠性;对比不同判断决策,评价统计推理的差异性;基于真实的统计问题,体验统计推理的情境性。 展开更多

关键词 统计推理 归纳推理 数据分析

在线阅读 下载PDF 职称材料

基于统计推理的社区发现模型综述 被引量：4

5

作者 柴变芳 贾彩燕 于剑 《计算机科学》 CSCD 北大核心 2012年第8期1-7,30,共8页

社区有助于揭示复杂网络结构和个体间的关系。研究人员从不同视角提出很多社区发现方法,用来识别团内紧密、团间稀疏的网络结构。自2006年以来,提出了一些基于统计推理的社区发现方法,它们可识别实际网络中更多的潜在结构,并以其可靠的... 社区有助于揭示复杂网络结构和个体间的关系。研究人员从不同视角提出很多社区发现方法,用来识别团内紧密、团间稀疏的网络结构。自2006年以来,提出了一些基于统计推理的社区发现方法,它们可识别实际网络中更多的潜在结构,并以其可靠的理论基础和优越的结构识别能力成为当前的主流。该类方法的主要目标是建立符合实际网络的生成模型以拟合观测网络,将社区发现问题转化为贝叶斯推理问题。首先给出社区发现中生成模型的相关定义;其次按照模型中社区组成元素将已有统计推理模型分为节点社区推理模型和链接社区推理模型,并深入探讨各种模型的设计思想及实现算法;再次,总结各模型适用的网络类型及规模、发现的社区结构、算法复杂度等,给出一种选择已有基于统计推理的社区发现模型的方法,并利用基准数据集对已有典型统计推理模型进行验证及分析;最后探讨了基于统计推理模型的社区发现存在的主要问题和未来发展的方向。 展开更多

关键词 社区发现 概率模型 随机块模型 统计推理 混合隶属度

在线阅读 下载PDF 职称材料

我国高中生统计推理的现状调查及与荷兰相关结果的比较研究 被引量：2

6

作者 王文芳 王晓辉 陈国芳 《数学教育学报》 北大核心 2007年第3期32-35,共4页

在统计推理方面,我国高中生应用直觉推理和错误概念的现象较为普遍.学生对于理解小样本更容易与总体产生偏差、独立性的理解有困难.他们在进行推理时最容易犯"等可能偏见"、"好样本必须是大样本"、"两组的数... 在统计推理方面,我国高中生应用直觉推理和错误概念的现象较为普遍.学生对于理解小样本更容易与总体产生偏差、独立性的理解有困难.他们在进行推理时最容易犯"等可能偏见"、"好样本必须是大样本"、"两组的数目相同才能比较"、"小数定律"等错误.与荷兰学生相比,我国高三学生在正确推理的各个方面均存在一定的差距,在错误概念方面两国学生各有优劣. 展开更多

关键词 统计推理 正确推理 错误概念 中荷对比

在线阅读 下载PDF 职称材料

证伪主义方法在统计推理中的扩展和运用 被引量：2

7

作者 任晓明 黄闪闪 《华中科技大学学报（社会科学版）》 CSSCI 北大核心 2013年第2期57-62,共6页

国内科学哲学界专注于证伪主义方法在确定性理论范围内的分析,而对其在统计推理中的运用鲜为关注。在科学推理中,证伪主义方法的主要问题是归纳意义问题。证伪主义在面对确定性理论时,其本身的反归纳性不能解释许多科学推理中的经典模型... 国内科学哲学界专注于证伪主义方法在确定性理论范围内的分析,而对其在统计推理中的运用鲜为关注。在科学推理中,证伪主义方法的主要问题是归纳意义问题。证伪主义在面对确定性理论时,其本身的反归纳性不能解释许多科学推理中的经典模型;而在统计推理中,以证伪主义为方法论依据的显著性检验模型,又面临归纳显著性的质疑。证伪主义方法可行的修正性进路将是引入"真"的概念及其概率分析。 展开更多

关键词 证伪主义 归纳问题 统计推理 显著性检验

在线阅读 下载PDF 职称材料

逻辑与方法论:贝叶斯统计推理探索的双重视角 被引量：2

8

作者 黄闪闪 高瑞华 《统计与决策》 CSSCI 北大核心 2014年第15期4-8,共5页

贝叶斯主义的复兴发生在统计学领域。文章分别从逻辑与方法论角度探讨了显著性检验的局限,以及贝叶斯统计推理的优势。从逻辑上看,贝叶斯统计推理回避了停止法则所产生的主观因素问题;从方法论上看,贝叶斯统计推理具备明显的归纳意义。

关键词 显著性检验 贝叶斯统计推理 停止法则 归纳意义

在线阅读 下载PDF 职称材料

澳大利亚RMFII项目中“统计推理”的引介与思考 被引量：3

9

作者 高翔 《数学教育学报》 CSSCI 北大核心 2022年第4期62-67,共6页

“统计与概率”是重要的数学学习领域,其测评与教学成为近年来研究的热点问题.通过引介澳大利亚“重塑数学的未来II(RMFII)”项目中“统计推理能力”的相关内容,以期为中国“统计与概率”的研究与教学提供借鉴.运用文献研究、历史梳理... “统计与概率”是重要的数学学习领域,其测评与教学成为近年来研究的热点问题.通过引介澳大利亚“重塑数学的未来II(RMFII)”项目中“统计推理能力”的相关内容,以期为中国“统计与概率”的研究与教学提供借鉴.运用文献研究、历史梳理、案例研究等方法呈现了“统计推理能力”的测评思路,回溯“统计推理8‘地带’学习进程”的构建历程,结合具体的案例分析该学习进程在“定位”学生统计推理能力水平和“链接”教学建议方面的举措;给中国“统计与概率”的研究与教学带来3点启示:进一步细化“数据分析素养”的水平要求,增强可操作性;开发测评任务,探索适应中国学生的统计与概率学习进程;建设丰富的教学资源库,提升教师专业发展. 展开更多

关键词 统计与概率 澳大利亚 RMFII项目 统计推理 数据分析素养

在线阅读 下载PDF 职称材料

基于Gamma分布均值比统计推理的雷达抗干扰指标评估 被引量：2

10

作者 李增辉 曹原 +1 位作者 冀鑫炜 王晓莉 《现代雷达》 CSCD 北大核心 2021年第8期66-70,共5页

在脉冲多普勒体制雷达系统中,脉冲压缩后信号强度常常服从Gamma分布,使得诸如信噪比、信干噪比等指标的统计评估本质上是针对Gamma分布均值比进行的。传统的Gamma分布均值比指标分析主要采用最大似然估计方法,不仅忽略了先验信息的使用... 在脉冲多普勒体制雷达系统中,脉冲压缩后信号强度常常服从Gamma分布,使得诸如信噪比、信干噪比等指标的统计评估本质上是针对Gamma分布均值比进行的。传统的Gamma分布均值比指标分析主要采用最大似然估计方法,不仅忽略了先验信息的使用,而且区间估计中的置信度也无法从概率意义上给出解释。为了克服这些缺点,文中通过推导Gamma分布均值比分布与Beta分布的关系,证明Gamma分布参数的后验分布为对数凹分布的特性,提出了基于Gibbs采样的Gamma分布均值比的贝叶斯统计推理框架,推导得到了后验点估计和区间估计方法,实测数据处理验证了算法的有效性。 展开更多

关键词 GAMMA分布 GIBBS采样 贝叶斯统计推理 对数凹分布

在线阅读 下载PDF 职称材料

低位截断瑞利噪声的统计推理

11

作者 李增辉 李建勋 +1 位作者 李光伟 王恩堂 《系统工程与电子技术》 EI CSCD 北大核心 2018年第8期1750-1753,共4页

预警雷达抗噪声压制干扰评估通常需要对量化后的瑞利噪声样本进行估计,在实际雷达系统中受硬件采样位数限制有时会舍弃噪声样本的低位数据,相当于进一步提高了噪声的量化误差,这时采用截断后的噪声样本计算均值会造成很大的估计偏差。... 预警雷达抗噪声压制干扰评估通常需要对量化后的瑞利噪声样本进行估计,在实际雷达系统中受硬件采样位数限制有时会舍弃噪声样本的低位数据,相当于进一步提高了噪声的量化误差,这时采用截断后的噪声样本计算均值会造成很大的估计偏差。为了有效运用低位截断后的噪声样本进行噪声估计,基于多项分布和瑞利分布推导了分布参数的最大似然估计方法,并证明了对数似然函数的凸函数性质以及后验分布为对数凹分布的性质,在此基础上提出了无信息先验贝叶斯估计方法和共轭先验贝叶斯估计方法。仿真数据实验验证了所提的极大似然估计、无信息先验贝叶斯估计和共轭先验贝叶斯估计算法的有效性,且对比分析了贝叶斯估计相对于极大似然估计的优越性。 展开更多

关键词 瑞利噪声 统计推理 对数凹分布

在线阅读 下载PDF 职称材料

试论统计推理的概念界定及认知基础

12

作者 王宗烘 《中山大学学报（社会科学版）》 CSSCI 北大核心 2003年第S1期231-233,共3页

该文从统计学和抽样理论发展的角度探讨统计推理的概念界定和认知基础问题,指出目前的逻辑学教科书和工具书在这方面存在的不足及其产生的原因。作者认为,现代统计推理是根据样本资料对总体特征进行推断的归纳推理;把统计推理概念的外... 该文从统计学和抽样理论发展的角度探讨统计推理的概念界定和认知基础问题,指出目前的逻辑学教科书和工具书在这方面存在的不足及其产生的原因。作者认为,现代统计推理是根据样本资料对总体特征进行推断的归纳推理;把统计推理概念的外延限定在比例(或比率)的点估计上面或一般的点估计上面是错误的;把比例(或比率)的点估计说成是概率归纳推理(或概率推理),并把它排斥出统计推理,也是不妥当的。 展开更多

关键词 统计推理 概念 认知基础

在线阅读 下载PDF 职称材料

在数据分析中培育学生统计推理能力 被引量：1

13

作者 朱荣武 《教学与管理》 北大核心 2020年第17期35-37,共3页

统计推理是个体适应信息社会的必备思维能力,需要从小学阶段就结合统计与概率教学进行渗透。在教学过程中要突出过程性、方法性和体验性,关键是紧扣描述数据分析和推断数据分析两条主线,引领学生经历数据分析及其应用过程,在具体的思维... 统计推理是个体适应信息社会的必备思维能力,需要从小学阶段就结合统计与概率教学进行渗透。在教学过程中要突出过程性、方法性和体验性,关键是紧扣描述数据分析和推断数据分析两条主线,引领学生经历数据分析及其应用过程,在具体的思维活动中发展他们的数据意识、随机思维及审慎的态度。 展开更多

关键词 统计推理 描述数据分析 推断数据分析 随机思维 审慎的态度

在线阅读 下载PDF 职称材料

态势估计中一种基于贝叶斯估计的统计时间推理方法 被引量：6

14

作者 姚春燕 郁文贤 庄钊文 《火力与指挥控制》 CSCD 1999年第1期48-52,共5页

统计时间推理是态势估计中的一个重要组成部分。Ｋｉｒｉｌｏｖ的基于极大似然估计（Ｍａｘｉ－ｍｕｍＬｉｋｅｌｉｈｏｏｄＥｓｔｉｍａｔｉｏｎ，ＭＬＥ）的推理方法将未知时间变量看作常数，估计方差较大。文中建立的已知时间信息和... 统计时间推理是态势估计中的一个重要组成部分。Ｋｉｒｉｌｏｖ的基于极大似然估计（Ｍａｘｉ－ｍｕｍＬｉｋｅｌｉｈｏｏｄＥｓｔｉｍａｔｉｏｎ，ＭＬＥ）的推理方法将未知时间变量看作常数，估计方差较大。文中建立的已知时间信息和未知时间变量之间的关系模型，将未知时间变量扩展为随机变量，将贝叶斯估计（ＢａｙｅｓＥｓｔｉｍａｔｉｏｎ，ＢＥ）引入时间推理。经过对两种推理算法的性能进行分析和比较，发现在一定范围内，基于ＢＥ的方法性能优于基于ＭＬＥ的方法。 展开更多

关键词 统计时间推理 态势估计 贝叶斯估计

在线阅读 下载PDF 职称材料

态势估计中的统计时间区间推理方法

15

作者 姚春燕 胡卫东 郁文贤 《系统工程与电子技术》 EI CSCD 北大核心 2002年第3期32-35,共4页

在战场态势估计中 ,许多事件有一个持续过程 ,因此需要引入时间区间来表示这些事件发生的时间。态势估计中常常需要判断这些事件发生的时间顺序 ,而对事件发生的时间区间的推测或观测往往含有统计不确定性。利用似然比检验理论 ,建立了... 在战场态势估计中 ,许多事件有一个持续过程 ,因此需要引入时间区间来表示这些事件发生的时间。态势估计中常常需要判断这些事件发生的时间顺序 ,而对事件发生的时间区间的推测或观测往往含有统计不确定性。利用似然比检验理论 ,建立了一种判别两个事件发生的不确定时间区间的顺序的新方法 ,并讨论了利用检验结果进行限制传播的方法 。 展开更多

关键词 统计时间推理 战场态势估计 时间区间 C^3I系统

在线阅读 下载PDF 职称材料

态势估计中基于假设检验的统计时间推理方法 被引量：4

16

作者 姚春燕 胡卫东 郁文贤 《国防科技大学学报》 EI CAS CSCD 1999年第6期59-62,共4页

在战场态势估计中，常常需要判断事件发生的时间顺序，而对事件发生时间的观测往往含有统计不确定性。这里将假设检验理论引入时间推理，建立了一种判别两个事件发生顺序的新方法，同时研究了在统计不确定性下时间顺序的传递性。

关键词 统计时间推理 态势估计 假设检验 战场

全文增补中

推理统计法对某建筑企业伤亡事故的统计分析

17

作者 王宗怀 谢宇清 《铁道工程学报》 EI 2002年第4期121-123,116,共4页

本文运用统计分析的基本方法 ,对某建筑施工企业 16年来伤亡事故统计资料进行了分析 ,找出了事故发生的一般规律 ,并用控制图对企业安全生产工作进行过程控制 。

关键词 推理统计法 建筑企业 伤亡事故 安全生产 主次图 控制图 统计分析

在线阅读 下载PDF 职称材料

态势估计中一种基于最大后验概率估计的时间推理方法 被引量：2

18

作者 姚春燕 郁文贤 庄钊文 《国防科技大学学报》 EI CAS CSCD 1998年第6期69-73,共5页

态势估计中统计时间推理在许多应用中非常重要。Ｋｉｒｉｌｏｖ的基于极大似然估计（ＭａｘｉｍｕｍＬｉｋｅｌｉｈｏｏｄＥｓｔｉｍａｔｉｏｎ，ＭＬＥ）的推理方法将未知时间变量看作常数，忽略了它的先验信息，估计方差较大。针对这... 态势估计中统计时间推理在许多应用中非常重要。Ｋｉｒｉｌｏｖ的基于极大似然估计（ＭａｘｉｍｕｍＬｉｋｅｌｉｈｏｏｄＥｓｔｉｍａｔｉｏｎ，ＭＬＥ）的推理方法将未知时间变量看作常数，忽略了它的先验信息，估计方差较大。针对这一问题，本文首先建立了已知时间信息和未知时间变量之间的关系模型，这一模型可用来解释Ｋｉｒｉｌｏｖ的方法；然后在这一模型下，将未知时间变量扩展为随机变量，采用基于最大后验概率估计（ＭａｘｉｍｕｍａＰｏｓ－ｔｅｒｉｏｒｉＥｓｔｉｍａｔｉｏｎ，ＭＡＰ）的方法进行统计时间推理。对两种推理算法的性能进行了分析和比较，发现在较宽的范围内，基于ＭＡＰ的方法性能优于基于ＭＬＥ的方法。 展开更多

关键词 统计时间推理 态势估计 极大似然估计 MAP 军事

在线阅读 下载PDF 职称材料

能夠这样否定简单枚举归纳推理吗?——与虞謇同志商榷

19

作者 方宏建 《山东大学学报（哲学社会科学版）》 CSSCI 1991年第1期58-62,共5页

无论是从科学体系和教学体系的完善还是从思维的实际需要出发,归纳逻辑都应作深入的研究。《归纳逻辑》(中国人民大学出版社,1986年)一书对归纳逻辑作了多方面的探讨,给人以启发,但书中中国政法大学虞謇的“简单枚举法作为一种逻辑推理... 无论是从科学体系和教学体系的完善还是从思维的实际需要出发,归纳逻辑都应作深入的研究。《归纳逻辑》(中国人民大学出版社,1986年)一书对归纳逻辑作了多方面的探讨,给人以启发,但书中中国政法大学虞謇的“简单枚举法作为一种逻辑推理的异议”(见《归纳逻辑)177页～180页,以下简称该文《异议》)一文否定简单枚举法作为一种逻辑推理的观点却是令人难以接受的。本文首先驳斥《异议》一文否定简单枚举归纳推理的论据与论证,然后就如何充实目前普通逻辑教学体系中归纳逻辑部分谈点看法。 展开更多

关键词 简单枚举法 简单枚举归纳推理 非演绎推理 逻辑推理 普通逻辑 统计推理 基本内容 矛盾律 数理逻辑 推理形式

在线阅读 下载PDF 职称材料

统计谬误及其避免

20

作者 曹倩娅 《浙江工商大学学报》 1997年第3期48-51,25,共5页

统计是一种数量分析的方法,其主要功能是收集和分析有关数据,从而对一定现象作出估算,以发现规律性。统计方法涉及诸多计算和技术方面的内容,这归数理学科所研究。同时,它也包含着逻辑问题,它有从特殊上升到普遍的基本特征,类似逻辑中... 统计是一种数量分析的方法,其主要功能是收集和分析有关数据,从而对一定现象作出估算,以发现规律性。统计方法涉及诸多计算和技术方面的内容,这归数理学科所研究。同时,它也包含着逻辑问题,它有从特殊上升到普遍的基本特征,类似逻辑中的归纳方法。所以,在逻辑学的领域里。 展开更多

关键词 统计推理 统计数据 药物治疗 心理治疗 谬误 子样 有效率 虚假相关 分层抽样 不合格率

在线阅读 下载PDF 职称材料