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

43rd International Conference on computer-Aided Design, ICCAD 2024

作者： Thijssen, Sven Rashed, Muhammad Rashedul Haq Ahmed, Md Rubel Singireddy, Suraj Jha, Sumit Kumar Ewetz, Rickard Department of Electrical Engineering and Computer Science Florida Atlantic University Boca RatonFL United States Department of Computer Science and Engineering University of Texas at Arlington ArlingtonTX United States Department of Electrical and Computer Engineering University of Central Florida OrlandoFL United States Department of Electrical and Computer Engineering University of Texas at San Antonio San AntonioTX United States Knight Foundation School of Computing and Information Sciences Florida International University MiamiFL United States Department of Electrical and Computer Engineering University of Florida GainesvilleFL United States

ISBN: (纸本)9798400710773

Processing in-memory is projected to shatter the von Neumann bottleneck and enable acceleration of data-intensive applications. Flow-based computing is an efficient in-memory computing paradigm for accelerating the execution of Boolean logic. While recent synthesis algorithms can map complex functions into flow-based computing circuits, the functional correctness cannot be verified using state-of-the-art equivalence checking techniques. The challenge is that non-volatile memory devices are intrinsically bi-directional, which introduces cycles in the computational graph. These cycles break traditional equivalence checking methods that are based on SAT formulations. In this paper, we propose a framework for equivalence checking of flow-based computing circuits that is called FlowSAT. The framework captures each circuit using an undirected computational graph. The key idea of FlowSAT is to introduce helper variables, in the form of arrows, that dynamically convert the undirected graph into a directed graph. This facilitates equivalence checking to be performed using traditional SAT formulations. However, it is prohibitively expensive to ban all possible cycles using arrow variables. Therefore, we propose to eliminate cycles by iteratively adding constraints to the SAT formulation. Our experimental evaluation demonstrates that FlowSAT is up to an order of magnitude faster than state-of-the-art methods. The framework is capable of verifying all 20/20 benchmark circuits, while the previous state-of-the-art technique is only capable of verifying 12/20 circuits within a time limit of one hour. © 2024 Copyright is held by the owner/author(s).

关键词： Data flow graphs

来源：评论

学校读者我要写书评

暂无评论

Augmenting IoT Intrusion Detection System Performance Using Deep Neural Network

引用

computers, Materials & Continua 2023年第1期74卷 1351-1374页

作者： Nasir Sayed Muhammad Shoaib Waqas Ahmed Sultan Noman Qasem Abdullah M.Albarrak Faisal Saeed Department of Computer Science Islamia College PeshawarPeshawar25120Pakistan Department of Computer Science CECOS University of IT and Emerging SciencesPeshawar25000Pakistan Department of Electrical Engineering HITEC University TaxilaTaxila47080Pakistan Computer Science Department College of Computer and Information SciencesImam Mohammad Ibn Saud Islamic University(IMSIU)Riyadh11432Saudi Arabia DAAI Research Group Department of Computing and Data ScienceSchool of Computing and Digital TechnologyBirmingham City UniversityBirminghamB47XGUK

Due to their low power consumption and limited computing power,Internet of Things(IoT)devices are difficult to ***,the rapid growth of IoT devices in homes increases the risk of *** detection systems(IDS)are commonly employed to prevent *** systems detect incoming attacks and instantly notify users to allow for the implementation of appropriate *** have been made in the past to detect new attacks using machine learning and deep learning techniques,however,these efforts have been *** this paper,we propose two deep learning models to automatically detect various types of intrusion attacks in IoT ***,we experimentally evaluate the use of two Convolutional Neural Networks(CNN)to detect nine distinct types of attacks listed in the NF-UNSW-NB15-v2 *** accomplish this goal,the network stream data were initially converted to twodimensional images,which were then used to train the neural network *** also propose two baseline models to demonstrate the performance of the proposed ***,both models achieve high accuracy in detecting the majority of these nine attacks.

关键词： Internet of things intrusion detection system deep learning convolutional neural network supervised learning

来源：评论

学校读者我要写书评

暂无评论

Isolation Enhancement in a Compact Four-Element MIMO Antenna for Ultra-Wideband Applications

引用

computers, Materials & Continua 2023年第4期75卷 911-925页

