• <tr id='MYT6xh'><strong id='WJRcU4'></strong><small id='RCofPb'></small><button id='v5cIcB'></button><li id='J7cpBA'><noscript id='WJCxdx'><big id='3WJBtD'></big><dt id='iOZcd0'></dt></noscript></li></tr><ol id='nW5365'><option id='mVXvQZ'><table id='nd3whp'><blockquote id='jrBnOF'><tbody id='YQR5mH'></tbody></blockquote></table></option></ol><u id='iwFaB9'></u><kbd id='kqe7pt'><kbd id='TxN3AB'></kbd></kbd>

    <code id='cA0CJ3'><strong id='8eM7YA'></strong></code>

    <fieldset id='n0wL8l'></fieldset>
          <span id='U4FSu8'></span>

              <ins id='hcHrz5'></ins>
              <acronym id='Up53zA'><em id='sMo6HA'></em><td id='dzHIvT'><div id='N5BAdu'></div></td></acronym><address id='wTVUUm'><big id='xPSf4r'><big id='B46m59'></big><legend id='hgkMmV'></legend></big></address>

              <i id='e3Z7I6'><div id='yJ5quw'><ins id='4Sks8T'></ins></div></i>
              <i id='p50qNq'></i>
            1. <dl id='mzQkXy'></dl>
              1. <blockquote id='zai8vL'><q id='2mWb6L'><noscript id='1Jc5s9'></noscript><dt id='pAENKH'></dt></q></blockquote><noframes id='JmLmSQ'><i id='KZvKWp'></i>

                人民日报:致敬生死迫降也要让隐患无处藏身

                发稿时间: 2021-02-26 02:23:06

                快三一天稳赚200元 官网平台正规投彩,我们致力于为全球客户提供最有价值最稳定和最信誉的游戏平台。网友热议恒大出局:卡帅不配恒大防守像玩儿一样

                (原标题:民航局:川航玻璃是原件没换过未有任何故障记录)

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

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

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

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

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

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

                【编辑:田博群】
                  在每万人拥有医生数指标排名中,前十位城市分别是双鸭山、舟山、太原、克拉玛依、济南、海口、杭州、北京、乌鲁木齐和昆明,以地级市与地级省会城市居多,且其中三、四线城市占主体。人口与规模上多属II型城市与I型城市。

                  二是要做到应保尽保。有些困难群众,比如低保边缘人群,现在他不能出去打工了,灵活就业也就不了业了,他的收入就下降了,这时候他可能就符合低保条件了,我们就要做到应保尽保,要及时把这些人纳到低保里面来。同时,对一些疫情严重的地区可以暂停开展低保对象退出工作,这段时间先保持低保对象的稳定,增强他们抵御风险的经济能力,等疫情防控结束之后再进行动态管理。

                  因势而变。面对新技术崛起,传统银行并没有坐以待毙,而是积极拥抱科技,纷纷吹响数字化变革的号角。

                  国民党主席补选,48岁的江启臣打败郝龙斌、成功当选,完成新世代交替后的江启臣和国民党,真正的挑战才刚开始。而外界除了关注国民党的改革动向外,对于党内重要干部的人选问题,也引发了热议。

                来源:admin  责编:秩名