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

2018 2nd International Conference on Artificial Intelligence: Technologies and Applications（ICAITA2018）

作者： Shaozhi Dai Yanchun Liang Shuyan Liu Ying Wang Wenle Shao Xixun Lin Xiaoyue Feng Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education College of Computer Science and Technology Jilin University Zhuhai Laboratory of Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Zhuhai College of Jilin University

With the growth of existing knowledge graph, the completion of knowledge graph has become a crucial problem. In this paper, we propose a novel model based on descriptionembodied knowledge representation learning framework, which is able to take advantages of both fact triples and entity description. Specifically, the relation projection is combined with description-embodied representation learning to learn entity and relation embeddings. Convolutional neural network and Trans R are adopted to get the description-based and structure-based representation of entity and relation, respectively. We employ FB15 K dataset generated from a large knowledge graph freebase, to evaluate the performances of the proposed model. Experimental results show that our proposed model greatly outperforms other existing baseline models.

关键词： knowledge graph completion entity description natural language processing

来源：评论

学校读者我要写书评

暂无评论

A Task Allocation Method for Stream Processing with Recovery Latency Constraint

引用

Journal of Computer Science & Technology 2018年第6期33卷 1125-1139页

作者： Hong-Liang Li Jie Wu Zhen Jiang Xiang Li Xiao-Hui Wei College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of the Ministry of Education Changchun 130012 China Department of Computer and Information Sciences Temple University Philadelphia PA 19122 U.S.A. Department of Computer Science West Chester University of Pennsylvania West Chester PA 19383 U.S.A.

Stream processing applications continuously process large amounts of online streaming data in real time or nearreal time. They have strict latency constraints. However, the continuous processing makes them vulnerable to any failures,and the recoveries may slow down the entire processing pipeline and break latency constraints. The upstream backupscheme is one of the most widely applied fault-tolerant schemes for stream processing systems. It introduces complexbackup dependencies to tasks, which increases the difficulty of controlling recovery latencies. Moreover, when dependenttasks are located on the same processor, they fail at the same time in processor-level failures, bringing extra recovery latencies that increase the impacts of failures. This paper studies the relationship between the task allocation and therecovery latency of a stream processing application. We present a correlated failure effect model to describe the recoverylatency of a stream topology in processor-level failures under a task allocation plan. We introduce a recovery-latency awaretask allocation problem （RTAP） that seeks task allocation plans for stream topologies that will achieve guaranteed recoverylatencies. We discuss the difference between RTAP and classic task allocation problems and present a heuristic algorithmwith a computational complexity of O（n log2 n） to solve the problem. Extensive experiments were conducted to verify thecorrectness and effectiveness of our approach. It improves the resource usage by 15%-20% on average.

关键词： stream processing task allocation fault-tolerance upstream backup, recovery latency

来源：评论

学校读者我要写书评

暂无评论

Efficient zonal diagnosis with maximum satisfiability

引用

Science China(Information Sciences) 2018年第11期61卷 17-30页

作者： Meng LIU Dantong OUYANG Shaowei CAI Liming ZHANG College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of EducationJilin University State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences

Model-based diagnosis(MBD) has been widely acknowledged as an effective diagnosis ***, for large scale circuits, it is difficult to find all cardinality-minimal diagnoses within a reasonable time. This paper proposes a novel method that takes a significant step in this direction. The idea is to divide a circuit into zones and compute the cardinality-minimal diagnoses by finding subset-minimal diagnoses with cardinality-minimal via a maximum satisfiability(MaxSAT) solver on an abstracted circuit that is composed of these zones instead of all components. We also propose a new propagate-extend method for extending the seed-TLDs to obtain all cardinality-minimal diagnoses efficiently. We implement our method with a state-of-the-art core-guided MaxSAT solver, and present evidence that it significantly improves the diagnosis efficiency on ISCAS-85 circuits. Our method outperforms SATbD, which was recently shown to outperform most complete MBD approaches using satisfiability(SAT).

关键词： model-based diagnosis MaxS AT subset-minimal diagnoses cardinality-minimal diagnoses zone propagate-extend

来源：评论

学校读者我要写书评

暂无评论

Ordered proposition fusion based on consistency and uncertainty measurements

