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

International Conference on Software Engineering (ICSE)

作者： Maolin Sun Yibiao Yang Ming Wen Yongcong Wang Yuming Zhou Hai Jin School of Cyber Science and Engineering Huazhong University of Science and Technology China Hubei Key Laboratory of Distributed System Security Services Computing Technology and System Lab Cluster and Grid Computing Lab Hubei Engineering Research Center on Big Data Security National Engineering Research Center for Big Data Technology and System State Key Laboratory for Novel Software Technology Nanjing University China School of Computer Science and Technology Huazhong University of Science and Technology China

SMT solvers check the satisfiability of logic formulas over first-order theories, which have been utilized in a rich number of critical applications, such as software verification, test case generation, and program synthesis. Bugs hidden in SMT solvers would severely mislead those applications and further cause severe consequences. Therefore, ensuring the reliability and robustness of SMT solvers is of critical importance. Although many approaches have been proposed to test SMT solvers, it is still a challenge to discover bugs effectively. To tackle such a challenge, we conduct an empirical study on the historical bug-triggering formulas in SMT solvers' bug tracking systems. We observe that the historical bug-triggering formulas contain valuable skeletons (i.e., core structures of formulas) as well as associated atomic formulas which can cast significant impacts on formulas' ability in triggering bugs. Therefore, we propose a novel approach that utilizes the skeletons extracted from the historical bug-triggering formulas and enumerates atomic formulas under the guidance of association rules derived from historical formulas. In this study, we realized our approach as a practical fuzzing tool HistFuzz and conducted extensive testing on the well-known SMT solvers Z3 and cvc5. To date, HistFuzz has found 111 confirmed new bugs for Z3 and cvc5, of which 108 have been fixed by the developers. More notably, out of the confirmed bugs, 23 are soundness bugs and invalid model bugs found in the solvers' default mode, which are essential for SMT solvers. In addition, our experiments also demonstrate that HistFuzz outperforms the state-of-the-art SMT solver fuzzers in terms of achieved code coverage and effectiveness.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Communication Network Selection for Distribution Network Based on Analytic Hierarchy Process

Communication Network Selection for Distribution Network Bas...

引用

Power Engineering Application (ICPEA), IEEE International Conference in

作者： Wei Ge Qi Wei Weijun Hong Yuchen Wu Cui Li Beijing Key Laboratory of Network System Architecture and Convergence Beijing University of Posts and Telecommunications Beijing China State Grid Economic and Technological Research Institute CO. LTD Beijing China Beijing Laboratory of Advanced Information Network Beijing University of Posts and Telecommunications Beijing China State Grid Fujian Economic Research Institute Fuzhou China

The access of large-scale distributed new energy has high requirements for the protection of new distribution network and communication network, but the selection of the communication network has no definite standard. In this paper, a communication network selection mechanism based on Analytic Hierarchy Process (AHP) is proposed to solve the problem of smart grid communication network selection. This method is based on the principle of decision-making analysis combining qualitative and quantitative analysis of multi- objective complex problems. The weight of indexes at all levels are calculated by the judgment matrix. After the consistency test, the overall judgment matrix is calculated to select the best scheme, which achieves the effect of decomposing and analyzing the communication network of distribution network. Through the analysis of 5 kinds of communication networks, namely optical fiber communication network, 4G network, 5G network, wireless private network and power line carrier, this research constructs the AHP model with accessibility, coverage, economy, reliability and security as the main parameter indexes, and obtains that 5G is the optimal scheme with 26.0178% of the comprehensive weight. Therefore, 5G network is more suitable for the application in the distribution network under the current new energy access.

关键词： Wireless communication 5G mobile communication Distribution networks Optical fiber communication Smart grids Communication networks Security

来源：评论

学校读者我要写书评

暂无评论

Towards improving detection performance for malware with a correntropy-based deep learning method

引用

Digital Communications and Networks 2021年第4期7卷 570-579页

作者： Xiong Luo Jianyuan Li Weiping Wang Yang Gao Wenbing Zhao School of Computer and Communication Engineering University of Science and Technology BeijingBeijing100083China Beijing Key Laboratory of Knowledge Engineering for Materials Science Beijing100083China Beijing Intelligent Logistics System Collaborative Innovation Center Beijing101149China China Information Technology Security Evaluation Center Beijing100085China Department of Electrical Engineering and Computer Science Cleveland State UniversityClevelandOH44115USA

