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

Asia and South Pacific Design Automation Conference

作者： Arighna Deb Kamalika Datta Muhammad Hassan Saeideh Shirinzadeh Rolf Drechsler KIIT DU School of Electronics Engineering Bhubaneswar India German Research Centre for Artificial Intelligence (DPKI) Bremen Germany Fraunhofer Institute for Systems and Innovation-Research (ISI) Karlsruhe Germany Group of Computer Architecture University of Bremen Bremen Germany

Recent progress in the fabrication of Resistive Random Access Mem-ory (ReRAM) devices has paved the way for large scale crossbar structures. In particular, in-memory computing on ReRAM cross-bars helps in bridging the processor-memory speed gap for current CMOS technology. To this end, synthesis and mapping of Boolean functions to such crossbars have been investigated by researchers. However the verification of simple designs on crossbar is still done through manual inspection or sometimes complemented by sim-ulation based techniques. Clearly this is an important problem as real world designs are complex and have higher number of inputs. As a result manual inspection and simulation based methods for these designs are not practical. In this paper for the first time as per our knowledge we pro-pose an automated equivalence checking methodology for majority based in-memory designs on ReRAM crossbars. Our contributions are twofold: first, we introduce an intermediate data structure called ReRAM Sequence Graph (ReSG) to represent the logic-in-memory design. This in turn is translated into Boolean Satifiability (SAT) formulas. These SAT formulas are verified against the golden functional specification using Z3 Satifiability Modulo Theory (SMT) solver. We validate the proposed method by running widely avail-able benchmarks.

关键词： Fabrication systematics Design automation Design methodology Manuals Inspection In-memory computing

来源：评论

学校读者我要写书评

暂无评论

Performance Optimization for Multicast Mm Wave MIMO Networks with Mobile Users

Performance Optimization for Multicast Mm Wave MIMO Networks...

引用

IEEE International Conference on Communications Workshops, ICC

作者： Songling Zhang Mingzhe Chen Wenjing Zhang Zhaohui Yang Danpu Liu Zhilong Zhang Kai-Kit Wong Beijing Key Laboratory of Network System Architecture and Convergence Beijing University of Posts and Telecommunications Beijing China Department of Electrical and Computer Engineering Institute for Data Science and Computing University of Miami Coral Gables FL USA Zhejiang Lab Hangzhou China Zhejiang University Hangzhou China Department of Electronic and Electrical Engineering University College London London UK

ISBN: (数字)9798350304053

ISBN: (纸本)9798350304060

In this paper, the problem of maximizing the sum rate of mobile users in a multi-base station (BS) cooperative millimeter-wave (mmWave) multicast communication system is studied. In the considered model, due to the real-time mobility of users, the users being served by a given BS and beamforming of BSs and users are dynamic. Multiple BSs must cooperate to serve dynamic requests of multiple mobile users. This problem is posed as an optimization framework whose goal is to maximize the sum rate of all mobile users by jointly optimizing the number of users served by all BSs and beamforming matrices of both BSs and users. To solve this non-convex optimization problem, we first introduce a value decomposition based reinforcement learning (VD- RL) algorithm to determine the users to be served by each BS. Then, we use the block diagonalization method to obtain the fully digital transmit beamforming matrices of all BSs as well as the receive beamforming matrices of the users. Finally, a fast optimization algorithm is used to optimize the hybrid beamforming matrices of both BSs and users. Simulation results show that, the proposed algorithm can achieve up to 51 % gain in terms of the sum rate of all mobile users compared to baseline multi-agent algorithms.

关键词： Multicast algorithms Array signal processing Heuristic algorithms Simulation Conferences Multicast communication Real-time systems

来源：评论

学校读者我要写书评

暂无评论

Fuzzy Granule Density-Based Outlier Detection with Multi-Scale Granular Balls

arXiv

引用

arXiv 2025年

作者： Gao, Can Tan, Xiaofeng Zhou, Jie Ding, Weiping Pedrycz, Witold The College of Computer Science and Software Engineering Shenzhen University Shenzhen518060 China Guangdong Key Laboratory of Intelligent Information Processing Shenzhen518060 China The National Engineering Laboratory for Big Data System Computing Technology Shenzhen University Shenzhen518060 China The School of Artificial Intelligence and Computer Science Nantong University Nantong226019 China The Faculty of Data Science City University of Macau Macau999078 China The Department of Electrical and Computer Engineering University of Alberta Edmonton Canada Systems Research Institute Polish Academy of Sciences Warsaw Poland The Department of Electrical and Computer Engineering King Abdulaziz University Jeddah Saudi Arabia The Department of Computer Engineering Istinye University Istanbul Turkey

