公共文化服务平台

军工高安全软件数值型运行时错误分析方法: 2016年; 提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.; 黄明詹海潭张伟经小川李宁王潇茵

基于多层双向A~*的未知环境路径规划算法研究被引量：14: 2019年; 面向未知战场环境的路径规划问题,提出一种多层双向A^*算法。该算法引入分层策略,使智能体在行进过程中实时响应突发障碍,进行有效避障路径重规划。采用同步双向搜索,并改进启发式代价函数,使得路径搜索算法快速收敛,提高算法在大规模环境中的路径规划效率。为保证智能体在拐角的行进安全,使用Her mite差值对路径进行平滑处理。实验表明,该算法与现有改进算法相比,处理冗余节点数减少12.9%,总用时缩短17.4%,在复杂未知环境中路径规划准确度和效率均有较大提高。; 杜婉茹王潇茵贾福凯郑重李慧妍; 关键词：未知环境路径规划智能体 A^*算法

一种基于遗传算法的软件代码混淆操作选择方法: 一种基于遗传算法的软件代码混淆操作选择方法，首先建立混淆操作模块库；然后对待混淆的可执行程序进行反汇编，从代码入口处开始寻找代码中的CALL、JUMP和XOR代码段，作为混淆操作的加入位置；从混淆操作模块库中随机选取多个...; 王潇茵巴峰张伟葛慧李宁高金梁; 文献传递

基于技术成熟困难度的航天型号研制风险管理方法被引量：7: 2011年; 通过分析航天型号存在的各种研制风险,指出技术风险是最根本性和最重要的研制风险,但目前的技术风险管理多数是基于定性评价的管理方法,以传统的专家经验为主。本文提出了一种以技术成熟困难度评估为基础的技术风险评估框架和方法,将分级量化和相对规范的技术成熟度、技术成熟困难度和技术关键度引入风险评估的过程,通过技术成熟困难度和技术风险评估结果,指导型号设计师系统开展技术攻关策划和指挥系统实施技术风险管理。该方法针对不同技术成熟度等级之间的跨越难度,将定性与定量的方法相结合,具有动态性好、适应性广的特征,可以贯穿航天型号整个研制周期实施风险管理,有着较强的针对性和实用性。; 张刚王潇茵马宽许胜杨海成; 关键词：技术成熟度航天型号研制风险管理

基于内核管理技术的应用软件管控系统: 2015年; 为提高互联网应用的安全性,降低安全漏洞对网络生活造成的威胁,减少软件恶意代码造成的经济损失,提出应用软件的管控技术。针对恶意代码的分析,对软件行为的特点进行认知与行为分析,在此基础上实现基于内核态系统调用管理的应用软件管控系统。实验结果表明,应用软件管控技术能够灵活控制软件行为,有效防止软件恶意行为对计算机主机的破坏。; 姜冲董碧丹李宁王潇茵; 关键词：恶意代码应用软件内核态

一种基于遗传算法的软件代码混淆操作选择方法: 一种基于遗传算法的软件代码混淆操作选择方法，首先建立混淆操作模块库；然后对待混淆的可执行程序进行反汇编，从代码入口处开始寻找代码中的CALL、JUMP和XOR代码段，作为混淆操作的加入位置；从混淆操作模块库中随机选取多个...; 薛惠锋王潇茵巴峰张伟葛慧李宁高金梁; 文献传递

一种基于多智能体协同的三维未知区域快速探测方法: 一种基于多智能体协同的三维未知区域快速探测方法，属于人工智能领域。本发明方法基于在对三维未知区域进行探测的时候，DFS算法的计算复杂效率低下的问题，提出了一种基于多智能体协同的三维未知区域快速探测方法，通过构建多个智能体...; 薛惠锋杜婉茹王潇茵郑重孙运乾李慧妍孟海波

一种基于多智能体协同的三维未知区域快速探测方法: 一种基于多智能体协同的三维未知区域快速探测方法，属于人工智能领域。本发明方法基于在对三维未知区域进行探测的时候，DFS算法的计算复杂效率低下的问题，提出了一种基于多智能体协同的三维未知区域快速探测方法，通过构建多个智能体...; 薛惠锋杜婉茹王潇茵郑重孙运乾李慧妍孟海波; 文献传递

基于模糊层次分析法的软件保护有效性评价被引量：5: 2018年; 软件频频遭到逆向破解和攻击,因此各种保护技术应运而生并得到长足发展。然而,保护有效性如何度量一直备受业界关注。通过对现状分析,当前有效性评价研究处于探索阶段,且多是针对单一保护技术的有效性进行评价,难以适用于当前多保护技术综合使用的保护方案。对此,在对软件逆向攻击和保护技术深入研究的基础上,建立了软件保护有效性综合评价的指标体系,并选用模糊层次分析法建立了软件保护有效性综合评价模型。首先,采用层次分析法构建层次化的评价指标体系结构,并确定指标权重;然后,采用模糊综合评价法将评价数据进行综合模糊运算,得到量化的评价结果;最后,运用建立的评价模型结合实际案例进行了评价研究,实验结果表明该模型具有一定的可行性和有效性。; 李士群王崑声经小川王潇茵巴峰梁光成; 关键词：模糊层次分析法

面向未知环境及动态障碍的人工势场路径规划算法被引量：12: 2021年; 实际战场环境错综复杂,很多隐蔽、动态的障碍无法通过高空手段预先探测得知,因而对智能体执行任务的安全性产生威胁。针对未知且障碍形态多样的战场环境,以躲避动、静障碍,追踪目标为研究对象,提出一种面向未知环境及动态障碍的改进人工势场(Artificial Potential Field,APF)路径规划算法。在该算法中,智能体构建了以目标点为中心的引力势场,以及以障碍物为中心的斥力势场,在智能体行进路途中感知局部障碍及目标点的运动信息,并且将信息加入势场函数的计算中达到动态避障与追踪的效果;另一方面,引入距离因子及动态临时目标点来消除APF算法常见的无解问题——极小解情况及路径抖动现象。通过建立不同数量的随机障碍场景,进行多次仿真对比实验,结果表明:所提算法能够在未知环境中灵活躲避动态障碍并进行目标点的追踪,可以有效消除死解及路径抖动问题。将所提算法与传统APF算法及添加了动态避障机制的文献[19]所述算法进行对比实验,结果表明所提算法能成功化解两种对比算法路径规划失败的情况,顺利完成路径规划任务,且成功率在95%以上。; 杜婉茹王潇茵田涛张越; 关键词：未知环境路径规划动态避障

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

王潇茵