With the rapid development of Internet of Things(IoT)technologies,the detection and analysis of malware have become a matter of concern in the industrial application of Cyber-Physical system(CPS)that provides various services using the IoT ***,many advanced machine learning methods such as deep learning are popular in the research of malware detection and analysis,and some achievements have been made so ***,there are also some *** example,considering the noise and outliers in the existing datasets of malware,some methods are not robust ***,the accuracy of malware classification still needs to be *** at this issue,we propose a novel method that combines the correntropy and the deep learning *** our proposed method for malware detection and analysis,given the success of the mixture correntropy as an effective similarity measure in addressing complex datasets with noise,it is therefore incorporated into a popular deep learning model,i.e.,Convolutional Neural Network(CNN),to reconstruct its loss function,with the purpose of further detecting the features of *** present the detailed design process of our ***,the proposed method is tested both on a real-world malware dataset and a popular benchmark dataset to verify its learning performance.

关键词： Malware detection Mixture correntropy Deep learning Convolutional neural network(CNN)

来源：评论

学校读者我要写书评

暂无评论

A Triboelectric Tactile Sensor with Flower-Shaped Holes for Texture Recognition

SSRN

引用

SSRN 2023年

作者： Xing, Pengcheng An, Shanshan Wu, Yihan Li, Gui Liu, Sizhao Wang, Jian Cheng, Yuling Zhang, Yangsong Pu, Xianjie Department of Applied Physics State Key Laboratory of Power Transmission Equipment and System Security and New Technology Chongqing Key Laboratory of Soft Condensed Matter Physics and Smart Materials Chongqing University Chongqing400044 China School of Computer Science and Technology Laboratory for Brain Science and Medical Artificial Intelligence Southwest University of Science and Technology Mianyang621010 China

Touch is one of the important ways to perceive the surrounding environment. The surface texture is an essential character of an object. Here, we propose a dual-layer shielding triboelectric tactile sensor with patterned flower-shaped holes. The object surface to be measured is able to rub against the tribo-layer through the flower-shaped holes to produce a signal output. The patterned design of the tactile sensor is evolved from the contact state of the fingertips during human finger touch. In addition, two shielding layers were designed. The inner-shielding layer is used to shield the influence of the human body potential on the output signal, in order to achieve more accurate identification. The outer-shielding layer enables the flower-shaped holes to play their structural role. The proposed tactile sensor has the advantage of a single channel, resulting in a smaller amount of data collection and processing than the multi-channel scheme. With a designed convolutional neural network model, the recognition accuracy reaches 96.03% when recognizing 7 objects with designed different surface textures. The tactile sensing module can be easily integrated into intelligent haptic prosthesis and play an important role in future human-machine interfaces. © 2023, The Authors. All rights reserved.

关键词： Textures

来源：评论

学校读者我要写书评

暂无评论

Resilience Assessment of Urban Power Network Considering Multi-Stage Electrical-Water Fault Propagation

引用

IEEE Transactions on Power systems 2024年

作者： Shi, Qingxin Yan, Yilu Liu, Wenxia Zeng, Bo Wang, Zhuning Li, Fangxing North China Electric Power University State Key Laboratory of Alternate Electrical Power System With Renewable Energy Sources Beijing102206 China State Grid Suzhou Electric Company Suzhou215000 China Beijing Municipal Institute of City Planning & Design Beijing100032 China The University of Tennessee Department of Electrical and Computer Engineering KnoxvilleTN37996 United States

Multi-voltage-level urban power network (UPN) is the basis for other infrastructure networks, especially water distribution network (WDN). Compared with other networks, UPN is more vulnerable to extreme events, including extreme weather events and deliberate attacks. The affection of UPN fault on WDN displays complex multi-stage characteristics. This paper first proposes a comprehensive tri-stage model of electrical-water fault propagation, including the electrical-water network connection model, the reduced-order hydraulic network model, and the water supply model of customers. Second, a scenario selection method and two resilience assessment indices are proposed. The indices measure the resistive capability of UPN considering the fault propagation effect. Finally, the proposed model and assessment method are verified by a simplified real-world urban power and water network based on the selected typical fault scenarios. The resilience assessment method helps electrical utilities to identify critical components of UPN and to make optimal decisions for long-term component hardening and short-term post-disaster restoration. © 2024 IEEE.

