scholarly journals An Imperative Type Hierarchy with Partial Products

1988 ◽  
Vol 17 (271) ◽  
Author(s):  
Erik Meineche Schmidt ◽  
Michael I. Schwartzbach
Keyword(s):  
Upper Bounds ◽  
Partial Product ◽  
Inconsistent System ◽  
Type Constructor ◽  
New Type ◽  
Type Hierarchy ◽  
Imperative Language

A <em>type hierarchy</em> for an imperative language defines an ordering on the types such that any application for small types may be reused for all larger types. The imperative facet makes this non-trivial; the straight-forward definitions will yield an inconsistent system. We introduce a new type constructor, the <em>partial product</em>, and show how to define a <em>consistent</em> hierarchy in the context of <em>fully recursive</em> types. A simple <em>polymorphism</em> is derived. By extending the types to include <em>stuctural invariants</em> we obtain a particularly appropriate notation for defining recursive types, that is superior to traditional type sums and products. We show how the ordering on types <em>extends</em> to an ordering on types with invariants. We allow the use of <em>least upper bounds</em> in type definitions and show how to resolve type equations involving these, and how to compute upper bounds of invariants.

Sorting permutations by fragmentation-weighted operations

2020 ◽  
Vol 18 (02) ◽  
pp. 2050006 ◽  
Author(s):  
Alexsandro Oliveira Alexandrino ◽  
Carla Negri Lintzmayer ◽  
Zanoni Dias
Keyword(s):  
Approximation Algorithms ◽  
Computational Biology ◽  
Cost Function ◽  
Traditional Approach ◽  
Upper Bounds ◽  
Evolutionary Distance ◽  
Lower And Upper Bounds ◽  
Approximation Factor ◽  
New Type ◽  
The Cost

One of the main problems in Computational Biology is to find the evolutionary distance among species. In most approaches, such distance only involves rearrangements, which are mutations that alter large pieces of the species’ genome. When we represent genomes as permutations, the problem of transforming one genome into another is equivalent to the problem of Sorting Permutations by Rearrangement Operations. The traditional approach is to consider that any rearrangement has the same probability to happen, and so, the goal is to find a minimum sequence of operations which sorts the permutation. However, studies have shown that some rearrangements are more likely to happen than others, and so a weighted approach is more realistic. In a weighted approach, the goal is to find a sequence which sorts the permutations, such that the cost of that sequence is minimum. This work introduces a new type of cost function, which is related to the amount of fragmentation caused by a rearrangement. We present some results about the lower and upper bounds for the fragmentation-weighted problems and the relation between the unweighted and the fragmentation-weighted approach. Our main results are 2-approximation algorithms for five versions of this problem involving reversals and transpositions. We also give bounds for the diameters concerning these problems and provide an improved approximation factor for simple permutations considering transpositions.

scholarly journals The Bi-Integrable Couplings of Two-Component Casimir-Qiao-Liu Type Hierarchy and Their Hamiltonian Structures

2016 ◽  
Vol 2016 ◽  
pp. 1-13
Author(s):  
Juhui Zhang ◽  
Yuqin Yao
Keyword(s):  
Spectral Problem ◽  
Lie Algebra ◽  
Lie Algebras ◽  
Type Equation ◽  
Block Matrix ◽  
Hamiltonian Structures ◽  
Two Component ◽  
Integrable Couplings ◽  
New Type ◽  
Type Hierarchy

A new type of two-component Casimir-Qiao-Liu type hierarchy (2-CQLTH) is produced from a new spectral problem and their bi-Hamiltonian structures are constructed. Particularly, a new completely integrable two-component Casimir-Qiao-Liu type equation (2-CQLTE) is presented. Furthermore, based on the semidirect sums of matrix Lie algebras consisting of3×3block matrix Lie algebra, the bi-integrable couplings of the 2-CQLTH are constructed and their bi-Hamiltonian structures are furnished.

The Microstructure of Shock-Synthesized Diamond

1967 ◽  
Vol 25 ◽  
pp. 324-325
Author(s):  
Lucien F. Trueb
Keyword(s):  
Single Crystals ◽  
Preferred Orientation ◽  
High Magnification ◽  
Texture Pattern ◽  
Shock Process ◽  
New Type ◽  
Diffraction Diagram

