关于诱导的I(L)型Fuzzy拓扑群

利用Ｉ（Ｌ）型诱导空间讨论Ｌ－Ｆｕｚｚｙ拓扑群，得到了如下结论：（１）（ＬＸ，δ）是Ｌ－Ｆｕｚｙ拓扑群当且仅当（Ｉ（Ｌ）Ｘ，ω（δ））是Ｌ－Ｆｕｚｙ拓扑群；（２）诱导的Ｉ（Ｌ）型Ｆｕｚｙ拓扑群保持乘积与商运算。     

ZL算法及其在磁盘存贮中的应用

从理论上分析、引出并证明了一个具有特别意义的映射——ZL映射。从而构造了一个有主要应用的算法——ZL算法。并把它应用于解决磁盘存贮中的问题，最大程度地减少了寻找数据的时间，提高了速度和效率。     

非线性映象零点定理的推广

本文引入一类次单调映象，给出了这类映象方程的一个零点定理     

Mapping of the rice （Oryza sativa L.） thermo-sensitive genic male sterile gene tms5 with EST and SSR markers

VELOPING“TWO-LINE”HYBRID RICE.THE POLLEN FERTILITY OF TGMS IS REGULATED BY THE TEMPERATURE OF ENVIRONMENT.THE POLLENS OF TGMS LINES ARE STERILE WHEN THE ENVI-RONMENT TEMPERATURE IS ABOVE A CRITICAL POINT,BUT FERTILE BELOW THIS POINT.SO FAR,A NUMBER OF T…     

Strategy for the mapping of interactive genes using bulked segregant analysis method and Mapmaker/Exp software

A qualitative trait is usually controlled by a single gene, but it may be sometimes controlled by two or even more genes. This phenomenon is called gene interaction. Rapidly searching for linked mo- lecular markers via bulked segregant analysis (BSA) and then constructing regional linkage map with Mapmaker/Exp has become a common approach to mapping single major genes. However, methods and computer programs developed for mapping single major genes cannot be simply applied to interactive genes because the genetic patterns of gene interac- tions are quite different from that of single-gene in- heritance. Up to now, experimental methods for quickly screening molecular markers linked to inter- active genes and statistical methods and corre- sponding computer softwares for simultaneously analyzing the linkage relationships of multiple mo- lecular markers to an interactive gene have not been available. To solve this problem, in this paper, we propose a strategy for mapping interactive genes using BSA and Mapmaker/Exp. We demonstrate that all interactive genes can be mapped by the 'BSA Mapmaker/Exp' strategy using F2 generation (in a few cases, F3 generation is also needed). As BSA and Mapmaker/Exp have been broadly used in gene mapping studies and are well known by many re- searchers, the strategies proposed in this paper will be useful for practical researches.     

Genetic analysis and molecular mapping of a presenescing leaf gene psll in rice （Oryza sativa L.）

A rice psl1 （presenescing leaf） mutant was obtained from a japonica variety Zhonghua 11 via radiation of ^60Co-γ in M2 generation. Every leaf of the mutant began to wither after it reached the biggest length, while the leaves of the wild variety could keep green for 25--35 d. In this study, genetic analysis and gene mapping were carried out for the mutant identified. The SSR marker analysis showed that the mutant was controlled by a single recessive gene （psl1） located on chromosome 2. Fine mapping of the psl1 locus was conducted with 34 new STS markers developed around psl1 anchored region based on the sequence diversity between Nipponbare and 93-11. The psl1 was further mapped between two STS markers, STS2-19 and STS2-26, with genetic distances of 0.43 and 0.11 cM, respectively, while cosegregated with STS2-25. A BAC contig was found to span the psl1 locus, the region being delimited to 48 kb. This result was very useful for cloning of the psl1 gene.     

Banach空间中增生型变分包含解的具误差的Ishikava序列逼近问题

在Banach空间中研究一类增生型变分包含解的存在性及其具误差的Ishikava迭代程序的收敛性问题,对文献中相应结果进行了改进与推广.     

关于弱J-空间的一些性质

目的　研究弱J 空间、半弱J 空间及其乘积空间和J 空间的锥空间的一些性质。方法　在前人研究J 空间的基础之上,用类比的思想以及构造新空间(乘积空间与商空间)的方法来研究与弱J 空间有关的一些性质。结果　得到了有关弱J 空间和半弱J 空间的一些等价命题及乘积性质,也得到了J 空间的锥空间的性质。结论　①设{X1,X2,K}是空间X的闭覆盖并且满足K紧,X1∩X2= ,则X是弱J 空间当且仅当X1和X2是弱J 空间,且X1或X2紧;②判断乘积空间X1×X2是弱J 空间的一些充分必要条件;③如果X是连通的J 空间,那么Δ(X)是半弱J 空间。     

板材冲裁和翻口工艺特征识别及图形转换的研究

该文针对冲孔、翻孔两类板材冲压成形工艺方法的主要特点，设计了两类成形件的特征识别规则．根据形状特征与冲压加工特征间存在着单映射的关系，可以充分利用模型中的几何信息和拓扑关系来识别零件的特征．因板材零件的厚度与整个零件尺寸比较是小的，可以假设零件厚度为常数．在消除厚度边和厚度边组成的面后，其余边和面分成上、下两组．两组的几何边界和拓扑结构是相同的，上、下两面的法向矢量方向相反．通过对读入的IGES三维线框文件进行预处理，使之满足特征识别的需要，采用基于几何推理的特征识别技术实现了对冲压件主型面特征、冲孔特征、翻孔特征的识别与提取，从而为后期冲压工艺方案的制定做准备．     

GLAV集成方法中的模式匹配研究

GLAV是一种新的集成方法,它能为信息集成系统的映射关系提供更具表现力的方式.映射表示源模式与全局模式之间的对应关系,主要研究了GLAV集成方法中产生映射规则的模式匹配方法.首先将SUDAI模型转换为模式树,然后基于树进行匹配.匹配包含语言学和结构匹配两个基本阶段,语言学匹配结合了术语关系和约束进行计算,结构匹配结合了类属性和上下文节点两个方面,并成功解决了模式规模差异带来的负面影响.计算的结果可以判断两个信息类是否是一个映射候选,经过验证后可确定它是否是一个合理的映射.最后定义了一个基本DTD来描述匹配的最终结果.