引用

Science China(Information Sciences) 2017年第8期60卷 117-135页

作者： Dayou LIU Yungang ZHU Ni NI Jie LIU College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Beijing Entry-Exit Inspection and Quarantine Bureau

The fusion of ordered propositions is an important and widespread problem in artificial intelligence,but existing fusion methods have difficulty handling the fusion of ordered propositions. In this paper, we propose a solution based on consistency and uncertainty measurements. The main contributions of this paper are as follows. First, we propose the concept of convexity degree, mean, and center of basic support function to comprehensively describe the basic support function of ordered propositions. Second, we introduce entropy as a measure of uncertainty in the basic support function of ordered propositions. Third, we generalize the indeterminacy of the basic support function and propose a novel method to measure the consistency between two basic support functions. Finally, based on the above researches, we propose a novel algorithm for fusing ordered propositions. Theoretical analysis and experimental results demonstrate that the proposed method outperforms state-of-the-art methods.

关键词： uncertainty processing ordered proposition evidence theory dempster rule of combination information fusion

来源：评论

学校读者我要写书评

暂无评论

An improved fruit fly optimization algorithm for solving traveling salesman problem

引用

Frontiers of Information Technology & Electronic engineering 2017年第10期18卷 1525-1533页

作者： Lan HUANG Gui-chao WANG Tian BAI Zhe WANG College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering (Jilin University) Ministry of Education Changchun 130012 China

The traveling salesman problem(TSP), a typical non-deterministic polynomial(NP) hard problem, has been used in many engineering applications. As a new swarm-intelligence optimization algorithm, the fruit fly optimization algorithm(FOA) is used to solve TSP, since it has the advantages of being easy to understand and having a simple implementation. However, it has problems, including a slow convergence rate for the algorithm, easily falling into the local optimum, and an insufficient optimization precision. To address TSP effectively, three improvements are proposed in this paper to improve FOA. First, the vision search process is reinforced in the foraging behavior of fruit flies to improve the convergence rate of FOA. Second, an elimination mechanism is added to FOA to increase the diversity. Third, a reverse operator and a multiplication operator are proposed. They are performed on the solution sequence in the fruit fly's smell search and vision search processes, respectively. In the experiment, 10 benchmarks selected from TSPLIB are tested. The results show that the improved FOA outperforms other alternatives in terms of the convergence rate and precision.

关键词： Traveling salesman problem Fruit fly optimization algorithm Elimination mechanism Vision search Operator

来源：评论

学校读者我要写书评

暂无评论

Topology-Aware Task Allocation for Distributed Stream Processing with Latency Guarantee

Topology-Aware Task Allocation for Distributed Stream Proces...

引用

作者： Xiaohui Wei Xun Wei Hongliang Li Yuan Zhuang Hengshan Yue College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering of the Ministry of Education

Nowadays it becomes more and more critical to process the increasingly large amounts of data in timely *** order to meet this requirement and ensure the reliable processing of streaming data,a variety of distributed stream processing architectures and platforms have been developed,which handles the fundamental task of allocating processing tasks to the currently available physical resources and routing streaming data between these ***,many stream processing systems lack an intelligent scheduling mechanism,in which their default schedulers allocate tasks without taking resource demands and availability,or the transfer latency between resources into *** stream processing has a strict request for *** it's important to give latency guarantee for distributed stream *** this paper,we propose a new algorithm for stream processing with latency guarantee,the algorithm both consider transfer latency and resource demand in the process of task *** experiments verify the correctness and effectiveness of our *** the condition of satisfying the latency constraints,the heuristic algorithm AHA on average,reduce more than 21.3% and 58.9% resources compared with the greedy and the round-robin algorithms.

关键词： Distributed stream processing Task allocation Transfer latency

来源：评论

学校读者我要写书评

暂无评论

A randomized diversification strategy for solving satisfiability problem with long clauses

引用

Science China(Information Sciences) 2017年第9期60卷 121-131页

作者： Jian GAO Ruizhi LI Minghao YIN College of Computer Science Northeast Normal University College of Information Science and Technology Dalian Maritime University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University

