Let f: X→X be a selfmap of a compact connected polyhedron, and A a nonempty closed subset of X. In this paper, we shall deal with the question whether or not there is a map g: X→X homotopic to f such that the fixed ...Let f: X→X be a selfmap of a compact connected polyhedron, and A a nonempty closed subset of X. In this paper, we shall deal with the question whether or not there is a map g: X→X homotopic to f such that the fixed point set Fixg of g equals A. We introduce a necessary condition for the existence of such a map g. It is shown that this condition is easy to check, and hence some sufficient conditions are obtained.展开更多
In this note we construct certain sequences of finite point sets in [0, 1) s (s ≥ 1) and give the upper bounds of their discrepancy. Furthermore we prove that these sequences are uniformly distrbuted in [0, 1) s .
This letter is a continuation of refs.[1] and [2]. Let d≥2, S<sub>d</sub>={u<sub>k</sub>（1≤k≤n）} be a finiteset of points in the d-dimensional unit cube [0, 1)<sup>d</sup>, whe...This letter is a continuation of refs.[1] and [2]. Let d≥2, S<sub>d</sub>={u<sub>k</sub>（1≤k≤n）} be a finiteset of points in the d-dimensional unit cube [0, 1)<sup>d</sup>, where u<sub>k</sub>=(u<sub>1,k</sub>, u<sub>2,k</sub>,…,u<sub>d,k</sub>)展开更多
In the present paper a general formula for exact calculation of the discrepancy of an arbitrary finite point set of dimension d≥2 is explicitly given only in terms of the components of the points.
A multi-strategy hybrid whale optimization algorithm(MSHWOA)for complex constrained optimization problems is proposed to overcome the drawbacks of easily trapping into local optimum,slow convergence speed and low opti...A multi-strategy hybrid whale optimization algorithm(MSHWOA)for complex constrained optimization problems is proposed to overcome the drawbacks of easily trapping into local optimum,slow convergence speed and low optimization precision.Firstly,the population is initialized by introducing the theory of good point set,which increases the randomness and diversity of the population and lays the foundation for the global optimization of the algorithm.Then,a novel linearly update equation of convergence factor is designed to coordinate the abilities of exploration and exploitation.At the same time,the global exploration and local exploitation capabilities are improved through the siege mechanism of Harris Hawks optimization algorithm.Finally,the simulation experiments are conducted on the 6 benchmark functions and Wilcoxon rank sum test to evaluate the optimization performance of the improved algorithm.The experimental results show that the proposed algorithm has more significant improvement in optimization accuracy,convergence speed and robustness than the comparison algorithm.展开更多
Point features, as the basis of lines, surfaces, and bodies, are commonly used in medical image registration. To obtain an elegant spatial transformation of extracted feature points, many point set matching algorithms...Point features, as the basis of lines, surfaces, and bodies, are commonly used in medical image registration. To obtain an elegant spatial transformation of extracted feature points, many point set matching algorithms(PMs) have been developed to match two point sets by optimizing multifarious distance functions. There are ample reviews related to medical image registration and PMs which summarize their basic principles and main algorithms separately. However,to data, detailed summary of PMs used in medical image registration in different clinical environments has not been published. In this paper, we provide a comprehensive review of the existing key techniques of the PMs applied to medical image registration according to the basic principles and clinical applications. As the core technique of the PMs, geometric transformation models are elaborated in this paper, demonstrating the mechanism of point set registration. We also focus on the clinical applications of the PMs and propose a practical classification method according to their applications in different clinical surgeries. The aim of this paper is to provide a summary of pointfeaturebased methods used in medical image registration and to guide doctors or researchers interested in this field to choose appropriate techniques in their research.展开更多
Let （M, T） be a smooth closed manifold with a smooth involution T whose fixed point set is a disjoint union of an even-dimensional real projective space and a Dold manifold. In some cases, the equivariant bordism cl...Let （M, T） be a smooth closed manifold with a smooth involution T whose fixed point set is a disjoint union of an even-dimensional real projective space and a Dold manifold. In some cases, the equivariant bordism classes of （M, T） are determined.展开更多
In this paper, we first give the concept of m-degree center-connecting line in n-dimensional Euclidean space Enand investigate its several properties, then we obtain the length of m-degree center-connecting line formu...In this paper, we first give the concept of m-degree center-connecting line in n-dimensional Euclidean space Enand investigate its several properties, then we obtain the length of m-degree center-connecting line formula in finite points set. As its application,we extend the Leibniz formula and length of medians formula in n-dimensional simplex to polytope.展开更多
Let f be a tree map,P(f) the set of periodic points of f and CR(f) the set of chain recurrent points of f. In this paper,the notion of division for invariant closed subsets of a tree map is introduced.It is proved th...Let f be a tree map,P(f) the set of periodic points of f and CR(f) the set of chain recurrent points of f. In this paper,the notion of division for invariant closed subsets of a tree map is introduced.It is proved that: (1) f has zero topological entropy if and only if for any x∈CR(f)-P(f) and each natural number s the orbit of x under f s has a division; (2) If f has zero topological entropy,then for any x∈CR(f)-P(f) the ω-limit set of x is an infinite minimal set.展开更多
In this paper, by providing some different conditions respect to another works, we shall present two results on absolute retractivity of some sets related to some multifunctions of the form F ： X × X → Pb,cl （...In this paper, by providing some different conditions respect to another works, we shall present two results on absolute retractivity of some sets related to some multifunctions of the form F ： X × X → Pb,cl （X）, on complete metric spaces.展开更多
An interior point of a finite planar point set is a point of the set that is not on the boundary of the convex hull of the set. For any integer k ≥ 1, let h（κ） be the smallest integer such that every set of points...An interior point of a finite planar point set is a point of the set that is not on the boundary of the convex hull of the set. For any integer k ≥ 1, let h（κ） be the smallest integer such that every set of points in the plane, no three collinear, with at least h（κ） interior points, has a subset of points with exactly κ or κ ＋ 1 interior points of P. We prove that h（5）=11.展开更多
Some new characterizations and immediate explicit expressions of best L(1≤p≤∞) approximation and their deviations by an n-dimensional subspace on a set of n+1 points are given.
A key step of constructing active appearance model is requiring a set of appropriate training shapes with well-defined correspondences.In this paper,we introduce a novel point correspondence method(FB-CPD),which can i...A key step of constructing active appearance model is requiring a set of appropriate training shapes with well-defined correspondences.In this paper,we introduce a novel point correspondence method(FB-CPD),which can improve the accuracy of coherent point drift(CPD) by using the information of image feature.The objective function of the proposed method is defined by both of geometric spatial information and image feature information,and the origin Gaussian mixture model in CPD is modified according to the image feature of points.FB-CPD is tested on the 3D prostate and liver point sets through the simulation experiments.The registration error can be reduced efficiently by FB-CPD.Moreover,the active appearance model constructed by FB-CPD can obtain fine segmentation in 3D CT prostate image.Compared with the original CPD,the overlap ratio of voxels was improved from 88.7% to 90.2% by FB-CPD.展开更多
CAS 132-2006 formulation background and work courses
Flat panel display technology is maturing alongside the development of science and technology. The prices of flat panel display TV sets are becoming lower ... CAS 132-2006 formulation background and work courses
Flat panel display technology is maturing alongside the development of science and technology. The prices of flat panel display TV sets are becoming lower and lower. Flat panel display TV sets have begun entering the mainstream and are now the first choice of some consumers when making new TV purchases.Display TV Set Installation Service Point Explanation and AnalysisRepair, Retreat and Change Duty Stipulations. Peculiar use conditions, usage environments, and the practical circumstances of user consumption service requirements, etc., were also taken into account on the basis of extensive investigation, testing, and verification.……展开更多
In this paper, we review some of their related properties of derivations on MValgebras and give some characterizations of additive derivations. Then we prove that the fixed point set of Boolean additive derivations an...In this paper, we review some of their related properties of derivations on MValgebras and give some characterizations of additive derivations. Then we prove that the fixed point set of Boolean additive derivations and that of their adjoint derivations are isomorphic.In particular, we prove that every MV-algebra is isomorphic to the direct product of the fixed point set of Boolean additive derivations and that of their adjoint derivations. Finally we show that every Boolean algebra is isomorphic to the algebra of all Boolean additive(implicative)derivations. These results also give the negative answers to two open problems, which were proposed in [Fuzzy Sets and Systems, 303(2016), 97-113] and [Information Sciences, 178(2008),307-316].展开更多
Objective: To evaluate the efficiency of an implanted chip system on blood pressure regulation. Methods: The mean arterial pressure (MAP) and heart rate (HR) were recorded in anesthetized rabbits. Based on the set poi...Objective: To evaluate the efficiency of an implanted chip system on blood pressure regulation. Methods: The mean arterial pressure (MAP) and heart rate (HR) were recorded in anesthetized rabbits. Based on the set point theory, an implanted chip system was designed to regulate the blood pressure by stimulating the aortic depressor nerve (ADN) according to the feedback of blood pressure. The blood pressure regulation induced by the implanted chip system was carried out twice (lasted for 15 min and 60 min respectively) and the change of MAP and HR during the regulation was compared with the control. Results: There was a significant decrease of MAP during the first regulation ([-32.0 ± 6.6] mmHg) and second regulation ([-27.4 ± 6.2] mmHg) compared with the control (P<0.01). The HR was also significantly decreased during regulation compared with the control. Both MAP and HR returned to the baseline immediately without rebound after the regulation ceased. Conclusion: The implanted chip system can regulate the blood pressure successfully and keep the blood pressure in a lower constant level without adaptation.展开更多
Building simulation is a powerful way to evaluate the performance of a building.The quality of simulation results however strongly depends on the accuracy of simulation input data.Especially for weather data files and...Building simulation is a powerful way to evaluate the performance of a building.The quality of simulation results however strongly depends on the accuracy of simulation input data.Especially for weather data files and occupant behaviour it is difficult to obtain accurate data.This paper evaluates the variability of building simulation results with regards to different weather data sets as well as different heating and cooling set points for a residential building in Victoria,Australia.Thermal comfort accord-ing to ASHRAE Standard 55,final energy consumption and peak cooling and heating loads are assessed.Simulations have been performed with Energy-Plus,and weather data for a multi-year approach have been generated with the software Meteonorm.The results show that different weather files for the same location as well as different conditioning set points can influence the results by approximately a factor of 2.展开更多
In order to overcome the difficulties caused by singular optima, in the present paper, a new method for the solutions of structural topology optimization problems is proposed. The distinctive feature of this method is...In order to overcome the difficulties caused by singular optima, in the present paper, a new method for the solutions of structural topology optimization problems is proposed. The distinctive feature of this method is that instead of solving the original optimization problem directly, we turn to seeking the solutions of a sequence of approximated problems which are formulated by relaxing the constraints of the original problem to some extent. The approximated problem can be solved efficiently by employing the algorithms developed for sizing optimization problems because its solution is not singular. It can also be proved that when the relaxation parameter is tending to zero, the solution of the approximated problem will converge to the solution of the original problem uniformly. Numerical examples illustrate the effectiveness and validity of the present approach. Results are also compared with those obtained by traditional methods.展开更多
Let （M, T） be a closed manifold with an involution T. The fixed point set of T is F. In this article, bordism classes of the involutions with fixed point set F = ^mUi=1 CPi（1）×HPi（n） are determined, where C...Let （M, T） be a closed manifold with an involution T. The fixed point set of T is F. In this article, bordism classes of the involutions with fixed point set F = ^mUi=1 CPi（1）×HPi（n） are determined, where CP（1） and HP（n） denote the 1-dimensional i=1 complex projective space and n-dimensional quaternionic projective space respectively, and n=2^p-2or n=2^p-1（p〉 1）.展开更多
Objective： To evaluate the efficiency of an implanted chip system for the control of heart rate （HR）. Methods： The HR was recorded in six conscious Sprague-Dawley （SD） rats. An implanted chip system was designed...Objective： To evaluate the efficiency of an implanted chip system for the control of heart rate （HR）. Methods： The HR was recorded in six conscious Sprague-Dawley （SD） rats. An implanted chip system was designed to regulate the HR by stimulating the right cervical vagus nerve according to the feedback of real time HR. Each rat was subjected to 30-min regulation and 30-min recovery. The change of HR during the regulation period was compared with the control. The ECG was recorded during the experiment for 24 h. Results： The ECG signals were successfully recorded during the experiment. The HR was significantly decreased during the period of regulation compared with control （-79.3 ± 34.5, P 〈 0.01, n = 6） and then recovered to normal after regulation. Conclusion： The described implanted chip system can regulate the HR to a designated set point.展开更多
基金Partially supported by the Natural Science Foundation of Liaoning University.
文摘Let f: X→X be a selfmap of a compact connected polyhedron, and A a nonempty closed subset of X. In this paper, we shall deal with the question whether or not there is a map g: X→X homotopic to f such that the fixed point set Fixg of g equals A. We introduce a necessary condition for the existence of such a map g. It is shown that this condition is easy to check, and hence some sufficient conditions are obtained.
基金Supported by the National Natural Science Foundation of Chinathe "333 Project" Foundation of Jiangsu Province of China
文摘In this note we construct certain sequences of finite point sets in [0, 1) s (s ≥ 1) and give the upper bounds of their discrepancy. Furthermore we prove that these sequences are uniformly distrbuted in [0, 1) s .
基金Project supported in part by the National Natural Science Foundation of China a DAAD-K.C.Wong Research Grant.
文摘This letter is a continuation of refs.[1] and [2]. Let d≥2, S<sub>d</sub>={u<sub>k</sub>（1≤k≤n）} be a finiteset of points in the d-dimensional unit cube [0, 1)<sup>d</sup>, where u<sub>k</sub>=(u<sub>1,k</sub>, u<sub>2,k</sub>,…,u<sub>d,k</sub>)
文摘In the present paper a general formula for exact calculation of the discrepancy of an arbitrary finite point set of dimension d≥2 is explicitly given only in terms of the components of the points.
基金the National Natural Science Foundation of China(No.62176146)。
文摘A multi-strategy hybrid whale optimization algorithm(MSHWOA)for complex constrained optimization problems is proposed to overcome the drawbacks of easily trapping into local optimum,slow convergence speed and low optimization precision.Firstly,the population is initialized by introducing the theory of good point set,which increases the randomness and diversity of the population and lays the foundation for the global optimization of the algorithm.Then,a novel linearly update equation of convergence factor is designed to coordinate the abilities of exploration and exploitation.At the same time,the global exploration and local exploitation capabilities are improved through the siege mechanism of Harris Hawks optimization algorithm.Finally,the simulation experiments are conducted on the 6 benchmark functions and Wilcoxon rank sum test to evaluate the optimization performance of the improved algorithm.The experimental results show that the proposed algorithm has more significant improvement in optimization accuracy,convergence speed and robustness than the comparison algorithm.
基金Supported by the National Natural Science Foundation of China(Grant No.61533016)
文摘Point features, as the basis of lines, surfaces, and bodies, are commonly used in medical image registration. To obtain an elegant spatial transformation of extracted feature points, many point set matching algorithms(PMs) have been developed to match two point sets by optimizing multifarious distance functions. There are ample reviews related to medical image registration and PMs which summarize their basic principles and main algorithms separately. However,to data, detailed summary of PMs used in medical image registration in different clinical environments has not been published. In this paper, we provide a comprehensive review of the existing key techniques of the PMs applied to medical image registration according to the basic principles and clinical applications. As the core technique of the PMs, geometric transformation models are elaborated in this paper, demonstrating the mechanism of point set registration. We also focus on the clinical applications of the PMs and propose a practical classification method according to their applications in different clinical surgeries. The aim of this paper is to provide a summary of pointfeaturebased methods used in medical image registration and to guide doctors or researchers interested in this field to choose appropriate techniques in their research.
基金Supported by NSFC(11371118)SRFDP(20121303110004)+1 种基金HNSF(A2011205075)HNUHH(20110403)
文摘Let （M, T） be a smooth closed manifold with a smooth involution T whose fixed point set is a disjoint union of an even-dimensional real projective space and a Dold manifold. In some cases, the equivariant bordism classes of （M, T） are determined.
基金Supported by the Department of Education Science Research Project of Hunan Province(09C470)
文摘In this paper, we first give the concept of m-degree center-connecting line in n-dimensional Euclidean space Enand investigate its several properties, then we obtain the length of m-degree center-connecting line formula in finite points set. As its application,we extend the Leibniz formula and length of medians formula in n-dimensional simplex to polytope.
基金the National Natural Science Foundation of China(1 996 1 0 0 1 ) and SF of Guangxi(0 1 3 5 0 2 7)
文摘Let f be a tree map,P(f) the set of periodic points of f and CR(f) the set of chain recurrent points of f. In this paper,the notion of division for invariant closed subsets of a tree map is introduced.It is proved that: (1) f has zero topological entropy if and only if for any x∈CR(f)-P(f) and each natural number s the orbit of x under f s has a division; (2) If f has zero topological entropy,then for any x∈CR(f)-P(f) the ω-limit set of x is an infinite minimal set.
文摘In this paper, by providing some different conditions respect to another works, we shall present two results on absolute retractivity of some sets related to some multifunctions of the form F ： X × X → Pb,cl （X）, on complete metric spaces.
基金Supported by the National Natural Science Foundation of China(10901045,11171088)Supported by the NSF of Hebei Province(A2010000828)Supported by the SF of Hebei University of Science and Technology(QD200955)
文摘An interior point of a finite planar point set is a point of the set that is not on the boundary of the convex hull of the set. For any integer k ≥ 1, let h（κ） be the smallest integer such that every set of points in the plane, no three collinear, with at least h（κ） interior points, has a subset of points with exactly κ or κ ＋ 1 interior points of P. We prove that h（5）=11.
文摘Some new characterizations and immediate explicit expressions of best L(1≤p≤∞) approximation and their deviations by an n-dimensional subspace on a set of n+1 points are given.
基金National Basic Research Program of China(973 Program)grant number:2010CB732505+1 种基金National Natural Science Foundation of Chinagrant number:30900380
文摘A key step of constructing active appearance model is requiring a set of appropriate training shapes with well-defined correspondences.In this paper,we introduce a novel point correspondence method(FB-CPD),which can improve the accuracy of coherent point drift(CPD) by using the information of image feature.The objective function of the proposed method is defined by both of geometric spatial information and image feature information,and the origin Gaussian mixture model in CPD is modified according to the image feature of points.FB-CPD is tested on the 3D prostate and liver point sets through the simulation experiments.The registration error can be reduced efficiently by FB-CPD.Moreover,the active appearance model constructed by FB-CPD can obtain fine segmentation in 3D CT prostate image.Compared with the original CPD,the overlap ratio of voxels was improved from 88.7% to 90.2% by FB-CPD.
文摘 CAS 132-2006 formulation background and work courses
Flat panel display technology is maturing alongside the development of science and technology. The prices of flat panel display TV sets are becoming lower and lower. Flat panel display TV sets have begun entering the mainstream and are now the first choice of some consumers when making new TV purchases.Display TV Set Installation Service Point Explanation and AnalysisRepair, Retreat and Change Duty Stipulations. Peculiar use conditions, usage environments, and the practical circumstances of user consumption service requirements, etc., were also taken into account on the basis of extensive investigation, testing, and verification.……
基金Supported by a grant of National Natural Science Foundation of China(12001243,61976244,12171294,11961016)the Natural Science Basic Research Plan in Shaanxi Province of China(2020JQ-762,2021JQ-580)。
文摘In this paper, we review some of their related properties of derivations on MValgebras and give some characterizations of additive derivations. Then we prove that the fixed point set of Boolean additive derivations and that of their adjoint derivations are isomorphic.In particular, we prove that every MV-algebra is isomorphic to the direct product of the fixed point set of Boolean additive derivations and that of their adjoint derivations. Finally we show that every Boolean algebra is isomorphic to the algebra of all Boolean additive(implicative)derivations. These results also give the negative answers to two open problems, which were proposed in [Fuzzy Sets and Systems, 303(2016), 97-113] and [Information Sciences, 178(2008),307-316].
文摘Objective: To evaluate the efficiency of an implanted chip system on blood pressure regulation. Methods: The mean arterial pressure (MAP) and heart rate (HR) were recorded in anesthetized rabbits. Based on the set point theory, an implanted chip system was designed to regulate the blood pressure by stimulating the aortic depressor nerve (ADN) according to the feedback of blood pressure. The blood pressure regulation induced by the implanted chip system was carried out twice (lasted for 15 min and 60 min respectively) and the change of MAP and HR during the regulation was compared with the control. Results: There was a significant decrease of MAP during the first regulation ([-32.0 ± 6.6] mmHg) and second regulation ([-27.4 ± 6.2] mmHg) compared with the control (P<0.01). The HR was also significantly decreased during regulation compared with the control. Both MAP and HR returned to the baseline immediately without rebound after the regulation ceased. Conclusion: The implanted chip system can regulate the blood pressure successfully and keep the blood pressure in a lower constant level without adaptation.
文摘Building simulation is a powerful way to evaluate the performance of a building.The quality of simulation results however strongly depends on the accuracy of simulation input data.Especially for weather data files and occupant behaviour it is difficult to obtain accurate data.This paper evaluates the variability of building simulation results with regards to different weather data sets as well as different heating and cooling set points for a residential building in Victoria,Australia.Thermal comfort accord-ing to ASHRAE Standard 55,final energy consumption and peak cooling and heating loads are assessed.Simulations have been performed with Energy-Plus,and weather data for a multi-year approach have been generated with the software Meteonorm.The results show that different weather files for the same location as well as different conditioning set points can influence the results by approximately a factor of 2.
基金The project supported by the National Natural Science Foundation of China under project No.19572023
文摘In order to overcome the difficulties caused by singular optima, in the present paper, a new method for the solutions of structural topology optimization problems is proposed. The distinctive feature of this method is that instead of solving the original optimization problem directly, we turn to seeking the solutions of a sequence of approximated problems which are formulated by relaxing the constraints of the original problem to some extent. The approximated problem can be solved efficiently by employing the algorithms developed for sizing optimization problems because its solution is not singular. It can also be proved that when the relaxation parameter is tending to zero, the solution of the approximated problem will converge to the solution of the original problem uniformly. Numerical examples illustrate the effectiveness and validity of the present approach. Results are also compared with those obtained by traditional methods.
基金supported by NSFC (1097105011001073+3 种基金10901045)HNSFC(A2010000828)FHUST (XL201043QD201021)
文摘Let （M, T） be a closed manifold with an involution T. The fixed point set of T is F. In this article, bordism classes of the involutions with fixed point set F = ^mUi=1 CPi（1）×HPi（n） are determined, where CP（1） and HP（n） denote the 1-dimensional i=1 complex projective space and n-dimensional quaternionic projective space respectively, and n=2^p-2or n=2^p-1（p〉 1）.
基金supported by grant from National Nature Science Found (30670767)
文摘Objective： To evaluate the efficiency of an implanted chip system for the control of heart rate （HR）. Methods： The HR was recorded in six conscious Sprague-Dawley （SD） rats. An implanted chip system was designed to regulate the HR by stimulating the right cervical vagus nerve according to the feedback of real time HR. Each rat was subjected to 30-min regulation and 30-min recovery. The change of HR during the regulation period was compared with the control. The ECG was recorded during the experiment for 24 h. Results： The ECG signals were successfully recorded during the experiment. The HR was significantly decreased during the period of regulation compared with control （-79.3 ± 34.5, P 〈 0.01, n = 6） and then recovered to normal after regulation. Conclusion： The described implanted chip system can regulate the HR to a designated set point.
