期刊文献+
共找到558篇文章
< 1 2 28 >
每页显示 20 50 100
The second trapdoor-building species of wolf spider from China(Araneae,Lycosidae)
1
作者 WANG Lu-Yu YANG Zi-Zhong ZHANG Zhi-Sheng 《蛛形学报》 2025年第1期28-32,共5页
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. 展开更多
关键词 new species DESCRIPTION morphology TAXONOMY
在线阅读 下载PDF
Taxonomy of the genus Pseudoxyporus(Coleoptera:Staphylinidae:Oxyporinae) from Asia,with an additional description of the male P.parajiulongus
2
作者 Xianghui Yan Yujie Li Fake Zheng 《Zoological Systematics》 2025年第4期355-358,共4页
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. 展开更多
关键词 Oxyporinae TAXONOMY subfamily oxyporinae Parameres P parajiulongus STAPHYLINIDAE Male Description Pseudoxyporus
原文传递
An Overview of Dynamic Descriptions for Nanoscale Materials in Particulate Photocatalytic Systems from Spatiotemporal Perspectives
3
作者 Jiawei Yan Zhidong Wei +4 位作者 Kai Takagi Masaya Motodate Zhi Jiang Chiaki Terashima Wenfeng Shangguan 《Nano-Micro Letters》 2025年第8期416-448,共33页
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. 展开更多
关键词 Dynamic description Particulate photocatalytic system Nanoscale photocatalyst Spatiotemporal characterization
在线阅读 下载PDF
Why Do We Need Han Yu Today?
4
作者 Gu Shuguang 《China Book International》 2025年第6期78-83,共6页
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. 展开更多
关键词 literati politicians Moral Richness Political Climate han yu Confucian Scholar Tang Dynasty Historical Description Literary Climate
原文传递
kProtoClust:Towards Adaptive k-Prototype Clustering without Known k
5
作者 Yuan Ping Huina Li +1 位作者 Chun Guo Bin Hao 《Computers, Materials & Continua》 2025年第3期4949-4976,共28页
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. 展开更多
关键词 Prototype finding convex hull support vector data description geometrical information
在线阅读 下载PDF
Geological, Engineering Geological and Hydrogeological Characteristics of the Knowledge Economic City, Al Madinah Al Munawwarah, KSA
6
作者 Mutasim A. M. Ez Eldin Tareq Saeid Al Zahrani +4 位作者 Gabel Zamil Al-Barakati Ibrahim Mohamed AlHarthi Marwan Mohamed Al Saikhan Waleed Abdel Aziz Al Aklouk Waheed Mohamed Saeid Ba Amer 《Geomaterials》 2025年第1期40-55,共16页
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. 展开更多
关键词 Engineering Geology Knowledge Economic City Petrographic Description Rock and Soil Investigations
在线阅读 下载PDF
Thermodynamic Modeling of the Ti-Hf-Zr-Nb-Ta Refractory High Entropy Alloy and Its Application in Analyzing Phase Stability
7
作者 Jian Ding Jinghan Gao +3 位作者 Enkuan Zhang Ying Tang Lijun Zhang Xingchuan Xia 《Computers, Materials & Continua》 2025年第10期539-556,共18页
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. 展开更多
关键词 Refractory high entropy alloys CALPHAD 3rd-generation thermodynamic description phase stability
在线阅读 下载PDF
Deep Support Vector Data Description Based Physical Layer Authentication
8
作者 Shao Yijie Pan Zhiwen +1 位作者 Liu Nan You Xiaohu 《China Communications》 2025年第10期214-222,共9页
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. 展开更多
关键词 deep support vector data description one-class classification physical layer authentication wireless security
在线阅读 下载PDF
Study on English Translations of“The Little Prince”from the Perspective of Descriptive Translation Studies
9
作者 Xianting Yi 《Journal of Contemporary Educational Research》 2025年第9期358-365,共8页
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. 展开更多
关键词 Gideon toury Descriptive translation studies “The Little Prince” Children’s literature
在线阅读 下载PDF
Nuclear Matter in Relativistic Brueckner-Hartree-Fock Theory Using the Leading Order Covariant Chiral Interactions with Local and Nonlocal Regulators
10
作者 Wei-Jiang Zou Yi-Long Yang +1 位作者 Shihang Shen Jie Meng 《Chinese Physics Letters》 2025年第8期26-30,共5页
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. 展开更多
关键词 ab initio Covariant Chiral Interactions nuclear matter rbhf theorythe description finite nuclei Relativistic Brueckner Hartree Fock covariant chiral interactions ab initio approach
原文传递
主动分布式Web服务注册机制研究与实现 被引量:37
11
作者 杜宗霞 怀进鹏 《软件学报》 EI CSCD 北大核心 2006年第3期454-462,共9页
服务注册库作为SOA(serviceorientedarchitecture)结构中的重要组成部分,目前主要使用的UDDI(universaldescription,discoveryandintegration)及基于UDDI的UBR(universalbusinessregistry)的实际使用情况较差.主要原因在于:UBR的注册信... 服务注册库作为SOA(serviceorientedarchitecture)结构中的重要组成部分,目前主要使用的UDDI(universaldescription,discoveryandintegration)及基于UDDI的UBR(universalbusinessregistry)的实际使用情况较差.主要原因在于:UBR的注册信息在各注册节点间完全复制,导致其随着服务数量的增加变得较难管理和维护;另一方面,目前UDDI只能提供被动的目录服务,而统计研究发现,很少有组织或个人在发布服务后主动更新信息,这就造成了其上服务信息的有效性差.提出了一种主动分布式服务注册机制(adUDDI),利用服务主动监测机制提高注册库中服务信息的实时有效性;利用分布式结构减轻统一注册中心的负担.通过实验分析说明,此方法可提高SOA结构的可用性,为基于Web服务构建可靠业务中间件提供了基础. 展开更多
关键词 UDDI(universal description.discovery and integration) WEB服务 主动监测 分布式结构
在线阅读 下载PDF
Description logics for fuzzy ontologies on semantic web 被引量:6
12
作者 康达周 徐宝文 +1 位作者 陆建江 李言辉 《Journal of Southeast University(English Edition)》 EI CAS 2006年第3期343-347,共5页
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. 展开更多
关键词 semantic web ONTOLOGY description logics FUZZY
在线阅读 下载PDF
一种面向LBS的电信增值业务生成方法及实现 被引量:7
13
作者 杨骎 陈俊亮 孟祥武 《软件学报》 EI CSCD 北大核心 2009年第4期965-974,共10页
基于位置的服务被认为是继短信之后电信增值业务发展的下一次高潮,在前期所提出的一种面向电信增值业务领域的流程描述语言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,面向服务的构架),适用于网络融合条件下的业务生成. 展开更多
关键词 业务生成 XPL(extended-calling process language) GDL(geography description language 地理描述语言) 业务上下文 POI(point of interest 兴趣点) 构件 软件复用 SOA(services-oriented architecture 基于服务的构架)
在线阅读 下载PDF
ESSENTIAL RELATIONSHIP BETWEEN DOMAIN-BASED ONE-CLASS CLASSIFIERS AND DENSITY ESTIMATION 被引量:2
14
作者 陈斌 李斌 +1 位作者 冯爱民 潘志松 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI 2008年第4期275-281,共7页
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. 展开更多
关键词 one-class support vector machine(OCSVM) support vector data description(SVDD) kernel density estimation
在线阅读 下载PDF
基于3DES的跳频序列族构造方法的VLSI实现 被引量:1
15
作者 李赞 蔡觉平 +1 位作者 金力军 常义林 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2004年第4期501-504,580,共5页
基于3DES的迭代型分组密码产生的跳频序列具有好的安全性、随机性、均匀性及频率间隔特性等性能指标,利用VHDL语言有限状态机的设计方法,自顶而下进行系统的模块划分,通过状态机的逐层嵌套和模块的相互调用,完成了基于3DES的跳频序列族... 基于3DES的迭代型分组密码产生的跳频序列具有好的安全性、随机性、均匀性及频率间隔特性等性能指标,利用VHDL语言有限状态机的设计方法,自顶而下进行系统的模块划分,通过状态机的逐层嵌套和模块的相互调用,完成了基于3DES的跳频序列族构造方法的VLSI实现.测试结果表明,使用ALTERAFLEX10K20开发的跳频加密芯片在1 5MHz~24MHz的时钟范围内,均能满足2000跳/秒的高速跳频要求,并且具有运算速度快、占用资源少、输入方式灵活等特点,开发出的芯片已应用于高速跳频通信系统中. 展开更多
关键词 分组密码 跳频序列 VHDL(VHSIC Hardware Description Language) VLSI(Very Large Scale Integrated circuits)
在线阅读 下载PDF
阻塞斩波三相交交变频电源的FPGA控制实现 被引量:1
16
作者 朱虹 潘小波 +2 位作者 陈玲 关越 张庆丰 《电力系统保护与控制》 EI CSCD 北大核心 2014年第21期116-123,共8页
变频技术是重要的节能技术,所以针对低频或转速不恒定的节能设备,提出了基于FPGA数字控制的三相交交直接变频电源技术。用VHDL语言对主控芯片FPGA编写程序,其输出的高频SPWM信号经驱动电路后作为电源和负载间开关MOSFET的控制信号。MOS... 变频技术是重要的节能技术,所以针对低频或转速不恒定的节能设备,提出了基于FPGA数字控制的三相交交直接变频电源技术。用VHDL语言对主控芯片FPGA编写程序,其输出的高频SPWM信号经驱动电路后作为电源和负载间开关MOSFET的控制信号。MOSFET周期性地部分阻塞电源不能达到负载来改变输出电压的频率,同时在放行的时区斩波来改变输出电压的幅值。基于Matlab仿真平台,对系统进行了建模和仿真,仿真结果验证了该技术的正确性。最后给出了频率为7.14 Hz和2.63 Hz的实验波形,实验结果证明了该技术的可行性。 展开更多
关键词 交交变频 Field—Programmable Gate Array(FPGA) 斩波 恒压频比 面积等效 占空比 Very—High-Speed Integrated Circuit Hardware Description Language(VHDL)
在线阅读 下载PDF
New method for query answering in semantic web 被引量:1
17
作者 林培光 刘弘 +1 位作者 樊孝忠 王涛 《Journal of Southeast University(English Edition)》 EI CAS 2006年第3期319-323,共5页
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. 展开更多
关键词 description logic assertional graph semantic web information retrieval
在线阅读 下载PDF
Clustering analysis algorithm for security supervising data based on semantic description in coal mines 被引量:1
18
作者 孟凡荣 周勇 夏士雄 《Journal of Southeast University(English Edition)》 EI CAS 2008年第3期354-357,共4页
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. 展开更多
关键词 semantic description clustering analysis algorithm similarity measurement
在线阅读 下载PDF
D3L(ccy)的属性及分布式Tableaux推理算法的研究 被引量:1
19
作者 赵晓非 田东平 +1 位作者 张文波 史忠植 《计算机研究与发展》 EI CSCD 北大核心 2014年第3期570-579,共10页
分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑(dynamic description logics,DDL)本体之间桥规则构成链的情况下,知识并不总是按预期的方式... 分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑(dynamic description logics,DDL)本体之间桥规则构成链的情况下,知识并不总是按预期的方式正确传播.借鉴了基于包的描述逻辑(P-DL)的思想,引入了组合一致性语义对D3L进行了扩展从而很好地解决了上述问题.系统地研究了扩展得到的描述逻辑D3L(ccy)的属性及分布式推理理论.证明了该描述逻辑的单调性(D3L(ccy)是一种单调逻辑)、有向性(桥规则的影响具有方向性)及冲突局部性(局部本体的冲突不会传播到整个分布式系统);通过对原有Tableaux推理算法的扩展,为D3L(ccy)提出了分布式Tableaux推理算法并研究了算法的性质,证明了该算法是可终止的、可靠的和完备的.与传统的D3L相比,扩展后的D3L可以为信息集成系统、语义Web等分布式、动态的系统提供更为合理的逻辑基础. 展开更多
关键词 分布式动态描述逻辑 知识传播 组合一致性 分布式推理 Tableaux推理算法 DISTRIBUTED DYNAMIC DESCRIPTION LOGICS (D3L)
在线阅读 下载PDF
上一页 1 2 28 下一页 到第
使用帮助 返回顶部