铁路信号安全关键软件的组合测试序列集约简

针对现有铁路信号系统安全关键软件t-路组合测试序列生成方法在处理大规模输入时产生冗余测试序列,导致测试执行成本较高的问题,提出了一种基于贪婪-粒子群混合优化算法的t-路组合测试序列集约简方法,用于降低序列集的执行成本. 首先,以执行成本最低为约简目标,建立针对t-路组合测试序列集约简的优化模型;然后,在保证测试序列集逻辑覆盖特性的基础上,采用贪婪-粒子群混合优化算法求解模型,计算约简后的测试序列集;最后,以ZPW-2000轨道电路接收器软件作为研究对象,以其生成的2-路组合测试序列集为例开展约简验证. 结果表明,所提方法在保证2-路组合覆盖和逻辑覆盖的前提下,对单个序列集的执行成本约简幅度最高达到98.33%,对序列集总的执行成本约简幅度达到36.10%,验证了所提方法的可行性和有效性.      

软件测试中基路径获取方法的研究

软件测试是软件质量保证的重要手段,基路径测试是结构测试的一种重要方法.主要分析生成线性独立路径集合时,前后判定节点使用变量存在数据依赖关系的情况.借鉴程序切片技术中的转化理论,对数据控制依赖的判定节点在控制流图中进行修改;对一般的基路径获取步骤进行改进,可避免选择的路径不可达,提高基路径获取速率.实例表明它是有效的.     

交通拥堵情况下路径诱导方案的生成方法

路径诱导方案的生成是交通信息诱导的核心环节.根据驾驶员在交通拥堵情况下的路径选择行为特点,运用模糊推理理论建立了驾驶员路径选择行为模型,确定出路径诱导信息发布的核心内容.在此基础上提出一种路径诱导方案的生成方法.     

CTCS-3级列控系统车载设备测试序列的优化

如何将测试案例组合成为最有效和最优化的测试序列,是车载设备测试的一个关键问题.将优化测试序列生成问题演化为邮递员问题,通过利用遗传算法解决邮递员问题的优势,将遗传算法应用于优化测试序列的生成.根据车载模式转换图构造测试子序列图,然后应用遗传算法求解得到优化测试序列.分析实验结果表明,此方法使得测试效率得到了大幅度提高,是一种优化测试序列生成问题的可行方法.     

分支定价割平面法求解带时间窗和人力分配的车辆路径问题

本文研究了带时间窗和人力分配的车辆路径问题,并提出用分支定价割平面法来求其最优解.分支定价割平面法首先根据Dantzig-Wolfe分解技术将问题的数学模型分解为基于路径的主问题模型和求最短路径的子问题模型,然后利用列生成和标签算法在主问题和子问题之间进行迭代,并使用割平面法调整可行区域来求得主问题的最优松弛解,最后采用基于车辆数目和弧的分支策略获取原问题的整数解.算法中加入了两种加速策略:双向标签算法和递减搜索空间法.通过对多组算例进行测试,验证了模型和算法的准确性,并分析了患者数目和车辆数目对结果的影响,也说明了割平面法具有提高算法效率的作用.最后,对大规模算例进行测试的结果也为实际应用提供了理论依据.     

海洋气象环境影响下的复杂水域船舶路径规划

为提高复杂水域船舶自动生成路径的安全性与经济性,将海洋气象环境因素考虑在内,以船舶避开障碍物为前提,设计了以航行时间最短为目标的路径规划算法.在建立环境模型的基础上采用改进MAKLINK图生成可行路径,根据矢量合成及拟合模型分析海流及风浪对船舶航速的影响,从而确定路径权值,通过Dijkstra算法进行初始路径规划,采用改进粒子群算法进一步优化及平滑初始路径.以一艘集装箱船通过规划海域为例验证算法的有效性,并对风向和风级进行了敏感性分析.结果表明:考虑海洋气象环境影响生成的路径既可安全避开障碍物,又可节省航行时间,改进粒子群算法在缩短路径航行时间的同时可提高路径的平滑性.     

楼宇三维路径模型的自动生成算法

