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

2024 Small Satellites systems and Services symposium, 4S 2024

作者： Adams, Caleb Frank, Jeremy Gridnev, Sergei Iatauro, Michael Kempa, Brian Lassiter, Caroline Levinson, Richard Intelligent Systems Division NASA Ames Research Center Moffett FieldCA United States

ISBN: (纸本)9781510688940

Autonomous decision-making is crucial for enabling and enhancing mission effectiveness in distributed Space systems (DSS). Autonomy in decision-making is highlighted as a crucial factor for multi-spacecraft missions, enabling spacecraft to operate independently, reducing reliance on ground control. This capability is significant for future deep-space missions, where communication delays and limited data transmission capacity make traditional command and control approaches impractical. The distributed Spacecraft Autonomy (DSA) experiment onboard the Starling 1.0 Mission focuses on a GPS Channel Selection Experiment, using ionospheric phenomena such as the Equatorial Ionization Anomaly and Polar Patches as a science proxy to demonstrate autonomy. The GPS Channel Selection Experiment utilizes a dual-band GPS receiver to estimate plasma density in the ionosphere. Explorative and exploitative channel selections are employed based on the nature of observed phenomena. The DSA Flight software utilizes the Core Flight System (cFS) framework, ensuring compatibility with the Starling 1.0 flight mission software. This paper describes the current status of the experiment, including a review of the flight software, operations tools and processes, and a description of ‘DSA Firsts’ in demonstrating fully distributed autonomous operations. © 2025 The Authors.

关键词： Ionosphere

来源：评论

学校读者我要写书评

暂无评论

Strategy Templates - Robust Certified Interfaces for Interacting systems 22nd

Strategy Templates - Robust Certified Interfaces for Interac...

引用

22nd international symposium on Automated Technology for Verification and Analysis

作者： Anand, Ashwani Nayak, Satya Prakash Schmuck, Anne-Kathrin Max Planck Inst Software Syst MPI SWS Kaiserslautern Germany

ISBN: (纸本)9783031787089;9783031787096

This invited paper unifies our recent work on the automated synthesis of strategy templates as robust certified interfaces for interacting autonomous systems. Strategy templates are similar to classical strategies typically computed by reactive software synthesis but contain a huge set of relevant strategies in a succinct and simple data structure. This permissiveness allows efficient adaptations to new specifications as well as robustness to unexpected actuation failures during runtime. In addition to these favorable engineering properties of strategy templates for cyber-physical systems (CPS), their permissiveness, efficient computability, and adaptability enables their use for the automated synthesis of certified interfaces among different interacting CPS. This paper discusses the foundations and applications of this novel control-inspired distributed reactive synthesis framework for different cooperation and partial-observation settings common for interacting CPS.

关键词： Rational Synthesis Cooperative Synthesis Strategy Templates Negotiation Graph Games Robustness

来源：评论

学校读者我要写书评

暂无评论

A Generic Specification Framework for Weakly Consistent Replicated Data Types

引用

IEEE Transactions on parallel and distributed systems 2025年第6期36卷 1338-1353页

作者： Jiang, Xue Wei, Hengfeng Huang, Yu Chen, Yuxing Pan, Anqun Nanjing University State Key Laboratory for Novel Software Technology Nanjing210093 China Zhejiang International Maritime College School of Navigation Engineering Zhoushan316021 China Tencent Inc. Shenzhen518054 China

Burckhardt et al. proposed a formal specification framework for eventually consistent replicated data types, denoted (vis, ar), based on the notions of visibility and arbitration relations. However, being specific to eventually consistent systems, this framework has two limitations. First, it does not cover non-convergent consistency models since arbitration ar is a total order over events. Second, it does not cover the consistency models in which each event is required to be aware of the return values of some events that are visible to it when justifying its return value. These limitations make the (vis, ar) framework not generic enough to specify and reason about important weak consistency models such as Causal Memory and PRAM. In this article, we extend this framework to a more generic one called (vis, ar, V) for weakly consistent replicated data types. To specify non-convergent consistency models as well, we relax the arbitration relation ar to be a partial order. To overcome the second limitation, we allow to specify for each event e, a subset V(e) of its visible set whose return values cannot be ignored when justifying the return value of e. To make it practically feasible, we provide candidates for the visibility and arbitration relations and the V function. By combining candidates for these three components, we are able to specify not only existing consistency models but also new ones that are reasonable and promising for practical usefulness. We then show how to specify consistency models in our framework, and provide three case studies. © 1990-2012 IEEE.

