In the study,it is proposed that a coordinate-parametric matrix model is performed to a square-conjoint pattern of cross woven(SCPCW)in the bamboo mat.The patterns of SCPCW are firstly detected according to the perspe...In the study,it is proposed that a coordinate-parametric matrix model is performed to a square-conjoint pattern of cross woven(SCPCW)in the bamboo mat.The patterns of SCPCW are firstly detected according to the perspective of configuration,which is divided into the basic-monomer shape and the basic combination shape.Secondly,the compositions of design patterns in SCPCW are analyzed to attain the trend of curve shape.Based on the coordinate-parametric matrix model,the specimens of SCPCW are subsequently accomplished to elaborate the woven logic of bamboo mats.The digital innovation of SCPCW,defined by a mathematical resolution,is implemented by the software of Grasshopper(GH),which plays a crucial role in capturing image information by the Image Sampler component.Successively,the weaving logic of coordinated matrix is referred to apply in the computing component of Grasshopper software.Finally,the computer simulation could demonstrate that the coordinate-parametric matrix model of SCPCWwould be realized to analyze the micro-weaving structure and overall weaving effect in the bamboo mat.展开更多
Various redundancy tactics can be modeled at the design stage of safety-critical systems thereby providing a set of fault-tolerance guidelines for subsequent development activities. However, existing approaches usuall...Various redundancy tactics can be modeled at the design stage of safety-critical systems thereby providing a set of fault-tolerance guidelines for subsequent development activities. However, existing approaches usually interweave redundancy tactics into the functional models making them complex and cluttered; the maintenance of such models is time-consuming and error-prone. To address this problem, we provide a modeling approach to separate the redundancy tactics from the base functional models using aspect-oriented modeling. More specifically, the conceptual models of the redundancy tactics and their semantic constraints are first defined for deriving the relevant aspects. Subsequently, a UML profile is proposed to specify the tactic aspects followed by mapping these concepts to the corresponding concepts of aspect-oriented modeling based on pre-defined principles. In accordance with our proposed profile, reuse directives are applied to handle the overlap of structural features between redundancy tactics and other kinds of tactic. Based on our tactic aspects and their configured attributes, a weaving algorithm is proposed to associate the tactic aspects with the base functional models. The proposed approach is compared with a traditional tactic modeling approach using two safety-critical systems, revealing that： 1） our approach significantly reduces the number of extra model elements needed in the tactic design stage; 2） our approach can largely avoid the impact of changing of the base functional model as the model evolves.展开更多
基金financial support from the Hunan Provincial Key Research and Development Program(2020WK2018)the Arts Crafts Industrial Design Center of Hunan Province(No.2022GYMSZ2)the Scientific Innovation Fund for Post-Graduates of Central South University of Forestry and Technology(No.2022CX02079).
文摘In the study,it is proposed that a coordinate-parametric matrix model is performed to a square-conjoint pattern of cross woven(SCPCW)in the bamboo mat.The patterns of SCPCW are firstly detected according to the perspective of configuration,which is divided into the basic-monomer shape and the basic combination shape.Secondly,the compositions of design patterns in SCPCW are analyzed to attain the trend of curve shape.Based on the coordinate-parametric matrix model,the specimens of SCPCW are subsequently accomplished to elaborate the woven logic of bamboo mats.The digital innovation of SCPCW,defined by a mathematical resolution,is implemented by the software of Grasshopper(GH),which plays a crucial role in capturing image information by the Image Sampler component.Successively,the weaving logic of coordinated matrix is referred to apply in the computing component of Grasshopper software.Finally,the computer simulation could demonstrate that the coordinate-parametric matrix model of SCPCWwould be realized to analyze the micro-weaving structure and overall weaving effect in the bamboo mat.
基金Acknowledgements This work was supported by the National Natural Science Foundation of China （Grant No. 61370058） and the Project of the State Key Laboratory of Software Development Environment （SKLSDE-2014ZX- 17）, China.
文摘Various redundancy tactics can be modeled at the design stage of safety-critical systems thereby providing a set of fault-tolerance guidelines for subsequent development activities. However, existing approaches usually interweave redundancy tactics into the functional models making them complex and cluttered; the maintenance of such models is time-consuming and error-prone. To address this problem, we provide a modeling approach to separate the redundancy tactics from the base functional models using aspect-oriented modeling. More specifically, the conceptual models of the redundancy tactics and their semantic constraints are first defined for deriving the relevant aspects. Subsequently, a UML profile is proposed to specify the tactic aspects followed by mapping these concepts to the corresponding concepts of aspect-oriented modeling based on pre-defined principles. In accordance with our proposed profile, reuse directives are applied to handle the overlap of structural features between redundancy tactics and other kinds of tactic. Based on our tactic aspects and their configured attributes, a weaving algorithm is proposed to associate the tactic aspects with the base functional models. The proposed approach is compared with a traditional tactic modeling approach using two safety-critical systems, revealing that： 1） our approach significantly reduces the number of extra model elements needed in the tactic design stage; 2） our approach can largely avoid the impact of changing of the base functional model as the model evolves.
