In this article, for any a in the MS-algebra L, the author considers the con- gruence of the form defined by （x,y） ∈θa→←x∧a°° = y ∧a° and x ∨ a°° = y ∨ a°°. A characterizat...In this article, for any a in the MS-algebra L, the author considers the con- gruence of the form defined by （x,y） ∈θa→←x∧a°° = y ∧a° and x ∨ a°° = y ∨ a°°. A characterization of subdirectly irreducible MS-algebras is given and it is also proved that the union of two principal congruences having this form is a principal congruence if and only if L ∈ K2 ∨ K3.展开更多
Algebras whose congruences are permutable were investigated by a number of authors in the literature. In this paper, we study the symmetric extended MS-algebras whose congruences are permutable. Some results obtained ...Algebras whose congruences are permutable were investigated by a number of authors in the literature. In this paper, we study the symmetric extended MS-algebras whose congruences are permutable. Some results obtained by Jie Fang on symmetric extended De Morgan algebras are generalized.展开更多
In the construction and maintenance of particle accelerators,all the accelerator elements should be installed in the same coordinate system,only in this way could the devices in the actual world be consistent with the...In the construction and maintenance of particle accelerators,all the accelerator elements should be installed in the same coordinate system,only in this way could the devices in the actual world be consistent with the design drawings.However,with the occurrence of the movements of the reinforced concrete cover plates at short notice or building deformations in the long term,the control points upon the engineering structure will be displaced,and the fitness between the subnetwork and the global control network may be irresponsible.Therefore,it is necessary to evaluate the deformations of the 3D alignment control network.Different from the extant investigations,in this paper,to characterize the deformations of the control network,all of the congruent models between the points measured in different epochs have been identified,and the congruence model with the most control points is considered as the primary or fundamental model,the remaining models are recognized as the additional ones.Furthermore,the discrepancies between the primary S-transformation parameters and the additional S-transformation parameters can reflect the relative movements of the additional congruence models.Both the iterative GCT method and the iterative combinatorial theory are proposed to detect multiple congruence models in the control network.Considering the actual work of the alignment,it is essential to identify the competitive models in the monitoring network,which can provide us a hint that,even the fitness between the subnetwork and the global control network is good,there are still deformations which may be ignored.The numerical experiments show that the suggested approaches can describe the deformation of the 3D alignment control network roundly.展开更多
基金the Natural Science Foundation of Hubei Province
文摘In this article, for any a in the MS-algebra L, the author considers the con- gruence of the form defined by （x,y） ∈θa→←x∧a°° = y ∧a° and x ∨ a°° = y ∨ a°°. A characterization of subdirectly irreducible MS-algebras is given and it is also proved that the union of two principal congruences having this form is a principal congruence if and only if L ∈ K2 ∨ K3.
文摘Algebras whose congruences are permutable were investigated by a number of authors in the literature. In this paper, we study the symmetric extended MS-algebras whose congruences are permutable. Some results obtained by Jie Fang on symmetric extended De Morgan algebras are generalized.
文摘In the construction and maintenance of particle accelerators,all the accelerator elements should be installed in the same coordinate system,only in this way could the devices in the actual world be consistent with the design drawings.However,with the occurrence of the movements of the reinforced concrete cover plates at short notice or building deformations in the long term,the control points upon the engineering structure will be displaced,and the fitness between the subnetwork and the global control network may be irresponsible.Therefore,it is necessary to evaluate the deformations of the 3D alignment control network.Different from the extant investigations,in this paper,to characterize the deformations of the control network,all of the congruent models between the points measured in different epochs have been identified,and the congruence model with the most control points is considered as the primary or fundamental model,the remaining models are recognized as the additional ones.Furthermore,the discrepancies between the primary S-transformation parameters and the additional S-transformation parameters can reflect the relative movements of the additional congruence models.Both the iterative GCT method and the iterative combinatorial theory are proposed to detect multiple congruence models in the control network.Considering the actual work of the alignment,it is essential to identify the competitive models in the monitoring network,which can provide us a hint that,even the fitness between the subnetwork and the global control network is good,there are still deformations which may be ignored.The numerical experiments show that the suggested approaches can describe the deformation of the 3D alignment control network roundly.
