Modelling Java concurrency with Object-Z

In this paper, we present a formal model of Java concurrency using the Object-Z specification language. This model captures the Java thread synchronization concepts of locking, blocking, waiting and notification. In the model, we take a viewpoints approach, first capturing the role of the objects and threads, and then taking a system view where we capture the way the objects and threads cooperate and communicate. As a simple illustration of how the model can, in general be applied, we use Object-Z inheritance to integrate the model with the classical producer-consumer system to create a specification directly incorporating the Java concurrency constructs.

AVALIAÇÃO POR MEIO DE MODELOS DE GESSO DAS ALTERAÇÕES DENTOESQUELÉTICAS, PROMOVIDAS PELA EXPANSÃO RÁPIDA DA MAXILA ASSISTIDA CIRURGICAMENTE (ERMAC)

Este estudo avaliou as alterações produzidas nos arcos dentais superiores de pacientes submetidos à Expansão Rápida da Maxila Assistida Cirurgicamente (ERMAC). A amostra utilizada foi composta de 50 modelos de gesso superiores de 18 pacientes, sendo seis do sexo masculino e 12 do sexo feminino, com média de idade de 23,3 anos. Para cada paciente foram preparados três modelos de gesso obtidos em diferentes fases: Inicial, antes do procedimento operatório (T1); três meses pós-expansão (travamento do expansor) e momento da remoção do aparelho expansor tipo Hyrax e colocação da placa removível de acrílico para contenção (T2); seis meses pós-expansão e momento de remoção da placa de acrílico (T3). O dispositivo expansor utilizado foi o disjuntor tipo Hyrax. O procedimento cirúrgico adotado foi a osteotomia lateral da maxila sem o envolvimento da lâmina pterigóide, osteotomia da espinha nasal à linha média dental (incisivos centrais superiores), separação da sutura palatina mediana por meio de cinzel e separação do septo nasal. O início da ativação ocorreu no terceiro dia pós-operatório, sendo ¼ de volta pela manhã e ¼ à noite, sendo que as ativações seguiram critérios clínicos para o controle da expansão. As medidas foram realizadas por meio da máquina de medição tridimensional (SAC), baseando-se nas alterações nos três planos (vertical, sagital e transversal) que ocorreram nos modelos de gesso. Concluiu-se que: 1. Houve um aumento estatisticamente significante nas distâncias transversais em todos os grupos de dentes (de incisivos centrais até segundos molares) de T1 para T2, demonstrando a efetividade do tratamento. De T2 para T3 não houve diferença estatisticamente significante para nenhuma variável, indicando, assim, estabilidade após seis meses do término da ERMAC; 2. Houve um aumento estatisticamente significante nas inclinações dos primeiros e segundos molares dos lados direito e esquerdo e dos segundos pré-molares apenas do lado esquerdo, sugerindo um comportamento assimétrico dos dentes avaliados; 3. Houve um aumento na largura palatina nos intervalos analisados, com diferenças estatisticamente significantes entre T1 x T2 e T1 x T3; 4. Não foram observadas diferenças estatisticamente significantes na profundidade palatina nos intervalos analisados.(AU)

Efeito do laser de baixa intensidade no procedimento de expansão rápida da maxila

A proposta do presente estudo foi avaliar os efeitos do laser de baixa intensidade na regeneração óssea no procedimento de expansão rápida da maxila. Utilizou-se 27 indivíduos com média de idade de 10,2 anos, divididos em dois grupos: grupo laser (n=14), no qual se realizou a expansão rápida da maxila, associada ao laser e grupo sem laser (n=13), que realizou somente a expansão rápida da maxila. O protocolo de ativação do parafuso expansor foi de 1 volta completa no primeiro dia e ½ volta diária até a sobrecorreção. O laser utilizado foi o de diodo (TWIN Laser MMOptics®, São Carlos), seguindo o protocolo de aplicação: comprimento de onda de 780nm, potência de 40mW, densidade de 10J/cm2, em 10 pontos localizados ao redor da sutura palatina mediana. Os estágios de aplicação foram: L1 (do primeiro ao quinto dia de aplicação), L2 (travamento do parafuso e 3 dias seguidos), L3, L4 e L5 (após 7, 14 e 21 dias do L2, respectivamente). Radiografias oclusais da maxila foram realizadas com auxílio de uma escala de alumínio, para referencial densitométrico, em diferentes tempos: T1 (inicial), T2 (dia de travamento do parafuso), T3 (3 a 5 dias do T2), T4 (30 dias do T3), T5 (60 dias do T4). As radiografias foram digitalizadas e submetidas a um programa de imagem (Image Tool - UTHSCSA, Texas, USA), para mensuração da densidade óptica das áreas previamente selecionadas. Para realização do teste estatístico, utilizou-se a Análise de Covariância usando como covariável o tempo para a fase avaliada. Em todos os testes foi adotado nível de significância de 5% (p<0,05).Para o Grupo Laser, os dados mostram que houve uma queda significante de densidade durante a abertura do parafuso (T2-T1), um aumento significante da mesma no período final de avaliação (T5-T4), e um aumento também da densidade no período de regeneração propriamente dito (T5-T2), ou seja, a partir do momento em que finalizou a fase de abertura do parafuso expansor. Enquanto que no Grupo Sem Laser, a densidade não mostrou diferença estatisticamente significantemente em nenhum período analisado. Os resultados mostraram que o laser propiciou consideravelmente uma melhor abertura da sutura palatina mediana, além de influenciar no processo de regeneração óssea da sutura, acelerando seus processos de reparo.(AU)

