Vertical Bearing Capacity of a Partially-Embedded Pipeline on Tresca Soils

Slip-line field solutions are presented for the ultimate load of submarine pipelines on a purely cohesive soil obeying Tresca yield criterion, taking into account of pipe embedment and pipe-soil contact friction. The derived bearing capacity factors for a smooth pipeline degenerate into those for the traditional strip-line footing when the embedment approaches zero. Parametric studies demonstrate that the bearing capacity factors for pipeline foundations are significantly influenced by the pipeline embedment and the pipe-soil frictional coefficient. With the increase of pipeline embedment, the bearing capacity factor Nc decreases gradually, and finally reaches the minimum value (4.0) when the embedment equals to pipeline radius. As such, if the pipeline is directly treated as a traditional strip footing, the bearing capacity factor Nc would be over evaluated. The ultimate bearing loads increase with increasing pipeline embedment and pipe-soil frictional coefficient.

Electro-optic integration of embedded electrodes and waveguides in LiNbO3 using a femtosecond laser

We describe the fabrication of a Mach-Zehnder optical modulator in LiNbO3 by femtosecond laser micormachining, which is composed of optical waveguides inscripted by a femtosecond laser and embedded microelectrodes subsequently using femtosecond laser ablation and selective electroless plating. A half-wave voltage close to 19 V is achieved at a wavelength of 632.8 nm with an interaction length of 2.6 mm. This simple and cost-effective technique opens up new opportunities for fabricating integrated electro-optic devices. (C) 2008 Optical Society of America

Fabrication of microelectrodes deeply embedded in LiNbO3 using a femtosecond laser

We present a novel technique to fabricate deeply embedded microelectrodes in LiNbO3 using femtosecond pulsed laser ablation and selective electroless plating. The fabrication process mainly consists of four steps, which are (1) micromachining of microgrooves on the surface of LiNbO3 by femtosecond laser ablation; (2) formation of AgNO3 films on substrates; (3) scanning the femtosecond laser beam in the fabricated microgrooves for modi. cation of the inner surfaces; and (4) electroless copper plating. The void-free electroless copper plating is obtained with appropriate cross section of microgrooves and uniform initiation of the autocatalytic deposition on the inner surface of grooves. The dimension and shape of the microelectrodes could be accurately controlled by changing the conditions of femtosecond laser ablation, which in turn can control the distribution of electric field inside LiNbO3 crystal for various applications, opening up a new approach to fabricate three-dimensional integrated electro-optic devices. (C) 2008 Elsevier B. V. All rights reserved.

Analysis-aware design of embedded systems software

In the past many different methodologies have been devised to support software development and different sets of methodologies have been developed to support the analysis of software artefacts. We have identified this mismatch as one of the causes of the poor reliability of embedded systems software. The issue with software development styles is that they are ``analysis-agnostic.'' They do not try to structure the code in a way that lends itself to analysis. The analysis is usually applied post-mortem after the software was developed and it requires a large amount of effort. The issue with software analysis methodologies is that they do not exploit available information about the system being analyzed.

In this thesis we address the above issues by developing a new methodology, called "analysis-aware" design, that links software development styles with the capabilities of analysis tools. This methodology forms the basis of a framework for interactive software development. The framework consists of an executable specification language and a set of analysis tools based on static analysis, testing, and model checking. The language enforces an analysis-friendly code structure and offers primitives that allow users to implement their own testers and model checkers directly in the language. We introduce a new approach to static analysis that takes advantage of the capabilities of a rule-based engine. We have applied the analysis-aware methodology to the development of a smart home application.

Photoluminescence of Ag nanoparticle embedded Tb3+/Ce3+ codoped NaYF4/PVP nanofibers prepared by electrospinning

Ag nanoparticle embedded NaYF4:0.05Tb center dot chi Ce/ PVP (PVP stands for poly(vinyl pyrrolidone)) composite nanofibers have been prepared by electrospinning. A field emission scanning electron microscope and x-ray diffraction have been utilized to characterize the size, morphology and structure of the as-prepared electrospun nanofibers. Obvious photoluminescence (PL) of NaYF4:0.05Tb center dot 0.05Ce/PVP electrospun nanofibers due to the efficient energy transfer from Ce3+ to Tb3+ ions is observed. The PL intensity of the electrospun nanofibers decreases gradually with the addition of Ag nanoparticles. No obvious surface plasmon resonance enhanced luminescence is observed. The reasons for the weakening of the emission intensity with the addition of Ag nanoparticles have also been discussed in this work.