关键词： Spatio-temporal data

来源：评论

学校读者我要写书评

暂无评论

Unknown Input Observer for Takagi-Sugeno Fuzzy Bilinear System with Input and Output Disturbances

Unknown Input Observer for Takagi-Sugeno Fuzzy Bilinear Syst...

引用

2025 IEEE/SICE international symposium on System Integration, SII 2025

作者： Yoneyama, Jun Aoyama Gakuin University Department of Electrical Engineering and Electronics Sagamihara Japan

ISBN: (纸本)9798331531614

An estimation of the state variables for systems with disturbances is an important problem. In a practical situation, not all the state variables are measurable, and disturbance noises come into the system. Especially, it is difficult to estimate the state variables of complicated nonlinear systems with input and output disturbances. In this paper, observer design methods for a discrete-time Takagi-Sugeno fuzzy bilinear system with unknown inputs and input/output disturbances are proposed. Our observer filters out unknown input and estimates the state and input/output disturbances of the system. Since Takagi-Sugeno fuzzy bilinear system represents a quite large class of nonlinear systems, an unknown input observer that estimates the state and input/output disturbance of Takagi-Sugeno fuzzy bilinear system with unknown inputs and disturbances is essential in many engineering fields. Observer design has started with a parallel distributed observer(PDO), which is constructed with local linear observers and the appropriate grade of the membership functions. However, design conditions for PDO are very conservative. To overcome such disadvantage, nonPDO with multiple Lyapunov matrices technique is proposed to design our observer in this paper. Such a design method is based on a multiple Lyapunov function with a sum of the membership functions. This method drastically reduces the conservatism. To demonstrate the validity of our proposed observer design approach, an illustrative numerical example is provided. Lastly, we end with concluding remarks. © 2025 IEEE.

关键词： Membership functions

来源：评论

学校读者我要写书评

暂无评论

Advancing Evasion: distributed Backdoor Attacks in Federated Learning 25th

Advancing Evasion: Distributed Backdoor Attacks in Federate...

引用

25th international Conference on parallel and distributed Computing, Applications and Technologies, PDCAT 2024

作者： Wang, Jian Shen, Hong Ke, Wei Faculty of Applied Sciences Macao Polytechnic University China School of Engineering and Technology Central Queensland University Rockhampton Australia School of Software Technology Guangzhou Institute of Software Guangzhou China

ISBN: (纸本)9789819642069

Federated Learning (FL) is vulnerable to backdoor attacks through data poisoning if the data is not scrutinized, as malicious participants can inject backdoor triggers in normal samples, leading to poisoned updates. distributed backdoor attacks pose a greater threat than centralized ones, as they often use fixed pixel blocks as triggers, increasing the risk of detection. This paper presents a novel distributed backdoor attack strategy that leverages edge structure poisoning to circumvent existing defense mechanisms, employing a distributed poisoning strategy to evade current defense mechanisms, thereby enhancing the stealth of the attack. Experimental results on multiple benchmark datasets demonstrate that this method is more effective and stealthy compared to other backdoor attack methods. Furthermore, this paper also proposes targeted defense strategies based on the experimental results, offering a new perspective on the security of FL systems. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Federated learning

来源：评论

学校读者我要写书评

暂无评论

ZeroCAN: Anomaly-Based Zero-Day Attack Detection in Vehicular CAN Bus Networks 33

ZeroCAN: Anomaly-Based Zero-Day Attack Detection in Vehicula...

引用

33rd Euromicro international Conference on parallel, distributed, and Network-Based Processing, PDP 2025

