Generating and routing light-bullets using slab waveguide arrays

Light-bullet routing and control is theoretically demonstrated in a slab waveguide architecture using a fully addressable electronic current injection mechanism for gain control. By exploiting gain mediated interactions between bullets, photonic NAND and NOR logic gates are produced on the same chip design. The robustness, simplicity, and control offered by light-bullets in slab waveguide architectures suggest that such devices should be seriously considered as candidates for technological development.

     

Passive mode-locking by use of waveguide arrays

A novel mode-locking technique is presented in which the intensity-dependent spatial coupling dynamics of a waveguide array is used to achieve temporal mode-locking in a passive optical fiber laser. By use of the discrete, nearest-neighbor spatial coupling of the waveguide array, low-intensity light can be transferred to the neighboring waveguides and ejected (attenuated) from the laser cavity. In contrast, higher-intensity light is self-focused in the waveguide and remains largely unaffected. Numerical studies of this pulse shaping mechanism (intensity discrimination) show that using current waveguide arrays and standard optical fiber technology produces stable and robust mode-locked soliton-like pulses.     

Multiwavelength lasers with homogeneous gain and intensity-dependent loss

Using a simple discrete laser model that incorporates only gain and loss, we showed that lasers with homogeneous gain can have multiwavelength continuous wave output if the loss element is a saturable transmitter. The intensity-dependent loss provides an adaptive balance to the different gain values at different wavelengths. The output power spectrum of the multiwavelength laser will be flat if the laser operates near a peak of the transmission of the intensity-dependent loss.     

Dissipative soliton resonance in a passively mode-locked fiber laser

The phenomenon of dissipative soliton resonance (DSR) predicts that an increase of pulse energy by orders of magnitude can be obtained in laser oscillators. Here, we prove that DSR is achievable in a realistic ring laser cavity using nonlinear polarization evolution as the mode-locking mechanism, whose nonlinear transmission function is adjusted through a set of waveplates and a passive polarizer. The governing model accounts explicitly for the arbitrary orientations of the waveplates and the polarizer, as well as the gain saturation in the amplifying medium. It is shown that DSR is achievable with realistic laser settings. Our findings provide an excellent design tool for optimizing the mode-locking performance and the enhancement of energy delivered per pulse by orders of magnitude.     

Multi-frequency mode-locked lasers

A new theoretical model is constructed which describes the operation of multi-frequency, pulsed mode-locked laser cavities. The model, which is a combination of multi channel interactions in the canonical master mode-locking model subject to three different gain models which account for both self- and cross-saturation effects, results in mode-locking dynamics which qualitatively describe the observed experimental dual-frequency laser operation. Specifically, the combination of self- and cross-saturation in the gain allows for mode-locking at two frequencies simultaneously, which can be of significantly different energies and pulsewidths. The model gives a framework for understanding the operation and stability of the increasingly important and timely technology of dual- and multi-frequency mode-locked laser cavities. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Carnap,Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design

This paper addresses questions of universality related to ontological engineering, namely aims at substantiating (negative) answers to the following three basic questions: (i) Is there a ‘universal ontology’?, (ii) Is there a ‘universal formal ontology language’?, and (iii) Is there a universally applicable ‘mode of reasoning’ for formal ontologies? To support our answers in a principled way, we present a general framework for the design of formal ontologies resting on two main principles: firstly, we endorse Rudolf Carnap’s principle of logical tolerance by giving central stage to the concept of logical heterogeneity, i.e. the use of a plurality of logical languages within one ontology design. Secondly, to structure and combine heterogeneous ontologies in a semantically well-founded way, we base our work on abstract model theory in the form of institutional semantics, as forcefully put forward by Joseph Goguen and Rod Burstall. In particular, we employ the structuring mechanisms of the heterogeneous algebraic specification language HetCasl for defining a general concept of heterogeneous, distributed, highly modular and structured ontologies, called hyperontologies. Moreover, we distinguish, on a structural and semantic level, several different kinds of combining and aligning heterogeneous ontologies, namely integration, connection, and refinement. We show how the notion of heterogeneous refinement can be used to provide both a general notion of sub-ontology as well as a notion of heterogeneous equivalence of ontologies, and finally sketch how different modes of reasoning over ontologies are related to these different structuring aspects.