C.L. Chang’s introduction of fuzzy topology in 1981 opened up new avenues for parallel theories in topology. However, Chang’s work appears to focus more on the topology of fuzzy sets rather than fuzzy topology itsel...C.L. Chang’s introduction of fuzzy topology in 1981 opened up new avenues for parallel theories in topology. However, Chang’s work appears to focus more on the topology of fuzzy sets rather than fuzzy topology itself. In 1975, Michálek presented a functional definition of ordinary topology and later developed fuzzy topology as a distinct extension of this idea, setting it apart from Chang’s approach. While there has been significant research on Chang’s fuzzy topology, Michálek’s version has not received as much attention. This paper introduces the concept of fuzzy regularly closed filters, or FRCM filters, within Michálek’s fuzzy topological space and explores some properties of FRCM ultrafilters.展开更多
A simplified method is proposed for analyzing the overpressure history of an optional point on the walls of a closed cuboid due to its internal optional point-explosion. Firstly, the overpressure histories of all node...A simplified method is proposed for analyzing the overpressure history of an optional point on the walls of a closed cuboid due to its internal optional point-explosion. Firstly, the overpressure histories of all nodes on the walls of a cube with a side-length of 2 m are computed under a reference-charge explosion at each node of its inner space using the LS-DYNA software, and then are collected to form a reference database. Next, with the thought of the isoparametric finite element, an interpolating algori...展开更多
A dynamics-based adaptive control approach is proposed for a planar dual-arm space robot in the presence of closed-loop constraints and uncertain inertial parameters of the payload. The controller is capable of contro...A dynamics-based adaptive control approach is proposed for a planar dual-arm space robot in the presence of closed-loop constraints and uncertain inertial parameters of the payload. The controller is capable of controlling the po- sition and attitude of both the satellite base and the payload grasped by the manipulator end effectors. The equations of motion in reduced-order form for the constrained system are derived by incorporating the constraint equations in terms of accelerations into Kane's equations of the unconstrained system. Model analysis shows that the resulting equations perfectly meet the requirement of adaptive controller design. Consequently, by using an indirect approach, an adaptive control scheme is proposed to accomplish position/attitude trajectory tracking control with the uncertain parameters be- ing estimated on-line. The actuator redundancy due to the closed-loop constraints is utilized to minimize a weighted norm of the joint torques. Global asymptotic stability is proven by using Lyapunov's method, and simulation results are also presented to demonstrate the effectiveness of the proposed approach.展开更多
In this paper, necessary and sufficient conditions for a closed range composition operator CФ on the general family of holomorphic function spaces F(p,q,s) and more generally on α-Besov type spaces F(p,αp-2,s) ...In this paper, necessary and sufficient conditions for a closed range composition operator CФ on the general family of holomorphic function spaces F(p,q,s) and more generally on α-Besov type spaces F(p,αp-2,s) are given. We give a Carleson measure characterization on F (p, αp - 2, s) spaces, then we indicate how Carleson measures can be used to characterize boundedness and compactness of CФ on F(p,q,s) and F(p,αp- 2,s) spaces.展开更多
In this paper, the authors introduce and study the concept of (1, 2)^*-generalized closed sets with respect to an ideal in a bitopological space. Also, some characterizations and applications of(1, 2)^*-generali...In this paper, the authors introduce and study the concept of (1, 2)^*-generalized closed sets with respect to an ideal in a bitopological space. Also, some characterizations and applications of(1, 2)^*-generalized closed sets are given.展开更多
By introducing the notions of L-spaces and L_r-spaces, a complete generalization of Kalton's closed graph theorem is obtained. It points out the class of L_r-spaces is the maximal class of range spaces for the clo...By introducing the notions of L-spaces and L_r-spaces, a complete generalization of Kalton's closed graph theorem is obtained. It points out the class of L_r-spaces is the maximal class of range spaces for the closed graph theorem when the class of domain spaces is the class of Mackey spaces with weakly * sequentially complete dual.Some examples are constructed showing that the class of L_r-spaces is strictly larger than the class of separable B_r-complete spaces.Some properties of L-spaces and L_r-spaces are discussed and the relations between B-complete (resp. B_r-complete) spaces and L-spaces (resp. L_r-spaces) are given.展开更多
In this article, under quite weaker conditions, theorems of Helly’s type for(not necessarily finite) family of partially closed half-spaces are presented in both analytic and geometric forms. Examples are also provid...In this article, under quite weaker conditions, theorems of Helly’s type for(not necessarily finite) family of partially closed half-spaces are presented in both analytic and geometric forms. Examples are also provided to show that these conditions cannot be omitted in general.展开更多
In this article, the authors mainly study how to obtain new semicontinuous lattices from the given semicontinuous lattices and discuss the conditions under which the image of a semicontinuous projection operator is al...In this article, the authors mainly study how to obtain new semicontinuous lattices from the given semicontinuous lattices and discuss the conditions under which the image of a semicontinuous projection operator is also semicontinuous. Moreover, the authors investigate the relation between semicontinuous lattices and completely distributive lattices. Finally, it is proved that the strongly semicontinuous lattice category is a Cartesian closed category.展开更多
By investigating the properties of Hellinger-Toeplitz topologies, we establish a general version of Kalton's cioed graph theorem. From this general version, we deduce a number of new closed graph theorems, which a...By investigating the properties of Hellinger-Toeplitz topologies, we establish a general version of Kalton's cioed graph theorem. From this general version, we deduce a number of new closed graph theorems, which are convenient for application. Particularly we improve some results of Kalton.展开更多
One of the important issues in the system identification and the spectrum analysis is the frequency resolution, i.e., the capability of distinguishing between two or more closely spaced frequency components. In the mo...One of the important issues in the system identification and the spectrum analysis is the frequency resolution, i.e., the capability of distinguishing between two or more closely spaced frequency components. In the modal identification by the empirical mode decomposition (EMD) method, because of the separating capability of the method, it is still a challenge to consistently and reliably identify the parameters of structures of which modes are not well separated. A new method is introduced to generate the intrin- sic mode functions (IMFs) through the filtering algorithm based on the wavelet packet decomposition (GIFWPD). In this paper, it is demonstrated that the CIFWPD method alone has a good capability of separating close modes, even under the severe condition beyond the critical frequency ratio limit which makes it impossible to separate two closely spaced harmonics by the EMD method. However, the GIFWPD-only based method is impelled to use a very fine sampling frequency with consequent prohibitive computational costs. Therefore, in order to decrease the computational load by reducing the amount of samples and improve the effectiveness of separation by increasing the frequency ratio, the present paper uses a combination of the complex envelope displacement analysis (CEDA) and the GIFWPD method. For the validation, two examples from the previous works are taken to show the results obtained by the GIFWPD-only based method and by combining the CEDA with the GIFWPD method.展开更多
A scheduling model of closely spaced parallel runways for arrival aircraft was proposed,with multi-objections of the minimum flight delay cost,the maximum airport capacity,the minimum workload of air traffic controlle...A scheduling model of closely spaced parallel runways for arrival aircraft was proposed,with multi-objections of the minimum flight delay cost,the maximum airport capacity,the minimum workload of air traffic controller and the maximum fairness of airlines′scheduling.The time interval between two runways and changes of aircraft landing order were taken as the constraints.Genetic algorithm was used to solve the model,and the model constrained unit delay cost of the aircraft with multiple flight tasks to reduce its delay influence range.Each objective function value or the fitness of particle unsatisfied the constrain condition would be punished.Finally,one domestic airport hub was introduced to verify the algorithm and the model.The results showed that the genetic algorithm presented strong convergence and timeliness for solving constraint multi-objective aircraft landing problem on closely spaced parallel runways,and the optimization results were better than that of actual scheduling.展开更多
A new quantitative concept is introduced in this paper, which may be used to facilitate the measurement of the controllability of a subspace similar to subspace controllability degree. Then the concrete form of the su...A new quantitative concept is introduced in this paper, which may be used to facilitate the measurement of the controllability of a subspace similar to subspace controllability degree. Then the concrete form of the subspace controllability degree of a flexible structure is derived, and the errors of subspace controllability degree and dynamical response caused by the substitution of a repeated mode subspace for a closely spaced mode subspace are discussed. All the results show that this substitution is rational under some conditions.展开更多
To establish the algorithm of SAT-TMD system with the wavelet transform(WT),the modal mass participation ratio is proposed to distinguish if the high-rising structure has the characteristic of closely distributed freq...To establish the algorithm of SAT-TMD system with the wavelet transform(WT),the modal mass participation ratio is proposed to distinguish if the high-rising structure has the characteristic of closely distributed frequencies.A time varying analytical model of high-rising structure such as TV-tower with the SAT-TMD is developed.The proposed new idea is to use WT to identify the dominant frequency of structural response in a segment time,and track its variation as a function of time to retune the SAT-TMD.The effectiveness of SAT-TMD is investigated and it is more robust to change in building stiffness and damping than that of the TMD with a fixed frequency corresponding to a fixed mode frequency of the building.It is proved that SAT-TMD is particularly effective in reducing the response even when the building stiffness is changed by ±15%;whereas the TMD loses its effectiveness under such building stiffness variations.展开更多
In this paper, we introduce and study the notion of HB-closed sets in L-topological space. Then, HB-convergence theory for L-molecular nets and L-ideals is established in terms of HB-closedness. Finally, we give a new...In this paper, we introduce and study the notion of HB-closed sets in L-topological space. Then, HB-convergence theory for L-molecular nets and L-ideals is established in terms of HB-closedness. Finally, we give a new definition of fuzzy H-continuous [1] which is called HB-continuity on the basis of the notion of H-bounded L-subsets in L-topological space. Then we give characterizations and properties by making use of HB-converges theory of L-molecular nets and L-ideals.展开更多
Let M=S^(n)/Γand h be a nontrivial element of finite order p inπ_(1)(Μ),where the integers n,p≥2,Γis a finite abelian group which acts freely and isometrically on the n-sphere and therefore M is diffeomorphic to ...Let M=S^(n)/Γand h be a nontrivial element of finite order p inπ_(1)(Μ),where the integers n,p≥2,Γis a finite abelian group which acts freely and isometrically on the n-sphere and therefore M is diffeomorphic to a compact space form.In this paper,we prove that there are infinitely many non-contractible closed geodesics of class[h]on the compact space form with C^(r)-generic Finsler metrics,where 4≤r≤∞.The conclusion also holds for Cr-generic Riemannian metrics for 2≤r≤∞.The proof is based on the resonance identity of non-contractible closed geodesics on compact space forms.展开更多
The new notions of H-metric spaces and generalized H-KKM mappings were introduced. Some generalized H-KKM type theorems for generalized H-K-KM mappings with finitely metrically compactly closed values and finitely met...The new notions of H-metric spaces and generalized H-KKM mappings were introduced. Some generalized H-KKM type theorems for generalized H-K-KM mappings with finitely metrically compactly closed values and finitely metrically compactly open values were established in H-metric spaces. These theorems generalize recent results of Khamsi and Yuan. As applications, some Ky Fan type matching theorems for finitely metrically compactly open covers and finitely metrically compactly closed covers, fixed point theorems and minimax inequality are obtained in H-metric spaces. These results generalize a number of known results in recent literature.展开更多
In this paper,the dynamic evolution for a dualarm space robot capturing a spacecraft is studied,the impact effect and the coordinated stabilization control problem for postimpact closed chain system are discussed.At f...In this paper,the dynamic evolution for a dualarm space robot capturing a spacecraft is studied,the impact effect and the coordinated stabilization control problem for postimpact closed chain system are discussed.At first,the pre-impact dynamic equations of open chain dual-arm space robot are established by Lagrangian approach,and the dynamic equations of a spacecraft are obtained by Newton-Euler method.Based on the results,with the process of integral and simplify,the response of the dual-arm space robot impacted by the spacecraft is analyzed by momentum conservation law and force transfer law.The closed chain system is formed in the post-impact phase.Closed chain constraint equations are obtained by the constraints of closed-loop geometry and kinematics.With the closed chain constraint equations,the composite system dynamic equations are derived.Secondly,the recurrent fuzzy neural network control scheme is designed for calm motion of unstable closed chain system with uncertain system parameter.In order to overcome the effects of uncertain system inertial parameters,the recurrent fuzzy neural network is used to approximate the unknown part,the control method with H∞tracking characteristic.According to the Lyapunov theory,the global stability is demonstrated.Meanwhile,the weighted minimum-norm theory is introduced to distribute torques guarantee that cooperative operation between manipulators.At last,numerical examples simulate the response of the collision,and the efficiency of the control scheme is verified by the simulation results.展开更多
文摘C.L. Chang’s introduction of fuzzy topology in 1981 opened up new avenues for parallel theories in topology. However, Chang’s work appears to focus more on the topology of fuzzy sets rather than fuzzy topology itself. In 1975, Michálek presented a functional definition of ordinary topology and later developed fuzzy topology as a distinct extension of this idea, setting it apart from Chang’s approach. While there has been significant research on Chang’s fuzzy topology, Michálek’s version has not received as much attention. This paper introduces the concept of fuzzy regularly closed filters, or FRCM filters, within Michálek’s fuzzy topological space and explores some properties of FRCM ultrafilters.
基金Supported by National Natural Science Foundation of China (No. 50678116)National Key Technology R&D Program of China (No. 2006BAJ13B02)Tianjin Municipal Major Project of Application Foundation and Frontal Technology Research (No. 08JCZDJC19500)
文摘A simplified method is proposed for analyzing the overpressure history of an optional point on the walls of a closed cuboid due to its internal optional point-explosion. Firstly, the overpressure histories of all nodes on the walls of a cube with a side-length of 2 m are computed under a reference-charge explosion at each node of its inner space using the LS-DYNA software, and then are collected to form a reference database. Next, with the thought of the isoparametric finite element, an interpolating algori...
基金supported by the National Natural Science Foundation of China(11272027)
文摘A dynamics-based adaptive control approach is proposed for a planar dual-arm space robot in the presence of closed-loop constraints and uncertain inertial parameters of the payload. The controller is capable of controlling the po- sition and attitude of both the satellite base and the payload grasped by the manipulator end effectors. The equations of motion in reduced-order form for the constrained system are derived by incorporating the constraint equations in terms of accelerations into Kane's equations of the unconstrained system. Model analysis shows that the resulting equations perfectly meet the requirement of adaptive controller design. Consequently, by using an indirect approach, an adaptive control scheme is proposed to accomplish position/attitude trajectory tracking control with the uncertain parameters be- ing estimated on-line. The actuator redundancy due to the closed-loop constraints is utilized to minimize a weighted norm of the joint torques. Global asymptotic stability is proven by using Lyapunov's method, and simulation results are also presented to demonstrate the effectiveness of the proposed approach.
文摘In this paper, necessary and sufficient conditions for a closed range composition operator CФ on the general family of holomorphic function spaces F(p,q,s) and more generally on α-Besov type spaces F(p,αp-2,s) are given. We give a Carleson measure characterization on F (p, αp - 2, s) spaces, then we indicate how Carleson measures can be used to characterize boundedness and compactness of CФ on F(p,q,s) and F(p,αp- 2,s) spaces.
文摘In this paper, the authors introduce and study the concept of (1, 2)^*-generalized closed sets with respect to an ideal in a bitopological space. Also, some characterizations and applications of(1, 2)^*-generalized closed sets are given.
文摘By introducing the notions of L-spaces and L_r-spaces, a complete generalization of Kalton's closed graph theorem is obtained. It points out the class of L_r-spaces is the maximal class of range spaces for the closed graph theorem when the class of domain spaces is the class of Mackey spaces with weakly * sequentially complete dual.Some examples are constructed showing that the class of L_r-spaces is strictly larger than the class of separable B_r-complete spaces.Some properties of L-spaces and L_r-spaces are discussed and the relations between B-complete (resp. B_r-complete) spaces and L-spaces (resp. L_r-spaces) are given.
文摘In this article, under quite weaker conditions, theorems of Helly’s type for(not necessarily finite) family of partially closed half-spaces are presented in both analytic and geometric forms. Examples are also provided to show that these conditions cannot be omitted in general.
文摘In this article, the authors mainly study how to obtain new semicontinuous lattices from the given semicontinuous lattices and discuss the conditions under which the image of a semicontinuous projection operator is also semicontinuous. Moreover, the authors investigate the relation between semicontinuous lattices and completely distributive lattices. Finally, it is proved that the strongly semicontinuous lattice category is a Cartesian closed category.
文摘By investigating the properties of Hellinger-Toeplitz topologies, we establish a general version of Kalton's cioed graph theorem. From this general version, we deduce a number of new closed graph theorems, which are convenient for application. Particularly we improve some results of Kalton.
基金supported by the State Key Program of National Natural Science of China (No. 11232009)the Shanghai Leading Academic Discipline Project (No. S30106)
文摘One of the important issues in the system identification and the spectrum analysis is the frequency resolution, i.e., the capability of distinguishing between two or more closely spaced frequency components. In the modal identification by the empirical mode decomposition (EMD) method, because of the separating capability of the method, it is still a challenge to consistently and reliably identify the parameters of structures of which modes are not well separated. A new method is introduced to generate the intrin- sic mode functions (IMFs) through the filtering algorithm based on the wavelet packet decomposition (GIFWPD). In this paper, it is demonstrated that the CIFWPD method alone has a good capability of separating close modes, even under the severe condition beyond the critical frequency ratio limit which makes it impossible to separate two closely spaced harmonics by the EMD method. However, the GIFWPD-only based method is impelled to use a very fine sampling frequency with consequent prohibitive computational costs. Therefore, in order to decrease the computational load by reducing the amount of samples and improve the effectiveness of separation by increasing the frequency ratio, the present paper uses a combination of the complex envelope displacement analysis (CEDA) and the GIFWPD method. For the validation, two examples from the previous works are taken to show the results obtained by the GIFWPD-only based method and by combining the CEDA with the GIFWPD method.
文摘A scheduling model of closely spaced parallel runways for arrival aircraft was proposed,with multi-objections of the minimum flight delay cost,the maximum airport capacity,the minimum workload of air traffic controller and the maximum fairness of airlines′scheduling.The time interval between two runways and changes of aircraft landing order were taken as the constraints.Genetic algorithm was used to solve the model,and the model constrained unit delay cost of the aircraft with multiple flight tasks to reduce its delay influence range.Each objective function value or the fitness of particle unsatisfied the constrain condition would be punished.Finally,one domestic airport hub was introduced to verify the algorithm and the model.The results showed that the genetic algorithm presented strong convergence and timeliness for solving constraint multi-objective aircraft landing problem on closely spaced parallel runways,and the optimization results were better than that of actual scheduling.
基金The project supported by the National Natural Science Foundation of Chinathe Doctoral Research Foundation of Chinese Ministry of Education.
文摘A new quantitative concept is introduced in this paper, which may be used to facilitate the measurement of the controllability of a subspace similar to subspace controllability degree. Then the concrete form of the subspace controllability degree of a flexible structure is derived, and the errors of subspace controllability degree and dynamical response caused by the substitution of a repeated mode subspace for a closely spaced mode subspace are discussed. All the results show that this substitution is rational under some conditions.
基金Sponsored by the National Natural Science Foundation of China(Grant No.50478031)China Postdoctoral Science Foundation(Grant No.2006040240)
文摘To establish the algorithm of SAT-TMD system with the wavelet transform(WT),the modal mass participation ratio is proposed to distinguish if the high-rising structure has the characteristic of closely distributed frequencies.A time varying analytical model of high-rising structure such as TV-tower with the SAT-TMD is developed.The proposed new idea is to use WT to identify the dominant frequency of structural response in a segment time,and track its variation as a function of time to retune the SAT-TMD.The effectiveness of SAT-TMD is investigated and it is more robust to change in building stiffness and damping than that of the TMD with a fixed frequency corresponding to a fixed mode frequency of the building.It is proved that SAT-TMD is particularly effective in reducing the response even when the building stiffness is changed by ±15%;whereas the TMD loses its effectiveness under such building stiffness variations.
文摘In this paper, we introduce and study the notion of HB-closed sets in L-topological space. Then, HB-convergence theory for L-molecular nets and L-ideals is established in terms of HB-closedness. Finally, we give a new definition of fuzzy H-continuous [1] which is called HB-continuity on the basis of the notion of H-bounded L-subsets in L-topological space. Then we give characterizations and properties by making use of HB-converges theory of L-molecular nets and L-ideals.
基金supported by NSFC(Grant Nos.12371195,12022111)the Fundamental Research Funds for the Central Universities(Grant No.2042023kf0207)+1 种基金the second author was partially supported by NSFC(Grant No.11831009)Fundings of Innovating Activities in Science and Technology of Hubei Province。
文摘Let M=S^(n)/Γand h be a nontrivial element of finite order p inπ_(1)(Μ),where the integers n,p≥2,Γis a finite abelian group which acts freely and isometrically on the n-sphere and therefore M is diffeomorphic to a compact space form.In this paper,we prove that there are infinitely many non-contractible closed geodesics of class[h]on the compact space form with C^(r)-generic Finsler metrics,where 4≤r≤∞.The conclusion also holds for Cr-generic Riemannian metrics for 2≤r≤∞.The proof is based on the resonance identity of non-contractible closed geodesics on compact space forms.
文摘The new notions of H-metric spaces and generalized H-KKM mappings were introduced. Some generalized H-KKM type theorems for generalized H-K-KM mappings with finitely metrically compactly closed values and finitely metrically compactly open values were established in H-metric spaces. These theorems generalize recent results of Khamsi and Yuan. As applications, some Ky Fan type matching theorems for finitely metrically compactly open covers and finitely metrically compactly closed covers, fixed point theorems and minimax inequality are obtained in H-metric spaces. These results generalize a number of known results in recent literature.
基金supported by the National Natural Science Foundation of China(11372073,11072061)。
文摘In this paper,the dynamic evolution for a dualarm space robot capturing a spacecraft is studied,the impact effect and the coordinated stabilization control problem for postimpact closed chain system are discussed.At first,the pre-impact dynamic equations of open chain dual-arm space robot are established by Lagrangian approach,and the dynamic equations of a spacecraft are obtained by Newton-Euler method.Based on the results,with the process of integral and simplify,the response of the dual-arm space robot impacted by the spacecraft is analyzed by momentum conservation law and force transfer law.The closed chain system is formed in the post-impact phase.Closed chain constraint equations are obtained by the constraints of closed-loop geometry and kinematics.With the closed chain constraint equations,the composite system dynamic equations are derived.Secondly,the recurrent fuzzy neural network control scheme is designed for calm motion of unstable closed chain system with uncertain system parameter.In order to overcome the effects of uncertain system inertial parameters,the recurrent fuzzy neural network is used to approximate the unknown part,the control method with H∞tracking characteristic.According to the Lyapunov theory,the global stability is demonstrated.Meanwhile,the weighted minimum-norm theory is introduced to distribute torques guarantee that cooperative operation between manipulators.At last,numerical examples simulate the response of the collision,and the efficiency of the control scheme is verified by the simulation results.