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

An infrastructure software perspective toward computation offloading between executable specifications and foundation models

引用

science China(Information sciences) 2025年第4期68卷 380-382页

作者： Dezhi RAN Mengzhou WU Yuan CAO Assaf MARRON David HAREL Tao XIE Key Laboratory of High Confidence Software Technologies (PKU) Ministry of Education School of Computer SciencePeking University School of Electronics Engineering and Computer Science Peking University Department of Computer Science and Applied Mathematics Weizmann Institute of Science

Foundation models(FMs) [1] have revolutionized software development and become the core components of large software systems. This paradigm shift, however, demands fundamental re-imagining of software engineering theories and methodologies [2]. Instead of replacing existing software modules implemented by symbolic logic, incorporating FMs' capabilities to build software systems requires entirely new modules that leverage the unique capabilities of ***, while FMs excel at handling uncertainty, recognizing patterns, and processing unstructured data, we need new engineering theories that support the paradigm shift from explicitly programming and maintaining user-defined symbolic logic to creating rich, expressive requirements that FMs can accurately perceive and implement.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Adaptive coupled-sliding-variable-based finite-time control of composite formation for multi-robot systems

引用

science China(Information sciences) 2024年第10期67卷 244-260页

作者： Xinru MA Hengyu LI Jun LIU Yueying WANG Shaorong XIE Jun LUO School of Mechatronic Engineering and Automation Shanghai University School of Mathematics and Computer Application Technology Jining University School of Computer Science Shanghai University College of Mechanical and Vehicle Engineering Chongqing University

This paper focuses on the finite-time control(FTC) of the composite formation consensus(CFC)problems for multi-robot systems(MRSs). The CFC problems are firstly proposed for MRSs under the complex network topology of cooperative or cooperative-competitive networks. Regarding the problems of FTC and CFC on multiple Lagrange systems(MLSs), coupled sliding variables are introduced to deal with the robustness and consistent convergence. Then, the adaptive finite-time protocols are given based on the displacement approaches. With the premised FTC, tender-tracking methods are further developed for the problems of tracking information disparity. Stability analyses of those MLSs mentioned above are clarified with Lyapunov candidates considering the coupled sliding vectors, which provide new verification for tender-tracking systems. Under the given coupled-sliding-variable-based finite-time protocols, MLSs distributively adjust the local formation error to achieve global CFC and perform uniform convergence in time-varying tracking. Finally, simulation experiments are conducted while providing practical solutions for the theoretical results.

关键词： composite formation time-vary tracking information disparity tender-tracking finite-time control nonlinear robots complex networks symmetry consensus

来源：评论

学校读者我要写书评

暂无评论

BSTFNet:An Encrypted Malicious Traffic Classification Method Integrating Global Semantic and Spatiotemporal Features

引用

computers, Materials & Continua 2024年第3期78卷 3929-3951页

作者： Hong Huang Xingxing Zhang Ye Lu Ze Li Shaohua Zhou School of Computer Science and Engineering Sichuan University of Science&EngineeringYibin644002China School of Mathematics and Statistics Sichuan University of Science&EngineeringYibin644002China

While encryption technology safeguards the security of network communications,malicious traffic also uses encryption protocols to obscure its malicious *** address the issues of traditional machine learning methods relying on expert experience and the insufficient representation capabilities of existing deep learning methods for encrypted malicious traffic,we propose an encrypted malicious traffic classification method that integrates global semantic features with local spatiotemporal features,called BERT-based Spatio-Temporal Features Network(BSTFNet).At the packet-level granularity,the model captures the global semantic features of packets through the attention mechanism of the Bidirectional Encoder Representations from Transformers(BERT)*** the byte-level granularity,we initially employ the Bidirectional Gated Recurrent Unit(BiGRU)model to extract temporal features from bytes,followed by the utilization of the Text Convolutional Neural Network(TextCNN)model with multi-sized convolution kernels to extract local multi-receptive field spatial *** fusion of features from both granularities serves as the ultimate multidimensional representation of malicious *** approach achieves accuracy and F1-score of 99.39%and 99.40%,respectively,on the publicly available USTC-TFC2016 dataset,and effectively reduces sample confusion within the Neris and Virut *** experimental results demonstrate that our method has outstanding representation and classification capabilities for encrypted malicious traffic.

关键词： Encrypted malicious traffic classification bidirectional encoder representations from transformers text convolutional neural network bidirectional gated recurrent unit

来源：评论

学校读者我要写书评

暂无评论

Privacy-preserving explainable AI: a survey

引用

science China(Information sciences) 2025年第1期68卷 23-56页

