基于体系结构能耗建模的CPS软件可信性评估方法 CNKI文献
信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结...
补短板 堵漏洞 强弱项 抗击新冠肺炎疫情对我国应急管理... CNKI文献
新冠肺炎疫情暴发后,党中央、国务院高度重视。习近平总书记亲自部署、亲自指挥,举国上下众志成城,坚决打响疫情防控的人民战争总体战阻击战,充分体现出中国制度的优势。2019年11月29日,在中共中央政治局就我国应急管...
下载（925）| 被引（4）
新技术革命推动下的应急管理——访中国科学院大学应急管理... CNKI文献
2019年5月,有两件大事引起世人关注。一件发生在16日,国家主席习近平致信第三届世界智能大会,强调"当前,由人工智能引领的新一轮科技革命和产业变革方兴未艾。在移动互联网、大数据、超级计算、传感网、脑科学等...
上下齐发力 推动企业安全生产主体责任落实——写在江苏响... CNKI文献
3月21日14时48分,一场惊天动地的爆炸,让江苏天嘉宜化工有限公司走进了公众视野。此起事故波及周边众多家企业。截至3月25日,江苏响水天嘉宜公司"3·21"爆炸事故已造成78人死亡。截至3月25日12时,盐城全...
找准短板 提升社区应急能力——吉林省长春市宽城区“社区... CNKI文献
新冠肺炎疫情对地方基层的应急治理能力进行了一次大考,这场战役暴露出社区应急管理工作仍存在不少短板。完善社区应急管理体系,提升基层应急能力,已然成为一项刻不容缓的任务。6月2日,就社区应急能力建设的话题,《中...
把握行业规律 统筹社会力量 推进灾害监测预警能力现代化 CNKI文献
2020年2月7日,为做好综合风险监测预警工作,应急管理部风险监测和综合减灾司发出关于征集研究课题承担单位的公告,将组织开展综合风险监测预警体系建设专题研究及业务支撑工作。其课题研究要点包括灾害综合风险监测产...
发展应急产业 提升应急能力——访新兴际华集团副总经理徐... CNKI文献
应急产业作为应急能力的重要支撑,在2020年抗击新冠肺炎疫情阻击战中,暴露出了我国在发展应急产业过程中存在的许多问题。如何发展应急产业,助力应急能力的提升,我们访谈了新兴际华集团副总经理、应急救援装备产业技术...
探讨软件体系结构与面向对象方法相结合的问题。以一个图书管理系统为例,采用统一建模语言UML对该系统的软件体系结构建模,并使用VB语言实现了该系统。
在最近阿塞拜疆和亚美尼亚的纳卡冲突中,最吸引人的武器毫无疑问要属军队手中的大量无人机,尤其是自杀集群无人机,造成了惨重冲突损失。无人化集群作战不仅在战争中运用,在消防救援中也发挥重大作用。集群式消防机器人...
时间感知Web服务交互行为建模与失配检测方法研究 CNKI文献
针对现有Web服务组合过程中存在时间感知力弱、服务利用率低、组合可靠性差等问题,通过将定量时间属性引入Web服务交互适配框架中,研究时间感知Web服务交互行为的形式化建模与交互行为失配的自动检测问题.提出了用于表...
简要回顾了形式化方法的发展历程 ,阐述了形式化方法的定义、重要性及主要研究内容。着重讨论了形式规约语言与方法 ,以及演绎证明和模型检测等形式验证方法
Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务...
放眼长远 总结经验 吸取教训 新冠肺炎疫情总体战阻击战... CNKI文献
4月8日,习近平总书记在中共中央政治局常务委员会会议上指出,当前我国疫情防控阶段性成效进一步巩固,复工复产取得重要进展,经济社会运行秩序加快恢复。同时,国际疫情持续蔓延,世界经济下行风险加剧,不稳定不确定因素...
贯彻落实习近平总书记考察长春市长山花园社区时的讲话精神... CNKI文献
经过多年的改造和治理,吉林省长春市宽城区团山街道长山花园社区从环境脏乱差变成"全国和谐社区建设示范社区",成为群众安居乐业的家园。(一)2020年7月23日,习近平总书记来到长山花园社区,了解社区党建、基...
新一代信息技术助力智慧城市建设——访中国工程院院士陈鲸 CNKI文献
当前,随着许多城市的数据资源部门和大数据机构的成立,全方位、多层级新型智慧城市建设的高潮已经到来。新型智慧城市建设会遇到什么问题、建设智慧城市如何"补齐短板"、在智慧城市建设中如何发挥科技产业的...
在大战大考中砥砺提升 新冠肺炎疫情总体战阻击战对我国应... CNKI文献
新冠肺炎疫情牵动着国人的心。对疫情防控,习近平总书记高度重视,亲自部署、亲自指挥,多次召开会议、听取汇报并作出重要指示。在2月3日召开的中共中央政治局常务委员会会议上,习近平总书记强调,这次疫情是对我国治理...
边普查 边应用 边见效——第一次全国自然灾害综合风险普... CNKI文献
国务院办公厅发布的《第一次全国自然灾害综合风险普查的通知》(以下简称《通知》),确立了"边普查、边应用、边见效"的基本原则,就普查工作中的相关话题,记者综合相关专家解读,梳理出以下几条共性认识。综合...
风险交织叠加 防范刻不容缓——近年我国自然灾害特点及其... CNKI文献
我国是世界上自然灾害最严重的国家之一,各种灾害风险相互交织、相互叠加,自然灾害面临更加复杂的严峻形势和挑战,必须强化灾害风险的综合防范。风险叠加,呈现五大特点我国的自然灾害有五个特点:一是灾害种类多。二是...
特大灾害应急应上升为国家战略——访中国应急管理学会副会... CNKI文献
我国是自然灾害和其他事故灾难多发的国家,当前正处于工业化、城镇化快速发展时期,各类突发事件发生频率高、破坏力大、影响力强,由于传统的和非传统的、自然的和社会的、国内的和国际的风险矛盾交织并存,今后一个时期...
