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

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

来源：评论

学校读者我要写书评

暂无评论

Research Progress in Solar Flare Prediction Methods

引用

Research in Astronomy and Astrophysics 2025年第3期25卷 280-309页

作者： Ke Han Zhen Liu Xian-Yi Zhao Yi-Fei Li De-Quan Zheng Jie Wan School of Computer and Information Engineering Harbin University of Commerce Faculty of Computing Harbin Institute of Technology School of Energy Science and Engineering Harbin Institute of Technology

Solar flares are one of the strongest outbursts of solar activity,posing a serious threat to Earth’s critical infrastructure,such as communications,navigation,power,and ***,it is essential to accurately predict solar flares in order to ensure the safety of human ***,the research focuses on two directions:first,identifying predictors with more physical information and higher prediction accuracy,and second,building flare prediction models that can effectively handle complex observational *** terms of flare observability and predictability,this paper analyses multiple dimensions of solar flare observability and evaluates the potential of observational parameters in *** flare prediction models,the paper focuses on data-driven models and physical models,with an emphasis on the advantages of deep learning techniques in dealing with complex and high-dimensional *** reviewing existing traditional machine learning,deep learning,and fusion methods,the key roles of these techniques in improving prediction accuracy and efficiency are *** prevailing challenges,this study discusses the main challenges currently faced in solar flare prediction,such as the complexity of flare samples,the multimodality of observational data,and the interpretability of *** conclusion summarizes these findings and proposes future research directions and potential technology advancement.

关键词： Sun: activity Sun: flares (Sun:) sunspots Sun: magnetic fields magnetohydrodynamics (MHD)

来源：评论

学校读者我要写书评

暂无评论

Hybrid concurrency control protocol for data sharing among heterogeneous blockchains

引用

Frontiers of computer Science 2024年第3期18卷 1-12页

作者： Tiezheng GUO Zhiwei ZHANG Ye YUAN Xiaochun YANG Guoren WANG School of Computer Science and Technology Beijing Institute of TechnologyBeijing 100029China School of Computer Science and Engineering Northeastern UniversityShenyang 110167China

With the development of information technology and cloud computing,data sharing has become an important part of scientific *** traditional data sharing,data is stored on a third-party storage platform,which causes the owner to lose control of the *** a result,there are issues of intentional data leakage and tampering by third parties,and the private information contained in the data may lead to more significant ***,data is frequently maintained on multiple storage platforms,posing significant hurdles in terms of enlisting multiple parties to engage in data sharing while maintaining *** this work,we propose a new architecture for applying blockchains to data sharing and achieve efficient and reliable data sharing among heterogeneous *** design a new data sharing transaction mechanism based on the system architecture to protect the security of the raw data and the processing *** also design and implement a hybrid concurrency control protocol to overcome issues caused by the large differences in blockchain performance in our system and to improve the success rate of data sharing *** took Ethereum and Hyperledger Fabric as examples to conduct crossblockchain data sharing *** results show that our system achieves data sharing across heterogeneous blockchains with reasonable performance and has high scalability.

关键词： data sharing blockchain concurrency control protocol crosschain

来源：评论

学校读者我要写书评

暂无评论

PB-NBV: Efficient Projection-Based Next-Best-View Planning Framework for Reconstruction of Unknown Objects

引用

IEEE Robotics and Automation Letters 2025年第7期10卷 7444-7451页

作者： Jia, Zhizhou Li, Yuetao Hao, Qun Zhang, Shaohui Beijing Institute of Technology School of Optics and Photonics Beijing100081 China Changchun University of Science and Technology School of Optoelectronic Engineering Changchun130022 China

Completely capturing the three-dimensional (3D) data of an object is essential in industrial and robotic applications. The task of next-best-view (NBV) planning is to calculate the next optimal viewpoint based on the current data, gradually achieving a complete 3D reconstruction of the object. However, many existing NBV planning algorithms incur heavy computational costs due to the extensive use of ray-casting. To address this, we propose a projection-based NBV planning framework. Specifically, this framework refits different types of voxel clusters into ellipsoids based on the voxel structure. Then, the next optimal viewpoint is selected from the candidate views using a projection-based viewpoint quality evaluation function in conjunction with a global partitioning strategy. This process replaces extensive ray-casting, significantly improving the computational efficiency. Comparison experiments in the simulation environment show that our framework achieves the highest point cloud coverage with low computational time compared to other frameworks. The real-world experiments also confirm the efficiency and feasibility of the framework. Our method will be made open source to benefit the community. © 2016 IEEE.

关键词： Industrial robots

来源：评论

学校读者我要写书评

暂无评论

An efficient schedulability analysis based on worst-case interference time for real-time systems

引用

Science China(Information Sciences) 2024年第9期67卷 88-104页

作者： Hongbiao LIU Mengfei YANG Lei QIAO Xi CHEN Jian GONG School of Computer Science and Technology Xidian University China Academy of Space Technology Beijing Institute of Control Engineering

