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

A NEW CASCADING FAILURE MODEL WITH DELAY TIME IN CONGESTED COMPLEX NETWORKS

Journal of Systems Science and Systems engineering 2009年第3期18卷 369-381页

作者： Jian WANG Yanheng LIU Yu JIAO 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

Cascading failures often occur in congested complex networks. Cascading failures can be expressed as a three-phase process： generation, diffusion, and dissipation of congestion. Different from the betweenness centrality, a congestion function is proposed to represent the extent of congestion on a given node. Inspired by the restart process of a node, we introduce the concept of ＂delay time,＂ during which the overloaded node Cannot receive or forward any traffic, so an intergradation between permanent removal and nonremoval is built and the flexibility of the presented model is demonstrated. Considering the connectivity of a network before and after cascading failures is not cracked because the overloaded node are not removed from network permanently in our model, a new evaluation function of network efficiency is also proposed to measure the damage caused by cascading failures. Finally, we investigate the effects of network structure and size, delay time, processing ability, and traffic generation speed on congestion propagation. Cascading processes composed of three phases and some factors affecting cascade propagation are uncovered as well.

关键词： Complex networks cascading failures congestion effects propagation model

来源：评论

学校读者我要写书评

暂无评论

The Fitzpatrick-Neville-Type Algorithm for Multivariate Vector-Valued Osculatory Rational Interpolation

引用

Journal of Systems Science & Complexity 2015年第1期28卷 222-242页

作者： XIA Peng ZHANG Shugong LEI Na KIM Zhangyong School of Mathematics Liaoning University Automated Reasoning and Cognition Key Laboratory of Chongqing School of Mathematics Key Laboratory of Symbolic Computation and Knowledge Engineering(Ministry of Education)Jilin University

In this paper,the authors first apply the Fitzpatrick algorithm to multivariate vectorvalued osculatory rational *** based on the Fitzpatrick algorithm and the properties of an Hermite interpolation basis,the authors present a Fitzpatrick-Neville-type algorithm for multivariate vector-valued osculatory rational *** may be used to compute the values of multivariate vector-valued osculatory rational interpolants at some points directly without computing the interpolation function explicitly.

关键词： Fitzpatrick algorithm GrSbner basis module vector-valued osculatory rational interpolation.

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Prior-guided dual-stage diabetic retinopathy grading model based on feature collaboration of lesion and vascular structure

引用

Expert Systems with Applications 2025年 285卷

作者： Guo, Xiaoxin Yang, Guangqi Xu, Chenfangqian Dong, Hongliang Hu, Xiaoying Che, Songtian Key Laboratory of Symbol Computation and Knowledge Engineering of Ministry of Education Jilin University 2699 Qianjin Street Changchun130012 China College of Computer Science and Technology Jilin University 2699 Qianjin Street Changchun130012 China Ophthalmology Department Bethune First Hospital of Jilin University Changchun Jilin130021 China Ophthalmology Department Bethune Second Hospital of Jilin University Changchun Jilin130041 China

In order to fully utilize lesion features and vascular structure and solve the problem of class imbalance, diabetes retinopathy (DR) grading is modeled as a dual-stage task, and the prior-guided dual-stage diabetes retinopathy grading model is proposed by designing an end-to-end hierarchical framework, consisting of XE-Net and MFC-Net. The former uses vascular structure from color fundus images as prior knowledge to guide the classification of proliferative diabetic retinopathy (PDR) and non-PDR;the latter further classifies non-PDR images using color fundus images with four types of segmented lesions. The core of MFC-Net is the feature collaboration block (FCB) for multi-classification tasks, which is proposed to facilitate effective collaboration between global and local features. In addition, a class-balanced (CB) loss weight is also introduced to address the common class imbalance problem in DR datasets. The experimental results on two publicly available datasets, DDR and IDRiD show that the proposed model has significant advantages. © 2025 Elsevier Ltd

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Fano resonance and wave transmission through a chain structure with an isolated ring composed of defects

引用

Chinese Physics B 2012年第3期21卷 212-217页

作者：张存喜丁秀欢王瑞周运清孔令民 Department of Physics Zhejiang Ocean University Department of Mathematics Zhejiang Ocean University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University

We consider a discrete model that describes a linear chain of particles coupled to an isolated ring composed of N defects. This simple system can be regarded as a generalization of the familiar Fano Anderson model. It can be used to model discrete networks of coupled defect modes in photonic crystals and simple waveguide arrays in two-dimensional lattices. The analytical result of the transmission coefficient is obtained, along with the conditions for perfect reflections and transmissions due to either destructive or constructive interferences. Using a simple example, we further investigate the relationship between the resonant frequencies and the number of defects N, and study how to affect the numbers of perfect reflections and transmissions. In addition, we demonstrate how these resonance transmissions and refections can be tuned by one nonlinear defect of the network that possesses a nonlinear Kerr-like response.

关键词： wave transmission Fano resonance defect bistability

来源：评论

学校读者我要写书评

暂无评论

Field-assisted spin-polarized electron transport through a single quantum well with spin-orbit coupling

引用

Chinese Physics B 2012年第3期21卷 389-394页

作者：丁秀欢张存喜王瑞周运清孔令民 Department of Mathematics Zhejiang Ocean University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Department of Physics Zhejiang Ocean University

We have investigated theoretically the field-driven electron transport through a single-quantum-well semiconductor heterostructure with spin-orbit coupling. The splitting of the asymmetric Fano-type resonance peaks due to the Dresselhaus spin-orbit coupling is found to be highly sensitive to the direction of the incident electron. The splitting of the Fano-type resonance induces the spin-polarization dependent electron current. The location and the line shape of the Fano-type resonance can be controlled by adjusting the energy and the direction of the incident electron, the oscillation frequency, and the amplitude of the external field. These interesting features may be used to devise tunable spin filters and realize pure spin transmission currents.

关键词： Fano resonance Floquet channel spin-orbit coupling

来源：评论

学校读者我要写书评

暂无评论

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.

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：