Particulate photocatalytic systems using nanoscale photocatalysts have been developed as an attractive promising route for solar energy utilization to achieve resource sustainability and environmental harmony.Dynamic ...Particulate photocatalytic systems using nanoscale photocatalysts have been developed as an attractive promising route for solar energy utilization to achieve resource sustainability and environmental harmony.Dynamic obstacles are considered as the dominant inhibition for attaining satisfactory energy-conversion efficiency.The complexity in light absorption and carrier transfer behaviors has remained to be further clearly illuminated.It is challenging to trace the fast evolution of charge carriers involved in transfer migration and interfacial reactions within a micro–nano-single-particle photocatalyst,which requires spatiotemporal high resolution.In this review,comprehensive dynamic descriptions including irradiation field,carrier separation and transfer,and interfacial reaction processes have been elucidated and discussed.The corresponding mechanisms for revealing dynamic behaviors have been explained.In addition,numerical simulation and modeling methods have been illustrated for the description of the irradiation field.Experimental measurements and spatiotemporal characterizations have been clarified for the reflection of carrier behavior and probing detection of interfacial reactions.The representative applications have been introduced according to the reported advanced research works,and the relationships between mechanistic conclusions from variable spatiotemporal measurements and photocatalytic performance results in the specific photocatalytic reactions have been concluded.This review provides a collective perspective for the full understanding and thorough evaluation of the primary dynamic processes,which would be inspired for the improvement in designing solar-driven energy-conversion systems based on nanoscale particulate photocatalysts.展开更多
In wireless communication,the problem of authenticating the transmitter’s identity is challeng-ing,especially for those terminal devices in which the security schemes based on cryptography are approxi-mately unfeasib...In wireless communication,the problem of authenticating the transmitter’s identity is challeng-ing,especially for those terminal devices in which the security schemes based on cryptography are approxi-mately unfeasible owing to limited resources.In this paper,a physical layer authentication scheme is pro-posed to detect whether there is anomalous access by the attackers disguised as legitimate users.Explicitly,channel state information(CSI)is used as a form of fingerprint to exploit spatial discrimination among de-vices in the wireless network and machine learning(ML)technology is employed to promote the improve-ment of authentication accuracy.Considering that the falsified messages are not accessible for authenticator during the training phase,deep support vector data de-scription(Deep SVDD)is selected to solve the one-class classification(OCC)problem.Simulation results show that Deep SVDD based scheme can tackle the challenges of physical layer authentication in wireless communication environments.展开更多
The research aims to improve the performance of image recognition methods based on a description in the form of a set of keypoint descriptors.The main focus is on increasing the speed of establishing the relevance of ...The research aims to improve the performance of image recognition methods based on a description in the form of a set of keypoint descriptors.The main focus is on increasing the speed of establishing the relevance of object and etalon descriptions while maintaining the required level of classification efficiency.The class to be recognized is represented by an infinite set of images obtained from the etalon by applying arbitrary geometric transformations.It is proposed to reduce the descriptions for the etalon database by selecting the most significant descriptor components according to the information content criterion.The informativeness of an etalon descriptor is estimated by the difference of the closest distances to its own and other descriptions.The developed method determines the relevance of the full description of the recognized object with the reduced description of the etalons.Several practical models of the classifier with different options for establishing the correspondence between object descriptors and etalons are considered.The results of the experimental modeling of the proposed methods for a database including images of museum jewelry are presented.The test sample is formed as a set of images from the etalon database and out of the database with the application of geometric transformations of scale and rotation in the field of view.The practical problems of determining the threshold for the number of votes,based on which a classification decision is made,have been researched.Modeling has revealed the practical possibility of tenfold reducing descriptions with full preservation of classification accuracy.Reducing the descriptions by twenty times in the experiment leads to slightly decreased accuracy.The speed of the analysis increases in proportion to the degree of reduction.The use of reduction by the informativeness criterion confirmed the possibility of obtaining the most significant subset of features for classification,which guarantees a decent level of accuracy.展开更多
Hot deformation is a commonly employed processing technique to enhance the ductility and workability of Mg alloy.However,the hot deformation of Mg alloy is highly sensitive to factors such as temperature,strain rate,a...Hot deformation is a commonly employed processing technique to enhance the ductility and workability of Mg alloy.However,the hot deformation of Mg alloy is highly sensitive to factors such as temperature,strain rate,and strain,leading to complex flow behavior and an exceptionally narrow processing window for Mg alloy.To overcome the shortcomings of the conventional Arrhenius-type(AT)model,this study developed machine learning-based Arrhenius-type(ML-AT)models by combining the genetic algorithm(GA),particle swarm optimization(PSO),and artificial neural network(ANN).Results indicated that when describing the flow behavior of the AQ80 alloy,the PSO-ANN-AT model demonstrates the most prominent prediction accuracy and generalization ability among all ML-AT and AT models.Moreover,an activation energy-processing(AEP)map was established using the reconstructed flow stress and activation energy fields based on the PSO-ANN-AT model.Experimental validations revealed that this AEP map exhibits superior predictive capability for microstructure evolution compared to the one established by the traditional interpolation methods,ultimately contributing to the precise determination of the optimum processing window.These findings provide fresh insights into the accurate constitutive description and workability characterization of Mg alloy during hot deformation.展开更多
DD4hep serves as a generic detector description toolkit recommended for offline software development in next-generation high-energy physics(HEP)experiments.Conversely,Filmbox(FBX)stands out as a widely used 3D modelin...DD4hep serves as a generic detector description toolkit recommended for offline software development in next-generation high-energy physics(HEP)experiments.Conversely,Filmbox(FBX)stands out as a widely used 3D modeling file format within the 3D software industry.In this paper,we introduce a novel method that can automatically convert complex HEP detector geometries from DD4hep description into 3D models in the FBX format.The feasibility of this method was dem-onstrated by its application to the DD4hep description of the Compact Linear Collider detector and several sub-detectors of the super Tau-Charm facility and circular electron-positron collider experiments.The automatic DD4hep–FBX detector conversion interface provides convenience for further development of applications,such as detector design,simulation,visualization,data monitoring,and outreach,in HEP experiments.展开更多
Rotating Space Slender Flexible Structures(RSSFS)are extensively utilized in space operations because of their light weight,mobility,and low energy consumption.To realize the accurate space operation of the RSSFS,it i...Rotating Space Slender Flexible Structures(RSSFS)are extensively utilized in space operations because of their light weight,mobility,and low energy consumption.To realize the accurate space operation of the RSSFS,it is necessary to establish a precise mechanical model and develop a control algorithm with high precision.However,with the application of traditional control strategies,the RSSFS often suffers from the chattering phenomenon,which will aggravate structure vibration.In this paper,novel deformation description is put forward to balance modeling accuracy and computational efficiency of the RSSFS,which is better appropriate for real-time control.Besides,the Neural Network Sliding Mode Control(NNSMC)strategy modified by the hyperbolic tangent(tanh)function is put forward to compensate for modeling errors and reduce the chattering phenomenon,thereby improving the trajectory tracking accuracy of the RSSFS.Firstly,a mathematical model for the RSSFS is developed according to the novel deformation description and the vibration theory of flexible structure.Comparison of the deformation accuracy between different models proves that the novel modeling method proposed has high modeling accuracy.Next,the universal approximation property of the Radial Basis Function(RBF)neural network is put forward to determine and compensate for modeling errors,which consist of higher-order modes and the uncertainties of external disturbances.In addition,the tanh function is proposed as the reaching law in the conventional NNSMC strategy to suppress driving torque oscillation.The control law of modified NNSMC strategy and the adaptive law of weight coefficients are developed according to the Lyapunov theorem to guarantee the RSSFS stability.Finally,the simulation and physical experimental tests of the RSSFS with different control strategies are conducted.Experimental results show that the control law according to the novel deformation description and the modified NNSMC strategy can obtain accurate tracking of the rotation and reduce the vibration of the RSSFS simultaneously.展开更多
Cross-lingual image description,the task of generating image captions in a target language from images and descriptions in a source language,is addressed in this study through a novel approach that combines neural net...Cross-lingual image description,the task of generating image captions in a target language from images and descriptions in a source language,is addressed in this study through a novel approach that combines neural network models and semantic matching techniques.Experiments conducted on the Flickr8k and AraImg2k benchmark datasets,featuring images and descriptions in English and Arabic,showcase remarkable performance improvements over state-of-the-art methods.Our model,equipped with the Image&Cross-Language Semantic Matching module and the Target Language Domain Evaluation module,significantly enhances the semantic relevance of generated image descriptions.For English-to-Arabic and Arabic-to-English cross-language image descriptions,our approach achieves a CIDEr score for English and Arabic of 87.9%and 81.7%,respectively,emphasizing the substantial contributions of our methodology.Comparative analyses with previous works further affirm the superior performance of our approach,and visual results underscore that our model generates image captions that are both semantically accurate and stylistically consistent with the target language.In summary,this study advances the field of cross-lingual image description,offering an effective solution for generating image captions across languages,with the potential to impact multilingual communication and accessibility.Future research directions include expanding to more languages and incorporating diverse visual and textual data sources.展开更多
Image description task is the intersection of computer vision and natural language processing,and it has important prospects,including helping computers understand images and obtaining information for the visually imp...Image description task is the intersection of computer vision and natural language processing,and it has important prospects,including helping computers understand images and obtaining information for the visually impaired.This study presents an innovative approach employing deep reinforcement learning to enhance the accuracy of natural language descriptions of images.Our method focuses on refining the reward function in deep reinforcement learning,facilitating the generation of precise descriptions by aligning visual and textual features more closely.Our approach comprises three key architectures.Firstly,it utilizes Residual Network 101(ResNet-101)and Faster Region-based Convolutional Neural Network(Faster R-CNN)to extract average and local image features,respectively,followed by the implementation of a dual attention mechanism for intricate feature fusion.Secondly,the Transformer model is engaged to derive contextual semantic features from textual data.Finally,the generation of descriptive text is executed through a two-layer long short-term memory network(LSTM),directed by the value and reward functions.Compared with the image description method that relies on deep learning,the score of Bilingual Evaluation Understudy(BLEU-1)is 0.762,which is 1.6%higher,and the score of BLEU-4 is 0.299.Consensus-based Image Description Evaluation(CIDEr)scored 0.998,Recall-Oriented Understudy for Gisting Evaluation(ROUGE)scored 0.552,the latter improved by 0.36%.These results not only attest to the viability of our approach but also highlight its superiority in the realm of image description.Future research can explore the integration of our method with other artificial intelligence(AI)domains,such as emotional AI,to create more nuanced and context-aware systems.展开更多
This paper presents five Theridion species from the Yuelu Mt.,Changsha,including one new species and four known species:Theridion albioculum(♀♂);T.longipalpum(♂);T.obscuratum(♂);T.subundatum sp.nov.(♂♀);T.undat...This paper presents five Theridion species from the Yuelu Mt.,Changsha,including one new species and four known species:Theridion albioculum(♀♂);T.longipalpum(♂);T.obscuratum(♂);T.subundatum sp.nov.(♂♀);T.undatum(♀♂).We provided the morphological description,photos for the new species and photos for the known species in current paper.展开更多
The Dirac equation γ<sub>μ</sub>(δ<sub>μ</sub>-eA<sub>μ</sub>)Ψ=mc<sup>2</sup>Ψ describes the bound states of the electron under the action of external potentials...The Dirac equation γ<sub>μ</sub>(δ<sub>μ</sub>-eA<sub>μ</sub>)Ψ=mc<sup>2</sup>Ψ describes the bound states of the electron under the action of external potentials, A<sub>μ</sub>. We assumed that the fundamental form of the Dirac equation γ<sub>μ</sub>(δ<sub>μ</sub>-S<sub>μ</sub>)Ψ=0 should describe the stable particles (the electron, the proton and the dark-matter-particle (dmp)) bound to themselves under the action of their own potentials S<sub>μ</sub>. The new equation reveals that self energy is consequence of self action, it also reveals that the spin angular momentum is consequence of the dynamic structure of the stable particles. The quantitative results are the determination of their relative masses as well as the determination of the electromagnetic coupling constant.展开更多
To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressi...To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressions (FCDLs) is presented. The syntax and semantics of FCDLs are formally defined, and the forms of axioms and assertions in FCDLs knowledge bases are specified. FCDLs combine both fuzzy concepts from the fuzzy description logics (FDLs) and cut concepts from the extended fuzzy description logics (EFDLs) in the same theory. Furthermore, cut concepts are extended into comparison cut concepts in FCDLs to represent comparison expressions between fuzzy membership degrees, which are often used in practice but not supported by the other fuzzy extensions of description logics. FCDLs have more expressive power than FDLs and EFDLs, and are able to represent expressive fuzzy knowledge and to perform reasoning tasks based on them. Therefore, FCDLs can enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.展开更多
In order to mine production and security information from security supervising data and to ensure security and safety involved in production and decision-making,a clustering analysis algorithm for security supervising...In order to mine production and security information from security supervising data and to ensure security and safety involved in production and decision-making,a clustering analysis algorithm for security supervising data based on a semantic description in coal mines is studied.First,the semantic and numerical-based hybrid description method of security supervising data in coal mines is described.Secondly,the similarity measurement method of semantic and numerical data are separately given and a weight-based hybrid similarity measurement method for the security supervising data based on a semantic description in coal mines is presented.Thirdly,taking the hybrid similarity measurement method as the distance criteria and using a grid methodology for reference,an improved CURE clustering algorithm based on the grid is presented.Finally,the simulation results of a security supervising data set in coal mines validate the efficiency of the algorithm.展开更多
Sorghum is a versatile and resilient crop that’s been cultivated for thousands of years. It is known for its ability to thrive in hot, dry conditions and withstand periods of drought, making it an important food sour...Sorghum is a versatile and resilient crop that’s been cultivated for thousands of years. It is known for its ability to thrive in hot, dry conditions and withstand periods of drought, making it an important food source in many parts of the world. The objective of this study was to evaluate the adaptability and phenotypic description of introduced sorghum varieties in the North West region of Cameroon. The experiment was conducted in 2024 at the experimental farm of the University of Bamenda and was laid down in a Randomized Complete Block Design (RCBD) with four replications. The treatments were five introduced varieties from Mali and two varieties collected from the Northern region of Cameroon. The descriptive analysis revealed the morphological variation among the varieties on the stem, leaves and panicles of the plant. The analysis of growth and yield parameters revealed significant variation among the traits estimated. The highest emergence percentage was (96.62%) recorded by Wassanio, highest plant height (185.7 cm) recorded by Doussousouma-Nio, highest number of leaves (14) given by White sorghum, highest leaves length (95.37 cm) obtained by white sorghum, highest number of tillers (0.625) expressed by Grinkan, highest plant circumference (9.65) given by white sorghum. Additionally, the top 3 high-yielding introduced sorghum varieties were Tiandougou Coura (10.35 t/ha), Wassanio (9.9 t/ha) and Doussousouma-Nio (8.4 t/ha). These introduced varieties could be recommended for multi trials evaluation and release process in the North West Region of the country. Whereas, the white sorghum collected from the Northern region of the country was not adapted to the North West region.展开更多
The last-stage larval external morphologies of Pleuroptya rulalis (Scopoli), Pleuroptya harutai (Inoue) and Botyodes diniasalis (Walker) of Pyraustinae are described and illustrated. All specimens are deposited ...The last-stage larval external morphologies of Pleuroptya rulalis (Scopoli), Pleuroptya harutai (Inoue) and Botyodes diniasalis (Walker) of Pyraustinae are described and illustrated. All specimens are deposited in the Insect Collection of Department of Forest Resources Protection, Kangwon National University, Korea.展开更多
To accelerate the training of support vector domain description (SVDD), confidence support vector domain description (CSVDD) is proposed based on the observation that the description boundary is determined by a sm...To accelerate the training of support vector domain description (SVDD), confidence support vector domain description (CSVDD) is proposed based on the observation that the description boundary is determined by a small subset of training data called support vectors. Namely, the number of training samples in the userdefined sphere is calculated and taken as the confidence measure, according to which the training samples are ranked in ascending order. Those former ranked ones are selected as the boundary targets for the SVDD training. Simulations on UCI data demonstrate the effectiveness and superiority of CSVDD: the number of training targets and the training time are reduced without any loss of accuracy.展开更多
To enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called vague ALC which is based on vague sets is present...To enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called vague ALC which is based on vague sets is presented. The definition of vague set is introduced and then the syntax and semantics of vague ALC are formally defined. The forms of axioms and assertions in the vague ALC knowledge bases are specified. Finally, the tableau algorithm is developed for the reasoning in the vague ALC. The vague ALC based on vague set uses two degrees of membership instead of a single membership degree in the fuzzy sets and is more accurate in representing the imprecision in the degrees of membership. The vague ALC has more expressive power than ALC and can represent fuzzy knowledge and perform reasoning tasks based on them. Therefore, the vague ALC can enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.展开更多
To solve the extended fuzzy description logic with qualifying number restriction (EFALCQ) reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction (ALCQ), and ALCQ...To solve the extended fuzzy description logic with qualifying number restriction (EFALCQ) reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction (ALCQ), and ALCQ reasoning results are reused to prove the complexity of EFALCQ reasoning problems. The ALCQ simulation method for the consistency of EFALCQ is proposed. This method reduces EFALCQ satisfiability into EFALCQ consistency, and uses EFALCQ satisfiability to discretely simulate EFALCQ satdomain. It is proved that the reasoning complexity for EFALCQ satisfiability, consistency and sat-domain is PSPACE-complete.展开更多
To solve the shortage problem of the semantic descrip- tion scope and verification capability existed in the security policy, a semantic description method for the security policy based on ontology is presented. By de...To solve the shortage problem of the semantic descrip- tion scope and verification capability existed in the security policy, a semantic description method for the security policy based on ontology is presented. By defining the basic elements of the security policy, the relationship model between the ontology and the concept of security policy based on the Web ontology language (OWL) is established, so as to construct the semantic description framework of the security policy. Through modeling and reasoning in the Protege, the ontology model of authorization policy is proposed, and the first-order predicate description logic is introduced to the analysis and verification of the model. Results show that the ontology-based semantic description of security policy has better flexibility and practicality.展开更多
基金supported by the Project of National Natural Science Foundation of China(22102095,21773153)the National Key Basic Research and Development Program(2018YFB1502001)financial support from the program of China Scholarships Council(No.202306230242).
文摘Particulate photocatalytic systems using nanoscale photocatalysts have been developed as an attractive promising route for solar energy utilization to achieve resource sustainability and environmental harmony.Dynamic obstacles are considered as the dominant inhibition for attaining satisfactory energy-conversion efficiency.The complexity in light absorption and carrier transfer behaviors has remained to be further clearly illuminated.It is challenging to trace the fast evolution of charge carriers involved in transfer migration and interfacial reactions within a micro–nano-single-particle photocatalyst,which requires spatiotemporal high resolution.In this review,comprehensive dynamic descriptions including irradiation field,carrier separation and transfer,and interfacial reaction processes have been elucidated and discussed.The corresponding mechanisms for revealing dynamic behaviors have been explained.In addition,numerical simulation and modeling methods have been illustrated for the description of the irradiation field.Experimental measurements and spatiotemporal characterizations have been clarified for the reflection of carrier behavior and probing detection of interfacial reactions.The representative applications have been introduced according to the reported advanced research works,and the relationships between mechanistic conclusions from variable spatiotemporal measurements and photocatalytic performance results in the specific photocatalytic reactions have been concluded.This review provides a collective perspective for the full understanding and thorough evaluation of the primary dynamic processes,which would be inspired for the improvement in designing solar-driven energy-conversion systems based on nanoscale particulate photocatalysts.
基金partially supported by the National Key Research and Development Project under Grant2020YFB1806805Social Development Projects of Jiangsu Science and Technology Department under Grant No.BE2018704
文摘In wireless communication,the problem of authenticating the transmitter’s identity is challeng-ing,especially for those terminal devices in which the security schemes based on cryptography are approxi-mately unfeasible owing to limited resources.In this paper,a physical layer authentication scheme is pro-posed to detect whether there is anomalous access by the attackers disguised as legitimate users.Explicitly,channel state information(CSI)is used as a form of fingerprint to exploit spatial discrimination among de-vices in the wireless network and machine learning(ML)technology is employed to promote the improve-ment of authentication accuracy.Considering that the falsified messages are not accessible for authenticator during the training phase,deep support vector data de-scription(Deep SVDD)is selected to solve the one-class classification(OCC)problem.Simulation results show that Deep SVDD based scheme can tackle the challenges of physical layer authentication in wireless communication environments.
基金This research was funded by Prince Sattam bin Abdulaziz University(Project Number PSAU/2023/01/25387).
文摘The research aims to improve the performance of image recognition methods based on a description in the form of a set of keypoint descriptors.The main focus is on increasing the speed of establishing the relevance of object and etalon descriptions while maintaining the required level of classification efficiency.The class to be recognized is represented by an infinite set of images obtained from the etalon by applying arbitrary geometric transformations.It is proposed to reduce the descriptions for the etalon database by selecting the most significant descriptor components according to the information content criterion.The informativeness of an etalon descriptor is estimated by the difference of the closest distances to its own and other descriptions.The developed method determines the relevance of the full description of the recognized object with the reduced description of the etalons.Several practical models of the classifier with different options for establishing the correspondence between object descriptors and etalons are considered.The results of the experimental modeling of the proposed methods for a database including images of museum jewelry are presented.The test sample is formed as a set of images from the etalon database and out of the database with the application of geometric transformations of scale and rotation in the field of view.The practical problems of determining the threshold for the number of votes,based on which a classification decision is made,have been researched.Modeling has revealed the practical possibility of tenfold reducing descriptions with full preservation of classification accuracy.Reducing the descriptions by twenty times in the experiment leads to slightly decreased accuracy.The speed of the analysis increases in proportion to the degree of reduction.The use of reduction by the informativeness criterion confirmed the possibility of obtaining the most significant subset of features for classification,which guarantees a decent level of accuracy.
基金supported by the National Natural Science Foundation of China(Grant Nos.52305361,51775194,52090043)China Postdoctoral Science Foundation(2023M741245)the National Key Research and Development Program of China(2022YFB3706903).
文摘Hot deformation is a commonly employed processing technique to enhance the ductility and workability of Mg alloy.However,the hot deformation of Mg alloy is highly sensitive to factors such as temperature,strain rate,and strain,leading to complex flow behavior and an exceptionally narrow processing window for Mg alloy.To overcome the shortcomings of the conventional Arrhenius-type(AT)model,this study developed machine learning-based Arrhenius-type(ML-AT)models by combining the genetic algorithm(GA),particle swarm optimization(PSO),and artificial neural network(ANN).Results indicated that when describing the flow behavior of the AQ80 alloy,the PSO-ANN-AT model demonstrates the most prominent prediction accuracy and generalization ability among all ML-AT and AT models.Moreover,an activation energy-processing(AEP)map was established using the reconstructed flow stress and activation energy fields based on the PSO-ANN-AT model.Experimental validations revealed that this AEP map exhibits superior predictive capability for microstructure evolution compared to the one established by the traditional interpolation methods,ultimately contributing to the precise determination of the optimum processing window.These findings provide fresh insights into the accurate constitutive description and workability characterization of Mg alloy during hot deformation.
基金supported by the National Natural Science Foundation of China(Nos.12175321,11975021,11675275,and U1932101)National Key Research and Development Program of China(Nos.2023YFA1606000 and 2020YFA0406400)+2 种基金State Key Laboratory of Nuclear Physics and Technology,Peking University(Nos.NPT2020KFY04 and NPT2020KFY05)Strategic Priority Research Program of the Chinese Academy of Sciences(No.XDA10010900)National College Students Science and Technology Innovation Project,and Undergraduate Base Scientific Research Project of Sun Yat-sen University。
文摘DD4hep serves as a generic detector description toolkit recommended for offline software development in next-generation high-energy physics(HEP)experiments.Conversely,Filmbox(FBX)stands out as a widely used 3D modeling file format within the 3D software industry.In this paper,we introduce a novel method that can automatically convert complex HEP detector geometries from DD4hep description into 3D models in the FBX format.The feasibility of this method was dem-onstrated by its application to the DD4hep description of the Compact Linear Collider detector and several sub-detectors of the super Tau-Charm facility and circular electron-positron collider experiments.The automatic DD4hep–FBX detector conversion interface provides convenience for further development of applications,such as detector design,simulation,visualization,data monitoring,and outreach,in HEP experiments.
基金Supported by the Applied Basic Research Program of Liaoning Province,China(No.2023JH2/101300159)the National Natural Science Foundation of China(No.52275090).
文摘Rotating Space Slender Flexible Structures(RSSFS)are extensively utilized in space operations because of their light weight,mobility,and low energy consumption.To realize the accurate space operation of the RSSFS,it is necessary to establish a precise mechanical model and develop a control algorithm with high precision.However,with the application of traditional control strategies,the RSSFS often suffers from the chattering phenomenon,which will aggravate structure vibration.In this paper,novel deformation description is put forward to balance modeling accuracy and computational efficiency of the RSSFS,which is better appropriate for real-time control.Besides,the Neural Network Sliding Mode Control(NNSMC)strategy modified by the hyperbolic tangent(tanh)function is put forward to compensate for modeling errors and reduce the chattering phenomenon,thereby improving the trajectory tracking accuracy of the RSSFS.Firstly,a mathematical model for the RSSFS is developed according to the novel deformation description and the vibration theory of flexible structure.Comparison of the deformation accuracy between different models proves that the novel modeling method proposed has high modeling accuracy.Next,the universal approximation property of the Radial Basis Function(RBF)neural network is put forward to determine and compensate for modeling errors,which consist of higher-order modes and the uncertainties of external disturbances.In addition,the tanh function is proposed as the reaching law in the conventional NNSMC strategy to suppress driving torque oscillation.The control law of modified NNSMC strategy and the adaptive law of weight coefficients are developed according to the Lyapunov theorem to guarantee the RSSFS stability.Finally,the simulation and physical experimental tests of the RSSFS with different control strategies are conducted.Experimental results show that the control law according to the novel deformation description and the modified NNSMC strategy can obtain accurate tracking of the rotation and reduce the vibration of the RSSFS simultaneously.
文摘Cross-lingual image description,the task of generating image captions in a target language from images and descriptions in a source language,is addressed in this study through a novel approach that combines neural network models and semantic matching techniques.Experiments conducted on the Flickr8k and AraImg2k benchmark datasets,featuring images and descriptions in English and Arabic,showcase remarkable performance improvements over state-of-the-art methods.Our model,equipped with the Image&Cross-Language Semantic Matching module and the Target Language Domain Evaluation module,significantly enhances the semantic relevance of generated image descriptions.For English-to-Arabic and Arabic-to-English cross-language image descriptions,our approach achieves a CIDEr score for English and Arabic of 87.9%and 81.7%,respectively,emphasizing the substantial contributions of our methodology.Comparative analyses with previous works further affirm the superior performance of our approach,and visual results underscore that our model generates image captions that are both semantically accurate and stylistically consistent with the target language.In summary,this study advances the field of cross-lingual image description,offering an effective solution for generating image captions across languages,with the potential to impact multilingual communication and accessibility.Future research directions include expanding to more languages and incorporating diverse visual and textual data sources.
基金This research was funded by the Natural Science Foundation of Gansu Province with Approval Numbers 20JR10RA334 and 21JR7RA570Funding is provided for the 2021 Longyuan Youth Innovation and Entrepreneurship Talent Project with Approval Number 2021LQGR20+1 种基金the University Level Innovation Project with Approval NumbersGZF2020XZD18jbzxyb2018-01 of Gansu University of Political Science and Law.
文摘Image description task is the intersection of computer vision and natural language processing,and it has important prospects,including helping computers understand images and obtaining information for the visually impaired.This study presents an innovative approach employing deep reinforcement learning to enhance the accuracy of natural language descriptions of images.Our method focuses on refining the reward function in deep reinforcement learning,facilitating the generation of precise descriptions by aligning visual and textual features more closely.Our approach comprises three key architectures.Firstly,it utilizes Residual Network 101(ResNet-101)and Faster Region-based Convolutional Neural Network(Faster R-CNN)to extract average and local image features,respectively,followed by the implementation of a dual attention mechanism for intricate feature fusion.Secondly,the Transformer model is engaged to derive contextual semantic features from textual data.Finally,the generation of descriptive text is executed through a two-layer long short-term memory network(LSTM),directed by the value and reward functions.Compared with the image description method that relies on deep learning,the score of Bilingual Evaluation Understudy(BLEU-1)is 0.762,which is 1.6%higher,and the score of BLEU-4 is 0.299.Consensus-based Image Description Evaluation(CIDEr)scored 0.998,Recall-Oriented Understudy for Gisting Evaluation(ROUGE)scored 0.552,the latter improved by 0.36%.These results not only attest to the viability of our approach but also highlight its superiority in the realm of image description.Future research can explore the integration of our method with other artificial intelligence(AI)domains,such as emotional AI,to create more nuanced and context-aware systems.
基金supported by the Scientific Research Foundation of Education Department of Jiangxi Province(Grant No.GJJ201434)the Key Natural Science Foundation of Chongqing(cstc2019jcyj-zdxmX0006)+1 种基金Chongqing Provincial Funding for Postdoc to Muhammad Irfan(cstc2021jcyj-bsh0196)Foreign Youth Talent Program Funding(QN2022168002L).
文摘This paper presents five Theridion species from the Yuelu Mt.,Changsha,including one new species and four known species:Theridion albioculum(♀♂);T.longipalpum(♂);T.obscuratum(♂);T.subundatum sp.nov.(♂♀);T.undatum(♀♂).We provided the morphological description,photos for the new species and photos for the known species in current paper.
文摘The Dirac equation γ<sub>μ</sub>(δ<sub>μ</sub>-eA<sub>μ</sub>)Ψ=mc<sup>2</sup>Ψ describes the bound states of the electron under the action of external potentials, A<sub>μ</sub>. We assumed that the fundamental form of the Dirac equation γ<sub>μ</sub>(δ<sub>μ</sub>-S<sub>μ</sub>)Ψ=0 should describe the stable particles (the electron, the proton and the dark-matter-particle (dmp)) bound to themselves under the action of their own potentials S<sub>μ</sub>. The new equation reveals that self energy is consequence of self action, it also reveals that the spin angular momentum is consequence of the dynamic structure of the stable particles. The quantitative results are the determination of their relative masses as well as the determination of the electromagnetic coupling constant.
基金The National Natural Science Foundation of China(No.60373066,60425206,90412003),the National Basic Research Pro-gram of China (973Program)(No.2002CB312000),the Innovation Plan for Jiangsu High School Graduate Student, the High TechnologyResearch Project of Jiangsu Province (No.BG2005032), and the Weap-onry Equipment Foundation of PLA Equipment Ministry ( No.51406020105JB8103).
文摘To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressions (FCDLs) is presented. The syntax and semantics of FCDLs are formally defined, and the forms of axioms and assertions in FCDLs knowledge bases are specified. FCDLs combine both fuzzy concepts from the fuzzy description logics (FDLs) and cut concepts from the extended fuzzy description logics (EFDLs) in the same theory. Furthermore, cut concepts are extended into comparison cut concepts in FCDLs to represent comparison expressions between fuzzy membership degrees, which are often used in practice but not supported by the other fuzzy extensions of description logics. FCDLs have more expressive power than FDLs and EFDLs, and are able to represent expressive fuzzy knowledge and to perform reasoning tasks based on them. Therefore, FCDLs can enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.
基金The National Natural Science Foundation of China(No.50674086)Specialized Research Fund for the Doctoral Program of Higher Education(No.20060290508)the Postdoctoral Scientific Program of Jiangsu Province(No.0701045B)
文摘In order to mine production and security information from security supervising data and to ensure security and safety involved in production and decision-making,a clustering analysis algorithm for security supervising data based on a semantic description in coal mines is studied.First,the semantic and numerical-based hybrid description method of security supervising data in coal mines is described.Secondly,the similarity measurement method of semantic and numerical data are separately given and a weight-based hybrid similarity measurement method for the security supervising data based on a semantic description in coal mines is presented.Thirdly,taking the hybrid similarity measurement method as the distance criteria and using a grid methodology for reference,an improved CURE clustering algorithm based on the grid is presented.Finally,the simulation results of a security supervising data set in coal mines validate the efficiency of the algorithm.
文摘Sorghum is a versatile and resilient crop that’s been cultivated for thousands of years. It is known for its ability to thrive in hot, dry conditions and withstand periods of drought, making it an important food source in many parts of the world. The objective of this study was to evaluate the adaptability and phenotypic description of introduced sorghum varieties in the North West region of Cameroon. The experiment was conducted in 2024 at the experimental farm of the University of Bamenda and was laid down in a Randomized Complete Block Design (RCBD) with four replications. The treatments were five introduced varieties from Mali and two varieties collected from the Northern region of Cameroon. The descriptive analysis revealed the morphological variation among the varieties on the stem, leaves and panicles of the plant. The analysis of growth and yield parameters revealed significant variation among the traits estimated. The highest emergence percentage was (96.62%) recorded by Wassanio, highest plant height (185.7 cm) recorded by Doussousouma-Nio, highest number of leaves (14) given by White sorghum, highest leaves length (95.37 cm) obtained by white sorghum, highest number of tillers (0.625) expressed by Grinkan, highest plant circumference (9.65) given by white sorghum. Additionally, the top 3 high-yielding introduced sorghum varieties were Tiandougou Coura (10.35 t/ha), Wassanio (9.9 t/ha) and Doussousouma-Nio (8.4 t/ha). These introduced varieties could be recommended for multi trials evaluation and release process in the North West Region of the country. Whereas, the white sorghum collected from the Northern region of the country was not adapted to the North West region.
文摘The last-stage larval external morphologies of Pleuroptya rulalis (Scopoli), Pleuroptya harutai (Inoue) and Botyodes diniasalis (Walker) of Pyraustinae are described and illustrated. All specimens are deposited in the Insect Collection of Department of Forest Resources Protection, Kangwon National University, Korea.
基金supported by the National Natural Science Foundation of China(6057407560674108).
文摘To accelerate the training of support vector domain description (SVDD), confidence support vector domain description (CSVDD) is proposed based on the observation that the description boundary is determined by a small subset of training data called support vectors. Namely, the number of training samples in the userdefined sphere is calculated and taken as the confidence measure, according to which the training samples are ranked in ascending order. Those former ranked ones are selected as the boundary targets for the SVDD training. Simulations on UCI data demonstrate the effectiveness and superiority of CSVDD: the number of training targets and the training time are reduced without any loss of accuracy.
基金Program for New Century Excellent Talents in Uni-versity (NoNCET-05-0288)
文摘To enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called vague ALC which is based on vague sets is presented. The definition of vague set is introduced and then the syntax and semantics of vague ALC are formally defined. The forms of axioms and assertions in the vague ALC knowledge bases are specified. Finally, the tableau algorithm is developed for the reasoning in the vague ALC. The vague ALC based on vague set uses two degrees of membership instead of a single membership degree in the fuzzy sets and is more accurate in representing the imprecision in the degrees of membership. The vague ALC has more expressive power than ALC and can represent fuzzy knowledge and perform reasoning tasks based on them. Therefore, the vague ALC can enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.
基金The National Natural Science Foundation of China(No60403016)the Weaponry Equipment Foundation of PLA Equip-ment Ministry (No51406020105JB8103)
文摘To solve the extended fuzzy description logic with qualifying number restriction (EFALCQ) reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction (ALCQ), and ALCQ reasoning results are reused to prove the complexity of EFALCQ reasoning problems. The ALCQ simulation method for the consistency of EFALCQ is proposed. This method reduces EFALCQ satisfiability into EFALCQ consistency, and uses EFALCQ satisfiability to discretely simulate EFALCQ satdomain. It is proved that the reasoning complexity for EFALCQ satisfiability, consistency and sat-domain is PSPACE-complete.
基金Supported by the National Natural Science Foundation of China(61462020,61363006,61163057)the Guangxi Experiment Center of Information Science Foundation(20130329)the Guangxi Natural Science Foundation(2014GXNSFAA118375)
文摘To solve the shortage problem of the semantic descrip- tion scope and verification capability existed in the security policy, a semantic description method for the security policy based on ontology is presented. By defining the basic elements of the security policy, the relationship model between the ontology and the concept of security policy based on the Web ontology language (OWL) is established, so as to construct the semantic description framework of the security policy. Through modeling and reasoning in the Protege, the ontology model of authorization policy is proposed, and the first-order predicate description logic is introduced to the analysis and verification of the model. Results show that the ontology-based semantic description of security policy has better flexibility and practicality.
基金supported by the Fund of the National Natural Science Foundation of China (30570196)the International Cooperation Project of Hubei Provincial Department of Education (G200612001)
文摘The female of Sinodorcadion punctulatum is reported for the first time, and the photographs of adult are presented.