Tool support for generating passive C++ test oracles from object-z specifications

A test oracle provides a means for determining whether an implementation behaves according to its specification. A passive test oracle checks that the correct behaviour has been implemented, but does not implement the behaviour itself. In previous work, we have presented a method that allows us to derive passive C++ test oracles from formal specifications written in Object-Z. We describe the "Warlock" prototype tool that supports the method. Warlock is built on top of an existing Object-Z type checker and generates oracle code for a substantial subset of the Object-Z language. We describe the architecture of Warlock and its application to a number of Object-Z specifications. We also discuss its current limitations.

Passive nonlinear pulse shaping in normally dispersive fiber

We propose a simple method for passive nonlinear optical pulse shaping that utilizes pulse prechirping and nonlinear propagation in a normally dispersive nonlinear fiber to generate various temporal waveforms of practical interest from conventional laser pulses.

Passive nonlinear pulse shaping in normally dispersive fiber systems

We propose a novel approach to characterize the parabolically-shaped pulses that can be generated from more conventional pulses via nonlinear propagation in cascaded sections of commercially available normally dispersive (ND) fibers. The impact of the initial pulse chirp on the passive pulse reshaping is examined. We furthermore demonstrate that the combination of pulse pre-chirping and propagation in a single ND fiber yields a simple, passive method for generating various temporal waveforms of practical interest.

Do ‘passive’ medical titanium surfaces deteriorate in service in the absence of wear?

Globally, more than 1000 tonnes of titanium (Ti) is implanted into patients in the form of biomedical devices on an annual basis. Ti is perceived to be ‘biocompatible’ owing to the presence of a robust passive oxide film (approx. 4 nm thick) at the metal surface. However, surface deterioration can lead to the release of Ti ions, and particles can arise as the result of wear and/or corrosion processes. This surface deterioration can result in peri-implant inflammation, leading to the premature loss of the implanted device or the requirement for surgical revision. Soft tissues surrounding commercially pure cranial anchorage devices (bone-anchored hearing aid) were investigated using synchrotron X-ray micro-fluorescence spectroscopy and X-ray absorption near edge structure. Here, we present the first experimental evidence that minimal load-bearing Ti implants, which are not subjected to macroscopic wear processes, can release Ti debris into the surrounding soft tissue. As such debris has been shown to be pro-inflammatory, we propose that such distributions of Ti are likely to effect to the service life of the device.

Passive mode-locked lasing by injecting a carbon nanotube-solution in the core of an optical fiber

In this paper, we propose a saturable absorber (SA) device consisting on an in-fiber micro-slot inscribed by femtosecond laser micro fabrication, filled by a dispersion of Carbon Nanotubes (CNT). Due to the flexibility of the fabrication method, efficient and simple integration of the mode-locking device directly into the optical fiber is achieved. Furthermore, the fabrication process offers a high level of control over the dimensions and location of the micro-slots. We apply this fabrication flexibility to extend the interaction length between the CNT and the propagating optical field along the optical fiber, hence enhancing the nonlinearity of the device. Furthermore, the method allows the fabrication of devices that operate by either a direct field interaction (when the central peak of the propagating optical mode passes through the nonlinear media) or an evanescent field interaction (only a fraction of the optical mode interacts with the CNT). In this paper, several devices with different interaction lengths and interaction regimes are investigated. Self-starting passively modelocked laser operation with an enhanced nonlinear interaction is observed using CNT-based SAs in both interaction regimes. This method constitutes a simple and suitable approach to integrate the CNT into the optical system as well as enhancing the optical nonlinearity of CNT-based photonic devices.