期刊文献+
共找到558篇文章
< 1 2 28 >
每页显示 20 50 100
An Overview of Dynamic Descriptions for Nanoscale Materials in Particulate Photocatalytic Systems from Spatiotemporal Perspectives
1
作者 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
Deep Support Vector Data Description Based Physical Layer Authentication
2
作者 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
Improving the Effectiveness of Image Classification Structural Methods by Compressing the Description According to the Information Content Criterion
3
作者 Yousef Ibrahim Daradkeh Volodymyr Gorokhovatskyi +1 位作者 Iryna Tvoroshenko Medien Zeghid 《Computers, Materials & Continua》 SCIE EI 2024年第8期3085-3106,共22页
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. 展开更多
关键词 description reduction description relevance DESCRIPTOR image classification information content keypoint processing speed
在线阅读 下载PDF
Enhancing constitutive description and workability characterization of Mg alloy during hot deformation using machine learning-based Arrhenius-type model 被引量:4
4
作者 Jinchuan Long Lei Deng +6 位作者 Junsong Jin Mao Zhang Xuefeng Tang Pan Gong Xinyun Wang Gangfeng Xiao Qinxiang Xia 《Journal of Magnesium and Alloys》 SCIE EI CAS CSCD 2024年第7期3003-3023,共21页
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. 展开更多
关键词 Constitutive description Workability characterization Machine learning Mg alloy Hot deformation
在线阅读 下载PDF
Method for detector description conversion from DD4hep to Filmbox
5
作者 Zhao-Yang Yuan Tian-Zi Song +3 位作者 Yu-Jie Zeng Kai-Xuan Huang Yu-Mei Zhang Zheng-Yun You 《Nuclear Science and Techniques》 SCIE EI CAS CSCD 2024年第9期115-126,共12页
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. 展开更多
关键词 Detector description DD4hep FBX GEOMETRY Offline software
在线阅读 下载PDF
Vibration suppression for rotating space slender flexible structures based on novel deformation description and NNSMC controller with hyperbolic tangent function
6
作者 Dongyang SHANG Xiaopeng LI +1 位作者 Men YIN Sainan ZHOU 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2024年第10期339-364,共26页
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. 展开更多
关键词 Space slender flexible structure Novel deformation description RBF neural network Vibration suppression Hyperbolic tangent function
原文传递
Enhancing Cross-Lingual Image Description: A Multimodal Approach for Semantic Relevance and Stylistic Alignment
7
作者 Emran Al-Buraihy Dan Wang 《Computers, Materials & Continua》 SCIE EI 2024年第6期3913-3938,共26页
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. 展开更多
关键词 Cross-language image description multimodal deep learning semantic matching reward mechanisms
在线阅读 下载PDF
Enhancing Image Description Generation through Deep Reinforcement Learning:Fusing Multiple Visual Features and Reward Mechanisms
8
作者 Yan Li Qiyuan Wang Kaidi Jia 《Computers, Materials & Continua》 SCIE EI 2024年第2期2469-2489,共21页
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. 展开更多
关键词 Image description deep reinforcement learning attention mechanism
在线阅读 下载PDF
Notes on the comb-footed spiders of genus Theridion(Araneae:Theridiidae),with description of a new species from Yuelushan Mt.,China
9
作者 ZHOU Gu-Chun IRFAN Muhammad PENG Xian-Jin 《蛛形学报》 2024年第1期1-7,共7页
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. 展开更多
关键词 description morphology new species taxonomy theridiid
在线阅读 下载PDF
Unified Description of the Three Stable Particles in Self-Action Allows Determination of Their Relative Masses
10
作者 Yair Goldin Halfon 《Journal of High Energy Physics, Gravitation and Cosmology》 CAS 2024年第1期185-196,共12页
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. 展开更多
关键词 Electron in Self Action Electron-Dark-Matter Particle Mass Ratio Analytic description Dark-Matter-Particle
在线阅读 下载PDF
Description logics for fuzzy ontologies on semantic web 被引量:6
11
作者 康达周 徐宝文 +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
Clustering analysis algorithm for security supervising data based on semantic description in coal mines 被引量:1
12
作者 孟凡荣 周勇 夏士雄 《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
Adaptability and Phenotypic Description of Introduced Sorghum (Sorghum bicolor L.) Varieties in the North-West Region of Cameroon
13
作者 Liliane Ngoune Tandzi Carine Limofack Tandzi +2 位作者 Safiatou Sangere Sall Nshom Mildred Meyen Jordan Ruth Ngonbeu Meuyou 《American Journal of Plant Sciences》 2024年第12期1202-1221,共20页
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. 展开更多
关键词 SORGHUM VARIETIES DESCRIPTIVE ADAPTABILITY Growth and Yield
在线阅读 下载PDF
Last-instar Larval Descriptions of Three Species of Pyraustinae (Lepidoptera: Pyralidae) from Korea 被引量:1
14
作者 朴美花 李灿镛 方志刚 《Entomotaxonomia》 CSCD 北大核心 2005年第4期297-302,共6页
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. 展开更多
关键词 LEPIDOPTERA PYRALIDAE PYRAUSTINAE larval description Korea
在线阅读 下载PDF
Confidence support vector domain description 被引量:2
15
作者 Liu Sanyang Liang Jinjin +1 位作者 Wu De Duan Wei 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2009年第4期852-857,共6页
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. 展开更多
关键词 support vector domain description confidence support vector domain description user-defined sphere confidence measure boundary targets.
在线阅读 下载PDF
视听翻译术语Audio Description译名探析 被引量:2
16
作者 雷静 杨淑佳 《中国科技翻译》 2023年第4期15-18,共4页
作为视听翻译领域的重要分支,国内在Audio Description(AD)的研究中存在定义模糊、译名混乱的问题。本文首先阐述了不同学者对AD的界定并解释了AD的内涵意义,进而比较了现有的三种汉语译名,即“无障碍电影、音频描述和口述影像”。本文... 作为视听翻译领域的重要分支,国内在Audio Description(AD)的研究中存在定义模糊、译名混乱的问题。本文首先阐述了不同学者对AD的界定并解释了AD的内涵意义,进而比较了现有的三种汉语译名,即“无障碍电影、音频描述和口述影像”。本文认为,“口述影像”一词涵盖了AD涉及的所有使用场景和适用人群,是目前最符合AD内涵的译名。本文意在回应关于AD译名的争议,促进AD在国内实现译名的统一,以利于国内视听翻译研究的发展。 展开更多
关键词 Audio description 视听翻译 术语译名
原文传递
Fuzzy description logic based on vague sets
17
作者 马宗民 王海龙 +1 位作者 严丽 赵法信 《Journal of Southeast University(English Edition)》 EI CAS 2007年第3期399-402,共4页
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. 展开更多
关键词 semantic web description logic fuzzy logic vague sets tableau algorithm
在线阅读 下载PDF
Reasoning complexity for extended fuzzy description logic with qualifying number restriction
18
作者 陆建江 李言辉 +2 位作者 张亚非 周波 康达周 《Journal of Southeast University(English Edition)》 EI CAS 2007年第2期236-240,共5页
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. 展开更多
关键词 extended fuzzy description logic qualifying number restriction reasoning complexity
在线阅读 下载PDF
Semantic Description and Verification of Security Policy Based on Ontology 被引量:1
19
作者 TANG Chenghua WANG Lina +2 位作者 TANG Shensheng QIANG Baohua TIAN Jilong 《Wuhan University Journal of Natural Sciences》 CAS 2014年第5期385-392,共8页
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. 展开更多
关键词 security policy ONTOLOGY semantic description ofpolicy the first-order predicate description logic
原文传递
Description of the Female of Sinodorcadion punctulatum Gressitt (Coleoptera:Cerambycidae:Lamiinae)
20
作者 谢广林 袁海山 王文凯 《Entomotaxonomia》 CSCD 北大核心 2010年第B08期155-156,共2页
The female of Sinodorcadion punctulatum is reported for the first time, and the photographs of adult are presented.
关键词 COLEOPTERA CERAMBYCIDAE Sinodorcadion punctulatum FEMALE description
原文传递
上一页 1 2 28 下一页 到第
使用帮助 返回顶部