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

A Heuristic Clustering Algorithm for Mining Communities in Signed Networks

Journal of Computer Science & Technology 2007年第2期22卷 320-328页

作者：杨博刘大有 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

Signed network is an important kind of complex network, which includes both positive relations and negative relations. Communities of a signed network are defined as the groups of vertices, within which positive relations are dense and between which negative relations are also dense. Being able to identify communities of signed networks is helpful for analysis of such networks. Hitherto many algorithms for detecting network communities have been developed. However, most of them are designed exclusively for the networks including only positive relations and are not suitable for signed networks. So the problem of mining communities of signed networks quickly and correctly has not been solved satisfactorily. In this paper, we propose a heuristic algorithm to address this issue. Compared with major existing methods, our approach has three distinct features. First, it is very fast with a roughly linear time with respect to network size. Second, it exhibits a good clustering capability and especially can work well with complex networks without well-defined community structures. Finally, it is insensitive to its built-in parameters and requires no prior knowledge.

关键词： complex network signed network community clustering graph theory

来源：评论

学校读者我要写书评

暂无评论

Modal extension rule

引用

Progress in Natural Science:Materials International 2005年第6期15卷 550-558页

作者： WU Xia*, SUN Jigui, LIN Hai and FENG Shasha(College of Computer Science and Technology, Jilin University, Changchun 130012, China key laboratory for symbolic computation and knowledge engineering, Jilin University, Changchun 130012, China) College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory for Symbolic Computation and Knowledge Engineering Jilin University Changchun 130012 China

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.

关键词： theorem proving extension rule modal logics functional transformation.

来源：评论

学校读者我要写书评

暂无评论

Lightweight axiom pinpointing via replicated driver and customized SAT-solving

引用

Frontiers of Computer Science 2023年第2期17卷 121-133页

作者： Dantong OUYANG Mengting LIAO Yuxin YE College of Computer Science and Technology Jilin UniversityChangchun 130012China Key Laboratory of Symbolic Computation and Knowledge Engineering(Jilin University) Ministry of EducationChangchun 130012China

In description logic,axiom pinpointing is used to explore defects in ontologies and identify hidden justifications for a logical *** recent years,SAT-based axiom pinpointing techniques,which rely on the enumeration of minimal unsatisfiable subsets(MUSes)of pinpointing formulas,have gained increasing *** with traditional Tableau-based reasoning approaches,SAT-based techniques are more competitive when computing justifications for consequences in large-scale lightweight description logic *** this article,we propose a novel enumeration justification algorithm,working with a replicated *** replicated driver discovers new justifications from the explored justifications through cheap literals resolution,which avoids frequent calls of SAT ***,when the use of SAT solver is inevitable,we adjust the strategies and heuristic parameters of the built-in SAT solver of axiom pinpointing *** adjusted SAT solver is able to improve the checking efficiency of unexplored *** proposed method is implemented as a tool named *** experimental results show that RDMinA outperforms the existing axiom pinpointing tools on practical biomedical ontologies such as Gene,Galen,NCI and Snomed-CT.

关键词： axiom pinpointing description logic SAT solver

来源：评论

学校读者我要写书评

暂无评论

Neural Explainable Recommender Model Based on Attributes and Reviews

引用

Journal of Computer Science & Technology 2020年第6期35卷 1446-1460页

作者： Yu-Yao Liu Bo Yang Hong-Bin Pei Jing Huang Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012China College of Computer Science and Technology Jilin UniversityChangchun 130012China

Explainable recommendation, which can provide reasonable explanations for recommendations, is increasingly important in many fields. Although traditional embedding-based models can learn many implicit features, resulting in good performance, they cannot provide the reason for their recommendations. Existing explainable recommender methods can be mainly divided into two types. The first type models highlight reviews written by users to provide an explanation. For the second type, attribute information is taken into consideration. These approaches only consider one aspect and do not make the best use of the existing information. In this paper, we propose a novel neural explainable recommender model based on attributes and reviews (NERAR) for recommendation that combines the processing of attribute features and review features. We employ a tree-based model to extract and learn attribute features from auxiliary information, and then we use a time-aware gated recurrent unit (T-GRU) to model user review features and process item review features based on a convolutional neural network (CNN). Extensive experiments on Amazon datasets demonstrate that our model outperforms the state-of-the-art recommendation models in accuracy of recommendations. The presented examples also show that our model can offer more reasonable explanations. Crowd-sourcing based evaluations are conducted to verify our model's superiority in explainability.

关键词： recommender system explainable recommendation review usefulness attribute usefulness

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

NADARAYA-WATSON ESTIMATORS FOR REFLECTED STOCHASTIC PROCESSES

