Cloning and characterization of the first amphibian bradykinin gene

More than ten bradykinin-related peptides and their cDNAs; have been identified from amphibians, but their genes are unknown. In present study, four cDNAs encoding one, two, four and six copies of bradykinin-related peptides were cloned from the frog (Odorrana grahami) skin cDNA library, respectively. Three bradykinin-related peptides (bradykinin, Thr6-bradykinin, Leu5Thr6-bradykinin) were deduced from these four cDNA sequences. Based on the cDNA sequence, the gene sequence encoding an amphibian bradykinin-related peptide from O. grahami was determined. It is composed of 7481 base pairs including two exons and two introns. The first exon codes signal peptide and the second exon codes acidic spacer peptide and Thr6-bradykinin. The promoter region of the bradykinin gene contains several putative recognition sites for nuclear factors, such as SRY, GATA-1, LYF-1, DeltaE, CDXA, NKX-2.5, MIF1 and S8. The current work may facilitate to understand the regulation and possible functions of amphibian skin bradykinin-related peptides. (C) 2009 Elsevier Masson SAS. 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.

Heavy Metals in Soil and Crops of an Intensively Farmed Area: A Case Study in Yucheng City, Shandong Province, China

lThe study was supported by the Knowledge Innovation Foundation of the institute of Geographical Sciences and Natural Resource, Chinese Academy of Sciences (Grant No. 200906002) and Key Directional Project of Knowledge Innovation of Chinese Academy of Sciences (Grant No. KSCX2-YW-N-46-01). The authors would like to thank to Luke Driskell for his kind help and hard work on English language polishing of the article.