关键词： Power distribution networks

来源：评论

学校读者我要写书评

暂无评论

Reliability Evaluation and Improvement of Islanded Microgrid Considering Operation Failures of Power Electronic Equipment

引用

Journal of Modern Power systems and Clean Energy 2020年第1期8卷 111-123页

作者： Wen Zhong Lingfeng Wang Zhaoxi Liu Shiying Hou State Key Laboratory of Power Transmission Equipment&System Security and New Technology College of Electrical EngineeringChongqing UniversityChongqingChina Laboratory of Trustworthy Cyber-Physical Systems and Infrastructures Department of Electrical Engineering and Computer ScienceUniversity of Wisconsin-MilwaukeeMilwaukeeUSA

With the high integration of power electronic technologies in microgrids,the reliability assessment considering power electronic devices has become a hot ***,so far no research has considered the impact of the operation failure probability of power electronic equipment on the overall reliability of the *** paper aims to construct a holistic operation failure rate model of power electronic systems based on the overall reliability assessment of islanded microgrid with high penetration of renewable energy sources(RESs).In addition,to improve the reliability of islanded microgrid,the conventional battery energy storage system(BESS)is replaced by the hybrid energy storage system(HESS).Based on the proposed model,the operation failure models for the power electronic modules in microgrid are built and tested,and then the sensitivity analysis is performed for exploring the influence of various factors on the reliability of the microgrid.

关键词： Reliability assessment reliability improvement operation failure rate power electronics islanded microgrid

来源：评论

学校读者我要写书评

暂无评论

Ultrahigh-coherence microcomb generation and low-noise amplification using integrated photonics

Ultrahigh-coherence microcomb generation and low-noise ampli...

引用

IEEE Photonics Conference (IPC)

作者： Xuguang Zhang Zixuan Zhou Yijun Guo Minxue Zhuang Warren Jin Bitao Shen Yujun Chen Jiahui Huang Weiwei Hu Haowen Shu John E. Bowers Xingjun Wang Lin Chang State Key Laboratory of Advanced Optical Communications System and Networks School of Electronics Peking University Beijing China Department of Electrical and Computer Engineering University of California Santa Barbara Santa Barbara CA USA Frontiers Science Center for Nano-Optoelectronics Peking University Beijing China

ISBN: (数字)9798350361957

ISBN: (纸本)9798350361964

We demonstrate a high-coherence parallel integrated light source utilizing a self-injection locked microcomb and injection locking amplification. Our strategy exhibits a record high on-chip gain of 60 dB, nearly 0 dB noise factor, which enable more than 30 highly coherent channels in integrated photonics whose linewidths down to 10 Hz, power exceeding 20 dBm per line and a wall plug efficiency of 19%.

关键词： Injection-locked oscillators Noise system-on-chip Gain Photonics Plugs Light sources

来源：评论

学校读者我要写书评

暂无评论

Language-Queried Target Sound Extraction Without Parallel Training Data

Language-Queried Target Sound Extraction Without Parallel Tr...

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： Hao Ma Zhiyuan Peng Xu Li Yukai Li Mingjie Shao Qiuqiang Kong Ju Liu School of Information Science and Engineering Shandong University Qingdao China Department of Computer Science North Carolina State University North Carolina USA ARC Lab Tencent PCG Key Laboratory of System and Control AMSS Chinese Academy of Sciences Beijing China The Chinese University of Hong Kong China

ISBN: (数字)9798350368741

ISBN: (纸本)9798350368758

