The process of strength-power training and the subsequent adaptation is a multi-factorial process. These factors range from the genetics and morphological characteristics of the athlete to how a coach selects, orders,...The process of strength-power training and the subsequent adaptation is a multi-factorial process. These factors range from the genetics and morphological characteristics of the athlete to how a coach selects, orders, and doses exercises and loading patterns. Consequently, adaptation from these training factors may largely relate to the mode of delivery, in other words, programming tactics. There is strong evidence that the manner and phases in which training is presented to the athlete can make a profound difference in performance outcome. This discussion deals primarily with block periodization concepts and associated methods of programming for strength-power training within track and field. 2015 Production and hosting by Elsevier B.V. on behalf of Shanghai University of Sport.展开更多
This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system...This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.展开更多
文摘The process of strength-power training and the subsequent adaptation is a multi-factorial process. These factors range from the genetics and morphological characteristics of the athlete to how a coach selects, orders, and doses exercises and loading patterns. Consequently, adaptation from these training factors may largely relate to the mode of delivery, in other words, programming tactics. There is strong evidence that the manner and phases in which training is presented to the athlete can make a profound difference in performance outcome. This discussion deals primarily with block periodization concepts and associated methods of programming for strength-power training within track and field. 2015 Production and hosting by Elsevier B.V. on behalf of Shanghai University of Sport.
文摘This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.
