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

PS-CoT-Adapter: adapting plan-and-solve chain-of-thought for scienceQA

science China(Information sciences) 2025年第1期68卷 392-393页

作者： Qun LI Haixin SUN Fu XIAO Yiming WANG Xinping GAO Bir BHANU School of Computer Science Nanjing University of Posts and Telecommunications Purple Mountain Laboratories Department of Electrical and Computer Engineering University of California at Riverside

Large language models (LLMs) have recently shown remarkable performance in a variety of natural language processing (NLP) *** further explore LLMs'reasoning abilities in solving complex problems,recent research [1-3]has investigated chain-of-thought (CoT) reasoning in complex multimodal scenarios,such as science question answering (scienceQA) tasks [4],by fine-tuning multimodal models through human-annotated CoT ***,collected CoT rationales often miss the necessary rea-soning steps and specific expertise.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Large circuit models: opportunities and challenges

引用

science China(Information sciences) 2024年第10期67卷 25-66页

作者： Lei CHEN Yiqi CHEN Zhufei CHU Wenji FANG Tsung-Yi HO Ru HUANG Yu HUANG Sadaf KHAN Min LI Xingquan LI Yu LI Yun LIANG Jinwei LIU Yi LIU Yibo LIN Guojie LUO Hongyang PAN Zhengyuan SHI Guangyu SUN Dimitrios TSARAS Runsheng WANG Ziyi WANG Xinming WEI Zhiyao XIE Qiang XU Chenhao XUE Junchi YAN Jun YANG Bei YU Mingxuan YUAN Evangeline F.Y.YOUNG Xuan ZENG Haoyi ZHANG Zuodong ZHANG Yuxiang ZHAO Hui-Ling ZHEN Ziyang ZHENG Binwu ZHU Keren ZHU Sunan ZOU Huawei Noah’s Ark Lab School of Integrated Circuits Peking University Faculty of Electrical Engineering and Computer Science Ningbo University Department of Electronic and Computer Engineering Hong Kong University of Science and Technology Department of Computer Science and Engineering The Chinese University of Hong Kong School of Integrated Circuits Southeast University Huawei HiSilicon Peng Cheng Laboratory School of Computer Science Peking University School of Microelectronics State Key Laboratory of Integrated Chips and System Fudan University School of Artificial Intelligence Shanghai Jiao Tong University

Within the electronic design automation(EDA) domain, artificial intelligence(AI)-driven solutions have emerged as formidable tools, yet they typically augment rather than redefine existing methodologies. These solutions often repurpose deep learning models from other domains, such as vision, text, and graph analytics, applying them to circuit design without tailoring to the unique complexities of electronic circuits. Such an “AI4EDA” approach falls short of achieving a holistic design synthesis and understanding,overlooking the intricate interplay of electrical, logical, and physical facets of circuit data. This study argues for a paradigm shift from AI4EDA towards AI-rooted EDA from the ground up, integrating AI at the core of the design process. Pivotal to this vision is the development of a multimodal circuit representation learning technique, poised to provide a comprehensive understanding by harmonizing and extracting insights from varied data sources, such as functional specifications, register-transfer level(RTL) designs, circuit netlists,and physical layouts. We champion the creation of large circuit models(LCMs) that are inherently multimodal, crafted to decode and express the rich semantics and structures of circuit data, thus fostering more resilient, efficient, and inventive design methodologies. Embracing this AI-rooted philosophy, we foresee a trajectory that transcends the current innovation plateau in EDA, igniting a profound “shift-left” in electronic design methodology. The envisioned advancements herald not just an evolution of existing EDA tools but a revolution, giving rise to novel instruments of design-tools that promise to radically enhance design productivity and inaugurate a new epoch where the optimization of circuit performance, power, and area(PPA) is achieved not incrementally, but through leaps that redefine the benchmarks of electronic systems' capabilities.

关键词： AI-rooted EDA large circuit models (LCMs) multimodal circuit representation learning circuit optimization

来源：评论

学校读者我要写书评

暂无评论

Multidimensional image morphing-fast image-based rendering of open 3D and VR environments

引用

虚拟现实与智能硬件(中英文) 2025年第2期7卷 155-172页

作者： Simon SEIBT Bastian KUTH Bartosz von Rymon LIPINSKI Thomas CHANG Marc Erich LATOSCHIK Game Tech Laboratory Faculty of Computer ScienceNuremberg Institute of TechnologyNuremberg 90489Germany Department of Electrical Engineering and Computer Science Coburg University of Applied Sciences and ArtsCoburg 96450Germany Human-Computer Interaction Group Institute of Computer ScienceUniversity of WuerzburgWuerzburg 97074Germany

