Exploiting Algebraic Structure in Sum of Squares Programs

2005 ◽  
pp. 181-194 ◽  
Author(s):  
Pablo A. Parrilo
Keyword(s):  
Algebraic Structure ◽  
Sum Of Squares

PEMODELAN MATEMATIS ADSORPSI CO2 DENGAN STRONG BASE ANION EXCHANGE RESIN SEBAGAI ADSORBEN UNTUK PURIFIKASI BIOGAS

2015 ◽  
Vol 5 (1) ◽  
pp. 11
Author(s):  
Anies Mutiari ◽  
Wiratni Wiratni ◽  
Aswati Mindaryani
Keyword(s):  
Anion Exchange ◽  
Pilot Plant ◽  
Exchange Resin ◽  
Anion Exchange Resin ◽  
Scale Up ◽  
Sum Of Squares ◽  
Strong Base ◽  
Model Transfer ◽  
Plant Parameter

Pemurnian biogas telah banyak dilakukan untuk menghilangkan kadar CO2  dan meningkatkan kandungan CH4  yang terkandung di dalamnya. Kandungan CH4 yang tinggi akan memberikan unjuk kerja yang lebih baik. Model  matematis proses adsorpsi CO2 disusun berdasarkan teori lapisan film antar fasa, dimana pada proses yang ditinjau terdapat tiga fase yaitu gas, cair dan padat. Model matematis dari data eksperimental   kecepatan dan kesetimbangan proses adsorpsi CO2 melalui mekanisme pertukaran ion di suatu kolom adsorpsi telah dibuat. Model ini dibuat untuk mencari konstanta yang dapat dipergunakan pada proses scale up data laboratorium ke skala pilot plant. Parameter proses kecepatan yang dicari nilainya adalah koefisien transfer massa massa volumetris CO2 pada fase cair (kLa), koefisien transfer massa volumetris CO2 pada fasegas (kGa) dan tetapan laju reaksi (k1 dan k2). Pada hasil penelitian ini ditunjukkan bahwa nilai parameter yang diperoleh sesuai hasil fitting data dengan model matematis yang digunakan, yaitu model transfer massa pada lapisan film antar fase secara seri: adalah kGa, kla, k1 dan k2  dengan nilai Sum of Squares Error (SSE) rata-rata 0,0431. Perbandingan nilai kGa hasil simulasi dan teoritisnya memberikan kesalahan rata-rata 18,79%. Perbandingan nilai kLa hasil simulasi dan teoritis memberikan kesalahan rata-rata 7,92%.Kata kunci: model matematis, adsorpsi CO2, pemurnian biogas

scholarly journals Gauged double field theory as an L∞ algebra

2021 ◽  
Vol 2021 (6) ◽  
Author(s):  
Eric Lescano ◽  
Martín Mayo
Keyword(s):  
Field Theory ◽  
Algebraic Structure ◽  
Classical Field ◽  
Field Theories ◽  
Lie Derivative ◽  
Linear Perturbation ◽  
Double Field Theory ◽  
Generalized Frame ◽  
Symmetry Transformations ◽  
Classical Field Theories

Abstract L∞ algebras describe the underlying algebraic structure of many consistent classical field theories. In this work we analyze the algebraic structure of Gauged Double Field Theory in the generalized flux formalism. The symmetry transformations consist of a generalized deformed Lie derivative and double Lorentz transformations. We obtain all the non-trivial products in a closed form considering a generalized Kerr-Schild ansatz for the generalized frame and we include a linear perturbation for the generalized dilaton. The off-shell structure can be cast in an L3 algebra and when one considers dynamics the former is exactly promoted to an L4 algebra. The present computations show the fully algebraic structure of the fundamental charged heterotic string and the $$ {L}_3^{\mathrm{gauge}} $$ L 3 gauge structure of (Bosonic) Enhanced Double Field Theory.

scholarly journals Polymorphic Iterable Sequential Effect Systems

