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

International Conference on Information Technology and Computer Science, ITCS

作者： Hao Liang Fei Ren Wanli Zuo Aiqi Zhang College of Computer Science and Technology Jilin University Changchun China Department of Information Changchun Taxation College Changchun China Engineering of the Ministry of Education Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Changchun China

Information fusion is an interdisciplinary research field aiming to combine and merge the information or data from different information sources. The output of information fusion system is a global schema through which users can get information or data from different dispersed sources. To generate a deep Web information fusion system is facing many challenges, because the nature of Web is different from those of traditional databases and multi-databases. The major challenge in a deep Web information fusion system is the data source modeling problem, which determine the technical method of the whole system. The query interfaces provided by the deep Web are the clues to disclose the hidden schemas. But the complicated semantic relationships in the query interfaces lead to the lower generality and ability of local as view (LAV) method in the traditional information fusion system. We present an approach that the semantic relationships between semantic related attributes can be evaluated by the WordNet, a kind of ontology instrument. The experiment is carried out on the famous dataset, and the result shows the efficiency of ontology extended LAV of building mappings between local views and mediator schema.

关键词： Ontologies Databases Computer science Educational institutions Educational technology Fusion power generation Information technology Laboratories knowledge engineering Computer science education

来源：评论

学校读者我要写书评

暂无评论

Generating the semantic containers for the query interfaces of deep web

Generating the semantic containers for the query interfaces ...

引用

International Conference on Management and Service Science, MASS 2009

作者： Hao, Liang Wanli, Zuo Jian, Chen Yunge, Mao College of Computer Science and Technology Jilin University Changchun 130012 China Department of Information Changchun Taxation College Changchun 130117 China Key Laboratory of Symbol Computation Knowledge Engineering of the Ministry of Education Changchun 130012 China Network Center of Changchun Taxation College Changchun 130117 China

ISBN: (纸本)9781424446391

With the myriad emergence of the online Web Database, the Web is divided into a two layers information platform which is composed of Surface Web and Deep Web. The huge information hidden in the Deep Web is higher in the quality than the Surface Web. This interests the researchers of the traditional Database community. In order to adapt the Web community, the idea of information fusion is further transformed. However, the nature of the Web is great different from the Database in structure, principle and function. Query reformulation is one of the technical challenges. The only accessible method to get the information in the Deep Web is through the query interfaces provided by the Website of Deep Web. There are many semantic restrictions between the attributes in the query interface. Some attributes are co-occurred and the others are exclusive sometimes. To generate a valid query, we have to reconcile the key attributes and their semantic relations. To address the problem, a method based on the HTML codes is presented in this paper. Different kinds of semantic containers can be got through analyzing the codes of the query interface. The experiment is carried out on the famous Dataset of Deep Web to show the feasibility of the method. ©2009 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

New preprocessing technique based on entirety singleton consistency

引用

Zidonghua Xuebao/ Acta Automatica Sinica 2009年第1期35卷 71-76页

作者： Zhu, Xing-Jun Sun, Ji-Gui Zhang, Yong-Gang Li, Ying College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering Jilin University Changchun 130012 China

This paper studies the technique of preprocessing in constraint satisfaction problem (CSP). Firstly, we propose a notion of entirety singleton consistency (ESC) and the algorithm, and then analyze the time and space complexity and correctness. Based on this, we present a new preprocessing algorithm SAC-ESC based on ESC, and prove its correctness. Furthermore, we use the divide-conquer strategy for the algorithm to automatically adapt to domain partition of various problems. In our experiments on random CSPs, pigeon problems, N-queens problems and benchmarks, the efficiency of our algorithm SAC-ESC is 3-20 times those of the existing SAC-SDS and SAC-3.

关键词： Constraint satisfaction problems

来源：评论

学校读者我要写书评

暂无评论

Novel theorem proving algorithm based on extension rule

引用

Jisuanji Yanjiu yu Fazhan/Computer Research and Development 2009年第1期46卷 9-14页

作者： Sun, Jigui Li, Ying Zhu, Xingjun Lu, Shuai College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering Jilin University Changchun 130012 China

ATP (automated theorem proving) has always been one of the most advanced areas of computer science. The traditional idea used in ATP is to try to deduce the empty clause to check satisfiability, such as resolution based theorem proving, which is one of the most popular methods. Extension-rule-based theorem proving is a new resolution-based theorem proving method. After a deep research work on the extension rule, a brilliant property of the rule is obtained. In this paper, the property and an algorithm which is used to decide it are proposed firstly. In addition, the algorithm's time complexity and space complexity are analyzed and proved. Based on the above work, a novel extension rule based theorem proving algorithm called NER is proposed. The NER algorithm transforms the problem which decides whether a clause set is satisfiable to a series of problems deciding whether one literal set includes another one, while the original extension algorithm transforms them to problems counting the number of maximum terms that can be expended. A number of experiments show that the NER algorithm obviously outperforms both the original extension rule based algorithm ER and the directional resolution algorithm DR. Especially, it can be improved up to two orders of magnitude.

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

Escrow mechanism for personal security keys on IBE

引用

Tongxin Xuebao/Journal on Communications 2009年第11 A期30卷 75-80页

