Search results for " Mach"
showing 10 items of 1388 documents
The monadic quantifier alternation hierarchy over grids and pictures
1998
The subject of this paper is the expressive power of monadic second-order logic over two-dimensional grids. We give a new, self-contained game-theoretical proof of the nonexpressibility results of Matz and Thomas. As we show, this implies the strictness of the monadic second-order quantifier alternation hierarchy over grids.
Uncountable classical and quantum complexity classes
2018
It is known that poly-time constant-space quantum Turing machines (QTMs) and logarithmic-space probabilistic Turing machines (PTMs) recognize uncountably many languages with bounded error (A.C. Cem Say and A. Yakaryılmaz, Magic coins are useful for small-space quantum machines. Quant. Inf. Comput. 17 (2017) 1027–1043). In this paper, we investigate more restricted cases for both models to recognize uncountably many languages with bounded error. We show that double logarithmic space is enough for PTMs on unary languages in sweeping reading mode or logarithmic space for one-way head. On unary languages, for quantum models, we obtain middle logarithmic space for counter machines. For binary la…
Infiniviz: Taking Quake 3 Arena on a Large-Scale Display System to the Next Level
2018
The authors of this paper have previously presented a large-scale display system called Infiniviz in other publications. Infiniviz attempts to improve network bandwidth consumption and computational performance compared to other existing large-scale display systems. Since the previous publications have been made in early development stages of Infiniviz, only the overview of the software architecture and details of hardware implementation have been presented so far. This paper contains a real-life test of Infiniviz running Quake 3 Arena at a resolution of 9600 x 5400 at 24 fps. Also, in this paper, the authors have tried to match their results to what has been published by other researchers …
Distributed Learning Automata-based S-learning scheme for classification
2019
This paper proposes a novel classifier based on the theory of Learning Automata (LA), reckoned to as PolyLA. The essence of our scheme is to search for a separator in the feature space by imposing an LA-based random walk in a grid system. To each node in the grid, we attach an LA whose actions are the choices of the edges forming a separator. The walk is self-enclosing, and a new random walk is started whenever the walker returns to the starting node forming a closed classification path yielding a many-edged polygon. In our approach, the different LA attached to the different nodes search for a polygon that best encircles and separates each class. Based on the obtained polygons, we perform …
The differences between distributed shared memory caching and proxy caching
2000
The authors discuss the similarities in caching between the extensively studied distributed shared memory systems and the emerging proxy systems. They believe that several of the techniques used in distributed shared memory systems can be adapted and applied to proxy systems.
On the finite element simulation of thermal phenomena in machining processes
2007
Machining processes are frequently investigated by numerical simulations. Usually 2D analyses are carried out in order to reduce CPU times, considering orthogonal cutting conditions. In this way, the computational time sharply reduces and many process variables may be calculated (i.e. forces, chip morphology, shear angle, contact length). On the other hand, the analysis of thermal aspects involved in machining, for instance the temperature distribution reached in tool, still represents an open problem. Finite element codes are able to simulate a very short process time that is not sufficient to reach steady state conditions. Several approaches have been proposed to overcome this problem: in…
A general procedure for the construction of Gorges polygons for multi-phase windings of electrical machines
2018
This paper presents a simple and effective procedure for the determination of the Gorges polygon, suitable for all possible winding configurations in electrical machines. This methodology takes into account the determination of a Winding Distribution Table (WDT), in which all the information about the distribution of the currents along the stator periphery is computed and from which the Görges polygon are easily derived. The proposed method can be applied to both symmetrical and asymmetrical multi-phase windings, including concentrated, fractional, reduced and dead-coil ones. The examples provided in this paper demonstrate the versatility of the proposed method.
MAC-Engine
2011
In this demo, we prove that the flexibility supported by off-the-shelf IEEE 802.11 hardware can be significantly extended if we move the control of the MAC programming interface from the driver to the firmware, i.e. from the host CPU to the card CPU. To this purpose, we introduce the concept of MAC--Engine, that is an executor of Programmable Finite State Machines (PFSM) implemented at the firmware level: we show how the card itself can support different protocol logics thanks to PFSM bytecode representations that can be dynamically injected inside the card memory at run-time without incurring in down time issues or network disconnect events. We provide different PFSM examples in order to t…
Learning about Dynamic Problems with Computer Simulators: A Case of System Dynamics Simulation Models
2008
A vast body of research shows that people by and large fail to understand and manage dynamic environments. Given the increasing complexity of our world, there is an urgent need to develop more effective ways to present dynamic problems. Many studies propose computer simulators as virtual learning environments to help people understand and manage complex problems. Still, experimental data show that simulators often carry problems from reality into the virtual laboratory. An analysis from the perspective of cognitive load theory suggests that learning about complex problems could be improved by enhancing descriptions with simulation elements that would facilitate interactive exploration of th…