One-step synthesis and size control of dendrimer-protected gold nanoparticles: A heat-treatment-based strategy

Dendrimer-protected gold nanoparticles have been facilely obtained by heating an aqueous solution containing third generation poly(propyleneimine) dendrimers and HAuCl4 without the additional step of introducing other reducing agents. Transmission electron microscopy (TEM) and UV vis data indicate the size the nucleation and growth kinetics of gold nanoparticles thus formed which can be tuned by changing the initial molar ratio of dendrimer to gold.

Carbonate cycle and its control factors in Kuroshio source region during the last 190ka BP

Two deep sea cores (Ph05-5, 16.05 degrees N, 124.34 degrees E, water depth 3382m and WP3: 22.15 degrees N, 122.95 degrees E, water depth 2700m) retrieved from the Kuroshio source region of the western Philippine Sea were selected to carry out the CaCO3 and calcareous nannofossil faunas study. Based on AMS(14)C data and comparing tire oxygen isotope curve with SPECMAP delta O-18 (Martinson et al., 1987) a stratigraphy was established. And, combining the changes of primary productivity and dissolution index of carbonate, the carbonate cycle and its control factors were analyzed in this region during the last 190ka BP. The carbonate contents showed higher values in the glacial periods and lower values during the interglacial and Holocene periods, which characteristics was similar to the tendency of "Pacific Type" carbonate cycle. However, there were high carbonate contents in the warm period and low values during the cold interval, which displayed the same tendency with the "Atlantic Type" carbonate cycle during the last glacial period (MIS4-2) in the east of Phillipines. The variations of primary productivity and carbonate dissolution index indicated that the carbonate dissolution was a major factor controlling the carbonate content in tire cast of Philippines, and the variations in carbonate contents were mainly affected by the productivity of calcareous organism in the Southeast of Taiwan. The "Atlantic Type" carbonate cycle in the cast of Phillipines during the last glacial period (MIS4-2) was an effect of the process of dissolution combined with the change of primary productivity.

Molecular phylogeny of three subspecies of common carp Cyprinus carpio, based on sequence analysis of cytochrome b and control region of mtDNA

The complete cytochrome b and the control region of mtDNA (about 2070 bp in total) of 10 strains belonging to three subspecies of the common carp, including three wild subspecies (the Yangtze River wild common carp - Cyprinus carpio haematopterus, Yuanjiang River wild common carp Cyprinus carpio rubrofuscus and Volga River wild common carp - Cyprinus carpio carpio) and seven domestic strains (Xingguo red carp, Russian scattered scaled mirror carp, Qingtian carp, Japanese Koi carp, purse red carp, Big-belly carp, German mirror carp) were sequenced. Phylogenetic analysis indicated that the 10 strains form three distinct clades, corresponding to C. c. haematopterus, C. c. rubrofuscus and C. c. carpio respectively. Purse red carp, an endemic domestic strain in Jiangxi province of China, showed a higher evolution rate in comparison with the other strains of C. c. haematopterus, most probably because of intensive selection and a long history of domestication. Base variation ratios among the three subspecies varied from 0.78% (between C. c. haematopterus and C. c. rubrofuscus) to 1.47%(between C. c. carpio and C. c. rubrofuscus). The topography of the phylogenetic tree and the geographic distribution of three subspecies closely resemble each other. The divergence time between C. c. carpio and the other two subspecies was estimated to be about 0.9 Myr and about 0.5 Myr between C. c. haematopterus and C. c. rubrofuscus. Based on phylogenetic analysis, C. c. rubrofuscus might have diverged from C. c. haematopterus.

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.