序列邻域网与1-序列覆盖映射

本文刻划了度量空间,局部可分度量空间在一些序列覆盖下象空间的特性,给出了度量空间的1－序列覆盖msss-一象,2序列覆盖msss像的内在刻划,证明了局部可分度量的1－序列覆盖ss-像,2－序列覆盖ss-像的两个等价命题。     

度量空间的弱k映象

给出了度量空间的弱k映射的定义,由此证明了X具有σ紧有限的CS~*网当且仅当X是度量空间诱导序列商弱k象;X具有σ紧有限的CS网当且仅当X是度量空间诱导序列覆盖弱k象;X具有σ紧有限的序列邻域网当且仅当X是度量空间诱导1序列覆盖弱k象.     

局部可分度量空间的π映象

利用筛的概念给出了局部可分度量空间的序列商象及序列覆盖π象的内在刻画,证明了空间是X局部可分度量空间的序列商(序列覆盖)π象当且仅当具X有可数纤维的cs* (cs)筛构成的点星网。     

关于可数网络的注记

通过各种可数网的讨论，给出了可分度量空间的１序列覆盖、序列覆盖象的内在刻划。     

局部可分度量空间的序列覆盖ss象

给出了局部可分度量空间的各类序列覆盖ss象的刻划。     

1-序列商映射和2-序列商映射相关性质

通过引入2-序列商映射的定义,讨论1-序列商映射和2-序列商映射的相关性质.给出：2-序列商映射保持sof可数空间;映射f：X→Y,如果X为snf可数（sof可数）空间,f为1-序列商映射（2-序列商映射）,则f为1-序列覆盖映射（2-序列覆盖映射）等结果.这些结果改进并推广广义度量空间映射象的有关理论.     

具有σ-局部可数cs*-网的空间

利用ponomarrv's方法及msss映射的定义,研究了广义度量空间中的点可数覆盖问题.证明了具有σ-局部可数cs*-网的空间可以刻划成度量空间的序列覆盖映射和强序列覆盖映射下的象,从而使关于对σ-局部可数族的讨论趋于完整.     

仿紧局部可分空间的一些注记

研究了仿紧局部可分空间在一些L映射下象的性质后,文章继续讨论仿紧局部可分空间的映象问题。给出了点可数k覆盖与sL系之间的关系并进一步得到仿紧局部可分空间在一些紧覆盖映射下的象与k覆盖以及与sL系之间的关系,探讨了仿紧局部可分空间在2-序列覆盖L-映射下的象与序列开覆盖之间的联系,建立了仿紧局部可分空间的一些L-映象之间的联系。     

具有σ-局部可数cs* - 网的空间

利用ponomarrv's 方法及msss 映射的定义, 研究了广义度量空间中的点可数覆盖问题. 证明了具有σ-局部可数cs^* - 网的空间可以刻划成度量空间的序列覆盖映射和强序列覆盖映射下的象, 从而使关于对σ- 局部可数族的讨论趋于完整.     

关于序列覆盖K映射的注记

利用sn覆盖和cs覆盖概念,以及度量空间的序列覆盖k-映象和1序列覆盖k-映象的内部特征,证明了度量空间上的序列覆盖k-映射是1序列覆盖映射,并构造例子说明度量空间上的序列商k-映射不是序列覆盖映射．     

序列覆盖ss映射与cs网

以一种简单方式给出了局部可分度量空间几类序列覆盖ss映象的特征。     

仿紧局部cosmic空间的CL-映象

建立了仿紧局部cosmic空间的几类序列覆盖CL-映象的特征。     

仿紧局部Lindel of空间的序列覆盖SL映象

本文建立了仿紧局部Lindelof空间的几类序列覆盖SL映象和商SL映象的特征。     

矩形条覆盖问题的贪心算法

讨论了计算几何学中的矩形条覆盖问题 ,提出解决该问题的一个有效算法 ,并对提出的算法进行了分析 .     