A new type of synthetic industrial diamond formed by an explosive shock process has been recently developed by the Du Pont Company. This material consists of a mixture of two basically different forms, as shown in Figure 1: relatively flat and compact aggregates of acicular crystallites, and single crystals in the form of irregular polyhedra with straight edges.Figure 2 is a high magnification micrograph typical for the fibrous aggregates; it shows that they are composed of bundles of crystallites 0.05-0.3 μ long and 0.02 μ. wide. The selected area diffraction diagram (insert in Figure 2) consists of a weak polycrystalline ring pattern and a strong texture pattern with arc reflections. The latter results from crystals having preferred orientation, which shows that in a given particle most fibrils have a similar orientation.

New type electron gun with electrostatic and electromagnetic lenses

1978 ◽  
Vol 36 (1) ◽  
pp. 62-63
Author(s):  
T. Ichinokawa ◽  
H. Maeda
Keyword(s):  
Electron Microscopy ◽  
Electron Beam ◽  
Optimum Condition ◽  
Bias Voltage ◽  
Electron Gun ◽  
Charge Effect ◽  
Micro Fabrication ◽  
Maximum Brightness ◽  
New Type ◽  
The Ideal

I. IntroductionThermionic electron gun with the Wehnelt grid is popularly used in the electron microscopy and electron beam micro-fabrication. It is well known that this gun could get the ideal brightness caluculated from the Lengumier and Richardson equations under the optimum condition. However, the design and ajustment to the optimum condition is not so easy. The gun has following properties with respect to the Wehnelt bias; (1) The maximum brightness is got only in the optimum bias. (2) In the larger bias than the optimum, the brightness decreases with increasing the bias voltage on account of the space charge effect. (3) In the smaller bias than the optimum, the brightness decreases with bias voltage on account of spreading of the cross over spot due to the aberrations of the electrostatic immersion lens.In the present experiment, a new type electron gun with the electrostatic and electromagnetic lens is designed, and its properties are examined experimentally.

A new type of defect structure in 124-superconducting oxide revealed by HREM

1991 ◽  
Vol 49 ◽  
pp. 1092-1093
Author(s):  
R. Sharma ◽  
B.L. Ramakrishna ◽  
N.N. Thadhani ◽  
D. Hianes ◽  
Z. Iqbal
Keyword(s):  
Shock Wave ◽  
Defect Structure ◽  
Neutron Radiation ◽  
Weak Links ◽  
Defect Structures ◽  
New Materials ◽  
New Type ◽  
Current Densities ◽  
Processing Techniques ◽  
Microstructural Studies

After materials with superconducting temperatures higher than liquid nitrogen have been prepared, more emphasis has been on increasing the current densities (Jc) of high Tc superconductors than finding new materials with higher transition temperatures. Different processing techniques i.e thin films, shock wave processing, neutron radiation etc. have been applied in order to increase Jc. Microstructural studies of compounds thus prepared have shown either a decrease in gram boundaries that act as weak-links or increase in defect structure that act as flux-pinning centers. We have studied shock wave synthesized Tl-Ba-Cu-O and shock wave processed Y-123 superconductors with somewhat different properties compared to those prepared by solid-state reaction. Here we report the defect structures observed in the shock-processed Y-124 superconductors.

ESEM - A multipurpose surface Electron Microscope

1986 ◽  
Vol 44 ◽  
pp. 632-633 ◽  
Author(s):  
G.D. Danilatos
Keyword(s):  
Electron Microscope ◽  
Room Temperature ◽  
Environmental Scanning ◽  
Gas Composition ◽  
Saturated Water Vapor ◽  
Surface Electron ◽  
Current State ◽  
Saturated Water ◽  
New Type ◽  
Temperature And Pressure

Over recent years a new type of electron microscope - the environmental scanning electron microscope (ESEM) - has been developed for the examination of specimen surfaces in the presence of gases. A detailed series of reports on the system has appeared elsewhere. A review summary of the current state and potential of the system is presented here.The gas composition, temperature and pressure can be varied in the specimen chamber of the ESEM. With air, the pressure can be up to one atmosphere (about 1000 mbar). Environments with fully saturated water vapor only at room temperature (20-30 mbar) can be easily maintained whilst liquid water or other solutions, together with uncoated specimens, can be imaged routinely during various applications.

Trial production of γ-type energy filtering TEM