作者： Awais Khan Shahid Bashir Salman Ghafoor Hatem Rmili Jawad Mirza Ammar Ahmad Department of Electrical Engineering University of Engineering and TechnologyPeshawar25000Pakistan Department of Electrical Engineering University of Science and TechnologyBannu28100Pakistan School of Electrical Engineering and Computer Science(SEECS) National University of Sciences and Technology(NUST)Islamabad44000Pakistan Electrical and Computer Engineering Department Faculty of EngineeringKing Abdulaziz UniversityJeddahSaudi Arabia K.A.CARE Energy Research and Innovation Center King Abdulaziz UniversityJeddah21589Saudi Arabia SEECS Photonic Research Group National University of Sciences and TechnologyIslamabad44000Pakistan

Mutual coupling reduction or isolation enhancement in antenna arrays is an important area of research as it severely affects the performance of an *** this paper,a new type of compact and highly isolated Multiple-Input-Multiple-Output(MIMO)antenna for ultra-wideband(UWB)applications is *** design consists of four radiators that are orthogonally positioned and confined to a compact 40×40×0.8 mm3 *** final antenna design uses an inverted L shape partial ground to produce an acceptable reflection coefficient(S11<−10 dB)in an entire UWB band(3.1–10.6)giga hertz(GHz).Moreover,the inter-element isolation has also been enhanced to>20 db for majority of the UWB *** antenna was fabricated and tested with the vector network analyzer(VNA)and in an anechoic chamber for scattering parameters and radiation ***,different MIMO diversity performance metrics are also measured to validate the proposed *** simulation results and the experimental results from the constructed model agree quite *** proposed antenna is compared with similar designs in recently published literature for various performance *** of its low envelope correlation coefficient(ECC<0.1),high diversity gain(DG>9.99 dB),peak gain of 4.6 dB,reduced channel capacity loss(CCL<0.4 b/s/Hz),and average radiation efficiency of over 85%,the proposed MIMO antenna is ideally suited for practical UWB applications.

关键词： Multiple input multiple output antennas envelope correlation coefficient defected ground structure ultra wide band diversity gain

来源：评论

学校读者我要写书评

暂无评论

Android Malware Detection Using Incremental Learning Approach

Android Malware Detection Using Incremental Learning Approac...

引用

2023 IEEE International Black Sea Conference on Communications and Networking, BlackSeaCom 2023

作者： Saha, Shawon Kumar Sarker, Md. Rafidul Islam Hossain, Md. Shohrab Narman, Husnu S. Bangladesh University of Engineering and Technology Department of Computer Science and Engineering Bangladesh Marshall University Department of Computer Sciences and Electrical Engineering HuntingtonWV United States

ISBN: (纸本)9798350337822

Android is the most popular Mobile operating system covering above 70% of all smartphone users. Due to its popularity, an increasing number of malware applications are targeting the Android platform, stealing sensitive information, accessing banking apps, etc. These malware applications can be detected with the help of machine learning algorithms by extracting features from those applications. However, previous attempts use traditional methods which require high memory overhead and computational power which is not suitable for continuous real-time data inflow. In this paper, we have pro-posed an incremental decision tree approach to detect mobile malware. Our model has achieved an accuracy of 93.33%, precision of 91.27%, recall of 95.83 %, and F1-Score of 93.50%. Our proposed model can help reduce model retraining time when new malware samples appear. It also requires less storage for historical data while retraining the model. © 2023 IEEE.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Explorative Study on Motor Interference During Synchronous Human and Robot Arm Movements Under Varied Presence of a Robot Head

Explorative Study on Motor Interference During Synchronous H...

引用

2024 IEEE International Conference on Robotics and Biomimetics, ROBIO 2024

作者： Kaya, Mertcan Kuhnlenz, Kolja Coburg University of Applied Sciences and Arts Robotics Research Lab Department of Electrical Engineering and Computer Science Coburg Germany

ISBN: (纸本)9781665481090

This paper investigates the influence of a static robot head on deviations of human hand movements from task direction (motor interference) during simultaneous human and robot arm movements using a collaborative robot arm. Synchronous vertical and horizontal human and robot arm movements are conducted in all combinations (within-subjects factors direction and congruency). The presence of the head (head/ no head) is varied as a between-subjects factor. In this first step, only its motionless presence is deliberately focused at, in order to exclude contributions by eye- or head-movement behavior or facial expressions being difficult variables to generalize from. Participants' hands are tracked optically marker-based and deviations from task-related vertical, respectively, horizontal movements are evaluated. In contrast to expectations, results do not show a significant impact of the robot head on motor interference. Thus, there is evidence, that appearance might not be an activating factor for motor interference in HRI. © 2024 IEEE.

