基于在线一致性测试理论的CBTC车载ATO功能测试研究

自动列车驾驶系统(ATO)是CBTC系统的重要组成部分,验证测试其控制功能逻辑的正确性和安全性至关重要。介绍了ATO控制原理和功能,分析了CBTC中典型的两车追踪控制运行场景控制流程,得到了该场景下的列车运行安全需求。结合时间自动机理论,建立了包含列车动力学、车载ATO、ZC以及时钟控制器的两车追踪场景时间自动机网络模型,验证了模型中安全需求的正确性;基于一致性测试理论,定义了被测车载ATO软件与测试环境的可观测输入/输出接口,利用UPPAAL-TRON工具设计了被测车载ATO软件的一致性测试框架,并进行了一致性测试分析。在此基础上,采用变异测试,针对典型的车载ATO软件功能实现错误(错误的安全距离、静态限速、功能逻辑以及命令丢失等)进行了安全性验证。结论表明:该在线一致性测试方法能够及时发现车载ATO软件行为与规范模型的不一致,有效提升了车载ATO功能测试的检错能力。     

求解FDP问题的演化算法

影片递送问题（简称FDP）是组合优化的一个新问题,它比旅行商问题（简称TSP）复杂得多,介绍了一种新的演化算法,这种算法首先将FDP问题转换成TSP问题,然后基于次序杂交算子（OX）和反转变异算子获得最佳解,该算法不仅易于实现,而且计算的结果精确、快速。     

冻融循环条件下黄土结构性参数变异性研究

目前,国内外针对冻融循环作用黄土结构性参数的定量研究较少,以季节性冻土地区某高边坡土体为研究对象,进行不同冻融循环次数下压缩试验,计算结构性参数.试验结果表明:随竖向压力增大,变异量及变异系数均降低,主要是因为荷载较大时,土体被压得较密实,结构性更容易破坏扰动,扰动后冻融作用对土的胶结结构影响力逐渐减弱;随冻融循环次数...     

用MATLAB实现进化策略算法——求特定方程的极小值

文中描述了一种利用进化策略算法对特定函数进行求值的解决方法,其中,编程工具为MATLAB。首先,对进化策略算法进行了系统阐述,其中,包括进化策略算法基本原理,阐述了交叉、变异、选择的工作原理;接着,就实际函数求极小值的问题的具体实现进行了描述;最后,根据实验的结果,讨论了对该算法的一些改进。     

超细颗粒悬浮状疏浚土真空预压加固特性研究

浙江省乐清湾地区疏浚土具有高孔隙比、高黏粒含量、高含水率、高触变性、抗剪强度低及排水缓慢的特性,工程性质差,加固困难。依托乐清湾北港区吹填区真空预压工程,设置4个3 000 m2的真空预压试验区,研究相同真空度下不同塑料排水板间距、型号加固效果的差异,通过膜下真空度、表层沉降、孔隙水压力等监测数据以及土体含水率、十字板抗剪强度的检测结果对加固效果进行分析,同时结合含水率、十字板抗剪强度等检测数据,对无结构疏浚土的物理力学指标离散性进行分析。结果表明,采用真空预压加固超细颗粒无结构疏浚土时,对于浅层加固,A与B型排水板没有明显差别,塑料排水板间距小于100 cm时加固效果提升不明显;无结构疏浚土加固后力学指标较离散而含水率指标较稳定,建议采用含水率作为验收指标;建议无结构疏浚土采用土的三相组成推算其压缩比和沉降量。     

基于人工智能技术的船舶航迹点生成算法

利用栅格法构建海洋环境数据模型作为船舶航迹点生成的模拟图.在此基础上将航行距离最短与航行障碍物最少作为目标构建船舶航迹点生成数学模型,使用自适应交叉概率与变异概率优化鱼群算法,使用优化后的鱼群算法确定船舶航迹点生成数学模型的最终解,获取最佳船舶航迹点.经过试验分析,该算法能够准确生成船舶航迹点,与同类算法相比具有明显优...     

丙型肝炎病毒核心蛋白基因序列变异分析

为了研究西安地区丙型肝炎病毒（ＨＣＶ）基因组中Ｃ区基因的变异性,采用单链构象多态性（Ｓｉｎｇｌｅ－ＳｔｒａｎｄＣｏｎｆｏｒｍａｔｉｏｎＰｏｌｒｍｏｒｐｈｉｓｍ,ＳＳＣＰ）分析万法,对３６份ＨＣＶＲＮＡ阳性血清的ＰＣＲ产物进行分析,结果有３１份样品的ＳＳＣＰ图谱相同,对其中二份样品进行测序,证明序列是相同的;另外５价样品ＳＳＣＰ图谱不相同,其序列与前者也有差异。说明本地区ＨＣＶ基因组中Ｃ区基因存在一个主要的基因类型。该实验为本地区ＨＣＶ诊断试剂和疫苗的研究确定了研究材料。     

新旧阴阳律

生物每时每刻都在向新的方向行进,生物的一切行为均为向新性.“阳“代表着积极、进取、刚强等特性的事物或现象;“阴“则代表着消极、退守、柔弱等特性的事物或现象.一切差异、变异均为新,前进方向上的每一步均为新.生物界中的阳者喜欢“新“,而阴者反之,故喜新恶旧的阳者生物在进化中起先驱作用.生物的进化就是朝着新的方向进步发展.     

黄河口尾闾河道断面形态的萎缩调整规律研究

采用实测资料分析和理论探讨相结合的方法,研究了水沙过程变异条件下,黄河口尾闾河道断面形态萎缩调整规律。研究结果表明,1986年后,黄河口水沙过程发生显著变异,尾闾河道断面形态萎缩十分明显,平滩面积大幅度减小,平滩宽深比有所增大;2002年后,小浪底水库实施调水调沙运用,黄河口水沙过程变异有所缓解,尾闾河道断面形态萎缩有所恢复,平滩面积明显增大,平滩宽深比大幅度减小,断面形态朝着窄深方向调整。通过引入尾闾河道断面形态萎缩的判别指标,可解决治理尾闾河道萎缩缺乏控制标准的问题。