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

PBCounter:weighted model counting on pseudo-boolean formulas

Frontiers of Computer Science 2025年第3期19卷 55-63页

作者： Yong LAI Zhenghang XU Minghao YIN College of Computer Science and Technology Jilin UniversityChangchun 130012China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin UniversityChangchun 130012China School of Computer Science and Information Technology Northeast Normal UniversityChangchun 130017China

In Weighted Model Counting(WMC),we assign weights to literals and compute the sum of the weights of the models of a given propositional formula where the weight of an assignment is the product of the weights of its *** current WMC solvers work on Conjunctive Normal Form(CNF)***,CNF is not a natural representation for human-being in many *** by the stronger expressive power of Pseudo-Boolean(PB)formulas than CNF,we propose to perform WMC on PB *** on a recent dynamic programming algorithm framework called ADDMC for WMC,we implement a weighted PB counting tool *** compare PBCounter with the state-of-the-art weighted model counters SharpSAT-TD,ExactMC,D4,and ADDMC,where the latter tools work on CNF with encoding methods that convert PB constraints into a CNF *** experiments on three domains of benchmarks show that PBCounter is superior to the model counters on CNF formulas.

关键词： weighted model counting pseudo-boolean constraint algebraic decision diagrams preprocessing techniques

来源：评论

学校读者我要写书评

暂无评论

On-Line System of Garbage Image-Orientated Intelligent Classification, Submission and Examination 20

On-Line System of Garbage Image-Orientated Intelligent Class...

引用

20th IEEE International Conference on e-Business engineering, ICEBE 2024

作者： Tian, Jiayin Wang, Yaozhi Liu, Jiaxin Chen, Yan School of Computer Science and Technology Xi'an Jiaotong University Shaanxi Xi'an China Xi'an Jiaotong University Shaanxi Key Lab of Big Data Knowledge Engineering Shaanxi Xi'an China School of Computer Science and Technology Xi'an Jiaotong University Xi'an Jiaotong University Shaanxi Key Lab of Big Data Knowledge Engineering Shaanxi Xi'an China

ISBN: (纸本)9798350365856

In a world brimming with new products continually, novel waste types are ubiquitous. This makes current image-based garbage classification systems difficult to perform well due to the long-tailed effects of distribution of garbage types, and necessitates an urgent and efficient garbage classification with abilities of detecting new and rare wastes and class-incremental learning for environmental sustainability. Therefore, we propose a framework of Online System of Garbage Image-Oriented Intelligent Classification, Submission, and Examination, facilitating the incremental garbage classification efforts. In which, to identify novel garbage effectively, we also introduced few-shot object detection method with two key algorithms: Two-Stage Object Detection Learning Algorithm and Dynamic Query-based Incremental Few-shot Learning Algorithm. Our experiment results show that Both outperform the current existing ones in dataset, MS COCO. Then, a strategy of Class-Incremental learning based Residual Network is proposed to meet the need of new waste class-incremental learning. The experimental results support our strategy. Finally, a prototype system employed the above algorithms and the strategy is described. © 2024 IEEE.

关键词： Zero-shot learning

来源：评论

学校读者我要写书评

暂无评论

Migration: An Efficient Explorer Operator to Guide Swarm Evolution 1

Migration: An Efficient Explorer Operator to Guide Swarm Evo...

引用

1st IEEE International Conference on Medical Artificial Intelligence, MedAI 2023

作者： Han, Xiaosong Zhou, Chengyang Liang, Yanchun Guan, Renchu College of Computer Science and Technology Jilin University Key Laboratory for Symbol Computation and Knowledge Engineering National Education Ministry Changchun China College of Computer Science and Technology Zhuhai Laboratory of Key Laboratory for Symbol Computation and Knowledge Engineering Ministry of Education Jilin University Zhuhai College of Science and Technology Key Laboratory for Symbol Computation and Knowledge Engineering National Education Ministry Zhuhai China

ISBN: (纸本)9798350358780

