基于决策树等价的CBTC列控车载TSM监控曲线测试案例约简方法

针对传统组合测试在CBTC列控车载TSM监控曲线中产生覆盖无交互作用参数组合的冗余测试案例问题,提出了一种基于决策树等价的组合测试案例套件自动约简方法 .首先,结合t-way参数覆盖的组合测试案例及其输出构造捕获被测系统行为的数据集,并采用CART算法将数据集推理出决策树;其次,设计了改进的组合测试案例约简算法,利用决策树结构等价和误分类等价关系约简冗余的组合测试案例;最后,利用约简算法在CBTC列控车载TSM监控曲线功能上进行了实例分析,相关实验结果表明,该方法可以达到高达74%的约简率,同时约简前后,测试套件的低层次组合覆盖率和故障检测能力基本一致.     

酒泉-金塔盆地水化学特征及其演化规律

通过对观测资料的分析及PHREEQC软件的反向地球化学模拟,对酒泉-金塔盆地地下水水化学特征及其演化规律进行了研究.分析结果表明:酒泉、金塔盆地地下水具有相似的化学特征及演化规律,沿地下水流方向水化学类型由HCO3--SO42-型向SO42-型过渡,均发生了CaCOs的沉淀、Cag(CO3)2的溶解、CaSO4.2H2O的溶解、NaCl的溶解及CO2的析出.金塔盆地地下水主要受由酒泉盆地流入的地表水影响,而与酒泉盆地地下水联系不大.     

Delay-Dependent Exponential Stability of Stochastic Delayed Recurrent Neural Networks with Markovian Switching

The exponential stability problem is investigated for a class of stochastic recurrent neural networks with time delay and Markovian switching. By using Ito＇s differential formula and the Lyapunov stability theory, sufficient condition for the solvability of this problem is derived in term of linear matrix inequalities, which can be easily checked by resorting to available software packages. A numerical example and the simulation are exploited to demonstrate the effectiveness of the proposed results.     

改进遗传算法求解VRPSTW问题

为求解物流配送过程中基于单配送中心的软时间窗车辆调度问题（VRPSTW）,本文在传统遗传算法的基础上,引入了并行计算与阶段性进化的思想,提出了求解VRPSTW问题的改进遗传算法.验证实验表明,本文提出的改进遗传算法在求解模型时快速地得到了最优解,收敛速度明显优于传统的遗传算法.     

对称Anderson晶格的反铁磁极化

考虑最近邻格点 f电子的电荷相关和自旋相关,用局域方法研究了对称 An-derson 晶格中由局域磁矩引起的极化。结果表明,极化总是反铁磁的;当同一格点相反自旋 f 电子间的库仑作用增大或 d-f 电子间杂化强度减小时,这种反铁磁极化变强。     

一维磁性合金的电阻理论

本文给出了在一维磁性合金中的RKKY相互作用的公式。在环形近似下,得到了一维的RKKY耦合电阻ρRKKY=ρ_0 T_0/(T-T_0),与现有的理论比较,该公式是在很宽的温区内(T>T_0)都是成立的,从而消除了ρRKKY～1/T的低温发散。结合一维的Kondo电阻及电——声耦合电阻,从理论上预言了一维磁性合金的p～T温度行为。     

基于相似性度量的肺结节图像检索算法

为了克服肺部病变CT表现复杂,极易造成医生误诊的缺点,提出了一种基于相似性度量的医学图像检索算法并用于肺癌的诊断研究,该相似性度量保持了图像的语义相关和视觉相似.首先,根据相似性度量理论构建距离度量学习算法学习一个马氏距离;然后,根据学习的马氏距离度量,提出新的医学图像检索算法,并将提出的算法应用于肺癌的诊断研究.实验结果证明了该检索算法在肺癌诊断应用中的可行性和有效性.     

寒冷地区村镇住宅建筑单热源供热系统设计与优化

对不同规模的村镇住宅建筑供热系统优化设计方案与全生命周期内的经济性展开研究.首先,采用TRNSYS软件模拟得到60~2 000 m²范围内不同供热面积村镇住宅建筑的动态热负荷,并对太阳能、电锅炉、地源热泵及空气源热泵4种不同热源供暖系统的控制运行情况进行模拟,得到不同热源供暖系统在不同供热面积下的优化设计方案.在此基础上,对不同热源供暖系统在全生命周期内的经济性进行对比分析,得到不同村镇住宅建筑供热面积下的热源推荐方案.结果表明:对于不同热源供暖系统的总费用,电锅炉供暖系统最大,太阳能供暖系统最小,太阳能供暖系统总费用比电锅炉供暖系统减少近65%.     

曹妃甸一号路跨纳潮河大桥基坑防护设计概述

纳潮河大桥基坑边距既有铁路很近，基坑开挖深度达13m，地下含水量丰富、水位高且透水性强，故基坑支护结构形式的选取合理与否就成为基础能否安全顺利实施、确保相邻铁路正常运营的关键因素，本文以纳潮河大桥基坑防护设计为侧，介绍了钻孔灌注桩加内支撑支护结构并结合水泥搅拌桩帷幕止水的支护方案的设计方法。为今后同类环境条件下基坑的支护设计提供参考。