Thin and thick YBCO films grown by MOCVD processes. Study of the angular magnetic field dependence of current transport properties

Thin and thick YBCO Films have been grown by Aerosol Assisted as well as by thermal MOCVD. The Aerosol Assisted MOCVD technique allows the growth of YBCO films from a single liquid source at deposition rates of up to 10m/h.Transport measurements (I-V) on etched microbridges using a single pulse technique have been performed. The angular magnetic field dependence J_c() of the critical current density from T_c down to 50 K has been measured. Transport properties are reported and discussed with respect to the microstructural features as determined by X-ray diffraction and electron microscopy.     

Functional un|unparsing

Danvy??s functional unparsing problem (Danvy in J. Funct. Program. 8(6), 621?C625, 1998) is to implement a type-safe ??printf?? function, which converts a sequence of heterogeneous arguments to a string according to a given format. The dual problem is to implement a type-safe ??scanf?? function, which extracts a sequence of heterogeneous arguments from a string by interpreting (Friedman and Wand in LFP, pp. 348?C355, 1984 and in Essentials of Programming Languages, MIT Press, 2008) the same format as an equally heterogeneous sequence of patterns that binds zero or more variables. We derive multiple solutions to both problems (Wand in J. ACM 27(1), 164?C180, 1980) from their formal specifications (Wand in Theor. Comput. Sci. 20(1), 3?C32, 1982). On one hand, our solutions show how the Hindley-Milner type system, unextended, permits accessing heterogeneous sequences with the static assurance of type safety. On the other hand, our solutions demonstrate the use of control operators (Felleisen et al. in Proceedings of the 1988 ACM Conference on Lisp and Functional Programming, pp. 52?C62, ACM Press, New York, 1988; Wand in POPL 85: Conference Record of the Annual ACM Symposium on Principles of Programming Languages, vol. 16, ACM Press, New York, 1985; Meyer and Wand in Logics of Programs, Lecture Notes in Computer Science, vol. 193, pp. 219?C224, Springer, Berlin, 1985) to communicate with formats as coroutines (Wand in Proceedings of the 1980 ACM Conference on Lisp and Functional Programming, vol. 12, pp. 285?C299, ACM Press, New York, 1980 and Haynes et al. in LFP, pp. 293?C298, 1984).     

Direct Method Based Control System for an Autonomous Quadrotor

This paper proposes a real time control algorithm for autonomous operation of a quadrotor unmanned air vehicle. The quadrotor is a small agile vehicle, which as well as being a excellent test bed for advanced control techniques could also be suitable for internal surveillance, search and rescue and remote inspection. The proposed control scheme incorporates two key aspects of autonomy; trajectory planning and trajectory following. Using the differentially-flat dynamics property of the system, the trajectory optimization is posed as a non-linear constrained optimization within the output space in the virtual domain, not explicitly related to the time domain. A suitable parameterization using a virtual argument as opposed to time is applied, which ensures initial and terminal constraint satisfaction. The speed profile is optimized independently, followed by the mapping to the time domain achieved using a speed factor. Trajectory following is achieved with a standard multi-variable control technique and a digital switch is used to re-optimize the reference trajectory in the event of infeasibility or mission change. The paper includes simulations using a full dynamic model of the quadrotor demonstrating the suitability of the proposed control scheme.     

DNA immobilization and SAW response in ZnO nanotips grown on LiNbO3 substrates.

DNA immobilization enhancement is demonstrated in a structure consisting of ZnO nanotips on 128 degrees Y-cut LiNbO3. The ZnO nanotips are grown by metalorganic chemical vapor deposition (MOCVD) on the top of a SiO2 layer that is deposited and patterned on the LiNbO3 SAW delay path. The effects of ZnO nanotips on the SAW response are investigated. X-ray diffraction and scanning electron microscopy are used to analyze the ZnO nanotips, which are of single crystalline quality, and they are uniformly aligned with their c-axis perpendicular to the substrate surface. The photoluminescence (PL) spectrum of the ZnO nanotips shows strong near bandedge transition with insignificant deep level emission, confirming their good optical property. DNA immobilization enhancement is experimentally validated by radioactive labeling tests and SAW response changes. The ZnO nanotips enhance the DNA immobilization by a factor of 200 compared to ZnO film with flat surface. DNA hybridization with complementary and noncomplementary second strand DNA oligonucleotides is used to study the selective binding of the structure. This device structure possesses the advantages of both traditional SAW sensors and ZnO nanostructures.     

Heavy-ion-induced luminescence of amorphous SiO2 during nanoparticle formation

Silica glass was implanted with negative 60 keV Cu ions at an ion flux from 5 to 75 μA/cm² up to a fluence of 1 × 10¹⁷ ions/cm² at initial sample temperatures of 300, 573 and 773 K. Spectra of ion-induced photon emission (IIPE) were collected in situ in the range from 250 to 850 nm. Optical absorption spectra of implanted specimens were ex situ measured in the range from 190 to 2500 nm.

IIPE spectra showed a broad band centered around 560 nm (2.2 eV) that was assigned to Cu⁺ solutes. The band appeared at the onset of irradiation, increased in intensity up to a fluence of about 5 × 10¹⁵ ions/cm² and then gradually decreased indicating three stage of the ion beam synthesis of nanoclusters: accumulation of implants, nucleation and growth nanoclusters. The IIPE intensity normalized on the ion flux is independent on the ion flux below 20 μA/cm²at higher fluences. The intensity of the band increased with increasing samples temperature, when optical absorption spectra reveal the increase of Cu nanoparticles size.     

Java-MaC: A Run-Time Assurance Approach for Java Programs

We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance that the target program is running correctly with respect to a formal requirements specification by monitoring and checking the execution of the target program at run-time. MaC bridges the gap between formal verification, which ensures the correctness of a design rather than an implementation, and testing, which does not provide formal guarantees about the correctness of the system.Use of formal requirement specifications in run-time monitoring and checking is the salient aspect of the MaC architecture. MaC is a lightweight formal method solution which works as a viable complement to the current heavyweight formal methods. In addition, analysis processes of the architecture including instrumentation of the target program, monitoring, and checking are performed fully automatically without human direction, which increases the accuracy of the analysis. Another important feature of the architecture is the clear separation between monitoring implementation-dependent low-level behaviors and checking high-level behaviors, which allows the reuse of a high-level requirement specification even when the target program implementation changes. Furthermore, this separation makes the architecture modular and allows the flexibility of incorporating third party tools into the architecture. The paper presents an overview of the MaC architecture and a prototype implementation Java-MaC.