软件漏洞分析中的脆弱点定位方法

针对二进制程序漏洞成因复杂难以分析的问题,提出运用污点分析的软件脆弱点定位方法,并实现了一个工具原型Sword Checker。以动态污点追踪为基础,依据漏洞模式通过特征匹配来定位软件中的脆弱点,运用二分查找定位影响脆弱点的敏感字节。实验表明,使用Sword Checker能够精确快速识别定位软件中三种类型的脆弱点,已成功分析了多个已公开漏洞的成因,并已辅助挖掘出几个未公开漏洞。     

多视图三角化中特征点噪声尺度的自适应估算

鲁棒性多视图三角化方法通常借助重投影误差经验阈值来剔除图像对应中的错误匹配,该经验阈值的选取直接影响三维重构场景点的数量和精度。在分析图像特征点定位噪声及对极传递几何原理的基础上,建立对极传递过程不确定性的传递模型,提出一种基于核密度估计的最优噪声尺度估算方法,并将该噪声尺度作为多视图三角化中错误匹配筛选的依据。实验结果表明,该方法可以获得准确的噪声尺度估计,从而有效提升多视图三角化方法的三维重构质量。     

基于人工势场的潜艇搭载AUV回收路径规划

紧密结合未来无人作战侦察对潜艇搭载自主水下航行器(AUV)水下自主回收的需求,对水平面内基于水声定位的AUV的自主回收对接技术进行了研究。运用了基于人工势场的导引方法规划了AUV的回坞路径,然后基于AUV的运动方程设计了滑模跟踪控制律来解决AUV在复杂的回收环境下的避障问题,并通过引入"填平势场"来引导AUV走出局部极小点。最后采用了REMUS AUV的模型参数对水下回收进行了仿真试验研究,仿真结果验证了方法的有效性。     

扭住治权之要深入推进依法治军

依法治权,是深入推进依法治军的重要引领、核心标志和基本保障。深入推进依法治军,关键是要扭住依法治权这一要害,着力完善军队组织、程序、责任、监督等法规制度,做到权由法定、权依法使、权责对应、权受监督,切实把权力关进制度的笼子。与国情军情相适应,依法治权必须坚持党对军队的绝对领导、确保战斗力的巩固提高、突出高级领导干部这一关键少数。     

改进熵系数法的预警机探测引导能力评估

引入欧氏距离来度量基于离差最大化法与熵系数法确定的两个权重向量的相似度,在相似度最大约束条件下,确定了熵系数法中参数ρ值,解决了参数ρ取值人为主观性的问题。采用区间数来表示专家对指标间的相对重要性,克服了实际中难于得到准确决策信息的问题。将区间数特征向量法确定的主观权重和改进的熵系数法确定的客观权重集成得到组合权重,采用加权算术平均算子对4种预警机的探测引导能力进行了计算。     

2014上海军民两用技术促进大会开幕

<正>2014年11月27日,由科技部、工业和信息化部、总装备部、上海市政府和上海市国动委共同主办的"2014第三届上海军民两用技术促进大会暨项目对接会"开幕,工业和信息化部总工程师张峰出席会议并发表题为"深化改革优化环境加快推进军民用技术双向转移"的主旨演讲,军民结合推进司巡视员曹志恒参加会议。张峰指出,经过多年的发展,我国军民用技术双向转移工作在顶层规划与设计、政策公平化、信息交流共享、技术成果产业化等方面取得了显著成绩。工业和信息化部、国防科工局将围绕发展军民两用技术、改进完善军工技     

深入贯彻“四个全面”战略布局强力推动军民融合深度发展

习主席在出席十二届全国人大三次会议解放军代表团全体会议时强调,按照“四个全面”战略布局加快推进国防和军队建设,深入实施军民融合发展战略,努力开创强军兴军新局面.深入实施军民融合发展战略,关键是把思想和行动统一到“四个全面”战略布局上来,理清新思路、制定实举措、推动真落实,紧紧跟上习主席的思想步伐和决策部署.     

知识产权法律风险防范的经验及思考

作为知识产权的重要汇聚点,科研院所对知识产权的保护与管理已成为依法治企、维护核心竞争力的重点当前,知识产权作为军工科研院所重要的资产,不仅是参与现代市场经济活动的基础、提升市场竞争力的武器,更是经营的资源,决策的重要依据。而网络的飞速发展与应用为知识产权的保护提出了新的挑战,科研院所作为知识产权的重要汇聚点,对知识产权的保护与管理已成为依法治企、维护核心竞争力的重点。科研院所如何有效地管理知识产权,保护知识产权、防范法律风险变得尤为重要。     

三维点云深度模型压缩算法

随着计算机三维视觉的广泛应用,近几年基于深度学习的点云处理算法得到了大量研究,而耗时耗存储的缺陷较大程度限制了其在移动端的部署应用。基于改进损失函数的总体思路,提出了一种新的点云深度模型压缩框架,将知识蒸馏方法引入二值量化模型中,同时考虑点云聚合操作的特殊性引入了辅助损失项,改进的损失函数共包括预测损失项、蒸馏损失项和辅助损失项三部分。实验结果表明,和已有算法相比,所提算法可以获取更高的精度,同时对当前点云主流深度网络模型也具有良好的扩展性。     

基于遗传模糊推理系统的截击点智能解算方法

由于传统截击引导需要人的参与才能完成截击任务,截击方案生成速度要受到人反应速度的限制,成为提高作战速度的一个瓶颈。针对空中战场态势变化快、依靠人工制定拦截方案难以适应未来空战的问题,构建基于模糊推理系统的空战截击点智能解算模型,并采用分段变异和变步长寻优的遗传算法对模型进行训练,实现了对截击方案的快速估算,得到在解空间内性能可以达到甚至超越人类的截击点智能解算模型。