Language-queried target sound extraction (TSE) aims to extract specific sounds from mixtures based on language queries. Traditional fully-supervised training schemes require extensively annotated parallel audio-text data, which are labor-intensive. We introduce a parallel-data-free training scheme, requiring only unlabelled audio clips for TSE model training by utilizing the contrastive language-audio pre-trained model (CLAP). In a vanilla parallel-data-free training stage, target audio is encoded using the pre-trained CLAP audio encoder to form a condition embedding, while during testing, user language queries are encoded by CLAP text encoder as the condition embedding. This vanilla approach assumes perfect alignment between text and audio embeddings, which is unrealistic. Two major challenges arise from training-testing mismatch: the persistent modality gap between text and audio and the risk of overfitting due to the exposure of rich acoustic details in target audio embedding during training. To address this, we propose a retrieval-augmented strategy. Specifically, we create an embedding cache using audio captions generated by a large language model (LLM). During training, target audio embeddings retrieve text embeddings from this cache to use as condition embeddings, ensuring consistent modalities between training and testing and eliminating information leakage. Extensive experiment results show that our retrieval-augmented approach achieves consistent and notable performance improvements over existing state-of-the-art with better generalizability.

关键词： Training Large language models Training data Signal processing Information leakage Acoustics Data models Data mining Speech processing Overfitting

来源：评论

学校读者我要写书评

暂无评论

Fully integrated hybrid microwave photonic receiver

引用

Photonics Research 2022年第6期10卷 1472-1483页

作者： JIACHEN LI SIGANG YANG HONGWEI CHEN XINGJUN WANG MINGHUA CHEN WEIWEN ZOU Beijing National Research Center for Information Science and Technology(BNRist) Department of Electronic EngineeringTsinghua UniversityBeijing 100084China State Key Laboratory of Advanced Optical Communications System and Networks Department of ElectronicsSchool of Electronics Engineering and Computer SciencePeking UniversityBeijing 100871China State Key Laboratory of Advanced Optical Communication Systems and Networks Intelligent Microwave Lightwave Integration Innovation Center(imLic)Department of Electronic EngineeringShanghai Jiao Tong UniversityShanghai 200240China

Microwave photonic receivers are a promising candidate in breaking the bandwidth limitation of traditional radio-frequency(RF)*** further balance the performance superiority with the requirements regarding size,weight,and power consumption(SWa P),the implementation of integrated microwave photonic microsystems has been considered an upgrade ***,up to now,to the best of our knowledge,chip-scale fully integrated microwave photonic receivers have not been reported due to the limitation of material *** this paper,we report a fully integrated hybrid microwave photonic receiver(FIH-MWPR)obtained by comprising the indium phosphide(In P)laser chip and the monolithic silicon-on-insulator(SOI)photonic circuit into the same substrate based on the low-coupling-loss micro-optics *** from the integration of all optoelectronic components,the packaged FIH-MWPR exhibits a compact volume of 6 cmand low power consumption of 1.2 *** FIH-MWPR supports a wide operation bandwidth from 2 to 18 ***,its RF-link performance to down-convert the RF signals to the intermediate frequency is experimentally characterized by measuring the link gain,the noise figure,and the spurious-free dynamic range metrics across the whole operation frequency ***,we have utilized it as a de-chirp receiver to process the broadband linear frequencymodulated(LFM)radar echo signals at different frequency bands(S-,C-,X-,and Ku-bands)and successfully demonstrated its high-resolution-ranging *** the best of our knowledge,this is the first realization of a chip-scale broadband fully integrated microwave photonic receiver,which is expected to be an important step in demonstrating the feasibility of all-integrated microwave photonic microsystems oriented to miniaturized application scenarios.

关键词： method microwave bands

来源：评论

学校读者我要写书评

暂无评论

LotusMenu: a 3D menu using wrist and elbow rotation inspired by Chinese traditional symbol

引用

Science China(Information Sciences) 2021年第10期64卷 242-244页

作者： Fei LYU Yujie LIU Jin HUANG Zhaolin ZHANG School of Digital Media and Design Arts Beijing University of Posts and Telecommunications Beijing Key Laboratory of Network System and Network Culture Beijing University of Posts and Telecommunications State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences

Three-dimensional rotation, including pitching, yawing and rolling, is an important gesture in 3D interaction, with the potential to extend the selection capability in large screen interaction system. For 3D rotation interaction, researchers indicated the design space of pen tilt [1] and wrist tilt as input modality [2, 3]. However, the combination of freehand 3D rotation gesture has not been fully utilized for menu control.

关键词： Information systems and Communication Service

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：