作者： Zou, Yue-Peng Ouyang, Dan-Tong He, Li-Li Bai, Hong-Tao College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012 China

A new escrow mechanism for personal security keys on IBE was proposed. This mechanism constructed a security trust system composed of private key generator, key management center, and user security component to set up a personal security key escrow model, thus providing identity validation, confidentiality and integrality check for the application, backup, recovery, and renewal of the escrowed keys. The mechanism, taking advantage of the IBE, simplified the process of authentication and encryption, mede it possible for users to complete independently the escrow of personal security keys. Therefore, it is more practical than traditional key escrow schemes.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Extracting Attributes from Deep Web Interface Using Instances

Extracting Attributes from Deep Web Interface Using Instance...

引用

Computer Science and Information engineering, CSIE, WRI World Congress on FLAGGED

作者： Hao Liang Fei Ren Wanli Zuo Fengling He Junhua Wang College of Computer Science and Technology Jilin University Changchun China Department of Information Changchun Taxation College Changchun China Key Laboratory of Symbol Computation and Knowledge Engineering Ministry of Education Changchun China

There is myriad high quality information in the Deep Web and the feasible method to access the Deep Web is through the query interface of the Deep Web. Itpsilas necessary to extract abundant attributes and semantic relation description from the query interface. Automatic extracting attributes from the query interface and automatically translating a query is a solvable way for addressing the current limitations in accessing Deep Web data sources. We design a framework to automatically extract the attributes and instances from the query interface using the WordNet as a kind of ontology technique to enrich the semantic description of the attributes. Each attribute is extended into a candidate attribute set in the form of a hierarchy tree. At the same time, the hierarchy tree generated by ontology describes the semantic relation of the attributes in the same query interface. We carry out our experiments in the real-world domain. The results of the experiments showed the validation of query translation framework.

关键词： Data mining Ontologies Computer science Educational institutions Databases Programming profession HTML Laboratories Computer interfaces knowledge engineering

来源：评论

学校读者我要写书评

暂无评论

Science Letters:Model for cascading failures in congested Internet

引用

Journal of Zhejiang University-Science A(Applied Physics & engineering) 2008年第10期9卷 1331-1335页

作者： Jian WANG Yan-heng LIU Jian-qi ZHU Yu JIAO Key Lab of Symbolic Computation and Knowledge Engineering of Ministry of Education College of Computer Science and Technology Jilin University Changchun 130012 China

Cascading failures often occur in congested networks such as the Internet. A cascading failure can be described as a three-phase process： generation, diffusion, and dissipation of the congestion. In this account, we present a function that represents the extent of congestion on a given node. This approach is different from existing fimctions based on betweenness centrality. By introducing the concept of ＇delay time＇, we designate an intergradation between permanent removal and nonremoval. We also construct an evaluation fimction of network efficiency, based on congestion, which measures the damage caused by cascading failures. Finally, we investigate the effects of network structure and size, delay time, processing ability and packet generation speed on congestion propagation. Also, we uncover the relationship between the cascade dynamics and some properties of the network such as structure and size.

关键词： Complex network Cascading failures Congestion effects Propagation model

来源：评论

学校读者我要写书评

暂无评论

Novel trusted authentication and evaluation framework in VANET

引用

Tongxin Xuebao/Journal on Communications 2009年第1 A期30卷 107-113页

作者： Wu, Jing Liu, Yan-Heng Wang, Jian Li, Wei-Ping College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012 China Changchun Jilin University Information Technologies Co. Ltd. Changchun 130012 China

Vehicular ad hoc networks (VANET) have many new characteristics unlike tranditional 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 VANET with self-organization, a new authentication and trust evaluation framework was proposed based on trusted computing technology, the concepts of "trusted attribute" and "trusted grade" were introduced, and the key management architecture as well as authentication process of mobile node were explained in detail. Moreover, the potential real application of the presented framework was discussed, and the trust evaluation method and its argumentation in the presented framework were given.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

RETRACTED ARTICLE: The IDS model adapt to load characteristic under IPv6/4 environment

RETRACTED ARTICLE: The IDS model adapt to load characteristi...

引用

2008 International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2008

作者： Wei, Chuyi Fang, Zhiyi Li, Wei Liu, Xiaonan Yang, Hongjun Key Laboratory of Symbolic Computation and Knowledge Engineering Jilin University Ministry of Education Changchun 130012 China

ISBN: (纸本)9781424421084

Thih paper proposed an intrusion detection system framework adapt to load characteristic under IPv6/4 environment; it uses decision-tree-based classification method, under guidance of a certain flow, creates dynamically rule matching tree adapt to load characteristic, reduces greatly the rule set that per packet or event need to be detected, improves the detection efficiency, can be utilized to solve the high packetloss problem; this paper proposed to make use of Petri net to built a mode to the complicated aggressive behavior, form the complicated aggressive rule library, improve the detection accuracy rate; in view of IPv6 security problem, make use of Snort rule description language, construct the detection rule under IPv6 environment; finally construct the platform in the local area network, carry on the simulation experiment. The experiment proved fully the feasibility and validity of intrusion detective method adapt to load characteristic under IPv6/4 environment. © 2008 IEEE.

关键词： Intrusion detection

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：