In this paper, we introduce a new class Γ, which is weak than a known class Ψ, of real continuous functions defined on [0, +∞), and use another method to prove the known unique common fixed point theorem for four m...In this paper, we introduce a new class Γ, which is weak than a known class Ψ, of real continuous functions defined on [0, +∞), and use another method to prove the known unique common fixed point theorem for four mappings with γ-contractive condition instead of Ψ-contractive condition on 2-metric spaces.展开更多
In order to deal with the complex association relationships between classes in an object-oriented software system,a novel approach for identifying refactoring opportunities is proposed.The approach can be used to dete...In order to deal with the complex association relationships between classes in an object-oriented software system,a novel approach for identifying refactoring opportunities is proposed.The approach can be used to detect complex and duplicated many-to-many association relationships in source code,and to provide guidance for further refactoring.In the approach,source code is first transformed to an abstract syntax tree from which all data members of each class are extracted,then each class is characterized in connection with a set of association classes saving its data members.Next,classes in common associations are obtained by comparing different association classes sets in integrated analysis.Finally,on condition of pre-defined thresholds,all class sets in candidate for refactoring and their common association classes are saved and exported.This approach is tested on 4 projects.The results show that the precision is over 96%when the threshold is 3,and 100%when the threshold is 4.Meanwhile,this approach has good execution efficiency as the execution time taken for a project with more than 500 classes is less than 4 s,which also indicates that it can be applied to projects of different scales to identify their refactoring opportunities effectively.展开更多
From the National Agency for the Organization and Construction of Infrastructures (ANOCI) program to the Emerging Senegal Plan (PSE), construction in Senegal has improved considerably. However, deficiencies remain in ...From the National Agency for the Organization and Construction of Infrastructures (ANOCI) program to the Emerging Senegal Plan (PSE), construction in Senegal has improved considerably. However, deficiencies remain in the specification of materials used mainly in hydraulic concrete. They are generally related to the specification of aggregates for alkali reactivity and the choice of exposure classes specified in NF EN 206-1. The purpose of this article is to study the incidence of non-compliance with exposure classes in reinforced concrete structures. To carry out this study, surveys were carried out at several sites (districts) in Dakar (Cité Avion, Touba Ouakam, Cité Asecna, Cité Batrain, Cité Comico, Cité Assemblée and Terme Sud) in order to collect information on the formulation and implementation methods used. The comparison of the various readings carried out made it possible to deduce conclusions and to give recommendations when using standard NF EN 206-1.展开更多
In this paper, some new unique common fixed points for four mappings satisfying Ф-contractive conditions on non-complete 2-metric spaces are obtained, in which the mappings do not satisfy continuity and commutation. ...In this paper, some new unique common fixed points for four mappings satisfying Ф-contractive conditions on non-complete 2-metric spaces are obtained, in which the mappings do not satisfy continuity and commutation. The main results generalize and improve many well-known and corresponding conclusions in the literatures.展开更多
In this paper, we introduce a class Ψ of real functions defined on the set of non-negative real numbers, and obtain a new unique common fixed point theorem for four mappings satisfying Ψ-contractive condition on a n...In this paper, we introduce a class Ψ of real functions defined on the set of non-negative real numbers, and obtain a new unique common fixed point theorem for four mappings satisfying Ψ-contractive condition on a non-complete 2-metric space and give the versions of the corresponding result for two and three mappings.展开更多
In this paper, we introduce a new class U of 3-dimensional real functions, use U and a 2-dimensional real function ? to construct a new implicit-linear contractive condition and obtain some existence theorems of commo...In this paper, we introduce a new class U of 3-dimensional real functions, use U and a 2-dimensional real function ? to construct a new implicit-linear contractive condition and obtain some existence theorems of common fixed points for two mappings on partially ordered 2-metric spaces and give a sufficient condition under which there exists a unique common fixed point. The obtained results goodly generalize and improve the corresponding conclusions in references.展开更多
A class Ф of 5-dimensional functions was introduced and an existence and uniqueness of common fixed points for a family of non-self mappings satisfying a Фi- quasi-contractive condition and a certain boundary condit...A class Ф of 5-dimensional functions was introduced and an existence and uniqueness of common fixed points for a family of non-self mappings satisfying a Фi- quasi-contractive condition and a certain boundary condition was given on complete metrically convex metric spaces, and from which, more general unique common fixed point theorems were obtained. Our main results generalize and improve many same type common fixed point theorems in references.展开更多
文摘In this paper, we introduce a new class Γ, which is weak than a known class Ψ, of real continuous functions defined on [0, +∞), and use another method to prove the known unique common fixed point theorem for four mappings with γ-contractive condition instead of Ψ-contractive condition on 2-metric spaces.
文摘In order to deal with the complex association relationships between classes in an object-oriented software system,a novel approach for identifying refactoring opportunities is proposed.The approach can be used to detect complex and duplicated many-to-many association relationships in source code,and to provide guidance for further refactoring.In the approach,source code is first transformed to an abstract syntax tree from which all data members of each class are extracted,then each class is characterized in connection with a set of association classes saving its data members.Next,classes in common associations are obtained by comparing different association classes sets in integrated analysis.Finally,on condition of pre-defined thresholds,all class sets in candidate for refactoring and their common association classes are saved and exported.This approach is tested on 4 projects.The results show that the precision is over 96%when the threshold is 3,and 100%when the threshold is 4.Meanwhile,this approach has good execution efficiency as the execution time taken for a project with more than 500 classes is less than 4 s,which also indicates that it can be applied to projects of different scales to identify their refactoring opportunities effectively.
文摘From the National Agency for the Organization and Construction of Infrastructures (ANOCI) program to the Emerging Senegal Plan (PSE), construction in Senegal has improved considerably. However, deficiencies remain in the specification of materials used mainly in hydraulic concrete. They are generally related to the specification of aggregates for alkali reactivity and the choice of exposure classes specified in NF EN 206-1. The purpose of this article is to study the incidence of non-compliance with exposure classes in reinforced concrete structures. To carry out this study, surveys were carried out at several sites (districts) in Dakar (Cité Avion, Touba Ouakam, Cité Asecna, Cité Batrain, Cité Comico, Cité Assemblée and Terme Sud) in order to collect information on the formulation and implementation methods used. The comparison of the various readings carried out made it possible to deduce conclusions and to give recommendations when using standard NF EN 206-1.
文摘In this paper, some new unique common fixed points for four mappings satisfying Ф-contractive conditions on non-complete 2-metric spaces are obtained, in which the mappings do not satisfy continuity and commutation. The main results generalize and improve many well-known and corresponding conclusions in the literatures.
文摘In this paper, we introduce a class Ψ of real functions defined on the set of non-negative real numbers, and obtain a new unique common fixed point theorem for four mappings satisfying Ψ-contractive condition on a non-complete 2-metric space and give the versions of the corresponding result for two and three mappings.
文摘In this paper, we introduce a new class U of 3-dimensional real functions, use U and a 2-dimensional real function ? to construct a new implicit-linear contractive condition and obtain some existence theorems of common fixed points for two mappings on partially ordered 2-metric spaces and give a sufficient condition under which there exists a unique common fixed point. The obtained results goodly generalize and improve the corresponding conclusions in references.
基金supported by the National Natural Science Foundation of China(No.11361064)
文摘A class Ф of 5-dimensional functions was introduced and an existence and uniqueness of common fixed points for a family of non-self mappings satisfying a Фi- quasi-contractive condition and a certain boundary condition was given on complete metrically convex metric spaces, and from which, more general unique common fixed point theorems were obtained. Our main results generalize and improve many same type common fixed point theorems in references.