2021 ◽  
Vol 43 (1) ◽  
pp. 1-79
Author(s):  
Colin S. Gordon
Keyword(s):  
Algebraic Structure ◽  
Position Effect ◽  
Type Systems ◽  
Sequential Effect ◽  
Prior Work ◽  
Sequential Effects ◽  
Wide Range ◽  
The Relationship ◽  
Categorical Semantics

Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden. But our general understanding of effect systems is limited primarily to systems where the order of effects is irrelevant. Understanding such systems in terms of a semilattice of effects grounds understanding of the essential issues and provides guidance when designing new effect systems. By contrast, sequential effect systems—where the order of effects is important—lack an established algebraic structure on effects. We present an abstract polymorphic effect system parameterized by an effect quantale—an algebraic structure with well-defined properties that can model the effects of a range of existing sequential effect systems. We define effect quantales, derive useful properties, and show how they cleanly model a variety of known sequential effect systems. We show that for most effect quantales, there is an induced notion of iterating a sequential effect; that for systems we consider the derived iteration agrees with the manually designed iteration operators in prior work; and that this induced notion of iteration is as precise as possible when defined. We also position effect quantales with respect to work on categorical semantics for sequential effect systems, clarifying the distinctions between these systems and our own in the course of giving a thorough survey of these frameworks. Our derived iteration construct should generalize to these semantic structures, addressing limitations of that work. Finally, we consider the relationship between sequential effects and Kleene Algebras, where the latter may be used as instances of the former.

scholarly journals On cryptographic properties of (n + 1)-bit S-boxes constructed by known n-bit S-boxes

2020 ◽  
Vol 15 (1) ◽  
pp. 258-265
Author(s):  
Yu Zhou ◽  
Daoguang Mu ◽  
Xinfeng Dong
Keyword(s):  
Sufficient Conditions ◽  
Sum Of Squares ◽  
Basic Component ◽  
Necessary And Sufficient Conditions ◽  
Autocorrelation Functions ◽  
Walsh Spectrum ◽  
Cryptographic Algorithms ◽  
Necessary And Sufficient ◽  
Relationship Of

AbstractS-box is the basic component of symmetric cryptographic algorithms, and its cryptographic properties play a key role in security of the algorithms. In this paper we give the distributions of Walsh spectrum and the distributions of autocorrelation functions for (n + 1)-bit S-boxes in [12]. We obtain the nonlinearity of (n + 1)-bit S-boxes, and one necessary and sufficient conditions of (n + 1)-bit S-boxes satisfying m-order resilient. Meanwhile, we also give one characterization of (n + 1)-bit S-boxes satisfying t-order propagation criterion. Finally, we give one relationship of the sum-of-squares indicators between an n-bit S-box S0 and the (n + 1)-bit S-box S (which is constructed by S0).

scholarly journals Two semigroups of continuous relations

1977 ◽  
Vol 23 (1) ◽  
pp. 46-58 ◽  
Author(s):  
A. R. Bednarek ◽  
Eugene M. Norris
Keyword(s):  
Large Class ◽  
Algebraic Structure ◽  
Topological Spaces ◽  
Hausdorff Spaces ◽  
Completely Regular ◽  
Topological Semigroups ◽  
Stone Type

SynopsisIn this paper we define two semigroups of continuous relations on topological spaces and determine a large class of spaces for which Banach-Stone type theorems hold, i.e. spaces for which isomorphism of the semigroups implies homeomorphism of the spaces. This class includes all 0-dimensional Hausdorff spaces and all those completely regular Hausdorff spaces which contain an arc; indeed all of K. D. Magill's S*-spaces are included. Some of the algebraic structure of the semigroup of all continuous relations is elucidated and a method for producing examples of topological semigroups of relations is discussed.

scholarly journals Equipping weak equivalences with algebraic structure

2019 ◽  
Vol 294 (3-4) ◽  
pp. 995-1019 ◽  
Author(s):  
John Bourke
Keyword(s):  
Algebraic Structure

Semidefinite Characterization of Sum-of-Squares Cones in Algebras

2013 ◽  
Vol 23 (3) ◽  
pp. 1398-1423 ◽  
Author(s):  
Dávid Papp ◽  
Farid Alizadeh
Keyword(s):  
Sum Of Squares
Sign in / Sign up

Export Citation Format

Share Document