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

2025 Design, Automation and Test in Europe Conference, DATE 2025

作者： Gu, Cheng Li, Gang Lin, Xiaolong Ling, Jiayao Cheng, Jian Liang, Xiaoyao Shanghai Jiao Tong University Department of Computer Science and Engineering Shanghai China Casia The Key Laboratory of Cognition and Decision Intelligence for Complex Systems Beijing China AiRiA Nanjing China

ISBN: (纸本)9783982674100

Stable Diffusion (SD) is an emerging deep neural network (DNN) model that has demonstrated impressive capabilities in generative tasks such as text-to-image generation. However, the iterative denoising stage of the SD model is extremely expensive in both computations and memory accesses, making it challenging for fast and energy-efficient edge deployment. To alleviate the overhead of denoising, in this paper we propose BMP-SD, a post-training quantization framework for hardware-efficient SD inference. BMP-SD employs binary weight quantization to significantly reduce the computational complexity and memory footprint of iterative denoising, along with dynamic step-aware mixed-precision activation quantization, based on the observation that not all denoising steps are equally important for a specific input prompt. Experiments on the text-to-image generation task show that BMP-SD achieves mixed-precision (W1.73A4.87) with minimal accuracy loss on MS-COCO 2014 dataset. We also evaluate the BMP-SD quantized model on three state-of-the-art bit-flexible DNN accelerators, results reveal that our method can deliver up to 5.14× performance and 3.85×energy efficiency improvements compared to W8A8 quantization. © 2025 EDAA.

关键词： Deep neural networks

来源：评论

学校读者我要写书评

暂无评论

MMPI: a Flexible Radiance Field Representation by Multiple Multi-plane Images Blending

MMPI: a Flexible Radiance Field Representation by Multiple M...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： Yuze He Peng Wang Yubin Hu Wang Zhao Ran Yi Yong-Jin Liu Wenping Wang Department of Computer Science and Technology MOE-Key Laboratory of Pervasive Computing Tsinghua University China Department of Computer Science The University of Hong Kong Hong Kong Department of Computer Science and Engineering Shanghai Jiao Tong University China Department of Computer Science and Engineering Texas A&M University USA

ISBN: (数字)9798350384574

ISBN: (纸本)9798350384581

This paper presents a flexible representation of neural radiance fields based on multi-plane images (MPI), for high-quality view synthesis of complex scenes. MPI with Normalized Device Coordinate (NDC) parameterization is widely used in NeRF learning for its simple definition, easy calculation, and powerful ability to represent unbounded scenes. However, existing NeRF works that adopt MPI representation for novel view synthesis can only handle simple forward-facing unbounded scenes (e.g., the scenes in the LLFF dataset), where the input cameras are all observing in similar directions with small relative translations. Hence, extending these MPIbased methods to more complex scenes like large-range or even 360-degree scenes is very challenging. In this paper, we explore the potential of MPI and show that MPI can synthesize high-quality novel views of complex scenes with diverse camera distributions and view directions, which are not only limited to simple forward-facing scenes. Our key idea is to encode the neural radiance field with multiple MPIs facing different directions and blend them with an adaptive blending operation. For each region of the scene, the blending operation gives larger blending weights to those advantaged MPIs with stronger local representation abilities while giving lower weights to those with weaker representation abilities. Such blending operation automatically modulates the multiple MPIs to appropriately represent the diverse local density and color information. Experiments on the KITTI dataset and ScanNet dataset demonstrate that our proposed MMPI synthesizes high-quality images from diverse camera pose distributions and is fast to train, outperforming the previous fast-training NeRF methods for novel view synthesis. Moreover, we show that MMPI can encode extremely long trajectories and produce novel view renderings, demonstrating its potential in applications like autonomous driving. Our demo video is available at https://***/watch?v

关键词： Image color analysis Neural radiance field Cameras Rendering (computer graphics) Reliability engineering Trajectory Robotics and automation

来源：评论

学校读者我要写书评

暂无评论

OpenDrift: Online Evolving Fraud Detection for Open-Category and Concept-Drift Transactions

OpenDrift: Online Evolving Fraud Detection for Open-Category...

引用

IEEE International Conference on Web Services (ICWS)

作者： Cheng Wang Songyao Chai Hangyu Zhu Department of Computer Science and Technology Tongji University Shanghai China Key Laboratory of Embedded System and Service Computing Ministry of Education China Shanghai Artificial Intelligence Laboratory Shanghai China

