期刊文献+
共找到590篇文章
< 1 2 30 >
每页显示 20 50 100
The Centre for China and Globalisation(CCG)Attends the 60th Munich Security Conference(MSC)and Hosts Side Event
1
《International Understanding》 2024年第1期45-45,共1页
The Centre for China and Globalisation(CCG)hosted a side event on February 17 titled"China,Europe,and the United States:Climate Cooperation in an Era of Great Power Politics"at the Munich Security Conference... The Centre for China and Globalisation(CCG)hosted a side event on February 17 titled"China,Europe,and the United States:Climate Cooperation in an Era of Great Power Politics"at the Munich Security Conference(MSC)2024,which was convened from February 16 to 18,2024 in Munich,Germany. 展开更多
关键词 security event MSC CCG
在线阅读 下载PDF
Spatiotemporal Variability in Extreme Temperature Events in an Arid-Semiarid Region of China and Their Teleconnections with Large-Scale Atmospheric Circulation 被引量:2
2
作者 Lin Zhang Yanfeng Liu +1 位作者 Menggui Jin Xing Liang 《Journal of Earth Science》 SCIE CAS CSCD 2023年第4期1201-1217,共17页
With a warming climate,temperature extremes have been a main global issue in recent decades due to their potential influence on the sustainable development of human life and natural ecosystems.In this study,12 indicat... With a warming climate,temperature extremes have been a main global issue in recent decades due to their potential influence on the sustainable development of human life and natural ecosystems.In this study,12 indicators of extreme temperature events are used to evaluate the spatiotemporal distribution,periodic structure and teleconnections with large-scale atmospheric circulation in Xinjiang,Northwest China by combining wavelet coherence(WTC) analysis based on continuous wavelet transform(CWT) analysis with the sequential Mann-Kendall test.We find that over the past six decades,the climate in Xinjiang has become warmer and has suffered from increases in the frequency of warm extremes and decreases in the frequency of cold extremes.Warm extremes have mainly occurred in the southern Tianshan Mountains surrounding the Tarim Basin and western part of the Taklamakan Desert,and cold extremes have primarily occurred in the southwestern Altai Mountains and northern foot of the Tianshan Mountains.Extreme temperature events,including warm extremes,cold extremes,and other temperature indices,have significant interannual variability,with the main oscillation periods at smaller(2–4-year band),intermediate(4–7-year band),and greater time scales in recent decades.Furthermore,cold-extreme indices,including frost days,cool days,and cool nights all show a clear changepoint during 1990–1997 at the 95% confidence level,and both ice days and cold spell duration indicator have a potential changepoint during 1981–1986.However,the changing points for warmextreme indices are detected during 1992–1998.The temperature variables are significantly correlated with the EI Ni?o-Southern Oscillation(ENSO) and Arctic Oscillation(AO),but less well correlated with the Pacific Decadal Oscillation(PDO).The phase difference in the WTC spectra is not uniform between temperature extremes and climatic oscillations.Our findings will have important implications for local governments in taking effective measures to mitigate the potential effects of regional climate warming due to human activities in Xinjiang. 展开更多
关键词 extreme temperature events spatiotemporal variability large-scale atmospheric circu-lation inland arid-semiarid region wavelet analysis climate change.
原文传递
ICPS multi-target constrained comprehensive security control based on DoS attacks energy grading detection and compensation
3
作者 HAN Yinlong HAN Xiaowu 《Journal of Measurement Science and Instrumentation》 CAS CSCD 2024年第4期518-531,共14页
Aiming at the industry cyber-physical system(ICPS)where Denial-of-Service(DoS)attacks and actuator failure coexist,the integrated security control problem of ICPS under multi-objective constraints was studied.First,fr... Aiming at the industry cyber-physical system(ICPS)where Denial-of-Service(DoS)attacks and actuator failure coexist,the integrated security control problem of ICPS under multi-objective constraints was studied.First,from the perspective of the defender,according to the differential impact of the system under DoS attacks of different energies,the DoS attacks energy grading detection standard was formulated,and the ICPS comprehensive security control framework was constructed.Secondly,a security transmission strategy based on event triggering was designed.Under the DoS attack energy classification detection mechanism,for large-energy attacks,the method based on time series analysis was considered to predict and compensate for lost data.Therefore,on the basis of passive and elastic response to small energy attacks,the active defense capability against DoS attacks was increased.Then by introducing the conecomplement linearization algorithm,the calculation methods of the state and fault estimation observer and the integrated safety controller were deduced,the goal of DoS attack active and passive hybrid intrusion tolerance and actuator failure active fault tolerance were realized.Finally,a simulation example of a four-capacity water tank system was given to verify the validity of the obtained conclusions. 展开更多
关键词 industry cyber-physical system(ICPS) Denial-of-Service(DoS)attacks energy grading detection security event triggering mechanism time series analysis methods cone complementary linearization
在线阅读 下载PDF
Quantifying the contribution of triple compound extreme events to global yield loss of major staple crops from 1982 to 2016
4
作者 Kun Xiao Ying Sun +6 位作者 Wei Wu Xuewen Zhou Zhicheng Zhang Qiuyao Lai Chen Huang Zhenhua Xiong Qinchuan Xin 《Journal of Integrative Agriculture》 2025年第10期4078-4099,共22页
The increasing frequency of compound extreme events under ongoing climate change threatens global food security.Compared to individual extreme events,the simultaneous occurrence of multiple extreme events can exacerba... The increasing frequency of compound extreme events under ongoing climate change threatens global food security.Compared to individual extreme events,the simultaneous occurrence of multiple extreme events can exacerbate crop yield reductions,yet comprehensive assessments of these compound effects remain limited.To bridge this gap,we applied a linear mixed-effects model to quantify the impacts of individual extreme events(cold days(CD)and killing degree days(KDD))and triple compound extreme events(heatwave and low precipitation(HWLP)and hot-dry-windy(HDW))on the global yields of winter wheat,soybeans,and maize from 1982 to 2016.Our analysis indicated that regions severely impacted by extreme events(exceeding the 95%threshold)experienced total crop yield losses of more than 9.16,24.89,26.69,and 7.12%due to CD,KDD,HWLP,and HDW,respectively.The adverse effects of compound events were particularly pronounced during critical growth stages.HWLP results in yield losses of 9.4%for winter wheat and 6.8%for maize per 10 hours of exposure during the heading to harvesting stages,while soybean yields declined by 8.8%per 10 hours during the planting to three-true-leaf stage.Similarly,KDD caused a 7.4%yield reduction in winter wheat per 10°C day during the heading to harvesting stages,a 9.5%reduction in maize per 10°C day during the planting to jointing stages,and a 3.8%reduction in soybean per 10°C day during the planting to three-true-leaf stages.These findings underscore the substantial contribution of compound extreme events,which are often overlooked in existing risk assessments,in determining the global yields of major staple crops. 展开更多
关键词 food security crop yield loss compound extreme events climate change
在线阅读 下载PDF
Classification of wintertime large-scale tilted ridges over the Eurasian continent and their influences on surface air temperature 被引量:1
5
作者 Da-Wei LIN Cholaw BUEH Zuo-Wei XIE 《Atmospheric and Oceanic Science Letters》 CSCD 2018年第5期404-411,共8页
This study investigates the major patterns of large-scale tilted ridges(LSTRS)over the Eurasian continent and their connections with large-scale surface air temperature during boreal winter.A total number of 134 LSTR ... This study investigates the major patterns of large-scale tilted ridges(LSTRS)over the Eurasian continent and their connections with large-scale surface air temperature during boreal winter.A total number of 134 LSTR events with zonal extent exceeding 90°of longitude on the peak day are identified.Using self-organizing map(SOM),the LSTRs are classified into five clusters that are characterized by different spatial distributions and orientations.The leading two clusters are closely associated with extensive and persistent cold events over different places.Considering the first cluster,LSTRs extend from the Ural Mountains to Northeast Asia and are favorable for the amplification and southeastward extension of the Siberian high.Therefore,this cluster is closely associated with the occurrence of extensive and persistent cold events in china.In comparison with the first cluster,the LSTRs of second group are situated to the west,with starting points from the Kola Peninsula,and cause extensive and persistent cold events over Eastern Europe,central Asia,and central Siberia.The results suggest that the vertical coupling between LSTRs and the corresponding anomalous sea level pressure is crucial for the persistent cold temperature events associated with the leading two SOM clusters. 展开更多
关键词 large-scale tilted ridges self-organizing map extensive and persistent cold event Siberian high
在线阅读 下载PDF
Multi-objective Robust Optimal Secure Operation Model of Large-scale Power Grid with Multiple Back-to-back Voltage Source Converter Based Systems Considering Short-circuit Current Limitation
6
作者 Weikun Liang Shunjiang Lin +2 位作者 Yuerong Yang Ziqing Yang Mingbo Liu 《Journal of Modern Power Systems and Clean Energy》 2025年第4期1151-1166,共16页
With the load growth and the power grid expansion,the problem of short-circuit current(SCC)exceeding the secure limit in large-scale power grids has become more serious,which poses great challenge to the optimal secur... With the load growth and the power grid expansion,the problem of short-circuit current(SCC)exceeding the secure limit in large-scale power grids has become more serious,which poses great challenge to the optimal secure operation.Aiming at the SCC limitations,we use multiple back-toback voltage source converter based(B2B VSC)systems to separate a large-scale AC power grid into two asynchronous power grids.A multi-objective robust optimal secure operation model of large-scale power grid with multiple B2B VSC systems considering the SCC limitation is established based on the AC power flow equations.The decision variables include the on/off states of synchronous generators,power output,terminal voltage,transmission switching,bus sectionalization,and modulation ratios of B2B VSC systems.The influence of inner current sources of renewable energy generators on the system SCC is also considered.To improve the computational efficiency,a mixedinteger convex programming(MICP)framework based on convex relaxation methods including the inscribed N-sided approximation for the nonlinear SCC limitation constraints is proposed.Moreover,combined with the column-and-constraint generation(C&CG)algorithm,a method to directly solve the compromise optimal solution(COS)of the multi-objective robust optimal secure operation model is proposed.Finally,the effectiveness and computational efficiency of the proposed solution method is demonstrated by an actual 4407-bus provincial power grid and the modified IEEE 39-bus power grid,which can reduce the consumed CPU time of solving the COS by more than 90%and obtain a better COS. 展开更多
关键词 large-scale power grid optimal secure operation short-circuit current(SCC)limitation BACK-TO-BACK voltage source converter convex relaxation multi-objective robust optimization
原文传递
Highly Secure Residents Life Event Management System Based on Blockchain by Hyperledger Fabric 被引量:1
7
作者 Ragouguelaba Agoda Koussema Hirohide Haga 《Journal of Computer and Communications》 2021年第9期38-55,共18页
This article describes the design and implementation of Residents Life Event Management System (hereinafter called as RLEMS) with high level reliability and security by blockchain technology. The data access environme... This article describes the design and implementation of Residents Life Event Management System (hereinafter called as RLEMS) with high level reliability and security by blockchain technology. The data access environment provided by blockchain is highly secure and trustworthy. In Blockchain system, some data fragments are grouped into one piece called as <i>blocks</i>, and all blocks are connected to create a chain of blocks in database. When blocks are connected, hash value is used to connect blocks properly. Blockchain technology enables highly secure and reliable data management system under relatively poor ICT environment. For example, developing countries such as African countries do not have sufficient ICT environment. Therefore adopting blockchain technology is suitable for such countries. Based on this consideration, we have started to build RLEMS on the blockchain system. In previous work, we used the MultiChain as a blockchain platform. However, as MultiChain platform is mainly for private blockchain system, it is not suitable for government-level data management system. Therefore, we tried to use another blockchain framework. We selected Hyperledger Fabric which was developed by Linux Foundation. It enables to implement all styles of blockchain system. This article describes the design and implementation of RLEMS by using Hyperledger Fabric. Furthermore, to provide the best user experience, we also built the web application interface with Java web application framework named PrimeFace. The implementation of a prototype revealed that the Hyperledger Fabric blockchain technology is more suitable than MultiChain. 展开更多
关键词 Blockchain secure Database Life event Management Web Application
在线阅读 下载PDF
Intelligent Security Auditing Based on Access Control of Devices in Ad Hoc Network
8
作者 徐光伟 史有群 +2 位作者 朱明 吴国文 曹奇英 《Journal of Donghua University(English Edition)》 EI CAS 2006年第6期50-52,共3页
Security in Ad Hoc network is an important issue under the opening circumstance of application service. Some protocols and models of security auditing have been proposed to ensure rationality of contracting strategy a... Security in Ad Hoc network is an important issue under the opening circumstance of application service. Some protocols and models of security auditing have been proposed to ensure rationality of contracting strategy and operating regulation and used to identify abnormal operation. Model of security auditing based on access control of devices will be advanced to register sign of devices and property of event of access control and to audit those actions. In the end, the model is analyzed and simulated. 展开更多
关键词 Ad Hoc security auditing access control of devices sign of devices property of event.
在线阅读 下载PDF
A tentative study on security management based on dangerous goods road transportation
9
作者 SHANG Yue 《Chinese Business Review》 2009年第3期59-63,共5页
The paper conducts analysis on the causes of dangerous goods road transportation accidents by applying analytic technique of security system science - Event Tree Analysis (ETA). By computing minimum cut and minimal ... The paper conducts analysis on the causes of dangerous goods road transportation accidents by applying analytic technique of security system science - Event Tree Analysis (ETA). By computing minimum cut and minimal path set of event tree and the important level of elementary event, the paper elicits the results that the factors of causing road transportation accident are multiple and its hazard is great while the paper also elicits the sorting of structural important level of elementary event. The paper offers the security countermeasures for dangerous goods road transportation which plays a vital role in safeguarding dangerous goods road transportation security. 展开更多
关键词 dangerous goods transportation event tree analysis technology transportation security
在线阅读 下载PDF
Multi-Lever EarlyWarning forWind and Photovoltaic Power Ramp Events Based on Neural Network and Fuzzy Logic
10
作者 Huan Ma Linlin Ma +3 位作者 Zengwei Wang Zhendong Li Yuanzhen Zhu Yutian Liu 《Energy Engineering》 EI 2024年第11期3133-3160,共28页
With the increasing penetration of renewable energy in power system,renewable energy power ramp events(REPREs),dominated by wind power and photovoltaic power,pose significant threats to the secure and stable operation... With the increasing penetration of renewable energy in power system,renewable energy power ramp events(REPREs),dominated by wind power and photovoltaic power,pose significant threats to the secure and stable operation of power systems.This paper presents an early warning method for REPREs based on long short-term memory(LSTM)network and fuzzy logic.First,the warning levels of REPREs are defined by assessing the control costs of various power control measures.Then,the next 4-h power support capability of external grid is estimated by a tie line power predictionmodel,which is constructed based on the LSTMnetwork.Finally,considering the risk attitudes of dispatchers,fuzzy rules are employed to address the boundary value attribution of the early warning interval,improving the rationality of power ramp event early warning.Simulation results demonstrate that the proposed method can generate reasonable early warning levels for REPREs,guiding decision-making for control strategy. 展开更多
关键词 Early warning machine learning power system security renewable energy power ramp event smart grid
在线阅读 下载PDF
气候临界点与我国气候安全新挑战 被引量:1
11
作者 马丽娟 袁佳双 徐源 《气候变化研究进展》 北大核心 2025年第2期273-287,共15页
人类活动导致的气候变化已经发生在整个气候系统,且影响到全球每个区域。进入21世纪,全球平均温度连年创下新高,一些气候临界要素即将到达临界点,但我们对这些威胁何时到来、该如何应对尚未准备好。文中从临界点的基本概念开始,系统地... 人类活动导致的气候变化已经发生在整个气候系统,且影响到全球每个区域。进入21世纪,全球平均温度连年创下新高,一些气候临界要素即将到达临界点,但我们对这些威胁何时到来、该如何应对尚未准备好。文中从临界点的基本概念开始,系统地总结了气候系统临界要素现状及其发展趋势,全面分析了亚马孙雨林、大西洋经向翻转流(AMOC)、格陵兰冰盖、南极冰盖4个具有全球影响的临界系统的临界点,及一旦引爆可能产生的级联影响,尤其是对我国气候安全的可能影响。分析指出,亚马孙雨林崩溃主要通过影响青藏高原气温和降水,进而对我国风、光资源,以及冰冻圈稳定性产生负面影响;AMOC的崩溃主要通过影响亚洲季风降雨型对粮食生产产生影响,并有可能通过抬升区域海平面、加剧陆地高温热浪和海岸带风暴潮,同时给粮食安全和能源安全带来不利影响;两极冰盖崩溃对我国的影响,更多地是通过促进全球海平面上升,给海洋和海岸带生态系统带来负面影响,同时也通过为大西洋、南大洋注入更多淡水,加剧AMOC和南极翻转流的减弱,进而影响气候异常、海平面高度和海洋生态系统的生产力,直接或间接地影响食物供给和多样性。研究进一步通过分析临界点早期预警信号,指出对临界点进行早期预警对保障我国气候安全的战略重要性,并结合目前对临界点的科学认知,提出青藏高原可作为我国实现气候安全早期预警的第一抓手;对于政策制定者来说,应对气候变化的关键不仅是减缓,而且越来越多的是如何提升适应能力,以应对临界点的可能影响。 展开更多
关键词 临界点 级联影响 极端事件 气候安全 早期预警
在线阅读 下载PDF
促进能源安全的省级分时失负荷价值估算及应用
12
作者 王蓓蓓 陈颖 +3 位作者 胡维涵 牟玉亭 胡晨旭 邹鹏 《电力系统自动化》 北大核心 2025年第16期22-32,共11页
受一次能源安全危机、“碳达峰·碳中和”目标下新能源渗透率持续提升以及极端天气事件频发等挑战影响,电力行业面临的保供促新能源消纳压力日益增大。失负荷价值(VOLL)能够有效指导各行业分时错峰用电及外送电规划方案的制定。因此... 受一次能源安全危机、“碳达峰·碳中和”目标下新能源渗透率持续提升以及极端天气事件频发等挑战影响,电力行业面临的保供促新能源消纳压力日益增大。失负荷价值(VOLL)能够有效指导各行业分时错峰用电及外送电规划方案的制定。因此,从不同场景下VOLL估算方法入手,首先,基于生产函数法提出一种适应中国国情的省级分时VOLL估算方法。然后,以江苏省、宁夏回族自治区、新疆维吾尔自治区三省(区)的用电数据与经济数据为例,验证了文中所提方法的适用性,并探讨了不同产业结构下的省级VOLL的差异性。最后,将所提省级分时VOLL曲线结合保供促消纳场景应用,评估新能源出力对不同省份地区产业经济的贡献程度,并针对新能源富裕省份,结合地区产业经济发展情况开展外送电规划。 展开更多
关键词 能源安全 失负荷价值 分时 极端天气事件 生产函数 外送电 规划
在线阅读 下载PDF
Energy Security Planning for Hydrogen Fuel Cell Vehicles in Large-Scale Events:A Case Study of Beijing 2022 Winter Olympics 被引量:2
13
作者 Pinxi Wang Qing Xue +3 位作者 Jun Yang Hao Ma Yilun Li Xu Zhao 《Automotive Innovation》 EI CSCD 2022年第2期209-220,共12页
Energy security planning is fundamental to safeguarding the traffic operation in large-scale events.To guarantee the promo-tion of green,zero-carbon,and environmental-friendly hydrogen fuel cell vehicles(HFCVs)in larg... Energy security planning is fundamental to safeguarding the traffic operation in large-scale events.To guarantee the promo-tion of green,zero-carbon,and environmental-friendly hydrogen fuel cell vehicles(HFCVs)in large-scale events,a five-stage planning method is proposed considering the demand and supply potential of hydrogen energy.Specifically,to meet the requirements of the large-scale events’demand,a new calculation approach is proposed to calculate the hydrogen amount and the distribution of hydrogen stations.In addition,energy supply is guaranteed from four aspects,namely hydrogen produc-tion,hydrogen storage,hydrogen delivery,and hydrogen refueling.The emergency plan is established based on the overall support plan,which can realize multi-dimensional energy security.Furthermore,the planning method is demonstrative as it powers the Beijing 2022 Winter Olympics as the first“green”Olympic,providing both theoretical and practical evidence for the energy security planning of large-scale events.This study provides suggestions about ensuring the energy demand after the race,broadening the application scenarios,and accelerating the application of HFCVs. 展开更多
关键词 Hydrogen fuel cell vehicles large-scale events Energy security plan Hydrogen calculation Layout of hydrogen refueling station
原文传递
基于超线性时序逻辑的无二义加权自动机的可检测性研究
14
作者 张涛 彭皓天 《天津理工大学学报》 2025年第1期112-117,共6页
文中从超线性时序逻辑(hyper linear temporal logic, HyperLTL)的角度深入探讨了加权离散事件系统(discrete event systems, DESs)的可检测性问题。先前关于DESs的研究通常假设事件转换是瞬时的或无需成本的。然而,在实际生产环境中,... 文中从超线性时序逻辑(hyper linear temporal logic, HyperLTL)的角度深入探讨了加权离散事件系统(discrete event systems, DESs)的可检测性问题。先前关于DESs的研究通常假设事件转换是瞬时的或无需成本的。然而,在实际生产环境中,事件转换往往涉及时间和成本的消耗,这需要在DESs研究中引入加权因素。加权决策策略旨在通过为不同事件或状态分配权重来优化系统性能、指导政策制定,并实现高效、安全和可靠地运行。讨论了从加权DESs建模中得出的无二义加权自动机(unambiguous weighted automata, UWAs)。在此基础上,将其转换为一种特殊的Kripke结构,以捕获此类加权自动机的信息,从而实现HyperLTL的明确表示。 展开更多
关键词 网络安全 离散事件系统 可检测性 超线性时序逻辑 无二义加权自动机
在线阅读 下载PDF
地方性体育赛事风险何以治理?——基于4R危机理论模型的考察 被引量:1
15
作者 潘怡 刘桂海 《体育学研究》 北大核心 2025年第1期23-35,44,共14页
在中国式体育现代化进程中,地方性体育赛事遭受越来越多的风险冲击与挑战。深入剖析地方性赛事风险的构成要素及其治理问题,并提出实践进路,对提升地方性体育赛事风险治理能力,维护国家安全和保持社会稳定具有重要意义。研究认为,地方... 在中国式体育现代化进程中,地方性体育赛事遭受越来越多的风险冲击与挑战。深入剖析地方性赛事风险的构成要素及其治理问题,并提出实践进路,对提升地方性体育赛事风险治理能力,维护国家安全和保持社会稳定具有重要意义。研究认为,地方性体育赛事风险主要由软件风险、硬件风险、环境风险、人为风险等要素构成。现阶段,地方性体育赛事风险治理存在宏观层面的政策图景与法律效应问题;中观层面的风险教育与治理机制问题;微观层面的防范意识与应对能力问题。4R危机理论模型的介入,可以为地方性体育赛事风险治理提供一个全周期过程的视角,具体可以从风险缩减、风险预备、风险反应及风险恢复4个阶段出发,以优化治理制度为基础,实现赛事风险灵敏感知;以增强风险教育为重点,完善赛事风险治理机制;以迅捷启动预案为核心,推进赛事风险协同治理;以汲取经验教训为突破,提升赛事风险治理能力。 展开更多
关键词 中国式体育现代化 地方性体育赛事 风险治理 赛事安全 4R危机理论模型
在线阅读 下载PDF
极端天气对新型电力系统的影响及应对措施思考 被引量:6
16
作者 曹辰 王增平 《南方能源建设》 2025年第1期43-57,共15页
[目的]近年来,受气候变暖等因素影响,全球范围内极端天气事件呈现出频发特征。与此同时,在“碳达峰,碳中和”目标下,风光等波动性新能源高比例并网、电力电子设备大量应用以及交直流特高压远距离输电技术的应用都在不断重塑传统电网的... [目的]近年来,受气候变暖等因素影响,全球范围内极端天气事件呈现出频发特征。与此同时,在“碳达峰,碳中和”目标下,风光等波动性新能源高比例并网、电力电子设备大量应用以及交直流特高压远距离输电技术的应用都在不断重塑传统电网的本来特征,更多的电力一次设备裸露在恶劣环境中运行,电力系统受外部极端天气的影响更加严重。[方法]文章首先梳理了近年来典型台风、暴雨和冰雪等极端天气事件对电力系统设备及运行的影响。同时结合典型案例深入探讨了新型电力系统范式下的系统性风险表现。在此基础上,提出针对不同灾害场景的精细化建模、系统风险评估及跨领域协作的应对策略的一些思考与展望。[结果]研究表明,极端天气的冲击加剧了设备故障和系统不稳定的风险,新型电力系统的高比例新能源接入进一步放大了故障传播的影响。[结论]在新型电力系统深入建设和极端天气加剧冲击的双重压力下,电力系统的安全稳定运行依赖于设备风险建模、系统性风险防控及跨领域协作机制的提升。因此,未来研究应聚焦于构建电力系统的多维度联合风险评估。同时,指出强化电力系统与气象系统的深度耦合的必要性,以提高系统的风险预测与动态应对能力,为系统的韧性提升提供科学依据与技术支持。 展开更多
关键词 极端天气事件 新型电力系统 系统安全 风险与挑战 风险管理 思考与建议
在线阅读 下载PDF
基于Event-B方法的安全协议设计、建模与验证 被引量:3
17
作者 李梦君 潘国腾 欧国东 《软件学报》 EI CSCD 北大核心 2018年第11期3400-3411,共12页
随着软件精化验证方法以及Isabella/HOL、VCC等验证工具不断取得进展,研究者们开始采用精化方法和验证工具设计、建模安全协议和验证安全协议源程序的正确性.在介绍Event-B方法和验证工具Isabella/HOL、VCC的基础上,综述了基于Event-B... 随着软件精化验证方法以及Isabella/HOL、VCC等验证工具不断取得进展,研究者们开始采用精化方法和验证工具设计、建模安全协议和验证安全协议源程序的正确性.在介绍Event-B方法和验证工具Isabella/HOL、VCC的基础上,综述了基于Event-B方法的安全协议形式化设计、建模与源程序验证的典型研究工作,主要包括从需求规范到消息传递形式协议的安全协议精化设计、基于TPM(trusted platform module)的安全协议应用的精化建模以及从消息传递形式协议到代码的源程序精化验证. 展开更多
关键词 安全协议设计 安全协议建模与验证 精化 event-B方法
在线阅读 下载PDF
一种螳螂冰车的设计
18
作者 张博僖 于春雷 +2 位作者 王国恒 张矩 罗春阳 《现代制造技术与装备》 2025年第3期52-54,共3页
传统的冰车是一种由木板钉制而成,通过冰锥支撑冰面并产生驱动力,使冰车在冰面上滑行的户外冰上玩具。但是,冰锥的活动范围和自由度大,极易伤害使用者和他人,因此有必要将仿生学与结构设计相结合,针对儿童和青少年群体设计一款既极具视... 传统的冰车是一种由木板钉制而成,通过冰锥支撑冰面并产生驱动力,使冰车在冰面上滑行的户外冰上玩具。但是,冰锥的活动范围和自由度大,极易伤害使用者和他人,因此有必要将仿生学与结构设计相结合,针对儿童和青少年群体设计一款既极具视觉吸引力又具备极高安全性的冰上娱乐装备——螳螂冰车。所设计的螳螂冰车能够提高冰雪娱乐项目的多样性,提升对游客的吸引力。 展开更多
关键词 冰车 仿生学 冰雪项目 安全性
在线阅读 下载PDF
要人保卫工作推进路径研究——基于美大选要人保卫工作安全漏洞剖析
19
作者 唐越 赵宇 《山西警察学院学报》 2025年第3期40-48,共9页
2024年美国大选期间,特朗普遭遇枪击事件轰动全球。袭击发生在特朗普参加选举活动时,当时其安保团队未能及时预见并有效应对突发威胁。该事件不仅对美大选结果产生了深远影响,而且暴露出美国在大型活动要人保卫上存在诸多弊病,如远程威... 2024年美国大选期间,特朗普遭遇枪击事件轰动全球。袭击发生在特朗普参加选举活动时,当时其安保团队未能及时预见并有效应对突发威胁。该事件不仅对美大选结果产生了深远影响,而且暴露出美国在大型活动要人保卫上存在诸多弊病,如远程威胁监控不足、情报预警体系失效、应急处突反应迟钝、安全指挥体系混乱等。此外,事件还暴露出美要人安保技术手段、人员配备和能力素质的短板。近年来,我国已多次举办大型主场外交活动,该事件对我国完善大型活动要人保卫具有重要的警示意义。建议通过严格制高点管控、优化情报信息共享、严密安全措施部署、推动科技赋能支撑等措施,优化我国大型活动要人安保工作。 展开更多
关键词 大型活动安保 要人保卫 案例分析
在线阅读 下载PDF
大湾区给排水企业安全智能化体系建设思路探讨 被引量:1
20
作者 张思远 《工业安全与环保》 2025年第1期83-86,共4页
为有效提升给排水企业安全管理成效,探索采用新一代信息化技术成果转化搭建给排水企业“智能化”安全管理平台,加速智能化深度融入安全生产核心业务,减少安全事故发生。结合大湾区现有给排水企业工程实践数据与信息化研究成果,从概念与... 为有效提升给排水企业安全管理成效,探索采用新一代信息化技术成果转化搭建给排水企业“智能化”安全管理平台,加速智能化深度融入安全生产核心业务,减少安全事故发生。结合大湾区现有给排水企业工程实践数据与信息化研究成果,从概念与框架、执行指标与子系统、建设要求3个方面分析给排水企业安全智能化体系的建设思路,介绍了政策法规合规管理、教育培训管理、安全要素管理、隐患排查管理、应急事件管理、统计分析及分级管控等子系统在施工、运营、维护等环节中的应用,对给排水企业智能化发展趋势、技术路线和发展过程中面临的挑战进行了分析,以期为给排水企业未来可持续发展提供参考。 展开更多
关键词 给排水企业 安全智能化 隐患排查管理 应急事件管理 大数据技术
在线阅读 下载PDF
上一页 1 2 30 下一页 到第
使用帮助 返回顶部