提出了一种楼宇三维路径的自动生成算法.该算法首先使用图像细化算法及特征点提取算法建立单层楼的通道路径,并将房间等楼层实体作为结点连接到通道路径上,从而建立好单层楼的路径图;然后利用楼梯结点和电梯结点将相邻的楼层路径图相互连接起来,生成完整的楼宇三维路径模型.该路径模型是由弧和结点结构组成的带权图结构,可以应用于智能导航、楼宇自动控制、紧急情况的人员疏散及楼宇安全等领域.     

一种基于蚁群算法的服务组合方法

Web服务是一种新型的信息集成架构,将多个Web服务组合成一个能完成复杂任务的组合技术是Web服务中关键技术之一．文中提出了一种基于蚁群算法的服务组合方法,对于服务序列可生成全局最优联盟,同时算法基于蚁群系统的学习能力可以有效减少联盟生成的搜索时间和计算量,可实现性好．     

混合车型需求响应公交服务定制问题研究

针对现存需求响应公交服务中服务质量与服务效率的矛盾,本文提出一种使用混合车型的需求响应服务定制方法.首先采用基于k-means的算法,获得具有时空特性的服务单元.在此基础上,将载运车辆的分配与路径规划问题,视为一个带时间窗的取送问题,通过Dantzig-Wolfe分解,以最小化走行距离和使用车辆数为目标,构建需求响应公交服务定制等价分解模型.在MapReduce框架下,设计了分布式列生成算法,提出了解的可行性保障机制.最后,求解以北京市为背景的案例,验证了模型和方法的可行性和正确性.     

危险品运输路径多准则优化模型及求解算法

针对多种类型的危险品在有风险控制的路网内运输问题,考虑不同运输决策 者的路径选择需求,建立风险约束下的多准则路径优化模型.根据路段/路径的风险阈值, 以及各类危险品产生的风险测度,设计了一种双向拓扑搜索算法,通过删除原路网中非 可行路段和非可用节点,生成不同类别危险品的剩余运输网络.利用改进的标号算法,在 剩余网络中搜索不同准则下的最优路径,生成非支配路径集合.给出了不同路径之间关键 路段的调整策略,并分析了获取非支配路径集合的计算时间复杂度.最后,通过算例验证 了模型和算法的有效性.     

客户配送要求变动下的VRPSDP干扰管理优化

为解决客户配送要求变动对VRPSDP方案造成的干扰问题，从成本和服务时间两个方面，就干扰事件对原物流配送车辆路径方案造成的影响进行了干扰辨识分析.构建了VRPSDP干扰管理模型，并设计基于禁忌搜索的调度算法.从Solomon标准测试算例中随机抽取6组算例对模型和算法的有效性进行验证.结果显示，本文的干扰管理方案与传统的增派车辆和全局重调度方案相比较，广义总费用偏离有明显地降低，且本文方法能够在较短的时间内生成满意的物流配送车辆调度调整方案.     

基于组合算法的易腐货物多式联运路径优化

为解决易腐货物多式联运路径优化问题,考虑时间窗约束,建立一种总成本最低的易腐货物多式联运路径优化模型.因遗传算法全局搜索能力强,禁忌搜索算法依赖初始解与领域结构的特点,设计了遗传-禁忌搜索组合算法,来求解最佳运输方式下的低成本最优路径.为验证多式联运的优势,特举实例将多式联运与单一运输方式进行对比;实例可知,组合算法有...     

Web服务集成商在竞争环境下的产品决策研究

服务组合产品决策在市场竞争中占有至关重要的地位.在竞争市场环境下,随着相同或相近服务组合产品数量增加,产品的类聚会对客户的需求产生拉动效果.在此基础上,提出企业开发新的服务组合产品需要注意两个因素,一是新产品与竞争企业同类服务产品的竞争;二是新产品与企业内部相关服务产品竞争.为此建立一个考虑服务产品功能类聚效应的竞争模型,该模型包含新开展的服务产品份额最大化和且该服务产品对现有服务组合产品冲击最小化的双目标模型,并给出了求解模型的算法和计算实例.计算结果表明该模型和算法在企业开展新的服务组合的决策中,能够有效地得到问题的近似解.     

轨道接运公交线路生成实用方法研究