Description and training of neural network dynamics

Attractor properties of a popular discrete-time neural network model are illustrated through numerical simulations. The most complex dynamics is found to occur within particular ranges of parameters controlling the symmetry and magnitude of the weight matrix. A small network model is observed to produce fixed points, limit cycles, mode-locking, the Ruelle-Takens route to chaos, and the period-doubling route to chaos. Training algorithms for tuning this dynamical behaviour are discussed. Training can be an easy or difficult task, depending whether the problem requires the use of temporal information distributed over long time intervals. Such problems require training algorithms which can handle hidden nodes. The most prominent of these algorithms, back propagation through time, solves the temporal credit assignment problem in a way which can work only if the relevant information is distributed locally in time. The Moving Targets algorithm works for the more general case, but is computationally intensive, and prone to local minima.

Environmentally stable high-power soliton fiber lasers that use chirped fiber Bragg gratings

Environmentally stable high-power erbium fiber soliton lasers are constructed by Kerr or carrier-type mode locking. We obtain high-energy pulses by using relatively short fiber lengths and providing large amounts of negative dispersion with chirped fiber Bragg gratings. The pulse energies and widths generated with both types of soliton laser are found to scale with the square root of the cavity dispersion. Kerr mode locking requires pulses with an approximately three times higher nonlinear phase shift in the cavity than carrier mode locking, which leads to the generation of slightly shorter pulses with as much as seven times higher pulse energies at the mode-locking threshold.

Switching and generation of ultrashort pulses using all-fibre devices

Serial and parallel interconnection of photonic devices is integral to the construction of any all-optical data processing system. This thesis presents results from a series of experiments centering on the use of the nonlinear-optical loop mirror (NOLM) switch in architectures for the manipulation and generation of ultrashort pulses. Detailed analysis of soliton switching in a single NOLM and cascade of two NOLM's is performed, centering on primary limitations to device operation, effect of cascading on amplitude response, and impact of switching on the characteristics of incident pulses. By using relatively long input pulses, device failure due to stimulated Raman generation is postponed to demonstrate multiple-peaked switching for the first time. It is found that while cascading leads to a sharpening of the overall switching characteristic, pulse spectral and temporal integrity is not significantly degraded, and emerging pulses retain their essential soliton character. In addition, by including an asymmetrically placed in-fibre Bragg reflector as a wavelength selective loss element in the basic NOLM configuration, both soliton self-switching and dual-wavelength control-pulse switching are spectrally quantised. Results are presented from a novel dual-wavelength laser configuration generating pulse trains with an ultra-low rms inter-pulse-stream timing jitter level of 630fs enabling application in ultrafast switching environments at data rates as high as 130GBits/s. In addition, the fibre NOLM is included in architectures for all-optical memory, demonstrating storage and logical inversion of a 0.5kByte random data sequence; and ultrafast phase-locking of a gain-switched distributed feedback laser at 1.062GHz, the fourteenth harmonic of the system baseband frequency. The stringent requirements for environmental robustness of these architectures highlight the primary weaknesses of the NOLM in its fibre form and recommendations to overcome its inherent drawbacks are presented.

The effective use of implicit parallelism through the use of an object-oriented programming language

This thesis explores translating well-written sequential programs in a subset of the Eiffel programming language - without syntactic or semantic extensions - into parallelised programs for execution on a distributed architecture. The main focus is on constructing two object-oriented models: a theoretical self-contained model of concurrency which enables a simplified second model for implementing the compiling process. There is a further presentation of principles that, if followed, maximise the potential levels of parallelism. Model of Concurrency. The concurrency model is designed to be a straightforward target for mapping sequential programs onto, thus making them parallel. It aids the compilation process by providing a high level of abstraction, including a useful model of parallel behaviour which enables easy incorporation of message interchange, locking, and synchronization of objects. Further, the model is sufficient such that a compiler can and has been practically built. Model of Compilation. The compilation-model's structure is based upon an object-oriented view of grammar descriptions and capitalises on both a recursive-descent style of processing and abstract syntax trees to perform the parsing. A composite-object view with an attribute grammar style of processing is used to extract sufficient semantic information for the parallelisation (i.e. code-generation) phase. Programming Principles. The set of principles presented are based upon information hiding, sharing and containment of objects and the dividing up of methods on the basis of a command/query division. When followed, the level of potential parallelism within the presented concurrency model is maximised. Further, these principles naturally arise from good programming practice. Summary. In summary this thesis shows that it is possible to compile well-written programs, written in a subset of Eiffel, into parallel programs without any syntactic additions or semantic alterations to Eiffel: i.e. no parallel primitives are added, and the parallel program is modelled to execute with equivalent semantics to the sequential version. If the programming principles are followed, a parallelised program achieves the maximum level of potential parallelisation within the concurrency model.

