Over the last decade, rapid prototyping (RP) technologies have continued to advance in all aspects of operation and application. From continuously advanced materials and processes development to more hard-core manufacturing uses, the RP realm has stretched considerably past its original expectations as a prototyping capability. This paper discusses the unique applications for which NASA has cho...

To support the rapid development of pen-based structured diagram editors, we propose a framework for describing such editors. The framework uses grammar to describe the context, i.e., the positional relationship between handwritten strokes and other objects, which can be used to interpret ambiguous results of pattern matching, and to describe the syntax of the target diagrams. We implemented th...

Recent efforts to reinvigorate the connections between urban planning and health have usefully brought the field back to one of its original roles. Current research, however, has focused on industrialized cities, overlooking some of the important urbanization processes in poor countries. This paper describes an emerging ‘health transition’ and the importance of socio-ecological approaches to un...

We present a hardware-software cosimulation environment for heterogeneous systems. To be an efficient system verification environment for the rapid prototyping of heterogeneous systems, the environment provides following features: interface transparency, smooth transition to cosynthesis, simulation acceleration, and integrated user interface and internal representation. Among them, the first tw...

A new approach to the refixturing-free sculpturing of large, arbitrarily complex shapes has been developed. Based on an enhanced accessibility analysis of the target shape, a reduced set of candidate machining orientations is determined. Then, machining takes place at very close distance between the tooling machinery and the part, thus achieving effective material removal in complex regions. Mi...

Paper presents research results of the parts accuracy after manufacturing with used Rapid Prototyping technology in context of the possible use of multi-directional layers disposition. Errors of the model by production were analyzed in two categories: external and internal model errors. External errors of models production include: conversion error, staircase error and error of slicing into lay...

The RR Page charges for the D(2p+1)-branes with B-field in type IIB supergravity are constructed consistently from brane source currents. The resulting Page charges are B-independent in nontrivial and intricate way. It is found that in topologically trivial B-field the Page charge is conserved, but in the topologically nontrivial B-field it is no longer to be conserved, instead there is a jump ...

I discuss some aspects of the moduli space of hyper-Kähler four-fold compactifications of type II and Mtheories. The dimension of the moduli space of these theories is strictly bounded from above. As an example I study Hilb(K3) and the generalized Kummer variety K(T ). In both cases RR-flux (or G-flux in M-theory) must be turned on, and we show that they give rise to vacua with N = 2 supersymme...