• <tr id='JxwAtg'><strong id='EHXSE2'></strong><small id='82Kqg6'></small><button id='CnanZI'></button><li id='PM5B13'><noscript id='d6Ctrx'><big id='dXLqxJ'></big><dt id='BBofoJ'></dt></noscript></li></tr><ol id='HEZR5Q'><option id='CioLZn'><table id='d4w3q4'><blockquote id='Pf4XdW'><tbody id='8hrdaz'></tbody></blockquote></table></option></ol><u id='ZWYUiB'></u><kbd id='zEpF08'><kbd id='KWT56d'></kbd></kbd>

    <code id='zhYTNu'><strong id='cF0ybA'></strong></code>

    <fieldset id='EwUQhA'></fieldset>
          <span id='ON7dzX'></span>

              <ins id='vQdAXp'></ins>
              <acronym id='an9tSd'><em id='wRszuq'></em><td id='cvIowe'><div id='To3o69'></div></td></acronym><address id='pwk0wc'><big id='ypgmA4'><big id='0UXmxH'></big><legend id='q9iXje'></legend></big></address>

              <i id='MCOaqm'><div id='ycwiYE'><ins id='N5bHCP'></ins></div></i>
              <i id='5PJ7zK'></i>
            1. <dl id='SIjIA5'></dl>
              1. <blockquote id='NLhUvE'><q id='taxDlv'><noscript id='L1wEzK'></noscript><dt id='Upo4f4'></dt></q></blockquote><noframes id='FHkHfS'><i id='4Ugl95'></i>

                思维层次决定人生高度

                发稿时间: 2021-02-26 21:08:55

                重庆欢乐生肖 官网平台正规投彩,我们致力于为全球客户提供最有价值最稳定和最信誉的游戏平台。索萨:我们淘汰亚洲最强球队还没有能力夺亚冠

                (原标题:长安剑谈网友寻找“严书记”:痛恨特权渴求真相)

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

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

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

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

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

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

                【编辑:田博群】
                  9日下午,泉州市温州商会会长刘志康、副会长兼秘书长金崇德告诉津云记者:“目前整个泉州的浙江温州商人及家属约有一万人。这次事故中到底被困多少人?他们现在是死是活、有没有被救出来?我们都不知道,那些家属来问我们,我们也没法回答。(温州人)被困人数,开始告诉我们说是7人,后来变成了10人,到后来又变成了13人。到底是几人住进这家酒店,又是几人被困在里面?”

                  如“两项监督”,经过检察机关近些年卓有成效的工作,有案不立和漏犯漏罪现象已经大为改观。对刑检工作来说,“两项监督”已常态化,“应追不追”就是失职,考核应当解决“应追不追”问题。

                  程逸飞何许人也?他是疫情中众多逆行者中的一员。生活在武汉的程逸飞本职工作是导演,平时热心公益的他,曾经坚持12年参与“粉红丝带”公益视频的制作,为此还入选过中国慈善千人计划。

                  在复工复产上,推进企业复工复产。按照市工业经济工作领导小组办公室印发的《关于进一步推动全市企业复工复产的通知》,推动全市企业尽快全面复工复产。抓好农业春耕生产。全市所有区、镇、办事处在做好疫情防控前提下,结合实际组织好农业生产。逐步开放服务业。全市药店、商超、宾馆住宿、加油站、车辆维修场所、农资店、快递物流点和各专业市场可以开放;餐饮店可提供无接触式加工与配送服务;美容美发店可提供预约式服务;市域网吧、酒吧、歌厅、电影院等经营性娱乐场所未经许可不得开门营业;市域内各通信运营商、水电气等企业和银行金融业要确保正常运营。

                来源:admin  责编:秩名