We develop and implement a Stochastic Discrete Event Simulation(SDES)algorithm to model the housing re-covery trajectory after an extreme event.The algorithm models discrete events and their underlying uncertainties i...We develop and implement a Stochastic Discrete Event Simulation(SDES)algorithm to model the housing re-covery trajectory after an extreme event.The algorithm models discrete events and their underlying uncertainties in each construction phase.Specifically,the algorithm is developed for the Government Assisted Owner Driven(GAOD)reconstruction system to simulate long-term recovery trajectory.SDES,as a flexible modeling approach,can simulate any housing recovery scenario that follows phased reconstruction.The 2015 M 7.8 Gorkha earthquake sequence in Nepal is considered the extreme event,with 796,245 buildings requiring reconstruction.We present some recovery trajectories from severely hit,crisis hit,and earthquake hit parishes,comparing them with the actual reconstruction progress.We also assess quality and improvement of reconstructed buildings using seismic fragility functions,compared to pre-earthquake constructions.Housing recovery uncertainties are dissected in relation to reconstruction pace.We conclude that the vast majority of the reconstructed buildings followed the Build Back Better(BBB)approach and missed the opportunity to pursue the Build Back Resilient(BBR)approach due to multifaceted challenges ranging from unclear policies to economic constraints.We critically assess the GAOD vs Owner Driven(OD)recovery framework and conclude that insurance-supported and technically assisted OD approach could be the most suitable model for post extreme event housing recovery.展开更多
Video action recognition(VAR)aims to analyze dynamic behaviors in videos and achieve semantic understanding.VAR faces challenges such as temporal dynamics,action-scene coupling,and the complexity of human interactions...Video action recognition(VAR)aims to analyze dynamic behaviors in videos and achieve semantic understanding.VAR faces challenges such as temporal dynamics,action-scene coupling,and the complexity of human interactions.Existing methods can be categorized into motion-level,event-level,and story-level ones based on spatiotemporal granularity.However,single-modal approaches struggle to capture complex behavioral semantics and human factors.Therefore,in recent years,vision-language models(VLMs)have been introduced into this field,providing new research perspectives for VAR.In this paper,we systematically review spatiotemporal hierarchical methods in VAR and explore how the introduction of large models has advanced the field.Additionally,we propose the concept of“Factor”to identify and integrate key information from both visual and textual modalities,enhancing multimodal alignment.We also summarize various multimodal alignment methods and provide in-depth analysis and insights into future research directions.展开更多
This letter addressed the impactful study by Zhong et al,which introduced a risk prediction and stratification model for surgical adverse events following minimally invasive esophagectomy.By identifying key risk facto...This letter addressed the impactful study by Zhong et al,which introduced a risk prediction and stratification model for surgical adverse events following minimally invasive esophagectomy.By identifying key risk factors such as chronic obstructive pulmonary disease and hypoalbuminemia,the model demonstrated strong predictive accuracy and offered a pathway to personalized perioperative care.This correspondence highlighted the clinical significance,emphasizing its potential to optimize patient outcomes through tailored inter-ventions.Further prospective validation and application across diverse settings are essential to realize its full potential in advancing esophageal surgery practices.展开更多
A universal thermodynamic model of calculating mass action concentrations for structural units or ion couples in ternary and binary strong electrolyte aqueous solution was developed based on the ion and molecule coexi...A universal thermodynamic model of calculating mass action concentrations for structural units or ion couples in ternary and binary strong electrolyte aqueous solution was developed based on the ion and molecule coexistence theory and verified in four kinds of binary aqueous solutions and two kinds of ternary aqueous solutions. The calculated mass action concentrations of structural units or ion couples in four binary aqueous solutions and two ternary solutions at 298.15 K have good agreement with the reported activity data from literatures after shifting the standard state and concentration unit. Therefore, the calculated mass action concentrations of structural units or ion couples from the developed universal thermodynamic model for ternary and binary aqueous solutions can be applied to predict reaction ability of components in ternary and binary strong electrolyte aqueous solutions. It is also proved that the assumptions applied in the developed thermodynamic model are correct and reasonable, i.e., strong electrolyte aqueous solution is composed of cations and anions as simple ions, H2O as simple molecule and other hydrous salt compounds as complex molecules. The calculated mass action concentrations of structural units or ion couples in ternary and binary strong electrolyte aqueous solutions strictly follow the mass action law.展开更多
Rainfall is an important factor in estimating the event mean concentration （EMC） which is used to quantify the washed-off pollutant concentrations from non-point sources （NPSs）. Pollutant loads could also be calcu...Rainfall is an important factor in estimating the event mean concentration （EMC） which is used to quantify the washed-off pollutant concentrations from non-point sources （NPSs）. Pollutant loads could also be calculated using rainfall, catchment area and runoff coefficient. In this study, runoff quantity and quality data gathered from a 28-month monitoring conducted on the road and parking lot sites in Korea were evaluated using multiple linear regression （MLR） to develop equations for estimating pollutant loads and EMCs as a function of rainfall variables. The results revealed that total event rainfall and average rainfall intensity are possible predictors of pollutant loads. Overall, the models are indicators of the high uncertainties of NPSs; perhaps estimation of EMCs and loads could be accurately obtained by means of water quality sampling or a long term monitoring is needed to gather more data that can be used for the development of estimation models.展开更多
With the passage of time, it has become important to investigate new methods for updating data to better fit the trends of the grey prediction model. The traditional GM（1,1） usually sets the grey action quantity as ...With the passage of time, it has become important to investigate new methods for updating data to better fit the trends of the grey prediction model. The traditional GM（1,1） usually sets the grey action quantity as a constant. Therefore, it cannot effectively fit the dynamic characteristics of the sequence, which results in the grey model having a low precision. The linear grey action quantity model cannot represent the index change law. This paper presents a grey action quantity model, the exponential optimization grey model（EOGM（1,1））, based on the exponential type of grey action quantity; it is constructed based on the exponential characteristics of the grey prediction model. The model can fully reflect the exponential characteristics of the simulation series with time. The exponential sequence has a higher fitting accuracy. The optimized result is verified using a numerical example for the fluctuating sequence and a case study for the index of the tertiary industry＇s GDP. The results show that the model improves the precision of the grey forecasting model and reduces the prediction error.展开更多
Business processes described by formal or semi-formal models are realized via information systems.Event logs generated from these systems are probably not consistent with the existing models due to insufficient design...Business processes described by formal or semi-formal models are realized via information systems.Event logs generated from these systems are probably not consistent with the existing models due to insufficient design of the information system or the system upgrade.By comparing an existing process model with event logs,we can detect inconsistencies called deviations,verify and extend the business process model,and accordingly improve the business process.In this paper,some abnormal activities in business processes are formally defined based on Petri nets.An efficient approach to detect deviations between the process model and event logs is proposed.Then,business process models are revised when abnormal activities exist.A clinical process in a healthcare information system is used as a case study to illustrate our work.Experimental results show the effectiveness and efficiency of the proposed approach.展开更多
The data of several rainfall products, including those estimated from satellite measurements and those forecasted via numerical weather modeling, for a severe debris-flow event in Zhouqu, Northwest China, are compared...The data of several rainfall products, including those estimated from satellite measurements and those forecasted via numerical weather modeling, for a severe debris-flow event in Zhouqu, Northwest China, are compared and analyzed in this paper. The satellite products, including CPC MORPHing technique（CMORPH）, TMPA-RT, and PERSIANN are all near-real-time retrieved with high temporal and spatial resolutions. The numerical weather model used in this paper for precipitation forecasting is WRF. The results show that all three satellite products can basically reproduce the rainfall pattern, distribution, timing, scale, and extreme values of the event, compared with gauge data. Their temporal and spatial correlation coefficients with gauge data are as high as about 0.6, which is statistically significant at 0.01 level. The performance of the forecasted results modeled with different spatial resolutions are not as good as the satellite-estimated results, although their correlation coefficients are still statistically significant at 0.05 level. From the total rainfall and extreme value time series for the domain, it is clear that, from the grid-to-grid perspective, the passive microwave-based CMORPH and TRMM products are more accurate than the infrared-based PERSIANN, while PERSIANN performs very well from the general point of view, especially when considering the whole domain or the whole convective precipitation system. The forecasted data — especially the highest resolution model domain data — are able to represent the total or mean precipitation very well in the research domain, while for extreme values the errors are large. This study suggests that satellite-retrieved and model-forecasted rainfall data are a useful complement to gauge data, especially for areas without gauge stations and areas not covered by weather radars.展开更多
A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and ...A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and safety and reliability analyses are increasingly required for these systems.SEFTs combine elements from the traditional fault tree with elements from state-based techniques.In the context of the real-time safety-critical systems,SEFTs do not describe the time properties and important timedependent system behaviors that can lead to system failures.Further,SEFTs lack the precise semantics required for formally modeling time behaviors.In this paper,we present a qualitative analysis method for SEFTs based on transformation from SEFT to timed automata(TA),and use the model checker UPPAAL to verify system requirements’properties.The combination of SEFT and TA is an important step towards an integrated design and verification process for real-time safety-critical systems.Finally,we present a case study of a powerboat autopilot system to confirm our method is viable and valid after achieving the verification goal step by step.展开更多
There are mainly four kinds of models to record and deal with historical information.By taking them as reference,the spatio-temporal model based on event semantics is proposed.In this model,according to the way for de...There are mainly four kinds of models to record and deal with historical information.By taking them as reference,the spatio-temporal model based on event semantics is proposed.In this model,according to the way for describing an event,all the information are divided into five domains.This paper describes the model by using the land parcel change in the cadastral information system,and expounds the model by using five tables corresponding to the five domains.With the aid of this model,seven examples are given on historical query,trace back and recurrence.This model can be implemented either in the extended relational database or in the object-oriented database.展开更多
The aim of this paper is to present a discrete event model-based approach to simulate train movement with the con- sidered energy-saving factor. We conduct extensive case studies to show the dynamic characteristics of...The aim of this paper is to present a discrete event model-based approach to simulate train movement with the con- sidered energy-saving factor. We conduct extensive case studies to show the dynamic characteristics of the traffic flow and demonstrate the effectiveness of the proposed approach. The simulation results indicate that the proposed discrete event model-based simulation approach is suitable for characterizing the movements of a group of trains on a single railway line with less iterations and CPU time. Additionally, some other qualitative and quantitative characteristics are investigated. In particular, because of the cumulative influence from the previous trains, the following trains should be accelerated or braked frequently to control the headway distance, leading to more energy consumption.展开更多
In this paper, the changes in temperature and precipitation extremes over the next 20-30 years (2021-2050) in relative to the present day (1986-2005) under the Intergovernmental Panel on Climate Change (IPCC) Special ...In this paper, the changes in temperature and precipitation extremes over the next 20-30 years (2021-2050) in relative to the present day (1986-2005) under the Intergovernmental Panel on Climate Change (IPCC) Special Report on Emissions Scenarios (SRES) A1B scenario are analyzed based on a high-resolution climate change simulation performed by a regional climate model (the Abdus Salam International Center for Theoretical Physics (ICTP) RegCM3). The extreme indices of summer days (SU), frost days (FD), and growing season length (GSL) for temperature and simple daily intensity index (SDII), number of days with precipitation ≥10 mm d-1 (R10), and consecutive dry days (CDD) for precipitation are used as the indicators of the extremes. The results show that the indices simulated by RegCM3 in the present day show good agreement with the observed. A general increase in SU, a decrease in FD, and an increase in GSL are found to occur in the next 20-30 years over China. A general increase in SDII, an increase in R10 over western China, and a decrease in R10 in north, northeast, and central China are simulated by the model. Changes in CDD are characterized by a decrease in the north and an increase in the south and the Tibetan Plateau.展开更多
Methods of improving seismic event locations were investigated as part of a research study aimed at reducing ground control safety hazards. Seismic event waveforms collected with a 23-station three-dimensional sensor ...Methods of improving seismic event locations were investigated as part of a research study aimed at reducing ground control safety hazards. Seismic event waveforms collected with a 23-station three-dimensional sensor array during longwall coal mining provide the data set used in the analyses. A spatially variable seismic velocity model is constructed using seismic event sources in a passive tomographic method. The resulting three-dimensional velocity model is used to relocate seismic event positions. An evolutionary optimization algorithm is implemented and used in both the velocity model development and in seeking improved event location solutions. Results obtained using the different velocity models are compared. The combination of the tomographic velocity model development and evolutionary search algorithm provides improvement to the event locations.展开更多
The dominant frequency modes of pre-summer extreme precipitation events(EPEs)over South China(SC)between1998 and 2018 were investigated.The 67 identified EPEs were all characterized by the 3-8-d(synoptic)frequency ban...The dominant frequency modes of pre-summer extreme precipitation events(EPEs)over South China(SC)between1998 and 2018 were investigated.The 67 identified EPEs were all characterized by the 3-8-d(synoptic)frequency band.However,multiscale combined modes of the synoptic and three low-frequency bands[10-20-d(quasi-biweekly,QBW);15-40-d(quasi-monthly,QM);and 20-60-d(intraseasonal)]accounted for the majority(63%)of the EPEs,and the precipitation intensity on the peak wet day was larger than that of the single synoptic mode.It was found that EPEs form within strong southwesterly anomalous flows characterized by either lower-level cyclonic circulation over SC or a deep trough over eastern China.Bandpass-filtered disturbances revealed the direct precipitating systems and their life cycles.Synoptic-scale disturbances are dominated by mid-high latitude troughs,and the cyclonic anomalies originate from downstream of the Tibetan Plateau(TP).Given the warm and moist climate state,synoptic-scale northeasterly flows can even induce EPEs.At the QBW and QM scales,the disturbances originate from the tropical Pacific,downstream of the TP,or mid-high latitudes(QBW only).Each is characterized by cyclonic-anticyclonic wave trains and intense southwesterly flows between them within a region of large horizontal pressure gradient.The intraseasonal disturbances are confined to tropical regions and influence SC by marginal southwesterly flows.It is concluded that low-frequency disturbances provide favorable background conditions for EPEs over SC and synoptic-scale disturbances ultimately induce EPEs on the peak wet days.Both should be simultaneously considered for EPE predictions over SC.展开更多
A global forecast model is used to examine various sensitivities of numerical predictions of three extreme winter storms that occurred near the eastern continental margin of North America: the Ohio Valley blizzard of ...A global forecast model is used to examine various sensitivities of numerical predictions of three extreme winter storms that occurred near the eastern continental margin of North America: the Ohio Valley blizzard of January 1978, the New England blizzard of February 1978, and the Mid-Atlantic cyclone of February 1979. While medium-resolution simulations capture much of the intensification, the forecasts of the precise timing and intensity levels suffer from various degrees of error. The coastal cyclones show a 5-10 hPa dependence on the western North Atlantic sea surface temperature, which is varied within a range (± 2.5℃) compatible with interannual fluctuations. The associated vertical velocities and precipitation rates show proportionately stronger dependences on the ocean temperature perturbations. The Ohio Valley blizzard, which intensified along a track 700-800 km from the coast, shows little sensitivity to ocean temperature. The effect of a shift of - 10?latitude in the position of the snow boundary is negligible in each case. The forecasts depend strongly on the model resolution, and the coarse-resolution forecasts are consistently inferior to the medium-resolution forecasts. Studies of the corresponding sensitivities of extreme cyclonic events over eastern Asia are encouraged in order to identify characteristics that are common to numerical forecasts for the two regions.展开更多
This paper proposes a method to recognize human-object interactions by modeling context between human actions and interacted objects.Human-object interaction recognition is a challenging task due to severe occlusion b...This paper proposes a method to recognize human-object interactions by modeling context between human actions and interacted objects.Human-object interaction recognition is a challenging task due to severe occlusion between human and objects during the interacting process.Since that human actions and interacted objects provide strong context information,i.e.some actions are usually related to some specific objects,the accuracy of recognition is significantly improved for both of them.Through the proposed method,both global and local temporal features from skeleton sequences are extracted to model human actions.In the meantime,kernel features are utilized to describe interacted objects.Finally,all possible solutions from actions and objects are optimized by modeling the context between them.The results of experiments demonstrate the effectiveness of our method.展开更多
A conceptual hydrological model that links the Xin＇anjiang hydrological model and a physically based snow energy and mass balance model, described as the XINSNOBAL model, was developed in this study for simulating ra...A conceptual hydrological model that links the Xin＇anjiang hydrological model and a physically based snow energy and mass balance model, described as the XINSNOBAL model, was developed in this study for simulating rain-on-snow events that commonly occur in the Pacific Northwest of the United States. The resultant model was applied to the Lookout Creek Watershed in the H. J. Andrews Experimental Forest in the western Cascade Mountains of Oregon, and its ability to simulate streamflow was evaluated. The simulation was conducted at 24-hour and one-hour time scales for the period of 1996 to 2005. The results indicated that runoffand peak discharge could be underestimated if snowpack accumulation and snowmelt under rain-on-snow conditions were not taken into account. The average deterministic coefficient of the hourly model in streamflow simulation in the calibration stage was 0.837, which was significantly improved over the value of 0.762 when the Xin＇anjiang model was used alone. Good simulation performance of the XINSNOBAL model in the WS 10 catchment, using the calibrated parameter of the Lookout Creek Watershed for proxy-basin testing, demonstrates that transplanting model parameters between similar watersheds can orovide a useful tool for discharge forecastin~, in un^au^ed basins.展开更多
After the occurrence of unexpected group events of network, the relevant opinion information will spread rapidly through micro-blog, and the negative public opinion information will aggravate the unexpected the group ...After the occurrence of unexpected group events of network, the relevant opinion information will spread rapidly through micro-blog, and the negative public opinion information will aggravate the unexpected the group events to upgrade and expand the scope of harm. It is difficult to deal. So public opinion control is very important. In this paper, we establish an influence model for spreading of public opinion based on SIR model. Through the political analysis, this paper finds that the network group events will subside, but the influence scope, time and ability of event cannot be ignored. As a result of this study, the corresponding strategies are put forward in this paper.展开更多
A new event-handling paradigm and its application model are proposed. The working mechanism and principle of event listener model is given in detail. Finally, the launching event mechanisms, the choosing event handlin...A new event-handling paradigm and its application model are proposed. The working mechanism and principle of event listener model is given in detail. Finally, the launching event mechanisms, the choosing event handling models and the dispatching mechanism are illustrated.展开更多
文摘We develop and implement a Stochastic Discrete Event Simulation(SDES)algorithm to model the housing re-covery trajectory after an extreme event.The algorithm models discrete events and their underlying uncertainties in each construction phase.Specifically,the algorithm is developed for the Government Assisted Owner Driven(GAOD)reconstruction system to simulate long-term recovery trajectory.SDES,as a flexible modeling approach,can simulate any housing recovery scenario that follows phased reconstruction.The 2015 M 7.8 Gorkha earthquake sequence in Nepal is considered the extreme event,with 796,245 buildings requiring reconstruction.We present some recovery trajectories from severely hit,crisis hit,and earthquake hit parishes,comparing them with the actual reconstruction progress.We also assess quality and improvement of reconstructed buildings using seismic fragility functions,compared to pre-earthquake constructions.Housing recovery uncertainties are dissected in relation to reconstruction pace.We conclude that the vast majority of the reconstructed buildings followed the Build Back Better(BBB)approach and missed the opportunity to pursue the Build Back Resilient(BBR)approach due to multifaceted challenges ranging from unclear policies to economic constraints.We critically assess the GAOD vs Owner Driven(OD)recovery framework and conclude that insurance-supported and technically assisted OD approach could be the most suitable model for post extreme event housing recovery.
基金supported by the Zhejiang Provincial Natural Science Foundation of China(No.LQ23F030001)the National Natural Science Foundation of China(No.62406280)+5 种基金the Autism Research Special Fund of Zhejiang Foundation for Disabled Persons(No.2023008)the Liaoning Province Higher Education Innovative Talents Program Support Project(No.LR2019058)the Liaoning Province Joint Open Fund for Key Scientific and Technological Innovation Bases(No.2021-KF-12-05)the Central Guidance on Local Science and Technology Development Fund of Liaoning Province(No.2023JH6/100100066)the Key Laboratory for Biomedical Engineering of Ministry of Education,Zhejiang University,Chinain part by the Open Research Fund of the State Key Laboratory of Cognitive Neuroscience and Learning.
文摘Video action recognition(VAR)aims to analyze dynamic behaviors in videos and achieve semantic understanding.VAR faces challenges such as temporal dynamics,action-scene coupling,and the complexity of human interactions.Existing methods can be categorized into motion-level,event-level,and story-level ones based on spatiotemporal granularity.However,single-modal approaches struggle to capture complex behavioral semantics and human factors.Therefore,in recent years,vision-language models(VLMs)have been introduced into this field,providing new research perspectives for VAR.In this paper,we systematically review spatiotemporal hierarchical methods in VAR and explore how the introduction of large models has advanced the field.Additionally,we propose the concept of“Factor”to identify and integrate key information from both visual and textual modalities,enhancing multimodal alignment.We also summarize various multimodal alignment methods and provide in-depth analysis and insights into future research directions.
文摘This letter addressed the impactful study by Zhong et al,which introduced a risk prediction and stratification model for surgical adverse events following minimally invasive esophagectomy.By identifying key risk factors such as chronic obstructive pulmonary disease and hypoalbuminemia,the model demonstrated strong predictive accuracy and offered a pathway to personalized perioperative care.This correspondence highlighted the clinical significance,emphasizing its potential to optimize patient outcomes through tailored inter-ventions.Further prospective validation and application across diverse settings are essential to realize its full potential in advancing esophageal surgery practices.
基金Project supported by Publication Foundation of National Science and Technology Academic Books of China
文摘A universal thermodynamic model of calculating mass action concentrations for structural units or ion couples in ternary and binary strong electrolyte aqueous solution was developed based on the ion and molecule coexistence theory and verified in four kinds of binary aqueous solutions and two kinds of ternary aqueous solutions. The calculated mass action concentrations of structural units or ion couples in four binary aqueous solutions and two ternary solutions at 298.15 K have good agreement with the reported activity data from literatures after shifting the standard state and concentration unit. Therefore, the calculated mass action concentrations of structural units or ion couples from the developed universal thermodynamic model for ternary and binary aqueous solutions can be applied to predict reaction ability of components in ternary and binary strong electrolyte aqueous solutions. It is also proved that the assumptions applied in the developed thermodynamic model are correct and reasonable, i.e., strong electrolyte aqueous solution is composed of cations and anions as simple ions, H2O as simple molecule and other hydrous salt compounds as complex molecules. The calculated mass action concentrations of structural units or ion couples in ternary and binary strong electrolyte aqueous solutions strictly follow the mass action law.
基金provided by the Korean Ministry of Environment and Eco Star Project
文摘Rainfall is an important factor in estimating the event mean concentration （EMC） which is used to quantify the washed-off pollutant concentrations from non-point sources （NPSs）. Pollutant loads could also be calculated using rainfall, catchment area and runoff coefficient. In this study, runoff quantity and quality data gathered from a 28-month monitoring conducted on the road and parking lot sites in Korea were evaluated using multiple linear regression （MLR） to develop equations for estimating pollutant loads and EMCs as a function of rainfall variables. The results revealed that total event rainfall and average rainfall intensity are possible predictors of pollutant loads. Overall, the models are indicators of the high uncertainties of NPSs; perhaps estimation of EMCs and loads could be accurately obtained by means of water quality sampling or a long term monitoring is needed to gather more data that can be used for the development of estimation models.
基金supported by the National Key Research and Development Program of China(2016YFC1402000)the National Science Foundation of China(41701593+2 种基金7137109871571157)the National Social Science Fund Major Project(14ZDB151)
文摘With the passage of time, it has become important to investigate new methods for updating data to better fit the trends of the grey prediction model. The traditional GM（1,1） usually sets the grey action quantity as a constant. Therefore, it cannot effectively fit the dynamic characteristics of the sequence, which results in the grey model having a low precision. The linear grey action quantity model cannot represent the index change law. This paper presents a grey action quantity model, the exponential optimization grey model（EOGM（1,1））, based on the exponential type of grey action quantity; it is constructed based on the exponential characteristics of the grey prediction model. The model can fully reflect the exponential characteristics of the simulation series with time. The exponential sequence has a higher fitting accuracy. The optimized result is verified using a numerical example for the fluctuating sequence and a case study for the index of the tertiary industry＇s GDP. The results show that the model improves the precision of the grey forecasting model and reduces the prediction error.
基金supported by the National Natural Science Foundation of China(61170078,61472228,61903229,61902222)the “Taishan Scholar” Construction Project of Shandong Province,China,the Natural Science Foundation of Shandong Province(ZR2018MF001)+1 种基金the Scientific Research Foundation of Shandong University of Science and Technology for Recruited Talents(2017RCJJ044)the Key Research and Development Program of Shandong Province(2018GGX101011)
文摘Business processes described by formal or semi-formal models are realized via information systems.Event logs generated from these systems are probably not consistent with the existing models due to insufficient design of the information system or the system upgrade.By comparing an existing process model with event logs,we can detect inconsistencies called deviations,verify and extend the business process model,and accordingly improve the business process.In this paper,some abnormal activities in business processes are formally defined based on Petri nets.An efficient approach to detect deviations between the process model and event logs is proposed.Then,business process models are revised when abnormal activities exist.A clinical process in a healthcare information system is used as a case study to illustrate our work.Experimental results show the effectiveness and efficiency of the proposed approach.
基金supported by the National Natural Science Foundation of China[grant numbers 41421004 and 41210007]the International Innovation Team project of the Chinese Academy of Sciences entitled ‘High Resolution Numerical Simulation of Regional Environment’
文摘The data of several rainfall products, including those estimated from satellite measurements and those forecasted via numerical weather modeling, for a severe debris-flow event in Zhouqu, Northwest China, are compared and analyzed in this paper. The satellite products, including CPC MORPHing technique（CMORPH）, TMPA-RT, and PERSIANN are all near-real-time retrieved with high temporal and spatial resolutions. The numerical weather model used in this paper for precipitation forecasting is WRF. The results show that all three satellite products can basically reproduce the rainfall pattern, distribution, timing, scale, and extreme values of the event, compared with gauge data. Their temporal and spatial correlation coefficients with gauge data are as high as about 0.6, which is statistically significant at 0.01 level. The performance of the forecasted results modeled with different spatial resolutions are not as good as the satellite-estimated results, although their correlation coefficients are still statistically significant at 0.05 level. From the total rainfall and extreme value time series for the domain, it is clear that, from the grid-to-grid perspective, the passive microwave-based CMORPH and TRMM products are more accurate than the infrared-based PERSIANN, while PERSIANN performs very well from the general point of view, especially when considering the whole domain or the whole convective precipitation system. The forecasted data — especially the highest resolution model domain data — are able to represent the total or mean precipitation very well in the research domain, while for extreme values the errors are large. This study suggests that satellite-retrieved and model-forecasted rainfall data are a useful complement to gauge data, especially for areas without gauge stations and areas not covered by weather radars.
基金supported by the National Natural Science Foundation of China(11832012)
文摘A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and safety and reliability analyses are increasingly required for these systems.SEFTs combine elements from the traditional fault tree with elements from state-based techniques.In the context of the real-time safety-critical systems,SEFTs do not describe the time properties and important timedependent system behaviors that can lead to system failures.Further,SEFTs lack the precise semantics required for formally modeling time behaviors.In this paper,we present a qualitative analysis method for SEFTs based on transformation from SEFT to timed automata(TA),and use the model checker UPPAAL to verify system requirements’properties.The combination of SEFT and TA is an important step towards an integrated design and verification process for real-time safety-critical systems.Finally,we present a case study of a powerboat autopilot system to confirm our method is viable and valid after achieving the verification goal step by step.
文摘There are mainly four kinds of models to record and deal with historical information.By taking them as reference,the spatio-temporal model based on event semantics is proposed.In this model,according to the way for describing an event,all the information are divided into five domains.This paper describes the model by using the land parcel change in the cadastral information system,and expounds the model by using five tables corresponding to the five domains.With the aid of this model,seven examples are given on historical query,trace back and recurrence.This model can be implemented either in the extended relational database or in the object-oriented database.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.71271020 and 71271022)the Program for New Century Excellent Talents in University(Grant No.NCET-10-0218)
文摘The aim of this paper is to present a discrete event model-based approach to simulate train movement with the con- sidered energy-saving factor. We conduct extensive case studies to show the dynamic characteristics of the traffic flow and demonstrate the effectiveness of the proposed approach. The simulation results indicate that the proposed discrete event model-based simulation approach is suitable for characterizing the movements of a group of trains on a single railway line with less iterations and CPU time. Additionally, some other qualitative and quantitative characteristics are investigated. In particular, because of the cumulative influence from the previous trains, the following trains should be accelerated or braked frequently to control the headway distance, leading to more energy consumption.
基金supported by the National Basic Research Program of China(Grant No.2009CB421407)the China-UK-Swiss Adapting to Climate Change in China Project (ACCC)-Climate Science
文摘In this paper, the changes in temperature and precipitation extremes over the next 20-30 years (2021-2050) in relative to the present day (1986-2005) under the Intergovernmental Panel on Climate Change (IPCC) Special Report on Emissions Scenarios (SRES) A1B scenario are analyzed based on a high-resolution climate change simulation performed by a regional climate model (the Abdus Salam International Center for Theoretical Physics (ICTP) RegCM3). The extreme indices of summer days (SU), frost days (FD), and growing season length (GSL) for temperature and simple daily intensity index (SDII), number of days with precipitation ≥10 mm d-1 (R10), and consecutive dry days (CDD) for precipitation are used as the indicators of the extremes. The results show that the indices simulated by RegCM3 in the present day show good agreement with the observed. A general increase in SU, a decrease in FD, and an increase in GSL are found to occur in the next 20-30 years over China. A general increase in SDII, an increase in R10 over western China, and a decrease in R10 in north, northeast, and central China are simulated by the model. Changes in CDD are characterized by a decrease in the north and an increase in the south and the Tibetan Plateau.
文摘Methods of improving seismic event locations were investigated as part of a research study aimed at reducing ground control safety hazards. Seismic event waveforms collected with a 23-station three-dimensional sensor array during longwall coal mining provide the data set used in the analyses. A spatially variable seismic velocity model is constructed using seismic event sources in a passive tomographic method. The resulting three-dimensional velocity model is used to relocate seismic event positions. An evolutionary optimization algorithm is implemented and used in both the velocity model development and in seeking improved event location solutions. Results obtained using the different velocity models are compared. The combination of the tomographic velocity model development and evolutionary search algorithm provides improvement to the event locations.
基金supported by the National Key R&D Program of China(Grant No.2018YFC1507403)。
文摘The dominant frequency modes of pre-summer extreme precipitation events(EPEs)over South China(SC)between1998 and 2018 were investigated.The 67 identified EPEs were all characterized by the 3-8-d(synoptic)frequency band.However,multiscale combined modes of the synoptic and three low-frequency bands[10-20-d(quasi-biweekly,QBW);15-40-d(quasi-monthly,QM);and 20-60-d(intraseasonal)]accounted for the majority(63%)of the EPEs,and the precipitation intensity on the peak wet day was larger than that of the single synoptic mode.It was found that EPEs form within strong southwesterly anomalous flows characterized by either lower-level cyclonic circulation over SC or a deep trough over eastern China.Bandpass-filtered disturbances revealed the direct precipitating systems and their life cycles.Synoptic-scale disturbances are dominated by mid-high latitude troughs,and the cyclonic anomalies originate from downstream of the Tibetan Plateau(TP).Given the warm and moist climate state,synoptic-scale northeasterly flows can even induce EPEs.At the QBW and QM scales,the disturbances originate from the tropical Pacific,downstream of the TP,or mid-high latitudes(QBW only).Each is characterized by cyclonic-anticyclonic wave trains and intense southwesterly flows between them within a region of large horizontal pressure gradient.The intraseasonal disturbances are confined to tropical regions and influence SC by marginal southwesterly flows.It is concluded that low-frequency disturbances provide favorable background conditions for EPEs over SC and synoptic-scale disturbances ultimately induce EPEs on the peak wet days.Both should be simultaneously considered for EPE predictions over SC.
文摘A global forecast model is used to examine various sensitivities of numerical predictions of three extreme winter storms that occurred near the eastern continental margin of North America: the Ohio Valley blizzard of January 1978, the New England blizzard of February 1978, and the Mid-Atlantic cyclone of February 1979. While medium-resolution simulations capture much of the intensification, the forecasts of the precise timing and intensity levels suffer from various degrees of error. The coastal cyclones show a 5-10 hPa dependence on the western North Atlantic sea surface temperature, which is varied within a range (± 2.5℃) compatible with interannual fluctuations. The associated vertical velocities and precipitation rates show proportionately stronger dependences on the ocean temperature perturbations. The Ohio Valley blizzard, which intensified along a track 700-800 km from the coast, shows little sensitivity to ocean temperature. The effect of a shift of - 10?latitude in the position of the snow boundary is negligible in each case. The forecasts depend strongly on the model resolution, and the coarse-resolution forecasts are consistently inferior to the medium-resolution forecasts. Studies of the corresponding sensitivities of extreme cyclonic events over eastern Asia are encouraged in order to identify characteristics that are common to numerical forecasts for the two regions.
文摘This paper proposes a method to recognize human-object interactions by modeling context between human actions and interacted objects.Human-object interaction recognition is a challenging task due to severe occlusion between human and objects during the interacting process.Since that human actions and interacted objects provide strong context information,i.e.some actions are usually related to some specific objects,the accuracy of recognition is significantly improved for both of them.Through the proposed method,both global and local temporal features from skeleton sequences are extracted to model human actions.In the meantime,kernel features are utilized to describe interacted objects.Finally,all possible solutions from actions and objects are optimized by modeling the context between them.The results of experiments demonstrate the effectiveness of our method.
基金supported by the National Natural Science Foundation of China (Grants No. 40901015 and41001011)the Major Program of the National Natural Science Foundation of China (Grants No. 51190090 and 51190091)+3 种基金the Fundamental Research Funds for the Central Universities (Grants No. B1020062 andB1020072)the Ph. D. Programs Foundation of the Ministry of Education of China (Grant No.20090094120008)the Special Fund of State Key Laboratories of China (Grants No. 2009586412 and 2009585412)the Programme of Introducing Talents of Disciplines to Universities of the Ministry of Education and State Administration of the Foreign Experts Affairs of China (the 111 Project, Grant No.B08048)
文摘A conceptual hydrological model that links the Xin＇anjiang hydrological model and a physically based snow energy and mass balance model, described as the XINSNOBAL model, was developed in this study for simulating rain-on-snow events that commonly occur in the Pacific Northwest of the United States. The resultant model was applied to the Lookout Creek Watershed in the H. J. Andrews Experimental Forest in the western Cascade Mountains of Oregon, and its ability to simulate streamflow was evaluated. The simulation was conducted at 24-hour and one-hour time scales for the period of 1996 to 2005. The results indicated that runoffand peak discharge could be underestimated if snowpack accumulation and snowmelt under rain-on-snow conditions were not taken into account. The average deterministic coefficient of the hourly model in streamflow simulation in the calibration stage was 0.837, which was significantly improved over the value of 0.762 when the Xin＇anjiang model was used alone. Good simulation performance of the XINSNOBAL model in the WS 10 catchment, using the calibrated parameter of the Lookout Creek Watershed for proxy-basin testing, demonstrates that transplanting model parameters between similar watersheds can orovide a useful tool for discharge forecastin~, in un^au^ed basins.
文摘After the occurrence of unexpected group events of network, the relevant opinion information will spread rapidly through micro-blog, and the negative public opinion information will aggravate the unexpected the group events to upgrade and expand the scope of harm. It is difficult to deal. So public opinion control is very important. In this paper, we establish an influence model for spreading of public opinion based on SIR model. Through the political analysis, this paper finds that the network group events will subside, but the influence scope, time and ability of event cannot be ignored. As a result of this study, the corresponding strategies are put forward in this paper.
文摘A new event-handling paradigm and its application model are proposed. The working mechanism and principle of event listener model is given in detail. Finally, the launching event mechanisms, the choosing event handling models and the dispatching mechanism are illustrated.
