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

GenProgJS: A Baseline System for Test-Based Automated Repair of JavaScript Programs

IEEE TRANSACTIONS ON software ENGINEERING 2025年第2期51卷 325-343页

作者： Csuvik, Viktor Horvath, Daniel Lajko, Mark Vidacs, Laszlo Univ Szeged Dept Software Engn H-6720 Szeged Hungary

Originally, GenProg was created to repair buggy programs written in the C programming language, launching a new discipline in Generate-and-Validate approach of Automated Program Repair (APR). Since then, a number of other tools has been published using a variety of repair approaches. Some of these still operate on programs written in C/C++, others on Java or even Python programs. In this work, a tool named GenProgJS is presented, which generates candidate patches for faulty JavaScript programs. The algorithm it uses is very similar to the genetic algorithm used in the original GenProg, hence the name. In addition to the traditional approach, solutions used in some more recent works were also incorporated, and JavaScript language-specific approaches were also taken into account when the tool was designed. To the best of our knowledge, the tool presented here is the first to apply GenProg's general generate-and-validate approach to JavaScript programs. We evaluate the method on the BugsJS bug database, where it successfully fixed 31 bugs in 6 open source *** projects. These bugs belong to 14 different categories showing the generic nature of the method. During the experiments, code transformations applied on the original source code are all traced, and an in-depth analysis of mutation operators and fine-grained changes are also presented. We share our findings with the APR research community and describe the difficulties and differences we faced while designed this JavaScript repair tool. The source code of GenProgJS is publicly available on Github, with a pre-configured Docker environment where it can easily be launched.

关键词： Maintenance engineering Computer bugs Genetics Java Codes software development management Source coding Genetic operators software algorithms software Automated program repair (APR) genetic algorithm software debugging

来源：评论

学校读者我要写书评

暂无评论

HTM-PQC: Hardening Cryptography Keys Under the Trend of Post-Quantum Cryptography Migration on Industrial Internet

引用

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 2025年第4期21卷 3504-3514页

作者： Meng, Lingjia Fu, Yu Zheng, Fangyu Wang, Mingyu Ma, Ziqiang Dong, Jiankuo Lin, Jingqiang Univ Chinese Acad Sci Sch Cryptol Beijing 100049 Peoples R China Zhongguancun Lab Beijing 100094 Peoples R China Univ Sci & Technol China Sch Cyber Sci & Technol Hefei 230026 Peoples R China Dalian Maritime Univ Sch Informat Sci & Technol Dalian 116026 Peoples R China Ningxia Univ Sch Informat Engn Yinchuan 750021 Peoples R China Nanjing Univ Posts & Telecommun Sch Comp Sci Nanjing 210023 Peoples R China

With the rapid expansion of Industry 4.0 technology, the proliferation of large-scale devices faces increasingly severe cyber threats, underscoring the critical importance of cryptographic technology for secure communication and authentication. However, cryptographic systems, as the bedrock of security, have faced a barrage of attacks in recent years, including potential threats from quantum computing and memory disclosure vulnerabilities. In this article, we focus on enhancing the security of two standard quantum-safe cryptographic algorithms, Dilithium and eXtended Merkle signature scheme (XMSS), by leveraging hardware transactional memory (HTM) to create a secure operational environment. Unlike traditional cryptography such as Rivest-Shamir-Adleman (RSA) and elliptic curve cryptography (ECC), Dilithium, and XMSS involve more and larger sensitive variables, rendering conventional solutions inadequate. By conducting a comprehensive sensitivity analysis of variables within the abovementioned algorithms, we confine sensitive operations to transactional execution regions and employ transaction-splitting technology for efficiency. Our prototype, utilizing Intel transactional synchronization extension (TSX), demonstrates robust protection against memory disclosure attacks with acceptable performance overheads. Notably, our security-enhanced Dilithium and XMSS software implementations, recommended by NIST, achieve an average throughput factor of 0.75 compared to the (unprotected) reference implementations.

关键词： Cryptography Internet Security Vectors Protection NIST software algorithms software Side-channel attacks Quantum computing Dilithium hardware transactional memory (HTM) industrial internet post-quantum cryptography (PQC) eXtended Merkle signature scheme (XMSS)

来源：评论

学校读者我要写书评

暂无评论

Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams

引用

IEEE ACCESS 2025年 13卷 22197-22229页

作者： Ausberger, Tomas Kubicek, Karel Medvedcova, Pavla Univ West Bohemia Pilsen Fac Appl Sci New Technol Informat Soc NTIS Plzen 30100 Czech Republic