作者： Rendel, Jonathan Balte, William Kurunathan, Harrison Ali, Hazem Ismail Roque, Alexandre Dos Santos Morais, Wagner Ourique De Fazeli, Mahdi Halmstad Sweden Polytechnic Institute of Porto CISTER/ISEP Portugal Federal University of Rio Grande do Sul - UFRGS Graduate Program of Electrical Engineering Porto Alegre Brazil

ISBN: (纸本)9798331524937

Zero-day attacks present a significant security threat to vehicular networks, exploiting vulnerabilities at both software and hardware levels within such systems that remain undiscovered. Mitigating these threats is essential to ensuring the safety and security of vehicular systems. Support Vector Machine (SVM) is a good candidate for anomaly detection of zero-day attacks within vehicular networks because it can handle highdimensional data and effectively distinguish between normal and abnormal patterns in complex and dynamic environments. A trained SVM on the normal operation data of in-vehicular network can identify flag deviations, thus making it effective in the detection of any previously unknown attack patterns, which is a common behaviour of zero-day attacks. In this paper, we introduce an anomaly detection method called "ZeroCAN"which models the behaviour of every single electronic control unit on the network with a separate SVM and a set of high-level features that capture the timing and data payload aspects of CANbus traffic. This approach achieves an anomaly detection rate of over 99% and a false positive rate below 0.01% during normal operation in most cases. © 2025 IEEE.

关键词： Anomaly detection CAN bus IDS Feature engineering Zero-day

来源：评论

学校读者我要写书评

暂无评论

An Approach for Extended Swarm Formation Flight with Drones: PROTEASE2.0 12th

An Approach for Extended Swarm Formation Flight with Drones:...

引用

12th international symposium on Leveraging Applications of Formal Methods, Verification and Validation

作者： Kosak, Oliver Kastenmueller, Philipp Wanninger, Constantin Reif, Wolfgang Inst Software & Syst Engn ISSE Augsburg Germany

ISBN: (纸本)9783031751066;9783031751073

Drone formation flights, as performed in the Intel Drone Shows, demonstrate the current state of technology fascinatingly. We revisit this idea using the paradigm of self-organization in the form of swarm behavior. Applying swarm behavior for formation flight promises high scalability, robustness, and flexibility. Swarm behavior allows for impressive patterns where centrally coordinated approaches might reach their limits. In this paper, we propose PROTEASE(2.0) as an approach for parametrizable swarm behavior of the next level. Like its predecessor, PROTEASE(2.0) enables us to use a single generalized implementation for producing emergent effects by only adjusting parameters for the swarm members. Further, we now facilitate novel formations previously unattainable. New formations include parallel swarms interacting with each other, single swarms using multiple reference points enabling surprising flight patterns, and hierarchical swarm structures extending the possibilities even further. Our focus in this paper lies in the experimental evaluation of these concepts in simulated environments. In combination with successful pre-evaluations concerning swarm behavior using real drones, we confidently look towards future experiments also applying PROTEASE(2.0) in the real world.

关键词： Swarms Drones Formation Flight Multi-Robot systems

来源：评论

学校读者我要写书评

暂无评论

Scheduling Tasks in the Cloud environment by using evolutionary optimization technique 5

Scheduling Tasks in the Cloud environment by using evolution...

引用

5th international Conference on Emerging systems and Intelligent Computing, ESIC 2025

作者： Mahapatra, Liza Rout, Minakhi Tripathy, Sarita Deemed to be University School of Computer Engineering Odisha Bhubaneswar India

ISBN: (纸本)9798331522100

Among the many software technologies around the world,there is no parallel to cloud computing(CC).Businesses use cloud computing for hosting *** cloud computing, tasks are distributed across a group of resources which when executed, help reduce time needed to finish them *** optimization refers to the process of minimizing the time needed to accomplish tasks. These group of tasks are present in a domain related to computers. In CC, the goal of this optimization is reducing the total time needed to execute the group of tasks when distributing and controlling virtual machines or resources. This paper aims to obtain optimization in scheduling tasks in CC by utilizing genetic *** methods whose basis are natural selection and genetics are called Genetic algorithms. They combine the idea of "survival of the fittest"in string-based representations with a mix of structured and random information exchange, forming a search approach that includes a level of human-like creativity..After the application of genetic algorithms to task scheduling problem, the minimum fitness per generation is seen in the graph after two generation of stability. © 2025 IEEE.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Optimizing Underwater Acoustic Survey Strategies with Autonomous Underwater Vehicles: A Simulation-Based Framework 21st

