拓扑空间内的广义R-KKM型定理及其应用

在没有任何凸性结构的非紧拓扑空间内对具有(转移)紧闭值的广义R-KKM映射建立了某些新的广义R-KKM型定理.作为应用,在拓扑空间内得到了某些极小极大不等式,鞍点定理和具有下和上界的平衡问题的平衡存在性定理.这些定理推广了最近文献中某些已知结果.     

建设发生土作为压密固结桩填充材料的渗透性

为了采用建设发生土部分替换优质砂作为密实桩的填充材料,进行了室内土试样的调制,制备了不同塑性指数的黏土试样,进行了压密不排水三轴压缩试验和渗透性试验,研究其强度特性和渗透性能.在塑性指数小于30的情况下,能够满足内摩擦角大于30°的要求.松散状态下能够确保渗透系数在10-4cm/s以上,但密实状态下的渗透系数却很小,为了保证砂桩能有效的排水,必须要采取提高渗透性的其他辅助方法.     

波束扫描与捕获问题的建模与计算

通过建立波束扫描与捕获问题的运动学模型,得到相应的运动学方程与扫描函数,根据相关变量与高斯函数的分段特性将这个特殊的扫描函数分解为一序列具有紧支集且相互正交的一元二次函数,求得每个函数的有效零空间,最后合并得到原问题的解.     

交换QF环上的有限生成模

给出了QF环上模的一些特征,刻画了交换QF环上的有限生成模,得出了交换QF环上的有限生成模的相关性质,并进一步讨论了交换QF环上的有限生成模对直和以及取直和项,上述性质仍然保持.     

任务型CGF组织本体建模

针对作战模拟对人类行为表示的准确性要求,建立真实反映战场行为的组织模型是非常重要的。根据需求分析和已有研究的不足,提出了基于本体论的组织建模方法,阐述了该组织本体的构建原则,并从组织静态结构和动态行为两个方面定义了相关概念及概念间的关系。在此基础上采用一阶谓词逻辑描述了该组织本体的形式化过程。实验结果表明,该方法能够准确地建立起用于实体的组织模型,使得实体行为可以反映实际战场行为,且能够保证组织本体的通用性。     

多目标船会遇实验自动生成算法研究及应用

为验证船舶拟人智能避碰决策（personifying intelligent decision-making for vessel conllision avoidance,PIDVCA）算法的合理性,基于船舶智能操控（ship intelligent handing and control,SIHC）仿真研究平台,通过对雷达标绘中矢量三角形绘图方法逆推分析,初步形成多目标船会遇实验自动生成算法。该算法可以根据验证需求自动生成所需要的实验方案,使得设置多船会遇实验更为便捷、客观和全面。     

一个紧支撑插值正交多小波的平衡性定理

 结合紧支撑插值正交二重多小波的构造理论和两尺度矩阵符号的分解理论,依据平衡多小波理论,证明了一个紧支撑插值正交二重多尺度函数的平衡性定理,即:紧支撑插值正交二重多尺度函数的平衡阶数等于它的逼近阶数。     

FC-空间中的极大极小不等式和鞍点定理

利用交定理,在不具有任何凸结构的FC-空间中证明了一些极大极小不等式和一个鞍点定理．     

二元向量值紧支撑正交小波的构造

研究了L2(R2,Cr)中二元向量值紧支撑正交小波的构造.给出了二元向量值多分辨分析和二元向量值正交小波的概念,利用多分辨分析理论,得到了一种有效的二元紧支撑向量值正交小波的构造算法,并给出了数值算例.     

基于CAD技术的环面蜗杆传动的啮合分析

以锥面二次包络环面蜗杆传动为研究对象,在三维实体造型的基础上,充分利用AutoCAD的二次开发功能,以Visual Basic6．0为二次开发工具,使用更加直观的方法研究和实现了锥面二次包络环面蜗杆传动的啮合分析．