新建地铁控制中心大屏幕系统的设计优化

地铁控制中心的大屏幕系统能够便捷地为调度人员提供直观的信息显示,但也因为能耗大、维护成本高等诸多原因而饱受争议.分析了大屏幕系统在使用过程中存在的争议,提出了大屏幕系统设计的优化和改进措施.随着运营需求的不断增加和对大屏幕系统要求的不断提高,在进行大屏幕系统设计时,必须在合理规划运营需求的同时,积极探讨和使用新技术、新工艺.     

一种远程维护自动公交报站器的设计

针对传统报站器现场维护模式的弊端,设计一种完全基于远程维护的自动报站器,采用文本转语音模块,实现远程转线、远程更新线路信息、远程更新站点信息,并给出实际应用中遇到的问题及解决办法。     

物流中心选址与规模的层次优化模型

同时考虑生产商和分销商的利益,采用双层规划模型来描述物流中心选择以及规模问题.上层规划从生产商的角度出发,通过调整物流中心位置及规模使生产商的生产成本、运输成本和经营成本最小；下层规划从分销商的角度出发,通过调整从各个物流中心进货的数量使自身的平均运输成本最低.设计了基于遗传算法的求解方法,并用数值算例验证了模型和算法的有效性.     

浅谈高速公路桥头跳车的因素及预防措施

桥头跳车一直是高速公路投入使用后普遍存在的问题,本文通过查阅各种资料及本人施工经验,归纳总结了桥头跳车问题产生的原因,提出了桥头跳车问题的预防措施,以便为今后类似工程的施工提供参考。     

应用广义最大覆盖模型进行公路养护应急中心布局选址研究

应用广义最大覆盖模型方法在江西省国省道公路网络中进行公路养护应急中心布局选址,将养护应急中心设置在县级及以上行政中心点上,在点的服务半径已知的条件下,求解如何设立数量最少的点便可覆盖所有区域.     

支援干扰下火控雷达反干扰能力分析磁

支援干扰是火控雷达面临的主要干扰战术样式。分析了三种不同类型支援干扰的特点，根据火控雷达配属于防空火力系统，必须满足火力系统对空射击的需要，在计算火控雷达自卫距离基础上，建立了支援干扰下火控雷达反干扰能力评估模型。在想定作战背景下，应用评估模型对火控雷达抗支援干扰的能力进行了计算和分析。评估模型考虑了采取固定多点跳频、随机数字编码跳频和脉冲压缩等技术措施后对火控雷达反干扰能力的影响，具有一定的应用价值。     

万箱级集装箱船推进系统、电站及配电设计方案

集装箱船市场已于今年明显回暖,但集中在超大型集装箱船领域,集装箱船的大型化以其规模效应的优势也成为了势不可挡的趋势。本文主要从推进方案的初步设计以及电站和配电方面的设计等方面描述万箱级集装箱船的设计思路。     

基于谐波平衡法的Broyden网格分区迭代算法

在融合Broyden算法与网格分区思想的基础上,提出一种基于谐波平衡法且适用于对间隙型非线性动力系统进行频响特性分析的新型Broyden网格迭代算法.阐述了Broyden网格迭代算法的基本思想与计算流程.对决定该算法有效性的Broyden算法发散特性及不完整变量循环迭代过程等关键特性进行了分析与讨论.通过与相关文献采用的二分法所得的同等条件下的计算结果进行对比,证明该算法比二分法具有更好引导性与更全面的求解能力.通过网格分区的引导,该方法避免了数值迭代方法中普遍面临的迭代初值的盲目选择问题,为基于谐波平衡法全面考察间隙型非线性动力系统的频响特性提供了新途径.     

换乘客运中心分类标准探讨

目前换乘客运中心定义及分类标准还存在缺失。鉴于此,阐述了换乘客运中心的概念和内涵,分析了换乘客运中心的功能作用及其与换乘枢纽站场的关系,提出了换乘客运中心的分类及级别标准,可为同行提供一定的参考与借鉴。     

Behavior-consistent service substitutions in dynamic environments

In this paper, a novel approach for service substitutions based on the service type in terms of its interface type and behavior semantics is proposed. In order to analyze and verify behavior-consistent service substitutions in dynamic environments, we first present a formal language to describe services from control-flow perspective, then introduce a type and effect system to infer conservative approximations of all possible behaviors of these services. The service behaviors are represented by concurrent behavior expressions （CBEs）. Built upon the interpretation of CBEs, behavior-consistent service substitutions are defined and analyzed by subtyping technology. The correctness of the analysis approach is guaranteed by type safety theorem, which is mechanically proved in the Coq proof assistant. Finally, applications in web services show that our method is effective and feasible.