期刊文献+
共找到22篇文章
< 1 2 >
每页显示 20 50 100
社会主义核心价值观和幸福“集合”式教育研究 被引量:1
1
作者 宋庆 黄建 陶海燕 《浙江交通职业技术学院学报》 CAS 2021年第1期58-61,77,共5页
对人需要的肯定和价值观的认可,把原本属于不同范畴的"幸福"和"社会主义核心价值观"关联在一起。内化社会主义核心价值观可以把幸福教育作为切入点,树立马克思主义幸福观,践行习近平的幸福观,构建契合政治理想、人... 对人需要的肯定和价值观的认可,把原本属于不同范畴的"幸福"和"社会主义核心价值观"关联在一起。内化社会主义核心价值观可以把幸福教育作为切入点,树立马克思主义幸福观,践行习近平的幸福观,构建契合政治理想、人文价值与人类情感共生的,社会主义核心价值观和幸福理念两相宜的"集合"式教育模式,实现高校思想政治教育政治定位、价值引领与人文导向的统一,促进人的全面发展,让教育真正回归人性和生活。 展开更多
关键词 社会主义核心价值观 内化 幸福理念 “集合”式教育
下载PDF
Landscape Ecology:Coupling of Pattern,Process,and Scale 被引量:26
2
作者 FU Bojie LIANG Di LU Nan 《Chinese Geographical Science》 SCIE CSCD 2011年第4期385-391,共7页
Landscape ecology provides new theoretical frameworks and methodologies for understanding complex ecological phenomena at multiple scales.Studies of landscape ecology focus on understanding the dynamics of eco-logical... Landscape ecology provides new theoretical frameworks and methodologies for understanding complex ecological phenomena at multiple scales.Studies of landscape ecology focus on understanding the dynamics of eco-logical patterns and processes,and highlight the integration of multiple disciplines.In this paper,we discussed the problems and challenges that landscape ecology is currently facing,emphasizing the limitations of current methods used to describe dynamic landscape patterns and processes.We suggested that the focus should be on the integration of ground-based observation,mobile monitoring,transect survey,and remote-sensing monitoring,as well as improved coupling of experimental and model simulations.In addition,we outlined the research frontiers in landscape ecology,including scaling,integrated pattern and process modeling,and regional synthesis.Lastly,a brief review of pat-tern-process-scale coupling studies in China was provided.We concluded by pointing out that pattern-process-scale interactions,correlations between natural,economic,and social processes,and the coupling of human and natural systems will be major research areas in landscape ecology in the future. 展开更多
关键词 landscape ecology pattern and process SCALE integrated model regional synthesis research
下载PDF
Contributions of climate change, land use change and CO2 to changes in the gross primary productivity of the Tibetan Plateau 被引量:5
3
作者 LUO Xin JIA Binghao LAI Xin 《Atmospheric and Oceanic Science Letters》 CSCD 2020年第1期8-15,共8页
The ecosystems on the Tibetan Plateau(TP) are highly vulnerable to climate change, rising CO2 concentration, and land-use and land-cover change(LULCC), but their contributions to changes in the gross primary productiv... The ecosystems on the Tibetan Plateau(TP) are highly vulnerable to climate change, rising CO2 concentration, and land-use and land-cover change(LULCC), but their contributions to changes in the gross primary productivity(GPP) of the TP are not clearly understood. In this study, the role of these three factors on the interannual variations(IAVs) and trends of the TP’s GPP were investigated using 12 terrestrial biosphere models. The ensemble simulations showed that climate change can explain most of the changes in the GPP, while the direct effect of LULCC and rising CO2(mainly fertilization effect) contributed 10% and-14% to the mean GPP values, 37% and -20% to the IAV, and 52% and -24% to the GPP’s trend, respectively. The LULCC showed higher contributions to the significant positive trend in the annual GPP of the TP. However, the results from different model simulations showed that considerable uncertainties were associated with the effects of LULCC on the GPP of the TP. 展开更多
关键词 Multi-model ensemble gross primary productivity CO2 land-use and land-cover change Tibetan Plateau
下载PDF
Comparison of aircraft observations with ensemble forecast model results in terms of the microphysical characteristics of stratiform precipitation
4
作者 FU Yuan LEI Hengchi +2 位作者 YANG Jiefan GUO Jiaxu ZHU Jiangshan 《Atmospheric and Oceanic Science Letters》 CSCD 2020年第5期452-461,共10页
The prediction of the particle number concentration and liquid/ice water content of cloud is significant for many aspects of atmospheric science.However,given the uncertainties in the initial and boundary conditions a... The prediction of the particle number concentration and liquid/ice water content of cloud is significant for many aspects of atmospheric science.However,given the uncertainties in the initial and boundary conditions and imperfections of microphysical schemes,the accurate prediction of these microphysical properties of cloud is still a big challenge.The ensemble approach may be a viable way to reduce forecast uncertainties.In this paper,a large-scale stratiform cloud precipitation process is studied by comparing results of a 10-member ensemble forecast model with aircraft observation data.By means of the ensemble average,the prediction of bulk parameters such as liquid water content and ice water content can be improved in comparison with the control member,but the particle number concentrations are still one to two orders of magnitude less than those from observations.Intercomparison of raindrop size spectra reveals a big distinction between observations and predictions for particles with a diameter less than 1000μm. 展开更多
关键词 Aircraft observation ensemble forecast model particle number concentration liquid/ice water content
下载PDF
Improving the simulation of terrestrial water storage anomalies over China using a Bayesian model averaging ensemble approach 被引量:1
5
作者 LIU Jian-Guo JIA Bing-Hao +1 位作者 XIE Zheng-Hui SHI Chun-Xiang 《Atmospheric and Oceanic Science Letters》 CSCD 2018年第4期322-329,共8页
The ability to estimate terrestrial water storage(TWS)is essential for monitoring hydrological extremes(e.g.,droughts and floods)and predicting future changes in the hydrological cycle.However,inadequacies in model ph... The ability to estimate terrestrial water storage(TWS)is essential for monitoring hydrological extremes(e.g.,droughts and floods)and predicting future changes in the hydrological cycle.However,inadequacies in model physics and parameters,as well as uncertainties in meteorological forcing data,commonly limit the ability of land surface models(LSMs)to accurately simulate TWS.In this study,the authors show how simulations of TWS anomalies(TWSAs)from multiple meteorological forcings and multiple LSMs can be combined in a Bayesian model averaging(BMA)ensemble approach to improve monitoring and predictions.Simulations using three forcing datasets and two LSMs were conducted over China's Mainland for the period 1979–2008.All the simulations showed good temporal correlations with satellite observations from the Gravity Recovery and Climate Experiment during 2004–08.The correlation coefficient ranged between 0.5 and 0.8 in the humid regions(e.g.,the Yangtze river basin,Huaihe basin,and Zhujiang basin),but was much lower in the arid regions(e.g.,the Heihe basin and Tarim river basin).The BMA ensemble approach performed better than all individual member simulations.It captured the spatial distribution and temporal variations of TWSAs over China's Mainland and the eight major river basins very well;plus,it showed the highest R value(>0.5)over most basins and the lowest root-mean-square error value(<40 mm)in all basins of China.The good performance of the BMA ensemble approach shows that it is a promising way to reproduce long-term,high-resolution spatial and temporal TWSA data. 展开更多
关键词 Terrestrial water storage anomalies multi-forcing and multi-model ensemble simulation Bayesian model averaging spatiotemporal variation UNCERTAINTY
下载PDF
A weakly coupled data assimilation system of a coupled physical–biological model for the northeastern South China Sea
6
作者 LI Xia ZHU Jiang 《Atmospheric and Oceanic Science Letters》 CSCD 2016年第5期352-360,共9页
A weakly coupled data assimilation system was established for a coupled physical–biological model for the northeastern South China Sea(NSCS). The physical model used was the Regional Ocean Modeling System; the biol... A weakly coupled data assimilation system was established for a coupled physical–biological model for the northeastern South China Sea(NSCS). The physical model used was the Regional Ocean Modeling System; the biological component was a seven-compartment nitrogen–phytoplankton–zooplankton–detritus ecosystem model; and the data assimilation method was Ensemble Optical Interpolation. To test the performance of the weakly coupled data assimilation system, two numerical experiments(i.e. control and assimilation runs) based on a process-oriented idealized case were conducted, and climatological SST was assimilated in the assimilation run. Only physical variables were adjusted in the weakly coupled data assimilation. The results showed that both the assimilated SST and other unassimilated physical variables had reasonable process responses. Due to the warmer SST observation, the water temperature(salinity) in the assimilation run increased(decreased) in coastal upwelling regions. Both the alongshore and bottom cross-shore currents were reduced, jointly demonstrating the weakening of the upwelling system. Meanwhile, ecosystem variables were also affected to some extent by the SST assimilation through the coupled model. For example, larger phytoplankton(chlorophyll) productivity was found in the upwelling region within the shallow layer due to the warmer waters in the assimilation run. Hence, the application of this data assimilation system could reasonably modify both physical and biological variables for the NSCS by SST assimilation. 展开更多
关键词 Northeastern South China Sea coupled physical–biological model Ensemble Optical Interpolation SST assimilation process response
下载PDF
Statistical Characteristics of ENSO Events in CMIP5 Models 被引量:1
7
作者 RAO Jian REN Rong-Cai 《Atmospheric and Oceanic Science Letters》 CSCD 2014年第6期546-552,共7页
By applying the historical-run outputs from 24 Coupled Model Intercomparison Project Phase 5(CMIP5) models and the NOAA Extended Reconstructed SST V3 b dataset(ERSST), the characteristics of different types of ENSO in... By applying the historical-run outputs from 24 Coupled Model Intercomparison Project Phase 5(CMIP5) models and the NOAA Extended Reconstructed SST V3 b dataset(ERSST), the characteristics of different types of ENSO in the selected CMIP5 models, including cold-season-matured Eastern Pacific(C-EP) ENSO, warmseason-matured EP(W-EP) ENSO, cold-season-matured Central Pacific(C-CP) ENSO, and warm-season-matured CP(W-CP) ENSO, were examined in comparison with those in the ERSST dataset. The results showed that, in general, consistent with observations, EP ENSO events in most of the model runs were relatively much stronger than CP ENSO events, and cold-season-matured ENSO events were relatively much more frequent than warm-season-matured ENSO events for both EP and CP ENSO events. The composite amplitudes of ENSO events in most of the models were generally weaker than in observations, particularly for EP El Ni?o and CP La Ni?a. Moreover, most of the models successfully reproduced the amplitude asymmetries between El Ni?o and La Ni?a for cold-season-matured EP and CP ENSO events, exhibiting an average stronger/weaker EP El Ni?o/La Ni?a regime and a weaker/stronger CP El Ni?o/La Ni?a regime. Most of the models, however, failed to reproduce the observed regimes of stronger/weaker W-EP El Ni?o/ La Ni?a and weaker/stronger W-CP El Ni?o/La Ni?a. 展开更多
关键词 CMIP5 ENSO eastern Pacific central Pacific
下载PDF
On the Consistency of ZF^n in ZF^(n+3)
8
作者 李旭华 《Chinese Quarterly Journal of Mathematics》 CSCD 1993年第3期7-12,共6页
By restricting the common replacement axiom schema of ZF to ∑~M-formulae,Professor Zhang Jinwen constructed a series of subsystems of Zennelo-Frankel set theory ZF and he called them ZF^M.Zhao Xi shun show that the c... By restricting the common replacement axiom schema of ZF to ∑~M-formulae,Professor Zhang Jinwen constructed a series of subsystems of Zennelo-Frankel set theory ZF and he called them ZF^M.Zhao Xi shun show that the consistency of ZF^M can be deducted from ZF.Professor Zhang Jinwen raised the question whether the consistency of ZF^M can be deducted from ZF^(M+m(M)) for some m(n)≥1.In this paper,we get a positive solution to Professor Zhang's problem.Moreover,we show that the consistency of ZF^M can be deducted from ZF^(M+3). 展开更多
关键词 set theory CONSISTENCY REFLECTION truth defintion
下载PDF
MJO ensemble prediction in BCC-CSM1.1(m)using different initialization schemes 被引量:5
9
作者 Ren Hong-Li Wu Jie +2 位作者 Zhao Chong-Bo Cheng Yan-Jie Liu Xiang-Wen 《Atmospheric and Oceanic Science Letters》 CSCD 2016年第1期60-65,共6页
The Madden–Julian Oscillation(MJO)is a dominant mode of tropical intraseasonal variability(ISV)and has prominent impacts on the climate of the tropics and extratropics.Predicting the MJO using fully coupled clima... The Madden–Julian Oscillation(MJO)is a dominant mode of tropical intraseasonal variability(ISV)and has prominent impacts on the climate of the tropics and extratropics.Predicting the MJO using fully coupled climate system models is an interesting and important topic.This paper reports upon a recent progress in MJO ensemble prediction using the climate system model of the Beijing Climate Center,BCC-CSM1.1(m);specifically,the development of three different initialization schemes in the BCC ISV/MJO prediction system,IMPRESS.Three sets of 10-yr hindcasts were separately conducted with the three initialization schemes.The results showed that the IMPRESS is able to usefully predict the MJO,but is sensitive to the initialization scheme used and becomes better with the initialization of moisture.In addition,a new ensemble approach was developed by averaging the predictions generated from the different initialization schemes,helping to address the uncertainty in the initial values of the MJO.The ensemble-mean MJO prediction showed significant improvement,with a valid prediction length of about 20 days in terms of the different criteria,i.e.,a correlation score beyond 0.5,a RMSE lower than 1.414,or a mean square skill score beyond 0.This study indicates that utilizing the different initialization schemes of this climate model may be an efficient approach when forming ensemble predictions of the MJO. 展开更多
关键词 MJO initialization scheme ensemble prediction climate model
下载PDF
Impacts of internal climate variability on meteorological drought changes in China
10
作者 WANG Ai-Hui Xubin ZENG 《Atmospheric and Oceanic Science Letters》 CSCD 2018年第1期78-85,共8页
Drought is one of the extreme events that can be caused by internal climate variability (ICV) and external forcing (EF). Here, the authors investigate the relative contributions of ICY and EF to meteorological dro... Drought is one of the extreme events that can be caused by internal climate variability (ICV) and external forcing (EF). Here, the authors investigate the relative contributions of ICY and EF to meteorological drought changes in China using 40 members from the Community Earth System Model Large Ensemble (CESE_LE) project for historical simulations (in response to greenhouse gases and other EF) and future simulations under the RCP8.5 scenario. The authors use the Standardized Precipitation Index (SPI) to represent meteorological drought, and then define and analyze four drought parameters (frequency, severity, duration, and maximum duration) over eight regions of China. For historical periods, the ICV plays a dominant role in drought variation, while with global warming under the RCP8.5 scenario the EF becomes the prominent factor for drought characteristics. With the global warming signal, the effect of ICV varies with the drought parameters. This study suggests that the ICV should be taken into account when climate model simulations are used to investigate drought--in particular, for historical periods. 展开更多
关键词 DROUGHT SPI CESM_LE internal climate variability external forcing
下载PDF
Ensemble Simulations of a Nonlinear Barotropic Model for the North Atlantic Oscillation
11
作者 ZHANG Dong-Bin JIN Fei-Fei +1 位作者 LI Jian-Ping DING Rui-Qiang 《Atmospheric and Oceanic Science Letters》 2010年第5期277-282,共6页
A numerical ensemble-mean approach was employed to solve a nonlinear barotropic model with chastic basic flows to analyze the nonlinear effects in the formation of the North Atlantic Oscillation (NAO). The nonlinear... A numerical ensemble-mean approach was employed to solve a nonlinear barotropic model with chastic basic flows to analyze the nonlinear effects in the formation of the North Atlantic Oscillation (NAO). The nonlinear response to external forcing was more similar to the NAO mode than the linear response was, indicating the importance of nonlinearity. With increasing external forcing and enhanced low-frequency anomalies, the effect of nonlinearity increased. Therefore, for strong NAO events, nonlinearity should be considered. 展开更多
关键词 ensemble-mean NAO NONLINEARITY
下载PDF
On the Fractional Extensions in Commutative Ordered Semigroups
12
作者 LUO Cong-wen 《Chinese Quarterly Journal of Mathematics》 CSCD 北大核心 2008年第3期442-445,共4页
In this paper we extend the construction of the field of rational numbers from the ring of integers to an arbitrary commutative ordered semigroup. We first construct a fractional ordered semigroup and a homomorphism ... In this paper we extend the construction of the field of rational numbers from the ring of integers to an arbitrary commutative ordered semigroup. We first construct a fractional ordered semigroup and a homomorphism φs : R → S^-1 R. Secondly, we characterize the commutative ordered semigroup so constructed by a universal mapping property. 展开更多
关键词 ordered semigroup fractional extension HOMOMORPHISM
下载PDF
The Projection of Temperature and Precipitation over China under RCP Scenarios using a CMIP5 Multi-Model Ensemble 被引量:83
13
作者 XU Chong-Hai XU Ying 《Atmospheric and Oceanic Science Letters》 2012年第6期527-533,共7页
Climate changes in 21st century China are described based on the projections of 11 climate models under Representative Concentration Pathway (RCP) scenarios. The results show that warming is expected in all regions of... Climate changes in 21st century China are described based on the projections of 11 climate models under Representative Concentration Pathway (RCP) scenarios. The results show that warming is expected in all regions of China under the RCP scenarios, with the northern regions showing greater warming than the southern regions. The warming tendency from 2011 to 2100 is 0.06°C/10 a for RCP2.6, 0.24°C/10 a for RCP4.5, and 0.63°C/10 a for RCP8.5. The projected time series of annual temperature have similar variation tendencies as the new greenhouse gas (GHG) emission scenario pathways, and the warming under the lower emission scenarios is less than under the higher emission scenarios. The regional averaged precipitation will increase, and the increasing precipitation in the northern regions is significant and greater than in the southern regions in China. It is noted that precipitation will tend to decrease in the southern parts of China during the period of 2011-2040, especially under RCP8.5. Compared with the changes over the globe and some previous projections, the increased warming and precipitation over China is more remarkable under the higher emission scenarios. The uncertainties in the projection are unavoidable, and further analyses are necessary to develop a better understanding of the future changes over the region. 展开更多
关键词 PROJECTION RCP scenarios China
下载PDF
Cultural Schema and Intercultural Communicative Competence
14
作者 PENG Ju-yun 《Sino-US English Teaching》 2013年第12期944-947,共4页
Cultural schemas, as cognitive structures and generalized collections of knowledge of past experiences that are organized into related knowledge groups, can be used to perceive and understand various cultural phenomen... Cultural schemas, as cognitive structures and generalized collections of knowledge of past experiences that are organized into related knowledge groups, can be used to perceive and understand various cultural phenomena in the communication. People carry different schemas (background knowledge) that play an important role in guiding people's behaviors in intercultural communication. The purpose of this paper is to attempt to theoretically apply communication strategies to the development of intercultural communicative competence in light of Cultural Schema Theory. It focuses on the relationship between cultural schema and intercultural communicative competence. Some pedagogical implications are given that cultural schema could be previously intended to help communicaters have a better and easier life when they are living in other countries, such as awareness raising, knowledge acquisition, emotional management, and skills development. This paper is written on the basis of a collection of the Chinese university students' experience of culture-learning. The study has certain significance in the practice on cultural acquisition, communication competence, and intercultural communication. 展开更多
关键词 cultural schema intercultural communication cultural acquisition COMPETENCE
下载PDF
A Categorification of Quantum sl_2
15
作者 王娜 王志玺 +1 位作者 吴可 杨紫峰 《Communications in Theoretical Physics》 SCIE CAS CSCD 2011年第7期37-45,共9页
In this paper, we categorify the algebra Uq(sl2) with the same approach as in [A. Lauda, Adv. Math. (2010), arXiv:math.QA/0803.3662; M. Khovanov, Comm. Algebra 11 (2001) 5033]. The algebra U =Uq(sl2) is obtai... In this paper, we categorify the algebra Uq(sl2) with the same approach as in [A. Lauda, Adv. Math. (2010), arXiv:math.QA/0803.3662; M. Khovanov, Comm. Algebra 11 (2001) 5033]. The algebra U =Uq(sl2) is obtained from Uq(sl2) by adjoining a collection of orthogonal idempotents 1λ,λ ∈ P, in which P is the weight lattice of Uq(sl2). Under such construction the algebra U is decomposed into a direct sum λ∈p 1λ,U1λ. We set the collection of λ∈ P as the objects of the category U, 1-morphisms from λ to λ′ are given by 1λ,U1λ, and 2-morphisms are constructed by some semilinear form defined on U. Hence we get a 2-category u from the algebra Uq(sl2). 展开更多
关键词 quantum affine algebra CATEGORIFICATION
下载PDF
Set Relationships between Tourists' Authentic Perceptions and Authenticity of World Heritage Resources 被引量:2
16
作者 陈享尔 蔡建明 +1 位作者 杨振山 Natasha WEBSTER 《Journal of Resources and Ecology》 CSCD 2014年第1期20-31,共12页
Tourists’ authentic perceptions are crucial for the development of world heritage resources. The paper focuses on exploring the relationships between tourists’ authentic perceptions and authenticity-based tourism de... Tourists’ authentic perceptions are crucial for the development of world heritage resources. The paper focuses on exploring the relationships between tourists’ authentic perceptions and authenticity-based tourism development of world heritage. Through the empirical study on the Forbidden City in Beijing, we find that the relationships between the above two factors can be simulated by the model of set theory in algebra. As a result, five types of set relationships are proposed: “separation relation”, “intersection relation”, “inclusion relation I”,“inclusion relation II” and “superposition relation”. According to sample distribution rules, the set relationships can be further divided into primary set relationships and secondary set relationships. The study on set relationships based on demographic characteristic of tourists by using two-way analysis of variance method shows that the tourists in different groups of gender, ages, levels of education, visit frequencies and levels of early perspectives have different perceptions for the set relationships. The ifndings in this paper are helpful for identifying effects of the authenticity-based exploitation of world heritage resources and proposing future strategies for world heritage resources from tourists’ authentic perspectives. 展开更多
关键词 set relationships tourists’ authentic perceptions authenticity-based development world heritage resources the Forbidden City
原文传递
小小说结尾美学新探
17
作者 徐小红 《芒种(下半月)》 2017年第12期3-5,共3页
中国当代小小说自20世纪80年代发轫至今,经过数代人的共同努力,达到了一个前所未有的新高度,集中表现在优质作品的"难度"呈现加大趋势,在结构、结尾等方面表现出独特的艺术特征,达到了一个新的高度。以代表性作品为切入点、从小小说... 中国当代小小说自20世纪80年代发轫至今,经过数代人的共同努力,达到了一个前所未有的新高度,集中表现在优质作品的"难度"呈现加大趋势,在结构、结尾等方面表现出独特的艺术特征,达到了一个新的高度。以代表性作品为切入点、从小小说结尾的创新性探讨其美学追求:小小说的结尾已经不仅仅局限于"新奇""新颖""反转"等传统的、单一的表现模式,而有更丰富的表现形式。探讨的核心其实依然是凝聚于作品中的作家的思想深度。 展开更多
关键词 反转 递进 “钓鱼 归纳(结论) “集合”式 首尾呼应 “蔓延 荒诞
原文传递
Error Formulas for Lagrange Projectors Determined by Cartesian Sets 被引量:1
18
作者 LI Zhe ZHANG Shugong +1 位作者 DONG Tian GONG Yihe 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2018年第4期1090-1102,共13页
This paper studies error formulas for Lagrange projectors determined by Cartesian sets. Cartesian sets are properly subgrids of tensor product grids. Given interpolated functions with all order continuous partial deri... This paper studies error formulas for Lagrange projectors determined by Cartesian sets. Cartesian sets are properly subgrids of tensor product grids. Given interpolated functions with all order continuous partial derivatives, the authors directly construct the good error formulas for Lagrange projectors determined by Cartesian sets. Owing to the special algebraic structure, such a good error formula is useful for error estimate. 展开更多
关键词 Cartesian sets error formulas ideal interpolation multivariate polynomial interpolation
原文传递
Throughput Capacity of a Container Terminal Considering the Combination Patterns of the Types of Arriving Vessels 被引量:2
19
作者 丁以中 《Journal of Shanghai Jiaotong university(Science)》 EI 2010年第1期124-128,共5页
The throughput capacity of a container terminal is very important in planning and designing at container terminals.The existing methods estimated the throughput capacity without considering its change resulting from t... The throughput capacity of a container terminal is very important in planning and designing at container terminals.The existing methods estimated the throughput capacity without considering its change resulting from the different combination patterns of the types of arriving vessels.A simulation model is established to estimate the throughput capacities of a container terminal under different combination patterns of the types of arriving vessels.It shows that the throughput capacity of a container terminal is influenced by the utilization rates of the berth and quay cranes which result from the different combination patterns of the types of the arriving vessels.It provides a practical approach to estimate the throughput capacity of a container terminal considering the types of the vessels,and it is also helpful for the decision makers to raise the throughputs of the container terminals by optimizing the combination patterns of the types of arriving vessels. 展开更多
关键词 simulation container terminal throughput capacity utilization rate of the berth
原文传递
Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems 被引量:1
20
作者 WANG Qiuye LI Yangjia +1 位作者 XIA Bican ZHAN Naijun 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2017年第1期234-252,共19页
Hybrid systems are dynamical systems with interacting discrete computation and continuous physical processes, which have become more common, more indispensable, and more complicated in our modern life. Particularly, m... Hybrid systems are dynamical systems with interacting discrete computation and continuous physical processes, which have become more common, more indispensable, and more complicated in our modern life. Particularly, many of them are safety-critical, and therefore are required to meet a critical safety standard. Invariant generation plays a central role in the verification and synthesis of hybrid systems. In the previous work, the fourth author and his coauthors gave a necessary and sufficient condition for a semi-algebraic set being an invariant of a polynomial autonomous dynamical system, which gave a confirmative answer to the open problem. In addition, based on which a complete algorithm for generating all semi-algebraic invariants of a given polynomial autonomous hybrid system with the given shape was proposed. This paper considers how to extend their work to non-autonomous dynamical and hybrid systems. Non-autonomous dynamical and hybrid systems are with inputs, which are very common in practice; in contrast, autonomous ones are without inputs. Furthermore, the authors present a sound and complete algorithm to verify semi-algebraic invariants for non-autonomous polynomial hybrid systems. Based on which, the authors propose a sound and complete algorithm to generate all invariants with a pre-defined template. 展开更多
关键词 Hybrid systems INVARIANTS NON-A utonomous systems polynomial ideals semi-algebraic sets.
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部