作者： Thanh Tam NGUYEN Thanh Trung HUYNH Zhao REN Thanh Toan NGUYEN Phi Le NGUYEN Hongzhi YIN Quoc Viet Hung NGUYEN School of Information and Communication Technology Griffith University School of Computer and Communication Sciences Ecole Polytechnique Federale de Lausanne Faculty of Mathematics and Computer Science University of Bremen Faculty of Information Technology HUTECH University Department of Computer Science Hanoi University of Science and Technology School of Electrical Engineering and Computer Science The University of Queensland

As the adoption of explainable AI(XAI) continues to expand, the urgency to address its privacy implications intensifies. Despite a growing corpus of research in AI privacy and explainability, there is little attention on privacy-preserving model explanations. This article presents the first thorough survey about privacy attacks on model explanations and their countermeasures. Our contribution to this field comprises a thorough analysis of research papers with a connected taxonomy that facilitates the categorization of privacy attacks and countermeasures based on the targeted explanations. This work also includes an initial investigation into the causes of privacy leaks. Finally, we discuss unresolved issues and prospective research directions uncovered in our analysis. This survey aims to be a valuable resource for the research community and offers clear insights for those new to this domain. To support ongoing research, we have established an online resource repository, which will be continuously updated with new and relevant findings.

关键词： privacy-preserving explainable AI privacy attacks privacy defences PrivEx PPXAI

来源：评论

学校读者我要写书评

暂无评论

Cooperative-Guided Ant Colony Optimization with Knowledge Learning for Job Shop Scheduling Problem

引用

Tsinghua science and Technology 2024年第5期29卷 1283-1299页

作者： Wei Li Xiangfang Yan Ying Huang School of Information Engineering Jiangxi University of Science and TechnologyGanzhou 341000China School of Mathematics and Computer Science Gannan Normal UniversityGanzhou 341000China

With the advancement of the manufacturing industry,the investigation of the shop floor scheduling problem has gained increasing *** Job shop Scheduling Problem(JSP),as a fundamental scheduling problem,holds considerable theoretical research ***,finding a satisfactory solution within a given time is difficult due to the NP-hard nature of the JSP.A co-operative-guided ant colony optimization algorithm with knowledge learning(namely KLCACO)is proposed to address this *** algorithm integrates a data-based swarm intelligence optimization algorithm with model-based JSP schedule knowledge.A solution construction scheme based on scheduling knowledge learning is proposed for *** problem model and algorithm data are fused by merging scheduling and planning knowledge with individual scheme construction to enhance the quality of the generated individual solutions.A pheromone guidance mechanism,which is based on a collaborative machine strategy,is used to simplify information learning and the problem space by collaborating with different machine processing ***,the KLCACO algorithm utilizes the classical neighborhood structure to optimize the solution,expanding the search space of the algorithm and accelerating its *** KLCACO algorithm is compared with other highperformance intelligent optimization algorithms on four public benchmark datasets,comprising 48 benchmark test cases in *** effectiveness of the proposed algorithm in addressing JSPs is validated,demonstrating the feasibility of the KLCACO algorithm for knowledge and data fusion in complex combinatorial optimization problems.

关键词： Ant Colony Optimization(ACO) Job shop Scheduling Problem(JSP) knowledge learning cooperative guidance

来源：评论

学校读者我要写书评

暂无评论

A privacy-preserving method for publishing data with multiple sensitive attributes

引用

CAAI Transactions on Intelligence Technology 2024年第1期9卷 222-238页

作者： Tong Yi Minyong Shi Wenqian Shang Haibin Zhu School of Computer Science and Engineering Guangxi Normal UniversityGuilinChina School of Computer Science Communication University of ChinaBeijingChina Department of Computer Science and Mathematics Nipissing UniversityNorth BayOntarioCanada

The overgeneralisation may happen because most studies on data publishing for multiple sensitive attributes(SAs)have not considered the personalised privacy ***,sensitive information disclosure may also be caused by these personalised *** address the matter,this article develops a personalised data publishing method for multiple *** to the requirements of individuals,the new method partitions SAs values into two categories:private values and public values,and breaks the association between them for privacy *** the private values,this paper takes the process of anonymisation,while the public values are released without this *** algorithm is designed to achieve the privacy mode,where the selectivity is determined by the sensitive value frequency and undesirable *** experimental results show that the proposed method can provide more information utility when compared with previous *** theoretic analyses and experiments also indicate that the privacy can be guaranteed even though the public values are known to an *** overgeneralisation and privacy breach caused by the personalised requirement can be avoided by the new method.

关键词： data privacy data publishing

来源：评论

学校读者我要写书评

暂无评论

Competition for gradient-free tuning of large language models:approaches, results, current challenges and future directions

引用

National science Review 2023年第6期10卷 16-19页

