“赵荣彩”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果21个，建议您升级VIP下载更多相关专利

[发明专利]一种基于程序重写的浮点程序精度缺陷修复方法-CN202310350979.4在审
发明人：王磊;王军强;赵荣彩;胡传平 -专利权人：河南省核芯微电子科技有限公司
申请日： 2023-04-04 - 公布日： 2023-07-14 - 主分类号： G06F9/30 文献下载
摘要：本发明公开了一种基于程序重写的浮点程序精度缺陷修复方法，用以提升浮点计算的准确性，属于浮点运算技术领域；该方法中以浮点程序作为输入，首先提出一种取样‑替换‑分类的方法，对特定精度的操作进行筛选隔离，其次进行函数之间的嵌入，之后应用一组表达式间的转换规则以及变量间的映射方法，进行表达式间的重组，生成具有更多重写可能性的表达式，接着使用工具FPtool对生成的表达式进行处理，然后对处理后的浮点表达式进行重写，最后经过多次迭代生成比初始程序浮点计算精度更高的目标程序。本发明通过在GNU科学计算库GSL中进行10个函数的实验，结果显示以误差小于1ULP的比例为指标，平均精度提升5.2个百分点，部分函数提升20个百分点。
一种基于程序重写浮点精度缺陷修复方法

[发明专利]一种基于Dyninst的浮点程序精度损失检测方法-CN202310255633.6在审
发明人：王磊;王军强;赵荣彩;胡传平 -专利权人：河南省核芯微电子科技有限公司
申请日： 2023-03-16 - 公布日： 2023-07-14 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于Dyninst的浮点程序精度损失检测方法，属于计算机运算技术领域；包括以下步骤：根据浮点数据格式分布不均匀的特点，生成在各个浮点数据区间均匀分布的输入数据；精度检测之前进行预处理，将检测出的特定精度操作排除在检测范围之外，减少误报精度损失；浮点程序解析，根据浮点表达式自动生成对应的MPFR代码段；语句级动态分析，定位精度损失源码位置。本发明检测方法通过生成均匀分布的输入数据，替代多数检测工具随机生成的输入数据，剔除浮点特定精度操作减少误报，根据浮点程序源码自动生成对应的高精度MPFR运算，动态检测精度损失并记录精度损失变化情况，生成浮点程序精度损失变化图，从而能够清晰的观察产生精度损失的源码位置。
一种基于 dyninst 浮点程序精度损失检测方法

[发明专利]基于代码行为单位的程序变量有效定义检测方法及装置-CN201910132689.6有效
发明人：孟罡;王磊;沈亮;孙振;赵荣彩 -专利权人：上海信息安全工程技术研究中心
申请日： 2019-02-22 - 公布日： 2023-03-31 - 主分类号： G06F11/36 文献下载
摘要：本发明属于计算机应用技术领域，特别涉及一种基于代码行为单位的程序变量有效定义检测方法及装置，该方法包含：收集代码样本数据集；提取代码样本数据集中代码抽象语法树，并生成控制流图；遍历控制流图中每行代码，构建各行代码变量的有效定义集合；依据有效定义集合，分析各行代码的输入集合，构建每个定义变量的使用‑定义链，该使用‑定义链用于检测代码函数及相关联的有效变量定义。本发明中基于抽象语法树生成代码控制流图，根据控制流图路径执行过程变量定义和改变情况，以代码行为单位进行变量有效定义检测，实现自动、批量的程序变量有效定义检测，有效提高代码检测效率和质量，便于程序代码漏洞检测，对网络安全应用具有重要的意义。
基于代码行为单位程序变量有效定义检测方法装置

[发明专利]基于软件基因的恶意代码检测与识别方法及装置-CN201711434692.0有效
发明人：单征;庞建民;刘福东;赵炳麟;梁光辉;陈奕杭;赵荣彩;张啸川;桂海仁;韩金;孟曦;孙文杰;师炜;周鑫;李男;王婧 -专利权人：中国人民解放军战略支援部队信息工程大学
申请日： 2017-12-26 - 公布日： 2020-09-04 - 主分类号： G06F21/56 文献下载
摘要：本发明涉及恶意代码分析技术领域，尤其涉及基于软件基因的恶意代码检测与识别方法及装置。本发明通过定义并提取恶意代码的软件基因，构建恶意代码的软件基因组，针对不同恶意代码的软件基因调用关系，为每个恶意代码构建基于图结构表示的基因模式，通过对现有样本进行学习，建立恶意代码软件基因库，具有较好的检测准确率和较低的误报率。通过对不同软件基因进行编码，将软件基因组合成软件基因组，软件基因组为恶意代码信息性的集合，基因模式采用图结构表示，能够表现恶意代码的整体特征信息，为恶意代码物质性的集合。本发明同时兼备软件基因的信息性和物质性，并对遗传特性和突变特性具有较好的表征作用。
基于软件基因恶意代码检测识别方法装置

