A typed functional extension of logic programming

A logic language is suitable for specification if it is equipped with features for data abstraction and modularization. In this paper, an effective mechanism to incorporate function and type into logic programming is presented as the means to embed data abstraction mechanism into logic programming. This incorporation is essentially based on Horn clause logic with equality and a polymorphic type system that is an extension of Mycroft and O’Keefe’s system. This paper also presents an implementation based on Warren Abstract Machine (WAM) and shows the performance, along with a comparison with WAM.     

Synthesis and characterization of poly(siloxane-urethane)s

A series of polyurethane block copolymers based on hydroxy-terminated polydimethylsiloxane and poly(propylene glycol) soft segments of molecular weights 1818 and 2000, respectively, were synthesized. The hard segments consisted of 4,4′-diphenylnethane diisocyanate and 1,4-butanediol as the chain extender. Samples with different molar ratios were prepared. We tried to synthesize polydimethylsiloxane-based polyurethanes (PDMS-PU) containing a hard block as major fraction and a soft block as minor fraction for preparing toughened rigid systems. After a study of the pure polydimethylsiloxane-based polyurethane and poly(propylene glycol)-based polyurethane (PPG-PU), (mixed polyol)-based block copolymers and blends of PDMS-PU and PPG-PU were synthesized, and characterized by means of differential scanning calorimetry, tensile testing and scanning electron microscopy. In (mixed polyol)-based copolymers and lower hard-segment content blends, macro-phase separation occurred, but blends with higher hard-segment contents showed significant reduction in amounts of phase separation.     

Simple ASK transmitter using a 790 nm self-pulsating laser diodefor local area networks

A simple amplitude shift keying (ASK) optical link is demonstrated by using a low-cost self-pulsating laser diode and an envelope detector for a low-cost broadband local area network. A link sensitivity of -22 dBm was achieved at 200 Mbit/s. Because the self-pulsation frequency can be tuned by the bias current, frequency division multiplexing can be simply implemented for multiuser applications     

InSb,GaSb, and GaInSb grown using trisdimethylaminoantimony

GalnSb alloys as well as the constituent binaries InSb and GaSb have been grown by organometallic vapor phase epitaxy using the new antimony precursor trisdimethylaminoantimony (TDMASb) combined with conventional group III precursors trimethylindium (TMIn) and trimethylgallium (TMGa). InSb layers were grown at temperatures between 275 and 425°C. The low values of V/III ratio required to obtain good morphologies at the lowest temperatures indicate that the pyrolysis temperature is low for TDMASb. In fact, at the lowest temperatures, the InSb growth efficiency is higher than for other antimony precursors, indicating the TDMASb pyrolysis products assist with TMIn pyrolysis. A similar, but less pronounced trend is observed for GaSb growth at temperatures of less than 500°C. No excess carbon contamination is observed for either the InSb or GaSb layers. Ga_1-xIn_xSb layers with excellent morphologies with values of x between 0 and 0.5 were grown on GaSb substrates without the use of graded layers. The growth temperature was 525°C and the values of V/III ratio, optimized for each value of x, ranged between 1.25 and 1.38. Strong photoluminescence (PL) was observed for values of x of less than 0.3, with values of halfwidth ranging from 13 to 16 meV, somewhat smaller than previous reports for layers grown using conventional precursors without the use of graded layers at the interface. The PL intensity was observed to decrease significantly for higher values of x. The PL peak energies were found to track the band gap energy; thus, the luminescence is due to band edge processes. The layers were all p-type with carrier concentrations of approximately 10¹⁷ cm³. Transmission electron diffraction studies indicate that the Ga_0.5In_0.5 Sb layers are ordered. Two variants of the Cu-Pt structure are observed with nearly the same diffracted intensities. This is the first report of ordering in GalnSb alloys.     

Analysis of culture fluorescence by a fiber-optic sensor inNicotiana tabacum plant cell culture

The on-line sensing of viable cell weight in plant cell culture process is applied to analysis and control of process. The fiber-optic fluorescence sensor was constructed to measure the NADH-dependent fluorescence inNicotiana tabacum plant cell culture and the analysis of fluorescence signal was done to be correlated with the viable cell weight. The structured kinetic model for cell growth was proposed to estimate the theoretical viable cell weight. The dimensional analysis was proposed for the interpretation of fluorescence signal, in which the path length, the inner filter effect and the hydrodynamic conditions were considered as the key factors on fluorescence signal. The dimensional analysis and empirical correlation of fluorescence signal to viable cell weight was applied to the interpretation of the detected fluorescence signal during cultivation. The proposed interpretation of fluorescence signal using dimensional analysis was well correlated with the viable cell weight estimated by the structured kinetic model as well as by empirical correlation.     

