相容半连续格

给出了相容半连续格的概念以及它的若干性质,利用相容半素极小集的方法阐述了映射的相容半连续性、保c关系和保相容半素极小集之间的联系,并得到相容半连续格的任意收缩仍是相容半连续格的结论.     

相容半Scott拓扑

文章给出相容半Scott拓扑的概念,讨论相容半连续格上相容半Scott拓扑的一些基本性质。     

半连续dcpo的局部半基的若干理论

对连续格、半连续格、半连续dcpo等的相关定义与主要性质进行比较,得到它们的联系与区别,作出一些补充,并给出半连续dcpo的局部半基的概念,从而得到一些相关性质与结论.     

拟相容半连续格

给出了拟相容半连续格的概念以及它的若干性质,讨论了拟相容半连续格的像集是拟相容半连续格的条件.     

相容拟半连续Domain和相容交半连续Domain

引入了相容拟半连续Domain和相容交半连续Domain的概念, 给出了一系列好的性质。分别给出了相容半连续Domain与相容拟半连续Domain、相容交半连续Domain间的关系, 并且利用相容半Scott拓扑刻画了相容交半连续Domain。     

半格的局部化与张量积

本文给出格局部化中一个张量积表示公式，并给出张量积与同态半格的关系。     

基于矩阵的动态局部相容粗糙集的增量方法

粗糙集模型作为一种重要的粒计算模型,是处理数据的重要工具.在实际生活中,由于数据来源的多样性,信息系统常出现集值型数据,这些信息系统被称为集值信息系统.由于信息的更新,集值信息系统中的属性集会发生动态变化,因此,基于局部相容粗糙集模型,研究用矩阵来表示其上、下近似的方法,讨论随着属性集的动态变化局部关系矩阵的变化以及上、下近似的变化,并通过具体实例说明提出的更新方法在处理集值型数据时的有效性.最后给出与增量方法对应的算法,并在UCI数据库中选取了几组数据进行实验.实验结果证明,这种通过矩阵表示上、下近似并对其进行更新的方法是有效的,可以提高计算效率,降低时间复杂度.     

关于半连续性与拟凸函数的注记

函数的半连续性和拟凸性已在许多地方进行了讨论，并且给出了一些函数的各种拟凸性的判别方法，本文对其中有些判别法的不足之处予以修正，从而推广了有关结果，并给了了另一些关于拟凸性的充要条件。     

局部dcpo上的S-极限

在局部dcpo上引入了S-极限的概念，并利用S-极限来刻划Scott拓扑和连续的局部dcpo。其主要结果：证明了U是Scott开集当且仅当U∈O(S)；D是连续的局部dcpo当且仅当，S-收敛是关于Scott拓扑的拓扑收敛。     

偏序集拟阵的基和圈

研究了偏序集拟基和圈的一些基本性质，得到了组合概型的一个反链是它的所有圈集的充分必要条件，从而得到了偏序集拟阵的圈公理，同时还纠正了文献[2]中的一个错误。     

偏序集与不同种广义拟阵间的包含关系

众所周知,偏序集理论在研究广义拟阵论中起着重要作用.但是偏序集理论与不同种广义拟阵间的包含关系的直接联系是什么呢?怎样运用偏序集理论的手法去解决该问题呢?为得到答案,首先对于定义在同一集上的全体广义拟阵构造一个偏序关系,运用这种偏序关系讨论不同种的广义拟阵间的包含关系.多数结论是以构造方式给出,因此也使其在理论和运用方面更加简捷明了.     

度量空间中某类泛函极小的Hlder连续性

主要研究了牛顿空间中泛函F(u,gu)=∫f(u,gu)dμ的极小问题,其中对某常数c>0,泛函满足gup-c|u|p≤f(u,gu)≤gpu+c|u|p.牛顿空间是Sobolev空间在度是空间中的推广,具有更一般的性质.在该空间中研究偏微分方程,对建立更一般的偏微分方程理论具有指导和开拓意义.本文利用De Giorgi迭代的方法研究了该泛函极小的正则性,证明了该泛函极小的Hlder连续性.这使得我们在不求精确解的情况下,利用方程本身的条件可以对方程解进行数值估计.     

拟连续Domain的特征与浓度

在定向完备偏序集(即Dcpo)上引入局部拟基和稠密子集族的概念,在此基础上定义了拟连续Domain的特征和浓度.利用局部拟基给出拟连续Domain新的等价刻画,并探讨了拟连续Domain的特征、浓度与该拟连续Domain上赋予Scott拓扑或Lawson拓扑时的拓扑空间的特征、浓度之间的关系.证明了拟连续Domain的特征(浓度)等于其上赋予Scott拓扑时的拓扑空间的特征(浓度),且小于等于其上赋予Lawson拓扑时的拓扑空间的特征(浓度).     

函数一致连续的充要条件及其应用

讨论了定义在有限开区间（n,6）和无限区间[a,＋∞）上的函数的一致连续性,给出函数的一致连续的几个充要条件。     

LF拓扑空间的完全正则化及应用

研究了ＬＦ拓扑空间的完全正则性,引入完全正则ＬＦ集和ＬＦ拓扑空间的完全正则化的概念并给出了等价刻画。在此基础上,建立了完全正则ＬＦ拓扑空间和Ｈ（λ）完全正则空间的新的特征定理。     

连续Domain的特征与浓度

引入了连续Domain的局部基和稠密子集的概念，在此基础上定义了连续Domain的特征及浓度，给出了局部基的刻画，并讨论了连续Domain的特征、浓度与连续Domain带上Scott拓扑或Lawson拓扑的拓扑空间的特征、浓度之间的关系。证明了连续Domain的特征、浓度分别与它带上Scott拓扑时的拓扑空间的特征、浓度相等，它们分别小于连续Domain带上Lawson拓扑时的拓扑空间的特征、浓度。     

Combined Timetabling Procedure and Complete Local Search for No-Wait Job Shop Scheduling with Total Tardiness

The strong non-deterministic polynomial-hard （NP-hard） character of job shop scheduling problem （JSSP） has been acknowledged widely and it becomes stronger when attaches the no-wait constraint, which widely exists in many production processes, such as chemistry process, metallurgical process. However, compared with the massive research on traditional job shop problem, little attention has been paid on the no-wait constraint. Therefore, in this paper, we have dealt with this problem by decomposing it into two sub-problems, the timetabling and sequencing problems, in traditional frame work. A new efficient combined non-order timetabling method, coordinated with objective of total tardiness, is proposed for the timetabling problems. As for the sequencing one, we have presented a modified complete local search with memory combined by crossover operator and distance counting. The entire algorithm was tested on well-known benchmark problems and compared with several existing algorithms. Computational experiments showed that our proposed algorithm performed both effectively and efficiently.     

极小集和定向极小集的性质

文[7]给出了极小集和定向极小集理论,本文就极小集和定向极小集作了进一步的研究,得出一些重要性质,本文最后给出连续格为完全分配格的一个充分条件。