期刊文献+
共找到547篇文章
< 1 2 28 >
每页显示 20 50 100
Plasma big endothelin-1 is an effective predictor for ventricular arrythmias and end-stage events in primary prevention implantable cardioverter-defibrillator indication patients 被引量:1
1
作者 Xiao-Yao LI Shuang ZHAO +6 位作者 Xiao-Han FAN Ke-Ping CHEN Wei HUA Zhi-Min LIU Xiao-Di XUE Bin ZHOU Shu ZHANG 《Journal of Geriatric Cardiology》 SCIE CAS CSCD 2020年第7期427-433,共7页
Objective To investigate whether plasma big endothelin-1(ET-1) predicts ventricular arrythmias(VAs) and end-stage events in primary prevention implantable cardioverter-defibrillator(ICD) indication patigents. Methods ... Objective To investigate whether plasma big endothelin-1(ET-1) predicts ventricular arrythmias(VAs) and end-stage events in primary prevention implantable cardioverter-defibrillator(ICD) indication patigents. Methods In total, 207 patients fulfilling the inclusion criteria from Fuwai Hospital between January 2013 and December 2015 were retrospectively analyzed. The cohort was divided into three groups according to baseline plasma big ET-1 tertiles: tertile 1(< 0.38 pmol/L, n = 68), tertile 2(0.38–0.7 pmol/L, n = 69), and tertile 3(> 0.7 pmol/L, n = 70). The primary endpoints were VAs. The secondary endpoints were end-stage events comprising all-cause mortality and heart transplantation. Results During a mean follow-up period of 25.6 ± 13.9 months, 38(18.4%) VAs and 78(37.7%) end-stage events occurred. Big ET-1 was positively correlated with NYHA class(r = 0.165, P = 0.018), serum creatinine concentration(Scr;r = 0.147, P = 0.034), high-sensitivity C-reactive protein(hs-CRP;r = 0.217, P = 0.002), Lg NT-pro BNP(r = 0.463, P < 0.001), left ventricular end diastolic diameter(LVEDD;r = 0.234, P = 0.039) and negatively correlated with left ventricular ejection fraction(LVEF;r =-0.181, P = 0.032). Kaplan-Meier analysis showed that elevated big ET-1 was associated with increased risk of VAs and end-stage events(P < 0.05). In multivariate Cox regression models, big ET-1 was an independent risk factor for VAs(hazard ratio(HR) = 3.477, 95% confidence interval(CI): 1.352–8.940, P = 0.010, tertile 2 vs. tertile 1;HR = 4.112, 95% CI: 1.604–10.540, P = 0.003, tertile 3 vs. tertile 1) and end-stage events(HR = 2.804, 95% CI: 1.354–5.806, P = 0.005, tertile 2 vs. tertile 1;HR = 4.652, 95% CI: 2.288–9.459, P < 0.001, tertile 3 vs. tertile 1). Conclusions In primary prevention ICD indication patients, plasma big ET-1 levels can predict VAs and end-stage events and may facilitate ICD-implantation risk stratification. 展开更多
关键词 big endothelin-1 End-stage events Implantable cardioverter-defibrillator implantation Primary prevention Ventricular arrythmias
下载PDF
Conditional Events and Quantum Logic
2
作者 Philip G. Calabrese 《Journal of Applied Mathematics and Physics》 2018年第6期1278-1289,共12页
This paper begins with an overview of quantum mechanics, and then recounts a relatively recent algebraic extension of the Boolean algebra of probabilistic events to “conditional events” (order pairs of events). The ... This paper begins with an overview of quantum mechanics, and then recounts a relatively recent algebraic extension of the Boolean algebra of probabilistic events to “conditional events” (order pairs of events). The main point is to show that a so-called “superposition” of two (or more) quantum events (usually with mutually inconsistent initial conditions) can be represented in this algebra of conditional events and assigned a consistent conditional probability. There is no need to imagine that a quantum particle can simultaneously straddle two inconsistent possibilities. 展开更多
关键词 HEISENBERG INDETERMINACY SUPERPOSITION of eventS Quantum Entanglement Hidden Variables BOOLEAN Algebra CONDITIONAL logic
下载PDF
Impact of Big Events on Urban Renewal Based on Urban Catalyst Theory: A Case Study of 2016 Rio Summer Olympics and 2010 Shanghai World Expo
3
作者 BAI Mei ZHOU Yang TAO Danyang 《Journal of Landscape Research》 2022年第6期57-60,共4页
With the acceleration of the process of economic globalization and information synchronization, every major event is accompanied by the simultaneous renewal of the city. In the era of urban development, the launch of ... With the acceleration of the process of economic globalization and information synchronization, every major event is accompanied by the simultaneous renewal of the city. In the era of urban development, the launch of major events is also for the renewal and development of the city. 2016 Rio Summer Olympics and 2010 Shanghai World Expo are taken as the research objects. Through the analysis of urban renewal from the perspective of the role of big event catalyst, it is verified that the big event catalyst has a positive impact on urban renewal, transportation, industrial transformation and other aspects. Moreover, it tries to combine the theory of urban catalyst to analyze its inspiration for the Beijing Winter Olympic Games, hoping to play a catalytic role in accelerating the urban renewal and transformation of Beijing and the reorganization of urban structure. 展开更多
关键词 big event CATALYST Urban renewal
下载PDF
Nadam Fair—A Big Event on the Grassland
4
《China & The World Cultural Exchange》 1997年第4期11-12,共2页
关键词 A big event on the Grassland Nadam Fair
下载PDF
面向电力调度的事件知识图谱研究现状及发展
5
作者 齐冬莲 闫玮丹 +2 位作者 闫云凤 彭继慎 郭炳延 《电子与信息学报》 EI CAS CSCD 北大核心 2024年第9期3456-3466,共11页
事件知识图谱(EKG)是一种可学习事件演化规律的特殊知识图谱,具有推理、预测等功能。针对电力调度业务数据量大、模态多、交互耦合等特点,该文详述了面向电力调度的事件知识图谱的数据集构建、主流方法、技术架构、评价指标、适用场景等... 事件知识图谱(EKG)是一种可学习事件演化规律的特殊知识图谱,具有推理、预测等功能。针对电力调度业务数据量大、模态多、交互耦合等特点,该文详述了面向电力调度的事件知识图谱的数据集构建、主流方法、技术架构、评价指标、适用场景等,重点分析各场景的可行性,并在应用流程、输入输出、技术架构等方面给出方案,最后对其在电力调度业务长期发展面临的难点和可能的研究方向进行了展望。该文研究为研究电力调度领域特点、事件知识图谱优势和两者结合提供了参考,并为事件知识图谱在电力调度领域中的应用方向提供了指导性思路。 展开更多
关键词 事件知识图谱 电力调度 事件预测 大数据
下载PDF
在线诉讼的民事检察监督:证成及制度化路径
6
作者 舒瑶芝 《政治与法律》 北大核心 2024年第3期24-39,共16页
由数字化生产方式所决定的数字化司法变革催生了在线诉讼中民事检察监督的新形式,民事检察监督嵌入在线诉讼既是诉讼构造数字化的逻辑使然,也有益于实现诉讼程序中的检察监督功能。在线诉讼具备时空场域转换、有形要素缺失、技术壁垒显... 由数字化生产方式所决定的数字化司法变革催生了在线诉讼中民事检察监督的新形式,民事检察监督嵌入在线诉讼既是诉讼构造数字化的逻辑使然,也有益于实现诉讼程序中的检察监督功能。在线诉讼具备时空场域转换、有形要素缺失、技术壁垒显现等全新的特质,客观上也要求民事检察监督进行技术性和程序化的匹配。当前,在线诉讼民事检察监督作为检察监督的新命题,有必要从理念、规范以及实践的维度进行具体审视,促使其进入理论观照视野,探寻其未来的可能出路。在理念维度上,需要将技术赋权塑造为促使底层逻辑具象化的载体;在规范维度上,需要顺应在线诉讼的特质,明确检察监督的侧重点,并引入正当程序的理念实现具体规则的优化;在实践维度上,需要聚焦大数据监督平台及算法模型的适配性搭建,为全面提升在线诉讼民事检察监督的质效提供充足的技术支撑。 展开更多
关键词 数字化生产逻辑 在线诉讼 民事检察监督 技术赋权 大数据法律监督
下载PDF
大数据视域下公众网络“吃瓜”的行为逻辑与引导
7
作者 朱瑛 《陕西行政学院学报》 2024年第2期53-58,共6页
在当前缺乏有效管理及事故屡治不绝情况下,充分利用大数据技术手段来推动公众积极参与公共事件,并高效融入到相关公共事务治理的做法已逐渐成为一致共识。对“鼠头鸭脖”等典型食品安全事件展开情境化探索,分析网络“吃瓜”生成机理,归... 在当前缺乏有效管理及事故屡治不绝情况下,充分利用大数据技术手段来推动公众积极参与公共事件,并高效融入到相关公共事务治理的做法已逐渐成为一致共识。对“鼠头鸭脖”等典型食品安全事件展开情境化探索,分析网络“吃瓜”生成机理,归纳公众网络“吃瓜”中存在的行为偏离、话语权失衡、数字行动权的制度缺失等行为缺憾情况,系统梳理大数据网络环境中公众参与的行为特征,据此探讨“倍增”效应和“盲区”效应等对大数据环境下公众参与行为引导的困境,可为开创全社会参与公共事务治理的良性互动新格局进行有益的探索。 展开更多
关键词 大数据 吃瓜 公共事件 公共事务 行为引导
下载PDF
融合知识图谱的矿产资源定量预测 被引量:1
8
作者 王成彬 王明果 +3 位作者 王博 陈建国 马小刚 蒋恕 《地学前缘》 EI CAS CSCD 北大核心 2024年第4期26-36,共11页
大数据和人工智能极大地促进了矿产勘查的发展,创新了矿产预测研究范式,提升了地质找矿大数据的挖掘与集成能力。在资源定量预测领域,知识-数据联合驱动的综合信息智能预测已逐渐成为行业共识,如何实现数据和知识联合驱动是目前亟待解... 大数据和人工智能极大地促进了矿产勘查的发展,创新了矿产预测研究范式,提升了地质找矿大数据的挖掘与集成能力。在资源定量预测领域,知识-数据联合驱动的综合信息智能预测已逐渐成为行业共识,如何实现数据和知识联合驱动是目前亟待解决的问题。知识图谱可以整合多源、异构的地质找矿大数据,其中蕴含的知识和规则在驱动地球科学领域的知识发现方面具有重要的发展潜力。本文针对大数据和人工智能时代对资源定量预测智能化和自动化的需求,结合知识图谱相关技术的特点,探讨融合知识图谱技术的矿产资源定量预测智能化和自动化的可行性和技术方法路线。重点剖析面向矿产预测的成矿-勘查系统多时序全要素知识图谱构建和基于知识图谱从“求同”和“求异”的角度建立找矿预测模型,知识图谱中的知识嵌入到地物化遥异常信息提取的方法,以及融合知识图谱的资源定量预测工作的机遇和挑战。拟希望将知识图谱中知识表达和推理融入到矿产资源定量预测技术方法流程中,协助地质专家来确定矿产预测模型,提高矿产预测的自动化和智能化。 展开更多
关键词 知识图谱 资源定量预测 矿产预测智能化 地质大数据
下载PDF
不确定非线性离散系统指令滤波事件触发控制
9
作者 徐雨梦 于金鹏 +1 位作者 林崇 于海生 《控制理论与应用》 EI CAS CSCD 北大核心 2024年第5期839-846,共8页
本文提出了考虑输入饱和的一类不确定非线性离散系统的事件触发指令滤波控制方法.采用指令滤波控制技术解决了传统反步法存在的“因果矛盾”问题,引入补偿机制提高了系统的控制精度;利用事件触发机制能够避免自适应律和控制律的频繁更新... 本文提出了考虑输入饱和的一类不确定非线性离散系统的事件触发指令滤波控制方法.采用指令滤波控制技术解决了传统反步法存在的“因果矛盾”问题,引入补偿机制提高了系统的控制精度;利用事件触发机制能够避免自适应律和控制律的频繁更新,降低了计算负担,提高了资源利用率;运用模糊逻辑系统逼近系统中未知的非线性函数;结合李雅普诺夫稳定性理论,验证了提出的控制方案能够保证跟踪误差收敛到原点小的邻域内以及闭环系统的所有信号有界.仿真结果表明,本文提出的控制方法具有较强的鲁棒性及较好的跟踪性能. 展开更多
关键词 指令滤波反步 事件触发机制 模糊逻辑系统 输入饱和 离散
下载PDF
基于观测器和指定性能的非线性系统事件触发跟踪控制
10
作者 游星星 杨道文 +3 位作者 郭斌 刘凯 佃松宜 朱雨琪 《自动化学报》 EI CAS CSCD 北大核心 2024年第9期1747-1760,共14页
针对一类具有外部扰动的非线性系统,提出了一种自适应模糊跟踪控制方法.首先,利用模糊逻辑系统逼近系统未知的非线性函数,并设计了一个模糊状态观测器来估计系统的不可测状态.其次,通过指定性能函数,使系统的跟踪误差能够约束在指定范围... 针对一类具有外部扰动的非线性系统,提出了一种自适应模糊跟踪控制方法.首先,利用模糊逻辑系统逼近系统未知的非线性函数,并设计了一个模糊状态观测器来估计系统的不可测状态.其次,通过指定性能函数,使系统的跟踪误差能够约束在指定范围内.然后,利用Backsteping方法结合包含对数函数的Lyapunov泛函,设计了一个基于事件触发条件的自适应模糊控制器.基于Lyapunov稳定性理论和信号是半全局一致最终有界的.最后,通过一个数值仿真例子验证了所提出方法的有效性. 展开更多
关键词 自适应控制 指定性能 事件触发 模糊逻辑系统 模糊观测器
下载PDF
基于法条知识的事理型类案检索方法
11
作者 李林睿 王东升 范红杰 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2024年第7期1357-1365,共9页
现有类案检索研究忽略了模型应当蕴含的法律逻辑,无法适应实际应用中案件相似标准的要求;类案检索任务的中文数据集较少,难以满足研究需求现状.为此提出基于法律逻辑、有较强可解释性的类案检索模型,构建以谓语动词为基础的案件事理图谱... 现有类案检索研究忽略了模型应当蕴含的法律逻辑,无法适应实际应用中案件相似标准的要求;类案检索任务的中文数据集较少,难以满足研究需求现状.为此提出基于法律逻辑、有较强可解释性的类案检索模型,构建以谓语动词为基础的案件事理图谱.将各类罪名对应的法条知识融入所提模型,将提取的不同要素输入以神经网络为基础的评分器以实现准确、高效的类案检索.构建针对类案检索任务、以易混淆罪名组为主要检索案由的Confusing-LeCaRD数据集,所提模型在LeCaRD数据集和Confusing-LeCaRD数据集上的归一化折损累计增益分别为90.95%和94.64%,在各项指标上均优于TF-IDF、BM25和BERT-PLI模型. 展开更多
关键词 类案检索 法条知识 法律逻辑 事理图谱 深度学习
下载PDF
数字体育赛事:概念内涵、实践样态与发展路径
12
作者 黎镇鹏 任波 《武汉体育学院学报》 北大核心 2024年第6期57-64,共8页
数字体育赛事是数字经济时代的核心产物,是数字经济与体育赛事融合形成的新事件。随着数字体育赛事创新发展,对其理论基础研究与实践样态的探索尤为迫切。运用文献资料、逻辑推理与案例分析等方法,借鉴三维逻辑学分析范式定义数字体育... 数字体育赛事是数字经济时代的核心产物,是数字经济与体育赛事融合形成的新事件。随着数字体育赛事创新发展,对其理论基础研究与实践样态的探索尤为迫切。运用文献资料、逻辑推理与案例分析等方法,借鉴三维逻辑学分析范式定义数字体育赛事的概念,进一步从时代特征、实践价值及其与传统体育赛事的要素分类对比分析阐述其内涵,并以杭州亚运会电子竞技比赛与上海虚拟体育公开赛为典型案例分析其实践样态。研究认为,电子竞技赛事与虚拟体育赛事是典型的数字体育赛事。现阶段,我国数字体育赛事发展存在赛事运营要素不完善、赛事监管体系不健全、赛事制度保障不牢固等现实困囿,提出夯实赛事运营基础,搭建系统的全链路数字化运营模式;完善赛事监管制度,构筑科学的全要素数字化监管体系;加大政策保障力度,构建健全的全周期数字化保障体系等路径,以期为我国数字体育赛事的创新发展建言献策。 展开更多
关键词 数字经济 数字体育赛事 三维逻辑学 虚拟体育赛事 电子竞技
下载PDF
量子态叠加的事件发生柔性逻辑统一表达式研究
13
作者 崔铁军 李莎莎 《西北工业大学学报》 EI CAS CSCD 北大核心 2024年第4期774-782,共9页
为了确定原因事件导致结果事件过程中蕴含的多逻辑关系,提出以多量子态叠加为基础的事件发生柔性逻辑统一表达式。根据任意多事件间逻辑关系可简化为两事件逻辑关系的前提,研究了20种柔性逻辑关系转化为事件发生逻辑表达式的形式,选择其... 为了确定原因事件导致结果事件过程中蕴含的多逻辑关系,提出以多量子态叠加为基础的事件发生柔性逻辑统一表达式。根据任意多事件间逻辑关系可简化为两事件逻辑关系的前提,研究了20种柔性逻辑关系转化为事件发生逻辑表达式的形式,选择其中16种建立了四量子态叠加的事件发生柔性逻辑统一表达式。研究这16种逻辑关系,进一步确定了8种无明显相关性的逻辑关系,最终形成了三量子态叠加的事件发生柔性逻辑统一表达式。研究表明:所建表达式能同时表达8种逻辑关系叠加状态,可得到结果事件发生概率中不同逻辑的构成形式,分析了所建表达式的特点和求解过程中可能遇到的问题,并通过实例分析说明了方法的使用过程和作用。研究成果可用于系统故障演化过程中,原因事件导致结果事件的逻辑关系统一表达及故障发生概率确定。 展开更多
关键词 安全系统工程 量子叠加 多量子态 柔性逻辑 事件发生概率
下载PDF
基于体育学科大概念的大单元教学关系论证、导出逻辑与设计策略
14
作者 甘琼 《首都体育学院学报》 北大核心 2024年第3期286-293,333,共9页
当前体育教学改革面临的重点问题是如何实现以学科大概念为中心、以主题为引领的大单元教学,有效促进学生核心素养的发展。采用文献研究法、归纳分析法和案例分析法,探讨基于体育学科大概念引领的大单元教学模式,分析其在系统性与完整... 当前体育教学改革面临的重点问题是如何实现以学科大概念为中心、以主题为引领的大单元教学,有效促进学生核心素养的发展。采用文献研究法、归纳分析法和案例分析法,探讨基于体育学科大概念引领的大单元教学模式,分析其在系统性与完整性学习中发展学生核心素养的有效性。提取和凝练专项运动技能的大概念,以专项运动技能的大概念为中心构建大单元学习主题,基于大单元学习主题的引领构建系统性与完整性的课时学习主题任务链,构建指向发展核心素养的单元与课时学习评价体系,并辅以案例说明。加强教学内容、评价体系与学科大概念的关联性,从而优化体育教学,提升学生的核心素养。 展开更多
关键词 体育 学科大概念 大单元 教学设计 逻辑 策略
下载PDF
以大食物观保障粮食安全:互动机理、逻辑溯源与时代意旨
15
作者 贾如 《西北农林科技大学学报(社会科学版)》 北大核心 2024年第4期63-73,共11页
大食物观作为新时代保障国家粮食安全的新思路,对标粮食安全内涵主线中数量、来源、质量、能力四重向度,以我国自然资源禀赋为依托,以满足人民食物消费需求升级为旨归,以“多位一体”高质量发展内核为动力,为端牢中国饭碗提供了科学指... 大食物观作为新时代保障国家粮食安全的新思路,对标粮食安全内涵主线中数量、来源、质量、能力四重向度,以我国自然资源禀赋为依托,以满足人民食物消费需求升级为旨归,以“多位一体”高质量发展内核为动力,为端牢中国饭碗提供了科学指引。梳理以大食物观保障粮食安全的逻辑思路,使我们深刻领会马克思主义食物观的真理价值,准确把握中国共产党粮食安全认知的跃升转型,清醒认识“两个大局”下优化粮食安全理念的紧迫现实。大食物观内蕴的现代化要素、社会主义性质、人类文明性同中国式现代化的科学内涵在底层逻辑上高度耦合,决定了树立大食物观夯实粮食安全根基是实现中国式农业现代化,进而推动我国建成社会主义现代化强国的重要支撑和必由之路。 展开更多
关键词 大食物观 粮食安全 互动机理 逻辑溯源 时代意旨
下载PDF
统计测度的概念内涵、理论逻辑与应用模式——基于大数据应用的研究背景
16
作者 张维群 《统计学报》 2024年第3期1-11,共11页
大数据是客观事物现象和活动的信息化表现形式,对大数据的统计测量是实现大数据应用的基础性研究工作。从统计测度的概念内涵、理论逻辑和应用模式分析入手,说明统计测度是客观存在的主观定量反映,二者的一致性是统计测度科学性评价的... 大数据是客观事物现象和活动的信息化表现形式,对大数据的统计测量是实现大数据应用的基础性研究工作。从统计测度的概念内涵、理论逻辑和应用模式分析入手,说明统计测度是客观存在的主观定量反映,二者的一致性是统计测度科学性评价的唯一标准。统计测度实质上是主观认识对客观事物内容、特征和关系的定量化表现,据此构造统计测度的理论逻辑关系。大数据应用背景下的统计测度与大数据的加工处理存在着密切联系,具体而言,统计测度理论方法可指导大数据的加工处理,大数据的加工处理也需要统计测度的理论方法支撑,二者相互协调统一,构建了大数据加工处理与统计测度之间的逻辑框架。大数据应用背景下,统计测度的科学性是大数据加工处理的必然要求,这对促进大数据应用的科学性尤为重要。 展开更多
关键词 大数据 统计测度 理论逻辑 应用模式
下载PDF
职业教育质量项目化的事理逻辑、符号效应与优化策略
17
作者 殷文杰 《天津职业大学学报》 2024年第2期13-18,共6页
项目制治理体制和职业院校的自身发展需要助推职业教育质量评价的项目化。现实中,项目在职业教育质量评价中的符号价值容易掩盖职业教育的质量内涵、动摇教学工作的核心地位、影响职业教育的基本价值取向,在一定程度上影响到职业教育质... 项目制治理体制和职业院校的自身发展需要助推职业教育质量评价的项目化。现实中,项目在职业教育质量评价中的符号价值容易掩盖职业教育的质量内涵、动摇教学工作的核心地位、影响职业教育的基本价值取向,在一定程度上影响到职业教育质量的持续提升。只有重新认识职业教育的质量内涵,强化职业教育质量标准的育人导向、培育具有自身特色的质量文化、优化项目管理,才能彰显项目的质量价值,为职业教育的高质量发展提供保障。 展开更多
关键词 职业教育质量 项目化 事理逻辑 符号效应 策略
下载PDF
基于逻辑知识图谱的电网信息快速检索方法
18
作者 杨鸿 赵盖兵 《科技资讯》 2024年第7期36-38,共3页
旨在探索基于逻辑知识图谱的电网信息快速检索方法,以解决电网领域庞大而复杂的数据管理和检索挑战。通过构建逻辑图谱,将电网实体以节点形式呈现,并通过逻辑关系揭示它们之间的依赖和联系,从而为电网信息管理提供了一种智能、准确、实... 旨在探索基于逻辑知识图谱的电网信息快速检索方法,以解决电网领域庞大而复杂的数据管理和检索挑战。通过构建逻辑图谱,将电网实体以节点形式呈现,并通过逻辑关系揭示它们之间的依赖和联系,从而为电网信息管理提供了一种智能、准确、实时的解决方案,有望推动电网系统的智能化和可持续发展,期望能够为相关人员提供参考。 展开更多
关键词 逻辑知识图谱 电网信息 快速检索 大数据
下载PDF
基于Event-B的一种联锁逻辑的形式化建模研究
19
作者 沈啸 陈邦兴 唐晨 《信息技术》 2013年第2期7-10,14,共5页
铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的研发,还是对联锁软件的第三方测试都是非常重要的。基于Event-B方法,利用自动机模型和形式化语言对车站的一种信号联锁逻辑进行建模研究,并通过逐步精化的方法扩展联锁功能,依... 铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的研发,还是对联锁软件的第三方测试都是非常重要的。基于Event-B方法,利用自动机模型和形式化语言对车站的一种信号联锁逻辑进行建模研究,并通过逐步精化的方法扩展联锁功能,依赖不变式技术形式化地保证了该模型的安全性。所建模型通过Rodin平台的验证,结果表明它们是安全的。 展开更多
关键词 联锁逻辑 形式化建模 event-B
下载PDF
基于大数据和人工智能的突发环境事件应急监测与预警系统研究
20
作者 符强 《中国资源综合利用》 2024年第4期163-165,共3页
随着信息技术的发展,大数据和人工智能在突发环境事件监测与预警中展现出巨大的潜力和价值。结合突发环境事件的分类与特点,分析大数据和人工智能在突发环境事件监测和预警中的应用,设计基于大数据和人工智能的突发环境事件应急监测与... 随着信息技术的发展,大数据和人工智能在突发环境事件监测与预警中展现出巨大的潜力和价值。结合突发环境事件的分类与特点,分析大数据和人工智能在突发环境事件监测和预警中的应用,设计基于大数据和人工智能的突发环境事件应急监测与预警系统,详细阐述系统的总体架构、功能模块及运行流程。研究表明,该系统能够有效提升突发环境事件的监测和预警能力,为决策者提供科学、准确的信息支持,从而更好地应对和处理突发环境事件。 展开更多
关键词 突发环境事件 大数据 人工智能 监测与预警 应急
下载PDF
上一页 1 2 28 下一页 到第
使用帮助 返回顶部