When is `partial' adequate? A logic-based proof technique using partial specifications

A technique is presented for ascertaining when a (finite-state) partial process specification is adequate, in the sense of being specified enough, for contexts in which it is to be used. The method relies on the automatic generation of a modal formula from the partial specification; if the remainder of the network satisfies this formula, then any process that meets the specification is guaranteed to ensure correct behavior of the overall system. Using the results, the authors develop compositional proof rules for establishing the correctness of networks of parallel processes and illustrate their use with several examples

A voltage-controlled ring oscillator using InP full enhancement-mode HEMT logic

A voltage-controlled ring oscillator (VCO) based on a full enhancement-mode InAIAs/InGaAs/InP high electron mobility transistor (HEMT) logic is proposed. An enhancement-mode HEMT (E-HEMT) is fabricated, whose threshold is demonstrated to be 10 mV. The model of the E-HEMT is established and used in the SPICE simulation of the VCO. The result proves that the full E-HEMT logic technology can be applied to the VCO. And compared with the HEMT DCFL technology, the complexity of our fabrication process is reduced and the reliability is improved.

A Monolithic Integrated Logic Circuit of Resonant Tunneling Diodes and a HEMT

A technology for the monolithic integration of resonant tunneling diodes (RTDs) and high electron mobility transistors (HEMTs) is developed. Molecular beam epitaxy is used to grow an RTD on a HEMT structure on GaAs substrate. The RTD has a room temperature peak-to-valley ratio of 5.2:1 with a peak current density of 22.5kA/cm~2. The HEMT has a 1μm gate length with a-1V threshold voltage. A logic circuit called a monostableto-bistable transition logic element (MOBILE) circuit is developed. The experimental result confirms that the fabricated logic circuit operates successfully with frequency operations of up to 2GHz.

Micronuclei induction in human lymphocytes induced by carbon ions exposion along the penetrate depth of ions in water

Here we used cytokinesis-block micronucleus assay to measure the biological response along the penetrate depth of ions in water in human lymphocytes exposed to 100 MeV/u incident carbon ions in vitro. Polyethylene shielding was used to change the penetration depth of ions in water. A quantitative biological response curve was generated for micronuclei induction. The results showed a marked increase with the penetrate depth of ions in water in the micronuclei formation, which was consistent with a linearenergy- transfer dependent increase in biological effectiveness. The dose–response relationship for MN information was different at different penetrate depth of ions in water, at the 6 and 11.2 mm penetrate depth of ions in water, the dose–response relationships for the micronucleus frequencies induced by carbon ions irradiation were linear; while it was power function at 17.1 mm penetrate depth.

Induction of cytogenetic adaptive response in spermatogonia and spermatocytes by pre-exposure of mouse testis to low-dose C-12(6+) ions

To investigate the effects of pre-exposure of mouse testis to low-dose C-12(6+) ions on cytogenetics of spermatogonia and spermatocytes induced by subsequent high-dose irradiation. the testes of outbred Kun-Ming strain mice were irradiated with 0.05 Gy of C-12(6+) ions as the pre-exposure dose, and then irradiated with 2 Gy as challenging dose at 4 h after per-exposure. Poly(ADP-ribose) polymerase (PARPs) activity and PARP-1 protein expression were respectively measured by using the enzymatic and Western blot assays at 4 h after irradiation; chromosomal aberrations in spermatogonia and spermatocytes were analyzed by the air-drying method at 8 h after irradiation. The results showed that there was a significant increase in the frequency of chromosomal aberrations and significant reductions of PARP activity and PARP-1 expression level in the mouse testes irradiated with 2 Gy of C-12(6+) ions. However, pre-exposure of mouse testes to a low dose of C-12(6+) ions significantly increased PARPs activity and PARP-1 expression and alleviated the harmful effects induced by a subsequent high-dose irradiation. PARP activity inhibitor 3-aminobenzamide (3-AB) treatment blocked the effects of PARP-1 on cytogenetic adaptive response induced by low-dose C-12(6+) ion irradiation. The data suggest that pre-exposure of testes to a low dose of heavy ions can induce cytogenetic adaptive response to subsequent high-dose irradiation. The increase of PARP-1 protein induced by the low-dose ionizing irradiation may be involved in the mechanism of these observations. (C) 2008 Elsevier B.V. All rights reserved.

Ginsenoside R-e increases fertile and asthenozoospermic infertile human sperm motility by induction of nitric oxide synthase

We investigated the effects of Ginsenoside R-e on human sperm motility in fertile and asthenozoospermic infertile individuals in vitro and the mechanism by which the Ginsenosides play their roles. The semen samples were obtained from 10 fertile volunteers and 10 asthenozoospermic infertile patients. Spermatozoa were separated by Percoll and incubated with 0, 1, 10 or 100 mu M of Ginsenoside R-e. Total sperm motility and progressive motility were measured by computer-aided sperm analyzer (CASA). Nitric oxide synthase (NOS) activity was determined by the H-3-arginine to H-3-citrulline conversion assay, and the NOS protein was examined by the Western blot analysis. The production of sperm nitric oxide (NO) was detected using the Griess reaction. The results showed that Ginsenoside R-e significantly enhanced both fertile and infertile sperm motility, NOS activity and NO production in a concentration-dependent manner. Sodium nitroprusside (SNP, 100 nM), a NO donor, mimicked the effects of Ginsenoside R-e. And pretreatment with a NOS inhibitor N-omega-Nitro-L-arginine methyl ester (L-NAME, 100 mu M) or a NO scavenger N-Acetyl-L-cysteine (LNAC, 1 mM) completely blocked the effects of Ginsenoside R-e. Data suggested that Ginsenoside R-e is beneficial to sperm motility, and that induction of NOS to increase NO production may be involved in this benefit.