Design and fabrication of micro-structured waveguides in lithium niobate

We review our recent work on the numerical design and optimisation of buried, micro-structured waveguides (WGs) that can be formed in a lithium niobate (LiNbO3) crystal by the method of direct femtosecond laser inscription. We also report on the possibility of fabricating such WGs using a high-repetition-rate, chirped-pulse oscillator system. Refractive index contrasts as high as -0.0127 have been achieved for individual modification tracks. The results pave the way for developing micro-structured WGs with low-loss operation across a wide spectral range, extending into the mid-infrared region up to the end of the transparency range of the host material. © 2014 IEEE.

Design and development of logistics workflow systems for demand management with RFID

This paper discusses demand and supply chain management and examines how artificial intelligence techniques and RFID technology can enhance the responsiveness of the logistics workflow. This proposed system is expected to have a significant impact on the performance of logistics networks by virtue of its capabilities to adapt unexpected supply and demand changes in the volatile marketplace with the unique feature of responsiveness with the advanced technology, Radio Frequency Identification (RFID). Recent studies have found that RFID and artificial intelligence techniques drive the development of total solution in logistics industry. Apart from tracking the movement of the goods, RFID is able to play an important role to reflect the inventory level of various distribution areas. In today’s globalized industrial environment, the physical logistics operations and the associated flow of information are the essential elements for companies to realize an efficient logistics workflow scenario. Basically, a flexible logistics workflow, which is characterized by its fast responsiveness in dealing with customer requirements through the integration of various value chain activities, is fundamental to leverage business performance of enterprises. The significance of this research is the demonstration of the synergy of using a combination of advanced technologies to form an integrated system that helps achieve lean and agile logistics workflow.

Modeling and analysis of high performance L-band erbium-doped fiber amplifier (EDFA)

The performances of L-band EDFA are modeled and analyzed, based on C-band EDFA, through variation of pump power, ion concentration and fiber length. The fiber length promises higher performance than others. © 2005 Optical Society of America.

Methods of Adaptive Extraction and Analysis of Knowledge for Knowledge-base Construction and Fast Decision Making

An approach for knowledge extraction from the information arriving to the knowledge base input and also new knowledge distribution over knowledge subsets already present in the knowledge base is developed. It is also necessary to realize the knowledge transform into parameters (data) of the model for the following decision-making on the given subset. It is assumed to realize the decision-making with the fuzzy sets’ apparatus.

Biosynthesis and analysis of plant oxylipins

The term oxylipin is applied to the generation of oxygenated products of polyunsaturated fatty acids that can arise either through non-enzymatic or enzymatic processes generating a complex array of products, including alcohols, aldehydes, ketones, acids and hydrocarbon gases. The biosynthetic origin of these products has revealed an array of enzymes involved in their formation and more recently a radical pathway. These include lipoxygenases and α-dioxygenase that insert both oxygen atoms in to the acyl chain to initiate the pathways, to specialised P450 monooxygenases that are responsible for their downstream processing. This latter group include enzymes at the branch points such as allene oxide synthase, leading to jasmonate signalling, hydroperoxide lyase, responsible for generating pathogen/pest defensive volatiles and divinyl ether synthases and peroxygenases involved in the formation of antimicrobial compounds. The complexity of the products generated raises significant challenges for their rapid identification and quantification using metabolic screening methods. Here the current developments in oxylipin metabolism are reviewed together with the emerging technologies required to expand this important field of research that underpins advances in plant-pest/pathogen interactions.

Enabling long journeys in electric vehicles:design and demonstration of an infrastructure location model