关键词： Robotic arms

来源：评论

学校读者我要写书评

暂无评论

Hybrid Technique-based Optimal Energy Management in Smart Home Appliances

引用

IEIE Transactions on Smart Processing and Computing 2024年第5期13卷 425-434页

作者： Shirley, C.P. Depaa, R.A.B. Priya, A. Sarala, R. Solanki, Rajdeep Singh Malini, K.V. Venkatakrishna Reddy, Ch. Department of Computer Science and Engineering Karunya Institute of Technology and Sciences Coimbatore India Department of Civil Engineering Dr. M.G.R Educational and Research Institute Maduravoyal Chennai95 India School of Architecture Koneru Lakshmaiah Educational Foundation Andhra Pradesh Guntur India Department of Computer Science and Engineering Velammal College of Engineering and Technology Madurai Rameshwaram High Road Viraganoor Madurai625009 India Department of Computer Science Medi-Caps University Indore India Department of Electrical and Electronics Engineering Sri Sairam College of Engineering Anekal India Department of Electrical and Electronics Engineering Chaitanya Bharathi Institute of Technology Hyderabad75 India

This manuscript presents a hybrid method for optimal energy management in smart home appliances. The proposed approach combines the Ebola Optimization Search Algorithm (EOSA) with the performance of spiking neural networks (SNN). The key objective of the proposed strategy is cost reduction through day-ahead load scheduling while also considering the best demand response (DR), and self-consumption of photovoltaic (PV). The EOSA method manages air conditioning (AC) and ensures thermal comfort. In addition, the SNN method was used to predict the optimal system control signal. Comparative analysis with existing systems, such as PSO, RFA, and BCO, showed that the proposed strategy resulted in 13% cost savings. The proposed system considered parameters, such as solar radiation, occupant presence, and electricity prices. The proposed technique is implemented in the MATLAB software, and the performance is compared with existing approaches. The efficiency of the proposed approach is higher than the existing techniques. © 2024 The Institute of Electronics and Information Engineers.

关键词： Demand response

来源：评论

学校读者我要写书评

暂无评论

Theory of mechanical exfoliation of van der Waals bonded layered materials

引用

Physical Review Materials 2024年第6期8卷 064003-064003页

作者： Haoye Sun Ozan Sahin Ali Javey Joel W. Ager D. C. Chrzan Department of Materials Science and Engineering Department of Electrical Engineering and Computer Sciences Materials Sciences Division

A theoretical framework for analyzing the mechanical exfoliation of 2D materials at finite temperature is introduced. As an example, this framework, based on transition-state theory and calculation of the reaction pathway, is applied to the mechanical exfoliation of multilayer MoS2. The theory predicts that altering the bonding of the top layer to the bulk through straining or twisting and slowly exfoliating at low temperatures will enhance the yield of the monolayer material.

关键词： Adhesion

来源：评论

学校读者我要写书评

暂无评论

Knowledge Graphs Can be Learned with Just Intersection Features 41

Knowledge Graphs Can be Learned with Just Intersection Featu...

引用

41st International Conference on Machine Learning, ICML 2024

作者： Le, Duy Zhong, Shaochen Liu, Zirui Xu, Shuai Chaudhary, Vipin Zhou, Kaixiong Xu, Zhaozhuo Department of Computer and Data Sciences Case Western Reserve University United States Department of Computer Science Rice University United States Department of Electrical and Computer Engineering North Carolina State University United States Department of Computer Science Stevens Institute of Technology United States

Knowledge Graphs (KGs) are potent frameworks for knowledge representation and reasoning. Nevertheless, KGs are inherently incomplete, leaving numerous uncharted relationships and facts awaiting discovery. Deep learning methodologies have proven effective in enhancing KG completion by framing it as a link prediction task, where the goal is to discern the validity of a triple comprising a head, relation, and tail. The significance of structural information in assessing the validity of a triple within a KG is well-established. However, quantifying this structural information poses a challenge. We need to pinpoint the metric that encapsulates the structural information of a triple and smoothly incorporate this metric into the link prediction learning process. In this study, we recognize the critical importance of the intersection among the k-hop neighborhoods of the head, relation, and tail when determining the validity of a triple. To address this, we introduce a novel randomized algorithm designed to efficiently generate intersection features for candidate triples. Our experimental results demonstrate that a straightforward fully-connected network leveraging these intersection features can surpass the performance of established KG embedding models and even outperform graph neural network baselines. Additionally, we highlight the substantial training time efficiency gains achieved by our network trained on intersection features. Copyright 2024 by the author(s)

