• <tr id='yXPmUm'><strong id='vmIN5T'></strong><small id='x7YNqK'></small><button id='VrpzdJ'></button><li id='05warW'><noscript id='aoQKuh'><big id='B8Tw7f'></big><dt id='dqkFGM'></dt></noscript></li></tr><ol id='X9JTdJ'><option id='S5Fu8N'><table id='0E9hh8'><blockquote id='7Aqc7u'><tbody id='ImzNPp'></tbody></blockquote></table></option></ol><u id='xbbNGV'></u><kbd id='NYVAyV'><kbd id='jjnaCY'></kbd></kbd>

    <code id='QJcd0y'><strong id='QXIch3'></strong></code>

    <fieldset id='YWfKuc'></fieldset>
          <span id='Fwikso'></span>

              <ins id='DaQ27a'></ins>
              <acronym id='RFMDOl'><em id='j28kAX'></em><td id='U1UjqP'><div id='KcJtUL'></div></td></acronym><address id='NcFmCu'><big id='6Us8SX'><big id='hyIpDa'></big><legend id='9xGv8g'></legend></big></address>

              <i id='ZUQRme'><div id='CiF9ZV'><ins id='3AoxHd'></ins></div></i>
              <i id='T0OLbU'></i>
            1. <dl id='si2Z9q'></dl>
              1. <blockquote id='FWjxDn'><q id='MH4PEs'><noscript id='RPfaNX'></noscript><dt id='cDzetO'></dt></q></blockquote><noframes id='z4sl62'><i id='IZTOuY'></i>

                午盘:美股继续下滑道指下跌222点

                发稿时间: 2021-02-27 04:54:33

                五分快三 是十大信誉彩票平台,手机彩票投注,彩票app下载,快三投注,极速赛车,各类玩法,尽在其中。百万提现,实时到账!中美前高官及商界北京聚论经贸“解结”

                (原标题:期权观察:波动率持续回落)

                  中新网北京2月25日电 (记者 张素)传统的代码分析技术,在进行大规模代码检测时会发生状态爆炸,在计算资源和计算效率的约束下,分析精度受到严重制约,导致软件风险难以有效控制。

                  “软件安全检测技术已经成为影响我国软件质量和安全的关键技术。”七〇六所航天中认的研发者25日对记者说。针对大规模程序分析状态爆炸的根本性计算难题,项目攻关团队提出了基于程序复杂度的自适应分析方法,实现了检测精度和效率的有机平衡,检测效率达到150万行代码每小时,误漏报率控制在30%以下。

                  研发者称,通过多年的技术深耕,航天中认已将该项技术成果成功应用于多项重大工程任务中,在航空航天、军工、金融、电信等领域得到广泛应用,发现了超过39万个缺陷漏洞,缺陷密度为平均6.98个/千行,预计节约总成本为19.6亿元人民币。

                  研发者还说,团队聚焦软件代码安全检测技术在航空航天领域的漏洞挖掘,持续开展深入研究,解决了航天软件静态代码分析技术固有的高误报缺陷的问题,设计了基于动静结合的缺陷自动验证机制,构建了基于跨模态多粒度代码语义表示的缺陷自动分类模型。该成果已获得5项授权发明专利、18项软件著作权,发表论文40余篇。

                  在今年的北京市科学技术奖评选工作中,航天中认团队与北京大学等联合申报“大规模跨语言代码安全检测技术及应用”项目。2020年度北京市科学技术奖初审通过项目公示显示,该项目获北京市科技进步二等奖。

                  上述研发者称,项目攻关团队从大规模程序分析关键技术攻关、重大工程任务试点、代码安全质量保障等方面均获得显著成果。本项目解决的软件代码安全检测关键技术也为构建中国自主掌握的安全检测生态系统提供保障。(完)

                【编辑:田博群】
                  当天,中共中央政治局委员、国务院副总理孙春兰视频连线了女医务人员、公安干警、疾控人员、社区工作者、新闻工作者和志愿者等代表。

                  小微企业吸纳毕业两年内高校毕业生就业给予2年社保补贴。聚焦退役1年内军人,对吸纳其就业的用人单位(机关事业单位除外),给予1万元补贴。

                  新京报讯(记者倪伟)昨日是国际妇女节,国务院新闻办公室在湖北武汉举办记者见面会,邀请6名疫情防控一线的巾帼奋斗者讲述抗疫故事。据介绍,全国各地妇联已为湖北捐献2亿多款物。在医疗队个人防护方面,除了反复培训,更注重实际操作;援鄂医疗队还协助医院完善布局和流程。

                  3月8日晚,武汉天河机场官微@武汉机场楚天情发布声明,回应网上流传关于做好复工复航准备工作文件的消息,强调通知管理人员返岗属公司内部正常工作安排,不代表已正式确定具体复航日期。湖北疫情近日已出现好转,提早做好复航准备也属正常。

                来源:admin  责编:秩名