In complete metric spaces, the common fixed point theorems for sequences of φ-type contraction set-valued mappings are established, and the corresponding random com- mon fixed point theorems for set-valued mappings a...In complete metric spaces, the common fixed point theorems for sequences of φ-type contraction set-valued mappings are established, and the corresponding random com- mon fixed point theorems for set-valued mappings are also obtained.展开更多
Formal concept analysis （FCA） is a discipline that studied the hierarchical structures induced by a binary relation between a pair of sets, and applies in data analysis, information retrieval, knowledge discovery, e...Formal concept analysis （FCA） is a discipline that studied the hierarchical structures induced by a binary relation between a pair of sets, and applies in data analysis, information retrieval, knowledge discovery, etc. In this paper, it is shown that a formal context T is equivalent to a set-valued mapping S ： G → P（М）, and formal concepts could be defined in the set-valued mapping S. It is known that the topology and set-valued mapping are linked. Hence, the advantage of this paper is that the conclusion make us to construct formal concept lattice based on the topology.展开更多
In this paper,we discuss the continuities of some natural mappings on pointcompact continuous set-valued mapping spaces with compact-open topology and obtain the properties of set-valued injective mappings,set-valued ...In this paper,we discuss the continuities of some natural mappings on pointcompact continuous set-valued mapping spaces with compact-open topology and obtain the properties of set-valued injective mappings,set-valued diagonal mappings,induced mappings,set-valued evaluation mappings,set-valued topological sum mappings and set-valued topological product mappings.展开更多
Under the conditions of compatility or sub -c ompatility between a sigle-valued mapping and set-valued mapping, this paper d iscusses the existence of common fixed points for two set-valued mappings and a single-value...Under the conditions of compatility or sub -c ompatility between a sigle-valued mapping and set-valued mapping, this paper d iscusses the existence of common fixed points for two set-valued mappings and a single-valued mapping in complete, convex matric spaces. We extend and develop the main results.展开更多
Fixed points for set_valued mappings from a metric space X (not necessarily complete) into B(X), the collection of nonempty bounded subsets of X are obtained. The result generalizes some known results.
In this paper, we give a survey on the PhD thesis of the first author. There theexistence and ergodicity on invariant measures of set-valued mappings are discused.
Consider the continuous map f:x→X and the continuous map f of K,(X)into itself induced by f,where X is a metric space and K(X)the space of all non-empty compact subsets of x endowed with the Hausdorff metric.Accordin...Consider the continuous map f:x→X and the continuous map f of K,(X)into itself induced by f,where X is a metric space and K(X)the space of all non-empty compact subsets of x endowed with the Hausdorff metric.According to the questions whether the chaoticity of f implies the chaoticity of f posed by Roman-Flores and when the chaoticity of f implies the chaoticity of f posed by Fedeli,we investigate the relations between f and f in the related dynamical properties such as transitivity,weakly mixing and mixing,etc.And by using the obtained results,we give the satisfied answers to Roman-Flores's question and Fedeli's question.展开更多
In this paper, we derive a general vector Ekeland variational principle for set-valued mappings, which has a dosed relation to εk^0 -efficient points of set-valued optimization problems. The main result presented in ...In this paper, we derive a general vector Ekeland variational principle for set-valued mappings, which has a dosed relation to εk^0 -efficient points of set-valued optimization problems. The main result presented in this paper is a generalization of the corresponding result in [3].展开更多
A new coincidence theorem for admissible set-valued mappings is proved in FC-spaces with a more general convexity structure. As applications, an abstract variational inequality, a KKM type theorem and a fixed point th...A new coincidence theorem for admissible set-valued mappings is proved in FC-spaces with a more general convexity structure. As applications, an abstract variational inequality, a KKM type theorem and a fixed point theorem are obtained. Our results generalize and improve the corresponding results in the literature.展开更多
We introduced a new class of fuzzy set-valued variational inclusions with (H,η)-monotone mappings. Using the resolvent operator method in Hilbert spaces, we suggested a new proximal point algorithm for finding approx...We introduced a new class of fuzzy set-valued variational inclusions with (H,η)-monotone mappings. Using the resolvent operator method in Hilbert spaces, we suggested a new proximal point algorithm for finding approximate solutions, which strongly converge to the exact solution of a fuzzy set-valued variational inclusion with (H,η)-monotone. The results improved and generalized the general quasi-variational inclusions with fuzzy set-valued mappings proposed by Jin and Tian Jin MM, Perturbed proximal point algorithm for general quasi-variational inclusions with fuzzy set-valued mappings, OR Transactions, 2005, 9(3): 31-38, (In Chinese); Tian YX, Generalized nonlinear implicit quasi-variational inclusions with fuzzy mappings, Computers & Mathematics with Applications, 2001, 42: 101-108.展开更多
A new fixed point theorem and the selection property for upper semi-continuous set-valued mappings in abstract convexity space are established. As their applications the existence of Nash equilibrium for n-person non-...A new fixed point theorem and the selection property for upper semi-continuous set-valued mappings in abstract convexity space are established. As their applications the existence of Nash equilibrium for n-person non-cooperative generalized games is proved.展开更多
SINCE 1956, Michael’s continuous selection theory has been applied to functional analysis,topology, approximation theory and other mathematical fields. In this letter, the concept ofthe pseudo-lower semicontinuity is...SINCE 1956, Michael’s continuous selection theory has been applied to functional analysis,topology, approximation theory and other mathematical fields. In this letter, the concept ofthe pseudo-lower semicontinuity is introduced, and a convex structure of metric space is de-fined. A continuous selection theorem for pseudo-lower semicontinuity is given. This展开更多
Network-on-Chip(NoC)systems are progressively deployed in connecting massively parallel megacore systems in the new computing architecture.As a result,application mapping has become an important aspect of performance ...Network-on-Chip(NoC)systems are progressively deployed in connecting massively parallel megacore systems in the new computing architecture.As a result,application mapping has become an important aspect of performance and scalability,as current trends require the distribution of computation across network nodes/points.In this paper,we survey a large number of mapping and scheduling techniques designed for NoC architectures.This time,we concentrated on 3D systems.We take a systematic literature review approach to analyze existing methods across static,dynamic,hybrid,and machine-learning-based approaches,alongside preliminary AI-based dynamic models in recent works.We classify them into several main aspects covering power-aware mapping,fault tolerance,load-balancing,and adaptive for dynamic workloads.Also,we assess the efficacy of each method against performance parameters,such as latency,throughput,response time,and error rate.Key challenges,including energy efficiency,real-time adaptability,and reinforcement learning integration,are highlighted as well.To the best of our knowledge,this is one of the recent reviews that identifies both traditional and AI-based algorithms for mapping over a modern NoC,and opens research challenges.Finally,we provide directions for future work toward improved adaptability and scalability via lightweight learned models and hierarchical mapping frameworks.展开更多
This paper presents an intelligent patrol and security robot integrating 2D LiDAR and RGB-D vision sensors to achieve semantic simultaneous localization and mapping(SLAM),real-time object recognition,and dynamic obsta...This paper presents an intelligent patrol and security robot integrating 2D LiDAR and RGB-D vision sensors to achieve semantic simultaneous localization and mapping(SLAM),real-time object recognition,and dynamic obstacle avoidance.The system employs the YOLOv7 deep-learning framework for semantic detection and SLAM for localization and mapping,fusing geometric and visual data to build a high-fidelity 2D semantic map.This map enables the robot to identify and project object information for improved situational awareness.Experimental results show that object recognition reached 95.4%mAP@0.5.Semantic completeness increased from 68.7%(single view)to 94.1%(multi-view)with an average position error of 3.1 cm.During navigation,the robot achieved 98.0%reliability,avoided moving obstacles in 90.0%of encounters,and replanned paths in 0.42 s on average.The integration of LiDAR-based SLAMwith deep-learning–driven semantic perception establishes a robust foundation for intelligent,adaptive,and safe robotic navigation in dynamic environments.展开更多
Populus species,important economic species combining rapid growth with broad ecological adaptability,play a critical role in sustainable forestry and bioenergy production.In this study,we performed whole-genome resequ...Populus species,important economic species combining rapid growth with broad ecological adaptability,play a critical role in sustainable forestry and bioenergy production.In this study,we performed whole-genome resequencing of 707 individuals from a full-sib family to develop comprehensive single nucleotide polymorphism(SNP)markers and constructed a high-density genetic linkage map of 19 linkage groups.The total genetic length of the map reached 3623.65 cM with an average marker interval of 0.34 cM.By integrating multidimensional phenotypic data,89 quantitative trait loci(QTL)associated with growth,wood physical and chemical properties,disease resistance,and leaf morphology traits were identified,with logarithm of odds(LOD)scores ranging from 3.13 to 21.72 Notably,pleiotropic analysis revealed significant colocaliza and phenotypic variance explained between 1.7% and 11.6%.-tion hotspots on chromosomes LG1,LG5,LG6,LG8,and LG14,with epistatic interaction network analysis confirming genetic basis of coordinated regulation across multiple traits.Functional annotation of 207 candidate genes showed that R2R3-MYB and bHLH transcription factors and pyruvate kinase-encoding genes were significantly enriched,suggesting crucial roles in lignin biosynthesis and carbon metabolic pathways.Allelic effect analysis indicated that the frequency of favorable alleles associated with target traits ranged from 0.20 to 0.55.Incorporation of QTL-derived favorable alleles as random effects into Bayesian-based genomic selection models led to an increase in prediction accuracy ranging from 1% to 21%,with Bayesian ridge regression as the best predictive model.This study provides valuable genomic resources and genetic insights for deciphering complex trait architecture and advancing molecular breeding in poplar.展开更多
Most Convolutional Neural Network(CNN)interpretation techniques visualize only the dominant cues that the model relies on,but there is no guarantee that these represent all the evidence the model uses for classificati...Most Convolutional Neural Network(CNN)interpretation techniques visualize only the dominant cues that the model relies on,but there is no guarantee that these represent all the evidence the model uses for classification.This limitation becomes critical when hidden secondary cues—potentially more meaningful than the visualized ones—remain undiscovered.This study introduces CasCAM(Cascaded Class Activation Mapping)to address this fundamental limitation through counterfactual reasoning.By asking“if this dominant cue were absent,what other evidence would the model use?”,CasCAM progressively masks the most salient features and systematically uncovers the hierarchy of classification evidence hidden beneath them.Experimental results demonstrate that CasCAM effectively discovers the full spectrum of reasoning evidence and can be universally applied with nine existing interpretation methods.展开更多
基金Foundation item： Supported by the Science Foundation from the Ministry of Education of Jiangsu Province（04KJD110168, 06KJBll0107）
文摘In complete metric spaces, the common fixed point theorems for sequences of φ-type contraction set-valued mappings are established, and the corresponding random com- mon fixed point theorems for set-valued mappings are also obtained.
基金the Young Foundation of Sichuan Province(06ZQ026-037) the Education Department Foundation of Sichuan Province(2005A1212006A084)
文摘Formal concept analysis （FCA） is a discipline that studied the hierarchical structures induced by a binary relation between a pair of sets, and applies in data analysis, information retrieval, knowledge discovery, etc. In this paper, it is shown that a formal context T is equivalent to a set-valued mapping S ： G → P（М）, and formal concepts could be defined in the set-valued mapping S. It is known that the topology and set-valued mapping are linked. Hence, the advantage of this paper is that the conclusion make us to construct formal concept lattice based on the topology.
基金Supported by the Science Foundation of Hangzhou Normal University（02010180）
文摘In this paper,we discuss the continuities of some natural mappings on pointcompact continuous set-valued mapping spaces with compact-open topology and obtain the properties of set-valued injective mappings,set-valued diagonal mappings,induced mappings,set-valued evaluation mappings,set-valued topological sum mappings and set-valued topological product mappings.
文摘Under the conditions of compatility or sub -c ompatility between a sigle-valued mapping and set-valued mapping, this paper d iscusses the existence of common fixed points for two set-valued mappings and a single-valued mapping in complete, convex matric spaces. We extend and develop the main results.
文摘Fixed points for set_valued mappings from a metric space X (not necessarily complete) into B(X), the collection of nonempty bounded subsets of X are obtained. The result generalizes some known results.
文摘In this paper, we give a survey on the PhD thesis of the first author. There theexistence and ergodicity on invariant measures of set-valued mappings are discused.
基金supported by the National Natural Science Foundation of China(Grant No.19971035)the Innovation Foundation of Jilin University(Grant No.2004CZ051).
文摘Consider the continuous map f:x→X and the continuous map f of K,(X)into itself induced by f,where X is a metric space and K(X)the space of all non-empty compact subsets of x endowed with the Hausdorff metric.According to the questions whether the chaoticity of f implies the chaoticity of f posed by Roman-Flores and when the chaoticity of f implies the chaoticity of f posed by Fedeli,we investigate the relations between f and f in the related dynamical properties such as transitivity,weakly mixing and mixing,etc.And by using the obtained results,we give the satisfied answers to Roman-Flores's question and Fedeli's question.
基金Supported by the National Natural Science Foundation of China(No.60574073,No.10471142)
文摘In this paper, we derive a general vector Ekeland variational principle for set-valued mappings, which has a dosed relation to εk^0 -efficient points of set-valued optimization problems. The main result presented in this paper is a generalization of the corresponding result in [3].
基金Supported by the National Natural Science Foundation of China (No. 10771173)the Natural Science Foundation of Henan Education Department (No. 2008B110012)+1 种基金the Science and Technology Program Project of Henan Province (No. 092300410187)the Youth Foundation of Luoyang Normal University
文摘A new coincidence theorem for admissible set-valued mappings is proved in FC-spaces with a more general convexity structure. As applications, an abstract variational inequality, a KKM type theorem and a fixed point theorem are obtained. Our results generalize and improve the corresponding results in the literature.
基金the Natural Science Foundation of China (No. 10471151)the Educational Science Foundation of Chongqing (KJ051307).
文摘We introduced a new class of fuzzy set-valued variational inclusions with (H,η)-monotone mappings. Using the resolvent operator method in Hilbert spaces, we suggested a new proximal point algorithm for finding approximate solutions, which strongly converge to the exact solution of a fuzzy set-valued variational inclusion with (H,η)-monotone. The results improved and generalized the general quasi-variational inclusions with fuzzy set-valued mappings proposed by Jin and Tian Jin MM, Perturbed proximal point algorithm for general quasi-variational inclusions with fuzzy set-valued mappings, OR Transactions, 2005, 9(3): 31-38, (In Chinese); Tian YX, Generalized nonlinear implicit quasi-variational inclusions with fuzzy mappings, Computers & Mathematics with Applications, 2001, 42: 101-108.
基金the National Natural Science Foundation of China(No.10561003)
文摘A new fixed point theorem and the selection property for upper semi-continuous set-valued mappings in abstract convexity space are established. As their applications the existence of Nash equilibrium for n-person non-cooperative generalized games is proved.
文摘SINCE 1956, Michael’s continuous selection theory has been applied to functional analysis,topology, approximation theory and other mathematical fields. In this letter, the concept ofthe pseudo-lower semicontinuity is introduced, and a convex structure of metric space is de-fined. A continuous selection theorem for pseudo-lower semicontinuity is given. This
文摘Network-on-Chip(NoC)systems are progressively deployed in connecting massively parallel megacore systems in the new computing architecture.As a result,application mapping has become an important aspect of performance and scalability,as current trends require the distribution of computation across network nodes/points.In this paper,we survey a large number of mapping and scheduling techniques designed for NoC architectures.This time,we concentrated on 3D systems.We take a systematic literature review approach to analyze existing methods across static,dynamic,hybrid,and machine-learning-based approaches,alongside preliminary AI-based dynamic models in recent works.We classify them into several main aspects covering power-aware mapping,fault tolerance,load-balancing,and adaptive for dynamic workloads.Also,we assess the efficacy of each method against performance parameters,such as latency,throughput,response time,and error rate.Key challenges,including energy efficiency,real-time adaptability,and reinforcement learning integration,are highlighted as well.To the best of our knowledge,this is one of the recent reviews that identifies both traditional and AI-based algorithms for mapping over a modern NoC,and opens research challenges.Finally,we provide directions for future work toward improved adaptability and scalability via lightweight learned models and hierarchical mapping frameworks.
基金supported by the National Science and Technology Council of under Grant NSTC 114-2221-E-130-007.
文摘This paper presents an intelligent patrol and security robot integrating 2D LiDAR and RGB-D vision sensors to achieve semantic simultaneous localization and mapping(SLAM),real-time object recognition,and dynamic obstacle avoidance.The system employs the YOLOv7 deep-learning framework for semantic detection and SLAM for localization and mapping,fusing geometric and visual data to build a high-fidelity 2D semantic map.This map enables the robot to identify and project object information for improved situational awareness.Experimental results show that object recognition reached 95.4%mAP@0.5.Semantic completeness increased from 68.7%(single view)to 94.1%(multi-view)with an average position error of 3.1 cm.During navigation,the robot achieved 98.0%reliability,avoided moving obstacles in 90.0%of encounters,and replanned paths in 0.42 s on average.The integration of LiDAR-based SLAMwith deep-learning–driven semantic perception establishes a robust foundation for intelligent,adaptive,and safe robotic navigation in dynamic environments.
基金supported by the National Key Research and Development Plan of China(2021YFD2200202)the Key Research and Development Project of Jiangsu Province,China(BE2021366).
文摘Populus species,important economic species combining rapid growth with broad ecological adaptability,play a critical role in sustainable forestry and bioenergy production.In this study,we performed whole-genome resequencing of 707 individuals from a full-sib family to develop comprehensive single nucleotide polymorphism(SNP)markers and constructed a high-density genetic linkage map of 19 linkage groups.The total genetic length of the map reached 3623.65 cM with an average marker interval of 0.34 cM.By integrating multidimensional phenotypic data,89 quantitative trait loci(QTL)associated with growth,wood physical and chemical properties,disease resistance,and leaf morphology traits were identified,with logarithm of odds(LOD)scores ranging from 3.13 to 21.72 Notably,pleiotropic analysis revealed significant colocaliza and phenotypic variance explained between 1.7% and 11.6%.-tion hotspots on chromosomes LG1,LG5,LG6,LG8,and LG14,with epistatic interaction network analysis confirming genetic basis of coordinated regulation across multiple traits.Functional annotation of 207 candidate genes showed that R2R3-MYB and bHLH transcription factors and pyruvate kinase-encoding genes were significantly enriched,suggesting crucial roles in lignin biosynthesis and carbon metabolic pathways.Allelic effect analysis indicated that the frequency of favorable alleles associated with target traits ranged from 0.20 to 0.55.Incorporation of QTL-derived favorable alleles as random effects into Bayesian-based genomic selection models led to an increase in prediction accuracy ranging from 1% to 21%,with Bayesian ridge regression as the best predictive model.This study provides valuable genomic resources and genetic insights for deciphering complex trait architecture and advancing molecular breeding in poplar.
基金supported by the Basic Science Research Program through the National Research Foundation of Korea(NRF),funded by the Ministry of Education(RS-2023-00249743).
文摘Most Convolutional Neural Network(CNN)interpretation techniques visualize only the dominant cues that the model relies on,but there is no guarantee that these represent all the evidence the model uses for classification.This limitation becomes critical when hidden secondary cues—potentially more meaningful than the visualized ones—remain undiscovered.This study introduces CasCAM(Cascaded Class Activation Mapping)to address this fundamental limitation through counterfactual reasoning.By asking“if this dominant cue were absent,what other evidence would the model use?”,CasCAM progressively masks the most salient features and systematically uncovers the hierarchy of classification evidence hidden beneath them.Experimental results demonstrate that CasCAM effectively discovers the full spectrum of reasoning evidence and can be universally applied with nine existing interpretation methods.
