检索结果-内蒙古大学图书馆

International Workshop on Chaos-Fractals Theories and Applications (IWCFTA)

作者： Cheng Zhang Yanheng Liu Jian Wang Minhui Xia Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China Jilin University Changchun Jilin CN

Modeling Internet topology is necessary for analyzing of network characteristics for the large and even growing network size. For example, the evolution of network structure and node attributes in the network is a key issue for us to understand the network properties and to design appropriate internetworking technology. In this paper, we define ¿favorability degree¿ to quantity the attributes of a node in the network. Then, a new modeling algorithm for Internet router-level topology is proposed by considering the influence of both node static and dynamic properties. By means of simulations and power-law, the presented modeling algorithm is demonstrated to be capable of precisely modeling the Internet router-level topology.

关键词： Network topology IP networks Frequency Large-scale systems Web and internet services Distribution functions Chaos Application software Educational institutions Computer science

来源：评论

学校读者我要写书评

暂无评论

Improved Semantic Retrieval Based on Domain Ontology

Improved Semantic Retrieval Based on Domain Ontology

引用

International Conference on Fuzzy Systems and knowledge Discovery (FSKD)

作者： Dong-hui Yuan Da-you Liu Shi-qun Shen Pu Yan Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China Jilin University Changchun Jilin CN

Semantic retrieval is a hot area of Web search technology constantly because of the growing information. This paper proposed a creative semantic retrieval method with Path Weight Semantic Distance (PWSD) algorithm which is improved from current model. Based on the domain ontology built by protege, PWSD considers both the hierarchy and the property restrictions of the concepts synthetically, and provides an accurate computation of semantic distance between conceptions. We have investigated the feasibilities, advantages and statistical significances from the comparison between our system and personalized categorization system (PCAT) and found that our system has high performances with 95% or higher statistical significance for short queries tasks.

关键词： Ontologies Information retrieval Educational technology Web search Taxonomy Search engines Fuzzy systems Educational institutions Computer science Laboratories

来源：评论

学校读者我要写书评

暂无评论

A New Formal Description of Ontology Definition and Ontology Algebra

A New Formal Description of Ontology Definition and Ontology...

引用

International Symposium on knowledge Acquisition and Modeling, KAM

作者： Junhua Wang Wanli Zuo Fengling He Ying Wang College of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education China

Ontology definition is the base of ontology engineering, however, ontology definition currently seldom provides the accurate mathematical characteristics, namely, most of the ontology definitions cannot be described in a formal way, and the existing ontology definitions aren't complete enough. In this paper, it reviews and sums up the ontology definitions and the formal descriptions of ontology. And, it proposes a novel method of formal ontology definition by analyzing existing ontology definitions, which can make the ontology modeling primitives precise by delimiting the data types with functional description language. Lastly, puts forward the closed definition of ontology algebra, and gives a formal description of ontology algebra based on the new formal description of ontology.

关键词： Ontologies Algebra knowledge engineering Vocabulary Artificial intelligence Set theory knowledge acquisition Mathematical model Educational institutions Computer science

来源：评论

学校读者我要写书评

暂无评论

A Combined Method Based on Extension Rule and Resolution

A Combined Method Based on Extension Rule and Resolution

引用

International Conference on Artificial Intelligence and computational Intelligence (AICI)

作者： Xia Wu Haihong Yu Ying Li College of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Changchun China

Theorem proving based on the extension rule is a new reasoning method. It is, in a sense, potentially a complementary method to resolution based method. HRIER is a very fast extension rule algorithm with reduction rules and heuristic function. DR is a fast ordering-based restricted resolution method in proposition logic. In order to make best use of the respective characteristic of the extension rule method and resolution method, this paper proposes a combined algorithm CDE based on HRIER and DR. And then the soundness and completeness of it are proved. The experiment results show CDE is a fast SAT solver.

关键词： Erbium Logic Artificial intelligence Computer science Mathematics computational intelligence Educational institutions Educational technology Laboratories knowledge engineering

来源：评论

学校读者我要写书评

暂无评论

Impact of human factors on email worm propagation

Impact of human factors on email worm propagation

引用

IEEE Symposium on Web Society, SWS

作者： Xin Sun Yanheng Liu Jian Wang Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun Jilin China Jilin University Changchun Jilin CN

One of the most prevalent security problems in network is the rampant propagation of email worms. Unlike active worms, the email worm has to be activated by user action in order to spread further. This paper deals with modeling email worm propagation by analyzing and combining human factors. Impact of human factors on email worm propagation is investigated and discussed. Results of email worm propagation under a practical simulation environment show that the presented model well describes the email worm behavior. Conclusions are also drawn that infection probability decreases during evolution of worm infection due to the security consciousness rising, and highly connected nodes are more susceptible.

关键词： Human factors Computer worms Network topology Security Electronic mail Educational institutions Computer science Educational technology Laboratories Computer networks

来源：评论

学校读者我要写书评

暂无评论

Ensemble methods for spectral-spatial classification of urban hyperspectral data

Ensemble methods for spectral-spatial classification of urba...

引用

IEEE International Symposium on Geoscience and Remote Sensing (IGARSS)

作者： Xin-Lu Wang Björn Waske Jón Atli Benediktsson Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China Faculty of Electrical and Computer Engineering University of Iceland Reykjavik Iceland

