Globally exponential stability （which implies convergence and uniqueness） of their classical iterative algorithm is established using methods of heat equations and energy integral after embedding the discrete iterat...Globally exponential stability （which implies convergence and uniqueness） of their classical iterative algorithm is established using methods of heat equations and energy integral after embedding the discrete iteration into a continuous flow. The stability condition depends explicitly on smoothness of the image sequence, size of image domain, value of the regularization parameter, and finally discretization step. Specifically, as the discretization step approaches to zero, stability holds unconditionally. The analysis also clarifies relations among the iterative algorithm, the original variation formulation and the PDE system. The proper regularity of solution and natural images is briefly surveyed and discussed. Experimental results validate the theoretical claims both on convergence and exponential stability.展开更多
载人航天器研制过程中,人因要素在早期阶段融入设计仍有待提升,且常规的基于模型的系统工程(model based systems engineering,MBSE)体系缺少将人与系统其余部分进行整合的充分考虑,导致开发迭代周期变长,也大幅增加了研制成本。针对这...载人航天器研制过程中,人因要素在早期阶段融入设计仍有待提升,且常规的基于模型的系统工程(model based systems engineering,MBSE)体系缺少将人与系统其余部分进行整合的充分考虑,导致开发迭代周期变长,也大幅增加了研制成本。针对这一问题,提出载人月球探测任务人因领域元模型构建方法,在人-系统整合的框架下,采用MBSE将人因需求整合至载人航天器的开发过程中,并基于系统建模语言SysML建立人因领域元模型,以实现在载人月球探测产品开发的全生命周期中融入人因需求,为产品的规划、设计和开发提供支持,有效减少研制中出现人因设计问题,降低研制成本。通过载人月球探测任务的典型案例进行建模,验证人因领域元模型建立方法的有效性,为类似系统设计的MBSE扩展应用提供参考。展开更多
Shanxi Province is a region with frequent occurrence of earthquakes, floods and waterlogging, meteorological and geologic hazards, and agrobiohazards in China. The study shows that the formation and development of the...Shanxi Province is a region with frequent occurrence of earthquakes, floods and waterlogging, meteorological and geologic hazards, and agrobiohazards in China. The study shows that the formation and development of the down-faulted basin zone in Shanxi Province provides an available condition for preparation and occurrence of these hazards, so that the basin zone becomes an area with frequent occurrence of the hazards, such as earthquakes, floods and waterlogging, meteorological and geologic hazards and agrobiohazards in Shanxi and with their most serious interaction and mutual intensification. Moreover, the basin zone is an area with dense population and most concentrated industrial and agricultural productions and social-economic property in Shanxi. The comprehensive effect of the two factors caused the zone to be a high natural disaster risk area in Shanxi. For reduction of natural disasters and ensuring the sustainable social-economic development in Shanxi, it is necessary to regard the basin zone as an important area for disaster reduction in Shanxi and to carry out integrated disaster reduction.展开更多
基金Foundation item： Projects（60835005, 90820302） supported by the National Natural Science Foundation of China Project（2007CB311001） supported by the National Basic Research Program of China
文摘Globally exponential stability （which implies convergence and uniqueness） of their classical iterative algorithm is established using methods of heat equations and energy integral after embedding the discrete iteration into a continuous flow. The stability condition depends explicitly on smoothness of the image sequence, size of image domain, value of the regularization parameter, and finally discretization step. Specifically, as the discretization step approaches to zero, stability holds unconditionally. The analysis also clarifies relations among the iterative algorithm, the original variation formulation and the PDE system. The proper regularity of solution and natural images is briefly surveyed and discussed. Experimental results validate the theoretical claims both on convergence and exponential stability.
文摘载人航天器研制过程中,人因要素在早期阶段融入设计仍有待提升,且常规的基于模型的系统工程(model based systems engineering,MBSE)体系缺少将人与系统其余部分进行整合的充分考虑,导致开发迭代周期变长,也大幅增加了研制成本。针对这一问题,提出载人月球探测任务人因领域元模型构建方法,在人-系统整合的框架下,采用MBSE将人因需求整合至载人航天器的开发过程中,并基于系统建模语言SysML建立人因领域元模型,以实现在载人月球探测产品开发的全生命周期中融入人因需求,为产品的规划、设计和开发提供支持,有效减少研制中出现人因设计问题,降低研制成本。通过载人月球探测任务的典型案例进行建模,验证人因领域元模型建立方法的有效性,为类似系统设计的MBSE扩展应用提供参考。
基金Key State Science and Technology Projects during the 10th Five-year Plan (2001-BA608B-13 and 2001-BA601B-04) and Joint Seismological Science Foundation of China (102087).
文摘Shanxi Province is a region with frequent occurrence of earthquakes, floods and waterlogging, meteorological and geologic hazards, and agrobiohazards in China. The study shows that the formation and development of the down-faulted basin zone in Shanxi Province provides an available condition for preparation and occurrence of these hazards, so that the basin zone becomes an area with frequent occurrence of the hazards, such as earthquakes, floods and waterlogging, meteorological and geologic hazards and agrobiohazards in Shanxi and with their most serious interaction and mutual intensification. Moreover, the basin zone is an area with dense population and most concentrated industrial and agricultural productions and social-economic property in Shanxi. The comprehensive effect of the two factors caused the zone to be a high natural disaster risk area in Shanxi. For reduction of natural disasters and ensuring the sustainable social-economic development in Shanxi, it is necessary to regard the basin zone as an important area for disaster reduction in Shanxi and to carry out integrated disaster reduction.
