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

36th IEEE/ACM International Conference on Automated software engineering, ASE 2021

作者： Ma, Xutong Yan, Jiwei Wang, Wei Yan, Jun Zhang, Jian Qiu, Zongyan Chinese Academy of Sciences State Key Laboratory of Computer Science Institute of Software China Technology Center of Software Engineering Institute of Software Chinese Academy of Sciences China University of Chinese Academy of Sciences China Peking University School of Mathematical Sciences China

ISBN: (纸本)9781665403375

The smart pointer mechanism, which is improved in the continuous versions of the C++ standards over the last decade, is designed to prevent memory-leak bugs by automatically deallocating the managed memory blocks. However, not all kinds of memory errors can be immunized by adopting this mechanism. For example, dereferencing a null smart pointer will lead to a software failure. Due to the lack of specialized support for smart pointers, the off-the-shelf C++ static analyzers cannot effectively reveal these *** this paper, we propose a static approach to detecting memory-related bugs by tracking the heap memory management of smart pointers. The behaviors of smart pointers are modeled during their lifetime to trace the state transitions of managed memory blocks. and the specially designed checkers are used to check the state changes according to five collected bug patterns. To evaluate the effectiveness of our approach, we implement it on the top of the Clang Static Analyzer. A set of handmade code snippets, as well as nine popular open-source C++ projects, are used to compare our tool against four other analyzers. The results show that our approach can successfully discover nearly all the built-in bugs. and 442 out of 648 reports generated from the open-source projects are true positives after manual reviewing, where the bugs of dereferencing null smart pointers are most frequently reported. To further confirm our reports, we design patches for Aria2, Restbed, MySQL and LLVM, in which seven pull requests covering 76 bug reports have been merged by the developers up to now. The results indicate that pointers should always be carefully used even after migrated to smart pointers and static analysis upon specialized models can effectively detect such bugs. © 2021 IEEE.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Sphinx: A Hybrid Boolean Processor-FPGA Hardware Emulation System

Sphinx: A Hybrid Boolean Processor-FPGA Hardware Emulation S...

引用

IEEE International Conference on computer-Aided Design

作者： Ruiyao Pu Yiwei Sun Pei-Hsin Ho Fan Yang Li Shang Xuan Zeng State Key Lab of Integrated Chips and Systems School of Microelectronics Fudan University Shanghai China UniVista Industrial Software Group Shanghai China China and Shanghai Key Laboratory of Data Science School of Computer Science Fudan University Shanghai China

Existing hardware emulators use either FPGA or Boolean processors, which suffer from long compile time and poor debuggability (FPGA-based), or low emulation performance (Boolean processor-based). This work presents Sphinx, a hybrid Boolean processor-FPGA hardware emulation platform aiming to overcome these shortcomings. Sphinx hardware is a new hybrid architecture that integrates software programmable Boolean processors and FPGAs. Sphinx software is a compilation framework that conducts incremental design partitioning and implements the design-under-test components on Boolean processors and the rest on FPGAs. Together, Sphinx enables an incremental emulation flow and demonstrates high emulation performance, fast compile turnarounds, and good debuggability.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A simulated annealing method for minimum initial marking estimation in labeled Petri nets: Applications and comparative studies

引用

Proceedings of the Institution of Mechanical Engineers. Part I: Journal of Systems and Control engineering 2025年

作者： Yue, Hao Wang, Can Hu, Hesuan Chen, Junjie Wang, Min Pang, Shanchen Qingdao China Shandong Key Laboratory of Intelligent Oil & Gas Industrial Software Qingdao China School of Electro-Mechanical Engineering Xidian University Xian China School of Computer Science and Engineering College of Engineering Nanyang Technological University Singapore Singapore School of Information Engineering Yangzhou University Jiangsu Yangzhou China State Key Laboratory of Chemical Safety Qingdao China

state estimation plays an important role in the field of system supervisory control. With the increase in the scale and complexity of practical systems, problems of state/event estimation for discrete event systems in Petri nets have attracted significant attention. One of the well-studied problems is how to estimate the minimum initial markings (MIMs) in a known labeled Petri net based on the observation of its event sequence. The existing approaches have disadvantages such as (1) much higher computational complexity in order to increase the MIM quantity;and (2) much fewer MIMs in order to decrease the computational complexity. In this paper, a variant of simulated annealing (SA) algorithm is developed to determine the set of MIMs. We take advantage of SA for global search in the problem’s search space to find initial markings that are minimal in their token counts, and then use the selection strategy of SA to determine MIMs from them. Finally, the effectiveness of the proposed method is illustrated through two simulation experiments of industrial applications. Comparisons with existing work are conducted to demonstrate the merits of our method. © IMechE 2025.

