Computer image generation for flight simulators: the Gabor approach

A formalism for image representation in the combined frequency-position space is presented using the generalized Gabor approach. This approach uses elementary functions to which the human visual system is particularly sensitive and which are efficient for the analysis and synthesis of visual imagery. The formalism is also compatible with the implementation of a variable resolution system wherein image information is nonuniformly distributed across the visual field in accordance with the human visual system's ability to process it. When used with a gaze-slaved visual display system, imagery generated using the techniques described here affords a combination of high resolution and wide field-of-view. This combination is particularly important in high-fidelity, computergenerated, visual environments as required, for instance, in flight simulators.     

Querying Semistructured Heterogeneous Information

Semistructured data has no absolute schema fixed in advance and its structure may be irregular or incomplete. Such data commonly arises in sources that do not impose a rigid structure (such as the World-Wide Web) and when data is combined from several heterogeneous sources. Data models and query languages designed for well structured data are inappropriate in such environments. Starting with a lightweight object model adopted for the TSIMMIS project at Stanford, in this paper we describe a query language and object repository designed specifically for semistructured data. Our language provides meaningful query results in cases where conventional models and languages do not: when some data is absent, when data does not have regular structure, when similar concepts are represented using different types, when heterogeneous sets are present, and when object structure is not fully known. This paper motivates the key concepts behind our approach, describes the language through a series of examples (a complete semantics is available in an accompanying technical report [23]), and describes the basic architecture and query processing strategy of the lightweight object repository we have developed.     

On the expressiveness of probabilistic XML models

Various known models of probabilistic XML can be represented as instantiations of the abstract notion of p-documents. In addition to ordinary nodes, p-documents have distributional nodes that specify the possible worlds and their probabilistic distribution. Particular families of p-documents are determined by the types of distributional nodes that can be used as well as by the structural constraints on the placement of those nodes in a p-document. Some of the resulting families provide natural extensions and combinations of previously studied probabilistic XML models. The focus of the paper is on the expressive power of families of p-documents. In particular, two main issues are studied. The first is the ability to (efficiently) translate a given p-document of one family into another family. The second is closure under updates, namely, the ability to (efficiently) represent the result of updating the instances of a p-document of a given family as another p-document of that family. For both issues, we distinguish two variants corresponding to value-based and object-based semantics of p-documents.     

Query evaluation over probabilistic XML

Query evaluation over probabilistic XML is explored. The queries are twig patterns with projection, and the data is represented in terms of three models of probabilistic XML (that extend existing ones in the literature). The first model makes an assumption of independence among the probabilistic junctions, whereas the second model can encode probabilistic dependencies. The third model combines the first two and, hence, is the most general. An efficient algorithm (under data complexity) is given for query evaluation in the first model. In addition, various optimizations are proposed, and their effectiveness is shown both analytically and experimentally. For the other two models, it is shown that every query is either intractable or trivial. Nonetheless, efficient (additive and multiplicative) approximation algorithms are given for these two models. Finally, Boolean queries are enriched by allowing disjunctions and negations of branches. The above algorithm for the first model is extended to handle these queries. For the other two models, there is an efficient additive approximation, and a multiplicative one also exists if there is no negation; in addition, it is shown that if the query is non-monotonic, then no efficient multiplicative approximation exists unless NP = RP.     

A logic of reachable patterns in linked data-structures

We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The main feature of this logic is the ability to limit the neighborhood of a node that is reachable via a regular expression from a designated node. The logic is closed under boolean operations (entailment, negation) and has a finite model property. The key technical result is the proof of decidability.We show how to express preconditions, postconditions, and loop invariants for some interesting programs. It is also possible to express properties such as disjointness of data-structures, and low-level heap mutations. Moreover, our logic can express properties of arbitrary data-structures and of an arbitrary number of pointer fields. The latter provides a way to naturally specify postconditions that relate the fields on the entry of a procedure to the field on the exit of a procedure. Therefore, it is possible to use the logic to automatically prove partial correctness of programs performing low-level heap mutations.     

Applications and performance of high power lasers and in the battlefield

This paper reviews the status and applications of a defensive weapon based on high power lasers, in the battlefield. Laser weapon is a novel concept which utilizes high power laser beam to traverse the distance into incoming objects at a speed of light, and then, destroy or disable it. Various types of lasers and configurations will be discussed in this review including gas lasers, solid state lasers, fiber lasers and the free-electron laser. We will discuss various configurations such as airborne laser (ABL), diode pumped crystals and disk lasers as well as heat-capacity lasers. Recent applications of ultrafast solid state lasers for non-lethal or low collateral damage applications will be presented.     

Performance of diode-end-pumped Cr, Nd:YAG self-Q-switched and Nd:YAG/Cr:YAG diffusion bonded lasers

Self-passively Q-switching of a diode-pumped Cr,Nd:YAG, where the Cr⁴⁺ is used as a saturable absorber for the 1064 nm laser emission is reported. The maximum average output power was obtained using an output coupler of R=86%. The self-Q-switched diode pumped laser yielded 1.86-W average output power with low threshold pumping power (≈1.7-W), average slope efficiency of ≈34%, pulse duration of about 14–16 ns, and modulation frequency ranging from 2.4 to 73 kHz, depending on the input pumping power. These results are the highest reported for self-Q-switched lasers. Higher slope efficiency (42%) and shorter Q-switched pulses were obtained for a Q-switched Nd:YAG/Cr⁴⁺:YAG diffusion bonded laser. A comparison of the codoped Cr,Nd:YAG laser performance, with that of a diffusion bonded laser is reported and analyzed.