用CC的方法分析和解决一个常见的网络安全问题

CC导出PP的过程是一种安全评估通用语言到某类产品的具体应用过程,需要经过需求分析、得出安全目的、提出安全功能要求与安全保证要求等几个阶段。本文利用这些过程的基本方法和思想全面分析一个常见的网络安全问题,并按照保护轮廓的模式给出该网络的安全要求。     

参量阵浅地层剖面测量技术 在近岸海洋工程的应用效果

介绍了海底浅地层声学探测技术的发展情况, 简述了新型参量阵声纳探测的原理和特点, 通过SES-96参量阵测深或浅地层剖面系统在山东半岛海区的应用实例, 对此新型参量阵声纳技术的应用效果进行了分析评价。     

条带开采煤柱稳定性的试验模拟与数值分析——以山东省济宁市太平煤矿为例

以山东省济宁市太平煤矿为例，采用煤柱模拟试验和数值分析手段，对薄基岩条带开采时所留设煤柱的应力应变状态、煤柱强度结构及煤柱长期稳定性进行了深入的分析与研究，揭示了煤柱稳定性及煤柱应力分布与条采尺寸、采出率、覆岩特征的相互关系，进行了条带煤柱的稳定性评价，为工程实践提供了理论依据。     

刘桥一矿陷落柱发育规律及含水性研究

根据刘桥一矿1971年建井至今发现的8个陷落柱实际资料，通过对揭露陷落柱的地质、水文地质及分布特征的分析，阐述了陷落柱发育的根基所在，对陷落柱发育规律及成因进行了探讨，对于含水陷落柱的注浆封堵、留设保护煤岩柱，以及本矿矿井的深部开采都具有借鉴意义。     

高速公路桥头跳车病害的分析与治理方法探讨

根据高速公路桥头跳车病害探地雷达检测结果,结合路基实际工程地质资料及沉降观测值,分析出造成此病害的原因是桥与路之间沉降差异所致,故搭板与垫层和垫层与路基之间产生了脱空,造成桥搭板、垫层碎裂而出现了桥头跳车病害.针对病害根源,采用了压密注浆进行搭板加固及重新摊铺沥青混合料进行调坡处理的治理方法.     

渭北东部奥陶系岩溶地下水环境同位素特征分析

本文通过对渭北东部岩溶地下水环境同位素组成特征的研究,分析了大气降水、地表水、地下水三者之间的转化关系,并对研究区岩溶地下水的形成进行了初步探讨,认为大气降水是研究区岩溶地下水的补给源,地表水与地下水之间存在水力联系,地表水对地下水的补给占补给水源的74.3%.西部岩溶裸露区为岩溶水的直接补给区,其周边浅埋区为岩溶水的间接补给区,东南部的岩溶中-深埋区为岩溶水的径流排泄区.     

变分同化方法在Lorenz系统中的简单应用研究

利用Lorenz模式作变分同化数值试验，通过对一个简单系统的讨论，介绍四维变分同化方法。对初值敏感性和观测点的个数及观测值作了对比试验，发现随着模式对初值敏感性的增加，同化效果会越来越差；观测点越少，观测值误差越大，这些都会影响同化效果，甚至导致同化失败。     

Assessing Similarity of Geographic Processes and Events

The increased availability of spatiotemporal data collected from satellite imagery and other remote sensors provides opportunities for enhanced analysis of geographic phenomena. Much of the new data includes regular snapshots of the environment. Comparison of these snapshots can provide information about changes to the phenomena of interest. However, conventional GIS data models and analytical tools lack capabilities to adequately handle massive multidimensional data. One of the fundamental tools necessary to meet such challenges is query support to retrieve and summarize data according to dynamic geographic phenomena, such as geographic events and processes, of interest. Such query support depends upon abilities to assess spatiotemporal similarity so that data representing geographic events that exhibit the spatiotemporal characteristics of interest can be identified in a GIS database. To this end, this paper introduces a method to assess similarity of geographic events and processes (such as storms) based on their spatiotemporal characteristics (such as distribution of precipitation). We developed six indices to capture static and dynamic characteristics of geographic events and applied the Dynamic Time Warping method to temporal sequences of the six indices to examine the similarity among these events. With a case study, we demonstrated the proposed indices and method capable of comparing spatiotemporal characteristics of events as recorded in a GIS database and categorizing spatiotemporal data into groups of events according to their behavior in space and time.     

超级计算机上矩阵乘的并行计算与实现

数值预报系统中经常要用到矩阵乘运算。在分布式超级计算机 (如IBM-SP) 上, 矩阵乘的并行计算需要较多的数据移动, 有效的数据传输对矩阵乘的实现至关重要。该文讨论了两种矩阵乘的并行算法, 一种是基于矩阵的列-行划分方式, 一种是基于矩阵的网格划分方式。在IBM-SP计算机上的实验结果表明, 网格划分的矩阵乘并行算法通讯开销更小, 并行效率更高, 其并行加速比较列-行并行算法改善约10 %。     

西北地区不同类型云的时空分布及其与降水的关系

利用1983年7月～2001年9月国际卫星云气候计划ISCCP D2的月平均资料，对西北不同区域不同类型云的云量和云水路径的时空分布及其与降水的关系进行了研究。结果表明:高原气候区是各种云出现最多的地区，特别是积状云的云量明显高于其他两区，但这些云的云水路径值低；西北地区大多数云云量的高值区出现在天山山区、北疆地区、陕西东南部和青藏高原的部分地区。高云和部分中云云量空间分布特征与降水有着较好的一致性:沿着天山—昆仑山—祁连山一带以及陕南和／或陇南地区是高值区，低值区在塔里木盆地—内蒙古西部戈壁沙漠—黄土高原西北部一带；绝大多数云类春夏季节云量维持较高，秋冬季节云量较少。云水路径值较大的层状云类的云量多寡与降水多寡相一致；积状云类和层积云类云量多少与降水没有一定的关系，在降水偏少时，这类云的云量大多与降水正常时相近，有些云的云量甚至比降水偏多时还要多。