一种基于混合覆盖矩阵的pairwise测试用例生成方法

测试用例集的生成是组合测试的一个关键问题,但是使用完全组合覆盖生成测试用例集是NP完全问题.对偶覆盖要求测试用例集至少覆盖输入参数的每一个取值对.该类方法在测试代价和效率方面进行了很好的折中,一直受到广泛关注.基于混合覆盖矩阵,提出了一种pairwise覆盖的测试用例生成方法.实例分析表明,该方法具有生成的测试用例较少、时间消耗小等特点.     

随机利率下含退保期权的投资连接寿险模型

建立了一个生死两全保险模型，主要考虑在随机利率环境下，对一类允许提前退保的投资连接保单进行研究，把分红期权、退保期权统一在其中．从而保单的价值可分解为三个组成部分：基本保险、分红期权和退保期权的价值，并且得出了各部分价值的计算公式，投保人可以根据自己的风险承受能力选择所交保费的投资比例．模型所涉及的情况与实际较为相符，对解决保险公司合理收取保费、进行保险赔付和管理风险都具有理论意义和实际应用价值．     

国际上LUCC研究的现状、问题和未来展望

土地利用，覆盖变化(LUCC)是全球变化的主要原因之一，当前LUCC研究已成为全球变化研究的前沿和热点问题。近年来国际上LUCC研究出现了许多新的趋势。本文主要介绍了当前国际上LUCC研究的现状、存在的问题和未来发展趋势，以为我国开展这方面的研究提供参考。     

基于土地利用/覆盖变化模拟的黄河流域生态环境质量分析

基于黄河流域2005、2010、2015年三个时相的土地利用/覆盖变化数据,利用CA-Markov模型模拟预测黄河流域2020和2025年土地利用/覆盖时空分布特征,分析黄河流域过去及未来生态环境时空动态变化特征.结果表明:①2005-2025年,黄河流域土地利用/覆盖类型以草地、耕地和林地为主,土地利用类型的面积变化以内部转移为主;整体呈"三增两减"特征:未利用地和耕地的面积变化呈不断下降的趋势,城乡工矿建设用地、林地和草地的面积不断增加,不同土地利用/覆盖面积变化速率不同.②2005-2025年,黄河流域的土地利用综合动态度不断提高,分别为1.041 3%、1.625 4%、1.624 9%和1.624 4%,说明人类活动对该流域的土地利用方式干扰度与日俱增.③过去10 a(2005-2015年),黄河流域生态环境质量指数有所增加但幅度不大,并呈现明显的地域分异特征,但总体维持相对稳定的态势.未来几年与过去10 a相比维持较稳定的空间增减特征,除黄土高原地区外,黄河流域其他区域土地利用类型尚未发生明显的变化.     

波纹腹板H型钢梁柱端板螺栓连接节点抗弯性能

提出了一种波纹腹板H型钢梁与普通H型钢柱采用端板螺栓连接的节点构造.基于高强螺栓抗拉性能的刚性端板模型和T形连接件理论,提出波纹腹板H型钢梁柱端板螺栓连接节点的设计方法.进行了2个波纹腹板H型钢梁柱端板螺栓连接节点的静力试验,并使用商用有限元分析软件ABAQUS建立节点的有限元模型,将设计弯矩下的高强螺栓最大拉力的试验结果与有限元计算结果进行对比,证明了高强螺栓拉力计算公式的可靠性;通过对比设计弯矩和有限元计算的端板屈服弯矩,证明了端板厚度计算公式的合理性.     

Visual C++对SolidWorks的二次开发方法

针对目前普遍开发三维CAD系统的需要，讨论了对三维绘图软件SolidWorks进行二次开发的方法，并结合实例重点阐述利用Visual C 6．0编程语言开发SolidWorks动态连接库DLL的步骤和编程方法，所开发的DLL实现了于SolidW0rks的无缝集成，对相关三维CAD软件的开发是一种启示和借鉴。     

塔河南部奥陶系海西早期岩溶的发现

塔河油田奥陶系碳酸盐岩主要经历了加里东中期及海西早期岩溶作用。前人认为,桑塔木组泥岩隔水层控制了海西早期岩溶的分布范围:北部的桑塔木组缺失区是海西早期岩溶的发育区,并对先期的加里东中期岩溶产物加以全面改造;而南部的桑塔木组覆盖区则仅保留了加里东中期岩溶。通过岩石学、沉积学、地球化学及地震学等研究表明,海西早期岩溶可以在一定范围内突破桑塔木组的限制。桑塔木组的覆盖仅仅改变了海西早期岩溶作用的形式,即由裸露风化壳型岩溶转变为覆盖承压型岩溶。指出了与主体区相连的断裂带才是岩溶—缝洞型储层的发育区带,而孤立的、不与主体区相连的断裂带,则岩溶作用不发育。该岩溶作用的发现,对于在塔河油田南部、西部桑塔木组覆盖区寻找岩溶缝洞型储层发育带具有重要的指导意义。     

低轨星座红外凝视传感器覆盖性能分析

针对低轨星座凝视传感器覆盖问题,首先从理论上分析了最大可探测距离、方位角、俯仰角及轨道高度对单个传感器覆盖性能的影响.然后在典型圆轨道星座下,初步分析了轨道高度、轨道倾角及升交点赤经对星座整体覆盖性能的影响.基于点覆盖数值仿真技术的计算结果表明,覆盖率统计结果规律与理论分析完全一致.     

一种动态口令认证方案的研究与改进

分析研究了一种动态口令方案,针对其不足,对原方案中认证依据的产生以及连接认证依据的产生进行了改进,增强了原方案的认证依据产生和修改的灵活性,实现了连接认证双方协商产生,并保留了原方案的设计思想。改进方案提高了原方案的整体安全性,并更具实用性。     

钢筋直螺纹连接强度分析

针对钢筋剥肋滚轧直螺纹套筒连接技术的强度及连接的最小螺纹扣数等方面研究处于试验研究阶段,理论分析相对匮乏的情况,通过有限元分析软件ANSYS为此研究提供一定的理论支撑.在建立螺纹接触仿真分析模型的基础上,对钢筋直螺纹连接方式下不同连接长度的钢筋与套筒的应力分布进行了计算.计算结果表明,随着钢筋和套筒连接长度的增加,连接强度增加;钢筋和套筒最佳连接长度为9～11扣螺纹.计算结果与试验结果完全吻合.