作者： Tingfeng Cao Liang Chen Dixiang Zhang Tianxiang Sun Zhengfu He Xipeng Qiu Xing Xu Hai Zhang School of Software Engineering South China University of Technology School of Computer Science Fudan University School of Computer Science and Engineering University of Electronic Science and Technology of China Pazhou Laboratory (Huangpu) School of Mathematics Northwest University

PROBLEM Recent years have witnessed the rapid progress of self-supervised language models (LMs)[1],especially large language models (LLMs)[2].LLMs not only achieved state-of-the-art performance on many natural language processing tasks,but also captured widespread attention from the public due to their great potential in a variety of real-world applications (***,search engines,writing assistants,etc.)through providing general-purpose intelligent services.A few of the LLMs are becoming foundation models,an analogy to infrastructure,that empower hundreds of downstream applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Convergence analysis for complementary-label learning with kernel ridge regression

引用

Applied mathematics(A Journal of Chinese Universities) 2024年第3期39卷 533-544页

作者： NIE Wei-lin WANG Cheng XIE Zhong-hua School of Mathematics and Statistics Huizhou UniversityHuizhou 516007China School of Computer Science and Engineering Huizhou UniversityHuizhou 516007China

Complementary-label learning(CLL)aims at finding a classifier via samples with complementary *** data is considered to contain less information than ordinary-label *** transition matrix between the true label and the complementary label,and some loss functions have been developed to handle this *** this paper,we show that CLL can be transformed into ordinary classification under some mild conditions,which indicates that the complementary labels can supply enough information in most *** an example,an extensive misclassification error analysis was performed for the Kernel Ridge Regression(KRR)method applied to multiple complementary-label learning(MCLL),which demonstrates its superior performance compared to existing approaches.

关键词： multiple complementary-label learning partial label learning error analysis reproducing kernel Hilbert spaces

来源：评论

学校读者我要写书评

暂无评论

CONSERVATIVE CONFORMING AND NONCONFORMING VEMS FOR FOURTH ORDER NONLINEAR SCHRODINGER EQUATIONS WITH TRAPPED TERM

引用

Journal of Computational mathematics 2024年第2期42卷 454-499页

作者： Meng Li Jikun Zhao Zhongchi Wang Shaochun Chen School of Mathematics and Statistics Zhengzhou UniversityZhengzhou 450001China School of Computer Science and Engineering Beihang universityBeijing 100083China

This paper aims to construct and analyze the conforming and nonconforming virtual element methods for a class of fourth order nonlinear Schrodinger equations with trapped *** mainly consider three types of virtual elements,including H^(2) conforming virtual element,C^(0) nonconforming virtual element and Morley-type nonconforming virtual *** fully discrete schemes are constructed by virtue of virtual element methods in space and modified Crank-Nicolson method in *** prove the mass and energy conservation,the boundedness and the unique solvability of the fully discrete *** introducing a new type of the Ritz projection,the optimal and unconditional error estimates for the fully discrete schemes are presented and ***,two numerical examples are investigated to confirm our theoretical analysis.

关键词： H^(2)conforming virtual element C^(0)nonconforming virtual element Morleytype nonconforming virtual element Nonlinear Schrodinger equation Conservation Convergence

来源：评论

学校读者我要写书评

暂无评论

CBIR: a novel identification approach for college students in need based on consumer behavior psychology theory

引用

Neural Computing and Applications 2025年第6期37卷 4663-4677页

作者： Liu, Xinze Liu, Shixi Hu, Xiaojing Zhang, Yudong Fang, Xianwen School of Computer and Information Engineering Chuzhou University Chuzhou239000 China School of Computer Science and Engineering Southeast University Nanjing210096 China School of Mathematics and Big Data Anhui University of Science and Technology Huainan232001 China

The accurate identification of students in need is crucial for governments and colleges to allocate resources more effectively and enhance social equity and educational fairness. Existing approaches to identifying students in need rely on manual operations that include manually extracting consumption behavior information, statistical consumption characteristics and principal component analysis. However, this issue may lead to low prediction accuracy and inefficiency in identifying students in need. We design a three-stage framework to accurately identify college students in need from the perspective of consumer behavior psychology. The consumption behavior information is first obtained from the student consumption records using the consumption behavior clustering approach. The consumption behavior matrix is then built by extracting consumption and spatiotemporal information in different periods. Finally, a novel consumption behavior identification ResNeSt (CBIR) model is proposed to identify college students in need accurately. The experimental results on real datasets show that the CBIR model has higher prediction accuracy than the baseline models. © The Author(s), under exclusive licence to Springer-Verlag London Ltd., part of Springer Nature 2024.

关键词： Social psychology

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：