A new species of the genus Sinacosa is described from Nangunhe Nature Reserve,Yunnan,China:S.nan-gunheensis sp.n.(♂♀).Morphological descriptions,photos and illustrations of copulatory organs are provided,and a key t...A new species of the genus Sinacosa is described from Nangunhe Nature Reserve,Yunnan,China:S.nan-gunheensis sp.n.(♂♀).Morphological descriptions,photos and illustrations of copulatory organs are provided,and a key to the Sinacosa species is also provided.展开更多
The subfamily Oxyporinae is easily distinguished from the other subfamilies of the family Staphylinidae by its large,colourful body,elongate mandibles and large crescent-shaped terminal labial palpi.It was once compri...The subfamily Oxyporinae is easily distinguished from the other subfamilies of the family Staphylinidae by its large,colourful body,elongate mandibles and large crescent-shaped terminal labial palpi.It was once comprised only one genus,Oxyporus Fabricius,1775,then a new genus was separated from the nominated genus (Nakane&Sawade,1956),namely Pseudoxyporus.Although the taxonomic validity of Pseudoxyporus was controversial and was treated as a subgenus of Oxyporus (Campbell,1969;Hanley&Goodrich,1995;Herman,2001;Zheng&Song,2010;Tokareva et al.,2021),rencent catalogues and online checklist usually treated it as a valid genus (Shibata,1997;Ito,1999;Schülke&Smetana,2015;Kim et al.,2016;Newton,2022).Based on the structural differences in parameres of aedeagus,and the more cylindrical antennomeres,here we followed the 2-genera-system.展开更多
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.展开更多
The author of this book passionately recounts the tumultuous Life of Han Yu through microscopic,on-the-ground historical descriptions and analyses,also touching upon the literati and politicians of Han Yu's era,as...The author of this book passionately recounts the tumultuous Life of Han Yu through microscopic,on-the-ground historical descriptions and analyses,also touching upon the literati and politicians of Han Yu's era,as well as the political and Literary climate of the mid-Tang,guiding the reader into a truly tangible,vivid,and morally rich portrayal of the Confucian scholar Han Yu.展开更多
Towards optimal k-prototype discovery,k-means-like algorithms give us inspirations of central samples collection,yet the unstable seed samples selection,the hypothesis of a circle-like pattern,and the unknown K are st...Towards optimal k-prototype discovery,k-means-like algorithms give us inspirations of central samples collection,yet the unstable seed samples selection,the hypothesis of a circle-like pattern,and the unknown K are still challenges,particularly for non-predetermined data patterns.We propose an adaptive k-prototype clustering method(kProtoClust)which launches cluster exploration with a sketchy division of K clusters and finds evidence for splitting and merging.On behalf of a group of data samples,support vectors and outliers from the perspective of support vector data description are not the appropriate candidates for prototypes,while inner samples become the first candidates for instability reduction of seeds.Different from the representation of samples in traditional,we extend sample selection by encouraging fictitious samples to emphasize the representativeness of patterns.To get out of the circle-like pattern limitation,we introduce a convex decomposition-based strategy of one-cluster-multiple-prototypes in which convex hulls of varying sizes are prototypes,and accurate connection analysis makes the support of arbitrary cluster shapes possible.Inspired by geometry,the three presented strategies make kProtoClust bypassing the K dependence well with the global and local position relationship analysis for data samples.Experimental results on twelve datasets of irregular cluster shape or high dimension suggest that kProtoClust handles arbitrary cluster shapes with prominent accuracy even without the prior knowledge K.展开更多
The Knowledge Economic City (KEC) of Al Madinah Al Munawwarah is one of the major projects and represents the cornerstone for the new development activities for Al Madinah. The study area contains different geological...The Knowledge Economic City (KEC) of Al Madinah Al Munawwarah is one of the major projects and represents the cornerstone for the new development activities for Al Madinah. The study area contains different geological units dominated by basalt and overlain by surface deposits. The surface soils vary in thickness and can be classified into well-graded SAND with silt and gravel (SW-SM), silty SAND with gravel (SM), silty GRAVEL with sand (GM), and sandy SILTY clay (CL-ML). The subsurface soil obtained from the drilled boreholes can be classified into poorly graded GRAVEL (GP), well-graded GRAVEL with sand (GW), poorly graded GRAVEL with silt (GP-GM), silty CLAYEY gravel with sand (GC-GM), silty SAND with gravel (SM), silt with SAND (ML), and silty CLAY with sand (CL-ML), sandy lean CLAY (CL), and lean CLAY (CL). The relative density of the deposit and the different gravel sizes intercalated with the soil influenced the Standard Penetration Test (SPT) values. The SPT N values are high and approach refusal even at shallow depths. The shallow refusal depth (0.10 to 0.90 m) of the Dynamic Cone Penetration Test (DCPT) was observed. Generally, the soil can be described as inactive with low plasticity and dense to very dense consistency. The basalt of the KEC site is characterized by slightly (W2) to highly (W4) weathering, their strength ranges from moderate (S4) to very strong (S2), and the Rock Quality Designation (RQD) ranges from very poor (R5) to excellent (R1). The engineering geological map of the KEC characterized the geoengineering properties of the soil and rock materials and classified them into many zones. The high sulphate (SO42−) and chloride (Cl−) contents in groundwater call for protective measures for foundation concrete. The current study revealed that geohazard(s) mitigation measures concerning floods, volcanic eruptions, and earthquakes should be considered.展开更多
Ti-Hf-Zr-Nb-Ta refractory high-entropy alloys(RHEAs)exhibiting a dual-phase structure resulting from martensitic transformation offer significant ductility enhancement,but their design requires precise control of the ...Ti-Hf-Zr-Nb-Ta refractory high-entropy alloys(RHEAs)exhibiting a dual-phase structure resulting from martensitic transformation offer significant ductility enhancement,but their design requires precise control of the phase stability between body-centred cubic(BCC)and hexagonal close-packed(HCP)phases.This study establishes a comprehensive thermodynamic database for the Ti-Hf-Zr-Nb-Ta system using the 3rd-generation Calculation of Phase Diagrams(CALPHAD)model.The reliability of the database is validated by the strong agreement between the calculated thermodynamic properties and phase equilibria and the experimental data for pure element,as well as for binary and ternary systems.Utilizing this database,the phase stability of various RHEAs within this system was predicted,showing that all RHEAs exhibit a BCC single phase over a wide temperature range.The HCP phase is stable and coexists with BCC phase in both quaternary and quinary RHEAs at lower temepratures.Calculations of the Gibbs energy difference between the BCC and HCP phases(ΔG^(HCP−BCC))in TiHfZrTa_(x) and TiHfZrNb_(x) alloys reveal that both Nb and Ta stabilize the BCC phase,with Nb exerting a stronger influence.Significantly,a metastable BCC+HCP region in the TiHfZrTa_(x) and TiHfZrNb_(x) alloys with ΔG^(HCP−BCC) ranging from 1786 to 2230 J/mol.Utilizing this finding,the critical Nb composition range(0.0367–0.0712)to achieve the metastable BCC+HCP phase is precisely predicted in TiHfZrTa_(0.2)Nb_(x) alloys,enabling targeted design for martensitic transformation.The predictions show excellent agreement with existing experimental measurements.展开更多
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.展开更多
In modern society,the globalization of literary works is evident,with exceptional literary pieces from various countries spreading worldwide.Among these,children’s literature,due to the specificity of its target audi...In modern society,the globalization of literary works is evident,with exceptional literary pieces from various countries spreading worldwide.Among these,children’s literature,due to the specificity of its target audience,imposes distinct requirements on children’s books,compelling translators to approach the text from a child’s perspective.“The Little Prince”has renowned both within and outside of China,and a careful reading of this work can provide us with much inspiration.To this end,the present study adopts the perspective of Gideon Toury’s Descriptive Translation Studies to conduct an in-depth analysis of the different English and Chinese translations in conjunction with the original French novel.This approach aims to better guide literary research and explores translation methods for children’s literature through the analysis of translation norms and rules.展开更多
The simultaneous description for nuclear matter and finite nuclei has been a long-standing challenge in nuclear ab initio theory.With the success for nuclear matter,the relativistic Brueckner-Hartree-Fock(RBHF)theory ...The simultaneous description for nuclear matter and finite nuclei has been a long-standing challenge in nuclear ab initio theory.With the success for nuclear matter,the relativistic Brueckner-Hartree-Fock(RBHF)theory with covariant chiral interactions is a promising ab initio approach to describe both nuclear matter and finite nuclei.In the description of finite nuclei with the current RBHF theory,the covariant chiral interactions have to be localized to make calculations feasible.In order to examine the reliability and validity,in this letter,the RBHF theory with local and nonlocal covariant chiral interactions at leading order is applied to nuclear matter.The low-energy constants in the covariant chiral interactions determined with the local regularization are close to those with the nonlocal regularization.Moreover,the RBHF theory using covariant chiral interactions with local and nonlocal regulators provides an equally good description of the saturation properties of nuclear matter.The present work paves the way for the implementation of covariant chiral interactions in RBHF theory for finite nuclei.展开更多
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.展开更多
基于位置的服务被认为是继短信之后电信增值业务发展的下一次高潮,在前期所提出的一种面向电信增值业务领域的流程描述语言XPL(extended-calling process language)的基础上,进一步提出了一种描述地理信息服务的语言GDL(geography descr...基于位置的服务被认为是继短信之后电信增值业务发展的下一次高潮,在前期所提出的一种面向电信增值业务领域的流程描述语言XPL(extended-calling process language)的基础上,进一步提出了一种描述地理信息服务的语言GDL(geography description language),GDL可以和XPL配合使用,共同描述基于位置的电信服务.XPL和GDL具有抽象层次高,使用灵活简单,开发业务速度快的特点.还介绍了支持XPL和GDL的业务生成系统.该业务生成系统基于SOA(services-oriented architecture,面向服务的构架),适用于网络融合条件下的业务生成.展开更多
One-class support vector machine (OCSVM) and support vector data description (SVDD) are two main domain-based one-class (kernel) classifiers. To reveal their relationship with density estimation in the case of t...One-class support vector machine (OCSVM) and support vector data description (SVDD) are two main domain-based one-class (kernel) classifiers. To reveal their relationship with density estimation in the case of the Gaussian kernel, OCSVM and SVDD are firstly unified into the framework of kernel density estimation, and the essential relationship between them is explicitly revealed. Then the result proves that the density estimation induced by OCSVM or SVDD is in agreement with the true density. Meanwhile, it can also reduce the integrated squared error (ISE). Finally, experiments on several simulated datasets verify the revealed relationships.展开更多
To promote the efficiency of knowledge base retrieval based on description logic, the concept of assertional graph (AG), which is directed labeled graph, is defined and a new AG-based retrieval method is put forward...To promote the efficiency of knowledge base retrieval based on description logic, the concept of assertional graph (AG), which is directed labeled graph, is defined and a new AG-based retrieval method is put forward. This method converts the knowledge base and query clause into knowledge AG and query AG by making use of the given rules and then makes use of graph traversal to carry out knowledge base retrieval. The experiment indicates that the efficiency of this method exceeds, respectively, the popular RACER and KAON2 system by 0.4% and 3.3%. This method can obviously promote the efficiency of knowledge base retrieval.展开更多
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.展开更多
基金supported by the Science&Technology Fundamental Resources Investigation Program(grant no.2022FY202100)the Second Tibetan Plateau Scientific Expedition and Research Program(STEP,#2024QZKK0200).
文摘A new species of the genus Sinacosa is described from Nangunhe Nature Reserve,Yunnan,China:S.nan-gunheensis sp.n.(♂♀).Morphological descriptions,photos and illustrations of copulatory organs are provided,and a key to the Sinacosa species is also provided.
基金supported by China West Normal University (17YC352)。
文摘The subfamily Oxyporinae is easily distinguished from the other subfamilies of the family Staphylinidae by its large,colourful body,elongate mandibles and large crescent-shaped terminal labial palpi.It was once comprised only one genus,Oxyporus Fabricius,1775,then a new genus was separated from the nominated genus (Nakane&Sawade,1956),namely Pseudoxyporus.Although the taxonomic validity of Pseudoxyporus was controversial and was treated as a subgenus of Oxyporus (Campbell,1969;Hanley&Goodrich,1995;Herman,2001;Zheng&Song,2010;Tokareva et al.,2021),rencent catalogues and online checklist usually treated it as a valid genus (Shibata,1997;Ito,1999;Schülke&Smetana,2015;Kim et al.,2016;Newton,2022).Based on the structural differences in parameres of aedeagus,and the more cylindrical antennomeres,here we followed the 2-genera-system.
基金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.
文摘The author of this book passionately recounts the tumultuous Life of Han Yu through microscopic,on-the-ground historical descriptions and analyses,also touching upon the literati and politicians of Han Yu's era,as well as the political and Literary climate of the mid-Tang,guiding the reader into a truly tangible,vivid,and morally rich portrayal of the Confucian scholar Han Yu.
基金supported by the National Natural Science Foundation of China under Grant No.62162009the Key Technologies R&D Program of He’nan Province under Grant No.242102211065+1 种基金the Scientific Research Innovation Team of Xuchang University under GrantNo.2022CXTD003Postgraduate Education Reform and Quality Improvement Project of Henan Province under Grant No.YJS2024JD38.
文摘Towards optimal k-prototype discovery,k-means-like algorithms give us inspirations of central samples collection,yet the unstable seed samples selection,the hypothesis of a circle-like pattern,and the unknown K are still challenges,particularly for non-predetermined data patterns.We propose an adaptive k-prototype clustering method(kProtoClust)which launches cluster exploration with a sketchy division of K clusters and finds evidence for splitting and merging.On behalf of a group of data samples,support vectors and outliers from the perspective of support vector data description are not the appropriate candidates for prototypes,while inner samples become the first candidates for instability reduction of seeds.Different from the representation of samples in traditional,we extend sample selection by encouraging fictitious samples to emphasize the representativeness of patterns.To get out of the circle-like pattern limitation,we introduce a convex decomposition-based strategy of one-cluster-multiple-prototypes in which convex hulls of varying sizes are prototypes,and accurate connection analysis makes the support of arbitrary cluster shapes possible.Inspired by geometry,the three presented strategies make kProtoClust bypassing the K dependence well with the global and local position relationship analysis for data samples.Experimental results on twelve datasets of irregular cluster shape or high dimension suggest that kProtoClust handles arbitrary cluster shapes with prominent accuracy even without the prior knowledge K.
文摘The Knowledge Economic City (KEC) of Al Madinah Al Munawwarah is one of the major projects and represents the cornerstone for the new development activities for Al Madinah. The study area contains different geological units dominated by basalt and overlain by surface deposits. The surface soils vary in thickness and can be classified into well-graded SAND with silt and gravel (SW-SM), silty SAND with gravel (SM), silty GRAVEL with sand (GM), and sandy SILTY clay (CL-ML). The subsurface soil obtained from the drilled boreholes can be classified into poorly graded GRAVEL (GP), well-graded GRAVEL with sand (GW), poorly graded GRAVEL with silt (GP-GM), silty CLAYEY gravel with sand (GC-GM), silty SAND with gravel (SM), silt with SAND (ML), and silty CLAY with sand (CL-ML), sandy lean CLAY (CL), and lean CLAY (CL). The relative density of the deposit and the different gravel sizes intercalated with the soil influenced the Standard Penetration Test (SPT) values. The SPT N values are high and approach refusal even at shallow depths. The shallow refusal depth (0.10 to 0.90 m) of the Dynamic Cone Penetration Test (DCPT) was observed. Generally, the soil can be described as inactive with low plasticity and dense to very dense consistency. The basalt of the KEC site is characterized by slightly (W2) to highly (W4) weathering, their strength ranges from moderate (S4) to very strong (S2), and the Rock Quality Designation (RQD) ranges from very poor (R5) to excellent (R1). The engineering geological map of the KEC characterized the geoengineering properties of the soil and rock materials and classified them into many zones. The high sulphate (SO42−) and chloride (Cl−) contents in groundwater call for protective measures for foundation concrete. The current study revealed that geohazard(s) mitigation measures concerning floods, volcanic eruptions, and earthquakes should be considered.
基金financially supported by the Natural Science Foundation of Hebei Province,China(No.E202302154).
文摘Ti-Hf-Zr-Nb-Ta refractory high-entropy alloys(RHEAs)exhibiting a dual-phase structure resulting from martensitic transformation offer significant ductility enhancement,but their design requires precise control of the phase stability between body-centred cubic(BCC)and hexagonal close-packed(HCP)phases.This study establishes a comprehensive thermodynamic database for the Ti-Hf-Zr-Nb-Ta system using the 3rd-generation Calculation of Phase Diagrams(CALPHAD)model.The reliability of the database is validated by the strong agreement between the calculated thermodynamic properties and phase equilibria and the experimental data for pure element,as well as for binary and ternary systems.Utilizing this database,the phase stability of various RHEAs within this system was predicted,showing that all RHEAs exhibit a BCC single phase over a wide temperature range.The HCP phase is stable and coexists with BCC phase in both quaternary and quinary RHEAs at lower temepratures.Calculations of the Gibbs energy difference between the BCC and HCP phases(ΔG^(HCP−BCC))in TiHfZrTa_(x) and TiHfZrNb_(x) alloys reveal that both Nb and Ta stabilize the BCC phase,with Nb exerting a stronger influence.Significantly,a metastable BCC+HCP region in the TiHfZrTa_(x) and TiHfZrNb_(x) alloys with ΔG^(HCP−BCC) ranging from 1786 to 2230 J/mol.Utilizing this finding,the critical Nb composition range(0.0367–0.0712)to achieve the metastable BCC+HCP phase is precisely predicted in TiHfZrTa_(0.2)Nb_(x) alloys,enabling targeted design for martensitic transformation.The predictions show excellent agreement with existing experimental measurements.
基金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.
文摘In modern society,the globalization of literary works is evident,with exceptional literary pieces from various countries spreading worldwide.Among these,children’s literature,due to the specificity of its target audience,imposes distinct requirements on children’s books,compelling translators to approach the text from a child’s perspective.“The Little Prince”has renowned both within and outside of China,and a careful reading of this work can provide us with much inspiration.To this end,the present study adopts the perspective of Gideon Toury’s Descriptive Translation Studies to conduct an in-depth analysis of the different English and Chinese translations in conjunction with the original French novel.This approach aims to better guide literary research and explores translation methods for children’s literature through the analysis of translation norms and rules.
基金supported in part by the National Natural Science Foundation of China(Grant Nos.12435006,12435007,12475117,12141501,and 123B2080)the National Key R&D Program of China(Grant No.2024YFE0109803)the National Key Laboratory of Neutron Science and Technology(Grant No.NST202401016)。
文摘The simultaneous description for nuclear matter and finite nuclei has been a long-standing challenge in nuclear ab initio theory.With the success for nuclear matter,the relativistic Brueckner-Hartree-Fock(RBHF)theory with covariant chiral interactions is a promising ab initio approach to describe both nuclear matter and finite nuclei.In the description of finite nuclei with the current RBHF theory,the covariant chiral interactions have to be localized to make calculations feasible.In order to examine the reliability and validity,in this letter,the RBHF theory with local and nonlocal covariant chiral interactions at leading order is applied to nuclear matter.The low-energy constants in the covariant chiral interactions determined with the local regularization are close to those with the nonlocal regularization.Moreover,the RBHF theory using covariant chiral interactions with local and nonlocal regulators provides an equally good description of the saturation properties of nuclear matter.The present work paves the way for the implementation of covariant chiral interactions in RBHF theory for finite nuclei.
基金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.
基金Supported by the National Natural Science Foundation of China(60603029)the Natural Science Foundation of Jiangsu Province(BK2007074)the Natural Science Foundation for Colleges and Universities in Jiangsu Province(06KJB520132)~~
文摘One-class support vector machine (OCSVM) and support vector data description (SVDD) are two main domain-based one-class (kernel) classifiers. To reveal their relationship with density estimation in the case of the Gaussian kernel, OCSVM and SVDD are firstly unified into the framework of kernel density estimation, and the essential relationship between them is explicitly revealed. Then the result proves that the density estimation induced by OCSVM or SVDD is in agreement with the true density. Meanwhile, it can also reduce the integrated squared error (ISE). Finally, experiments on several simulated datasets verify the revealed relationships.
基金The National Natural Science Foundation of China(No.69975010,60374054),the National Research Foundation for the Doctoral Program of Higher Education of China (No.20050007023).
文摘To promote the efficiency of knowledge base retrieval based on description logic, the concept of assertional graph (AG), which is directed labeled graph, is defined and a new AG-based retrieval method is put forward. This method converts the knowledge base and query clause into knowledge AG and query AG by making use of the given rules and then makes use of graph traversal to carry out knowledge base retrieval. The experiment indicates that the efficiency of this method exceeds, respectively, the popular RACER and KAON2 system by 0.4% and 3.3%. This method can obviously promote the efficiency of knowledge base retrieval.
基金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.