用收敛类描述第二可数公理

用由敛类刻划了满足第二可数公理的空间，并得到一个充要条件。     

用收敛类刻划第一可数公理

用收敛类诱导出满足第一可数公理的拓扑空间，并得到一个拓扑空间满足第一可数公理的充要条件。     

预拓扑与网族的预收敛类

引入了网族及预收敛类的概念,给出了从T(X)(即X上的预拓扑的全体)到S(X)(即X上的预收敛类的全体)的单射,证明了当X是有限集时该映射是双射.     

一个基础集可数但不满足第一可数性公理的拓扑空间

本文构造了一个实例,表明一拓朴空间(X,J)尽管|X|是可数的,但(X,J)不适合第一可数性公理。     

LF拓扑空间的几乎可数性

本文推广了文[2]的几乎可数性。讨论了几乎可数性与相应可数性的关系。对一类较广泛的ω—并生成格证明了诱导空间是几乎第二可数性(几乎第一可数,几乎可分)的充要条件是底空间具有相应的几乎可数性,因此这种推广是 Lowen 意义下好的推广。     

网收敛在刻画分离公理中的作用分析

序列收敛在拓扑学中有重要作用.在第一可数空间中,用序列收敛可以充分刻画其相关概念.但在一般拓扑空间中,需要网而不是序列作为基本收敛工具之一.本文意在探索网收敛在刻画低分离公理中的作用,同时,文中也尝试补充给出网对正则空间,正规空间的刻画.最后,肯定一个事实,拓扑与网收敛是等价的.     

I-fuzzy拓扑中的可数性

在I-fuzzy拓扑空间中利用R-邻域系给出了I-fuzzy第一可数性、I-fuzzy第二可数性、I-fuzzy稠密性等概念,并进一步讨论了它们之间的关系.     

德摩根拓扑代数的可数公理,可分性和连通性

本文引入和研究德摩根拓扑代数的可数公理，可分性和连通性，拓宽了原有的结果。     

格值诱导空间的可数性

讨论了拓扑空间及由它生成的诱导空间在可数性方面的联系。     

基于随机Petri网的系统性能评价

性能评价是计算机网络和计算机系统研究与应用的重要理论和支撑技术。综述了作者在基于随机 Petri网(SPN)的系统性能评价方面的研究工作 ,内容包括多服务器多队列网络、 SPN非乘积解系统的判定与界限求解、非乘积解系统模型的分解和近似求解、网络系统自相似业务到达、SPN模型的精化设计、含有非 Markov过程的排队 Petri网、基于 SPN的工作流系统、基于 SPN模型的缓冲优先调度策略、扩展时段时序逻辑的推理机制等方面。今后应加强对非Markov模型、综合模型及分解压缩技术等的研究     

不分明化拓扑空间中的拟R0分离公理的刻画

定义了不分明拓扑空间的拟R0分离公理。利用不分明拓扑空间的拟闭包、拟θ 闭包及拟内核对不分明拓扑空间的拟R0分离公理进行刻画。     

闭模糊拟阵导出独立集的等价描述

利用闭模糊拟阵可由基本序列和导出拟阵序列唯一确定的方法, 提出并证明一个子集族、 一个数列和由该子集族到该数列的一个满射, 在满足规范性、 继承性、 强单调减和增长性的条件下唯一确定一个闭模糊拟阵, 反之亦然. 该等价描述建立了普通集族与模糊独立集族的联系.     

相容关系的最大相容类的生成算法

集合A上的二元关系R称做相容关系,如果它是自反的、对称的。若B是集合A的非空子集,且B中的任意两个元素都有相容关系R,则称集合B为相容关系R的相容类。不能真包含在任何相容类中的相容类即为最大相容类。文章研究了生成相容关系的最大相容类所需要的理论,设计了生成相容关系的最大相容类的实用算法——优化广度优先搜索。     

Prediction of protein structural classes using the theory of increment of diversity and support vector machine

Based on the concept of the pseudo amino acid composition(PseAAC),protein structural classes are predicted by using an approach of increment of diversity combined with support vector machine(ID-SVM),in which the dipeptide amino acid composition of proteins is used as the source of diversity.Jackknife test shows that total prediction accuracy is 96.6% and higher than that given by other approaches.Besides,the specificity(Sp) and the Matthew’s correlation coefficient(MCC) are also calculated for each protein structural class,the Sp is more than 88%,the MCC is higher than 92%,and the higher MCC and Sp imply that it is credible to use ID-SVM model predicting protein structural class.The results indicate that:① the choice of the source of diversity is reasonable,② the predictive performance of ID-SVM is excellent,and ③ the amino acid sequences of proteins contain information of protein structural classes.     

划分空间上Henstock积分的测度刻划

由划分空间上的一般Ｈｅｎｓｔｏｃｋ积分定义了一种测试，给出了划分空间上Ｈｅｎｓｔｏｃｋ积分的测试刻划。     

R~3中极小曲面的Weierstrass表示及其第一和第二基本形式

本文运用极小曲面的Weierstrass公式的复向量形式以新的方法简单地导出了极小曲面的第一、二基本形式用W——因子表示的公式。     

非线性函数一阶和二阶泰勒展开截留项下的平差效果

顾及非线性函数的二阶泰勒展开项的非线性平差理论是当前理论界研究的一个热点 ,也是一个疑点 通过对顾及一阶泰勒项及顾及二阶泰项勒两种情形下的平差过程及其效果作了细致地对比 ,得出了“二阶项对一阶项平差无明显改善”及“顾及二阶项的平差方法的性价比不合理”的结论 ,指出测量平差的归属是建立非线性函数空间的平差与数据处理理论 图 1 ,表 3,参 6