Demultiplexing of fibre Bragg grating temperature and strain sensors

We describe a demultiplexing scheme for fibre optic Bragg grating sensors in which signal recovery is achieved by locking each sensor grating to a corresponding receiver grating. As a demonstration, the technique is applied to strain and temperature sensing, achieving a resolution of 3.0 µe and 0.2°C, respectively.

A frequency locked laser diode for interferometric sensing systems

Interferometric sensors for slowly varying measurands, such as temperature or pressure, require a long term frequency stability of the source. We describe a system for frequency locking a laser diode to an atomic transition in a hollow cathode lamp using the optogalvanic effect.

Contradiction in universal and particular reasoning

A wide range of essential reasoning tasks rely on contradiction identification, a cornerstone of human rationality, communication and debate founded on the inversion of the logical operators "Every" and "Some." A high-density electroencephalographic (EEG) study was performed in 11 normal young adults. The cerebral network involved in the identification of contradiction included the orbito-frontal and anterior-cingulate cortices and the temporo-polar cortices. The event-related dynamic of this network showed an early negative deflection lasting 500 ms after sentence presentation. This was followed by a positive deflection lasting 1.5 s, which was different for the two logical operators. A lesser degree of network activation (either in neuron number or their level of phase locking or both) occurred while processing statements with "Some," suggesting that this was a relatively simpler scenario with one example to be figured out, instead of the many examples or the absence of a counterexample searched for while processing statements with "Every." A self-generated reward system seemed to resonate the recruited circuitry when the contradictory task is successfully completed.

Pulse shaping in mode-locked ring-cavity fibre lasers

By means of extensive numerical modelling we have demonstrated the possibility of nonlinear pulse shaping in a mode-locked fibre laser using control of the intra-cavity propagation dynamics by adjustment of the normal net dispersion and integrated gain. Beside self-similar mode-locking, the existence of a novel type of pulse shaping regime that produces pulses with a triangular temporal intensity profile and a linear frequency chirp has been observed.

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.

Novel real-time homodyne coherent receiver using a feed-forward based carrier extraction scheme for phase modulated signals

We report a novel real-time homodyne coherent receiver based on a DPSK optical-electrical-optical (OEO) regenerator used to extract a carrier from carrier-less phase modulated signals based on feed-forward based modulation stripping. The performance of this non-DSP based coherent receiver was evaluated for 10.66Gbit/s BPSK signals. Self-homodyne coherent detection and homodyne detection with an injection-locked local oscillator laser was demonstrated. The performance was evaluated by measuring the electrical signal-to-noise (SNR) and recording the eye diagrams. Using injection-locking for the LO improves the performance and enables homodyne detection with optical injection-locking to operate with carrier-less BPSK signals without the need for polarization multiplexed pilot-tones.

Novel synchronous DPSK optical regenerator based on a feed-forward based carrier extraction scheme

We experimentally demonstrate a novel synchronous 10.66Gbit/s DPSK OEO regenerator which uses a feed-forward carrier extraction scheme with an injection-locked laser to synchronize the regenerated signal wavelength to the incoming signal wavelength. After injection-locking, a low-cost DFB laser used at the regenerator exhibited the same linewidth characteristics as the narrow line-width transmitter laser. The phase regeneration properties of the regenerator were evaluated by emulating random Gaussian phase noise applied to the DPSK signal before the regenerator using a phase modulator driven by an arbitrary waveform generator. The overall performance was evaluated in terms of electrical eye-diagrams, BER measurements, and constellation diagrams.

Phase synchronization scheme for a practical phase sensitive amplifier of ASK-NRZ signals

We present a phase locking scheme that enables the demonstration of a practical dual pump degenerate phase sensitive amplifier for 10 Gbit/s non-return to zero amplitude shift keying signals. The scheme makes use of cascaded Mach Zehnder modulators for creating the pump frequencies as well as of injection locking for extracting the signal carrier and synchronizing the local lasers. An in depth optimization study has been performed, based on measured error rate performance, and the main degradation factors have been identified.