Classification of hyperspectral data with high spatial resolution from urban areas is investigated. The approach is an extension of existing approaches, using both spectral and spatial information for classification. The spatial information is derived by mathematical morphology and principal components of the hyperspectral data set, generating a set of different morphological profiles. The whole data set is classified by the Random Forest algorithm. However, the computational complexity as well as the increased dimensionality and redundancy of data sets based on morphological profiles are potential drawbacks. Thus, in the presented study, feature selection is applied, using nonparametric weighted feature extraction and the variable importance of the random forests. The proposed approach is applied to ROSIS data from an urban area. The experimental results demonstrate that a feature reduction is useful in terms of accuracy. Moreover, the proposed approach also shows excellent results with a limited training set.

关键词： Hyperspectral imaging Feature extraction Radio frequency Hyperspectral sensors Morphology Remote sensing Data mining Image reconstruction knowledge engineering Spatial resolution

来源：评论

学校读者我要写书评

暂无评论

The design and analysis of distributed authentication scheme in VANET

The design and analysis of distributed authentication scheme...

引用

IEEE Youth Conference on Information, Computing and Telecommunication, YC-ICT

作者： Jian Wang Yanheng Liu Yu Jiao Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun Jilin China Jilin University Changchun Jilin CN

Vehicular ad hoc networks (VANETs) have many new characteristics unlike traditional network, such as centriclessness, mobility and multi-hop transmission, which invalidate conventional key managements. The fast development and successful application of trusted computing technology provide a potential solution to achieve effective authentication and trust evaluation. According to the VANETs with hierarchy organization structure like tank group, a new authentication and trust evaluation framework is proposed based on trusted computing technology, the concepts of "trusted attribute" and "trusted grade" are introduced, and the key management architecture as well as authentication process of mobile node are explained in detail. Moreover, the real applications of the presented framework in tank fight are discussed, and the trust evaluation methods and its argumentations in the presented framework are given.

关键词： Authentication Frequency Wire Electronic packaging thermal management Circuit simulation Scattering parameters Bonding Integrated circuit packaging Chip scale packaging Equivalent circuits

来源：评论

学校读者我要写书评

暂无评论

Heuristics Propositional Extension Rule Method

Heuristics Propositional Extension Rule Method

引用

International Conference on Innovative Computing, Information and Control (ICICIC)

Theorem proving based on the extension rule is a new reasoning method. Based on the extension rule algorithm RIER, this paper presents a more efficient algorithm HRIER, which uses the heuristic strategy to guide the choosing of restricted searching space. The experiment results show HRIER improves the efficiency a lot, meanwhile it keeps the essence characteristic of extension rule method, namely it is still potentially a complementary method to resolution based methods.

关键词： Erbium Computer science Mathematics Educational institutions Educational technology Laboratories knowledge engineering Computer science education Control engineering education Frequency

来源：评论

学校读者我要写书评

暂无评论

Ontology-based filling forms of deep web entries automatically

引用

Journal of computational Information Systems 2009年第6期5卷 1553-1560页

作者： Zuo, Wanli Wang, Ying Wang, Xin Ji, Wenyan Peng, Tao College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Computation and Knowledge Engineering China College of Software Changchun Institute of Technology Changchun 130012 China

An increasing number of databases are becoming web accessible through form-based query interfaces, therefore, this paper proposes a novel method of filling forms on deep web data integration system, which contains three sub-models: query analyzer, query processor and query submission. Query analyzer is used to match each local interface schema and integration interface schema to judge the match type by ontology. Query processor is used to capture the matching relationships from query analyzer, and decompose the queries of integration interface which are submitted by users. Queries will be distributed and forms will be automatically translated to multi-database entries for implementing multi-databases searching under an integration interface, which is transparent to users in searching of multi-databases. Experiment result shows that this method of query translation is feasible. 1553-9105/ Copyright © 2009 Binary Information Press.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

ON RESEARCH OF OPTIMIZATION STRATEGY FOR DYNAMIC BACKTRACKING

ON RESEARCH OF OPTIMIZATION STRATEGY FOR DYNAMIC BACKTRACKIN...

引用

2009 International Conference on Machine Learning and Cybernetics(2009机器学习与控制论国际会议)

作者： HONG-BO LI ZHAN-SHAN LI YANG AI HUI-YING DU Key Laboratory of Symbolic Computation and Knowledge Engineering for Ministry of Education Jilin University Changchun 130012 College of Computer Science and Technology Jilin University Changchun 130012

Constraint Satisfaction Problem is an important branch of Artificial Intelligence, one typical algorithm to solve Constraint Satisfaction Problem is the searching algorithm based on backtracking. The Dynamic Backtracking algorithm proposed by Ginsberg in 1993 is an efficient algorithm which uses backtracking integrates with constraint propagation. Now, according to the basic idea of dynamic backtracking, we put forward four implementary strategies and demonstrate that the efficiency and backtracking times of these four strategies are different The most efficient strategy of these four strategies is the Strategy2.1,it can significantly improve the efficiency and reduce the backtracking times. Anatomizing the results of experiments, we find the differences between these four strategies, then we propose an heuristic rules to improve dynamic backtracking algorithm on selecting a variable that has not been instantiated - Successful Assignment Principle. According to the Failure First Principle, we propose an optimization strategy that combine the Successful Assignment Principle with the Failure First Principle - Strategy 2.4. What is more ,the final test results show that efficiency of Strategy 2.4 is 1.595 ～2.227 times more than the that of Strategy 2.1.

关键词： Constraint satisfaction problem Dynamic backtracking

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：