作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

基于体系结构能耗建模的CPS软件可信性评估方法  CNKI文献

信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结...

张广泉 张侃... 《电子学报》 2013年11期 期刊

关键词: 信息物理融合系统 / 软件可信性评估 / 可信性指标模型 / 能耗建模

下载(230)| 被引(11)

补短板 堵漏洞 强弱项 抗击新冠肺炎疫情对我国应急管理...  CNKI文献

新冠肺炎疫情暴发后,党中央、国务院高度重视。习近平总书记亲自部署、亲自指挥,举国上下众志成城,坚决打响疫情防控的人民战争总体战阻击战,充分体现出中国制度的优势。2019年11月29日,在中共中央政治局就我国应急管...

张广泉 《中国应急管理》 2020年02期 期刊

下载(938)| 被引(4)

新技术革命推动下的应急管理——访中国科学院大学应急管理...  CNKI文献

2019年5月,有两件大事引起世人关注。一件发生在16日,国家主席习近平致信第三届世界智能大会,强调"当前,由人工智能引领的新一轮科技革命和产业变革方兴未艾。在移动互联网、大数据、超级计算、传感网、脑科学等...

张广泉 《中国应急管理》 2020年01期 期刊

关键词: 应急管理 / 科技信息化 / 应急产业 / 新技术革命

下载(428)| 被引(2)

上下齐发力 推动企业安全生产主体责任落实——写在江苏响...  CNKI文献

3月21日14时48分,一场惊天动地的爆炸,让江苏天嘉宜化工有限公司走进了公众视野。此起事故波及周边众多家企业。截至3月25日,江苏响水天嘉宜公司"3·21"爆炸事故已造成78人死亡。截至3月25日12时,盐城全...

张广泉 《中国应急管理》 2019年03期 期刊

关键词: 爆炸事故 / 救援队 / 安全生产主体责任 / 危险化学品安全

下载(1020)| 被引(3)

应急消防机器人集群协同作战展望  CNKI文献

在最近阿塞拜疆和亚美尼亚的纳卡冲突中,最吸引人的武器毫无疑问要属军队手中的大量无人机,尤其是自杀集群无人机,造成了惨重冲突损失。无人化集群作战不仅在战争中运用,在消防救援中也发挥重大作用。集群式消防机器人...

张广泉 《中国应急管理》 2020年10期 期刊

关键词: 消防机器人 / 集群式 / 消防排烟 / RXR

下载(202)| 被引(0)

把握行业规律 统筹社会力量 推进灾害监测预警能力现代化  CNKI文献

2020年2月7日,为做好综合风险监测预警工作,应急管理部风险监测和综合减灾司发出关于征集研究课题承担单位的公告,将组织开展综合风险监测预警体系建设专题研究及业务支撑工作。其课题研究要点包括灾害综合风险监测产...

张广泉 潘臻... 《中国应急管理》 2020年05期 期刊

关键词: 灾害预警 / “最后一公里” / 预警体系 / 多灾种

下载(174)| 被引(0)

找准短板 提升社区应急能力——吉林省长春市宽城区“社区...  CNKI文献

新冠肺炎疫情对地方基层的应急治理能力进行了一次大考,这场战役暴露出社区应急管理工作仍存在不少短板。完善社区应急管理体系,提升基层应急能力,已然成为一项刻不容缓的任务。6月2日,就社区应急能力建设的话题,《中...

张广泉 黄凯... 《中国应急管理》 2020年06期 期刊

关键词: 疫情防控 / 防控工作 / 常态化 / 应急能力建设

下载(186)| 被引(0)

发展应急产业 提升应急能力——访新兴际华集团副总经理徐...  CNKI文献

应急产业作为应急能力的重要支撑,在2020年抗击新冠肺炎疫情阻击战中,暴露出了我国在发展应急产业过程中存在的许多问题。如何发展应急产业,助力应急能力的提升,我们访谈了新兴际华集团副总经理、应急救援装备产业技术...

张广泉 秦绪坤 《中国应急管理》 2020年05期 期刊

关键词: 应急产业 / 政产学研用 / 总体国家安全观 / 应急能力建设

下载(186)| 被引(0)

基于UML的图书管理系统体系结构模型及实现  CNKI文献

探讨软件体系结构与面向对象方法相结合的问题。以一个图书管理系统为例,采用统一建模语言UML对该系统的软件体系结构建模,并使用VB语言实现了该系统。

张广泉 刘艳 《重庆师范大学学报(自然科学版)》 2005年02期 期刊

关键词: 图书管理系统 / 软件体系结构 / 建模 / UML

下载(1628)| 被引(54)

时间感知Web服务交互行为建模与失配检测方法研究  CNKI文献

针对现有Web服务组合过程中存在时间感知力弱、服务利用率低、组合可靠性差等问题,通过将定量时间属性引入Web服务交互适配框架中,研究时间感知Web服务交互行为的形式化建模与交互行为失配的自动检测问题.提出了用于表...

张广泉 戎玫... 《电子学报》 2011年11期 期刊

关键词: 时间感知Web服务 / 时间服务协议 / 时间服务交互 / 模型检测

