基于多源数据融合的冰雪条件下车速变化关联性分析

基于多源数据融合,利用关联规则分析中的Apriori算法研究天气条件、路面条件、养护作业等因素与车速变化的关联性,通过速度降低与回复现象有效评估冬季道路养护的效益.结果表明:车速变化与能见度、路面条件和降雪量具有较强关联性,与湿度、风向、工作日、节假日和流量没有相关性.通过数据挖掘技术将存储的多源数据转化为有效的知识和信息,从而可为冬季道路养护提供有效的决策支持.     

De Sitter空间中具常数量曲率的完备类空超曲面

研究了DeSitter空间中具常数量曲率的完备类空超曲面,得到了这类超曲面的一个刚性分类定理.即,设M是DeSitter空间Sn 11中的标准数量曲率R为常数的n维完备类空超曲面,如果R≤1且M的第二基本形式模长平方｜h｜2满足｜h｜2≤2n-1,则:(ⅰ)M是全脐类空超曲面;(ⅱ)在一个刚体运动变换下,M是双曲柱面H1(1-coth2r)×Sn-1(1-tanh2r).     

结构元线性生成的模糊数列的收敛性

用一种模糊距离给出结构元线性生成的模糊数列收敛的一种新定义,然后用这种收敛定义研究结构元线性生成的模糊数列的单调有界性、区间套定理、柯西收敛准则、有界性、极限唯一性、加减法及数乘运算、保不等式性、局部保号性和迫敛性,最后定义结构元线性生成的模糊数项级数并探究其比较原则、莱布尼茨公式和绝对收敛等性质.     

复射影空间中的紧致全实伪脐子流形

给出复射影空间中紧致全实伪脐子流形的几个内蕴刚性定理，并推广和改进了复射影空间中紧致全实极小流形的一些结果．     

Some It Formulas with Respect to Mixed Fractional Brownian Motion and Brownian Motion

Some It formulas with respect to mixed Fractional Brownian motion and Brownian motion were given in this paper.These extended the It formula for the fractional Wick It Skorohod integral with respect to Fractional Brownian motion,meanwhile extended the It formula for It Skorohod integral with respect to Brownian motion.Taylor's formula is applied to prove our conclusion in this article.     

基于Cluster的大型油藏数值模拟的并行计算

大规模整体油田的精细油藏数值模拟需要并行处理。该文基于Cluster并行系统,将三维三相油藏压力计算,转化为以油层为并行计算粒度、通过井筒压力耦合全油藏压力的多层二维二相的压力计算,用网格节点排序方法和预处理算法等缩短计算时间,实现了100.2万网格点的实际大规模油藏数值模拟问题,在17个处理机并行计算时,加速比达6.75。结果表明,该并行计算具有较好的效果,该并行软件正在胜利油田得到应用。     

海堤设计风浪和设计潮位组合风险率分析

风浪和潮位是海堤设计的关键因素,为保障海堤工程的安全性并使工程设计更为经济合理,基于Clayton Copula连接函数建立了潮位和风浪联合分布函数,以此构建了风浪和潮位组合设计风险分析模型,提出了考虑风险率模式下的风浪和潮位组合设计方法.以深圳市赤湾海域为例,分析了1971～2002年实测水文资料,获得了风浪和潮位组合风险率.结果显示：深圳赤湾海域大潮与大风同时遭遇的概率小,采用同频率设计偏于安全;而所建模型充分考虑到了风浪和潮位这种遭遇的特性,对风浪和潮位遭遇工况的合理设计具有指导意义,也为沿海城市海堤设计参数的确定提供了一种技术手段.     

改进的蜂窝网室内定位匹配算法

针对无线信道的动态衰落特性,基于蜂窝网的室内定位存在较大误差,提出一种改进的蜂窝网室内定位匹配算法——基于主成分分析法(principal component analysis,PCA)的子空间匹配算法,不仅保证系统实时性,而且有效地剔除大误差点,提高定位精度.该算法利用无线蜂窝信号非视距传播造成的位置特性构建离线指纹数据库,根据在线接收信号从离线指纹库中提取子指纹库,利用PCA算法对在线实测数据及子指纹库进行有效地降维,构建子空间,并结合加权K近邻匹配算法(weighted K nearest neighborhood,WKNN)估计出多个位置坐标,利用3σ准则对这些位置做筛选,输出最终定位结果.实验结果表明,基于PCA的子空间匹配算法在保证定位实时性的前提下,能有效剔除大误差点,提高整体定位性能.     

利用投影时序逻辑的多内核进程调度建模与验证

针对软件测试无法满足多内核处理器上进程调度的验证需要这一问题,提出利用投影时序逻辑(PTL)的定理证明方法来验证进程调度.使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S,并将系统期望的性质描述为PTL公式P,在PTL公理系统的基础上,通过证明S蕴含P是否为一个定理来验证系统是否具备该性质.以2内核处理器上的多级反馈队列算法的正确性为案例进行检验,结果表明所提方法可验证多内核处理器进程调度的系统性质,保证多内核进程调度的可靠性.由于多内核处理器的进程调度具备了并发系统的主要特点,因此该方法也适用于一般的并发系统验证.     

九江市中心城区居住功能区 土地集约利用研究

计算九江市中心城区居住功能区土地集约度分值,在此基础上运用Geoda、Arcgis空间数据分析方法分析九江市中心城区居住功能区土地集约利用程度的空间分布特点和采用Spass软件进一步分析三大类土地集约利用区土地集约利用影响因素。结果显示:1)九江市中心城区居住用地土地集约利用状况较好,集约利用区面积占居住功能区比为40.06%,中度利用区面积占居住功能区比为40.48%,低度利用区面积占居住功能区比为19.46%;2)居住功能区集约度呈现从中心向四周递减的空间分布特征;3)居住功能区集约度空间自相关明显呈正相关,表现为一定程度的空间集聚特征;4)中度利用区和低度利用容积率和建筑密度对土地集约利用影响较大,集约利用区人口密度和基础设施完备度对土地集约利用影响较大。