Real-time systems are widely implemented in the Internet of Things(IoT) and safety-critical systems, both of which have generated enormous social value. Aiming at the classic schedulability analysis problem in real-time systems, we proposed an exact Boolean analysis based on interference(EBAI) for schedulability analysis in real-time systems. EBAI is based on worst-case interference time(WCIT), which considers both the release jitter and blocking time of the task. We improved the efficiency of the three existing tests and provided a comprehensive summary of related research results in the field. Abundant experiments were conducted to compare EBAI with other related results. Our evaluation showed that in certain cases, the runtime gain achieved using our analysis method may exceed 73% compared to the stateof-the-art schedulability test. Furthermore, the benefits obtained from our tests grew with the number of tasks, reaching a level suitable for practical application. EBAI is oriented to the five-tuple real-time task model with stronger expression ability and possesses a low runtime overhead. These characteristics make it applicable in various real-time systems such as spacecraft, autonomous vehicles, industrial robots, and traffic command systems.

关键词： five-tuple real-time task model real-time system spacecraft Internet of Things exact schedulability analysis worst-case interference time

来源：评论

学校读者我要写书评

暂无评论

Multi-label, Classification-based Prediction of Breast Cancer Metastasis Directions

IAENG International Journal of Computer Science

引用

IAENG International Journal of computer Science 2025年第1期52卷 1-10页

作者： Wang, Tingting Fan, Qi Tan, Liang Zhang, Beier School of Computer and Software Engineering Anhui Institute of Information Technology China School of Computer Science and Technology Huaibei Normal University China School of Computer and Software Engineering Anhui Institute of Information Technology China School of Computer Science and Technology Huaibei Normal University China

Predicting the metastatic direction of primary breast cancer (BC), thus assisting physicians in precise treatment, strict follow-up, and effectively improving the prognosis. The clinical data of 293,946 patients with primary BC diagnosed between 2010 and 2015 were collected from the Surveillance, Epidemiology, and End Results database. Multiple interpolations and Multi-label Synthetic Minority Over-sampling Technique methods were used for data analysis, and machine learning model was established for multi-label classification. Finally, Surgical information, lymph node status, distant metastasis, tumor size, chemotherapy, histological type, and radiotherapy had significant influence as inputs. Compared with the k-nearest neighbor model, average accuracies of the decision tree and random forest (RF) models increased from 88.84% to 93.59% and 94.14%, respectively. Their average precision, recall rate, F1 score, area under the receiver operating characteristic curve and weighted-F1 increased from 87.24% to 95.85% and 94.74%, 87.73% to 90.40% and 91.76%, 87.07% to 92.16% and 93.45%, 97.11% to 99.53% and 99.95%, 82.13% to 89.44% and 90.48%, respectively. In conclusion, the RF model, which showed the best performance, can be used in multi-label prediction of BC metastasis directions, and can assist physicians in diagnosing and treating patients with primary BC. © (2025), (International Association of Engineers). All rights reserved.

关键词： Lung cancer

来源：评论

学校读者我要写书评

暂无评论

Post-tunable salt gel electrolytes toward flexible supercapacitor switches

引用

Journal of Energy Chemistry 2025年第1期100卷 114-124页

作者： Hui Wang Shuang Chen Xuming Liu Qin Zhang Xin Liu Polymeric and Soft Materials Laboratory School of Chemistry and Life Science and Advanced Institute of Materials ScienceChangchun University of TechnologyChangchun 130012JilinChina Polymeric and Soft Materials Laboratory School of Chemical Engineering and Advanced Institute of Materials ScienceChangchun University of TechnologyChangchun 130012JilinChina

Convertible hydrogel supercapacitors have emerged as promising energy storage devices in switches,diodes,and ***,inherent weaknesses in ionic conductivity,mechanical properties,and water retention of hydrogel electrolytes seriously hinder their *** by the hardness conversion of sea cucumber skin,a conductivity and mechanics dual-tunable salt gel electrolyte is successfully *** salt gel presents a reversible switching of conductors-insulators and a mechanical regulation between softness and hardness via the dissolution-crystallization transition of sodium acetate trihydrate(SAT).Meanwhile,the salt gels spontaneously grow a layer of“armor”through saturated phase-change salt crystals effectively reducing water evaporation of hydrogel ***,this phase-change soft-rigid conversion strategy will expand the capabilities of gel-based flexible supercapacitors(area capacitance:258.6 mF cm^(-2)),and the capacitance retention rate could still reach 86.9%after 3000 cycles at high ***,the salt gel supercapacitor is potentially used in over-heat alarm *** is anticipated that the strategy of conductivity and mechanics of dual-tunable salt gel would provide a new perspective on the development of energy storage devices,wearable electronics,and flexible robots.

关键词： Supercapacitors Salt gels Reversible phase transition Post-tuning Conductivity switching

来源：评论

学校读者我要写书评

暂无评论

Intelligent integrated sensing and communication:a survey

引用

Science China(Information Sciences) 2025年第3期68卷 5-46页