In the development and verification of safety-critical and safety-related Instrumentation and Control (I&C) systems, it is essential to ensure there is no deviation from the requirements of the assignment during development. Model checking is a method of formal verification which can be used to prove whether a formal model satisfies its formal requirement. Since algorithms of I&C systems are generally informal, they can not be verified by model checking directly, but they must be carefully translated. This article presents a new method based on functionally-equivalent formalisation and model checking. This method can be used for automatic verification of I&C algorithms by model checking while preserving obtained proofs from a formalised model in the original algorithm. There are several problems associated with the verification of PLCs by model checking: 1) State space explosion, 2) Model consistency, 3) Specifying Properties to be Checked, 4) Representing PLC execution cycle, 5) TONs timers representation. This aims of this article is to address points 1), 2), 4) and 5). The article also presents conditions for implementing these algorithms in a target I&C system under which the obtained proofs can also be expected in the physical I&C system. This article primarily focuses on formalisation and model checking of Function Block Diagram (FBD) algorithms. However, the presented methods can also be extended to other programming languages.

关键词： Model checking Safety Computational modeling Standards Formal verification IEC Standards software algorithms Mathematical models Explosions software Formal model formal verification function block diagram FBD functionally-equivalent formalization Formalization IEC standards instrumentation and control (I&C) systems model checking safety-critical system safety-related system verification process

来源：评论

学校读者我要写书评

暂无评论

A Method to Compare Scaling algorithms for Cloud-Based Services

引用

IEEE TRANSACTIONS ON CLOUD COMPUTING 2025年第1期13卷 34-45页

作者： De Vleeschauwer, Danny Chang, Chia-Yu Soto, Paola De Bock, Yorick Camelo, Miguel De Schepper, Koen Nokia Bell Labs Network Automat Dept B-2108 Antwerp Belgium Univ Antwerp IMEC IDLab B-2000 Antwerp Belgium

Nowadays, many services are offered via the cloud, i.e., they rely on interacting software components that can run on a set of connected Commercial Off-The-Shelf (COTS) servers sitting in data centers. As the demand for any particular service evolves over time, the computational resources associated with the service must be scaled accordingly while keeping the Key Performance Indicators (KPIs) associated with the service under control. Consequently, scaling always involves a delicate trade-off between using the cloud resources and complying with the KPIs. In this paper, we show that a (workload-dependent) Pareto front embodies this trade-off's limits. We identify this Pareto front for various workloads and assess the ability of several scaling algorithms to approach that Pareto front.

关键词： Cloud computing software algorithms software Approximation algorithms Symbols Key performance indicator Vectors Synapses Service level agreements Servers Cloud-based services kubernetes pods scaling

来源：评论

学校读者我要写书评

暂无评论

A Matheuristics for the Configuration of Automated Vertical Lift Modules Warehouses

引用

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING 2025年 22卷 7284-7295页

作者： Tresca, Giulia Cavone, Graziana Scarabaggio, Paolo Carli, Raffaele Dotoli, Mariagrazia Polytech Bari Dept Elect & Informat Engn I-70126 Bari Italy Roma Tre Univ Dept Civil Comp Sci & Aeronaut Technol Engn I-00146 Rome Italy

The design of the layout of Vertical Lift Module (VLM) warehouses is a non-trivial process that involves selecting dimensions, internal configuration, and allocation of each tray to avoid space loss while satisfying logistic constraints. Our contribution in this context is a two-phase matheuristics -an algorithm that combines exact mathematical methods and heuristics- to simplify the design of VLMs layout. The proposed matheuristics relies on three Mixed-Integer Linear Programming models, addressing the internal configuration of trays and the allocation of trays into columns based on industrial logistic constraints. This approach requires as input parameters the items features, predetermined tray types with different dimensions, matheuristic settings, and a priority rule for tray allocation. The algorithm outputs to the logistics operator types and quantities of trays needed, internal partitioning, item positions in each tray, and tray positions in each column. Extensive testing demonstrates the effectiveness of our approach under realistic scenarios. Additionally, we introduce a comprehensive set of priority rules for allocating trays into columns, providing a comparison to assist logistics operators in selecting the most suitable for specific scenarios. Note to Practitioners-VLMs are closed structures composed of columns that house a variable number of sliding trays and a lift-mounted module that handles the trays. Their operation revolves around the so-called "goods to the man" principle, where goods are automatically brought to the operator using a dedicated access bay. This design ensures that stored items are easily accessible to operators, reducing time for order picking and improving workplace safety and ergonomics. Designing a VLM for logistics companies is a complex and time-consuming task since it requires optimizing a target objective while satisfying a large set of constraints. The current manual approach lacks automated methods and relies on experience

