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

International Conference on Computer Science & education (ICCSE)

作者： Rui ZHANG Pedro Mestre Carlos Serodio Marília Prada Wenjuan GAO College of Computer Science and Technology Jilin University Key Lab of Symbolic Computation and Knowledge Engineering Chinese Ministry of Education Changchun China Centro Algoritmi University of Minho Guimaraes Portugal CITAB University of Tras-os-Montes and Alto Douro Vila Real Portugal Department of Social and Organizational Psychology Instituto Universitário de Lisboa (ISCTE-IUL) Lisboa Portugal Library of Changchun University Changchun China

ISBN: (数字)9781728172675

ISBN: (纸本)9781728172682

In a increasingly globalized world, it is very important to help students to acquire the hard and soft skills needed to cope with the challenges they will face when working in such environments. However, even though students find this subject interesting and volunteer for it, it is hard, even impossible to teach college students such a distributed fashion of teamwork. In this paper, a case study is provided to illustrate the methodology and experiences of a joint course, distributed software development, of multiple universities from Asia, Europe, North and South Americas. The results show that student can get the spirit, effective communication for such web-based teamwork environment and achieve software project development. The recent developments because of the Covid-19 pandemic are the facts that now students have to cooperate remotely with each other not only across continents but also inside their own city or country. It has increased the awareness of the need for this kind of training and effectively improved the interactions between team elements in different countries and improved the students' feeling of belonging to their team.

关键词： Software Software engineering Games Faces Teamwork Electronic mail Tools

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

RiWalk: Fast structural node embedding via role identification

arXiv

引用

arXiv 2019年

作者： Ma, Xuewei Qin, Geng Qiu, Zhiyang Zheng, Mingxin Wang, Zhe College of Computer Science and Technology Jilin University Changchun130012 China Key Laboratory of Symbol Computation and Knowledge Engineering Ministry of Education Jilin University Changchun130012 China

Nodes performing different functions in a network have different roles, and these roles can be gleaned from the structure of the network. Learning latent representations for the roles of nodes helps to understand the network and to transfer knowledge across networks. However, most existing structural embedding approaches suffer from high computation and space cost or rely on heuristic feature engineering. Here we propose RiWalk, a flexible paradigm for learning structural node representations. It decouples the structural embedding problem into a role identification procedure and a network embedding procedure. Through role identification, rooted kernels with structural dependencies kept are built to better integrate network embedding methods. To demonstrate the effectiveness of RiWalk, we develop two different role identification methods named RiWalk-SP and RiWalk-WL respectively and employ random walk based network embedding methods. Experiments on within-network classification tasks show that our proposed algorithms achieve comparable performance with other baselines while being an order of magnitude more efficient. Besides, we also conduct across-network role classification tasks. The results show potential of structural embeddings in transfer learning. RiWalk is also scalable, making it capable of capturing structural roles in massive networks. Copyright © 2019, The Authors. All rights reserved.

关键词： Network embeddings

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Identification of Cancer Development Related Pathways Based on Co-Expression Analyses

Identification of Cancer Development Related Pathways Based ...

引用

IEEE International Conference on Bioinformatics and Biomedicine (BIBM)

作者： Hongyang Jiang Zhihang Wang Chaoyi Yin Peishuo Sun Ying Xu Huiyan Sun School of Artificial Intelligence Jilin University Changchun Innovation Group of Marine Engineering Materials and Corrosion Control Southern Marine Science and Engineering Guangdong Laboratory Zhuhai China College of Computer Science and Technology Jilin University Changchun China School of Artificial Intelligence Jilin University Changchun China Computational Systems Biology Lab Institute of Bioinformatics University of Georgia Athens USA School of Artificial Intelligence Key Laboratory of Symbol Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun

ISBN: (数字)9781728162157

ISBN: (纸本)9781728162164

Cancer is a rapidly evolving disease, with complex physiological changes throughout its development. Different patients of the same cancer type may require distinct treatments depending on the level of development. Hence it is essential to identify the genes and biological processes strongly associated with cancer progression to design an effective treatment plan. Our study has found that cancer samples of the same development stage (or grade, subtype) tend to share highly unique co-expression patterns, providing considerably stronger discerning power than differential expressions for cancer staging (and grading, subtyping). Based on this, we have developed a framework for identification and analyses of genes and pathways strongly associated with a cancer's development through identification of co-expression patterns that become increasingly stronger or weaker over cancer samples from early through advanced stages. Functional analyses of such co-expressed genes reveal that (1) cell-cycle, immune response, ribosome, proteasome and oxidative phosphorylation, among others, strongly associate with cancer development, (2) the co-expression patterns among ribosome, proteasome and oxidative phosphorylation genes tend to become increasingly weaker as a cancer advances, for almost all cancer types, and (3) the co-expression patterns among cell cycle and immune response genes tend to become increasingly stronger with cancer progression. We anticipate that co-expression-based analyses like we present here will become a key technique for functional studies of cancer development and evolution.

关键词： Cancer Correlation Indexes Biological processes Physiology Immune system Genetic expression

来源：评论

学校读者我要写书评

暂无评论

Design of a Daily Brief Business Report Generator based on Web Scraping with KNN Algorithm

Design of a Daily Brief Business Report Generator based on W...

引用

作者： Gang Lin Yanchun Liang Xiaoyang Fu Guangshun Chen Shaocan Cai Zhuhai Laboratory of Key Laboratory of Symbol Computation and Knowledge Engineering of Ministry of Education Department of Computer Science and TechnologySchool of Computer Science Department of Computer Science and Technology School of Computer ScienceZhuhai College of Jilin University

In order to generate a report for an enterprise where there is neither the API supporting from their existing website systems nor the granted database access rights approval,a daily business report generator system based on web scraping with k nearest neighbor(kNN)classification algorithm is proposed in this *** covers the web crawler technology that is to access existing website system and extract business *** k NN algorithm is applied to identify the verification code on the login page,and the brief daily report generating in a spreadsheet style *** with some OCR engine for image recognition,the system in Python can automatically generate the brief daily business reports by the kNN algorithm,which is better than some library with default training set on validating the verification code.

关键词： image Design of a Daily Brief Business Report Generator based on Web Scraping with KNN Algorithm Web KNN

来源：评论

学校读者我要写书评

暂无评论

A Layered Co-evolution Based Rough Feature Selection Using Adaptive Neighborhood Radius Hierarchy and Its Application in 3D-MRI

引用

Chinese Journal of Electronics 2017年第6期26卷 1168-1176页

作者： DING Weiping GUAN Zhijin WANG Jiehua TIAN Di School of Computer Science and Technology Nantong University State Key Laboratory for Novel Software Technology Nanjing University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Key Laboratory of Intelligent Perception and Systems for High-Dimensional Information of Ministry of Education Nanjing University of Science and Technology

As the conventional feature selection algorithms are prone to the poor running efficiency in largescale datasets with interacting features, this paper aims at proposing a novel rough feature selection algorithm whose innovation centers on the layered co-evolutionary strategy with neighborhood radius hierarchy. This hierarchy can adapt the rough feature scales among different layers as well as produce the reasonable decompositions through exploiting any correlation and interdependency among feature subsets. Both neighborhood interaction within layer and neighborhood cascade between layers are adopted to implement the interactive optimization of neighborhood radius matrix, so that both the optimal rough feature selection subsets and their global optimal set are obtained efficiently. Our experimental results substantiate the proposed algorithm can achieve better effectiveness, accuracy and applicability than some traditional feature selection algorithms.

关键词： Layered co-evolution Rough feature se lection Adaptive neighborhood radius hierarchy Longitudinal cortical surface labeling

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：