关键词： Simulated annealing

来源：评论

学校读者我要写书评

暂无评论

Transferable Waveform-level Adversarial Attack against Speech Anti-spoofing Models

Transferable Waveform-level Adversarial Attack against Speec...

引用

IEEE International Conference on Multimedia and Expo (ICME)

作者： Bingyuan Huang Sanshuai Cui Xiangui Kang Enping Li Guangdong Key Lab of Information Security School of Computer Science and Engineering Sun Yat-Sen University Guangzhou China Computer Science Department Bridgewater State University Massachusetts USA

Speech anti-spoofing models protect media from malicious fake speech but are vulnerable to adversarial attacks. Studies of adversarial attacks are conducive to developing robust speech anti-spoofing systems. Existing transfer-based attack methods mainly craft adversarial speech examples at the handcrafted-feature level, which have limited attack ability against the real-world anti-spoofing systems, as these systems only have raw waveform input interfaces. In this work, we propose a waveform-level input data transformation, called the temporal smoothing method, to generate more transferable adversarial speech examples. In the optimization iterations of the adversarial perturbation, we randomly smooth input waveforms to prevent the adversarial examples from overfitting white-box surrogate models. The proposed transformation can be combined with any iterative gradient-based attack method. Extensive experiments demonstrate that our method significantly enhances the transferability of waveform-level adversarial speech examples.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Outlier Suppression+: Accurate quantization of large language models by equivalent and optimal shifting and scaling

arXiv

引用

arXiv 2023年

作者： Wei, Xiuying Zhang, Yunchen Li, Yuhang Zhang, Xiangguo Gong, Ruihao Guo, Jinyang Liu, Xianglong State Key Lab of Software Development Environment Beihang University China SenseTime Research China School of Computer and Communication Sciences EPFL Switzerland Yale University United States UESTC China

Post-training quantization (PTQ) of transformer language models faces significant challenges due to the existence of detrimental outliers in activations. We observe that these outliers are concentrated in specific channels and are asymmetric across channels. To address this issue, we propose the Outlier Suppression+ (OS+) framework, which contains the channel-wise shifting for asymmetry and channel-wise scaling for concentration. We show that these operations can be seamlessly migrated into subsequent modules while maintaining equivalence. Second, we propose a fast and stable scheme to calculate effective shifting and scaling values. The channel-wise shifting aligns the center of each channel for removal of outlier asymmetry. The channel-wise scaling quantitatively evaluates changes brought by migration and quantization for better quantization burden balance. We validate our OS+ under both standard and fine-grained quantization settings with models including BERT, OPT, BLOOM, BLOOMZ, and LLaMA. Comprehensive results across various tasks demonstrate the superiority of our approach. Especially, with standard quantization, OS+ can achieve near-floating-point performance on both small models and large language models on 8-bit and 6-bit. Besides, we establish a new state-of-the-art for 4-bit BERT with 15.5% improvement. Our code is available at https://***/ModelTC/Outlier_Suppression_Plus. Copyright © 2023, The Authors. All rights reserved.

关键词： Digital arithmetic

来源：评论

学校读者我要写书评

暂无评论

Explaining Model Overfitting in CNNS Via GMM Clustering

SSRN

引用

SSRN 2024年

作者： Dou, Hui Mu, Xinyu Yi, Mengjun Han, Feng Zhao, Jian Shen, Furao State Key Laboratory for Novel Software Technology China Department of Computer Science and Technology Nanjing University Nanjing210023 China School of Electronic Science and Engineering Nanjing University Nanjing210023 China School of Artificial Intelligence Nanjing University Nanjing210023 China

Convolutional Neural Networks (CNNs) have demonstrated remarkable prowess in the field of computer vision. However, their opaque decision-making processes pose significant challenges for practical applications. In this study, we provide quantitative metrics for assessing CNN filters by clustering the feature maps corresponding to individual filters in the model via Gaussian Mixture Model (GMM). By analyzing the clustering results, we screen out some anomaly filters associated with outlier samples. We further analyze the relationship between the anomaly filters and model overfitting, proposing three hypotheses. This method is universally applicable across diverse CNN architectures without modifications, as evidenced by its successful application to models like AlexNet and LeNet-5. We present three meticulously designed experiments demonstrating our hypotheses from the perspectives of model behavior, dataset characteristics, and filter impacts. Through this work, we offer a novel perspective for evaluating the CNN performance and gain new insights into the operational behavior of model overfitting. © 2024, The Authors. All rights reserved.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

