针对传统界面设计方法不能很好地支持多用户访问控制建模的缺点,提出一个面向多用户访问控制的用户界面ACUI(access control user interface)模型。该模型在传统界面设计模型的基础上,引入了RBAC(rolebased access control)机制,通过对...针对传统界面设计方法不能很好地支持多用户访问控制建模的缺点,提出一个面向多用户访问控制的用户界面ACUI(access control user interface)模型。该模型在传统界面设计模型的基础上,引入了RBAC(rolebased access control)机制,通过对用户模型中的角色及用例进行形式化分析,并根据内部模型中描述的界面构成元素及其交互关系,在用户界面模型中给出了针对不同角色的界面展示规则和界面布局树,最终实现了界面代码的自动生成。实验证明,该模型能很好地指导多用户权限访问控制界面的生成。展开更多
Considering both the effect of nonisothermal nature of the solid/liquid interface and the microscopic solvability theory (MicST), a further improved version of free dendritic growth model for pure materials was propos...Considering both the effect of nonisothermal nature of the solid/liquid interface and the microscopic solvability theory (MicST), a further improved version of free dendritic growth model for pure materials was proposed. Model comparison indicates that there is a higher temperature at the tip of dendrite predicted by the present model compared with the corresponding model with the isothermal solid/liquid interface assumption. This is attributed to the sidewise thermal diffusion, i.e. the gradient of temperature along the nonisothermal interface. Furthermore, it is indicated that the distinction between the stability criteria from MicST and marginal stability theory (MarST) is more significant with the increase of bath undercoolings. Model test also indicates that the present model can give an agreement with the available experimental data. It is finally concluded that the nonisothermal nature of the solid/liquid interface and the stability criterion from MicST should be taken into account in modeling free dendritic growth.展开更多
By considering collision-limited growth mode and short-range diffusion-limited growth mode simultaneously,an extended kinetic model for solid−liquid interface with varied kinetic prefactor was developed for binary all...By considering collision-limited growth mode and short-range diffusion-limited growth mode simultaneously,an extended kinetic model for solid−liquid interface with varied kinetic prefactor was developed for binary alloys.Four potential correlations arising from effective kinetics coupling the two growth modes were proposed and studied by application to planar interface migration and dendritic solidification,where the linear correlation between the effective thermodynamic driving force and the effective kinetic energy barrier seems physically realistic.A better agreement between the results of free dendritic growth model and the available experiment data for Ni−0.7at.%B alloy was obtained based on correlation between the thermodynamics and kinetics.As compared to previous models assuming constant kinetic prefactor,a common phenomenon occurring at relatively low undercoolings,i.e.the interface migration slowdown,can be ascribed to both the thermodynamic and the kinetic factors.By considering universality of the correlation between the thermodynamics and kinetics,it is concluded that the correlation should be considered to model the interface kinetics in alloy solidification.展开更多
Considering both the effects of the interfacial normal velocity dependence of solute segregation and the local nonequilibrium solute diffusion,an extended free dendritic growth model was analyzed.Compared with the pre...Considering both the effects of the interfacial normal velocity dependence of solute segregation and the local nonequilibrium solute diffusion,an extended free dendritic growth model was analyzed.Compared with the predictions from the dendritic model with isosolutal interface assumption,the transition from solutal dendrite to thermal dendrite moves to higher undercoolings,i.e.,the region of undercoolings with solute controlled growth is extended.At high undercoolings,the transition from the mainly thermal-controlled growth to the purely thermal-controlled growth is not sharp as predicted by the isosolute model,but occurs in a range of undercooling,due to both the effects of the interfacial normal velocity dependence of solute segregation and the local nonequilibrium solute diffusion.Model test indicates that the present model can give a satisfactory agreement with the available experimental data for the Ni-0.7% B（mole fraction） alloy.展开更多
A bounding surface model incorporating a unified nonlinear strength criterion is proposed.The proposed bounding surface model contains 9 model parameters,which can be determined from the conventional triaxial tests.Th...A bounding surface model incorporating a unified nonlinear strength criterion is proposed.The proposed bounding surface model contains 9 model parameters,which can be determined from the conventional triaxial tests.The bounding surface model can reproduce such behaviours as the strain hardening,the post-peak strain softening,and the volumetric strain contraction and expansion.Based on the comparisons between the predictions and the test results,the proposed strength criterion and model can well reproduce the experimental results of the strength and stress-strain behaviours of rockfill material in three-dimensional stress space.The strength behaviour of rockfill material is summarized as:(a) the failure stress ratio decreases with the initial confining pressure on the meridian plane;(b) the failure deviatoric stress decreases with the Lode angle from 0o to 60o on the deviatoric plane.The stress ratio decreases with increasing one of such factors as the initial void ratio,the intermediate principal stress ratio and the minor principal stress at the same strain when the other factors are given.展开更多
文摘针对传统界面设计方法不能很好地支持多用户访问控制建模的缺点,提出一个面向多用户访问控制的用户界面ACUI(access control user interface)模型。该模型在传统界面设计模型的基础上,引入了RBAC(rolebased access control)机制,通过对用户模型中的角色及用例进行形式化分析,并根据内部模型中描述的界面构成元素及其交互关系,在用户界面模型中给出了针对不同角色的界面展示规则和界面布局树,最终实现了界面代码的自动生成。实验证明,该模型能很好地指导多用户权限访问控制界面的生成。
基金Project(51671075) supported by the National Natural Science Foundation of ChinaProject(E201446) supported by the Natural Science Foundation of Heilongjiang Province,China+1 种基金Project(SKLSP201606) supported by Fund of the State Key Laboratory of Solidification Processing in NWPU,ChinaProject(2016M590970) supported by China Postdoctoral Science Foundation
文摘Considering both the effect of nonisothermal nature of the solid/liquid interface and the microscopic solvability theory (MicST), a further improved version of free dendritic growth model for pure materials was proposed. Model comparison indicates that there is a higher temperature at the tip of dendrite predicted by the present model compared with the corresponding model with the isothermal solid/liquid interface assumption. This is attributed to the sidewise thermal diffusion, i.e. the gradient of temperature along the nonisothermal interface. Furthermore, it is indicated that the distinction between the stability criteria from MicST and marginal stability theory (MarST) is more significant with the increase of bath undercoolings. Model test also indicates that the present model can give an agreement with the available experimental data. It is finally concluded that the nonisothermal nature of the solid/liquid interface and the stability criterion from MicST should be taken into account in modeling free dendritic growth.
基金The authors are grateful for the financial supports from the National Natural Science Foundation of China(51671075 and 51790481)the National Key R&D Program of China,(2017YFB0703001 and 2017YFB0305100)+3 种基金China Postdoctoral Science Foundation(2016M590970)the Fund of the State Key Laboratory of Solidification Processing in NWPU,China(SKLSP201606)the Fundamental Research Foundation for Universities of Heilongjiang Province,China(LGYC2018JC004)the Heilongjiang Postdoctoral Fund for Scientific Research Initiation,China(LBH-Q16118).
文摘By considering collision-limited growth mode and short-range diffusion-limited growth mode simultaneously,an extended kinetic model for solid−liquid interface with varied kinetic prefactor was developed for binary alloys.Four potential correlations arising from effective kinetics coupling the two growth modes were proposed and studied by application to planar interface migration and dendritic solidification,where the linear correlation between the effective thermodynamic driving force and the effective kinetic energy barrier seems physically realistic.A better agreement between the results of free dendritic growth model and the available experiment data for Ni−0.7at.%B alloy was obtained based on correlation between the thermodynamics and kinetics.As compared to previous models assuming constant kinetic prefactor,a common phenomenon occurring at relatively low undercoolings,i.e.the interface migration slowdown,can be ascribed to both the thermodynamic and the kinetic factors.By considering universality of the correlation between the thermodynamics and kinetics,it is concluded that the correlation should be considered to model the interface kinetics in alloy solidification.
基金Project(51101046)supported by the National Natural Science Foundation of ChinaProject(E201446)supported by the Natural Science Foundation of Heilongjiang Province of China+1 种基金Projects(2012M510985,2014T70361)supported by China Postdoctoral Science FoundationProject(LBH-Z12142)supported by the Heilongjiang Postdoctoral Fund,China
文摘Considering both the effects of the interfacial normal velocity dependence of solute segregation and the local nonequilibrium solute diffusion,an extended free dendritic growth model was analyzed.Compared with the predictions from the dendritic model with isosolutal interface assumption,the transition from solutal dendrite to thermal dendrite moves to higher undercoolings,i.e.,the region of undercoolings with solute controlled growth is extended.At high undercoolings,the transition from the mainly thermal-controlled growth to the purely thermal-controlled growth is not sharp as predicted by the isosolute model,but occurs in a range of undercooling,due to both the effects of the interfacial normal velocity dependence of solute segregation and the local nonequilibrium solute diffusion.Model test indicates that the present model can give a satisfactory agreement with the available experimental data for the Ni-0.7% B（mole fraction） alloy.
基金supported by the National Natural Science Foundation of China for Distinguished Young Scholar (Grant No. 50825901)the Public Service Sector R&D Project of Ministry of Water Resource of China(Grant No. 200801014)+1 种基金the Fundamental Research Funds for the Central Universities (Grant No. 2011B14514)Jiangsu Civil Engineering Graduate Center for Innovation and Academic Communication Foundation
文摘A bounding surface model incorporating a unified nonlinear strength criterion is proposed.The proposed bounding surface model contains 9 model parameters,which can be determined from the conventional triaxial tests.The bounding surface model can reproduce such behaviours as the strain hardening,the post-peak strain softening,and the volumetric strain contraction and expansion.Based on the comparisons between the predictions and the test results,the proposed strength criterion and model can well reproduce the experimental results of the strength and stress-strain behaviours of rockfill material in three-dimensional stress space.The strength behaviour of rockfill material is summarized as:(a) the failure stress ratio decreases with the initial confining pressure on the meridian plane;(b) the failure deviatoric stress decreases with the Lode angle from 0o to 60o on the deviatoric plane.The stress ratio decreases with increasing one of such factors as the initial void ratio,the intermediate principal stress ratio and the minor principal stress at the same strain when the other factors are given.
