有穷长半模偏序集上的一个定理

本文是对参考文献[1]第二章定理14证明的补充和改进。该定理乃指: 定理14.在任何上(或下)半模的有穷长的偏序集内,Jordan-Dedekind链条件成立。 文献[1]中,考虑上半模情形,谈到已知一个连接链:γ∶a=x_0相似文献   

考虑集卡到港时间延迟的堆场起重机动态调度研究

在集装箱码头的集港作业中,集卡延迟到港可能导致已制订堆场起重机作业计划变得次优甚至不可行.因此,及时为延迟到港任务更新作业计划具有必要性.考虑集卡到港时间延迟的堆场起重机动态调度问题,基于任务批次分配策略,将调度期划分为多个时段,在每个时段内生成作业计划.以完成时间最短为目标,建立起重机调度混合整数规划优化模型,并提出下界推导模型.提出迭代重优化框架,每当任务延迟到港,就会重优化相应批次的作业计划.在框架内,设计遗传算法求解各批次原有作业计划;设计贪婪插入算法重优化带延迟到港的任务,更新原有计划.实验结果表明,模型、下界推导模型具有正确性和有效性,算法具备良好的求解性能;缩短调度时段长度有利于快速生成起重机作业计划;延迟到港箱量占比越大,作业时间越长,且随着调度时段长度减小,这一影响逐渐弱化.     

WS~*-闭空间的性质

该文引入了一类包含Ｓ－闭空间的拓扑空间——ＷＳ＊－闭空间,并讨论了它的一些性质,对一些关于Ｓ－闭空间的已知命题,建立或推广得到ＷＳ＊－闭空间的相应命题。     

良定Hadamard问题的统一研究

本文给出了良定Ｈａｄａｍａｒｄ问题的一个统一定理。     

点集

本文仅限于讨论直线上的点集。将实数的全体所成之集记为R。所述之"点"、"开区间"、"闭区间"等概念与数学分析中所述相同。此处所讨论的有关各类点、点集的概念以及它们所反映的数学思想不仅是实变函数的基础,而且对其它数学学科也是十分重要的。1极限点与内点设给定一个点集EMR,点X。eR。那么0。与E的关系只有两种可能：00eE或X。巨E。但若分析X。的"附近"与E的相互关系则可发现有下列情形：（a）存在一个开区间（a,则使xoE（a,P）且《a,P）－fx。1）OE＝O;（b）所有开区间（a,尸）只要有xoe（a,尸）就有卜,g）nE含至少2…     

催化重整生焦动力学模型的研究 I.生焦动力学模型的建立

在催化重整１６集总动力学模型的基础上,假设同类反应的失活函数是相同的,建立了生焦动力学模型。在排除了内外扩散等影响因素的前提下,确定了催速生焦失活反应条件和催化剂活性评价条件,使在实验室进行生焦动力学模型的研究成为可能。     

焦炉集气管焊接变形的控制

针对焦炉集气管在现场安装过程中，易出现集气管弯曲变形、联接短管法兰面倾斜，导致安装质量差、返修多的状况。通过预留合理的焊接收缩量、控制焊接能量、安排好顺序等和防焊接变形措施以及合理的焊接方法控制、过程监控，使焦炉集气管制造质量达到设计要求。     

n-集函数多目标规划的对偶

在较弱凸性条件下,研究了一类可微n集函数的多目标规划问题的对偶问题。首先,对已知集X的子集的σ代数A的n折积An,定义了伪度量d(R,S),给出了相应的特征函数〈h,Is〉;其次,通过特征函数给出了集函数在S°可微的定义及集函数在S°关于第i个变量Si的偏导数定义;给出了多目标规划问题(VP)的弱有效解概念及(VP)的最优性必要条件;最后,分别在目标函数和约束函数的3种较弱凸性条件下,研究n集函数多目标规划问题的对偶问题,获得了3个弱对偶结果和强对偶结果。     

一种基于关联规则的数据挖掘算法实现与应用

对Apriori算法加以改进,提出了一种更高效的关联规则挖掘算法,在扫描数据库的同时把支持每个项目的事务都标记出来,采用一种新的方法来计算候选项目集的支持度.该算法只需对源数据库进行一次扫描,就可以找出所有的频繁集,具有很高的效率.     

数据服务中间件中数据表示的实现技术分析

针对数据服务中间件进行数据表示时普遍采用的视图和主从式数据集等技术,分析了影响它们执行效率的因素,并采用动态生成SQL命令和限定基础数据集大小的处理方式大大降低了数据提取和重组的时间开销,有效地提升了数据服务中间件的执行效率,实现了对客户应用数据请求的快速响应.