[发明专利]可重构系统中的可重构资源管理方法和系统-CN201510300213.0有效
发明人：罗兴国;庞建民;王俊超;赵荣彩;杨劲;于锦涛;张铮;齐宁;单征;刘晓楠;党林玉 -专利权人：上海红神信息技术有限公司;国家数字交换系统工程技术研究中心
申请日： 2015-06-03 - 公布日： 2019-07-30 - 主分类号： G06F15/76 文献下载
摘要：本发明涉及一种可重构系统中的可重构资源管理方法和系统，所述方法包括：接受应用需求进行系统重构时，确定功能满足所述应用需求的候选可重构资源；查询预设参考信息，包括资源管理节点表，所述资源管理节点表包括用于定位可重构资源的标识字段、用于表示该可重构资源可用性的字段、资源类型字段及用于记录该可重构资源进行重构时出错频率的字段；依据预设策略选择出用于重构的目标资源。本发明通过设置资源管理节点表，对各个科学计算组件内的各可重构资源的信息和状态进行了记载，能够通过查询所述资源管理节点表，了解各个可重构资源的信息和状态，选择合适的可重构资源进行系统重构，降低发生调用资源冲突或者错误的概率。
可重构系统中的资源管理方法

[发明专利]基于多线程并行的完整性度量散列算法优化方法-CN201510518223.1有效
发明人：单征;赵荣彩;庞建明;李男;范超;蔡洪波;赵炳麟;王银浩;龚雪容;蔡国明;薛飞;闫丽景;贾珣;徐晓燕;王洋;陈鹏;魏亮 -专利权人：中国人民解放军信息工程大学
申请日： 2015-08-21 - 公布日： 2018-06-12 - 主分类号： G06F9/38 文献下载
摘要：本发明涉及一种基于多线程并行的完整性度量散列算法优化方法，具体为：1：将完整性度量散列算法划分为Read线程和Update线程；初始化计数信号用于线程间的同步；2：Read线程以数据预取的方式将均匀分块的待度量数据存入缓冲区数组，Update线程则是对写入缓冲区数组的数据进行顺序运算处理；3:在Read线程向缓冲区写入数据时，之前设置的计数信号不断累加，当缓冲区满时停止写入并等待Read线程操作；同时，Update线程对写入缓冲区的数据顺序处理，当缓冲区空时停止，等待Read线程，Read线程和Update线程根据计数信号之间的关系实现同步；本发明降低了度量时间,提高了度量效率。
缓冲区线程完整性度量计数信号散列算法写入多线程度量数组并行度量数据关系实现数据预取顺序处理顺序运算写入数据初始化累加分块空时优化

[发明专利]基于插桩的程序行为获取及结构分析方法-CN201510506846.7有效
发明人：单征;赵荣彩;庞建明;李男;范超;蔡洪波;赵炳麟;王银浩;龚雪容;蔡国明;薛飞;闫丽景;贾珣;徐晓燕;王洋;陈鹏;魏亮 -专利权人：中国人民解放军信息工程大学
申请日： 2015-08-18 - 公布日： 2018-03-13 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种基于插桩的程序行为获取及结构分析方法，该程序行为获取及结构分析方法含有如下步骤步骤1、静态分析对程序进行控制流分析、数据流分析和库函数分析，对程序的功能进行分析，确定程序各功能的作用域，并分析程序的结构，确定程序的初始插桩位置，进行第一遍插桩；步骤2、程序行为提取对经过第一遍插桩后的程序进行模拟执行，根据桩函数的标志位提取库函数运行过程中的程序行为，存入行为库中；步骤3、程序结构分析根据结构划分规则对程序运行过程中表现的结构特点进行划分，并进行第二遍插桩，最后编译得到可执行文件；本发明具有良好的软件行为获取能力及结构分析能力。
基于程序行为获取结构分析方法