关键词： Logistics Resource management Layout Throughput software Biological system modeling Automation software algorithms Partitioning algorithms Mathematical models Automated warehouse logistics 4.0 vertical lift modules matheuristics

来源：评论

学校读者我要写书评

暂无评论

UWB Transparent Metamaterial Absorber With Optimally Patterned Gold Nanolayer

引用

IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES 2025年第4期73卷 2414-2424页

作者： Soghi, Sahar Heidar, Hamid Haraty, Mohammad Reza Nayyeri, Vahid Malek Ashtar Univ Technol Fac Elect & Comp Engn Tehran 177415875 Iran Iran Univ Sci & Technol Sch Adv Technol Tehran *** Iran

A novel thin, optically transparent microwave metamaterial absorber (TMMA) is presented. The proposed structure utilizes a 3-mm-thick polycarbonate (PC) main substrate coated on both sides with 8-nm-thick gold thin films deposited via thermal evaporation. To achieve maximum absorption bandwidth, polarization insensitivity, and angular stability, the unit cell of the TMMA is optimized through a pixelation and binary optimization technique. This process results in an optimal pattern of gold nanolayer on the upper surface of the substrate. The resulting periodic pattern is transferred using optical lithography. The bottom gold film acts as the electrical ground plane. An additional 3-mm-thick PC superstrate is then incorporated to improve impedance matching and protect the coating of the main substrate. Comprehensive full-wave electromagnetic simulations are employed to assess the absorption performance. The design is subsequently validated through sample fabrication and experimental measurements. The proposed TMMA exhibits over 90% absorption within an ultrawideband (UWB) range of 5.1-25.2 GHz while maintaining an average optical transparency of approximately 70%. The symmetrical design additionally offers wide angular stability and minimal polarization sensitivity.

关键词： Gold Optimization Substrates Absorption Microwave theory and techniques Surface impedance Optical films software algorithms Optical surface waves Optical polarization Binary particle swarm optimization (BPSO) gold deposition metamaterial absorber (MMA) optically transparent pattern optimization pixelation wideband absorber

来源：评论

学校读者我要写书评

暂无评论

First-Person View Interfaces for Teleoperation of Aerial Swarms

引用

IEEE ROBOTICS AND AUTOMATION LETTERS 2025年第5期10卷 4476-4483页

作者： Jarvis, Benjamin Toumieh, Charbel Floreano, Dario Ecole Polytech Fed Lausanne Lab Intelligent Syst CH-1015 Lausanne Switzerland

Aerial swarms can substantially improve the effectiveness of drones in applications such as inspection, monitoring, and search for rescue. This is especially true when those swarms are made of several individual drones that use local sensing and coordination rules to achieve collective motion. Despite recent progress in swarm autonomy, human control and decision-making are still critical for missions where lives are at risk or human cognitive skills are required. However, first-person-view (FPV) teleoperation systems require one or more human operators per drone, limiting the scalability of these systems to swarms. This work investigates the performance, preference, and behaviour of pilots using different FPV interfaces for teleoperation of aerial swarms. Interfaces with single and multiple perspectives were experimentally studied with humans piloting a simulated aerial swarm through an obstacle course. Participants were found to prefer and perform better with views from the back of the swarm, while views from the front caused users to fly faster but resulted in more crashes. Presenting users with multiple views at once resulted in a slower completion time, and users were found to focus on the largest view, regardless of its perspective within the swarm.

关键词： Drones Visualization Feeds Forestry Computer crashes Trajectory Surveys software algorithms Real-time systems Navigation Swarm robotics telerobotics user interfaces

来源：评论

学校读者我要写书评

暂无评论

L1Topo: The Level-1 Topological Processor for ATLAS Phase-I Upgrade and Its Firmware Evolution for Use Within the Phase-II Global Trigger

引用

IEEE TRANSACTIONS ON NUCLEAR SCIENCE 2025年第3期72卷 392-399页

作者： Filimonov, Viacheslav Johannes Gutenberg Univ Mainz Inst Phys D-55128 Mainz Germany