Outlier detection refers to the identification of anomalous samples that deviate significantly from the distribution of normal data and has been extensively studied and used in a variety of practical tasks. However, most unsupervised outlier detection methods are carefully designed to detect specified outliers, while real-world data may be entangled with different types of outliers. In this study, we propose a fuzzy rough sets-based multi-scale outlier detection method to identify various types of outliers. Specifically, a novel fuzzy rough sets-based method that integrates relative fuzzy granule density is first introduced to improve the capability of detecting local outliers. Then, a multi-scale view generation method based on granular-ball computing is proposed to collaboratively identify group outliers at different levels of granularity. Moreover, reliable outliers and inliers determined by the three-way decision are used to train a weighted support vector machine to further improve the performance of outlier detection. The proposed method innovatively transforms unsupervised outlier detection into a semi-supervised classification problem and for the first time explores the fuzzy rough sets-based outlier detection from the perspective of multi-scale granular balls, allowing for high adaptability to different types of outliers. Extensive experiments carried out on both artificial and UCI datasets demonstrate that the proposed outlier detection method significantly outperforms the state-of-the-art methods, improving the results by at least 8.48% in terms of the Area Under the ROC Curve (AUROC) index. The source codes are released at https://***/Xiaofeng-Tan/MGBOD. © 2025, CC BY.

关键词： Granulation

来源：评论

学校读者我要写书评

暂无评论

RETRACTED ARTICLE: Industrial-IoT-hardware security-improvement using plan load optimization method in cloud

引用

International Journal of system Assurance engineering and Management 2023年第1-Sup期14卷 578-578页

作者： Basheer, Shakila Gopu, Magesh Mathew, Rincy Merlin Bivi, Maryam Aysha Prabu, M. Department of Information System College of Computer and Information Sciences Princess Nourah Bint Abdulrahman University Riyadh Saudi Arabia Department of Software and Systems Engineering Vellore Institute of Technology Tamilnadu Vellore India Computer Science Department College of Science and Arts King Khalid University Khamis Mushayt Abha Saudi Arabia Department of Computer Science College of Computer Science King Khalid University Abha Saudi Arabia Department of Computer Science Christ University Karnataka Bangalore India

来源：评论

学校读者我要写书评

暂无评论

A differential public PUF design for lightweight authentication 16

A differential public PUF design for lightweight authenticat...

引用

2021 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, SMACD 2021 and 16th Conference on PhD Research in Microelectronics and Electronics, PRIME 2021

作者： Duan, Shengyu Sai, Gaole School of Computer Engineering and Science Shanghai University Shanghai200444 China State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences China Guangdong Provincial Key Lab of Robotics and Intelligent System Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences China CAS Key Laboratory of Human-Machine Intelligence-Synergy Systems Shenzhen Institutes of Advanced Technology China

ISBN: (纸本)9783800755899

Physical Unclonable Functions (PUFs) have emerged as a promising primitive to provide a hardware keyless security mechanism for integrated circuit applications. Public PUFs (PPUFs) address the crucial PUF vulnerability of requiring databases to store the secrete reference information. This paper investigates one of the PPUF families, differential PPUF (dPPUF), which exploits complexly interacted logic to create time gap between actual execution and simulation, and to prevent simulation attacks. Conventional dPPUFs have high costs. We observe the repressers have large impact on simulation time, but take a great proportion in current dPPUF structure. We thereby present a represser network with specially designed interconnection and shared logic, to maintain a high circuit complexity and to reduce the area cost. We show the proposed dPPUF has similar resilience over simulation attacks as the conventional design. Area cost can be reduced by up to 44%, and thus the proposed design can be used for lightweight authentication. © VDE VERLAG GMBH.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Low-power emerging memristive designs towards secure hardware systems for applications in internet of things

引用

Nano Materials Science 2021年第2期3卷 186-204页

作者： Nan Du Heidemarie Schmidt Ilia Polian Department Nano Device Technology Fraunhofer Institute for Electronic Nano SystemsTechnologie-Campus 309126ChemnitzGermany Faculty of Electrical Engineering and Information Technology Chemnitz University of Technology(TU Chemnitz)Straße der Nationen 6209126ChemnitzGermany Department of Quantum Detection Leibniz Institute of Photonic Technology(IPHT)Albert-Einstein-Str.907745JenaGermany Institute for Solid State Physics Friedrich Schiller University JenaFürstengraben 107743JenaGermany Institute of Computer Engineering and Computer Architecture(ITI) University of StuttgartPfaffenwaldring 4770569StuttgartGermany