Background In recent years,the demand for interactive photorealistic three-dimensional(3D)environments has increased in various fields,including architecture,engineering,and ***,achieving a balance between the quality and efficiency of high-performance 3D applications and virtual reality(VR)remains *** This study addresses this issue by revisiting and extending view interpolation for image-based rendering(IBR),which enables the exploration of spacious open environments in 3D and ***,we introduce multimorphing,a novel rendering method based on the spatial data structure of 2D image patches,called the image *** this approach,novel views can be rendered with up to six degrees of freedom using only a sparse set of *** rendering process does not require 3D reconstruction of the geometry or per-pixel depth information,and all relevant data for the output are extracted from the local morphing cells of the image *** detection of parallax image regions during preprocessing reduces rendering artifacts by extrapolating image patches from adjacent cells in *** addition,a GPU-based solution was presented to resolve exposure inconsistencies within a dataset,enabling seamless transitions of brightness when moving between areas with varying light *** Experiments on multiple real-world and synthetic scenes demonstrate that the presented method achieves high"VR-compatible"frame rates,even on mid-range and legacy hardware,*** achieving adequate visual quality even for sparse datasets,it outperforms other IBR and current neural rendering *** Using the correspondence-based decomposition of input images into morphing cells of 2D image patches,multidimensional image morphing provides high-performance novel view generation,supporting open 3D and VR ***,the handling of morphing artifacts in the parallax image regions remains a topic for future resea

关键词： computer graphics 3D real-time rendering computer vision Image morphing Virtual reality

来源：评论

学校读者我要写书评

暂无评论

Optimal Design of a Planning and Contracting Framework to Enable Vehicle to Building and Grid Services via Demand Response

引用

IEEE Transactions on Transportation Electrification 2025年第3期11卷 7542-7556页

作者： Elsayed, Ahmed Abd Elaziz Saxena, Shivam Farag, Hany E. Z. Electrical Engineering and Computer Science Department Lassonde School of Engineering York University Keele Campus Toronto ON Canada Department of Electrical and Computer Engineering University of New Brunswick Fredericton NB Canada

Bidirectional electric vehicle (EV) charging enables stored energy to reduce peak loads for buildings (V2B) and the grid (V2G). However, building owners investing in V2B infrastructure while generating revenue from V2G services face challenges in planning and coordinating with EV owners due to uncertainties in their schedules and profit-sharing expectations. Additionally, misaligned building and grid peak times can create conflicts between V2B and V2G goals, which may negatively impact the building electricity bill. Unlike previous studies that used a contract-free approach for aggregating V2B and V2G, resulting in inconsistent participation, this paper proposes a novel planning and contracting framework that enables building owner to determine the optimal contract parameters with EV owners. These parameters include minimum participation time in DR events, minimum arrival State of Charge (SoC), and permitted emergency departure hours. The framework supports V2B aggregation with on-site distributed energy resources for DR and V2G services, ensuring transparency and fairness through shared profits and performance-based penalties, while compensating building electricity bills due to V2G activities. The framework is composed of a tri-stage optimization process that uses Monte Carlo Simulations to generate EV owner profit assessments, select optimal EV candidates based on charger availability, estimate contract parameters with profit/penalty sharing, and assign contracts between power system operators, building owners, and EV owners under multiple virtual scenarios. Simulation results validate the contract parameter assessment and its performance via a three day case study with real-world data sets that demonstrates net revenue generation of $209 for each EV owner and $950 for building owners during DR events with a Return on Investment (ROI) of 134.5% 130.7% for the EVs and Building owners, respectively. © 2015 IEEE.

关键词： Vehicle-to-grid

来源：评论

学校读者我要写书评

暂无评论

Embeddings Between State and Action Based Probabilistic Logics

引用

Formal Aspects of Computing 2025年第2期37卷 1-58页

作者： Das, Susmoy Sharma, Arpit Department of Electrical Engineering and Computer Science Indian Institute of Science Education and Research Bhopal Madhya Pradesh Bhopal India