Particle Swarm Optimization with Migration (MPSO) is proposed to solve the issue that PSO will encounter unbearable time cost problems when dealing with High-dimension, Expensive and Black-box objective function tasks. The Migration operator is inspired by the migration of Salmon. Salmon will start a dangerous journey from the ocean to the home rivers for reproduction. The process of the entire behavior is similar to the reduction and recovery of dimension. Therefore, we design the Migration operator where a pretrained Wasserstein Autoencoders (WAE) is applied to simulate the migration behavior to accelerate the process of evolution in PSO, and we use Least-Squares Regression in lower space to produce better generation. In comparison with famous baseline methods in some benchmark functions, MPSO converges faster and more accurately, which shows the great potential of migration operations. © 2023 IEEE.

关键词： Particle swarm optimization (PSO)

来源：评论

学校读者我要写书评

暂无评论

Partial Label Learning via Conditional-Label-Aware Disambiguation

引用

Journal of Computer Science & Technology 2021年第3期36卷 590-605页

作者： Peng Ni Su-Yun Zhao Zhi-Gang Dai Hong Chen Cui-Ping Li Key Laboratory of Data Engineering and Knowledge Engineering(Renmin University of China) Ministry of Education Beijing 100087China School of Information Renmin University of ChinaBeijing 100087China

Partial label learning is a weakly supervised learning framework in which each instance is associated with multiple candidate labels,among which only one is the ground-truth *** paper proposes a unified formulation that employs proper label constraints for training models while simultaneously performing *** existing partial label learning approaches that only leverage similarities in the feature space without utilizing label constraints,our pseudo-labeling process leverages similarities and differences in the feature space using the same candidate label constraints and then disambiguates noise *** experiments on artificial and real-world partial label datasets show that our approach significantly outperforms state-of-the-art counterparts on classification prediction.

关键词： disambiguation partial label learning similarity and dissimilarity weak supervision

来源：评论

学校读者我要写书评

暂无评论

Dual-Threshold Personalized Federated Learning Method Based on Blockchain 4

Dual-Threshold Personalized Federated Learning Method Based ...

引用

4th International Conference on Blockchain Technology and Information Security, ICBCTIS 2024

作者： Liu, Wei Wang, Ying Cui, Wentao She, Wei Tian, Zhao School of Cyber Science and Engineering Zhengzhou University Henan Key Laboratory of Network Cryptography Technology Zhengzhou Key Laboratory of Blockchain and Data Intelligence Zhengzhou China School of Cyber Science and Engineering Zhengzhou University Zhengzhou China School of Cyber Science and Engineering Zhengzhou University SongShan Laboratory Zhengzhou China School of Cyber Science and Engineering Zhengzhou University Zhengzhou Key Laboratory of Blockchain and Data Intelligence Zhengzhou China

ISBN: (纸本)9798331528324

Federated learning has emerged as the forefront of research in recent years. However, its distributed framework poses a risk of a single point of failure in data research. Moreover, distinguishing malicious clients in the process of realizing personalized federated learning through client similarity is a critical concern. To overcome the aforementioned problems, we recommend a blockchain-based, dual-threshold personalized federated learning approach. Blockchain is used to replace the central server in the traditional federated learning framework. And we design a double-threshold-based malicious client screening algorithm, which achieves final malicious client identification by establishing screening criteria on both the blockchain side and the client side. The experimental findings demonstrate that the suggested technique maintains good accuracy and convergence even in the presence of malicious clients, compared to the FedAvg algorithm. © 2024 IEEE.

关键词： Federated learning

来源：评论

学校读者我要写书评

暂无评论

A reposition algorithm for e-hailing based on quantum annealing and intuitive reasoning

引用

Intelligent and Converged Networks 2024年第4期5卷 317-335页

作者： Chao Wang Yiyun Shi Sumin Wang Key Laboratory of Specialty Fiber Optics and Optical Access Networks Shanghai UniversityShanghai 200444China School of Information Engineering Ganzhou Key Laboratory of Cloud Computing and Big Data ResearchGannan University of Science and TechnologyGanzhou 341000China

