Currently, traditional analysis and design methods are unreasonable in evaluating the performance and safety of pavements. The characteristic of shakedown theory lends itself particularly to the analysis of pavements....Currently, traditional analysis and design methods are unreasonable in evaluating the performance and safety of pavements. The characteristic of shakedown theory lends itself particularly to the analysis of pavements. Based on the lower bound shakedown theory, a simple and practical procedure for shakedown analysis of pavements has been developed using plastic strain energy as shakedown criteria via considering a special loading path. The proposed method is verified by using a homogeneous isotropic half space. Then, the method is applied to analyze a two-layered pavement. The dependence of shakedown limit on material properties of pavements is investigated in details. According to the analysis results, some valuable references are suggested for the selection of materials for accurate evaluation of the bearing performance of pavement under traffic loading.展开更多
This paper presents an application of strut-and-tie model(STM) to design the interior anchorage zone(IAZ) in the post-tensioned concrete structure.The STM theory and range of IAZ are introduced.Then,based on the finit...This paper presents an application of strut-and-tie model(STM) to design the interior anchorage zone(IAZ) in the post-tensioned concrete structure.The STM theory and range of IAZ are introduced.Then,based on the finite element analysis,a series of simplified equations to calculate internal forces in IAZ are presented.Finally,the STM model for IAZ is given.In the proposed STM model,internal forces in ties vary with the dimension ratio and the eccentricity of load.The U-turn of internal forces is suggested to allocate rebar to resist bearing flexural tensile force.Compared with the FIP(International Federation for Prestressing) model,the proposed STM model is more reasonable and applicable.展开更多
Properties that are similar to the memory and learning functions in biological systems have been observed and reported in the experimental studies of memristors fabricated by different materials. These properties incl...Properties that are similar to the memory and learning functions in biological systems have been observed and reported in the experimental studies of memristors fabricated by different materials. These properties include the forgetting effect, the transition from short-term memory（STM） to long-term memory（LTM）, learning-experience behavior, etc. The mathematical model of this kind of memristor would be very important for its theoretical analysis and application design.In our analysis of the existing memristor model with these properties, we find that some behaviors of the model are inconsistent with the reported experimental observations. A phenomenological memristor model is proposed for this kind of memristor. The model design is based on the forgetting effect and STM-to-LTM transition since these behaviors are two typical properties of these memristors. Further analyses of this model show that this model can also be used directly or modified to describe other experimentally observed behaviors. Simulations show that the proposed model can give a better description of the reported memory and learning behaviors of this kind of memristor than the existing model.展开更多
文摘状态迁移矩阵(state transition matrix,简称STM)是一种基于表结构的状态机建模方法,前端为表格形式,后端则具有严格的形式化定义,用于建模软件系统行为.但目前STM不具有时间语义,这极大地限制了该方法在实时嵌入式软件建模方面的应用.针对这一问题,提出了一种基于时间STM(time STM,简称TSTM)的形式化建模方法,通过为STM各单元格增加时间语义和约束,使其适用于实时软件行为刻画.此外,针对TSTM给出了一种基于界限模型检测(bounded model checking,简称BMC)技术的时间计算树逻辑(time computation tree logic,简称TCTL)模型检测方法,以验证TSTM时间及逻辑属性.最后,通过对某型号列控制软件进行TSTM建模与验证,证明了上述方法的有效性.
基金the National High Technology Research and Development Program (863) of China(No. 2006AA09A103)the Shanghai Leading Academic Discipline Project (No. B208)
文摘Currently, traditional analysis and design methods are unreasonable in evaluating the performance and safety of pavements. The characteristic of shakedown theory lends itself particularly to the analysis of pavements. Based on the lower bound shakedown theory, a simple and practical procedure for shakedown analysis of pavements has been developed using plastic strain energy as shakedown criteria via considering a special loading path. The proposed method is verified by using a homogeneous isotropic half space. Then, the method is applied to analyze a two-layered pavement. The dependence of shakedown limit on material properties of pavements is investigated in details. According to the analysis results, some valuable references are suggested for the selection of materials for accurate evaluation of the bearing performance of pavement under traffic loading.
基金Foundation item： the National High Technology Research and Development Program （863） of China （No. 2006AA09A103） and the Shanghai Leading Academic Discipline Project （No. B208）
文摘This paper presents an application of strut-and-tie model(STM) to design the interior anchorage zone(IAZ) in the post-tensioned concrete structure.The STM theory and range of IAZ are introduced.Then,based on the finite element analysis,a series of simplified equations to calculate internal forces in IAZ are presented.Finally,the STM model for IAZ is given.In the proposed STM model,internal forces in ties vary with the dimension ratio and the eccentricity of load.The U-turn of internal forces is suggested to allocate rebar to resist bearing flexural tensile force.Compared with the FIP(International Federation for Prestressing) model,the proposed STM model is more reasonable and applicable.
文摘Properties that are similar to the memory and learning functions in biological systems have been observed and reported in the experimental studies of memristors fabricated by different materials. These properties include the forgetting effect, the transition from short-term memory（STM） to long-term memory（LTM）, learning-experience behavior, etc. The mathematical model of this kind of memristor would be very important for its theoretical analysis and application design.In our analysis of the existing memristor model with these properties, we find that some behaviors of the model are inconsistent with the reported experimental observations. A phenomenological memristor model is proposed for this kind of memristor. The model design is based on the forgetting effect and STM-to-LTM transition since these behaviors are two typical properties of these memristors. Further analyses of this model show that this model can also be used directly or modified to describe other experimentally observed behaviors. Simulations show that the proposed model can give a better description of the reported memory and learning behaviors of this kind of memristor than the existing model.
