An Interactive Design System of Free‐Formed Bamboo‐Copters

We present an interactive design system for designing free‐formed bamboo‐copters, where novices can easily design free‐formed, even asymmetric bamboo‐copters that successfully fly. The designed bamboo‐copters can be fabricated using digital fabrication equipment, such as a laser cutter. Our system provides two useful functions for facilitating this design activity. First, it visualizes a simulated flight trajectory of the current bamboo‐copter design, which is updated in real time during the user's editing. Second, it provides an optimization function that automatically tweaks the current bamboo‐copter design such that the spin quality—how stably it spins—and the flight quality—how high and long it flies—are enhanced. To enable these functions, we present non‐trivial extensions over existing techniques for designing free‐formed model airplanes [ UKSI14 ], including a wing discretization method tailored to free‐formed bamboo‐copters and an optimization scheme for achieving stable bamboo‐copters considering both spin and flight qualities.     

Linearized motion estimation for articulated planes

In this paper, we describe the explicit application of articulation constraints for estimating the motion of a system of articulated planes. We relate articulations to the relative homography between planes and show that these articulations translate into linearized equality constraints on a linear least-squares system, which can be solved efficiently using a Karush-Kuhn-Tucker system. The articulation constraints can be applied for both gradient-based and feature-based motion estimation algorithms and to illustrate this, we describe a gradient-based motion estimation algorithm for an affine camera and a feature-based motion estimation algorithm for a projective camera that explicitly enforces articulation constraints. We show that explicit application of articulation constraints leads to numerically stable estimates of motion. The simultaneous computation of motion estimates for all of the articulated planes in a scene allows us to handle scene areas where there is limited texture information and areas that leave the field of view. Our results demonstrate the wide applicability of the algorithm in a variety of challenging real-world cases such as human body tracking, motion estimation of rigid, piecewise planar scenes, and motion estimation of triangulated meshes.     

Translational lemmas for DLOGTIME-uniform circuits,alternating TMs,and PRAMs

We present translational lemmas for the three standard models of parallel computation, and apply them to obtain tight hierarchy results. It is shown that, for arbitrarily small rational constant , (i) there is a language which can be accepted by a -uniform circuit family of depth and size but not by any -uniform circuit family of depth and size , (ii) there is a language which can be accepted by a -time -space ATM with l worktapes but not by any -time -space ATM with the same l worktapes if the number of tape symbols is fixed, and (iii) there is a language which can be accepted by a -time PRAM with processors but not by any -time PRAM with processors. Here, c > 0, d ≥ 1, r ₁ > 1, and r ₂ ≥ 1 are arbitrary rational constants, and l ≥ 2 is an arbitrary integer. Preliminary versions of different parts of this paper appeared in Proc. MCU 2004 (LNCS 3354) and Proc. FCT 2005 (LNCS 3623).     

Hydroboration polymerization of dicyano compounds

Summary Hydroboration polymerization of various ,-dicyanoalkanes with thexylborane produced the corresponding poly(cyclodiborazane)s, that consist of boron-nitrogen four-membered rings. The structures of the obtained polymers were confirmed by spectroscopic analyses such as ¹H-, ¹¹B-NMR and IR spectra. From the result of thermogravimetric analysis of the polymer prepared from adiponitrile and thexylborane, 12% of the inorganic materials remained after heating at 900°C. *** DIRECT SUPPORT *** AEB03051 00003     

Logichart — Intelligible Program Diagram for Prolog and its Processing System

An intelligible program diagram called Logichart has been developed for Prolog visualization. Its syntax rules and layout rules are formalized in terms of an attribute graph grammar. This grammar is underlain by a context–free graph grammar whose productions are defined to formalize the graph–syntax rules of Logichart diagrams. Semantic rules attached to the productions are defined in such a way that they can extract the layout information needed to display a Logichart diagram as attributes. Our Prolog visualization system, which has been implemented based on the attribute graph grammar, can draw a Logichart diagram for any correct Prolog program (completeness), and any Logichart diagram displayed by the system is always valid for the grammar (soundness). The system can also display the execution of a Prolog program in real time; that is, the Logichart diagram is dynamically updated as the program runs.     

Acoustooptic 2-D profile shaping of a Gaussian laser beam

Acoustooptic 2-D profile shaping of a Gaussian laser beam has been achieved by two plane ultrasonic waves progressing in orthogonal directions. The spot size W of the Gaussian laser beam must be considerable less than the wavelength lambda of the ultrasonic wave at the acoustooptic interaction region. The ultrasonic cell is dealt with as a Raman-Nath 2-D phase grating but serves as a 2-D beam deflector in time for the interaction scheme of interest. The wave front of the Gaussian laser beam must be almost plane in the interaction region. The profile shaping condition is 0.15 < or = (W/lambda) < or = 0.30 only when the Raman-Nath parameter dependent on the ultrasonic power has values between v = 1.0 and 2.0.     

A high-resolution transmission electron microscope study of a zinc oxide varistor

Investigations were made of varistor microstructure, the morphology of Bi₂O₃ at multiple ZnO grain junctions, Bi₂O₃/ZnO grain boundaries and ZnO/ZnO grain boundaries (especially whether Bi₂O₃ is present or not at the ZnO/ZnO grain boundary) by means of high-resolution transmission electron microscopy and X-ray microanalysis in the scanning transmission electron microscope. Bi₂O₃ at multiple ZnO grain junctions consists of small particles of 0.1m in diameter, and they are vitrified to some extent. It is suggested that bismuth ions dissolve into ZnO grains over a 30 nm range from a Bi₂O₃/ZnO grain boundary; however, there is no bismuth at ZnO/ZnO grain boundaries.     

水力机械模型试验台的设计研究

扼要介绍在水力机械模型试验台建设中,对试验台的主管路系统、流量率定系统、扭矩测量系统等进行的研究。开发了闸板可抽取式强迫压紧特殊阀,杜绝了管路内漏现象的发生;引进了模型水轮机叶片角度联调机构,在保证叶片角度调整精度的同时又提高了工作效率;采取了保持试验水质清洁的相关措施,节约了宝贵的水资源。该试验台通过了由中国电机工程学会和中国水力发电工程学会组织的技术鉴定,达到国际先进水平。     

The recovery and recrystallization of cold rolled V-W-Ti alloys

Several V-W-Ti alloys with about 50% reduction in thickness by cold rolling were isochronally annealed at temperatures from 100 to 1100 °C. Hardness was measured after the annealing. By comparison with V4Cr4Ti and V4Ti alloys, the V6WTi alloy was found to begin recovery at a temperature about 100 °C higher, while the full recrystallization temperature was around 900 °C for all of the alloys. Hardness decreased successively above 500 °C in V8W, as is the case in pure V. Impurity induced hardening was observed around 300 °C only in the alloys without Ti. Precipitation and the interaction between interstitial impurities and dislocations were supposed to be the main contributors to the different recovery and recrystallization behaviors of the alloys.