关键词： Knowledge graph

来源：评论

学校读者我要写书评

暂无评论

WiMA:Towards a Multi-Criterion Association in Software Defined Wi-Fi Networks

引用

computers, Materials & Continua 2023年第5期75卷 2347-2363页

作者： Sohaib Manzoor Hira Manzoor Saddaf Rubab Muhammad Attique Khan Majed Alhaisoni Abdullah Alqahtani Ye Jin Kim Byoungchol Chang Department of Electrical Engineering Mirpur University of Science and Technology(MUST)Mirpur-10250(AJK)Pakistan Faculty of Electronics Telecommunications and InformaticsGdansk University of Technology80-233 GdanskPoland Department of Computer Engineering College of Computing and InformaticsUniversity of SharjahSharjah27272United Arab Emirates National University of Sciences and Technology(NUST) Islamabad44000Pakistan Department of Computer Science HITEC UniversityTaxilaPakistan Computer Sciences Department College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityRiyadh11671Saudi Arabia College of Computer Engineering and Sciences Prince Sattam bin Abdulaziz UniversityAl-KharjSaudi Arabia Department of Computer Science Hanyang UniversitySeoul04763Korea Center for Computational Social Science Hanyang UniversitySeoul04763Korea

Despite the planned installation and operations of the traditional IEEE 802.11 networks,they still experience degraded performance due to the number of *** of the main reasons is the received signal strength indicator(RSSI)association problem,in which the user remains connected to the access point(AP)unless the RSSI becomes too *** this paper,we propose a multi-criterion association(WiMA)scheme based on software defined networking(SDN)in Wi-Fi *** association solution based on multi-criterion such as AP load,RSSI,and channel occupancy is proposed to satisfy the quality of service(QoS).SDNhaving an overall view of the network takes the association and reassociation decisions making the handoffs smooth in throughput *** implementWiMA extensive simulations runs are carried out on Mininet-NS3-Wi-Fi network *** performance evaluation shows that the WiMA significantly reduces the average number of retransmissions by 5%–30%and enhances the throughput by 20%–50%,hence maintaining user fairness and accommodating more wireless devices and traffic load in the network,when compared to traditional client-driven(CD)approach and state of the art Wi-Balance approach.

关键词： Association multi-criterion SDN Wi-Fi

来源：评论

学校读者我要写书评

暂无评论

Towards an Internet-like Power Grid

引用

Journal of Modern Power Systems and Clean Energy 2022年第1期10卷 1-11页

作者： Iasonas Kouveliotis-Lysikatos Nikos Hatziargyriou Yanli Liu Felix Wu Department of Electrical Engineering and Computer Science KTH-Royal Institute of TechnologyTeknikringen 3310040StockholmSweden School of Electrical and Computer Engineering National Technical University of Athens15773 AthensGreece School of Electrical and Information Engineering Tianjin UniversityTianjin300072China Department of Electrical and Electronic Engineering The University of Hong KongHong KongChina Department of Electrical Engineering and Computer Sciences University of CaliforniaBerkeleyCA 94720USA

The great challenges faced by modern power systems require a fresh look at the conventional operation paradigm. The significant challenges faced by modern power systems require an innovative method for the conventional operation paradigm. We claim that the decarbonization of the power grid and extensive electrification of numerous sectors of human activity can only be fostered by a self-adaptable and smart power grid that manifests similar qualities to those of the Internet. The Internet is constructed on a layered architecture that facilitates technology innovations and its intelligence is distributed throughout a hierarchy of networks. In this paper, the fundamental differences between the network data flows and power flows are examined, and the basic requirements for an innovative operation paradigm are highlighted. The current power grid is operated in a highly inflexible, centralized manner to meet increased security goals. A new highly flexible, distributed architecture can be realized by distributing the operation responsibility in smaller areas or even in grid components that can make autonomous decisions. The characteristics of such a power grid are presented, and the key features and advances for the on-going transition to a sustainable power system are identified. Finally, a case study on distributed voltage control is presented and discussed.

关键词： Smart grid Internet distributed intelligence decentralized architecture

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：