When is `partial' adequate? A logic-based proof technique using partial specifications

A technique is presented for ascertaining when a (finite-state) partial process specification is adequate, in the sense of being specified enough, for contexts in which it is to be used. The method relies on the automatic generation of a modal formula from the partial specification; if the remainder of the network satisfies this formula, then any process that meets the specification is guaranteed to ensure correct behavior of the overall system. Using the results, the authors develop compositional proof rules for establishing the correctness of networks of parallel processes and illustrate their use with several examples

Parallel optical negabinary arithmetic based on logic operations

On the basis of signed-digit negabinary representation, parallel two-step addition and one-step subtraction can be performed for arbitrary-length negabinary operands.; The arithmetic is realized by signed logic operations and optically implemented by spatial encoding and decoding techniques. The proposed algorithm and optical system are simple, reliable, and practicable, and they have the property of parallel processing of two-dimensional data. This leads to an efficient design for the optical arithmetic and logic unit. (C) 1997 Optical Society of America.

Compact parallel optical modified-signed-digit arithmetic-logic array processor with electron-trapping device

A compact two-step modified-signed-digit arithmetic-logic array processor is proposed. When the reference digits are programmed, both addition and subtraction can be performed by the same binary logic operations regardless of the sign of the input digits. The optical implementation and experimental demonstration with an electron-trapping device are shown. Each digit is encoded by a single pixel, and no polarization is included. Any combinational logic can be easily performed without optoelectronic and electro-optic conversions of the intermediate results. The system is compact, general purpose, simple to align, and has a high signal-to-noise ratio. (C) 1999 Optical Society of America.

Logic-operated mathematical morphology and its optical implementation

A more powerful tool for binary image processing, i.e., logic-operated mathematical morphology (LOMM), is proposed. With LOMM the image and the structuring element (SE) are treated as binary logical variables, and the MULTIPLY between the image and the SE in correlation is replaced with 16 logical operations. A total of 12 LOMM operations are obtained. The optical implementation of LOMM is described. The application of LOMM and its experimental results are also presented. (C) 1999 Optical Society of America.

Code conversion from signed-digit to complement representation based on look-ahead optical logic operations

We present, for the first time to our knowledge, a generalized lookahead logic algorithm for number conversion from signed-digit to complement representation. By properly encoding the signed-digits, all the operations are performed by binary logic, and unified logical expressions can be obtained for conversion from modified-signed-digit (MSD) to 2's complement, trinary signed-digit (TSD) to 3's complement, and quarternary signed-digit (QSD) to 4's complement. For optical implementation, a parallel logical array module using an electron-trapping device is employed and experimental results are shown. This optical module is suitable for implementing complex logic functions in the form of the sum of the product. The algorithm and architecture are compatible with a general-purpose optoelectronic computing system. (C) 2001 Society of Photo-Optical Instrumentation Engineers.

Modal analysis of deep-etched low-contrast two-port beam splitter grating

Modal analysis of a deep-etched low-contrast two-port beam splitter grating under Littrow Mounting is presented. The guideline for the design of a subwavelength transmission fused-silica phase grating as high-efficiency grating, polarizing beam splitter (PBS), and two-port beam splitter, is summarized. As an example, a polarization-independent two-port beam splitter grating is designed at wavelength of 1064 nm. We firstly analyzed the physical essence of the grating by the simplified modal method. The guideline for the grating design and the approximate grating parameters are obtained. Then using the rigorous coupled-wave analysis (RCWA) with parameters varying around the approximate ones, Optimum grating parameters can be determined. With the design guideline, the time for the rigorous calculation of the grating profile parameters can be reduced significantly. (C) 2008 Elsevier B.V. All rights reserved

Modal fields and bending loss analyses of three-layer large flattened mode fibers

Theoretical method to analyze three-layer large flattened mode (LFM) fibers is presented. The modal fields, including the fundamental and higher order modes, and bending loss of the fiber are analyzed. The reason forming the different modal fields is explained and the feasibility to filter out the higher order modes via bending to realize high power, high beam quality fiber laser is given. Comparisons are made with the standard step-index fiber. (c) 2006 Elsevier B.V. All rights reserved.

Compact Reconfigurable Binary-Decision-Diagram Logic Circuit on a GaAs Nanowire Network

We describe a reconfigurable binary-decision-diagram logic circuit based on Shannon's expansion of Boolean logic function and its graphical representation on a semiconductor nanowire network. The circuit is reconfigured by using programmable switches that electrically connect and disconnect a small number of branches. This circuit has a compact structure with a small number of devices compared with the conventional look-up table architecture. A variable Boolean logic circuit was fabricated on an etched GaAs nanowire network having hexagonal topology with Schottky wrap gates and SiN-based programmable switches, and its correct logic operation together with dynamic reconfiguration was demonstrated.

Smart universal multiple-valued logic gates by transferring single electrons

This paper proposes smart universal multiple-valued (MV) logic gates by transferring single electrons (SEs). The logic gates are based on MOSFET based SE turnstiles that can accurately transfer SEs with high speed at high temperature. The number of electrons transferred per cycle by the SE turnstile is a quantized function of its gate voltage, and this characteristic is fully exploited to compactly finish MV logic operations. First, we build arbitrary MV literal gates by using pairs of SE turnstiles. Then, we propose universal MV logic-to-value conversion gates and MV analog-digital conversion circuits. We propose a SPICE model to describe the behavior of the MOSFET based SE turnstile. We simulate the performances of the proposed gates. The MV logic gates have small number of transistors and low power dissipations.

Modelling and analysis of modal behaviour in SOI slot waveguides

Mode behaviour for SOI slot waveguides is modelled and analysed using a numerical full vectorial method based on the film mode matching method (MMM). Only the quasi-TE mode is investigated. Waveguide heights and slot widths, as well as silicon widths are properly chosen with respect to the single mode behaviour in the slot region. Comparison between the effective index method and our side loss method shows that our single mode condition is creditable. The optical power confinement in slot region for the quasi-TE mode is also studied and presented. We demonstrate that the maximum achievable optical power confinement P-slot and the maximum normalized average optical intensity I-slot are 42% and 26 mu m(-2), respectively.

Compact universal logic gates realized using quantization of current in nanodevices

This paper proposes novel universal logic gates using the current quantization characteristics of nanodevices. In nanodevices like the electron waveguide (EW) and single-electron (SE) turnstile, the channel current is a staircase quantized function of its control voltage. We use this unique characteristic to compactly realize Boolean functions. First we present the concept of the periodic-threshold threshold logic gate (PTTG), and we build a compact PTTG using EW and SE turnstiles. We show that an arbitrary three-input Boolean function can be realized with a single PTTG, and an arbitrary four-input Boolean function can be realized by using two PTTGs. We then use one PTTG to build a universal programmable two-input logic gate which can be used to realize all two-input Boolean functions. We also build a programmable three-input logic gate by using one PTTG. Compared with linear threshold logic gates, with the PTTG one can build digital circuits more compactly. The proposed PTTGs are promising for future smart nanoscale digital system use.

Characteristic study of maximum modal gain of p-doped 1.3 mu m InAs/GaAs quantum dot lasers

We report an experimental and theoretical study of maximum modal gain of p-doped 1.3 mu m InAs/GaAs quantum dot (QD) lasers. The maximum modal gain of the QD laser with five stacks of QDs is as high as 17.5 cm(-1) which is the same as that of the undoped laser with identical structures. The expression of the maximum modal gain is derived and it is indicated that p-doping has no effect to the maximum modal gain. We theoretically calculated the maximum modal gain of the QD lasers and the result is in a good agreement with the experimental data. Furthermore, QDs with lower height or smaller aspect ratio are beneficial to achieving a greater maximum modal gain that leads to lower threshold current density and higher differential modal gain, which is good for the application of p-doped 1.3 mu m InAs/GaAs QD lasers in optical communications systems.

Photonic crystal point-shift nanolaser with ultimate small modal volume

A photonic crystal nanolaser consisting of only the shift of two lattice points was fabricated by HJ/Xe inductively coupled plasma etching. The room temperature lasing was observed by photopumping. The three-dimensional finite-difference time-domain calculation showed that the lasing mode has small modal volume close to (lambda/2n)(3).