The increased instantaneous luminosity of the Large Hadron Collider (LHC) in Run 3 brings the need for the upgrade of the A Toroidal LHC Apparatus (ATLAS) trigger system. The newly commissioned Phase-I L1Topo system, which replaces its Phase-0 predecessor, processes data from the feature extractors (FEXes) and the upgraded muon to central trigger processor interface (MUCTPI) to perform topological and multiplicity triggers. The L1Topo system consists of three ATCA modules, each hosting two processor field programmable gate arrays (FPGAs) (Xilinx Ultrascale+9P). The L1Topo firmware is composed of a large number of sort/select, decision, and multiplicity algorithms, that are automatically assembled and configured based on the provided trigger menu. For the high-luminosity LHC (HL-LHC), the Phase-I L1Topo system will be replaced by a Global Trigger, a time-multiplexed system, which concentrates the data of a full event into a single FPGA. In order to match the new operational environment, the fully synchronous, very low latency (new data arriving every 25 ns), parallel implementation [similar to 2.5M look-up tables (LUTs)] of the Phase-I topological firmware is being adapted to a significantly higher latency budget (new data arriving every 1.2 mu s) and a substantially tighter resource budget (similar to 100k LUTs). The main challenge is to allow for multiple working points of the utilized resources and latency for each algorithm. A detailed overview of the Phase-I L1Topo hardware and firmware is provided. Preliminary performance results achieved by the Phase-I L1Topo together with a description of the challenges found during the commissioning process are included. Phase-II-related firmware adaptations are also discussed.

关键词： Microprogramming Field programmable gate arrays Hardware Optical fibers Detectors software algorithms Mesons A Toroidal LHC Apparatus (ATLAS) field programmable gate array (FPGA) Large Hadron Collider (LHC) topological trigger

来源：评论

学校读者我要写书评

暂无评论

Programmable Real-Time Scheduling of Disaggregated Network Functions: A Theoretical Model

引用

IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT 2025年第1期22卷 485-498页

作者： Levai, Tamas Vass, Balazs Retvari, Gabor Budapest Univ Technol & Econ HUN REN BME Informat Syst Res Grp H-1111 Budapest Hungary Budapest Univ Technol & Econ Dept Math & Comp Sci Hungarian Line HUN REN BME Informat Syst Res Grp H-1111 Budapest Hungary Babes Bolyai Univ Cluj Napoca 400347 Romania

Novel telecommunication systems build on a cloudified architecture running softwarized network services as disaggregated virtual network functions (VNFs) on commercial off-the-shelf (COTS) hardware to improve costs and flexibility. Given the stringent processing deadlines of modern applications, these systems are critically dependent on a closed-loop control algorithm to orchestrate the execution of the disaggregated components. At the moment, however, the formal model for implementing such real-time control loops is mostly missing. In this paper, we introduce a new real-time VNF execution environment that runs entirely on COTS hardware. First, we define a comprehensive formal model that enables us to reason about packet processing delays across disaggregated VNF processing chains analytically. Then we integrate the model into a gradient-optimization control algorithm to provide optimal scheduling for real-time infocommunication services in a programmable way. We present experimental evidence that our model gives a proper delay estimation on a real software switch. We evaluate our control algorithm on multiple representative use cases using a software switch simulator. Our results show the algorithm drives the system to a real-time capable state in just a few control periods even in case of complex services.

关键词： Real-time systems software Switches Delays Hardware Optimal scheduling Pipelines software algorithms Costs Telecommunications Dataflow graph software switch SDN NFV

来源：评论

学校读者我要写书评

暂无评论

A Computer Search of New OBZCPs of Lengths up to 49

引用

IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS 2025年第2期61卷 5469-5476页

作者： Kazakov, Peter Liu, Zilong Bulgarian Acad Sci Inst Math & Informat Sofia 1040 Bulgaria Univ Essex Sch Comp Sci & Elect Engn Colchester CO4 3SQ England

In this article, we aim to search for new optimal and suboptimal odd binary Z-complementary pairs (OBZCPs) for lengths up to 49. As an alternative to the celebrated binary Golay complementary pairs, optimal OBZCPs are the best almost-complementary sequence pairs having odd lengths. We introduce a computer search algorithm with time complexity O(2(N)), where N denotes the sequence length and then show optimal results for all 27 <= N <= 33 and N = 37,41,49. For those sequence lengths (i.e., N = 35,39,43,45,47) with no optimal pairs, we show OBZCPs with largest zero-correlation zone widths (i.e., Z-optimal). Finally, based on the Pursley-Sarwate criterion, we present a table of OBZCPs with smallest combined auto-correlation and cross-correlation.

关键词： Correlation Aerospace and electronic systems Zero correlation zone Vectors software algorithms Time complexity software Wireless communication Systematics Spectroscopy Aperiodic correlation Golay complementary pair (GCP) odd-length binary ZCP (OBZCP) Pursley-Sarwate criterion (PSC) Z-complementary pair (ZCP) zero-correlation zone (ZCZ)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：