This research develops a methodology and model formulation which suggests locations for rapid chargers to help assist infrastructure development and enable greater battery electric vehicle (BEV) usage. The model considers the likely travel patterns of BEVs and their subsequent charging demands across a large road network, where no prior candidate site information is required. Using a GIS-based methodology, polygons are constructed which represent the charging demand zones for particular routes across a real-world road network. The use of polygons allows the maximum number of charging combinations to be considered whilst limiting the input intensity needed for the model. Further polygons are added to represent deviation possibilities, meaning that placement of charge points away from the shortest path is possible, given a penalty function. A validation of the model is carried out by assessing the expected demand at current rapid charging locations and comparing to recorded empirical usage data. Results suggest that the developed model provides a good approximation to real world observations, and that for the provision of charging, location matters. The model is also implemented where no prior candidate site information is required. As such, locations are chosen based on the weighted overlay between several different routes where BEV journeys may be expected. In doing so many locations, or types of locations, could be compared against one another and then analysed in relation to siting practicalities, such as cost, land permission and infrastructure availability. Results show that efficient facility location, given numerous siting possibilities across a large road network can be achieved. Slight improvements to the standard greedy adding technique are made by adding combination weightings which aim to reward important long distance routes that require more than one charge to complete.

Design and applications of in-cavity pulse shaping by spectral sculpturing in mode-locked fibre lasers

We review our recent progress on the realisation of pulse shaping in passively-mode-locked fibre lasers by inclusion of an amplitude and/or phase spectral filter into the laser cavity. We numerically show that depending on the amplitude transfer function of the in-cavity filter, various regimes of advanced waveform generation can be achieved, including ones featuring parabolic-, flat-top- and triangular-profiled pulses. An application of this approach using a flat-top spectral filter is shown to achieve the direct generation of high-quality sinc-shaped optical Nyquist pulses with a widely tunable bandwidth from the laser oscillator. We also present the operation of an ultrafast fibre laser in which conventional soliton, dispersion-managed soliton (stretched-pulse) and dissipative soliton mode-locking regimes can be selectively and reliably targeted by adaptively changing the dispersion profile and bandwidth programmed on an in-cavity programmable filter. The results demonstrate the strong potential of an in-cavity spectral pulse shaper for achieving a high degree of control over the dynamics and output of mode-locked fibre lasers.

The design and validation of an optical coherence tomography-based classification system for focal vitreomacular traction

PurposeTo develop and validate a classification system for focal vitreomacular traction (VMT) with and without macular hole based on spectral domain optical coherence tomography (SD-OCT), intended to aid in decision-making and prognostication.MethodsA panel of retinal specialists convened to develop this system. A literature review followed by discussion on a wide range of cases formed the basis for the proposed classification. Key features on OCT were identified and analysed for their utility in clinical practice. A final classification was devised based on two sequential, independent validation exercises to improve interobserver variability.ResultsThis classification tool pertains to idiopathic focal VMT assessed by a horizontal line scan using SD-OCT. The system uses width (W), interface features (I), foveal shape (S), retinal pigment epithelial changes (P), elevation of vitreous attachment (E), and inner and outer retinal changes (R) to give the acronym WISPERR. Each category is scored hierarchically. Results from the second independent validation exercise indicated a high level of agreement between graders: intraclass correlation ranged from 0.84 to 0.99 for continuous variables and Fleiss' kappa values ranged from 0.76 to 0.95 for categorical variables.ConclusionsWe present an OCT-based classification system for focal VMT that allows anatomical detail to be scrutinised and scored qualitatively and quantitatively using a simple, pragmatic algorithm, which may be of value in clinical practice as well as in future research studies.

Systematic review and analysis of evidences on clinical efficacy and cost-effectiveness of biological drugs for the treatment of Ankylosing Spondylitis

