Growth hormone gene transfer in common carp

The first successful case of transgenic fish was achieved in 1984. It is in a model system that the integration and expression of recombinant human growth hormone (hGH) in host red common carp (Cyprinus carpio, red var.) have been thoroughly studied. Recently, the integration sites have been recovered and characterized. Compared with non-transgenic peers, hGH-transgenic fish are prior in dietary utilization and growth performance. In view of bio-safety and bio-ethics, an "all-fish" construct CAgcGH, grass carp growth hormone fused with common carp P-actin promoter, has been generated and transferred into Yellow River carp (C carpio, local strain in Yellow River) fertilized eggs. Under middle-scale trial, CAgcGH-transgenics show higher growth rate and food conversion efficiency than the controls, which is consistent to laboratory findings. To avoid the potential impact of transgenic fish on the environment, a sterile strain of transgenic triploid fish has been successfully produced. The "all-fish" transgenic common carp is also approved safe enough as daily food, according to a test based on the pathological principles of new medicines issued by the Ministry of Health of China. The "all-fish" transgenic common carp with growth enhancement is now ready for market, but looking for governmental authorization. (C) 2003 Editions scientifiques et medicales Elsevier SAS and Ifremer/IRD/Inra/Cemagref. All rights reserved.

Formal specification and refinement of a safe train control function

Motivated by the design and development challenges of the BART case study, an approach for developing and analyzing a formal model for reactive systems is presented. The approach makes use of a domain specific language for specifying control algorithms able to satisfy competing properties such as safety and optimality. The domain language, called SPC, offers several key abstractions such as the state, the profile, and the constraint to facilitate problem specification. Using a high-level program transformation system such as HATS being developed at the University of Nebraska at Omaha, specifications in this modelling language can be transformed to ML code. The resulting executable specification can be further refined by applying generic transformations to the abstractions provided by the domain language. Problem dependent transformations utilizing the domain specific knowledge and properties may also be applied. The result is a significantly more efficient implementation which can be used for simulation and gaining deeper insight into design decisions and various control policies. The correctness of transformations can be established using a rewrite-rule based induction theorem prover Rewrite Rule Laboratory developed at the University of New Mexico.

Eye-safe, high-energy, single-mode all-fiber laser with widely tunable repetition rate

We present a novel high-energy, single-mode, all-fiber-based master-oscillator-power-amplifier (MOPA) laser system operating in the C-band with 3.3-ns pulses and a very widely tunable repetition rate, ranging from 30 kHz to 50 MHz. The laser with a maximum pulse energy of 25 mu J and a repetition rate of 30 kHz is obtained at, a wavelength of 1548 nm by using a double-clad, single-mode, Er:Yb co-doped fiber power amplifier.

UNITY-400超导核磁共振波谱仪SUN工作站电源的代换

本文介绍了用国产微机电源代替UNITY-400超导核磁共振波谱仪工作站电源的方法和步骤。

High-throughput synergy screening identifies microbial metabolites as combination agents for the treatment of fungal infections

The high mortality rate of immunocompromised patients with fungal infections and the limited availability of highly efficacious and safe agents demand the development of new antifungal therapeutics. To rapidly discover such agents, we developed a high-throughput synergy screening (HTSS) strategy for novel microbial natural products. Specifically, a microbial natural product library was screened for hits that synergize the effect of a low dosage of ketoconazole (KTC) that alone shows little detectable fungicidal activity. Through screening of approximate to 20,000 microbial extracts, 12 hits were identified with broadspectrum antifungal activity. Seven of them showed little cytotoxicity against human hepatoma cells. Fractionation of the active extracts revealed beauvericin (BEA) as the most potent component, because it dramatically synergized KTC activity against diverse fungal pathogens by a checkerboard assay. Significantly, in our immunocompromised mouse model, combinations of BEA (0.5 mg/kg) and KTC (0.5 mg/kg) prolonged survival of the host infected with Candida parapsilosis and reduced fungal colony counts in animal organs including kidneys, lungs, and brains. Such an effect was not achieved even with the high dose of 50 mg/kg KTC. These data support synergism between BEA and KTC and thereby a prospective strategy for antifungal therapy.