Satisfiability problem(SAT) is a central problem in artificial intelligence due to its computational complexity and usefulness in industrial applications. Stochastic local search(SLS) algorithms are powerful to solve hard instances of satisfiability problems, among which CScore SAT is proposed for solving SAT instances with long clauses by using greedy mode and diversification mode. In this paper, we present a randomized variable selection strategy to improve efficiency of the diversification mode, and thus propose a new SLS *** perform a number of experiments to evaluate the new algorithm comparing with the recently proposed algorithms, and show that our algorithm is comparative with others for solving random instances near the phase transition threshold.

关键词： SAT local search randomized diversification strategy phase transition long clause

来源：评论

学校读者我要写书评

暂无评论

Accurate Q-learning 25th

Accurate Q-learning

引用

25th International Conference on Neural Information Processing, ICONIP 2018

作者： Hu, Zhihui Jiang, Yubin Ling, Xinghong Liu, Quan School of Computer Science and Technology Soochow University SuzhouJiangsu215006 China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing210000 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun130012 China

ISBN: (纸本)9783030041816

In order to solve the problem that Q-learning can suffer from large overestimations in some stochastic environments, we first propose a new form of Q-learning, which proves that it is equivalent to the incremental form and analyze the reasons why the convergence rate of Q-learning will be affected by positive bias. We generalize the new form for the purpose of easy adaptations. By using the current value instead of the bias term, we present an accurate Q-learning algorithm and show that the new algorithm converges to an optimal policy. Experimentally, the new algorithm can avoid the effect of positive bias and the convergence rate is faster than Q-learning and its variants on several MDP problems. © Springer Nature Switzerland AG 2018.

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Hyperbolic node embedding for signed networks

arXiv

引用

arXiv 2019年

作者： Song, Wenzhuo Chen, Hongxu Liu, Xueyan Jiang, Hongzhe Wang, Shengsheng College of Computer Science and Technology Jilin University Changchun130012 China Key Laboratory of Symbolic Computation Knowledge Engineering of Ministry of Education Jilin University Changchun130012 China Advanced Analytics Institute School of Computer Science Faculty of Engineering and IT University of Technology Sydney NSW2007 Australia College of Mechanical and Electronic Engineering Nanjing Forestry University Nanjing210037 China

Signed network embedding methods aim to learn vector representations of nodes in signed networks. However, existing algorithms only managed to embed networks into low-dimensional Euclidean spaces whereas many intrinsic features of signed networks are reported more suitable for non-Euclidean spaces. For instance, previous works did not consider the hierarchical structures of networks, which is widely witnessed in real-world networks. In this work, we answer an open question that whether the hyperbolic space is a better choice to accommodate signed networks and learn embeddings that can preserve the corresponding special characteristics. We also propose a non-Euclidean signed network embedding method based on structural balance theory and Riemannian optimization, which embeds signed networks into a Poincar ball in a hyperbolic space. This space enables our approach to capture underlying hierarchy of nodes in signed networks because it can be seen as a continuous tree. We empirically compare our method against six Euclidean-based baselines in three tasks on seven real-world datasets, and the results show the effectiveness of our method. Copyright © 2019, The Authors. All rights reserved.

关键词： Geometry

来源：评论

学校读者我要写书评

暂无评论

A Simplified Rational Representation for Positive-Dimensional Polynomial Systems and SHEPWM Equations Solving

引用

Journal of Systems Science & Complexity 2017年第6期30卷 1470-1482页

作者： SHANG Baoxin ZHANG Shugong TAN Chang XIA Peng School of Mathematics Key Laboratory of Symbolic Computation and Knowledge Engineering (Ministry of Education) Jilin University College of Science Northeast Electric Power University College of Science Northeast Forestry University School of Mathematics Liaoning University

The paper is concerned with the improvement of the rational representation theory for solving positive-dimensional polynomial systems. The authors simplify the expression of rational representation set proposed by Tan and Zhang(2010), obtain the simplified rational representation with less rational representation sets, and hence reduce the complexity for representing the variety of a positive-dimensional ideal. As an application, the authors compute a "nearly" parametric solution for the SHEPWM problem with a fixed number of switching angles.

关键词： Positive-dimensional polynomial system solving rational univariate representation SHEPWM simplified rational representation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：