Explaining Model Overfitting in CNNs via GMM Clustering

arXiv

引用

arXiv 2024年

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

Boosting performance of virtualized desktop infrastructure with physical GPU and SPICE

引用

Science China(Information Sciences) 2020年第7期63卷 236-238页

作者： Shupan LI Limin XIAO Chungang SHI Liequan CHE Changyou ZHANG Yuanzhang LI State Key Laboratory of Software Development Environment Beihang University School of Computer Science and Engineering Beihang University Beijing Jinghang Computation and Communication Research Institute Institute of Software Chinese Academy of Sciences School of Computer Science and Technology Beijing Institute of Technology

Dear editor,The virtual desktop infrastructure (VDI) is widely used by enterprises, as it can be easily deployed,has a reduced management cost, improves resource utilization, and can be accessed at any location by the network. Currently, there is a demand for the VDIs to support applications, such as playing 3D games, playing HD videos, and using 3D design-

关键词： visualized desktop infrastructure SPICE physical GPU The virtual machine (VM) virtual machine monitor (VMM)

来源：评论

学校读者我要写书评

暂无评论

Prototype-based classifier learning for long-tailed visual recognition

引用

Science China(Information Sciences) 2022年第6期65卷 62-76页

作者： Xiu-Shen WEI Shu-Lin XU Hao CHEN Liang XIAO Yuxin PENG School of Computer Science and Engineering Nanjing University of Science and Technology State Key Laboratory of Integrated Services Networks Xidian University Key Lab of Intelligent Perception and Systems for High-Dimensional Information of Ministry of Education and Jiangsu Key Lab of Image and Video Understanding for Social Security Wangxuan Institute of Computer Technology Peking University

In this paper, we tackle the long-tailed visual recognition problem from the categorical prototype perspective by proposing a prototype-based classifier learning(PCL) method. Specifically, thanks to the generalization ability and robustness, categorical prototypes reveal their advantages of representing the category semantics. Coupled with their class-balance characteristic, categorical prototypes also show potential for handling data imbalance. In our PCL, we propose to generate the categorical classifiers based on the prototypes by performing a learnable mapping function. To further alleviate the impact of imbalance on classifier generation, two kinds of classifier calibration approaches are designed from both prototype-level and example-level aspects. Extensive experiments on five benchmark datasets, including the large-scale iNaturalist, Places-LT,and ImageNet-LT, justify that the proposed PCL can outperform state-of-the-arts. Furthermore, validation experiments can demonstrate the effectiveness of tailored designs in PCL for long-tailed problems.

关键词： long-tailed distribution categorical prototype classifier generation classifier calibration class imbalance

来源：评论

学校读者我要写书评

暂无评论

Dynamic Cascaded Flow-Shop Scheduling Using an Evolutionary Greedy Algorithm

引用

IEEE Transactions on Evolutionary Computation 2025年

作者： Li, Qiu-Ying Pan, Quan-Ke Wang, Ling Gao, Liang Li, Wei-Min Shanghai University School of Mechatronic Engineering and Automation Shanghai200072 China Tsinghua University Department of Automation Beijing100084 China Huazhong University of Science and Technology State Key Lab of Intelligent Manufacturing Equipment and Technology Wuhan430074 China Shanghai University School of Computer Engineering and Science Shanghai200000 China

Production processes are inherently complex, often involving multiple production phases from raw materials to finished products, making joint scheduling problems a focal point of research. This paper addresses the dynamic cascaded flowshop joint scheduling problem, which integrates a distributed permutation flowshop in Phase 1 and a hybrid flowshop in Phase 2. The challenge involves both initial scheduling and dynamic response mechanisms for new job insertions. We propose an evolutionary greedy algorithm (EGA) aimed at minimizing total flowtime. The EGA employs a multi-start cooperative framework tailored to problem characteristics, alternating between a population-based evolutionary greedy algorithm for Phase 1 and an elitist-based greedy algorithm for Phase 2 to generate a robust and complete schedule. Upon new job insertions, three heuristic-driven response strategies enhance solution stability and adaptability. Additionally, phase-specific hybrid local search operators and an adaptive insertion strategy, leveraging knowledge-based problem properties, further improve solution quality and search efficiency. The experimental results indicate that the EGA outperforms five state-of-the-art algorithms, achieving an average improvement of 39% in RPI values across 480 instances. Moreover, the proposed local search mechanisms and dynamic response strategies significantly enhance its performance. Thus, the EGA is well-suited for addressing the studied problem. © 1997-2012 IEEE.

关键词： Job shop scheduling

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：