Insight into the chemical reaction of CH2OH with NO: Formation of N-hydroxy formamide as an isocyanic acid precursor

This study has explored the potential energy surface on the chemical reaction of CH₂OH with NO by using ab initio calculation. We have found the new reaction pathway producing N-hydroxy formamide, which can further decompose to generate isocyanic acid as a reducing agent of hydrocarbons selective catalytic reduction.     

Optical packet switching in core networks: between vision andreality

The research on optical packet switching (OPS) has witnessed considerable progress in the 1990s. We examine the future potential of OPS in the core network by discussing this switching approach and the current status of a number of its enabling technologies. Many of these technologies are still in the stage of research and experimentation. We see that optical packet switching may be deployed in the long-term future subject to satisfaction of three main conditions/developments. First, additional technological developments have to take place to overcome remaining implementation challenges while making OPS cost-effective to deploy. Second, a rational migration scenario of the network toward gradual deployment of packet-based optical switching approaches should exist. Finally, carriers have to become more interested in packet-based optical switching solutions     

A 17-GHz Push–Push VCO Based on Output Extraction From a Capacitive Common Node in GaInP/GaAs HBT Technology

This paper presents a new push-push voltage-controlled oscillator (VCO) technique that extracts a second harmonic output signal from a capacitive common node in a negative-g_m oscillator topology. The generation of the second harmonics is accounted for by the nonlinear current-voltage characteristic of the emitter-base junction diode causing: 1) significant voltage clipping and 2) different rise and fall times during the switching operation of the core transistors. Comparative investigations show the technique is more power efficient in the high-frequency region than a conventional push-push technique using an emitter common node. A prototype 17-GHz VCO realized in GaInP/GaAs HBT technology produces an output power of -6dBm and a phase noise of -110.4dBc/Hz at 1-MHz offset, which is equivalent to a VCO figure-of-merit of -184.3dBc/Hz, while drawing 4.38 mA from a 3.0-V supply     

Examination of the role of oxygen in the photografting of methacrylic acid on a polyethylene film with a mixed solvent consisting of water and organic solvents

The photografting of methacrylic acid (MAA) on a linear low‐density polyethylene film (thickness = 30 μm) under air and nitrogen atmospheres was investigated at 60°C in mixed solvents consisting of water and an organic solvent, with xanthone as a photoinitiator. The organic solvents used were acetone, methanol, tetrahydrofuran, and dioxane. A maximum percentage of grafting occurred at a certain concentration of the organic solvent in the mixed solvent. This was observed for the systems under both air and nitrogen. The grafting reaction under air exhibited an induction period, but the rate of grafting after the period was greater than that under nitrogen. The formation of poly(ethylene peroxide)s by photoirradiation seemed to be a factor for the accelerated photografting under air. On the basis of attenuated total reflection infrared spectroscopy and scanning electron microscopy of the grafted film, the MAA‐grafted chains of the sample prepared under air tended to penetrate more deeply inside the film than those of the sample prepared under nitrogen. The resulting grafted films exhibited a pH‐responsive character: the grafted films shrank in an acidic medium but swelled in alkaline medium. This was evaluated from measurements of dimensional changes in the grafted films. © 2003 Wiley Periodicals, Inc. J Appl Polym Sci 89: 992–998, 2003     

Analysis of adaptive bandwidth allocation in wireless networks with multilevel degradable quality of service

A wireless/mobile network supporting multilevel quality of service (QoS) is considered. In such a network, users or applications can tolerate a certain degree of QoS degradation. Bandwidth allocation to users can, therefore, be adjusted dynamically according to the underlying network condition so as to increase bandwidth utilization and service provider's revenue. However, arbitrary QoS degradation may be unsatisfactory or unacceptable to the users, hence resulting in their subsequent defection. Instead of only focusing on bandwidth utilization or blocking/dropping probability, two new user-perceived QoS metrics, degradation ratio and upgrade/degrade frequency, are proposed. A Markov model is then provided to derive these QoS metrics. Using this model, we evaluate the effects of adaptive bandwidth allocation on user-perceived QoS and show the existence of trade offs between system performance and user-perceived QoS. We also show how to exploit adaptive bandwidth allocation to increase system utilization (for the system administrator) with controlled QoS degradation (for the users). By considering various mobility patterns, the simulation results are shown to match our analytical results, demonstrating the applicability of our analytical model to more general cases.