轨道接运公交的设置是完善公共交通系统的一项重要措施。本文提出的轨道接运公交线路生成方法由候选线路集合生成技术和线路布局优选技术两部分构成。前者分析接运公交服务区域,提出线路依附道路网络筛选标准、候选站点集合生成方式、线路路径搜索规则和求解步骤;后者将构建多目标优化模型,设计改进的遗传算法对其进行求解。最后,对无锡惠山新城轨道接运公交线路生成进行了实例分析。     

基于视觉传感器的去毛刺加工路径生成方法研究

当前在使用工业机器人进行去毛刺加工作业时,编程方法多数为现场手动示教或是在离线编程软件中对工件模型进行手动编程.针对手动编程的不便利性,提出了一种通过使用视觉传感器对工件模型进行识别检测,进而自主生成去毛刺加工路径的方法.在V-REP平台下,将实际应用场景抽象化,并使用Lua语言编写相应的脚本程序.最后通过模拟仿真验证...     

高铁信号系统安全关键功能测试建模方法

测试模型是高铁信号系统安全关键功能测试用例编制的重要基础,针对高铁信号系统安全关键功能测试建模过程中描述信号系统领域特征不够全面的问题,提出时间状态机测试建模理论和测试用例生成方法. 分析高铁信号系统测试建模的特点,提出信号系统安全关键功能测试模型的建模需求;以有限状态机理论为研究基础,结合功能逻辑和时钟约束提出时间状态机建模方法,采用Z规格说明语言给出时间状态机的形式化定义;将时间状态机转换为时间自动机,证明转换之间的一致性,并基于时间自动机的测试理论自动生成测试用例,再以计算机联锁系统中的道岔转换功能为例,建立时间状态机测试模型并生成测试用例. 最后,将两种方法生成的测试案例进行对比,结果表明:在功能逻辑方面,基于时间状态机建模方法生成的测试案例100% 地覆盖了基于时间自动机建模方法生成的测试案例,并新增了16条具有时钟约束的测试案例,能够满足高铁信号系统安全关键功能测试建模的需求.      

基于随机森林算法的电力系统暂态稳定性评估

利用随机森林算法,通过组合多棵基于随机向量的决策树对电力系统的暂态稳定性分类,提出了一种暂态稳定评估模型.在IEEE 16机和IEEE 50机测试系统进行的仿真验证了该模型对暂态稳定评估的有效性,其评估性能较经典决策树算法、人工神经网络、支持向量机和K最近邻方法均有提高.     

组合电路的故障测试生成D算法研究

测试生成指针对电路中一个故障找出能检测该故障的测试码，测试生成算法的好坏决定着测试技术的好坏。确定性测试中，测试算法的研究显得尤为重要。分析了组合电路的故障测试生成D算法，以施耐得计数器电路为例，研究了D算法在组合电路故障测试生成中的应用，并给出了D算法与通路敏化法、布尔差分法的应用比较结果。     

基于OpenStreetMap的城市自行车网建模与多判据路径规划

自行车交通是一种健康、绿色、环保的交通出行方式,合理地规划自行车出行路线对于满足骑行者多元化出行需求、构建安全规范的城市交通出行环境具有重要的意义.在对真实骑行者路径选择行为深入分析的基础上,提出了基于Open Street Map的城市自行车网络的构建方法及基于其上的多判据自行车路径优化的数学模型,并给出了求解该模型的一种基于聚类的最优多判据路径规划方法.实验仿真结果表明,该模型及方法能够生成满足骑行者真实需求的多判据路线方案.     

高速公路电子不停车收费系统仿真测试实践

为测试验证高速公路电子不停车收费系统是否满足用户需求,提出了一种新的仿真测试方法和工具.对高速公路电子不停车收费系统运行环境进行建模,通过交通仿真模拟测试用例场景行为,基于传感器仿真模型生成测试数据,对部署在等效虚拟机环境上的被测系统实施测试.以某省真实高速公路不停车收费系统作为应用案例进行测试,试验结果表明,仿真测试有效地验证了被测高速公路电子不停车收费系统的功能和性能指标,且测试过程无需使用任何传感器及车辆等设备,有效降低了测试成本,测试工具操作便捷易用,可实现自动或半自动化测试,提高了测试效率.