The rapid growth of electronic commerce brings convenience to modern life but comes with security risks by various cybercrimes in online payment services. Most existing security methods for fraud detection depend on the static learning paradigm, which trains a model over a static training dataset and deploys the trained model for inference with the frozen model parameters under the i.i.d. assumption. Unfortunately, this paradigm becomes incommensurate with the increasingly complicated and varying fraud patterns due to the untimely and delayed responses in the offline environment. Without sensing the evolution of fraud timely, it is challenging to train and deploy targeted countermeasures. The emerging means of fraud are not only reflected in the openness of their category, but also in the drift of their superimposed risk features. The interweaving of open-category and concept drift accelerates the process of existing methods becoming powerless. In this paper, we propose EvoFD, an online evolving fraud detection framework to enable continual learning to cope with undercurrent surges of evolving fraud. The core idea of EvoFD is to weaken the bias caused by the anchoring effect on the learned information. It learns in an online streaming fashion by using instructive representations as anchors. Specially, we maintain the progressively updatable class anchors and optimize the representation network to embed features and class anchors into a unified normalized space, where the training and predicting can be conducted simultaneously or independently. In the framework, we preserve the balanced replay memory for each class to accumulate knowledge and avoid forgetting. The advantages of our method are validated by extensive experiments over the real-world dataset from a prestigious bank.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Efficient Algorithms for Minimizing the Kirchhoff Index via Adding Edges

arXiv

引用

arXiv 2025年

作者： Zhou, Xiaotian Zehmakan, Ahad N. Zhang, Zhongzhi Shanghai Key Laboratory of Intelligent Information Processing School of Computer Science Fudan University Shanghai200433 China Research Institute of Intelligent Complex Systems Fudan University Shanghai200433 China School of Computing Australian National University Canberra Australia

The Kirchhoff index, which is the sum of the resistance distance between every pair of nodes in a network, is a key metric for gauging network performance, where lower values signify enhanced performance. In this paper, we study the problem of minimizing the Kirchhoff index by adding edges. We first provide a greedy algorithm for solving this problem and give an analysis of its quality based on the bounds of the submodularity ratio and the curvature. Then, we introduce a gradient-based greedy algorithm as a new paradigm to solve this problem. To accelerate the computation cost, we leverage geometric properties, convex hull approximation, and approximation of the projected coordinate of each point. To further improve this algorithm, we use pre-pruning and fast update techniques, making it particularly suitable for large networks. Our proposed algorithms have nearly-linear time complexity. We provide extensive experiments on ten real networks to evaluate the quality of our algorithms. The results demonstrate that our proposed algorithms outperform the state-of-the-art methods in terms of efficiency and effectiveness. Moreover, our algorithms are scalable to large graphs with over 5 million nodes and 12 million edges. Copyright © 2025, The Authors. All rights reserved.

关键词： Consensus algorithm

来源：评论

学校读者我要写书评

暂无评论

An Algebraic Approach to Simulation and Verification for Cyber-Physical systems with Shared-Variable Concurrency

SSRN

引用

SSRN 2023年

作者： Li, Ran Zhu, Huibiao Banach, Richard Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai China Department of Computer Science University of Manchester Manchester United Kingdom

Cyber-Physical systems (CPS), containing discrete behaviours of the cyber and continuous behaviours of the physical, have gained wide applications in many fields. Since CPS subsume the intersection of cyber systems and physical processes, the traditional modeling languages which merely include discrete variables are no longer applicable to CPS. Accordingly, a shared variable language was proposed to specify CPS. In this paper, we elaborate the algebraic semantics for this language, so that every program of our language can be converted into a unified form called guarded choice form and the sequentialization of parallel programs is achieved. Additionally, we formalize the algebraic semantics in the rewriting engine Real-Time Maude. With the algebraic laws constructed, for every program specified with our language, we can simulate its execution step by step. Furthermore, the automatic transformation and calculation are attained. Therefore, if the program and its initial data state are provided, the corresponding trace of data states during execution can be generated. In the light of the generated trace, automatic verification can be carried out as well. To illustrate the usage of our algebraic semantics and formalization in Maude intuitively, a case study of a battery management system is presented. © 2023, The Authors. All rights reserved.

关键词： Cyber Physical System

来源：评论

学校读者我要写书评

暂无评论

Co‑packaged optics(CPO):status,challenges,and solutions

引用

Frontiers of Optoelectronics 2023年第1期16卷 1-40页