Technology: Infliximab and comparator biological such as adalimumab, etanercept, golimumab. Conditions: Ankylosing spondylitis (AS) Issue: Infliximab is registered to be used in patients with AS. The aim of the Report is to evaluate the clinical efficacy and safety of infliximab and comparator biologicals for the treatment of adult AS. Methods: Systematic literature review and analysis as well as meta-analysis (direct and indirect comparison) of published randomised controlled clinical trials (RCT) were performed, all relevant health economics literature were identified ad analysed. Results: Clinical efficacy of biological therapies is based on good clinical evidences regarding to all clinical efficacy endpoints (ASAS20, ASAS40, ASAS 5/6, and BASDAI 50% response). Altogether, 22 trials are included in our meta-analysis, 12 infliximab, 3 adalimumab studies, 6 etanercept and 1 golimumab. Efficacy of biological treatments for the treatment of AS has been established by clinical scientific evidences, significant improvement at all outcomes considered was confirmed. According to the results of indirect comparison, there were no significant difference between biological treatments and placebo in terms of safety and tolerability endpoints. We found no significant difference between the clinical efficacy and safety of infliximab, adalimumab, etanercept and golimumab therapies. Cost-utility analysis of adalimumab and/or infliximab, etanercept and golimumab treatment for AS were performed in the UK, Canada, The Netherlands, Germany, Spain and France. There are no cost-utility studies from Eastern Central Europe. Implications for decision making: Efficacy of infliximab and comparator biologicals for the treatment of Ankylosing Spondylitis (AS) was proved by clinical evidence, significant improvement at all outcomes considered was confirmed. We found no significant differences in efficacy and safety of different biological treatments. Health economics results suggest that biological therapies are cost-effective alternatives for the treatment of AS in group of developed high income countries. There is a lack of health economics results in Central-Eastern European countries however these data are more and more required by governments and funders as part of the company economic dossiers.

Design and evaluation of a consulting system for database design

Database design is a difficult problem for non-expert designers. It is desirable to assist such designers during the problem solving process by means of a knowledge based (KB) system. A number of prototype KB systems have been proposed, however there are many shortcomings. Few have incorporated sufficient expertise in modeling relationships, particularly higher order relationships. There has been no empirical study that experimentally tested the effectiveness of any of these KB tools. Problem solving behavior of non-experts, whom the systems were intended to assist, has not been one of the bases for system design. In this project a consulting system for conceptual database design that addresses the above short comings was developed and empirically validated.^ The system incorporates (a) findings on why non-experts commit errors and (b) heuristics for modeling relationships. Two approaches to knowledge base implementation--system restrictiveness and decisional guidance--were used and compared in this project. The Restrictive approach is proscriptive and limits the designer's choices at various design phases by forcing him/her to follow a specific design path. The Guidance system approach which is less restrictive, provides context specific, informative and suggestive guidance throughout the design process. The main objectives of the study are to evaluate (1) whether the knowledge-based system is more effective than a system without the knowledge-base and (2) which knowledge implementation--restrictive or guidance--strategy is more effective. To evaluate the effectiveness of the knowledge base itself, the two systems were compared with a system that does not incorporate the expertise (Control).^ The experimental procedure involved the student subjects solving a task without using the system (pre-treatment task) and another task using one of the three systems (experimental task). The experimental task scores of those subjects who performed satisfactorily in the pre-treatment task were analyzed. Results are (1) The knowledge based approach to database design support lead to more accurate solutions than the control system; (2) No significant difference between the two KB approaches; (3) Guidance approach led to best performance; and (4) The subjects perceived the Restrictive system easier to use than the Guidance system. ^

Design and fabrication of two switched superconductivity microstrip hairpin filters using series micro-electro-mechanical systems (MEMS) switches

Series Micro-Electro-Mechanical System (MEMS) switches based on superconductor are utilized to switch between two bandpass hairpin filters with bandwidths of 365 MHz and nominal center frequencies of 2.1 GHz and 2.6 GHz. This was accomplished with 4 switches actuated in pairs, one pair at a time. When one pair was actuated the first bandpass filter was coupled to the input and output ports. When the other pair was actuated the second bandpass filter was coupled to the input and output ports. The device is made of a YBa2Cu 3O7 thin film deposited on a 20 mm x 20 mm LaAlO3 substrate by pulsed laser deposition. BaTiO3 deposited by RF magnetron sputtering in utilized as the insulation layer at the switching points of contact. These results obtained assured great performance showing a switchable device at 68 V with temperature of 40 K for the 2.1 GHz filter and 75 V with temperature of 30 K for the 2.6 GHz hairpin filter. ^

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic.^ This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.^