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

International Symposium on Parallel and Distributed Processing with Applications, ISPA

作者： Ruixue Li Zhiyi Fang Wei Cao Yumei Yin Peng Xu College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Changchun China College of Information Technology Liaodong University Dandong China Changchun Institute of Optics Fine Mechanics and Physics Chinese Academy and Sciences Changchun China

After analyzing the specific security requirements of the wireless communication network based on IEEE802.16, a series of key issues about security methods and techniques were researched. A new authentication protocol for wireless mobile environment was proposed and designed. Then, its security was analyzed from the angle of technical realization and formal analysis to verify whether the original safety goals were achieved. Especially, formal analysis was mostly done. Finally, system testing was also carried out and the results were analyzed to verify function and performance of the new protocol.

关键词： Authentication Wireless application protocol Wireless communication Communication system security Information security Data security Safety Access protocols Clocks Synchronization

来源：评论

学校读者我要写书评

暂无评论

Novel theorem proving algorithm based on extension rule

引用

Jisuanji Yanjiu yu Fazhan/Computer Research and Development 2009年第1期46卷 9-14页

作者： Sun, Jigui Li, Ying Zhu, Xingjun Lu, Shuai College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering Jilin University Changchun 130012 China

ATP (automated theorem proving) has always been one of the most advanced areas of computer science. The traditional idea used in ATP is to try to deduce the empty clause to check satisfiability, such as resolution based theorem proving, which is one of the most popular methods. Extension-rule-based theorem proving is a new resolution-based theorem proving method. After a deep research work on the extension rule, a brilliant property of the rule is obtained. In this paper, the property and an algorithm which is used to decide it are proposed firstly. In addition, the algorithm's time complexity and space complexity are analyzed and proved. Based on the above work, a novel extension rule based theorem proving algorithm called NER is proposed. The NER algorithm transforms the problem which decides whether a clause set is satisfiable to a series of problems deciding whether one literal set includes another one, while the original extension algorithm transforms them to problems counting the number of maximum terms that can be expended. A number of experiments show that the NER algorithm obviously outperforms both the original extension rule based algorithm ER and the directional resolution algorithm DR. Especially, it can be improved up to two orders of magnitude.

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

Image resizing by color energy updating

引用

Guangxue Jingmi Gongcheng/Optics and Precision engineering 2013年第SUPPL期21卷 264-270页

作者： Zhao, Hong-Wei Wang, Zhen Liu, Ping-Ping Li, Qing-Liang School 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

A new image resizing algorithm was proposed based on a color space and an energy updating mechanism. First, the concept of color space was introduced into image resizing algorithm and the pixel's energy function was re-built based on the gradient of gray space and color space. Three kinds of color energy functions were tested and the energy function in HSI space was finally chosen because of its excellent performance. Additionally, since image resizing might badly corrupt the contours of main areas in an original image and might further affect the understanding of the image, an energy updating mechanism was proposed. The energy updating mechanism could increase the neighborhood energy values where a pixel had been deleted. By doing so, it could decrease the probability that seams cross this area again, thus the contour of this area could be protected well. In experiments, the degree of Scale Invariant Feature Transform (SIFT) matching between original image and resized image with different λ values was calculated. The best performance shows that the proportion between the color and gray energy functions was 7:3. By comparing the proposed method with other two state of arts algorithms, it indicates that the shape of main area will be better preserved with the proposed algorithm without introducing any more complexity.

关键词： Color

来源：评论

学校读者我要写书评

暂无评论

A hybrid optimization algorithm for the multi-chromosomal reversal median problem

A hybrid optimization algorithm for the multi-chromosomal re...

引用

1st International Conference on engineering and Technology Innovation, ICETI 2011

作者： Zhang, Yi Zhang, Meng Department of Computer Science Jilin Business and Technology College Changchun 130062 China Military Simulation Technology Institute Air Force Aviation University Changchun130022 China Key Laboratory of Symbol Computation and Knowledge Engineering of Ministry of Education College of Computer Science and Technology Jilin University Changchun 130012 China

ISBN: (纸本)9783037853245