[发明专利]基于数据挖掘的多轨迹恶意程序特征检测方法-CN201510516268.5有效
发明人：单征;赵荣彩;庞建明;李男;范超;蔡洪波;赵炳麟;王银浩;龚雪容;蔡国明;薛飞;闫丽景;贾珣;徐晓燕;王洋;陈鹏;魏亮 -专利权人：中国人民解放军信息工程大学
申请日： 2015-08-21 - 公布日： 2018-02-02 - 主分类号： G06F21/56 文献下载
摘要：本发明涉及一种基于数据挖掘的多轨迹恶意程序特征检测方法，该多轨迹恶意程序特征检测方法含有行为轨迹获取步骤、分片步骤、特征提取与特征库构建步骤、度量检测步骤；行为轨迹获取步骤获取程序动态运行的系统调用序列；分片步骤对获取到的软件行为轨迹进行分片，以适应挖掘过程的需要；特征提取与特征库构建步骤采用数据挖据中改进的序列模式挖掘算法获取文件流、网络流和资源流行为频繁子序列集，并剔除正常程序行为轨迹片段，构造恶意行为特征库；度量检测步骤依据构建的三维特征库对实时运行的程序进行度量检测；本发明提供了一种检测准确率高的基于数据挖掘的多轨迹恶意程序特征检测方法。
基于数据挖掘轨迹恶意程序特征检测方法

[发明专利]源代码级的上下文敏感性检测方法-CN201510526528.7有效
发明人：单征;赵荣彩;庞建明;范超;蔡洪波;赵炳麟;王银浩;龚雪容;蔡国明;薛飞;闫丽景;贾珣;徐晓燕;王洋;陈鹏 -专利权人：中国人民解放军信息工程大学
申请日： 2015-08-25 - 公布日： 2018-02-02 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种源代码级的上下文敏感性检测方法，该上下文敏感性检测方法具体为对源程序中函数调用的上下文敏感性进行统计，通过遍历函数调用图对每一个函数结点的调用和被调用关系进行梳理，统计出调用图深度、调用点个数、上下文不敏感调用点个数、不敏感率这些信息，用以判断函数被调用的情况，以便进行精确的软件行为建模；如果一个函数在不同位置被不同调用多次，那么这个函数就是上下文不敏感的；函数调用图为过程间获取到的；本发明的检测方法检测到的上下文敏感性是程序分析的一个重要属性，它可以用来提高函数调用上下文的分析精度，并且有利于编译器优化和程序验证。
源代码上下文敏感性检测方法

[发明专利]基于可信计算的软件混合度量方法-CN201410800734.8在审
发明人：单征;赵荣彩;庞建民;范超;蔡洪波;赵炳麟;王银浩;龚雪容;蔡国明;薛飞 -专利权人：中国人民解放军信息工程大学
申请日： 2014-12-22 - 公布日： 2015-04-15 - 主分类号： G06F21/57 文献下载
摘要：本发明涉及一种基于可信计算的软件混合度量方法，包含如下步骤：软件预处理，对程序源代码进行分析、插桩，提取软件的行为特征，生成软件行为特征库，嵌入软件完整性度量策略，并生成待度量可执行程序；软件度量，依据完整性度量策略和软件行为特征库，对待度量可执行程序启动时，通过并行优化算法进行完整性度量，并在运行过程中对该可执行程序进行实时的动态度量。本发明能够同时支持软件静态度量和动态度量，并且采用并行优化、策略嵌入、插桩、系统调用划分等技术，对软件实现完整性度量和行为实时动态度量相结合，具有良好的度量效率和较低的度量开销。
基于可信计算软件混合度量方法

[发明专利]面向异构SIMD扩展部件的自动向量化方法-CN201310155403.9无效
发明人： 赵荣彩;庞建民;姚远;刘鹏;索维毅 -专利权人：中国人民解放军信息工程大学
申请日： 2013-04-28 - 公布日： 2013-09-04 - 主分类号： G06F9/34 文献下载
摘要：本发明涉及高性能计算自动并行化领域，特别涉及一种面向异构SIMD扩展部件的自动向量化方法，适用于不同向量长度、不同向量指令集的异构SIMD扩展部件，设计一套虚拟指令集，能够在自动向量化统一架构下将输入的C和Fortran程序转化为虚拟指令的中间表示，通过向量长度解虚拟化和指令集解虚拟化，自动变换为面向异构SIMD扩展部件的向量化代码，使程序员从繁冗复杂的手工向量化编码中解脱出来，本发明将向量化方法与相关优化方法相结合，从不同粒度进行向量识别，通过常规优化和引用点优化，最大限度的发掘循环级和基本块级的混合并行性，通过分析跨越基本块的数据依赖，对生成后的代码进行冗余优化，有效提升了程序的执行效率。
面向 simd 扩展部件自动量化方法

