Detecting non-displaceable toric fibers on compact toric manifolds via tropicalizations

We provide a combinatorial way to locate non-displaceable Lagrangian toric fibers on any compact toric manifold. By taking the intersection of certain tropicalizations coming from its moment polytope, one can detect all Lagrangian toric fibers having non-vanishing Floer cohomology ([15, 16]). The intersection completely characterizes all non-displaceable toric fibers in some cases including pseudo symmetric smooth Fano varieties ([13])

Close-range, noncontact distance measurement by controlled image irradiance

Dimensional measurement or check is a major part of the inspection and quality control in manufacturing. Most of the measurement applications are based on contact methods. While a number of non-contact methods are available, they are limited in accuracy, in flexibility, or in the range of application areas. An optical, close-range, non-contact distance measurement method has been developed for manufacturing and other applications. Based on a simple imaging principle, the method derives the distance information from the power response of a small axial image area, the irradiance of which is controlled by an active controlled illumination of the corresponding object area. The proposed method uses a low power laser beam for the illumination and can be used on both diffusive and reflective surfaces. The proposed sysem configuration and development is discussed with the requirements of the application environments. Based on the proposed system, the controlled illumination using a laser beam and the theoretical responses from diffusive and reflective surfaces are analyzed. The results are compared with the empirical data obtained from an experimental system

I/O Schedulers for Proportionality and Stability on Flash-Based SSDs in Multi-Tenant Environments

The use of flash based Solid State Drives (SSDs) has expanded rapidly into the cloud computing environment. In cloud computing, ensuring the service level objective (SLO) of each server is the major criterion in designing a system. In particular, eliminating performance interference among virtual machines (VMs) on shared storage is a key challenge. However, studies on SSD performance to guarantee SLO in such environments are limited. In this paper, we present analysis of I/O behavior for a shared SSD as storage in terms of proportionality and stability. We show that performance SLOs of SSD based storage systems being shared by VMs or tasks are not satisfactory. We present and analyze the reasons behind the unexpected behavior through examining the components of SSDs such as channels, DRAM buffer, and Native Command Queuing (NCQ). We introduce two novel SSD-aware host level I/O schedulers on Linux, called A & x002B;CFQ and H & x002B;BFQ, based on our analysis and findings. Through experiments on Linux, we analyze I/O proportionality and stability in multi-tenant environments. In addition, through experiments using real workloads, we analyze the performance interference between workloads on a shared SSD. We then show that the proposed I/O schedulers almost eliminate the interference effect seen in CFQ and BFQ, while still providing I/O proportionality and stability for various I/O weighted scenarios

Kirchhoff's Circuit Law Applications to Graph Simplification in Search Problems

This paper proposes a new analysis of graph using the concept of electric potential, and also proposes a graph simplification method based on this analysis. Suppose that each node in the weighted-graph has its respective potential value. Furthermore, suppose that the start and terminal nodes in graphs have maximum and zero potentials, respectively. When we let the level of each node be defined as the minimum number of edges/hops from the start node to the node, the proper potential of each level can be estimated based on geometric proportionality relationship. Based on the estimated potential for each level, we can re-design the graph for path-finding problems to be the electrical circuits, thus Kirchhoff's Circuit Law can be directed applicable for simplifying the graph for path-finding problems

A non-perturbative field theory approach for the Kondo effect: Emergence of an extra dimension and its implication for the holographic duality conjecture

Implementing Wilsonian renormalization group transformations in an iterative way, we develop a non-perturbative field theoretical framework, which takes into account all-loop quantum corrections organized in the $1/N$ expansion, where $N$ represents the flavor number of quantum fields. The resulting classical field theory is given by an effective Landau-Ginzburg theory for a local order parameter field, which appears in one-dimensional higher spacetime. We claim that such all-loop quantum corrections are introduced into an equation of motion for the order parameter field through the evolution in the emergent extra dimension. Based on this non-perturbative theoretical framework, we solve the Kondo effect, where the quantum mechanics problem in the projective formulation is mapped into a Landau-Ginzburg field theory for the hybridization order parameter field with an emergent extra dimension. We confirm the non-perturbative nature of this field theoretical framework. Intriguingly, we show that the Wilsonian renormalization group method can explain non-perturbative thermodynamic properties of an impurity consistent with the Bethe ansatz solutions. Finally, we speculate how our non-perturbative field theoretical framework can be connected with the AdS$_{d+2}$/CFT$_{d+1}$ duality conjecture.Comment: Completely rewritte

Development of an MRM Federation System Using COTS Simulations

The goal of this research is to build an experimental environment for the Simulation Interoperability Laboratory (SIL) of the University of Central Florida (UCF). The Simulation Interoperability Laboratory (SIL) is researching about multi-resolution modeling(MRM), with a focus on military field uses. This thesis proposes steps to develop an MRM federation system and build two different MRM systems using COTS simulations (SIMBox, VR-Forces, and MASA Sword). This report is written to provide the basis for a time-based MRM federation study in the Simulation Interoperability Laboratory. The report describes many definitions and notions related to Multi-Resolution Modeling(MRM) and discusses examples to make better understanding for further research. MRM is relatively new research, and there are high demands for integrating simulators running in military field purposes. Most military-related research is based on simulators currently being used in the military; this poses a problem for research because the data is classified, resulting in many limitations for outside researchers to see the military\u27s process for building an MRM system or the results of the research. Therefore, development of the MRM federation using COTS simulations can provide many examples of MRM issues for future research