Emerging memristive devices offer enormous advantages for applications such as non-volatile memories and inmemory computing(IMC),but there is a rising interest in using memristive technologies for security applications in the era of internet of things(IoT).In this review article,for achieving secure hardware systems in IoT,lowpower design techniques based on emerging memristive technology for hardware security primitives/systems are *** reviewing the state-of-the-art in three highlighted memristive application areas,*** non-volatile memory,memristive reconfigurable logic computing and memristive artificial intelligent computing,their application-level impacts on the novel implementations of secret key generation,crypto functions and machine learning attacks are explored,*** the low-power security applications in IoT,it is essential to understand how to best realize cryptographic circuitry using memristive circuitries,and to assess the implications of memristive crypto implementations on security and to develop novel computing paradigms that will enhance their *** review article aims to help researchers to explore security solutions,to analyze new possible threats and to develop corresponding protections for the secure hardware systems based on low-cost memristive circuit designs.

关键词： Memristive technology Nanoelectronic device Low-power consumption Miniaturization Nonvolatility Reconfigurability In memory computing Artificial intelligence Hardware security primitives Machine learning-related attacks and defenses

来源：评论

学校读者我要写书评

暂无评论

Stability Analysis and Performance Evaluation of Delayed Bilateral Telerobotic systems over a Lossy Communication Channel

引用

Journal of systems Science & Complexity 2021年第1期34卷 157-179页

作者： BAKHSHI Ali ALFI Alireza TALEBI Heidar Ali SOURATGAR Amir Aboulfazl YOUSEFI Mahdi Faculty of Electrical and Robotic Engineering Shahrood University of TechnologyShahrood 36199-95161Iran Power Plants Control Systems Technology Development Plan Department of monitoring and ControlNiroo Research InstituteTehran 14665-517Iran Real-Time and Robotics system Laboratory Faculty of Electrical EngineeringAmirkabir University of TechnologyHafez AvenueTehran 15914Iran Electrical and Computer Engineering Department The University of British Columbia2385East MallVan couverBC V6T 1Z4Canada

The focus of this paper is to address a novel control technique for stability and transparency analysis of bilateral telerobotic systems in the presence of data loss and time delay in the communication channel. Different control strategies have been reported to compensate the effects of time delay in the communication channel;however, most of them result in poor performance under data loss. First, a model for data loss is proposed using a finite series representation of a set of periodic continuous *** improve the performance and data reconstruction, a holder circuits is also introduced. The passivity of the overall system is provided via the wave variable technique based on the proposed model for the data loss. The stability analysis of the system is then derived using the Lyapunov theorem under the time delay and the data loss. Finally, experimental results are given to illustrate the capability of the proposed control technique.

关键词： Lossy channel passivity stability telerobotic transparency

来源：评论

学校读者我要写书评

暂无评论

Modeling Supports the Implementation of Urban Greening as a Response to the Challenges of Sustainable Spatial Planning

SSRN

引用

SSRN 2024年

作者： Kim, Eun Sub Lee, Dong Kun Hyun, Jung Hee Kim, Na Yeon Heo, Su Jeong Kim, Da Sle Interdisciplinary Program in Landscape Architecture Seoul National University Seoul08826 Korea Republic of Integrated Major in Smart City Global Convergence Program Seoul National University Seoul08826 Korea Republic of Specialized Graduate School of Intelligent Eco-Science 4 Dept. of Landscape Architecture Seoul National University Seoul08826 Korea Republic of Systemic Risk and Resilience Research Group Advancing Systems Analysis International Institute for Applied Systems Analysis Austria Department of Landscape Architecture and Rural System Engineering Seoul National University Seoul08826 Korea Republic of

Urban greening is a critical strategy for sustainable urban development, climate change mitigation, and biodiversity conservation. However, the effectiveness of urban greening varies depending on the specific goals (e.g., enhancing biodiversity, reducing urban heat, or both) and their spatial implementation. To address the spatial variability in the effectiveness of greening, we propose a spatial decision support model based on the non-dominated sorting genetic algorithm-II (NSGA-II). This model aims to optimize urban greening locations to maximize biomass density, mitigate urban heat stress, and simultaneously improve landscape connectivity. Applied to Suwon City, South Korea, the model's effectiveness was evaluated against a Business-As-Usual (BAU) scenario across four scenarios: Connectivity-based, Biomass density-based, Heat stress-based, and an Integrated-based scenario. The integrated approach, balancing trade-offs between ecological benefits and implementation costs, outperformed the BAU scenario by 8.84%. This outcome indicated of significant improvements in biomass density and landscape connectivity, despite highlighting a weaker correlation with heat stress mitigation. Our findings underscore the necessity of an integrated planning approach to urban greening, as it can contribute toward the attainment of urban development goals. Additionally, by proposing an app-based model for policymakers to utilize, our outputs should enable the reconciliation of multiple environmental objectives in urban landscapes. © 2024, The Authors. All rights reserved.