This article defines embeddings between state-based and action-based probabilistic logics which can be used to support probabilistic model checking. First, we slightly modify the model embeddings proposed in the literature to allow invisible computation steps and the preservation of forward and backward bisimulation relations. Next, we propose the syntax and semantics of an action-based Probabilistic Computation Tree Logic (APCTL) and an action-based PCTL∗(APCTL∗) interpreted over action-labeled discrete-time Markov chains (ADTMCs). We show that both these logics are strictly more expressive than the probabilistic variant of Hennessy-Milner logic (prHML). We define an embedding aldl which can be used to construct APCTL∗formulae from PCTL∗formulae and an embedding sldl from APCTL∗formulae to PCTL∗formulae. Similarly, we define the embeddings and from PCTL to APCTL and APCTL to PCTL, respectively. We also define the reward-based variant of APCTL (APRCTL) interpreted over action-based Markov Reward Models (AMRM), and accordingly modify the logical embeddings and which allows us to take into account the notion of rewards. Additionally, we also show that the idea of rewards can be used to reason about the bounded until operator in PCTL and APCTL. Finally, we prove that our logical embeddings combined with the model embeddings enable one to minimize, analyze, and verify probabilistic models in one domain using state-of-the-art tools and techniques developed for the other domain. In order to validate the efficacy of our theoretical framework, we apply it to two case studies using the probabilistic symbolic model checker (PRISM). © 2025 Copyright held by the owner/author(s). Publication rights licensed to ACM.

关键词： Probabilistic Markov chain equivalence bisimulation logic embeddings rewards model checking

来源：评论

学校读者我要写书评

暂无评论

Highly transparent anti-reflection coating enhances the underwater efficiency and stability of perovskite solar modules

引用

Nano Research 2024年第9期17卷 8126-8133页

作者： Feng Qian Shihao Yuan Ting Zhang Lei Wang Xiaobo Li Hualin Zheng Qien Xu Zhi David Chen Shibin Li School of Optoelectronic Science and Engineering University of Electronic Science and Technology of ChinaChengdu 610054China Department of Electrical and Computer Engineering and Center for Nanoscale Science and Engineering University of KentuckyLexingtonKentucky 40506USA

Perovskite solar cells have shown great potential in the field of underwater solar cells due to their excellent optoelectronic properties;however,their underwater performance and stability still hinder their practical *** this research,a 1H,1H,2H,2H-heptadecafluorodecyl acrylate(HFDA)anti-reflection coating(ARC)was introduced as a high-transparent material for encapsulating perovskite solar modules(PSMs).Optical characterization results revealed that HFDA can effectively reduce reflection of light below 800 nm,aiding in the absorption of light within this wavelength range by underwater solar ***,a remarkable efficiency of 14.65%was achieved even at a water depth of 50 ***,the concentration of Pb^(2+)for HFDA-encapsulated film is significantly reduced from 186 to 16.5 ppb after being immersed in water for 347 ***,the encapsulated PSMs still remained above 80%of their initial efficiency after continuous underwater illumination for 400 ***,being exposed to air,the encapsulated PSMs maintained 94%of their original efficiency after 1000 h light *** highly transparent ARC shows great potentials in enhancing the stability of perovskite devices,applicable not only to underwater cells but also extendable to land-based photovoltaic devices.

关键词： underwater photovoltaics perovskite solar modules anti-reflection coating underwater stability

来源：评论

学校读者我要写书评

暂无评论

Multi-agent Path Planning Based on Conflict-Based Search (CBS) Variations for Heterogeneous Robots

引用

Journal of Intelligent and Robotic Systems: Theory and Applications 2025年第1期111卷 1-12页

作者： Bai, Yifan Kotpalliwar, Shruti Kanellakis, Christoforos Nikolakopoulos, George Department of Computer Science Electrical and Space Engineering Luleå University of Technology Luleå797187 Sweden

This article introduces a novel Multi-agent path planning scheme based on Conflict Based Search (CBS) for heterogeneous holonomic and non-holonomic agents, designated as Heterogeneous CBS (HCBS). The proposed methodology employs a hybrid A∗ algorithm for non-holonomic car-like robots and a conventional A∗ algorithm for holonomic robots. Following this, a body conflict detection strategy is utilized to construct the conflict tree, bridging the initial path planning with the resolution of conflicts among agents. Moreover, we present two variants of HCBS: the Enhanced Conflict-Based Search (EHCBS) and the Depth-First Conflict-Based Search (DFHCBS). We evaluate the efficacy of our proposed algorithms—HCBS, EHCBS, and DFHCBS—against a standard prioritized planning algorithm, focusing on success rates and computational efficiency in environments with varying numbers of agents and obstacles. The empirical results demonstrate that EHCBS exhibits superior computational efficiency in small, dense environments, while DFHCBS performs well in larger-scale environments. This highlights the adaptability of our proposed approaches in various settings, proving the computational advantage of EHCBS and DFHCBS over traditional methods. © The Author(s) 2025.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

AmplitudeArrow: On-the-Go AR Menu Selection Using Consecutive Simple Head Gestures and Amplitude Visualization

引用

IEEE Transactions on Visualization and computer Graphics 2025年第05期31卷 3408-3417页

