Strong Performance of the Triangle Structure of the Shovel

This article through strong triangle structure of the shovel kinematics and mechanics model for the analysis of the kinematics and mechanics performance, and give strong triangle institutions mining envelope diagram, compared to the classic 10 rod 3 degrees of freedom of digging mechanism, proved what advantages the "strong triangle" has. Due to the strong triangle and the classic 10 lever 3 degrees of freedom in the difference on the structure, strong triangle institutions in the bucket special relative to the classic agency has the advantages of stability. Through research study "strong triangle" structure of the excavator, based on the kinematics and dynamics modeling method of parameter passing thought.

A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW

The parameterization process used in the symbolic computation systems Kenzo and EAT is studied here as a general construction in a categorical framework. This parameterization process starts from a given specification and builds a parameterized specification by adding a parameter as a new variable to some operations. Given a model of the parameterized specification, each interpretation of the parameter, called an argument, provides a model of the given specification. Moreover, under some relevant terminality assumption, this correspondence between the arguments and the models of the given specification is a bijection. It is proved in this paper that the parameterization process is provided by a functor and the subsequent parameter passing process by a natural transformation. Various categorical notions are used, mainly adjoint functors, pushouts and lax colimits.

Diagrammatic logic applied to a parameterisation process

This paper provides an abstract definition of a class of logics, called diagrammatic logics, together with a definition of morphisms and 2-morphisms between them. The definition of the 2-category of diagrammatic logics relies on category theory, mainly on adjunction, categories of fractions and limit sketches. This framework is applied to the formalisation of a parameterisation process. This process, which consists of adding a formal parameter to some operations in a given specification, is presented as a morphism of logics. Then the parameter passing process for recovering a model of the given specification from a model of the parameterised specification and an actual parameter is shown to be a 2-morphism of logics.