作者： Min Tan Jiang Xu Siyang Liu Junbo Feng Hua Zhang Chaonan Yao Shixi Chen Hangyu Guo Gengshi Han Zhanhao Wen Bao Chen Yu He Xuqiang Zheng Da Ming Yaowen Tu Qiang Fu Nan Qi Dan Li Li Geng Song Wen Fenghe Yang Huimin He Fengman Liu Haiyun Xue Yuhang Wang Ciyuan Qiu Guangcan Mi Yanbo Li Tianhai Chang Mingche Lai Luo Zhang Qinfen Hao Mengyuan Qin School of Optical and Electronic Information Huazhong University of Science and TechnologyWuhan 430074China Wuhan National Laboratory for Optoelectronics Huazhong University of Science and TechnologyWuhan 430074China Department of Electronic and Computer Engineering The Hong Kong University of Science and TechnologyHong KongChina HKUST Fok Ying Tung Research Institute Guangzhou 511462China The Hong Kong University of Science and Technology(Guangzhou) Guangzhou 511462China Chongqing United Micro-Electronics Center(CUMEC) Chongqing 401332China Hisense Broadband Multimedia Technologies Co. Ltd.Qingdao 266000China Institute of Microelectronics Chinese Academy of SciencesBeijing 100029China State Key Laboratory of Superlattices and Microstructures Institute of SemiconductorsChinese Academy of SciencesBeijing 100083China School of Microelectronics Xi’an Jiaotong UniversityXi’an 710049China Zhangjiang Laboratory Shanghai 201210China The State Key Laboratory of Advanced Optical Communication Systems and Networks Department of Electronic EngineeringShanghai Jiao Tong UniversityShanghai 200240China Huawei Technologies Co. Ltd.Shenzhen 440307China College of Computer National University of Defense TechnologyChangsha 410073China Institute of Computing Technology Chinese Academy of SciencesBeijing 100086China

Due to the rise of 5G,IoT,AI,and high-performance computing applications,datacenter trafc has grown at a compound annual growth rate of nearly 30%.Furthermore,nearly three-fourths of the datacenter trafc resides within *** conventional pluggable optics increases at a much slower rate than that of datacenter *** gap between application requirements and the capability of conventional pluggable optics keeps increasing,a trend that is *** optics(CPO)is a disruptive approach to increasing the interconnecting bandwidth density and energy efciency by dramatically shortening the electrical link length through advanced packaging and co-optimization of electronics and *** is widely regarded as a promising solution for future datacenter interconnections,and silicon platform is the most promising platform for large-scale *** international companies(e.g.,Intel,Broadcom and IBM)have heavily investigated in CPO technology,an inter-disciplinary research feld that involves photonic devices,integrated circuits design,packaging,photonic device modeling,electronic-photonic co-simulation,applications,and *** review aims to provide the readers a comprehensive overview of the state-of-the-art progress of CPO in silicon platform,identify the key challenges,and point out the potential solutions,hoping to encourage collaboration between diferent research felds to accelerate the development of CPO technology.

关键词： Co-packaged optics Silicon photonics High-performance computing Advanced packaging External laser Optical power delivery Co-simulation Standardization Transmitter Receiver

来源：评论

学校读者我要写书评

暂无评论

Building Device Models Using LLMs for Requirements Simulation in Smart Homes

Building Device Models Using LLMs for Requirements Simulatio...

引用

IEEE International Requirements Engineering Conference Workshops (REW)

作者： Shi Chen Xiaohong Chen Zhi Jin Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai China Key Laboratory of High-Confidence Software Technologies Peking University Ministry of Education China Department of Computer Science and Technology Peking University Beijing China

ISBN: (数字)9798350395518

ISBN: (纸本)9798350395525

The implementation of model-based requirements simulations in smart homes is an effective strategy that allows users to comprehend the execution impact of their personalized needs before deployment. This necessitates the use of device models in advance. In this paper, we propose an automatic modeling method for smart home devices that utilizes a Large Language Model (LLM) to assist end users in modeling their devices. The method involves extracting information directly from device manuals using the extraction capabilities of the LLM, deducing the automata models using the reasoning capabilities of the LLM, and verifying the model quality through the properties of valid device models. Our evaluation has demonstrated that our method can generate high-quality device models. The resultant model can be utilized for smart home scenario simulations, assisting users in validating their requirements. Thus, this provides a cost-effective and scalable solution for offering device models to simulate user requirements in smart homes.

关键词： Large language models Conferences Automata Smart homes Manuals Information retrieval Cognition

来源：评论

学校读者我要写书评

暂无评论

Toward parallel intelligence: An interdisciplinary solution for complex systems