In this paper, we introduce a hybrid optimization algorithm with the Branch-and-Bound Method and the Ant Colony Optimization to solve the multi-chromosomal reversal median problem. We convert the large-scale genome into TSP maps at first. Then we use a hybrid optimization algorithm with the Branch-and-Bound Method and the Ant Colony Optimization to solve the problem. In our improved algorithm, we increase the search speed by implement multi-branch parallel search of ACO. Our extensive experiments on simulated datasets show that this median solver is efficient.

关键词： Ant colony optimization

来源：评论

学校读者我要写书评

暂无评论

Mini-conflict repair based algorithm for solving dynamic constraint satisfaction problems

引用

Jisuanji Yanjiu yu Fazhan/Computer Research and Development 2007年第12期44卷 2078-2084页

作者： Sun, Jigui Gao, Jian Zhang, Yonggang College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering Jilin University Changchun 130012 China

Constraint satisfaction problems (CSPs) is an important research branch in artificial intelligence. Recently, dynamic CSP is proposed as a powerful tool for solving many real-world problems on dynamic environments. As a result, several algorithms to solve dynamic CSPs are presented. Among those algorithms, local change (LC) algorithm based on solution reuse strategy is a method for solving many kinds of dynamic CSPs and efficient for flexible planning. On the basis of LC algorithm which is widely used, the tabu search strategy is integrated and a mini-conflict repair based algorithm is proposed, which is called Tabu_LC. The improved algorithm considers all the conflict variables as a whole, and then solves the sub-problems with branch and bound algorithm to find the best neighbor assignment, which improves the efficiency markedly. Furthermore, the Tabu_LC algorithm is implemented in the framework of constraint solving system Ming-yue 1.0, and compared with the LC algorithm using large amount of random CSPs. The experiment indicates that the improved algorithm has overwhelmed the LC algorithm on both the efficiency and quality of solutions.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Federated Adaptation for Foundation Model-based Recommendations

arXiv

引用

arXiv 2024年

作者： Zhang, Chunxu Long, Guodong Guo, Hongkuan Fang, Xiao Song, Yang Liu, Zhaojie Zhou, Guorui Zhang, Zijian Liu, Yang Yang, Bo Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education China College of Computer Science and Technology Jilin University China Australian Artificial Intelligence Institute FEIT University of Technology Sydney Australia Kuaishou Technology China Institute for AI Industry Research Tsinghua University China

With the recent success of large language models, particularly foundation models with generalization abilities, applying foundation models for recommendations becomes a new paradigm to improve existing recommendation systems. It becomes a new open challenge to enable the foundation model to capture user preference changes in a timely manner with reasonable communication and computation costs while preserving privacy. This paper proposes a novel federated adaptation mechanism to enhance the foundation model-based recommendation system in a privacy-preserving manner. Specifically, each client will learn a lightweight personalized adapter using its private data. The adapter then collaborates with pre-trained foundation models to provide recommendation service efficiently with fine-grained manners. Importantly, users’ private behavioral data remains secure as it is not shared with the server. This data localization-based privacy preservation is embodied via the federated learning framework. The model can ensure that shared knowledge is incorporated into all adapters while simultaneously preserving each user’s personal preferences. Experimental results on four benchmark datasets demonstrate our method’s superior performance. Implementation code is available to ease reproducibility1 Copyright © 2024, The Authors. All rights reserved.

关键词： Recommender systems

来源：评论

学校读者我要写书评

暂无评论

Detection of Glue Spray on Bottom of Vehicle Based on Machine Vision

Detection of Glue Spray on Bottom of Vehicle Based on Machin...

引用

2018 International Conference on Network, Communication, Computer engineering (NCCE 2018)

作者： Dongyang Liu Jindong Zhang Xiaofeng Zhang Xiaoyu Ma Yuxin Kou College of Computer Science and Technology Jilin University Key Laboratory of Symbol Computation and Knowledge Engineering of the Ministry of Education Jilin University College of Software Jilin University

ISBN: (纸本)9781510871076

With the continuous development of machine vision,intelligent detection of bottom spray glue has gradually become a *** this paper,we proposed an algorithm of detection the glue spray on bottom of vehicle based on machine *** sampling and detecting the spray interest area,the algorithm can obtain its features which were used for intelligent identification of the spray interest area,and then carry out the pseudo target and detect whether the detection area is complete or *** can test the vehicles on pipeline in real *** the average,each frame's processing time is less than 150 *** there is an unqualified area,it will alarm and inform the operators of the wrong *** algorithm can improve the quality of the vehicle and save human resources and identify the spray interest area with high *** research directions in the future is to accelerate the speed to meet the practical application requirements,and to solve the intelligent identification of the spray interest area which has the same color with the vehicle body.

