A programming language for software components

Component software has many benefits, most notably increased software re-use; however, the component software process places heavy burdens on programming language technology, which modern object-oriented programming languages do not address. In particular, software components require specifications that are both sufficiently expressive and sufficiently abstract, and, where possible, these specifications should be checked formally by the programming language. This dissertation presents a programming language called Mentok that provides two novel programming language features enabling improved specification of stateful component roles. Negotiable interfaces are interface types extended with protocols, and allow specification of changing method availability, including some patterns of out-calls and re-entrance. Type layers are extensions to module signatures that allow specification of abstract control flow constraints through the interfaces of a component-based application. Development of Mentok's unique language features included creation of MentokC, the Mentok compiler, and formalization of key properties of Mentok in mini-languages called MentokP and MentokL.

Programming an FPGA to Emulate the Dynamics of DC Machines

This paper presents the programming an FPGA (Field Programmable Gate Array) to emulate the dynamics of DC machines. FPGA allows high speed real time simulation with high precision. The described design includes block diagram representation of DC machine, which contain all arithmetic and logical operations. The real time simulation of the machine in FPGA is controlled by user interfaces they are Keypad interface, LCD display on-line and digital to analog converter. This approach provides emulation of electrical machine by changing the parameters. Separately Exited DC machine implemented and experimental results are presented.

Application of Mathematical Programming to the Plywood Design and Manufacturing Problem

Plywood manufacture includes two fundamental stages. The first is to peel or separate logs into veneer sheets of different thicknesses. The second is to assemble veneer sheets into finished plywood products. At the first stage a decision must be made as to the number of different veneer thicknesses to be peeled and what these thicknesses should be. At the second stage, choices must be made as to how these veneers will be assembled into final products to meet certain constraints while minimizing wood loss. These decisions present a fundamental management dilemma. Costs of peeling, drying, storage, handling, etc. can be reduced by decreasing the number of veneer thicknesses peeled. However, a reduced set of thickness options may make it infeasible to produce the variety of products demanded by the market or increase wood loss by requiring less efficient selection of thicknesses for assembly. In this paper the joint problem of veneer choice and plywood construction is formulated as a nonlinear integer programming problem. A relatively simple optimal solution procedure is developed that exploits special problem structure. This procedure is examined on data from a British Columbia plywood mill. Restricted to the existing set of veneer thicknesses and plywood designs used by that mill, the procedure generated a solution that reduced wood loss by 79 percent, thereby increasing net revenue by 6.86 percent. Additional experiments were performed that examined the consequences of changing the number of veneer thicknesses used. Extensions are discussed that permit the consideration of more than one wood species.

'Wet N2O oxidation' process and interface state density characterization of nanoscale nitrided SiO2 for flash memory application

In this paper we first present the 'wet N2O' furnace oxidation process to grow nitrided tunnel oxides in the thickness range 6 to 8 nm on silicon at a temperature of 800 degrees C. Electrical characteristics of MOS capacitors and MOSFETs fabricated using this oxide as gate oxide have been evaluated and the superior features of this oxide are ascertained The frequency response of the interface states, before and after subjecting the MOSFET gate oxide to constant current stress, is studied using a simple analytical model developed in this work.

Generalized model predictive static programming and its application to 3D impact angle constrained guidance of air-to-surface missiles