引用

The Innovation 2023年第6期4卷 152-164页

作者： Yong Zhao Zhengqiu Zhu Bin Chen Sihang Qiu Jincai Huang Xin Lu Weiyi Yang Chuan Ai Kuihua Huang Cheng He Yucheng Jin Zhong Liu Fei-Yue Wang College of Systems Engineering National University of Defense TechnologyChangsha 410073China Hunan Institute of Advanced Technology Changsha 410073China Shanghai Institute of Infectious Disease and Biosecurity Shanghai 200032China Institute of Epidemiology Helmholtz Zentrum Minchen-German Research Center for Environmental Health(GmbH)NeuherbergGermany Department of Computer Science Hong Kong Baptist UniversityHong KongChina State Key Laboratory for Management and Control of Complex Systems Institute of AutomationChinese Academy of SciencesBeijing 100190China

The growing complexity of real-world systems necessitates interdisciplinary solutions to confront myriad challenges in modeling,analysis,management,and *** meet these demands,the parallel systems method rooted in the artificial systems,computational experiments,and parallel execution(ACP)approach has been *** method cultivates a cycle termed parallel intelligence,which iteratively creates data,acquires knowledge,and refines the actual *** the past two decades,the parallel systems method has continuously woven advanced knowledge and technologies from various disciplines,offering vers atile interdisciplinary solutions for complex systems across diverse *** review explores the origins and fundamental concepts of the parallel systems method,showcasing its accomplishments as a diverse array of parallel technologies and applica-tions while also prognosticating potential *** posit that this method will considerably augment sustainable development while enhancing interdisciplinary communication and cooperation.

关键词： execution artificial offering

来源：评论

学校读者我要写书评

暂无评论

Virtual-Source and Virtual-Swarm-Based Particle Swarm Optimizer for Large-Scale Multi-Source Location via Robot Swarm

引用

IEEE Transactions on Evolutionary Computation 2024年 1-1页

作者： Zhang, JunQi Lin, YuXuan Zhou, MengChu Department of Computer Science and Technology the Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai Electronic Transactions and Information Service Collaborative Innovation Center Tongji University Shanghai China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ USA

Multi-source location is a significant application in the field of robot swarm and is required to find all sources whose number and distribution are unknown in advance. With few parameters and fast search, Particle Swarm Optimizer (PSO) variants that have certain grouping capability have been applied to address multi-source location problems by dividing a swarm such that every source has robots to locate. However, they are difficult to predetermine the exact number of groups, require a big number of robots, and are easily trapped in the no-signal areas when the proportion of no-signal areas is high. This work proposes a Virtual-source and Virtual-swarm-based PSO (VVPSO) to divide a search area into multiple cells equally, each of which has a virtual source in its center. Then, instead of robots grouping, only one group of robots is employed to traverse all virtual sources, and search their corresponding cells to locate real sources by a new PSO called Real-virtual mapping PSO (RMPSO). RMPSO asymmetrically maps a robot into a particle swarm with multiple virtual particles to perform PSO, which greatly reduces the requirements for the number of robots. Experimental results show that VVPSO has great search scalability and can solve large-scale multi-source location problems than two state-of-the-art grouping methods and three representative multimodal PSO variants, even with only one robot. Hence, this work greatly advances the field of multi-source location by using mobile robot swarm. IEEE

关键词： Robots

来源：评论

学校读者我要写书评

暂无评论

Synchronization of Multi-Weighted and Directed Network Under Pinning Impulsive Control

Synchronization of Multi-Weighted and Directed Network Under...

引用

2021 China Automation Congress, CAC 2021

作者： Hu, Xiaohan Liu, Xiwei Department of Computer Science and Technology Tongji University Shanghai201804 China Department of Computer Science and Technology Key Laboratory of Embedded System Service Computing Tongji University Shanghai201804 China

ISBN: (纸本)9781665426473

In this paper, multi-weighted and directed complex dynamic networks (MWDCDNs) under the control of hybrid impulses are analyzed. Two cases are considered. In the first case, impulses can be only applied on one fixed node. In the other case, impulses are applied on different nodes according to whether they are synchronized or de-synchronized in MWDCDNs with unbounded time delay. By limiting impulsive interval and Chebyshev distance between the normalized left eigenvectors (NLEVec) of multiple coupling matrices corresponding to the zero eigenvalue, we obtain some criteria for the synchronization of MWDCNs. Some numerical simulation are also given. © 2021 IEEE

关键词： Eigenvalues and eigenfunctions

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：