Optimizing Underwater Acoustic Survey Strategies with Autono...

引用

21st international symposium on distributed Computing and Artificial Intelligence, DCAI 2024

作者： Lagudi, Antonio Severino, Umberto Bruno, Fabio Department of Mechanical Energetic and Management Engineering University of Calabria Arcavacata di Rende87036 Italy

ISBN: (纸本)9783031809453

Ocean exploration and inspection missions involving underwater robotic systems have gained increasing popularity in various domains such as marine science, archaeology, and defense in recent years. However, deploying vessels and robotic solutions for such research activities entails significant costs for acquisition and maintenance. This is primarily due to the logistical challenges involved in transporting equipment between locations, which necessitates a substantial financial investment, in addition to expenses associated with crew and research personnel. Effective planning of survey campaigns is crucial to avoid costly missteps arising from poor organization. It ensures that expenditures are justified and that objectives are achieved without unnecessary setbacks or errors. In this context, the utilization of simulation methodologies adds invaluable value in mitigating costs and exploring various solutions before the mission is carried out in the real world. Their utility extends beyond the examination of specific sensors or setups;they are also a valuable tool for planning different campaigns with different mission objectives. In this paper, a simulation framework that integrates an Autonomous Underwater Vehicle with a Multibeam Echo Sounder as the perception sensor is presented. The objective is to streamline acoustic survey mission planning and generate synthetic acoustic image data incorporating the modeling of typical error sources, simplifying the evaluation of output data for real applications. This system can also be utilized as a software-in-the-loop system for testing and verification of control systems and algorithms. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Acoustic imaging

来源：评论

学校读者我要写书评

暂无评论

A Hardware-software Co-Design for Efficient Secure Containers 25

A Hardware-Software Co-Design for Efficient Secure Container...

引用

20th European Conference on Computer systems, EuroSys 2025, co-located 30th ACM international Conference on Architectural Support for Programming Languages and Operating systems, ASPLOS 2025

作者： Shi, Jiacheng Yu, Yang Gu, Jinyu Xia, Yubin Institute of Parallel and Distributed Systems SEIEE Shanghai Jiao Tong University Engineering Research Center for Domain-specific Operating Systems Ministry of Education China

ISBN: (纸本)9798400711961

VM-level containers provide strong isolation by running each container with its own kernel in a VM. However, they rely on virtualization hardware designed for general-purpose VMs, causing non-negligible performance overhead compared to OS-level containers. This performance gap widens dramatically in nested virtualization scenarios, where secure containers run inside a VM. This paper proposes CKI (Container Kernel Isolation), a hardware-software co-design for efficient secure containers, based on two insights. First, Protection Keys for Supervisor (PKS) facilitates constructing a new privilege level for securely collocating multiple container kernels within the host kernel, without involving non-root ring-0. Second, the general-purpose virtualization mechanisms used by secure containers provide unnecessary features that exceed the actual isolation requirements of containers, especially the two-stage address translation, which is not required for container isolation, introducing avoidable performance overhead. Thus, CKI avoids using the virtualization hardware for running container kernels and removes the unnecessary virtualization mechanism like two-stage address translation. Instead, it uses PKS to construct a new privilege level for isolating multiple container kernels, which allows more efficient cross-privilege interaction;it also uses single-stage address translation for each container while monitoring the page table updates in a lightweight way to ensure cross-container memory isolation. Our experiments on real-world applications demonstrate the efficiency of CKI, reducing the latency of memory-intensive applications by up to 72% and 47% compared with state-of-the-art hardware-assisted virtualization (HVM) and software-based virtualization (PVM), respectively. © 2025 Copyright held by the owner/author(s).

关键词： Virtualization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：