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

Integrity constraints in OWL ontologies based on grounded circumscription

Frontiers of Computer Science 2013年第6期7卷 812-821页

作者： Dantong OUYANG College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Changchun 130012 China National Engineering Research Center of Geophysics Exploration Instruments Changchun 130026 China

The extensions for logic-based knowledge bases with integrity constraints are rather popular. We put forward an alternative criteria for analysis of integrity constraints in Web ontology language （OWL） ontology under the closed world assumption. According to this criteria, grounded circumscription is applied to define integrity constraints in OWL ontology and the satisfaction of the integrity constraints by minimizing extensions of the predicates in integrity con- straints. According to the semantics of integrity constraints, we provide a modified tableau algorithm which is sound and complete for deciding the consistency of an extended ontol- ogy. Finally, the integrity constraint validation is converted into the corresponding consistency of the extended ontology. Comparing our approach with existing integrity constraint validation approaches, we show that the results of our approach are more in accordance with user requirements than other approaches in certain cases.

关键词： semantic Web description logic ontology integrity constraints grounded circumscription

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Affine-periodic solutions by averaging methods

引用

Science China Mathematics 2018年第3期61卷 439-452页

作者： Jiamin Xing Xue Yang Yong Li College of Mathematics Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University School of Mathematics and Statistics Northeast Normal University Center for Mathematics and Interdisciplinary Sciences Northeast Normal University

This paper concerns the existence of affine-periodic solutions for perturbed affine-periodic *** kind of affine-periodic solutions has the form of x(t+T)≡Qx(t) with some nonsingular matrix Q,which may be quasi-periodic when Q is an orthogonal matrix. It can be even unbounded but x(t)/|x(t)| is quasi-periodic,like a helical line. for example x(t)=e^(at)(cos ωt, sin ωt), when Q is not an orthogonal matrix. The averaging method of higher order for finding affine-periodic solutions is given by topological degree.

关键词： affine-periodic solutions averaging method topological degree

来源：评论

学校读者我要写书评

暂无评论

Experimental study of the three key issues of multi-auctioneer model in computer grid

Experimental study of the three key issues of multi-auctione...

引用

18th IASTED International Conference on Parallel and Distributed Computing and Systems

作者： Han, Xiao Fang, Zhiyi Wang, Wanyu Xu, Fengyuan Huang, Mengzhou School of Economics and Information Systems School of Computer Science and Technology Key Laboratory Symbolic Computation and Knowledge Engineering Education Ministry

ISBN: (纸本)9780889866386

By means of introducing multi-auctioneer model, resources in the computational economic grid can be managed and allocated like in the auction. We research and put forward the corresponding solve schemes of three key issues of auctioneer system: preventing auctioneer from cheating, selection of auctioneer, setting of trading prices, and use computational grid modeling and simulation tools GridSim to simulate computational grid environment in the experiment which uses multiauctioneer system to manage and schedule, then we analyze the results of experiment in different conditions, and validate the feasibility of a multi-auctioneer system in computational grid.

关键词： computational economic grid multi-auction system election of auctioneer

来源：评论

学校读者我要写书评

暂无评论

Design for network camera based on DSP

Design for network camera based on DSP

引用

2006 International Conference on Hybrid Information Technology, ICHIT 2006

作者： Zhezhou, Yu Yuchen, Xie Congying, Lv Chunguang, Zhou Faner, Meng Lei, Liu Key Laboratory of Symbolic Computation and Knowledge Engineering Jilin University Ministry of Education Changchun 130012 China

ISBN: (纸本)0769526748

The hardware design of the DSP-based network camera is described in this paper which includes the implementation of CCD camera, DSP, Flash, SDRAM, CPLD, and Ethernet. The program of JPEG2000has been tested on the designed board and the result turns out to be good. It'll be implemented as a network camera with real-time video compression and transmission which can be connected to the Ethernet. © 2006 IEEE.

关键词： Cameras

来源：评论

学校读者我要写书评

暂无评论

Research on Trust Prediction from a Sociological Perspective

引用

Journal of Computer Science & Technology 2015年第4期30卷 843-858页

作者：王英王鑫左万利 College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Changchun 130012 China School of Computer Technology and Engineering Changehun Institute of Technology Changchun 130012 China

Trust, as a major part of human interactions, plays an important role in helping users collect reliable infor-mation and make decisions. However, in reality, user-specified trust relations are often very sparse and follow a power law distribution; hence inferring unknown trust relations attracts increasing attention in recent years. Social theories are frameworks of empirical evidence used to study and interpret social phenomena from a sociological perspective, while social networks reflect the correlations of users in real world; hence, making the principle, rules, ideas and methods of social theories into the analysis of social networks brings new opportunities for trust prediction. In this paper, we investigate how to exploit homophily and social status in trust prediction by modeling social theories. We first give several methods to compute homophily coe？cient and status coe？cient, then provide a principled way to model trust prediction mathe-matically, and propose a novel framework, hsTrust, which incorporates homophily theory and status theory. Experimental results on real-world datasets demonstrate the effectiveness of the proposed framework. Further experiments are conducted to understand the importance of homophily theory and status theory in trust prediction.

