s-Conditionally Permutable Subgroups and p-Nilpotency of Finite Groups

A subgroup H of G is called s-conditionally permutable in G if for every Sylow subgroup T of G,there exists an element x∈G such that HTx=TxH.In this paper,we investigate further the influence of s-conditionally permutability of some 2-maximal subgroups of the Sylow subgroup of G,on the structure of finite groups.New criteria for a group G being p-nilpotent are obtained.     

基于三维测量的无人艇自动靠泊引导方法研究（英文）

Automatic berthing guidance is an important aspect of automated ship technology to obtain the ship-shore position relationship. The current mainstream measurement methods for ship-shore position relationships are based on radar, multisensor fusion, and visual detection technologies. This paper proposes an automated ship berthing guidance method based on three-dimensional(3D) target measurement and compares it with a single-target recognition method using a binocular camera. An improved deep obje...     

Lattice-valued modal propositional logic based on M-lattice implication algebras

The modal lattice implication algebra (i. e., M-lattice implication algebra) is introduced and its properties are investigated. The modal lattice-valued propositional logical system is introduced by considering the M-lattice implication algebra as the valuation field, and the syntax and semantic of the logical system are discussed, respectively.