期刊文献+
共找到1,105篇文章
< 1 2 56 >
每页显示 20 50 100
Novel adaptive IMEX two-step Runge-Kutta temporal discretization methods for unsteady flows
1
作者 Xueyu QIN Jian YU +2 位作者 Xin ZHANG Zhenhua JIANG Chao YAN 《Chinese Journal of Aeronautics》 2025年第8期142-153,共12页
Efficient and accurate simulation of unsteady flow presents a significant challenge that needs to be overcome in computational fluid dynamics.Temporal discretization method plays a crucial role in the simulation of un... Efficient and accurate simulation of unsteady flow presents a significant challenge that needs to be overcome in computational fluid dynamics.Temporal discretization method plays a crucial role in the simulation of unsteady flows.To enhance computational efficiency,we propose the Implicit-Explicit Two-Step Runge-Kutta(IMEX-TSRK)time-stepping discretization methods for unsteady flows,and develop a novel adaptive algorithm that correctly partitions spatial regions to apply implicit or explicit methods.The novel adaptive IMEX-TSRK schemes effectively handle the numerical stiffness of the small grid size and improve computational efficiency.Compared to implicit and explicit Runge-Kutta(RK)schemes,the IMEX-TSRK methods achieve the same order of accuracy with fewer first derivative calculations.Numerical case tests demonstrate that the IMEX-TSRK methods maintain numerical stability while enhancing computational efficiency.Specifically,in high Reynolds number flows,the computational efficiency of the IMEX-TSRK methods surpasses that of explicit RK schemes by more than one order of magnitude,and that of implicit RK schemes several times over. 展开更多
关键词 Implicit-explicit temporal methods Two-step Runge-Kutta methods Adaptive algorithm Unsteady flows Navier-Stokes equations
原文传递
Assessment of the Spatial and Temporal Water Eutrophication for Lake Baiyangdian Based on Integrated Fuzzy Method 被引量:3
2
作者 Shuxuan Liang Hong Wu +1 位作者 Hongbo Li Yihong Wu 《Journal of Environmental Protection》 2013年第1期120-125,共6页
Water quality evaluation entails both randomness and fuzziness. Considering that water eutrophication evaluation involves many indices, different classifications and interval values, fuzzy variable sets theory was dev... Water quality evaluation entails both randomness and fuzziness. Considering that water eutrophication evaluation involves many indices, different classifications and interval values, fuzzy variable sets theory was developed to Lake Baiyangdian as a study case. Taking reference to eutrophication standard of Chinese lakes and local characteristic of Lake Baiyangdian, eutrophication degree of lake was divided into 8 levels. Total phosphorus, total nitrogen, and CODMn were selected as evaluation indices in this research. Based on the measured data, index feature value matrix of sample was built. Index weights were determined by means of pure threshold value method. Relative membership degree of each index to each classification was calculated with relative difference function model. Then the stability of feature value of classification corresponding was received by the comprehensive calculation with the relative membership degree and index weights. The results show that the proposed models are effective tools for generating a set of realistic and flexible optimal solutions for complicated water quality evaluation issues. It concluded that the model was reasonable and practical. 展开更多
关键词 EUTROPHICATION Evaluation Fuzzy method SPATIAL VARIATION temporal VARIATION LAKE Baiyangdian
暂未订购
A Precision-Positioning Method for a High-Acceleration Low-Load Mechanism Based on Optimal Spatial and Temporal Distribution of Inertial Energy 被引量:5
3
作者 Xin Chen Youdun Bai +2 位作者 Zhijun Yang Jian Gao Gongfa Chen 《Engineering》 SCIE EI 2015年第3期391-398,共8页
High-speed and precision positioning are fundamental requirements for high-acceleration low-load mechanisms in integrated circuit (IC) packaging equipment. In this paper, we derive the transient nonlinear dynamicres... High-speed and precision positioning are fundamental requirements for high-acceleration low-load mechanisms in integrated circuit (IC) packaging equipment. In this paper, we derive the transient nonlinear dynamicresponse equations of high-acceleration mechanisms, which reveal that stiffness, frequency, damping, and driving frequency are the primary factors. Therefore, we propose a new structural optimization and velocity-planning method for the precision positioning of a high-acceleration mechanism based on optimal spatial and temporal distribution of inertial energy. For structural optimization, we first reviewed the commonly flexible multibody dynamic optimization using equivalent static loads method (ESLM), and then we selected the modified ESLM for optimal spatial distribution of inertial energy; hence, not only the stiffness but also the inertia and frequency of the real modal shapes are considered. For velocity planning, we developed a new velocity-planning method based on nonlinear dynamic-response optimization with varying motion conditions. Our method was verified on a high-acceleration die bonder. The amplitude of residual vibration could be decreased by more than 20% via structural optimization and the positioning time could be reduced by more than 40% via asymmetric variable velocity planning. This method provides an effective theoretical support for the precision positioning of high-acceleration low-load mechanisms. 展开更多
关键词 high-acceleration low-load mechanism precision positioning spatial and temporal distribution inertial energy equivalent static loads method (ESLM) velocity planning
在线阅读 下载PDF
Transcranial temporal interference stimulation precisely targets deep brain regions to regulate eye movements
4
作者 Mo Wang Sixian Song +6 位作者 Dan Li Guangchao Zhao Yu Luo Yi Tian Jiajia Zhang Quanying Liu Pengfei Wei 《Neuroscience Bulletin》 2025年第8期1390-1402,共13页
Transcranial temporal interference stimulation(tTIS)is a novel non-invasive neuromodulation technique with the potential to precisely target deep brain structures.This study explores the neural and behavioral effects ... Transcranial temporal interference stimulation(tTIS)is a novel non-invasive neuromodulation technique with the potential to precisely target deep brain structures.This study explores the neural and behavioral effects of tTIS on the superior colliculus(SC),a region involved in eye movement control,in mice.Computational modeling revealed that tTIS delivers more focused stimulation to the SC than traditional transcranial alternating current stimulation.In vivo experiments,including Ca^(2+)signal recordings and eye movement tracking,showed that tTIS effectively modulates SC neural activity and induces eye movements.A significant correlation was found between stimulation frequency and saccade frequency,suggesting direct tTIS-induced modulation of SC activity.These results demonstrate the precision of tTIS in targeting deep brain regions and regulating eye movements,highlighting its potential for neuroscientific research and therapeutic applications. 展开更多
关键词 temporal interference stimulation Superior colliculus Tissue phantom Finite element method Transcranial electrical stimulation Eye movement
原文传递
Reinforcement learning with soft temporal logic constraints using limit-deterministic generalized Büchi automaton
5
作者 Mingyu Cai Zhangli Zhou +2 位作者 Lin Li Shaoping Xiao Zhen Kan 《Journal of Automation and Intelligence》 2025年第1期39-51,共13页
This paper investigates control synthesis for motion planning under conditions of uncertainty,specifically in robot motion and environmental properties,which are modeled using a probabilistic labeled Markov decision p... This paper investigates control synthesis for motion planning under conditions of uncertainty,specifically in robot motion and environmental properties,which are modeled using a probabilistic labeled Markov decision process(PL-MDP).To address this,a model-free reinforcement learning(RL)approach is designed to produce a finite-memory control policy that meets complex tasks specified by linear temporal logic(LTL)formulas.Recognizing the presence of uncertainties and potentially conflicting objectives,this study centers on addressing infeasible LTL specifications.A relaxed LTL constraint enables the agent to adapt its motion plan,allowing for partial satisfaction by accounting for necessary task violations.Additionally,a new automaton structure is introduced to increase the density of accepting rewards,facilitating deterministic policy outcomes.The proposed RL framework is rigorously analyzed and prioritizes two key objectives:(1)satisfying the acceptance condition of the relaxed product MDP,and(2)minimizing long-term violation costs.Simulation and experimental results are presented to demonstrate the framework’s effectiveness and robustness. 展开更多
关键词 Formal methods in robotics and automation Linear temporal logic Motion planning Optimal control
在线阅读 下载PDF
Adaptive Modeling and Forecasting of Time Series by Combining the Methods of Temporal Differences with Neural Networks
6
作者 杨璐 洪家荣 黄梯云 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 1996年第1期94-98,共5页
This paper discusses the modeling method of time series with neural network. In order to improve the adaptability of direct multi-step prediction models, this paper proposes a method of combining the temporal differen... This paper discusses the modeling method of time series with neural network. In order to improve the adaptability of direct multi-step prediction models, this paper proposes a method of combining the temporal differences methods with back-propagation algorithm for updating the parameters continuously on the basis of recent data. This method can make the neural network model fit the recent characteristic of the time series as close as possible, therefore improves the prediction accuracy. We built models and made predictions for the sunspot series. The prediction results of adaptive modeling method are better than that of non-adaptive modeling methods. 展开更多
关键词 ss: NEURAL network TIME SERIES forecasting temporal DIFFERENCES methodS
在线阅读 下载PDF
Temporally Modulated Phase Retrieval Method for Weak Temporal Phase Measurement of Laser Pulses
7
作者 姚玉东 乔治 +2 位作者 汪小超 范薇 林尊琪 《Chinese Physics Letters》 SCIE CAS CSCD 2017年第3期29-33,共5页
We propose a simple iterative algorithm based on a temporally movable phase modulation process to retrieve the weak temporal phase of laser pulses. This unambiguous method can be used to achieve a high accuracy and to... We propose a simple iterative algorithm based on a temporally movable phase modulation process to retrieve the weak temporal phase of laser pulses. This unambiguous method can be used to achieve a high accuracy and to simultaneously measure the weak temporal phase and temporal profile of pulses, which are almost transform- limited. A detailed analysis shows that this iterative method has valuable potential applications in the charac- terization of pulses with weak temporal phase. 展开更多
关键词 temporally Modulated Phase Retrieval method for Weak temporal Phase Measurement of Laser Pulses
原文传递
Spatial and temporal variability of daily precipitation in Haihe River basin, 1958-2007 被引量:19
8
作者 CHU Jianting XIA Jun +2 位作者 XU Chongyu LI Lu WANG Zhonggen 《Journal of Geographical Sciences》 SCIE CSCD 2010年第2期248-260,共13页
The seasonal variability and spatial distribution of precipitation are the main cause of flood and drought events. The study of spatial distribution and temporal trend of precipitation in river basins has been paid mo... The seasonal variability and spatial distribution of precipitation are the main cause of flood and drought events. The study of spatial distribution and temporal trend of precipitation in river basins has been paid more and more attention. However, in China, the precipitation data are measured by weather stations (WS) of China Meteorological Administration and hydrological rain gauges (RG) of national and local hydrology bureau. The WS data usually have long record with fewer stations, while the RG data usually have short record with more stations. The consistency and correlation of these two data sets have not been well understood. In this paper, the precipitation data from 30 weather stations for 1958-2007 and 248 rain gauges for 1995-2004 in the Haihe River basin are examined and compared using linear regression, 5-year moving average, Mann-Kendall trend analysis, Kolmogorov-Smirnov test, Z test and F test methods. The results show that the annual precipitation from both WS and RG records are normally distributed with minor difference in the mean value and variance. It is statistically feasible to extend the precipitation of RG by WS data sets. Using the extended precipitation data, the detailed spatial distribution of the annual and seasonal precipitation amounts as well as their temporal trends are calculated and mapped. The various distribution maps produced in the study show that for the whole basin the precipitation of 1958-2007 has been decreasing except for spring season. The decline trend is significant in summer, and this trend is stronger after the 1980s. The annual and seasonal precipitation amounts and changing trends are different in different regions and seasons. The precipitation is decreasing from south to north, from coastal zone to inland area. 展开更多
关键词 climate change spatial and temporal variability of precipitation Mann-Kendall method Kolmogorov-Smirnov test Z test F test Haihe River basin
在线阅读 下载PDF
Multi-agent system motion planning under temporal logic specifications and control barrier function 被引量:1
9
作者 Xinyuan HUANG Li LI Jie CHEN 《Control Theory and Technology》 EI CSCD 2020年第3期269-278,共10页
In this paper,w e provide a novel scheme to solve the motion planning problem of multi-agent systems under high-level task specifications.First,linear temporal logic is applied to express the global task specification... In this paper,w e provide a novel scheme to solve the motion planning problem of multi-agent systems under high-level task specifications.First,linear temporal logic is applied to express the global task specification.Then an efficient and decentralized algorithm is proposed to decom pose it into local tasks.M oreover,w e use control barrier function to synthesize the local controller for each agent under the linear temporal logic motion plan with safety constraint.Finally,simulation results show the effectiveness and efficiency of our proposed scheme. 展开更多
关键词 temporal logic multi-agent system formal methods control barrier function
原文传递
Regulation of specific abnormal calcium signals in the hippocampal CA1 and primary cortex M1 alleviates the progression of temporal lobe epilepsy 被引量:1
10
作者 Feng Chen Xi Dong +11 位作者 Zhenhuan Wang Tongrui Wu Liangpeng Wei Yuanyuan Li Kai Zhang Zengguang Ma Chao Tian Jing Li Jingyu Zhao Wei Zhang Aili Liu Hui Shen 《Neural Regeneration Research》 SCIE CAS CSCD 2024年第2期425-433,共9页
Temporal lobe epilepsy is a multifactorial neurological dysfunction syndrome that is refractory,resistant to antiepileptic drugs,and has a high recurrence rate.The pathogenesis of temporal lobe epilepsy is complex and... Temporal lobe epilepsy is a multifactorial neurological dysfunction syndrome that is refractory,resistant to antiepileptic drugs,and has a high recurrence rate.The pathogenesis of temporal lobe epilepsy is complex and is not fully understood.Intracellular calcium dynamics have been implicated in temporal lobe epilepsy.However,the effect of fluctuating calcium activity in CA1 pyramidal neurons on temporal lobe epilepsy is unknown,and no longitudinal studies have investigated calcium activity in pyramidal neurons in the hippocampal CA1 and primary motor cortex M1 of freely moving mice.In this study,we used a multichannel fiber photometry system to continuously record calcium signals in CA1 and M1 during the temporal lobe epilepsy process.We found that calcium signals varied according to the grade of temporal lobe epilepsy episodes.In particular,cortical spreading depression,which has recently been frequently used to represent the continuously and substantially increased calcium signals,was found to correspond to complex and severe behavioral characteristics of temporal lobe epilepsy ranging from gradeⅡto gradeⅤ.However,vigorous calcium oscillations and highly synchronized calcium signals in CA1 and M1 were strongly related to convulsive motor seizures.Chemogenetic inhibition of pyramidal neurons in CA1 significantly attenuated the amplitudes of the calcium signals corresponding to gradeⅠepisodes.In addition,the latency of cortical spreading depression was prolonged,and the above-mentioned abnormal calcium signals in CA1 and M1 were also significantly reduced.Intriguingly,it was possible to rescue the altered intracellular calcium dynamics.Via simultaneous analysis of calcium signals and epileptic behaviors,we found that the progression of temporal lobe epilepsy was alleviated when specific calcium signals were reduced,and that the end-point behaviors of temporal lobe epilepsy were improved.Our results indicate that the calcium dynamic between CA1 and M1 may reflect specific epileptic behaviors corresponding to different grades.Furthermore,the selective regulation of abnormal calcium signals in CA1 pyramidal neurons appears to effectively alleviate temporal lobe epilepsy,thereby providing a potential molecular mechanism for a new temporal lobe epilepsy diagnosis and treatment strategy. 展开更多
关键词 CA^(2+) calcium signals chemogenetic methods HIPPOCAMPUS primary motor cortex pyramidal neurons temporal lobe epilepsy
暂未订购
The evolution of the spatial-temporal patterns of global energy security since the 1990s 被引量:7
11
作者 WANG Qiang XU Linglin +4 位作者 LI Na DU Xue WU Shidai TIAN Lanlan WU Chenlu 《Journal of Geographical Sciences》 SCIE CSCD 2019年第8期1245-1260,共16页
In this study, we developed an energy security evaluation model(ESEM) from three dimensions, energy supply-transport security, safety of energy utilization, and stability of political-socioeconomic environment, based ... In this study, we developed an energy security evaluation model(ESEM) from three dimensions, energy supply-transport security, safety of energy utilization, and stability of political-socioeconomic environment, based on the integrated application of subjective and objective weight allocation technique. Then the spatial-temporal evolution of global energy security pattern and its driving mechanism was analyzed with the method above, and the results are shown as follows:(1) since the 1990 s, the spatial patterns of global energy security have shown a deteriorating trend, with the growth of countries in at-risk type and relatively at-risk type.(2) The spatial distribution of countries with secure energy system shows a strong stability, and these countries are concentrated persistently in Western Europe and North America. The spatial evolution of countries with relatively secure energy system also presents a strong stability, which are mainly distributed in the periphery of the secure ones, namely Central and Southern Europe, South America and Eurasia, while countries with general energy system are mainly distributed in Asia, Africa and Southern Europe, and the spatial-temporal evolution of this type is the main cause for the deterioration of world energy security pattern. Countries with at-risk and relatively at-risk energy system are mainly concentrated in Africa, Asia, the Middle East and Eurasia, rendering spatial extension to the east and south.(3) In the past 20 years, the mechanism for world’s energy security pattern formation gradually transforms from the ‘unitary dimension dominated’ to the ‘binary dimension-dominated’, and the main factors influencing the global energy security pattern become more diverse.(4) In the pattern of world’s energy security, China’s performance on energy security has been the global average since the 1990 s, which shows a decreasing trend in safety of energy utilization dimension. Findings in this study can provide a reference for the government in terms of formulating strategic responses and policy options. 展开更多
关键词 energy SECURITY spatial-temporal EVOLUTION subjective-objective WEIGHT ALLOCATION method the globe
原文传递
Spatio-temporal distribution of vascular plant species abundance on Qinghai-Tibet Plateau 被引量:5
12
作者 FAN Zemeng BAI Ruyu YUE Tianxiang 《Journal of Geographical Sciences》 SCIE CSCD 2019年第10期1625-1636,共12页
For quantitatively explaining the correlations between the vascular plant species abundance (VPSA) and habitat factors, a spatial simulation method has been developed to simulate the distribution of VPSA on the Qingha... For quantitatively explaining the correlations between the vascular plant species abundance (VPSA) and habitat factors, a spatial simulation method has been developed to simulate the distribution of VPSA on the Qinghai-Tibet Plateau. In this paper, the vascular plant type, land cover, mean annual biotemperature, average total annual precipitation, topographic relief, patch connectivity and ecological diversity index were selected to screen the best correlation equation between the VPSA and habitat factors on the basis of 37 national nature reserves on the Qinghai-Tibet Plateau. The research results show that the coefficient of determination between VPSA and habitat factors is 0.94, and the mean error is 2.21 types per km<sup>2</sup>. The distribution of VPSA gradually decreases from southeast to northwest, and reduces with increasing altitude except the desert area of Qaidam Basin. Furthermore, the scenarios of VPSA on the Qinghai-Tibet Plateau during the periods from 1981 to 2010 (T0), from 2011 to 2040 (T2), from 2041 to 2070 (T3) and from 2071 to 2100 (T4) were simulated by combining the land cover change and the climatic scenarios of CMIP5 RCP2.6, RCP4.5 and RCP8.5. The simulated results show that the VPSA would generally decrease on the Qinghai-Tibet Plateau from T0 to T4. The VPSA has the largest change ratio under RCP8.5 scenario, and the smallest change ratio under RCP2.6 scenario. In general, the dynamic change of habitat factors would directly affect the spatial distribution of VPSA on the Qinghai- Tibet Plateau in the future. 展开更多
关键词 spatial simulation method VASCULAR plant species ABUNDANCE SPATIO-temporal distribution SCENARIO analysis Qinghai-Tibet PLATEAU
原文传递
Spatial-temporal Variation of Extreme Precipitation Events in Northwest China During 1961-2010 被引量:5
13
作者 Lian Lishu Xu Shujing +1 位作者 Li Zhifu Sun Xiaoyin 《Meteorological and Environmental Research》 CAS 2014年第1期12-19,23,共9页
Using the daily precipitation data of 118 meteorological stations in Northwest China from January 1, 1961 to December 31,2010, we analyzed extreme precipitation events from prime precipitation data by applying R-langu... Using the daily precipitation data of 118 meteorological stations in Northwest China from January 1, 1961 to December 31,2010, we analyzed extreme precipitation events from prime precipitation data by applying R-language Climate Index (RClimDex). The spatial-temporal change characteristics in the past 50 years have been examined using the method of trend analysis, Mann-Kendall and the spatial analysis module of Arcgis9.2. The results show that the spatial distribution of the indices for extreme precipitation in Northwest China is greatly influenced by geographic location, atmospheric circulation and topography, and the spatial difference of extreme precipitation events is very evident, while the indices reduce from the southeast to the northwest except Consecutive Dry Days (CDD). In Xinjiang region, high values appear in Tianshan Mountains and decrease towards the south and north respectively. In the past 50 years, the temporal variation tendency of the indices for extreme precipitation in Northwest China has a great spatial distinction. It shows that the variation tendency is opposite between the east (decrease) and the west (increase), and CDD has a decreasing tendency while other indices increase. For each region, it is found that the indices for extreme precipitation in Xinjiang and Qinghai Province shows an increasing trend, and it is remarkable in Tianshan Mountains, the north of Xinjiang and the northeast of Qinghai Province. The temporal variation tendency of the indices for extreme precipitation in Ningxia, Shaanxi and Gansu has a large spatial distinction. The stations which have an increasing tend are mainly found in the north of Ningxia, south of Shaanxi and Hexi Corridor of Gansu. However, the south of Ningxia, north of Shaanxi and Longnan of Gansu Province mainly present a decreasing trend. The temporal variation tendency of the indices for extreme precipitation in Inner Mongolia is not obvious. Overall, the east part of Northwest China has a dry tendency, while the west part has an opposite trend. 展开更多
关键词 Northwest China Extreme precipitation events Spatial-temporal variation characteristics Mann-Kendall method China
在线阅读 下载PDF
Spatiotemporal Change of Agrometeorological Flood Disasters in Heilongjiang Province
14
作者 Shi Feng-mei Pei Zhan-jiang +5 位作者 Lu Bin-yu Wang Su Gao Ya-bing Liu Jie Wang Quan-hui Huang Bo 《Journal of Northeast Agricultural University(English Edition)》 CAS 2020年第1期90-96,共7页
Agrometeorological disasters severely impact agriculture in Heilongjiang Province.Flood is one of the main agrometeorological disasters in Heilongjiang Province.The temporal change in flood events in Heilongjiang Prov... Agrometeorological disasters severely impact agriculture in Heilongjiang Province.Flood is one of the main agrometeorological disasters in Heilongjiang Province.The temporal change in flood events in Heilongjiang Province from 1986to 2015 was studied using Mann-Kendall and Morlet wavelet methods,respectively.The results of Mann-Kendall analysis showed that the disaster rates of flood gradually stabilized from 1986 to 2015 with a confidence level of 99%.The Morlet wavelet variance analysis revealed that disaster rates of flood changed periodically at time scales of 3a,7a and 18a in Heilongjiang Province during1986-2015.The dominant period of the variation of flood disaster rate was about 18a over the past 30 years.The flood disaster rates were indicated in a positive phase during the period of 2016-2020 by the fitting curve of Morlet wavelet analysis.The annual average flood disaster indexes of single station,during 1986-2015 years were calculated,according to the precipitation data at 31 stations in Heilongjiang Province and the GIS software was used to analyze the spatial change in flood disasters in Heilongjiang Province from1986-2015.The results demonstrated that the southwest area of Heilongjiang Province was highly hazardous region of flood.The flood indices in the northern part of Songnen Plain and southwest of Heilongjiang Province presented the increment trends. 展开更多
关键词 FLOOD DISASTER rate temporal and spacial change characteristic MANN-KENDALL method Morlet WAVELET method
在线阅读 下载PDF
Spatio-temporal dynamics of vegetation in Jungar Banner of China during 2000–2017 被引量:5
15
作者 LI Xinhui LEI Shaogang +2 位作者 CHENG Wei LIU Feng WANG Weizhong 《Journal of Arid Land》 SCIE CSCD 2019年第6期837-854,共18页
It is known that the exploitation of opencast coal mines has seriously damaged the environments in the semi-arid areas.Vegetation status can reliably reflect the ecological degeneration and restoration in the opencast... It is known that the exploitation of opencast coal mines has seriously damaged the environments in the semi-arid areas.Vegetation status can reliably reflect the ecological degeneration and restoration in the opencast mining areas in the semi-arid areas.Long-time series MODIS NDVI data are widely used to simulate the vegetation cover to reflect the disturbance and restoration of local ecosystems.In this study, both qualitative(linear regression method and coefficient of variation(CoV)) and quantitative(spatial buffer analysis, and change amplitude and the rate of change in the average NDVI) analyses were conducted to analyze the spatio-temporal dynamics of vegetation during 2000–2017 in Jungar Banner of Inner Mongolia Autonomous Region, China, at the large(Jungar Banner and three mine groups) and small(three types of functional areas: opencast coal mining excavation areas, reclamation areas and natural areas) scales.The results show that the rates of change in the average NDVI in the reclamation areas(20%–60%) and opencast coal mining excavation areas(10%–20%) were considerably higher than that in the natural areas(<7%).The vegetation in the reclamation areas experienced a trend of increase(3–5 a after reclamation)-decrease(the sixth year of reclamation)-stability.The vegetation in Jungar Banner has a spatial heterogeneity under the influences of mining and reclamation activities.The ratio of vegetation improvement area to vegetation degradation area in the west, southwest and east mine groups during 2000–2017 was 8:1, 20:1 and 33:1, respectively.The regions with the high CoV of NDVI above 0.45 were mainly distributed around the opencast coal mining excavation areas, and the regions with the CoV of NDVI above 0.25 were mostly located in areas with low(28.8%) and medium-low(10.2%) vegetation cover.The average disturbance distances of mining activities on vegetation in the three mine groups(west, southwest and east) were 800, 800 and 1000 m, respectively.The greater the scale of mining, the farther the disturbance distances of mining activities on vegetation.We conclude that vegetation reclamation will certainly compensate for the negative impacts of opencast coal mining activities on vegetation.Sufficient attention should be paid to the proportional allocation of plant species(herbs and shrubs) in the reclamation areas, and the restored vegetation in these areas needs to be protected for more than 6 a.Then, as the repair time increased, the vegetation condition of the reclamation areas would exceed that of the natural areas. 展开更多
关键词 NDVI spatio-temporal dynamics linear regression method mining activities opencast coal mining areas reclamation areas Jungar Banner
在线阅读 下载PDF
Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization
16
作者 Wei Ren Zhuo-Rui Pan +1 位作者 Weiguo Xia Xi-Ming Sun 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2024年第10期2082-2098,共17页
Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement ... Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement the dynamic quantization technique to propose a novel hierarchical control strategy for nonlinear control systems under LTL specifications.Based on the regions of interest involved in the LTL formula,an accepting path is derived first to provide a high-level solution for the controller synthesis problem.Second,we develop a dynamic quantization based approach to verify the realization of the accepting path.The realization verification results in the necessity of the controller design and a sequence of quantization regions for the controller design.Third,the techniques of dynamic quantization and abstraction-based control are combined together to establish the local-to-global control strategy.Both abstraction construction and controller design are local and dynamic,thereby resulting in the potential reduction of the computational complexity.Since each quantization region can be considered locally and individually,the proposed hierarchical mechanism is more efficient and can solve much larger problems than many existing methods.Finally,the proposed control strategy is illustrated via two examples from the path planning and tracking problems of mobile robots. 展开更多
关键词 Abstraction-based control design dynamic quantization formal methods linear temporal logic(LTL)
在线阅读 下载PDF
Research of storage technique for C-Temporal Relation Data Model
17
作者 WANG Zhi-wen CAI Qi-xian Wang Hu-Qi 《微计算机信息》 北大核心 2008年第9期273-275,共3页
As there is datum redundancy in tradition database and temporal database in existence and the quantities of temporal database are increasing fleetly.We put forward compress storage tactics for temporal datum which com... As there is datum redundancy in tradition database and temporal database in existence and the quantities of temporal database are increasing fleetly.We put forward compress storage tactics for temporal datum which combine compress technology in existence in order to settle datum redundancy in the course of temporal datum storage and temporal datum of slow acting domain and momentary acting domain are accessed by using each from independence clock method and mutual clock method.We also bring forward strategy of gridding storage to resolve the problems of temporal datum rising rapidly. 展开更多
关键词 temporal Relation Data Model Datum redundancy Compress storage Independence clock method Mutual clock method Gridding Storage
在线阅读 下载PDF
Temporal Prediction of Aircraft Loss-of-Control: A Dynamic Optimization Approach
18
作者 Chaitanya Poolla Abraham K. Ishihara 《Intelligent Control and Automation》 2015年第4期241-248,共8页
Loss of Control (LOC) is the primary factor responsible for the majority of fatal air accidents during past decade. LOC is characterized by the pilot’s inability to control the aircraft and is typically associated wi... Loss of Control (LOC) is the primary factor responsible for the majority of fatal air accidents during past decade. LOC is characterized by the pilot’s inability to control the aircraft and is typically associated with unpredictable behavior, potentially leading to loss of the aircraft and life. In this work, the minimum time dynamic optimization problem to LOC is treated using Pontryagin’s Maximum Principle (PMP). The resulting two point boundary value problem is solved using stochastic shooting point methods via a differential evolution scheme (DE). The minimum time until LOC metric is computed for corresponding spatial control limits. Simulations are performed using a linearized longitudinal aircraft model to illustrate the concept. 展开更多
关键词 Pilot ASSISTANCE Loss of CONTROL Aircrafts Dynamic Optimization temporal PREDICTION Pontryagin Maximum Principle Differential Evolution Stochastic SHOOTING Point methods
暂未订购
Modelling infrastructure interdependencies and cascading effects using temporal networks
19
作者 Gian Paolo Cimellaro Alessandro Cardoni Andrei Reinhorn 《Resilient Cities and Structures》 2024年第3期28-42,共15页
Lifelines are critical infrastructure systems characterized by a high level of interdependency that can lead to cascading failures after any disaster.Many approaches can be used to analyze infrastructural interdepende... Lifelines are critical infrastructure systems characterized by a high level of interdependency that can lead to cascading failures after any disaster.Many approaches can be used to analyze infrastructural interdependencies,but they are usually not able to describe the sequence of events during emergencies.Therefore,interdependencies need to be modeled also taking into account the time effects.The methodology proposed in this paper is based on a modified version of the Input-output Inoperability Model and returns the probabilities of failure for each node of the system.Lifelines are modeled using graph theory,while perturbations,representing a natural or man-made disaster,are applied to the elements of the network following predetermined rules.The cascading effects among interdependent networks have been simulated using a spatial multilayer approach,while the use of an adjacency tensor allows to consider the temporal dimension and its effects.The method has been tested on a case study based on the 2011 Fukushima Dai-ichi nuclear disaster.Different configurations of the system have been analyzed and their probability of occurrence evaluated.Two models of the nuclear power plant have been developed to evaluate how different spatial scales and levels of detail affect the results. 展开更多
关键词 Interdependent infrastructure Nuclear power plant Cascading effects temporal networks Input-output methods
在线阅读 下载PDF
基于STPA的联锁系统层级安全需求建模及确认方法
20
作者 陈祖希 周林 +3 位作者 梅萌 王龙生 张宏扬 徐中伟 《中国铁道科学》 北大核心 2026年第1期185-196,共12页
针对铁路联锁系统安全需求验证中存在的动态行为建模不足和层级约束可追溯性弱等问题,提出1种基于系统理论过程分析(STPA)与形式化开发协同的安全需求建模及确认方法。首先,通过扩展STPA框架,建立多层次的安全需求模型,将顶层抽象的系... 针对铁路联锁系统安全需求验证中存在的动态行为建模不足和层级约束可追溯性弱等问题,提出1种基于系统理论过程分析(STPA)与形式化开发协同的安全需求建模及确认方法。首先,通过扩展STPA框架,建立多层次的安全需求模型,将顶层抽象的系统级安全约束逐步精化为具体的安全需求;其次,设计面向铁路联锁领域的分层精化策略,实现安全需求向形式化模型不变式与事件守卫条件的系统性转化;最后,引入形式化验证工具链,构建集定理证明、模型检测和行为仿真于一体的混合验证机制,通过数学证明完成各精化层级的验证,利用模型检验的状态空间探索与反例生成功能,全面验证由安全需求转化而来的模型不变式及线性时序逻辑(LTL)的正确性,并通过仿真复现典型运行场景,确认系统无死锁且满足预期的安全需求。结果表明:经过3次分层精化,将132条证明义务分解到4层模型中,并通过形式化验证工具进一步完成安全需求的确认,有效降低了铁路联锁系统安全需求建模的复杂性,也为铁路联锁系统的安全运行奠定了基础。 展开更多
关键词 铁路联锁系统 形式化方法 安全需求 线性时序逻辑 STPA
在线阅读 下载PDF
上一页 1 2 56 下一页 到第
使用帮助 返回顶部