期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
反汇编工具中间接跳转表求解算法分析与测试
1
作者 庞成宾 徐雪兰 +1 位作者 张天泰 茅兵 《软件学报》 EI CSCD 北大核心 2024年第10期4623-4641,共19页
二进制反汇编是困难的,但是对于提高二进制软件的安全性至关重要.造成二进制反汇编比较困难的一大原因是编译器为了提高效率会在二进制代码中引入很多间接跳转表.为了求解间接跳转表,主流反汇编工具采用了各种策略.然而,这些策略的具体... 二进制反汇编是困难的,但是对于提高二进制软件的安全性至关重要.造成二进制反汇编比较困难的一大原因是编译器为了提高效率会在二进制代码中引入很多间接跳转表.为了求解间接跳转表,主流反汇编工具采用了各种策略.然而,这些策略的具体实现以及策略的效果不得而知.为了帮助研究人员理解反汇编工具的算法实现以及性能,首先系统总结反汇编工具求解间接跳转表的策略;然后构建自动化测试间接跳转表框架,基于该框架,可以大规模地生成关于间接跳转表的测试集(包含2410455个跳转表);最后,在该测试集上,对反汇编工具求解间接跳转表的性能进行评估,并人工分析反汇编工具的每个策略引入的错误.另外,得益于针对反汇编工具算法实现的系统性总结,发现6个反汇编工具实现上的bugs. 展开更多
关键词 二进制反汇编 控制流 间接跳转表 分析
下载PDF
一种基于抽象解释的二进制代码测试方法
2
作者 周林 孙玉龙 +1 位作者 甘水滔 秦晓军 《信息工程大学学报》 2016年第1期77-82,共6页
针对二进制程序分析中难以生成测试用例的问题,提出了一种基于抽象解释和制导符号执行的测试用例自动生成方法。首先结合动态和静态程序分析方法,生成目标二进制程序的过程间控制流程图,然后基于过程间控制流程图,计算出潜在脆弱点集。... 针对二进制程序分析中难以生成测试用例的问题,提出了一种基于抽象解释和制导符号执行的测试用例自动生成方法。首先结合动态和静态程序分析方法,生成目标二进制程序的过程间控制流程图,然后基于过程间控制流程图,计算出潜在脆弱点集。利用节点距离、节点可达性和约束条件集概率静态信息作为符号执行的制导因素,对二进制程序进行动态测试,过滤虚假的脆弱点,并对真实脆弱点生成相应的触发测试用例。实验结果表明文章提出的方法能有效避免执行无效路径,提高二进制代码测试效率。 展开更多
关键词 分析 静态分析 抽象解释 符号执行 脆弱点 控制流程图
下载PDF
区间离散系统的鲁棒控制
3
作者 张远 贾英民 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2000年第3期365-368,共4页
用值集凸分析方法研究了区间离散系统鲁棒镇定问题。当系统传函仅低次项系数受扰时 ,导出了一阶控制器鲁棒镇定区间系统的顶点结果 ,并举例说明了控制器的设计方法 .
关键词 区间离散系统 鲁棒控制器 设计方法 分析
下载PDF
社会救助创新案例特征和影响力的分析 被引量:6
4
作者 李植乐 林闽钢 《社会保障研究》 CSSCI 北大核心 2022年第2期70-80,共11页
中国社会救助制度进入定型发展新阶段,创新将是推动社会救助制度定型发展的动力。文章对5届全国“社会救助领域创新实践活动”的55个获奖案例进行内容分析和多值集定性比较分析,发现获奖案例在东部地区、县级行政单位和非全国性试点地... 中国社会救助制度进入定型发展新阶段,创新将是推动社会救助制度定型发展的动力。文章对5届全国“社会救助领域创新实践活动”的55个获奖案例进行内容分析和多值集定性比较分析,发现获奖案例在东部地区、县级行政单位和非全国性试点地区占比较大,救助主体以政府和社会力量为主,创新方式丰富,创新内容以“建立健全分层分类的社会救助体系”“深化‘放管服’改革”为主,“促进社会力量参与”逐步受到重视。使获奖案例有高度影响力的条件组合有7种,其中“全国性试点地区”和“县级或乡级行政单位”是重要条件,条件组合“县级或乡级行政单位、东部地区、服务创新”的解释力较高。建议坚持改革创新方向,提升社会救助创新案例的扩散效果;以目标和问题为导向,增强今后社会救助创新案例的引领性。 展开更多
关键词 社会救助制度 社会救助创新 内容分析 定性比较分析
下载PDF
新型农业经营主体的增收效应及其路径研究
5
作者 罗荷花 唐思源 《经济论坛》 2024年第8期36-50,共15页
提高新型农业经营主体的增收效应可有效助推乡村产业振兴和共同富裕目标的实现。文章深入剖析新型农业主体增收效应的理论逻辑,通过对其条件因素进行判断分析,运用多值集定性比较分析(MVQCA)方法,分析新型农业经营主体的增收效应及其具... 提高新型农业经营主体的增收效应可有效助推乡村产业振兴和共同富裕目标的实现。文章深入剖析新型农业主体增收效应的理论逻辑,通过对其条件因素进行判断分析,运用多值集定性比较分析(MVQCA)方法,分析新型农业经营主体的增收效应及其具体路径条件。研究显示,经营主体类型、经营主体及其负责人的能力资本这类内生因素和政府扶持政策、市场有效配置、普惠金融发展这类外生因素共同影响着新型农业经营主体的增收效应。其中,新型农业经营主体及其负责人能力资本强弱与新型农业经营主体增收的强效应和弱效应呈对应同方向发展。政府扶持政策、市场有效配置和普惠金融发展强弱与新型农业经营主体增收强、弱效应均呈对应同方向发展。 展开更多
关键词 新型农业经营主体 增收效应 定性比较分析 普惠金融
下载PDF
影响中医药院校管理专业学生就业选择的组态研究——以北京中医药大学为例
6
作者 任家驹 张瑶萱 +2 位作者 周洁 杨倩 李炯然 《中医教育》 2024年第3期70-75,共6页
目的研究中医药院校管理专业学生就业选择的影响因素,从组态视角提出促进其就业的重要方向。方法纳入研究对象22名,均为北京中医药大学管理学院毕业校友,均自愿参与并完成院校环境评价的结构化访谈(包括校园生活满意度、在校经历影响程... 目的研究中医药院校管理专业学生就业选择的影响因素,从组态视角提出促进其就业的重要方向。方法纳入研究对象22名,均为北京中医药大学管理学院毕业校友,均自愿参与并完成院校环境评价的结构化访谈(包括校园生活满意度、在校经历影响程度、专业理解度、职业与兴趣契合度等)。将访谈回答总结分类为“低”“一般”“较高”“高”,并采用多值集定性比较分析(mvQCA)探究院校培养对学生就业选择及就业适配度的影响。结果促进学生向学术/行政管理方向就业的组态有4种:一是高校园生活满意度、一般的在校经历影响程度、高专业理解度和较高的职业与兴趣契合度;二是高校园生活满意度和较高的在校经历影响程度、专业理解度、职业与兴趣契合度;三是较高的校园生活满意度、专业理解度、职业与兴趣契合度和一般的在校经历影响程度;四是高校园生活满意度、在校经历影响程度、职业与兴趣契合度和较高的专业理解度。促进学生向技术类/从商方向就业的组态有2种:一是一般的校园生活满意度与在校经历影响程度和高专业理解度、较高的职业与兴趣契合度;二是高校园生活满意度、在校经历影响程度、专业理解度、职业与兴趣契合度。学生的就业与所学专业匹配度除专业理解度和校园生活满意度外,其他影响因素作用不明显。结论可以通过提高中医药院校管理专业学生的专业理解度、加强校园生活环境建设来促进其未来就业与所学专业的匹配度,有的放矢地发现、培养中医药院校管理专业学生从业特质利于其就业发展。 展开更多
关键词 中医药院校 管理专业学生 就业 定性比较分析 组态研究 影响因素
原文传递
基于QCA的人力资源三支柱运营外包研究
7
作者 杨立生 衡超 《生产力研究》 2019年第8期128-131,145,共5页
基于服务外包理论和人力资源三支柱理论,尝试建立三支柱良好运营成因的研究模型,通过多值集定性比较分析方法对44份外包案例提炼结果变量(三支柱运营)产生的多重并发原因,为企业应对三支柱运营问题,实施有针对性的服务外包方案提供理论... 基于服务外包理论和人力资源三支柱理论,尝试建立三支柱良好运营成因的研究模型,通过多值集定性比较分析方法对44份外包案例提炼结果变量(三支柱运营)产生的多重并发原因,为企业应对三支柱运营问题,实施有针对性的服务外包方案提供理论依据。研究发现:服务外包是人力资源三支柱有效运营的关键因素,且不同的外包内容组合以及不同的外包程度导致人力资源三支柱有效运营的机制存在差异。 展开更多
关键词 人力资源三支柱 服务外包 定性比较分析
下载PDF
基于集对分析和D-S证据理论的继电保护状态评估方法 被引量:3
8
作者 梁志坚 李佳运 王建楠 《广西电力》 2019年第5期7-12,27,共7页
为提高继电保护设备运行状态评估的准确性,提出一种基于集对分析和D-S证据理论的状态评估方法。首先建立了继电保护运行状态指标评价模型,通过模糊层次分析法和熵值法确定最优组合权重,运行状态个别指标严重偏离正常值时引入变权理论更... 为提高继电保护设备运行状态评估的准确性,提出一种基于集对分析和D-S证据理论的状态评估方法。首先建立了继电保护运行状态指标评价模型,通过模糊层次分析法和熵值法确定最优组合权重,运行状态个别指标严重偏离正常值时引入变权理论更新指标权重;其次,采用集对分析理论获取样本与正常指标之间的联系度,生成基本概率赋值结果;最后通过证据理论进行信息融合,结合最大隶属度原则和信度准则完成评价样本的状态分析。算例中对某继电保护设备状态检修数据进行了评估,评估结果与保护装置实际运行情况相符,由此验证了该评估方法的可靠性和有效性。 展开更多
关键词 继电保护设备 状态评估 模糊层次分析 法:分析 证据理论
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部