期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
DNA混合分析技术的单体型频率估计方法
被引量：
5
1
作者
何柳
唐迅
胡永华
《中南大学学报（医学版）》
CAS
CSCD
北大核心
2011年第5期457-460,F0003,共5页
DNA混合分析技术的广泛使用,能够明显降低研究的工作量和成本,然而仍然有其自身局限,例如损失了大量个体遗传信息、测量误差较大等。为了尽量克服DNA混合分析技术的自身问题,其检测和分析方法在不断发展与完善。在单体型频率估计方面,...
DNA混合分析技术的广泛使用,能够明显降低研究的工作量和成本,然而仍然有其自身局限,例如损失了大量个体遗传信息、测量误差较大等。为了尽量克服DNA混合分析技术的自身问题,其检测和分析方法在不断发展与完善。在单体型频率估计方面,基于最大期望(expectation-maximization,EM)算法的新方法不断涌现,如HaploPool算法和PoooL算法,其准确性、实用性均增强。
展开更多
关键词
DNA
混合分析技术
单体型
遗传流行病学
在线阅读
下载PDF
职称材料
一种混合的安全协议形式化分析技术
被引量：
1
2
作者
范红
冯登国
《中国科学院研究生院学报》
CAS
CSCD
2002年第3期240-245,共6页
分析了模型检测技术和逻辑推证技术的优点与不足,并在此基础上提出了一种混合的形式化分析技术的说明,该技术可提供更为完全的安全协议形式化分析.
关键词
模型检测
逻辑推证
混合分析技术
安全协议
形式化
分析
网络安全
在线阅读
下载PDF
职称材料
基于混合分析的二进制程序控制流图构建方法
被引量：
4
3
作者
朱凯龙
陆余良
+2 位作者
黄晖
邓兆琨
邓一杰
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2019年第5期829-836,共8页
构建控制流图(CFG)是二进制程序分析的基础工作,针对静态构建方法无法处理间接跳转,动态构建方法效率低、不适用于大规模程序的问题,提出结合静态分析和动态分析的混合分析方法.使用静态分析获得基础的控制流信息;采用模糊测试生成测试...
构建控制流图(CFG)是二进制程序分析的基础工作,针对静态构建方法无法处理间接跳转,动态构建方法效率低、不适用于大规模程序的问题,提出结合静态分析和动态分析的混合分析方法.使用静态分析获得基础的控制流信息;采用模糊测试生成测试用例以进行动态分析,利用动态插桩获得间接跳转信息;融合静态分析和动态分析结果生成控制流图.基于该混合分析方法,设计并实现了面向x86平台二进制程序的控制流图构建工具CFGConstructor.分别在示例程序和CGC数据集上进行实验,评估该工具的有效性和性能.实验结果表明CFGConstructor相比于静态分析能够构建更加完备的控制流图,相比于动态分析分析效率更高,能够适用于大规模程序.
展开更多
关键词
二进制程序
分析
控制流图(CFG)
混合分析技术
模糊测试
动态二进制插桩
在线阅读
下载PDF
职称材料
题名
DNA混合分析技术的单体型频率估计方法
被引量：
5
1
作者
何柳
唐迅
胡永华
机构
北京大学医学部公共卫生学院流行病与卫生统计学系流行病学教育部重点实验室
出处
《中南大学学报（医学版）》
CAS
CSCD
北大核心
2011年第5期457-460,F0003,共5页
基金
国家自然科学基金(30671807
30872173)~~
文摘
DNA混合分析技术的广泛使用,能够明显降低研究的工作量和成本,然而仍然有其自身局限,例如损失了大量个体遗传信息、测量误差较大等。为了尽量克服DNA混合分析技术的自身问题,其检测和分析方法在不断发展与完善。在单体型频率估计方面,基于最大期望(expectation-maximization,EM)算法的新方法不断涌现,如HaploPool算法和PoooL算法,其准确性、实用性均增强。
关键词
DNA
混合分析技术
单体型
遗传流行病学
Keywords
DNA pooling
haplotypes
genetic epidemiology
分类号
Q523 [生物学—生物化学]
在线阅读
下载PDF
职称材料
题名
一种混合的安全协议形式化分析技术
被引量：
1
2
作者
范红
冯登国
机构
中国科学院研究生院信息安全国家重点实验室
出处
《中国科学院研究生院学报》
CAS
CSCD
2002年第3期240-245,共6页
基金
973基金资助项目(G1999035802)
国家杰出青年科学基金资助项目(60025205)
文摘
分析了模型检测技术和逻辑推证技术的优点与不足,并在此基础上提出了一种混合的形式化分析技术的说明,该技术可提供更为完全的安全协议形式化分析.
关键词
模型检测
逻辑推证
混合分析技术
安全协议
形式化
分析
网络安全
Keywords
model checking, logic reasoning, mixed formal analysis technology, security protocols, formal analysis
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于混合分析的二进制程序控制流图构建方法
被引量：
4
3
作者
朱凯龙
陆余良
黄晖
邓兆琨
邓一杰
机构
国防科技大学电子对抗学院
出处
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2019年第5期829-836,共8页
基金
国家重点研发计划"网络空间安全"重点专项资助项目(2017YFB0802900)
文摘
构建控制流图(CFG)是二进制程序分析的基础工作,针对静态构建方法无法处理间接跳转,动态构建方法效率低、不适用于大规模程序的问题,提出结合静态分析和动态分析的混合分析方法.使用静态分析获得基础的控制流信息;采用模糊测试生成测试用例以进行动态分析,利用动态插桩获得间接跳转信息;融合静态分析和动态分析结果生成控制流图.基于该混合分析方法,设计并实现了面向x86平台二进制程序的控制流图构建工具CFGConstructor.分别在示例程序和CGC数据集上进行实验,评估该工具的有效性和性能.实验结果表明CFGConstructor相比于静态分析能够构建更加完备的控制流图,相比于动态分析分析效率更高,能够适用于大规模程序.
关键词
二进制程序
分析
控制流图(CFG)
混合分析技术
模糊测试
动态二进制插桩
Keywords
binary analysis
control flow graph (CFG)
hybrid analysis technology
fuzz testing
dynamic binary instrumentation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
DNA混合分析技术的单体型频率估计方法
何柳
唐迅
胡永华
《中南大学学报（医学版）》
CAS
CSCD
北大核心
2011
5
在线阅读
下载PDF
职称材料
2
一种混合的安全协议形式化分析技术
范红
冯登国
《中国科学院研究生院学报》
CAS
CSCD
2002
1
在线阅读
下载PDF
职称材料
3
基于混合分析的二进制程序控制流图构建方法
朱凯龙
陆余良
黄晖
邓兆琨
邓一杰
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2019
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
