Microarray Analyses of Gene Expression during the Tetrahymena thermophila Life Cycle

Background: The model eukaryote, Tetrahymena thermophila, is the first ciliated protozoan whose genome has been sequenced, enabling genome-wide analysis of gene expression. Methodology/Principal Findings: A genome-wide microarray platform containing the predicted coding sequences (putative genes) for T. thermophila is described, validated and used to study gene expression during the three major stages of the organism's life cycle: growth, starvation and conjugation. Conclusions/Significance: Of the,27,000 predicted open reading frames, transcripts homologous to only,5900 are not detectable in any of these life cycle stages, indicating that this single-celled organism does indeed contain a large number of functional genes. Transcripts from over 5000 predicted genes are expressed at levels >5x corrected background and 95 genes are expressed at >250x corrected background in all stages. Transcripts homologous to 91 predicted genes are specifically expressed and 155 more are highly up-regulated in growing cells, while 90 are specifically expressed and 616 are up-regulated during starvation. Strikingly, transcripts homologous to 1068 predicted genes are specifically expressed and 1753 are significantly up-regulated during conjugation. The patterns of gene expression during conjugation correlate well with the developmental stages of meiosis, nuclear differentiation and DNA elimination. The relationship between gene expression and chromosome fragmentation is analyzed. Genes encoding proteins known to interact or to function in complexes show similar expression patterns, indicating that co-ordinate expression with putative genes of known function can identify genes with related functions. New candidate genes associated with the RNAi-like process of DNA elimination and with meiosis are identified and the late stages of conjugation are shown to be characterized by specific expression of an unexpectedly large and diverse number of genes not involved in nuclear functions.

基于PAR的算法形式化开发

形式化方法是构建可信软件的重要途径.基于对算法问题的分析,针对形式化方法PAR开发算法的特征,刻划了问题分划、递推关系构造方面的规律.从一类问题的形式化功能规约出发,可机械地完成问题的分划及规约的变换,自然地揭示出求解问题的算法思想,在相关工具的支持下自动生成算法程序.研究结果将算法设计中尽可能多的创造性劳动转化为非创造性劳动,降低了形式化求解算法问题的难度,提高了算法程序的可靠性和形式化开发效率.

PAR方法和循环不变式的范畴语义

范畴论对理解程序规约及程序设计和正确性证明十分有用.PAR方法则是建立在严格的数学基础之上的一种统一的算法程序设计方法.循环不变式在循环算法程序的设计中至关重要.使用格理论和范畴论作为工具对PAR方法建立一个理论框架,并对其用范畴论的概念加以解释,从而使得PAR有更强的理论基础.在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程.

长白山阔叶红松林生产力对气候变化响应的模拟研究

本论文以长白山阔叶红松林为研究对象，观测了阔叶红松林主要树种的光合生理生态特征，建立了单叶化汁卜片的光合作用模型，上推出群落的生产力模型，采用基于干物质生产过程的模型Sim-CYCLE，模型了该生态系统对·气候变化的响应。得到主要结论如下：（1）、在不同的CO2浓度和光合有效辐射条件下，长白山阔价卜红松林主要树种净光合速率月动态规律不同；气孔导度随着瞬时光合有效辐射强度和C02浓度的增加而有下降趋势。（2）、建立的适用于阔价f一红松林的单叶化气孔导度对环境因子气温（Ta）、光合有效辐射（PAR）、饱和水汽压（VPD）的响应模型：gs＝PAR（-1.606Ta2＋118.192Ta＋1878.67）／（355.700+PAR）（-430.433+VPL），这是一个基于叶片光合机理的群落生产力模型，在模拟了长白山阔叶红松林群落生产力时取得了满意的效果。（3）、采用干物质产量理论的Sim-CYCLE模型，通过样地尺度的参数化模拟表明，长白山阔叶红松林生态系统的总初级生产力（GPP）为14.89Mgcha-1、净初级生产力（NPP）为8.22MgCha-1、净生态系统生产力困EP）为2．67MgCha-1；在CO2倍增和温度上升时碳积累在增加，净初级生产力（NPP）为9.03±1.51MgCha-1、净生态系统生产力（NEP）为2.95±0.47MgCha-1。

Investigation of high cycle and Very-High-Cycle Fatigue behaviors for a structural steel with smooth and notched specimens

The high cycle and Very-High-Cycle Fatigue (VHCF) properties of a structural steel with smooth and notched specimens were studied by employing a rotary bending machine with frequency of 52.5 Hz. For smooth specimens, VHCF failure did occur at fatigue cycles of 7.1 x 10(8) with the related S-N curve of stepwise tendency. Scanning Electron Microscopy (SEM) was used for the observations of the fracture surfaces It shows that for smooth specimens the crack origination is surface mode in the failure regime of less than 10(7) cycles While at VHCF regime, the material failed from the nonmetallic inclusion lies in the interior of material, leading to the formation of fisheye pattern. The dimensions of crack initiation region were measured and discussed with respect to the number of cycles to failure. The mechanism analysis by means of low temperature fracture technique shows that the nonmetallic inclusion in the interior of specimen tends to debond from surrounding matrix and form a crack. The crack propagates and results to the final failure. The stress intensity factor and fatigue strength were calculated to investigate the crack initiation properties. VHCF study on the notched specimens shows that the obtained S-N curve decreases continuously. SEM analysis reveals that multiple crack origins are dominant on specimen surface and that fatigue crack tends to initiate from the surface of the specimen. Based on the fatigue tests and observations, a model of crack initiation was used to describe the transition of fatigue initiation site from subsurface to surface for smooth and notched specimens. The model reveals the influences of load, grain size, inclusion size and surface notch on the crack initiation transition. (C) 2010 Elsevier Ltd. All rights reserved