The paper explores the computation of output reachable sets for Interval Neural networks (INNs) with ReLU activation functions. An INN is a generalization of a Neural network (NN), where the weights and biases are int...
ISBN:
(纸本)9798350301243
The paper explores the computation of output reachable sets for Interval Neural networks (INNs) with ReLU activation functions. An INN is a generalization of a Neural network (NN), where the weights and biases are intervals rather than numbers. We propose a novel algorithm for computing precise over-approximations of the output reachable sets for INNs by introducing a novel data structure called interval star set which is a generalized version of the star set. Specifically, when the INN is a traditional NN, our method reduces to the standard star-based verification of NNs. We present experimental results that demonstrate that our method outperforms the existing method based on mixed integer linear programming (MILP) for the problem of INN output reachable set computation.
One of the most critical problems in the field of string algorithms is the longest common subsequence problem (LCS). The problem is NP-hard for an arbitrary number of strings but can be solved in polynomial time for a...
详细信息
ISBN:
(纸本)9798350308600
One of the most critical problems in the field of string algorithms is the longest common subsequence problem (LCS). The problem is NP-hard for an arbitrary number of strings but can be solved in polynomial time for a fixed number of strings. In this paper, we select a typical parallel LCS algorithm and integrate it into our large-scale string analysis algorithm library to support different types of large string analysis. Specifically, we take advantage of the high-level parallel language, Chapel, to integrate Lu and Liu's parallel LCS algorithm into Arkouda, an open-source framework. Through Arkouda, data scientists can easily handle large string analytics on the back-end high-performance computing resources from the front-end Python interface. The Chapel-enabled parallel LCS algorithm can identify the longest common subsequences of two strings, and experimental results are given to show how the number of parallel resources and the length of input strings can affect the algorithm's performance.
In this research, RL is proposed as a solution towards achieving the dynamic optimization of 5G network throughput hindered by the complexity of Intersystems environments. To this extent, the optimization problem is f...
详细信息
The virtualization and containerization technologies have paved the way towards a flexible and fully programmable service provisioning chain over mobile telecommunication infrastructures. On top of those technologies ...
详细信息
ISBN:
(纸本)9781665476218
The virtualization and containerization technologies have paved the way towards a flexible and fully programmable service provisioning chain over mobile telecommunication infrastructures. On top of those technologies the network slicing concept has emerged;a concept that enables the installation and migration of service and network functions on a compute fabric that spans from the central cloud to distributed far-edge hosts. In this context, the efficient placement of service and network functions in the hosts of the continuum is an open and challenging problem. We formulate this problem as a scheduling process and we analyze its optimal performance through the integer linear programming toolkit. The study revealed interesting insights regarding the impact of sequence constraints (i.e., some functions should be allocated according to a specific order) and host-continuity constraints (i.e., some functions should be allocated in the same cloud host with others) to the overall efficiency of the scheduling.
Adaptive dynamic programming (ADP) is one of the main methods to solve the optimal control problem of nonlinear systems. Eligibility traces are utilized in recent years to reduce the computing burden of the value func...
ISBN:
(纸本)9798350301243
Adaptive dynamic programming (ADP) is one of the main methods to solve the optimal control problem of nonlinear systems. Eligibility traces are utilized in recent years to reduce the computing burden of the value function, but the existing fixed eligibility trace is difficult to ensure stable convergence especially when facing environmental changes and complex neural network structures. To solve the above issues, a novel off-policy algorithm, T-HDP(lambda) with Multiple Timescale Eligibility Traces (MET), is proposed. By utilizing MET, the new algorithm can adaptively accumulate gradients and include more gradient information, which guides the control faster in the optimal direction. T-step Truncated lambda-returns are utilized to solve the infinite-horizon optimal control problems, and a new importance sampling ratio is designed to correct the value function. Furthermore, the convergence and boundedness of the algorithm are proved. Based on the actor-critic network architecture, the optimal value function and policy are well approximated. Finally, compared with the original algorithm by a simulation example, the proposed algorithm has a faster convergence speed and lower variance.
One of the most recent technologies for VLSI design study is network-on-Chip (NoC), an intriguing concept. network metrics rather than the system's physical specifications determine the efficiency of a network-on-...
详细信息
With the rapid expansion of the space industry, there has been a strong push to develop simple, reusable, and easy to deploy satellite system architecture solutions. The space industry may have assumed that the comple...
详细信息
ISBN:
(纸本)9781665485340
With the rapid expansion of the space industry, there has been a strong push to develop simple, reusable, and easy to deploy satellite system architecture solutions. The space industry may have assumed that the complexity of their systems of systems would make the vulnerability discovery process too difficult for attackers. However, focused research into the design of modern Software-Bus (SB) dependent satellite systems has the ability to reveal numerous vulnerabilities in deployed space system architectures. In particular, our in-depth analysis of NASA's open source core Flight System (cFS) resulted not only in the discovery of various novel vulnerabilities, but also the implementation of several straight-forward, practical exploits. Due to the lack of authentication required to execute commands via the SB as well as the inability to recover from an attack in a robust manner, cFS is vulnerable to a number of attacks through the SB entry point. This paper presents four exploit demonstrations on the unsecured cFS bus architecture, and then provides recommendations on how to secure against these attacks and make a modern satellite system architecture more robust.
The Software-Defined networking (SDN) paradigm relies on decoupling the control and data planes, and logically centralizing SDN control to enable direct networkprogramming via open interfaces. New abstractions are th...
详细信息
ISBN:
(纸本)9781665406949
The Software-Defined networking (SDN) paradigm relies on decoupling the control and data planes, and logically centralizing SDN control to enable direct networkprogramming via open interfaces. New abstractions are thus needed in a bid to rethink the traditional networking approach and create new opportunities for management and automation. We demonstrate the GOX controller, proposing a novel graph abstraction of the network topology in real time using the scalable Neo4j graph database. Our proof-of-concept was evaluated for a forwarding application designed for GOX. Compared to POX's model, GOX shows better performance and scalability on synthetic topologies and real-world topologies from the Internet Topology Zoo.
network-on-Chips (NoCs) have demonstrated be a favorable alternative to conventional bus-based communication architectures for interconnecting programming elements (PEs). However, NoCs consist of numerous shared resou...
详细信息
open Radio Access network (O-RAN) is a novel architecture aiming to disaggregate the network components to reduce capital and operational costs and open the interfaces to ensure interoperability. In this work, we cons...
详细信息
ISBN:
(数字)9781665486279
ISBN:
(纸本)9781665486279
open Radio Access network (O-RAN) is a novel architecture aiming to disaggregate the network components to reduce capital and operational costs and open the interfaces to ensure interoperability. In this work, we consider the problem of allocating computing resources to process the data of enhanced Mobile BroadBand (eMBB) users and Ultra-Reliable Low-Latency (URLLC) Users. Supposing the processing of users' frames from different base stations is done in a shared O-Cloud, we model the computing resources allocation problem as an Integer Linear programming (ILP) problem that aims at fairly allocating computing resources to eMBB and URLLC users and optimizing the QoS of URLLC users without neglecting eMBB users. Due to the high complexity of solving an ILP problem, we model the problem using Reinforcement Learning (RL). Our results demonstrate the ability of our RL-based solution to perform close to the ILP solver while having much lower computational complexity. For a different number of open Radio Units (O-RUs), the objective value of the RL agent does not deviate from the ILP objective by more than 6%.
暂无评论