Mixed network calculus
نویسندگان
چکیده
We show how to combine higgsed topological vertices introduced in our previous work with conventional refined vertices. demonstrate that the extended formalism describes very general interacting D5-NS5-D3 brane systems. In particular, we introduce new types of intertwining operators Ding-Iohara-Miki algebra between different Fock representations corresponding crossings NS5 and D5 branes. As a byproduct obtain an algebraic description Hanany-Witten creation effect, give efficient recipe compute factors 3d N=2 N=4 quiver gauge theories S-duality appears setup.
منابع مشابه
Parametric Mixed Sequent Calculus
In this paper, we present a propositional sequent calculus containing disjoint copies of classical and intuitionistic logics. We prove a cut-elimination theorem and we establish a relation between this system and linear logic.
متن کاملOn Stochastic Network Calculus
This research is to develop a new form of stochastic network calculus for queuing system performance guarantees by making use of the Legendre transform at the sample-path level. A symmetrical formulation is resulted in through separate modeling of traffic flows and service capacities. Performance measures at single nodes and the service capacities of tandem systems are explicitly bounded at the...
متن کاملA Stochastic Network Calculus
The issue of Quality of Service (QoS) performance analysis in packet switched networks has drawn a lot of attention in the networking community in recent years. There is a lot of work including an elegant theory under the name of network calculus focusing on analysis of deterministic worst case QoS performance bounds. In the meantime, other researchers have studied the stochastic QoS performanc...
متن کاملNetwork Calculus Made Easy
We deene general concepts that extend, and simplify, the network calculus developed by Cruz 1, 2, 3] for guaranteed quality of service networks. We introduce a deenition of service curve, the extended service curve, which is the same for isolated queues and for networks of queues, and makes it possible to model nodes that otherwise do not t in the calculus of Cruz. We introduce two key technica...
متن کاملTowards Certifying Network Calculus
The Network Calculus (NC) [5] is an established theory for determining bounds on message delays and for dimensioning buffers in the design of networks for embedded systems. It is supported by academic and industrial tool sets and has been used, among many other applications, in the design and certification of the Airbus A380 AFDX backbone [1, 3, 4]. However, while the theory of NC is generally ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of High Energy Physics
سال: 2021
ISSN: ['1127-2236', '1126-6708', '1029-8479']
DOI: https://doi.org/10.1007/jhep12(2021)027