Graviton Propagators in Supergravity and Noncommutative Gauge Theory

We investigate the graviton propagator in the type IIB supergravity background which is dual to 4 dimensional noncommutative gauge theory. We assume that the boundary is located not at the infinity but at the noncommutative scale where the string frame metric exhibits the maximum. We argue that the Neumann boundary condition is the appropriate boundary condition to be adopted at the boundary. We find that the graviton propagator behaves just as that of the 4 dimensional massless graviton. On the other hand, the non-analytic behaviors of the other Kaluza-Klein modes are not significantly affected by the Neumann boundary condition.Comment: 19 page

Derivation of diagnostic models based on formalized process knowledge

© IFAC.Industrial systems are vulnerable to faults. Early and accurate detection and diagnosis in production systems can minimize down-time, increase the safety of the plant operation, and reduce manufacturing costs. Knowledge- and model-based approaches to automated fault detection and diagnosis have been demonstrated to be suitable for fault cause analysis within a broad range of industrial processes and research case studies. However, the implementation of these methods demands a complex and error-prone development phase, especially due to the extensive efforts required during the derivation of models and their respective validation. In an effort to reduce such modeling complexity, this paper presents a structured causal modeling approach to supporting the derivation of diagnostic models based on formalized process knowledge. The method described herein exploits the Formalized Process Description Guideline VDI/VDE 3682 to establish causal relations among key-process variables, develops an extension of the Signed Digraph model combined with the use of fuzzy set theory to allow more accurate causality descriptions, and proposes a representation of the resulting diagnostic model in CAEX/AutomationML targeting dynamic data access, portability, and seamless information exchange

On fuzzy-qualitative descriptions and entropy

This paper models the assessments of a group of experts when evaluating different magnitudes, features or objects by using linguistic descriptions. A new general representation of linguistic descriptions is provided by unifying ordinal and fuzzy perspectives. Fuzzy qualitative labels are proposed as a generalization of the concept of qualitative labels over a well-ordered set. A lattice structure is established in the set of fuzzy-qualitative labels to enable the introduction of fuzzy-qualitative descriptions as L-fuzzy sets. A theorem is given that characterizes finite fuzzy partitions using fuzzy-qualitative labels, the cores and supports of which are qualitative labels. This theorem leads to a mathematical justification for commonly-used fuzzy partitions of real intervals via trapezoidal fuzzy sets. The information of a fuzzy-qualitative label is defined using a measure of specificity, in order to introduce the entropy of fuzzy-qualitative descriptions. (C) 2016 Elsevier Inc. All rights reserved.Peer ReviewedPostprint (author's final draft

A reusable iterative optimization software library to solve combinatorial problems with approximate reasoning

Real world combinatorial optimization problems such as scheduling are typically too complex to solve with exact methods. Additionally, the problems often have to observe vaguely specified constraints of different importance, the available data may be uncertain, and compromises between antagonistic criteria may be necessary. We present a combination of approximate reasoning based constraints and iterative optimization based heuristics that help to model and solve such problems in a framework of C++ software libraries called StarFLIP++. While initially developed to schedule continuous caster units in steel plants, we present in this paper results from reusing the library components in a shift scheduling system for the workforce of an industrial production plant.Comment: 33 pages, 9 figures; for a project overview see http://www.dbai.tuwien.ac.at/proj/StarFLIP

YM on the dielectric brane: a D0-brane tale

In this letter we present a derivation, from the D0-brane picture, of the background monopole field and in general of the full dynamics of the Yang-Mills theory on the dielectric D2-brane of Myers. To do this we study the large N limit of the fuzzy sphere relevant to the dielectric solution. In contrast to the usual interpretation, where the commutative D2-brane picture arises directly from the large N limit of the D0-brane picture, we find that a residual non-commutativity must be preserved, in order to make the connection by means of the Seiberg-Witten map.Comment: 15 page

A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems

Formal methods are widely recognized as a powerful engineering method for the specification, simulation, development, and verification of distributed interactive systems. However, most formal methods rely on a two-valued logic, and are therefore limited to the axioms of that logic: a specification is valid or invalid, component behavior is realizable or not, safety properties hold or are violated, systems are available or unavailable. Especially when the problem domain entails uncertainty, impreciseness, and vagueness, the appliance of such methods becomes a challenging task. In order to overcome the limitations resulting from the strict modus operandi of formal methods, the main objective of this work is to relax the boolean notion of formal specifications by using fuzzy logic. The present approach is based on Focus theory, a model-based and strictly formal method for componentbased interactive systems. The contribution of this work is twofold: i) we introduce a specification technique based on fuzzy logic which can be used on top of Focus to develop formal specifications in a qualitative fashion; ii) we partially extend Focus theory to a fuzzy one which allows the specification of fuzzy components and fuzzy interactions. While the former provides a methodology for approximating I/O behaviors under imprecision, the latter enables to capture a more quantitative view of specification properties such as realizability.Comment: In Proceedings FESCA 2015, arXiv:1503.0437