关键词： trust prediction homophily coefficient status coefficient social theory matrix factorization

来源：评论

学校读者我要写书评

暂无评论

A Cascaded Co-evolutionary Model for Attribute Reduction and Classification Based on Coordinating Architecture with Bidirectional Elitist Optimization

引用

Chinese Journal of Electronics 2017年第1期26卷 13-21页

作者： DING Weiping WANG Jiandong LI Yuehua CHENG Xueyun School of Computer Science and Technology Nantong University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Provincial Key Laboratory for Computer Information Processing Technology Soochow University College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics

A cascaded co-evolutionary model for Attribute reduction and classification based on Coordinating architecture with bidirectional elitist optimization(ARC-CABEO) is proposed for the more practical applications. The regrouping and merging coordinating strategy of ordinary-elitist-role-based population is introduced to represent a more holistic cooperative co-evolutionary framework of different populations for attribute reduction. The master-slave-elitist-based subpopulations are constructed to coordinate the behaviors of different elitists, and meanwhile the elitist optimization vector with the strongest balancing between exploration and exploitation is selected out to expedite the bidirectional attribute co-evolutionary reduction process. In addition, two coupled coordinating architectures and the elitist optimization vector are tightly cascaded to perform the co-evolutionary classification of reduction subsets. Hence the preferring classification optimization goal can be achieved better. Some experimental results verify that the proposed ARC-CABEO model has the better feasibility and more superior classification accuracy on different UCI datasets, compared with representative algorithms.

关键词： Attribute reduction for classification Bidirectional elitist optimization Coordinating architecture Cascaded co-evolutionary model

来源：评论

学校读者我要写书评

暂无评论

Extracting initial and reliable negative documents to enhance classification performance 1

引用

PAKDD 2006 International Workshop on knowledge Discovery in Life Science Literature, KDLL 2006

作者： Wang, Hui Zuo, Wanli Key Laboratory of Symbolic Computation and Knowledge Engineering Jilin University Ministry of Education Changchun 130012 China

ISBN: (数字)9783540328100

ISBN: (纸本)3540328092

Most existing text classification work assumes that training data are completely labeled. In real life, some information retrieval problems can only be described as learning a binary classifier from a set of incompletely labeled examples, where a small set of labeled positive examples and a very large set of unlabeled ones are provided. In this case, all of the traditional text classification methods can't work properly. In this paper, we propose a method called Weighted Voting Classifier, which is an improved 1-DNF algorithm. Experimental results on the Reuters-21578 set show that our algorithm Weighting Voting Classifier outperforms PEBL and one-class SVM in terms of F measure. Weighting Voting Classifier can achieve high F score when comparing with PEBL and one-class SVM. Furthermore, the reduction of iterations is 2.26 when comparing the method of PEBL with ours. © Springer-Verlag Berlin Heidelberg 2006.

关键词： Information retrieval

来源：评论

学校读者我要写书评

暂无评论

Optimal control approach to stability criteria on Hill's equations

引用

Applied Mathematics(A Journal of Chinese Universities) 2018年第3期33卷 253-273页

作者： ZU Jian LI Yong School of Mathematics and Statistics & Center for Mathematics and Interdisciplinary Sciences North-east Normal University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University College of Mathematics Jilin University

This paper gives a tutorial on how to prove Lyapunov type criteria by optimal control methods. Firstly, we consider stability criteria on Hill’s equations with nonnegative potential. By optimal control methods developed in 1990s, we obtain several stability criteria including Lyapunov’s criterion, Neǐgauz and Lidskiǐ’s criterion. Secondly, we present stability criteria on Hill’s equations with sign-changing potential in which Brog’s criterion and Krein’s criterion are included.

关键词： stability criteria optimal control method Hill's equation Lyapunov inequality

来源：评论

学校读者我要写书评

暂无评论

Experience Replay for Least-Squares Policy Iteration

引用

IEEE/CAA Journal of Automatica Sinica 2014年第3期1卷 274-281页

作者： Quan Liu Xin Zhou Fei Zhu Qiming Fu Yuchen Fu the School of Computer Science and Technology Soochow University the Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University the School of Computer Science and Technology Soochow University

Policy iteration,which evaluates and improves the control policy iteratively,is a reinforcement learning *** evaluation with the least-squares method can draw more useful information from the empirical data and therefore improve the data ***,most existing online least-squares policy iteration methods only use each sample just once,resulting in the low utilization *** the goal of improving the utilization efficiency,we propose an experience replay for least-squares policy iteration(ERLSPI)and prove its *** method combines online least-squares policy iteration method with experience replay,stores the samples which are generated online,and reuses these samples with least-squares method to update the control *** apply the ERLSPI method for the inverted pendulum system,a typical benchmark *** experimental results show that the method can effectively take advantage of the previous experience and knowledge,improve the empirical utilization efficiency,and accelerate the convergence speed.

关键词： Learning (artificial intelligence) Markov processes computational efficiency Convergence Least squares methods

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：