[发明专利]自动并行化多级并行代价评估方法-CN201310153710.3有效
发明人： 赵荣彩;庞建民;韩林;徐金龙;傅立国 -专利权人：中国人民解放军信息工程大学
申请日： 2013-04-27 - 公布日： 2013-08-14 - 主分类号： G06F9/45 文献下载
摘要：本发明涉及计算机高性能计算技术领域，特别涉及一种自动并行化多级并行代价评估方法，首先进行粗粒度自动并行化代价评估，其次进行中粒度自动并行化代价评估，最后进行细粒度自动并行化代价评估，然后进行综合代价评估，针对共享存储的DOALL并行、流水并行和DSWP并行三种并行模型，构建对应的评估方法，DOALL并行代价分析将静态分析和动态分析相结合获取代价分析信息，向量化代价由各条语句对应的执行代价叠加而成。本发明提供语句迭代次数和语句单次执行代价的计算方法，并设定经验值确定循环迭代次数，能够较完备的实现对多级并行模式的后端生成代码的精确并行化收益评估，且有效保证目标并行程序的加速效果。
自动并行多级代价评估方法

[发明专利]基于原子操作语义描述的多源二进制代码一体化翻译方法-CN201310172630.2无效
发明人：庞建民;赵荣彩;单征;刘晓楠;岳峰;戴超;孙笛;崔韫楠 -专利权人：中国人民解放军信息工程大学
申请日： 2013-05-10 - 公布日： 2013-08-07 - 主分类号： G06F9/44 文献下载
摘要：本发明涉及一种基于原子操作语义描述的多源二进制代码一体化翻译方法，具体含有如下步骤：步骤1：将源平台的机器指令进行反汇编后得到汇编指令，设计原子操作描述语言，对构成指令的指令原子操作及原子寻址方式分别进行描述，组成刻画指令语义的表达式序列，实现对不同处理器指令集的统一描述；步骤2：为简单后续翻译，将不方便处理的表达式序列映射为三叉语义树；步骤3：采用分层迭代的指令语义等价转换算法，在三叉语义树上通过自顶向下的策略进行分层翻译，然后，利用本地编译器产生目标平台的机器指令；本发明了提供一种可扩展、应用范围广、效率高的基于原子操作语义描述的多源二进制代码一体化翻译方法。
基于原子操作语义描述二进制代码一体化翻译方法

[发明专利]面向异构众核多级存储结构的数据分布与局部性优化方法-CN201310148326.4有效
发明人：姚远;赵荣彩;韩林;李雁冰;黄品丰 -专利权人：中国人民解放军信息工程大学
申请日： 2013-04-25 - 公布日： 2013-07-31 - 主分类号： G06F9/45 文献下载
摘要：本发明涉及一种面向异构众核多级存储结构的数据分布与局部性优化方法，具体为：对程序进行数据流分析，完成数据在不同类型核心的存储器之间的高效映射和布局，通过自动生成指导数据分布的相关数据管理子句，显式控制局部存储器与主存储器的数据传输，决定数据进入局部存储器以及从局部存储器写回的时机、位置和内容，优化异构众核多级存储结构的存储性能；具体含有下列步骤：步骤1：数据规模自适应的数组分块；步骤2：数组访问模式指导的数据分布；步骤3：主从协作的数组转置；步骤4：外围数据传输简化；本发明提升了程序的执行效率。
面向异构众核多级存储结构数据分布局部性优化方法

[发明专利]渐进式智能回溯向量化代码调优方法-CN201310154727.0有效
发明人：韩林;赵荣彩;姚远;赵博;高伟 -专利权人：中国人民解放军信息工程大学
申请日： 2013-04-28 - 公布日： 2013-07-17 - 主分类号： G06F9/44 文献下载
摘要：本发明涉及一种渐进式智能回溯向量化代码调优方法，主要包括以下步骤：（1）静态调优：在源程序中添加编译指示语句，生成向量化程序；（2）动态调优：进行动态插桩，获取程序剖面信息和动态插桩信息，根据反馈信息文件生成优化后的向量化程序；（3）配置向量化基础选项和优化选项，在向量化过程中逐一添加优化选项，并将调优结果与添加前的调优结果相比较，如当前调优结果优于上一次，则保留，否则回溯。通过采用上述步骤，能够优化生成代码中的向量化语句，提高生成代码的执行效率，从而缓解程序员设计和编写并行程序的压力，并充分发挥当前高性能巨型计算机系统的计算能力。
渐进智能回溯量化代码方法

1
2
下一页»
尾页
共 21 条