引用

Acta Mathematica Scientia 2024年第1期44卷 143-160页

作者：韩月才张丁文 School of Mathematics Jilin UniversityChangchun130012China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin UniversityChangchun130012China

We study the Nadaraya-Watson estimators for the drift function of two-sided reflected stochastic differential *** estimates,based on either the continuously observed process or the discretely observed process,are *** certain conditions,we prove the strong consistency and the asymptotic normality of the two *** method is also suitable for one-sided reflected stochastic differential *** results demonstrate that the performance of our estimator is superior to that of the estimator proposed by Cholaquidis et al.(Stat Sin,2021,31:29-51).Several real data sets of the currency exchange rate are used to illustrate our proposed methodology.

关键词： reflected stochastic differential equation discretely observed process continuously observed process Nadaraya-Watson estimator asymptotic behavior

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

DiagDO: an efficient model based diagnosis approach with multiple observations

引用

Frontiers of Computer Science 2023年第6期17卷 125-134页

作者： Huisi ZHOU Dantong OUYANG Xinliang TIAN Liming ZHANG Laboratory of Symbolic Computation and Knowledge Engineering Jilin UniversityChangchun 130000China College of Computer Science and Technology Jilin UniversityChangchun 130000China

Model-based diagnosis(MBD)with multiple observations shows its significance in identifying fault *** existing approaches for MBD with multiple observations use observations which is inconsistent with the prediction of the *** this paper,we proposed a novel diagnosis approach,namely,the Diagnosis with Different Observations(DiagDO),to exploit the diagnosis when given a set of pseudo normal observations and a set of abnormal *** ideas are proposed in this ***,for each pseudo normal observation,we propagate the value of system inputs and gain fanin-free edges to shrink the size of possible faulty ***,for each abnormal observation,we utilize filtered nodes to seek surely normal ***,we encode all the surely normal components and parts of dominated components into hard clauses and compute diagnosis using the MaxSAT solver and MCS *** tests on the ISCAS'85 and ITC'99 benchmarks show that our approach performs better than the state-of-the-art algorithms.

关键词： model based diagnosis maximum satisfiability top-level diagnosis cardinality-minimal diagnosis subset-minimal diagnosis

来源：评论

学校读者我要写书评

暂无评论

Research of mobile IPv6 application based on diameter protocol

Research of mobile IPv6 application based on diameter protoc...

引用

First International Multi- Symposiums on Computer and computational Sciences, IMSCCS'06

作者： Da, Wei Yanheng, Liu Xuegang, Yu Xiaodong, Li Key Laboratory of Symbolic Computation and Knowledge Engineering Jilin University Ministry of Education China

ISBN: (纸本)0769525814

The Diameter protocol is recommended by IETF as AAA (Authentication, Authorization and Accounting) protocol criterion for the next generation network, Because the IPv6 protocol will be widely applied in the intending all-IP network, mobile IPv6 application based on Diameter protocol will play more important role in authentication, authorization and accounting. In this paper, the implementation of mobile node's authentication and authorization is presented with PANA (Protocol for carrying Authentication for Network Access) protocol. It is based on Diameter protocol for the application expansion of mobile IPv6, which provides the supports to the basic AAA process of mobile IPv6 nodes and dynamic Home Agent distribution in the visited network and the secret key distribution. Finally, the correctness of this application expansion is testified with developing the design of protocol based on OpenDiameter. © 2006 IEEE.

关键词： Mobile telecommunication systems

来源：评论

学校读者我要写书评

暂无评论

Interactive Activity Learning from Trajectories with Qualitative Spatio-Temporal Relation

引用

Chinese Journal of Electronics 2015年第3期24卷 508-512页

作者： WANG Shengsheng WEN Changji LAI Yong LIU Yiting LIU Dayou College of Computer Science and Technology Key Laboratory of Symbolic Computing and Knowledge Engineering of Ministry of Education Jilin University

Automatically analyzing interactions from video has gained much attention in recent years. Here a novel method has been proposed for analyzing interactions between two agents based on the tra jectories. Previous works related to this topic are methods based on features, since they only extract features from objects. A method based on qualitative spatio-temporal relations is adopted which utilizes knowledge of the model(qualitative spatio-temporal relation calculi) instead of the original tra jectory information. Based on the previous qualitative spatio-temporal relation works, such as Qualitative tra jectory calculus(QTC), some new calculi are now proposed for long term and complex interactions. By the experiments, the results showed that our proposed calculi are very useful for representing interactions and improved the interaction learning more effectively.

关键词： Interactive activity learning Tra jectory pair Qualitative spatio-temporal relation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：