Currently,the challenge lies in the traditional intelligent algorithm’s ability to effectively address the e-hailing repositioning *** identifying the underlying characteristics in extensive traffic data within a limited timeframe is difficult,ultimately preventing the achievement of the most optimal *** paper suggests a hybrid computing architecture involving reinforcement learning and quantum annealing based on intuitive *** reasoning aims to enhance performance in scenarios with poor system robustness,complex tasks,and diverse goals.A deep learning model is constructed,trained to extract scene features,and combined with expert knowledge,then transformed into a quantum annealable *** final strategy is obtained using a D-wave quantum computer with quantum tunneling effect,which helps in finding optimal solutions by jumping out of local suboptimal *** on 400000 real data,four algorithms are compared:minimum-cost flow,sequential markov decision process,hot-dot strategy,and driver-prefer *** average total revenue increases by about 10%and vehicle utilization by about 15%in various *** summary,the proposed architecture effectively solves the e-hailing reposition problem,offering new directions for robust artificial intelligence in big data decision problems.

关键词： intuitive reasoning reinforcement learning quantum annealing

来源：评论

学校读者我要写书评

暂无评论

Efficient Model Store and Reuse in an OLML database System

引用

Journal of Computer Science & Technology 2021年第4期36卷 792-805页

作者： Jian-Wei Cui Wei Lu Xin Zhao Xiao-Yong Du Key Laboratory of Data Engineering and Knowledge Engineering of Ministry of Education Renmin University of China Beijing 100872China School of Information Renmin University of ChinaBeijing 100872China

Deep learning has shown significant improvements on various machine learning tasks by introducing a wide spectrum of neural network ***,for these neural network models,it is necessary to label a tremendous amount of training data,which is prohibitively expensive in *** this paper,we propose OnLine Machine Learning(OLML)database which stores trained models and reuses these models in a new training task to achieve a better training effect with a small amount of training *** efficient model reuse algorithm AdaReuse is developed in the OLML ***,AdaReuse firstly estimates the reuse potential of trained models from domain relatedness and model quality,through which a group of trained models with high reuse potential for the training task could be selected ***,multi selected models will be trained iteratively to encourage diverse models,with which a better training effect could be achieved by *** evaluate AdaReuse on two types of natural language processing(NLP)tasks,and the results show AdaReuse could improve the training effect significantly compared with models training from scratch when the training data is *** on AdaReuse,we implement an OLML database prototype system which could accept a training task as an SQL-like query and automatically generate a training plan by selecting and reusing trained *** studies are conducted to illustrate the OLML database could properly store the trained models,and reuse the trained models efficiently in new training tasks.

关键词： model selection model reuse OnLine Machine Learning(OLML)database

来源：评论

学校读者我要写书评

暂无评论

Recognition of tea sprouts based on improved deeplabV3 + model

引用

Multimedia Tools and Applications 2025年 1-18页

作者： Liu, Ruixin Wang, Dengzhun Chen, Zhonghui Li, Zhilin Xiao, Hui Yan, Chunyu Yan, Jianwei Lu, Ping Xie, Benliang College of Big Data and Information Engineering Guizhou University Guiyang550025 China Power Semiconductor Device Reliability Engineering Center of the Ministry of Education Guiyang550025 China College of Mechanical Engineering Guizhou University Guiyang550025 China State Key Laboratory Breeding Base of Green Pesticide and Agricultural Bioengineering Key Laboratory of Green Pesticide and Agricultural Bioengineering Ministry of Education Guizhou University Guiyang550025 China

The recognition of tea sprouts is the premise of realize the intelligence of the premium tea picking. DeepLabV3 +, as the latest semantic segmentation algorithm of DeepLab family, can well recognize the tea sprouts in images. However, the model still has the problem of large number of parameters, and there is still room for improvements in segmentation accuracy and speed. To solve the multi-label recognition and segmentation of background, single bud, one leaf and two leaves in the tea sprout images, an improved deep convolutional neural network algorithm is proposed. This method realizes the recognition of different postures of high-quality tea sprouts on the premise of efficiency and accuracy. The DMResNet18 model is used as the feature extraction network to lightweight the network model and increase the segmentation speed. The feature joint attention network is added to optimize the spatial weights and channel weights of the model, which improves the accuracy of segmentation. Additionally, the low-level feature fusion method is applied to obtain rich initial global information of features and improves the overall performance of the model. The results show that the segmentation accuracy of improved DeepLabV3 + model reaches 92.58%, which is improved by 4.26% compared with the original DeepLabV3 + model. The model size and the speed of detection are improved by 80.67% and 52.24%, respectively. The proposed method offers a solution for the intelligent recognition of tea sprouts. © The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2025.