作者： Jifa ZHANG Weidang LU Chengwen XING Nan ZHAO Naofal AL-DHAHIR George K.KARAGIANNIDIS Xiaoniu YANG School of Information and Communication Engineering Dalian University of Technology College of Information Engineering Zhejiang University of Technology School of Information and Electronics Beijing Institute of Technology Department of Electrical and Computer Engineering The University of Texas at Dallas Department of Electrical and Computer Engineering Aristotle University of Thessaloniki

Integrated sensing and communication (ISAC) is a promising technique to increase spectral efficiency and support various emerging applications by sharing the spectrum and hardware between these functionalities. However, the traditional ISAC schemes are highly dependent on the accurate mathematical model and suffer from the challenges of high complexity and poor performance in practical scenarios. Recently, artificial intelligence (AI) has emerged as a viable technique to address these issues due to its powerful learning capabilities, satisfactory generalization capability, fast inference speed, and high adaptability for dynamic environments, facilitating a system design shift from model-driven to data-driven. Intelligent ISAC, which integrates AI into ISAC, has been a hot topic that has attracted many researchers to investigate. In this paper, we provide a comprehensive overview of intelligent ISAC, including its motivation, typical applications, recent trends, and challenges. In particular, we first introduce the basic principle of ISAC, followed by its key techniques. Then, an overview of AI and a comparison between model-based and AI-based methods for ISAC are provided. Furthermore, the typical applications of AI in ISAC and the recent trends for AI-enabled ISAC are reviewed. Finally, the future research issues and challenges of intelligent ISAC are discussed.

关键词： artificial intelligence deep learning deep reinforcement learning federated learning generative artificial intelligence integrated sensing and communication machine learning transfer learning

来源：评论

学校读者我要写书评

暂无评论

Cross-domain Secure Sharing Algorithm of Internet of Things Privacy Data Based on Artificial Intelligence

引用

KSII Transactions on Internet and Information Systems 2025年第5期19卷 1459-1477页

作者： Ni, Jinhui Jilin University of Architecture and Technology School of Computer Engineering and Artificial Intelligence Changchun130114 China

Aiming at the problem of security hidden trouble in the process of sharing Internet of Things privacy data, which is restricted by long-distance and high-speed cross-domain, this paper adopts artificial intelligence technology to study an information security sharing method suitable for the Internet of Things environment. This paper intends to use a parallel deep convolutional neural network based on machine learning to mine the privacy information of IoT (Internet of Things) users and apply it to intelligent data mining. After mining the privacy data of the Internet of Things, the cross-domain security sharing algorithm based on master-slave chain puts forward a cross-domain sharing model framework, designs a cross-domain access mechanism based on smart contracts, and realizes the cross-domain security sharing of privacy data through the cross-domain security sharing scheme of the Internet of Things according to the cross-domain access mechanism. The experimental results show that the average F-measure result of the proposed method in IoT privacy data mining can reach 0.9, and the variance test result is always below 0.17;The throughput is maintained at around 190TPS, storage overhead is reduced by 40%, communication frequency is less than 30 times, encryption and decryption times are 2587s and 3658s respectively, and it has good data security sharing ability. Copyright © 2025 KSII.

关键词： Sensitive data

来源：评论

学校读者我要写书评

暂无评论

Fine Tuned Hybrid Deep Learning Model for Effective Judgment Prediction

引用

computer Modeling in engineering & Sciences 2025年第3期142卷 2925-2958页

作者： G.Sukanya J.Priyadarshini School of Computer Science and Engineering Vellore Institute of TechnologyChennai600127India

Advancements in Natural Language Processing and Deep Learning techniques have significantly pro-pelled the automation of Legal Judgment Prediction,achieving remarkable progress in legal *** of the existing research works on Legal Judgment Prediction(LJP)use traditional optimization algorithms in deep learning techniques falling into local *** research article focuses on using the modified Pelican Optimization method which mimics the collective behavior of Pelicans in the exploration and exploitation phase during cooperative food ***,the selection of search agents within a boundary is done randomly,which increases the time required to achieve global *** address this,the proposed Chaotic Opposition Learning-based Pelican Optimization(COLPO)method incorporates the concept of Opposition-Based Learning combined with a chaotic cubic function,enabling deterministic selection of random numbers and reducing the number of iterations needed to reach global ***,the LJP approach in this work uses improved semantic similarity and entropy features to train a hybrid classifier combining Bi-GRU and Deep *** output scores are fused using improved score level fusion to boost prediction *** proposed COLPO method experiments with real-time Madras High Court criminal cases(Dataset 1)and the Supreme Court of India database(Dataset 2),and its performance is compared with nature-inspired algorithms such as Sparrow Search Algorithm(SSA),COOT,Spider Monkey Optimization(SMO),Pelican Optimization Algorithm(POA),as well as baseline classifier models and transformer neural *** results show that the proposed hybrid classifier with COLPO outperforms other cutting-edge LJP algorithms achieving 93.4%and 94.24%accuracy,respectively.

关键词： Bi-GRU deep maxout semantic similarity legal judgment prediction opposition based learning pelican optimization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：