关键词： Glue spray Machine vision intelligent detection

来源：评论

学校读者我要写书评

暂无评论

A populations evolution study using the genotype frequency data of single nucleotide polymorphism from Y-chromosome

A populations evolution study using the genotype frequency d...

引用

2007 1st International Conference on Bioinformatics and Biomedical engineering, ICBBE

作者： Pei, Zhili Kong, Ying Shi, Xiaohu Lian, Zhichao Tang, Xuning Liu, Lisha Cao, Zhongbo Liang, Yanchun Key Laboratory of Symbol Computation and Knowledge Engineering Jilin University Ministry of Education Chang'chun 130012 China College of Mathematics and Computer Science Inner Mongolia University for Nationalities Tong'liao 028043 China Department of Biochemistry and Molecular Biology Institution of Glycobiology Dalian Medical University Da'lian 116027 China

ISBN: (纸本)1424411203

This paper proposes a novel way for the population evolution research. In the paper, it constructs the phylogenies tree of four populations using the single nucleotide polymorphism (SNP) genotype frequency of human's Y-chromosome provided by the international Hapmap project firstly, then a mathematical model is proposed to calculate the distance of any two races for all SNP genotype frequency. The simulation results suggest that the theory of constructing phylogenetic tree by analyzing SNP genotype frequency is effective. The accuracy of the adopted processing method is also shown by the simulation results. About the origination of modern human being, the result of this study can support the 'out of Africa' hypothesis, and this result is same as most evidences of paleontology. © 2007 IEEE.

关键词： Gene expression

来源：评论

学校读者我要写书评

暂无评论

Vector Quantization: A Case Study on Robust Medical Semantic Segmentation

SSRN

引用

SSRN 2024年

作者： Lang, Yijun Liu, Pingping Zhao, Hongwei Zhou, Qiuzhan College of Computer Science and Technology Jilin University Changchun130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun130012 China School of Mechanical Science and Engineering Jilin University Changchun130025 China College of Communication Engineering Jilin University Changchun130022 China

Pixel-wise medical image segmentation is essential for accurate disease diagnosis and analysis. Although these models exhibit high accuracy and impressive performance, they often face issues of trustworthiness due to their sensitivity to minor perturbations in the original images, which can cause significant deviations in segmentation tasks. To address these challenges, we focus on enhancing both the accuracy and the robustness of these systems against adversarial perturbations. We introduce a robust projection-head that utilizes a non-parametric method, Vector Quantization Momentum (VQM), to increase the hypothesis margin in the input space and reduce disturbances in the feature space. Additionally, we propose a new loss function, Anchor-based Vector Quantization (AVQ), designed to achieve denser pixel-prototype embedding. Our evaluation, using two white-box adversarial attack algorithms across two datasets, demonstrates a defense improvement of up to 14.46%. © 2024, The Authors. All rights reserved.

关键词： Pixels

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Judge System for Old Man Fall Down

Design and Implementation of Judge System for Old Man Fall D...

引用

2017 International Conference on Mechanical,Electronic,Control and Automation engineering(MECAE 2017)

作者： Chao Sun Jindong Zhang Jiajia Lin Rui Song Xuan Zang Xiaohan Liu College of Software Jilin University College of Computer Science and Technology Jilin University Key Laboratory of Symbol Computation and Knowledge Engineering of the Ministry of Education Jilin University

ISBN: (纸本)9781510838451

This paper taking into account the universal use of Android phones, designs and implements judgments and notices the old man falling cell phone App. By calling the phones accelerometer, gyroscope collection campaigns after processing according to human body dynamics model to determine the specific state of the elderly, and get the specific latitude and longitude via GPS;Cell phone judge after the old man falls can send text messages to bound phone number in advance and inform the GPS to obtain location coordinates, after the fall in the elderly will be able to make the necessary relief in a timely manner.

关键词： APP Fall down Dynamic models GPS

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：