关键词： Semantic Segmentation

来源：评论

学校读者我要写书评

暂无评论

ATPRINPM: A single-source domain generalization method for the remaining useful life prediction of unknown bearings 3

ATPRINPM: A single-source domain generalization method for t...

引用

3rd International Conference on Sensing, Measurement and data Analytics in the Era of Artificial Intelligence, ICSMD 2022

作者： Xu, Juan Ma, Bin Fan, Yuqi Ding, Xu Key Laboratory of Knowledge Engineering with Big Data Hefei University of Technology School of Computer and Information Hefei China

ISBN: (纸本)9781665492812

The remaining useful life (RUL) of bearings is critical to the proper operation of mechanical equipment, maintenance of equipment costs and availability. The existing domain adaptation methods have had great success in RUL prediction. However, when the target bearing data are unavailable or unknown to be involved in model training, the domain adaptation approaches also incapable. To solve the problem, we propose a parallel reversible instance normalization method based on adaptive threshold stage division for remaining useful life prediction of unknown bearings. First, we design an adaptive threshold method to find degradation points to divide the healthy and degradation stages. Then according to time series, we merge the original vibration data and its instance normalized data to increase the data distribution diversity. Finally, we combine instance normalization and parallel reversible normalization of the source bearing data into unified RUL learning framework to solve the uncertainty of counterfactual data and improve RUL prediction performance. The results show that the method is superior to the state-of-the-art methods for RUL prediction of unknown bearings. © 2022 IEEE.

关键词： Adaptive Threshold Reversible Instance Normalization RUL Prediction Stage Division

来源：评论

学校读者我要写书评

暂无评论

Pushing AI to wireless network edge: an overview on integrated sensing, communication, and computation towards 6G

引用

Science China(Information Sciences) 2023年第3期66卷 7-25页

作者： Guangxu ZHU Zhonghao LYU Xiang JIAO Peixi LIU Mingzhe CHEN Jie XU Shuguang CUI Ping ZHANG Shenzhen Research Institute of Big Data Future Network of Intelligence Institute (FNii) The Chinese University of Hong Kong (Shenzhen) School of Science and Engineering (SSE) The Chinese University of Hong Kong (Shenzhen) State Key Laboratory of Advanced Optical Communication Systems and Networks School of Electronics Peking University Department of Electrical and Computer Engineering and Institute for Data Science and Computing University of Miami Peng Cheng Laboratory State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications

Pushing artificial intelligence(AI) from central cloud to network edge has reached board consensus in both industry and academia for materializing the vision of artificial intelligence of things(AIoT) in the sixth-generation(6G) era. This gives rise to an emerging research area known as edge intelligence, which concerns the distillation of human-like intelligence from the vast amount of data scattered at the wireless network edge. Typically, realizing edge intelligence corresponds to the processes of sensing, communication,and computation, which are coupled ingredients for data generation, exchanging, and processing, ***, conventional wireless networks design the three mentioned ingredients separately in a task-agnostic manner, which leads to difficulties in accommodating the stringent demands of ultra-low latency, ultra-high reliability, and high capacity in emerging AI applications like auto-driving and metaverse. This thus prompts a new design paradigm of seamlessly integrated sensing, communication, and computation(ISCC) in a taskoriented manner, which comprehensively accounts for the use of the data in downstream AI tasks. In view of its growing interest, this study provides a timely overview of ISCC for edge intelligence by introducing its basic concept, design challenges, and enabling techniques, surveying the state-of-the-art advancements, and shedding light on the road ahead.

关键词： sixth-generation (6G) edge intelligence artificial intelligence of things (AIoT) integrated sensing communication and computation (ISCC)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：