关键词： Climate change

来源：评论

学校读者我要写书评

暂无评论

Seastar: A Cache-Efficient and Load-Balanced Key-Value Store on Disaggregated Memory

Seastar: A Cache-Efficient and Load-Balanced Key-Value Store...

引用

IEEE International Conference on Cluster Computing

作者： Jingwen Du Fang Wang Dan Feng Dexin Zeng Sheng Yi Wuhan National Laboratory for Optoelectronics Key Laboratory of Information Storage System Engineering Research Center of Data Storage Systems and Technology Ministry of Education of China China School of Computer Science and Technology Huazhong University of Science and Technology China Shenzhen Huazhong University of Science and Technology Research Institute China

ISBN: (数字)9798350358711

ISBN: (纸本)9798350358728

In modern datacenters, memory disaggregation un-packs monolithic servers to build independent network-connected compute and memory pools, greatly improving resource uti-lization. Existing memory-disaggregated key-value stores adopt ownership sharing or ownership partitioning for request scheduling and they all show poor performance and scalability. The former generates multiple cache misses and multiple network round trips due to poor cache locality, while the latter fails to fully use resources on all Compute Nodes (CNs) due to load imbalance. In this paper, we propose Seastar, a fast and scalable key-value store that achieves high cache locality as well as load balancing. To enable high concurrency and ensure linearizability, Seastar exploits a self-verification version chain to provide out-of-place atomic updates and ensure consistent reads. To improve cache locality, Seastar leverages a pair-based ownership assigning scheme to assign the processing permission of requests corre-sponding to each key to a CN pair through two independent hash functions. To ensure load balancing among CNs, Seastar proposes a decentralized power-of-two-choices routing scheme to route the requests to the less-loaded CNs in CN pairs for handling. Experimental results demonstrate that Seastar improves the throughput by up to 6.7x and significantly reduces the latency compared with state-of-the-art memory-disaggregated key-value stores.

关键词： Concurrent computing Hash functions Protocols Processor scheduling Scalability Cluster computing Load management Throughput Routing Servers

来源：评论

学校读者我要写书评

暂无评论

Data poisoning: issues, challenges, and needs

Data poisoning: issues, challenges, and needs

引用

7th IET Smart Cities Symposium (SCS 2023)

作者： Mohammad Aljanabi Alaa Hamza Omran Maad M Mijwil Mostafa Abotaleb El-Sayed M. El-kenawy Sahar Yousif Mohammed Abdelhameed Ibrahim Department of computer College of Education Aliarqai university Baghdad Iraq University of information technology and communications Baghdad Iraq Computer Techniques Engineering Department Baghdad College of Economic Sciences University Baghdad Iraq Department of System Programming South Ural State University Chelyabinsk Russia Department of Communications and Electronics Delta Higher Institute of Engineering and Technology Egypt Computer Science Department Computer Science & Information Technology College Anbar University Anbar Iraq Computer Engineering and Control Systems Department Faculty of Engineering Mansoura University Mansoura Egypt

Data poisoning attacks, where adversaries manipulate training data to degrade model performance, are an emerging threat as machine learning becomes widely deployed in sensitive applications. This paper provides a comprehensive overview of data poisoning including attack techniques, adversary incentives, impacts on security and reliability, detection methods, defenses, and key research gaps. We examine label flipping, instance injection, backdoors, and other attack categories that enable malicious outcomes ranging from IP theft to accidents in autonomous systems. Promising detection approaches include statistical tests, robust learning, and forensics. However, significant challenges remain in translating academic defenses like adversarial training and sanitization into practical tools ready for operational use. With safety and trustworthiness at stake, more research on benchmarking evaluations, adaptive attacks, fundamental tradeoffs, and real-world deployment of defenses is urgently needed. Understanding vulnerabilities and developing resilient machine learning pipelines will only grow in importance as data integrity is fundamental to developing safe artificial intelligence.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：