A new `generalized model predictive static programming (G-MPSP)' technique is presented in this paper in the continuous time framework for rapidly solving a class of finite-horizon nonlinear optimal control problems with hard terminal constraints. A key feature of the technique is backward propagation of a small-dimensional weight matrix dynamics, using which the control history gets updated. This feature, as well as the fact that it leads to a static optimization problem, are the reasons for its high computational efficiency. It has been shown that under Euler integration, it is equivalent to the existing model predictive static programming technique, which operates on a discrete-time approximation of the problem. Performance of the proposed technique is demonstrated by solving a challenging three-dimensional impact angle constrained missile guidance problem. The problem demands that the missile must meet constraints on both azimuth and elevation angles in addition to achieving near zero miss distance, while minimizing the lateral acceleration demand throughout its flight path. Both stationary and maneuvering ground targets are considered in the simulation studies. Effectiveness of the proposed guidance has been verified by considering first order autopilot lag as well as various target maneuvers.

Application of laser cladding technology to improve the interface of thermal barrier coatings

The present study is focused on improvement of the adhesion properties of the interface between plasma-sprayed coatings and substrates by laser cladding technology (LCT), Within the laser-clad layer there is a gradient distribution in chemical composition and mechanical properties that has been confirmed by SEM observation and microhardness measurement. The residual stress due to mismatches in thermal and mechanical properties between coatings and substrates can be markedly reduced and smoothed out. To examine the changes of microstructure and crack propagation in the coating and interface during loading, the three-point bending test has been carried out in SEM with a loading device. Analysis of the distribution of shear stress near the interface under loading has been made using the FEM code ANSYS, The experimental results show clearly that the interface adhesion can be improved with LCT pretreatment, and the capability of the interface to withstand the shear stress as well as to resist microcracking has been enhanced.

Functional programming based CACSD environment

An engineering design environment should allow users to design complex engineering systems, to manage and coordinate the designs as they proceed, and to develop and modify the software tools used for designs. These requirements call for a programming environment with an integrated set of software tools of different functionalities. The required functionalities are mainly: the provision of design algorithms based on suitable numeric software, appropriate data structures for the application area, a user-friendly interface, and the provision of a design database for the long term management of the designs generated. The provision of such an integrated design environment in a functional programming environment with particular emphasis on the provision of appropriate control-theoretic data structures and data model is described. Object-orientation is used to model entities in the application domain, which are represented by persistent objects in the database. Structural properties, relationships and operations on entities are modelled through objects and functions classified into strict types with inheritance semantics and a recursive structure.

Rectangular Silver Nanorods: Controlled Preparation, Liquid-Liquid Interface Assembly, and Application in Surface-Enhanced Raman Scattering

In this paper, we for the first time report a polyol method for large-scale synthesis of rectangular silver nanorods in the presence of directing agent and seeds. This method has some clear advantages including simplicity, high quality, and ease of scaleup. Silver nanowires or silver nanorods with a submicrometer diameter could also be facilely prepared when the reaction parameters are slightly changed. Furthermore, a liquid-liquid assembly strategy has been employed to construct uniform rectangular silver nanorod arrays on a solid substrate which could be used as surface-enhanced Raman scattering (SERS) substrates with high SERS activity, stability, and reproducibility. It is found that the SERS spectra obtained from the probe molecules with the different concentrations show different SERS intensifies. As the concentration of 4-aminothiophenol (4-ATP) or rhodamine 6G (R6G) increases, the SERS intensities progressively increase. The enhancement factor for 4-ATP and R6G should be as large as 5.06 x 10(4) or much larger than the value of 5.06 x 10(8), respectively.

Spontaneous formation of two-dimensional gold networks at the air-water interface and their application in surface-enhanced Raman scattering (SERS)

Two-dimensional (2-D) gold networks were spontaneously formed at the air-water interface after HAuCl4 reacted with fructose at 90 degrees C in a sealed vessel, in a reaction in which fructose acted as both a reducing and a protecting agent. Through fine-tuning of the molar ratio of HAuCl4 to fructose, the thus-formed 2-D gold networks can be changed from a coalesced pattern to an interconnected pattern. In the coalesced pattern, some well-defined single-crystalline gold plates at the micrometer-scale could be seen, while in the interconnected pattern, many sub-micrometer particles and some irregular gold plates instead of well-defined gold plates appeared. It is also found that the 2-D gold networks in the form of an interconnected pattern can be used as substrates for surface-enhanced Raman scattering (SERS) because of the strong localized electromagnetic field produced by the gaps between the neighboring particles in the 2-D gold networks.

Carboxyl-cored dendrimer and toluene-assisted fabrication of uniform platinum nanodendrites at a water/oil interface and their potential application as a catalyst

Uniform platinum nanodendrites have been prepared at a water/oil interface by a facile catalyst-free method at room temperature. This is carried out by introducing NaBH4 into the platinum precursor solution in the presence of the second generation of carboxyl-cored dendrimer ([G-2]-CO2H dendrimer) and toluene to act as a protective agent and a linker, respectively. The average fractal dimension of 1.61 of the obtained platinum nanodendrites is calculated by analysing the transmission electron micrographs using the programs Fractal Dimension Version 1.1 and Fractal Dimension Calculator. Control experiments show that the fabrication of platinum nanodendrites can be operated with a wide parameter window, which undoubtedly raises the degree of control of the synthesis process. The potential application of such a nanostructure as a catalyst is investigated, and the results reveal that they show highly efficient catalytic properties for the typical redox reaction between hexacyanoferrate (III) and thiosulfate ions at 301 K.

Fabrication of agar-gel microelectrodes and their application in the study of ion transfer across the agar-water 1,2-dichloroethane interface

In this paper, we describe a simple procedure to make agar-gel microelectrodes by filling micropipettes. These microelectrodes were used to study K+ transfer across the agar-water \ 1,2-dichloroethane interface facilitated by dibenzo-18-crown-6 (DB18C6), and the transfer of tetraethylammonium (TEA(+)). The results observed were similar to those obtained at micro-liquid \ liquid interfaces. The effect of various amounts of agar in the aqueous phase was optimized and 3% agar was chosen based on the potential window and solidification time. The different shapes of micro-agar-gel electrodes were prepared in a similar way. The fabricated agar-gel microelectrodes obey the classical micro-disk steady-state current equation, which is different from the behavior of a normal micropipette filled with aqueous solution without silanization. (C) 2001 Elsevier Science B.V. All rights reserved.

The application of the MPB4 theory to the interface between between two immiscible electrolyte solutions .4. The differential capacitance of the water/nitrobenzene interface in the presence of 2:2 electrolyte

We have developed a new theoretical model based on the MPB4 theory to calculate the differential capacitance of the interface of 0.05mol/L MgSO4 in water and 0.1mol/L TBATPB in nitrobenzene. Our results coincide with the experimental values very well. It indicates that our model may describe well the structure of ITIES not only in the presence of 1:1 electrolyte but also in the presence of 2:2 electrolyte.