The stiffness reduction is studied in detail of compact W-Shapes （wide-flange steel shapes） that results from yielding of the cross-section due to uniaxial bending and axial compression. Three-dimensional m-p-τ su...The stiffness reduction is studied in detail of compact W-Shapes （wide-flange steel shapes） that results from yielding of the cross-section due to uniaxial bending and axial compression. Three-dimensional m-p-τ surface plots developed from detailed fiber element models of a W8x31 are used to develop a generalized material model for direct implementation in the virtual work method. A portal steel frame is used to illustrate the virtual work method with the nonlinear material model in a first-order, inelastic analysis implementation and in a second-order, inelastic analysis condition. The nonlinear modeling capabilities of MASTAN2 are used to verify the accuracy of the virtual work results and are found to be in very close agreement.展开更多
Graph transformation systems have become a general formal modeling language to describe many models in software development process.Behavioral modeling of dynamic systems and model-to-model transformations are only a ...Graph transformation systems have become a general formal modeling language to describe many models in software development process.Behavioral modeling of dynamic systems and model-to-model transformations are only a few examples in which graphs have been used to software development.But even the perfect graph transformation system must be equipped with automated analysis capabilities to let users understand whether such a formal specification fulfills their requirements.In this paper,we present a new solution to verify graph transformation systems using the Bogor model checker.The attributed graph grammars(AGG)-like graph transformation systems are translated to Bandera intermediate representation(BIR),the input language of Bogor,and Bogor verifies the model against some interesting properties defined by combining linear temporal logic(LTL) and special-purpose graph rules.Experimental results are encouraging,showing that in most cases our solution improves existing approaches in terms of both performance and expressiveness.展开更多
This work presents a formalized description of information and communicative interac- tions of individuals on the basis of the communicative field （CF） method. It also contains explication of the possibility to crea...This work presents a formalized description of information and communicative interac- tions of individuals on the basis of the communicative field （CF） method. It also contains explication of the possibility to create model of information and communication inter- actions, which is able to illustrate both interactions between two and more individuals. Methods and approaches which are suggested in this paper can correctly simulate the processes of distortion and generation of information images （IIs） with information and communication social interaction. Expansion and addition of IIs theory in terms of the transmission of information between individuals allows us to speak about the space of IIs. This space helps to explain a number of characteristic phenomena of human thinking.展开更多
文摘The stiffness reduction is studied in detail of compact W-Shapes （wide-flange steel shapes） that results from yielding of the cross-section due to uniaxial bending and axial compression. Three-dimensional m-p-τ surface plots developed from detailed fiber element models of a W8x31 are used to develop a generalized material model for direct implementation in the virtual work method. A portal steel frame is used to illustrate the virtual work method with the nonlinear material model in a first-order, inelastic analysis implementation and in a second-order, inelastic analysis condition. The nonlinear modeling capabilities of MASTAN2 are used to verify the accuracy of the virtual work results and are found to be in very close agreement.
文摘Graph transformation systems have become a general formal modeling language to describe many models in software development process.Behavioral modeling of dynamic systems and model-to-model transformations are only a few examples in which graphs have been used to software development.But even the perfect graph transformation system must be equipped with automated analysis capabilities to let users understand whether such a formal specification fulfills their requirements.In this paper,we present a new solution to verify graph transformation systems using the Bogor model checker.The attributed graph grammars(AGG)-like graph transformation systems are translated to Bandera intermediate representation(BIR),the input language of Bogor,and Bogor verifies the model against some interesting properties defined by combining linear temporal logic(LTL) and special-purpose graph rules.Experimental results are encouraging,showing that in most cases our solution improves existing approaches in terms of both performance and expressiveness.
基金Research was partially supported by a Grant from the Russian Science Foundation （Project No. 15-18-00047）. This research was partially supported by Grants from the Board President of the Russian Federation （Project MK-7165.2015.6）.
文摘This work presents a formalized description of information and communicative interac- tions of individuals on the basis of the communicative field （CF） method. It also contains explication of the possibility to create model of information and communication inter- actions, which is able to illustrate both interactions between two and more individuals. Methods and approaches which are suggested in this paper can correctly simulate the processes of distortion and generation of information images （IIs） with information and communication social interaction. Expansion and addition of IIs theory in terms of the transmission of information between individuals allows us to speak about the space of IIs. This space helps to explain a number of characteristic phenomena of human thinking.
