为解决软件组织在软件项目开发过程中难以实施CMMI(capability maturity model integration)过程改进的问题,基于模型驱动架构的思想和技术,提出了一种"裁剪+重型扩展+轻型扩展"的元模型建模策略。给出了该建模策略下的具体...为解决软件组织在软件项目开发过程中难以实施CMMI(capability maturity model integration)过程改进的问题,基于模型驱动架构的思想和技术,提出了一种"裁剪+重型扩展+轻型扩展"的元模型建模策略。给出了该建模策略下的具体实施步骤和方法,实现了一种支持CMMI过程改进的软件过程元建模,同时给出了基于该元模型的建模实例。实验结果表明,该元模型有助于软件组织建立体现其组织特征并有效支持符合CMMI框架的软件过程用户模型。展开更多
Seismic risk evaluation(SRE) in early stages(e.g., project planning and preliminary design)for a mountain tunnel located in seismic areas has the same importance as that in final stages(e.g.,performance-based design, ...Seismic risk evaluation(SRE) in early stages(e.g., project planning and preliminary design)for a mountain tunnel located in seismic areas has the same importance as that in final stages(e.g.,performance-based design, structural analysis, and optimization). SRE for planning mountain tunnels bridges the gap between the planning on the macro level and the design/analysis on the micro level regarding the risk management of infrastructural systems. A transition from subjective or qualitative description to objective or quantitative quantification of seismic risk is aimed to improve the seismic behavior of the mountain tunnel and thus reduce the associated seismic risk. A new method of systematic SRE for the planning mountain tunnel was presented herein. The method employs extension theory(ET)and an ET-based improved analytical hierarchy process. Additionally, a new risk-classification criterion is proposed to classify and quantify the seismic risk for a planning mountain tunnel. This SRE method is applied to a mountain tunnel in southwest China, using the extension model based on matter element theory and dependent function operation.The reasonability and flexibility of the SRE method for application to the mountain tunnel are illustrated.According to different seismic risk levels and classification criteria, methods and measures for improving the seismic design are proposed, which can reduce the seismic risk and provide a frame of reference for elaborate seismic design.展开更多
Our concern in this paper is the energy form induced by an eigenfunction of a self-adjoint extension of the restriction of the Laplace operator to C_c^∞(R^3\{0}).We will prove that this energy form is a regular Diric...Our concern in this paper is the energy form induced by an eigenfunction of a self-adjoint extension of the restriction of the Laplace operator to C_c^∞(R^3\{0}).We will prove that this energy form is a regular Dirichlet form with core C_c^∞(R^3).The associated diffusion X behaves like a 3-dimensional Brownian motion with a mild radial drift when far from 0,subject to an ever-stronger push toward 0 near that point.In particular,{0}is not a polar set with respect to X.The diffusion X is rotation invariant,and admits a skew-product representation before hitting{0}:its radial part is a diffusion on(0,∞)and its angular part is a time-changed Brownian motion on the sphere S^2.The radial part of X is a"reflected"extension of the radial part of X^0(the part process of X before hitting{0}).Moreover,X is the unique reflecting extension of X^0,but X is not a semi-martingale.展开更多
文摘为解决软件组织在软件项目开发过程中难以实施CMMI(capability maturity model integration)过程改进的问题,基于模型驱动架构的思想和技术,提出了一种"裁剪+重型扩展+轻型扩展"的元模型建模策略。给出了该建模策略下的具体实施步骤和方法,实现了一种支持CMMI过程改进的软件过程元建模,同时给出了基于该元模型的建模实例。实验结果表明,该元模型有助于软件组织建立体现其组织特征并有效支持符合CMMI框架的软件过程用户模型。
基金financially supported by the National Key Research and Development Program of China (2016YFB1200401)the Western Construction Project of the Ministry of Transport (Grant No. 2015318J29040)
文摘Seismic risk evaluation(SRE) in early stages(e.g., project planning and preliminary design)for a mountain tunnel located in seismic areas has the same importance as that in final stages(e.g.,performance-based design, structural analysis, and optimization). SRE for planning mountain tunnels bridges the gap between the planning on the macro level and the design/analysis on the micro level regarding the risk management of infrastructural systems. A transition from subjective or qualitative description to objective or quantitative quantification of seismic risk is aimed to improve the seismic behavior of the mountain tunnel and thus reduce the associated seismic risk. A new method of systematic SRE for the planning mountain tunnel was presented herein. The method employs extension theory(ET)and an ET-based improved analytical hierarchy process. Additionally, a new risk-classification criterion is proposed to classify and quantify the seismic risk for a planning mountain tunnel. This SRE method is applied to a mountain tunnel in southwest China, using the extension model based on matter element theory and dependent function operation.The reasonability and flexibility of the SRE method for application to the mountain tunnel are illustrated.According to different seismic risk levels and classification criteria, methods and measures for improving the seismic design are proposed, which can reduce the seismic risk and provide a frame of reference for elaborate seismic design.
基金supported by National Natural Science Foundation of China (Grant Nos. 11688101 and 11801546)Key Laboratory of Random Complex Structures and Data Science, Academy of Mathematics and Systems Science, Chinese Academy of Sciences (Grant No. 2008DP173182)
文摘Our concern in this paper is the energy form induced by an eigenfunction of a self-adjoint extension of the restriction of the Laplace operator to C_c^∞(R^3\{0}).We will prove that this energy form is a regular Dirichlet form with core C_c^∞(R^3).The associated diffusion X behaves like a 3-dimensional Brownian motion with a mild radial drift when far from 0,subject to an ever-stronger push toward 0 near that point.In particular,{0}is not a polar set with respect to X.The diffusion X is rotation invariant,and admits a skew-product representation before hitting{0}:its radial part is a diffusion on(0,∞)and its angular part is a time-changed Brownian motion on the sphere S^2.The radial part of X is a"reflected"extension of the radial part of X^0(the part process of X before hitting{0}).Moreover,X is the unique reflecting extension of X^0,but X is not a semi-martingale.