面向用户需求的覆盖约简模型

许多学习算法都存在这样一个偏置：属性集中的属性同等重要.然而,这种假设不一定实际.如果把属性集中的属性根据实际情况考虑为分别具有不同的重要性,那么由此获得的模型应该更合理,也有不少学者将此考入到算法中.文章将计算属性约简的问题转化为计算集合覆盖约简问题的思想,通过将描述用户需求或偏好的属性序纳入考虑,设计了基于用户需求的覆盖约简算法,并且对计算复杂性分析.最后运用实例验证了算法的可行性和有效性.     

基于着色Petri网测试用例的自动生成

针对基于UML的面向对象程序设计方法及着色Petri网的特点,提出了一种基于着色Petri网的测试用例生成方法,该方法将UML的时序图描述转化为着色Petri网的形式化描述,通过深度优先遍历着色Petri网找出系统的测试路径,对给出的测试数据采用爬山法进行测试用例的选择,最后,根据路径覆盖的原则产生完整的测试用例．     

Initial sequencing and comparative analysis of the mouse genome

The sequence of the mouse genome is a key informational tool for understanding the contents of the human genome and a key experimental tool for biomedical research. Here, we report the results of an international collaboration to produce a high-quality draft sequence of the mouse genome. We also present an initial comparative analysis of the mouse and human genomes, describing some of the insights that can be gleaned from the two sequences. We discuss topics including the analysis of the evolutionary forces shaping the size, structure and sequence of the genomes; the conservation of large-scale synteny across most of the genomes; the much lower extent of sequence orthology covering less than half of the genomes; the proportions of the genomes under selection; the number of protein-coding genes; the expansion of gene families related to reproduction and immunity; the evolution of proteins; and the identification of intraspecies polymorphism.     

Genome sequence of the Brown Norway rat yields insights into mammalian evolution

The laboratory rat (Rattus norvegicus) is an indispensable tool in experimental medicine and drug development, having made inestimable contributions to human health. We report here the genome sequence of the Brown Norway (BN) rat strain. The sequence represents a high-quality 'draft' covering over 90% of the genome. The BN rat sequence is the third complete mammalian genome to be deciphered, and three-way comparisons with the human and mouse genomes resolve details of mammalian evolution. This first comprehensive analysis includes genes and proteins and their relation to human disease, repeated sequences, comparative genome-wide studies of mammalian orthologous chromosomal regions and rearrangement breakpoints, reconstruction of ancestral karyotypes and the events leading to existing species, rates of variation, and lineage-specific and lineage-independent evolutionary events such as expansion of gene families, orthology relations and protein evolution.     

Arrangement of human immunoglobulin heavy chain constant region genes implies evolutionary duplication of a segment containing gamma, epsilon and alpha genes

Cosmid clones containing the human gamma, epsilon and alpha heavy chain constant region genes and an epsilon pseudogene have been isolated. All these genes have a switch sequence detectable by hybridization. We have studied overlapping cosmids covering two separate regions of the genome, and the gene order in each of these regions was found to be gamma-gamma-epsilon-alpha. This implies an evolutionary duplication in this multigene family involving gamma, epsilon and alpha genes.     

基于背景Codebook模型的前景检测算法

很多背景场景都包括复杂的运动目标,解决这种问题的较好方法是获取每个像素或者一组像素的时间序列模型,这类模型可以很好的处理时间起伏。但是,计算复杂度高而且耗时。为了获得与自适应滤波相当接近的性能。采用Codebook来建模场景中感兴趣的状态,选择RGB颜色空间模型,学习一个覆盖组成图像像素三个通道上的Codebook,可以有效的解决像素剧烈变化的问题,从而鲁棒探测出场景的前景目标。通过实验结果表明,提出的基于Codebook背景模型的目标检测方法比传统的目标检测算法具有更高的精确度和鲁棒性。