1995 ◽  
Vol 53 ◽  
pp. 604-605
Author(s):  
Y. Taniguchi ◽  
E. Nakazawa ◽  
S. Taya
Keyword(s):  
Magnetic Energy ◽  
Electron Optics ◽  
Electron Microscopic ◽  
Mass Spectrometers ◽  
Ion Optics ◽  
Energy Filtering ◽  
New Information ◽  
New Type ◽  
Fringing Fields

Imaging energy filters can add new information to electron microscopic images with respect to energy-axis, so-called electron spectroscopic imaging (ESI). Recently, many good results have been reported using this imaging technique. ESI also allows high-contrast observation of unstained biological samples, becoming a trend of the field of morphology. We manufactured a new type of energy filter as a trial production. This energy filter consists of two magnets, and we call γ-filter since the trajectory of electrons shows ‘γ’-shape inside the filter. We evaluated the new energyγ-filter TEM with the γ-filter.Figure 1 shows schematic view of the electron optics of the γ-type energy filter. For the determination of the electron-optics of the γ-type energy filter, we used the TRIO (Third Order Ion Optics) program which has been developed for the design of high resolution mass spectrometers. The TRIO takes the extended fringing fields (EFF) into consideration. EFF makes it difficult to design magnetic energy filters with magnetic sector fields.

Development of imaging plate for a TEM and its characteristics

1989 ◽  
Vol 47 ◽  
pp. 100-101
Author(s):  
N. Mori ◽  
T. Oikawa ◽  
Y. Harada ◽  
J. Miyahara ◽  
T. Matsuo
Keyword(s):  
Dynamic Range ◽  
Protective Layer ◽  
High Sensitivity ◽  
Imaging Plate ◽  
Phosphor Layer ◽  
Imaging Device ◽  
X Ray Imaging ◽  
New Type ◽  
Basic Characteristics ◽  
Reading System

The Imaging Plate (IP) is a new type imaging device, which was developed for diagnostic x ray imaging. We have reported that usage of the IP for a TEM has many merits; those are high sensitivity, wide dynamic range, and good linearity. However in the previous report the reading system was prototype drum-type-scanner, and IP was also experimentally made, which phosphor layer was 50μm thick with no protective layer. So special care was needed to handle them, and they were used only to make sure the basic characteristics. In this article we report the result of newly developed reading, printing system and high resolution IP for practical use. We mainly discuss the characteristics of the IP here. (Precise performance concerned with the reader and other system are reported in the other article.)Fig.1 shows the schematic cross section of the IP. The IP consists of three parts; protective layer, phosphor layer and support.

Automatic analysis of Kikuchi diffraction patterns

1994 ◽  
Vol 52 ◽  
pp. 900-901
Author(s):  
H. Weiland ◽  
D. P. Field
Keyword(s):  
Electron Beam ◽  
Electron Microscope ◽  
Spatial Resolution ◽  
Relevant Information ◽  
Crystalline Materials ◽  
Large Size ◽  
Transmission Electron ◽  
New Type ◽  
Diffraction Patterns ◽  
Orientation Determination

Recent advances in the automatic indexing of backscatter Kikuchi diffraction patterns on the scanning electron microscope (SEM) has resulted in the development of a new type of microscopy. The ability to obtain statistically relevant information on the spatial distribution of crystallite orientations is giving rise to new insight into polycrystalline microstructures and their relation to materials properties. A limitation of the technique in the SEM is that the spatial resolution of the measurement is restricted by the relatively large size of the electron beam in relation to various microstructural features. Typically the spatial resolution in the SEM is limited to about half a micron or greater. Heavily worked structures exhibit microstructural features much finer than this and require resolution on the order of nanometers for accurate characterization. Transmission electron microscope (TEM) techniques offer sufficient resolution to investigate heavily worked crystalline materials.Crystal lattice orientation determination from Kikuchi diffraction patterns in the TEM (Figure 1) requires knowledge of the relative positions of at least three non-parallel Kikuchi line pairs in relation to the crystallite and the electron beam.

New Type of Chromatographic Column

1951 ◽  
Vol 23 (3) ◽  
pp. 428-427 ◽  
Author(s):  
J. M. Miller ◽  
J. G. Kirchner
Keyword(s):  
Chromatographic Column ◽  
New Type
Sign in / Sign up

Export Citation Format

Share Document