作者： Tian, Yang Zhang, Youpeng Yan, Yukang Zhao, Shengdong Ma, Xiaojuan Shi, Yuanchun Guangxi University Department of Computer Science Guangxi Key Laboratory of Multimedia Communications and Network Technology China University of Rochester Department of Computer Science United States City University of Hong Kong School of Creative Media and the Department of Computer Science Hong Kong Hong Kong University of Science and Technology Department of Computer Science and Engineering Hong Kong Tsinghua University Department of Computer Science and Technology China

Heads-up computing aims to provide synergistic digital assistance that minimally interferes with users' on-the-go daily activities. Currently, the input modalities of heads-up computing are mainly voice and finger gestures. In this work, we propose and evaluate the AmplitudeArrow (AA) technique designed for on-the-go AR menu selection to demonstrate that consecutive simple head gestures can also be an effective input modality for heads-up computing. Specifically, AA arranges menu icons into one/two row(s). To select a target icon, the user first makes their head yaw to pre-select the target icon or the column containing it and then makes their head pitch to make the arrow in the target icon expand until the arrow covers the target icon completely, i.e., the pitch amplitude surpasses the selection confirmation threshold. User studies indicated that AA demonstrated robust resistance to walking-caused head perturbation and external factors such as other people/obstacles, delivering high accuracy (error rate © 1995-2012 IEEE.

关键词： Augmented reality

来源：评论

学校读者我要写书评

暂无评论

Recent progress of artificial intelligence for liquid-vapor phase change heat transfer

引用

npj Computational Materials 2024年第1期10卷 2552-2565页

作者： Youngjoon Suh Aparna Chandramowlishwaran Yoonjin Won Department of Mechanical and Aerospace Engineering University of CaliforniaIrvineCAUSA Department of Electrical Engineering and Computer Science University of CaliforniaIrvineCAUSA

Artificial intelligence(AI)is shifting the paradigm of two-phase heat transfer *** innovations in AI and machine learning uniquely offer the potential for collecting new types of physically meaningful features that have not been addressed in the past,for making their insights available to other domains,and for solving for physical quantities based on first principles for phasechange thermofluidic *** review outlines core ideas of current AI technologies connected to thermal energy science to illustrate how they can be used to push the limit of our knowledge boundaries about boiling and condensation *** technologies for meta-analysis,data extraction,and data stream analysis are described with their potential challenges,opportunities,and alternative ***,we offer outlooks and perspectives regarding physics-centered machine learning,sustainable cyberinfrastructures,and multidisciplinary efforts that will help foster the growing trend of AI for phase-change heat and mass transfer.

关键词： transfer meaningful shifting

来源：评论

学校读者我要写书评

暂无评论

Deep Learning-Based Cloud Security: Innovative Attack Detection and Privacy Focused Key Management

引用

IEEE Transactions on computers 2025年第6期74卷 1978-1989页

作者： Ahmad, Shahnawaz Arif, Mohd Mehfuz, Shabana Ahmad, Javed Nazim, Mohd Bennett University School of Computer Science Engineering and Technology Greater Noida201310 India Galgotias University School of Computer Science & Engineering Greater Noida203201 India Jamia Millia Islamia Department of Electrical Engineering New Delhi110025 India Sharda University Department of Computer Science and Engineering Sharda School of Engineering and Technology Greater Noida201310 India Noida Institute of Engineering and Technology Department of Computer Science and Engineering School of Computer Science and IT Greater Noida201306 India

Cloud Computing (CC) is widely adopted in sectors like education, healthcare, and banking due to its scalability and cost-effectiveness. However, its internet-based nature exposes it to cyber threats, necessitating advanced security frameworks. Traditional models suffer from high false positives and limited adaptability. To address these challenges, VECGLSTM, an attack detection model integrating Variable Long Short-Term Memory (VLSTM), capsule networks, and the Enhanced Gannet Optimization Algorithm (EGOA), is introduced. This hybrid approach enhances accuracy, reduces false positives, and dynamically adapts to evolving threats. EGOA is employed for its superior optimization capability, ensuring faster convergence and resilience. Additionally, Chaotic Cryptographic Pelican Tunicate Swarm Optimization (CCPTSO) is proposed for privacy-preserving key management. This model combines chaotic cryptographic techniques with the Pelican Tunicate Swarm Optimization Algorithm (PTSOA), leveraging the pelican algorithm’s exploration strength and the tunicate swarm’s exploitation ability for optimal encryption security. Performance evaluation demonstrates 99.675% accuracy, 99.5175% recall, 99.7075% precision, and 99.615% F1-score, along with reduced training (1.79s), encryption (0.986s), and decryption (1.029s) times. This research significantly enhances CC security by providing a scalable, adaptive framework that effectively counters evolving cyber threats while ensuring efficient key management. © 1968-2012 IEEE.

关键词： Cloud security

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：