下载(202)| 被引(12)

关于软件形式化方法  CNKI文献

简要回顾了形式化方法的发展历程 ,阐述了形式化方法的定义、重要性及主要研究内容。着重讨论了形式规约语言与方法 ,以及演绎证明和模型检测等形式验证方法

张广泉 《重庆师范学院学报(自然科学版)》 2002年02期 期刊

关键词: 形式化方法 / 规约 / 验证 / 演绎证明

下载(1160)| 被引(110)

基于XYZ/ADL的Web服务组合描述与验证  CNKI文献

Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务...

张广泉 戎玫... 《电子学报》 2011年S1期 期刊

关键词: Web服务组合 / XYZ/ADL / XYZ/RE / 时间自动机

下载(199)| 被引(16)

放眼长远 总结经验 吸取教训 新冠肺炎疫情总体战阻击战...  CNKI文献

4月8日,习近平总书记在中共中央政治局常务委员会会议上指出,当前我国疫情防控阶段性成效进一步巩固,复工复产取得重要进展,经济社会运行秩序加快恢复。同时,国际疫情持续蔓延,世界经济下行风险加剧,不稳定不确定因素...

张广泉 《中国应急管理》 2020年04期 期刊

关键词: 应急管理 / 总体战

下载(387)| 被引(0)

贯彻落实习近平总书记考察长春市长山花园社区时的讲话精神...  CNKI文献

经过多年的改造和治理,吉林省长春市宽城区团山街道长山花园社区从环境脏乱差变成"全国和谐社区建设示范社区",成为群众安居乐业的家园。(一)2020年7月23日,习近平总书记来到长山花园社区,了解社区党建、基...

张广泉 黄凯 《中国应急管理》 2020年08期 期刊

关键词: 应急管理 / 习近平总书记 / 应急能力建设 / 长春市

下载(225)| 被引(1)

边普查 边应用 边见效——第一次全国自然灾害综合风险普...  CNKI文献

国务院办公厅发布的《第一次全国自然灾害综合风险普查的通知》(以下简称《通知》),确立了"边普查、边应用、边见效"的基本原则,就普查工作中的相关话题,记者综合相关专家解读,梳理出以下几条共性认识。综合...

张广泉 《中国应急管理》 2020年07期 期刊

关键词: 灾害风险管理 / 地方各级人民政府 / 区划图 / 风险普查

下载(151)| 被引(0)

新一代信息技术助力智慧城市建设——访中国工程院院士陈鲸  CNKI文献

当前,随着许多城市的数据资源部门和大数据机构的成立,全方位、多层级新型智慧城市建设的高潮已经到来。新型智慧城市建设会遇到什么问题、建设智慧城市如何"补齐短板"、在智慧城市建设中如何发挥科技产业的...

张广泉 《中国应急管理》 2020年08期 期刊

关键词: 智慧城市建设 / 新一代信息技术 / 智慧应急 / 中国工程院

下载(146)| 被引(0)

在大战大考中砥砺提升 新冠肺炎疫情总体战阻击战对我国应...  CNKI文献

新冠肺炎疫情牵动着国人的心。对疫情防控,习近平总书记高度重视,亲自部署、亲自指挥,多次召开会议、听取汇报并作出重要指示。在2月3日召开的中共中央政治局常务委员会会议上,习近平总书记强调,这次疫情是对我国治理...

张广泉 《中国应急管理》 2020年03期 期刊

关键词: 应急管理 / 应急管理体系 / 总体战

下载(325)| 被引(0)

风险交织叠加 防范刻不容缓——近年我国自然灾害特点及其...  CNKI文献

我国是世界上自然灾害最严重的国家之一,各种灾害风险相互交织、相互叠加,自然灾害面临更加复杂的严峻形势和挑战,必须强化灾害风险的综合防范。风险叠加,呈现五大特点我国的自然灾害有五个特点:一是灾害种类多。二是...

张广泉 《中国应急管理》 2020年07期 期刊

关键词: 防灾减灾意识 / 地质灾害 / 综合减灾 / 预警信息发布

下载(231)| 被引(0)

特大灾害应急应上升为国家战略——访中国应急管理学会副会...  CNKI文献

我国是自然灾害和其他事故灾难多发的国家,当前正处于工业化、城镇化快速发展时期,各类突发事件发生频率高、破坏力大、影响力强,由于传统的和非传统的、自然的和社会的、国内的和国际的风险矛盾交织并存,今后一个时期...

张广泉 《中国应急管理》 2020年10期 期刊

关键词: 应急管理 / 国务院 / 应急准备 / 特大灾害

下载(92)| 被引(0)

基于扩展自动机的服务组合静态与动态验证方法  CNKI文献

针对目前Web服务组合研究中缺少对定量属性的验证以及在服务运行过程中缺乏对出现异常时的故障处理等问题,提出了一种基于扩展有限自动机的Web服务组合静态与动态验证方法。该方法首先对有限自动机进行扩展,建立了一个...

张广泉 狄浩军... 《通信学报》 2012年S1期 期刊

关键词: Web服务组合 / 定量属性 / 有限自动机 / CTL

下载(138)| 被引(8)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状