PDG算法在动态切片技术中的应用研究

动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集,在程序理解、测试、调试、集成和软件维护等方面具有广泛的应用.介绍了动态切片的基本概念,并将程序依赖图算法应用于动态切片,从而达到缩小程序分析范围的目的,讨论了动态切片在程序调试和软件测试中的应用.     

磁浮列车车辆轨道耦合振动及悬挂参数研究

基于磁浮列车车辆轨道耦合振动模型,建立了动力学方程,利用编制的仿真程序对车辆轨道的耦合振动进行仿真分析,对于悬挂参数特别是模块侧滚约束参数的影响进行定量研究,确定了悬挂参数的取值范围,并据此对青城山磁浮试验车的悬挂参数设计提出了建议。     

关于城市道路合理间距理论推导的讨论

城市路网是城市交通与城市发展的骨架,对合理路网间距的认识是路网规划的关键。但对合理路网间距的认识存在若干观点,致使路网间距的合理取值范围较大。目前城市规划与交通工程专业书籍中经常提及的是路段通行能力的交叉口间距折减系数法和最佳公交线网密度分析法。本文采用逻辑推理的方法,指出路段通行能力的交叉口间距折减系数分析存在逻辑错误,公交最佳路网密度缺乏应有的应用前提分析,这些不足是导致我国城市路网密度不足的重要原因之一。     

改进SSD模型在高分二号遥感影像中高速公路收费站位提取的应用

以高分二号遥感影像中的高速公路收费站为研究对象，选取了北京、山西、河南、广东、福建5个省市2019年的高速公路收费站点位和0.8 m遥感影像，通过图像预处理、样本标注、裁切、数据增强、样本集划分的步骤制作训练样本集；引入“多尺度特征融合”的方法对SSD目标检测模型进行改进，通过增加“转置卷积”和“拼接”操作，将高层次特征图像的语义特征赋予低层次特征图像，以增强上采样质量与特征融合能力，从而提升了模型对小目标收费站的检测效果；将改进SSD模型用于2019年福建省高分二号影像中的收费站点位提取，沿福建省高速公路路网矢量对影像进行自动切片，将切片输入模型中进行目标检测；保留有收费站的切片，使用非极大值抑制去除多余的检测框，将剩余的检测框的坐标变换为中心点的坐标，可以直接输出得到高速公路收费站的中心点矢量，从而实现对于收费站点位的端到端自动化提取。研究结果表明:改进SSD模型的精度、召回率及二者的调和平均数分别为0.86、0.88和0.87，均优于传统的SSD, VGG, Faster R-CNN和特征金字塔网络模型。可见，对收费站点位的自动提取可以大大提高公路管理者的工作效率，有效满足公路管理者的实际工作需求。      

磁浮列车车辆—轨道耦合振动及悬挂参数研究

基于磁浮列车车辆－轨道耦合振动模型,建立了动力学方程,利用编制的仿真程序对车辆轨道的耦合动进行仿真分析,对于悬挂参数特别是模块侧滚约束参数的影响进行定量研究,确定了悬挂参数的取值范围,并据此对青城山磁浮试验车的悬挂参数和设计提供出了建议。     

CRC通用校验测试工具的设计与实现

CRC(循环冗余校验码)编码是数字信号传输中用得较普遍的一种差错控制编码.它不但可以用于纠正独立的随机错误,也可以用于纠正突发错误.目前已有的CRC校验算法程序很多,但往往只以一种生成多项式为例进行编写,缺少完整、通用性好、用户界面良好的应用软件.介绍了一种CRC通用校验测试工具的设计与实现过程,本测试工具将各种类型的CRC校验算法进行汇总,类型全、计算精度高、速度快、用户界面好、易操作.     

基于SAT的可逆线路检测集生成算法

可逆逻辑是量子计算的基本特征,也是日益突出的低能耗需求的一种解决方案。根据可逆电路的可控制性和可观测性,论文提出了一种基于逻辑可满足性的算法来自动产生单门失效错误的完备检测集。基于k-NOT门的可逆逻辑线路中的数据传输进行线性建模,用线性时态逻辑描述单门失效错误约束,运用SAT求解器寻求反例的方法自动生成可逆电路的错误检测集。实验结果显示,本方法能够有效的应用于不规则和复杂的基于k-NOT门的可逆逻辑线路,自动化程度高。     

精细建筑物碎片化纹理优化的二维装箱方法

为了解决精细建筑物模型大量碎片化纹理造成模型加载时间长和实时渲染效率低的问题，提出一种精细建筑物碎片化纹理优化的二维装箱方法. 计算共用纹理并集区域，优化冗余纹理内容，并同时顾及超出常规坐标[0，1.0]范围的异常纹理；使用二维装箱算法对优化后的离散纹理进行封装，降低纹理数量；利用纹理映射和纹理集技术将优化后的纹理重映射到建筑物表面，然后对建筑群进行实验.研究结果表明:使用本文方法，纹理数据量减少了71.20%，纹理文件数量减少了99.37%，模型载入耗时减少了98.86%，图像处理器耗时减少了63.06%，并可有效避免因异常纹理坐标导致的纹理错误映射问题，同时也提高了数据格式的兼容性.      

QTMR系统双微机核的故障检测机构

本文主要描述准三横冗余系统双微机核的硬件故障检测机构及其一些设计细节，并对设置在总线上的双比较器的错误检测性能作了分析。分析表明，双微机核对于单故障和一类有序双故障具有非常类似于FSE（故障保险）的特征。     

基于Petri网的测试用例生成研究进展

在软件测试中,测试用例生成是其关键环节,也对实现软件测试的自动化有着重要影响。基于Petri网的测试用例生成方法是通过对被测试对象进行建模,由模型产生测试序列,进而生成测试用例。分析了目前基于Petri网生成测试用例的研究现状并指出了在存在的问题。     

高速铁路列车运行冲突机理

分析了高速铁路列车运行过程中随机干扰的分布规律和累积过程,采用运行计划的状态偏离图,描述了高速铁路列车运行延误的变化机理。分析了高速铁路列车运行过程中冗余时间的分布规律与利用过程,采用运行计划的状态恢复图,描述了冗余时间对延误时间的吸收过程。根据运行干扰作用过程与冗余时间利用过程,研究了高速铁路列车运行冲突的产生机理,建立了随机干扰和冗余时间共同作用下高速铁路列车运行状态的递推过程。运用易语言开发了运行干扰-冗余时间-冲突仿真程序,当干扰概率分别为50%和30%,冗余时间比例分别为15%和10%时,仿真了4种工况下高速铁路列车运行冲突的产生机理。仿真结果表明:随机干扰会导致运行冲突的产生,冗余时间可以吸收延误时间并减小运行冲突个数;随机干扰越小,运行冲突个数越少,当随机干扰概率减小20%时,冲突个数减小17.3%;延误时间越大,可利用的冗余时间越大,当冗余时间比例增大5%时,冲突吸收系数增大6.5%;冗余时间对小干扰概率与小干扰总量下的运行冲突吸收作用更明显。     

基于PI控制器的船舶加速过程负荷控制

在Matlab/Simulink软件中建立了某"柴-燃"联合推进系统仿真模型,利用实船试航数据对模型的准确性进行了验证,对现行的加速过程控制方法进行了仿真和机动性评估.针对应急加速过程中主机严重超负荷、正常加速时主机功率冗余过大及机动性差的问题,提出了用PI控制器设计加速过程"机-桨"联合控制的方法.该方法用主机的功率冗余量作为控制器的输入,对加速过程中主机的转速和螺距的增加率进行调控.研究结果表明,使用该方法对加速过程进行控制时,避免了主机超负荷工作,且航速增加率比现行控制方法的航速增加率提高了近70%.      

3S技术在土地利用调查中的应用

基于无人机遥感图像的分类精度和高分辨率的图像特征,得出面向对象的遥感影像分类方法,即应用无人机遥感技术进行土地利用的快速详查信息提取。运用GIS技术,着重研究土地利用数据库的建立方法及构建过程,通过该数据库构建的时空模型,可有效地避免数据冗余问题,建立的数据库还可实现土地的详查追溯,通过图像的层次叠加获取历史土地详查的全区土地信息。     

高铁列车运行图车站与区间冗余时间同步优化模型

为提高列车运行图抗干扰能力，编制运行图时通过设置区间冗余时间和车站冗余时间吸收运行过程中产生的初始延误.针对既有模型未深入研究多种冗余时间之间相互制约关系对延误吸收影响的问题，本文基于生灭过程描述了冗余时间作用机理，提出了一种同时优化车站冗余时间与区间冗余时间的同步优化模型，该模型平衡了引起延误吸收效果不理想的冗余时间不足和双重冗余之间的关系.最后通过加载随机干扰，并利用接力进化遗传算法求解.结果表明，与现阶段常采用的冗余时间分配方案相比，同步优化模型能根据随机干扰均值求得区间冗余时间并解得相应车站冗余时间，在考虑行程时间的同时，更加有效吸收了累积延误，提高了冗余时间利用率.     

高铁列车运行图车站与区间冗余时间同步优化模型

为提高列车运行图抗干扰能力，编制运行图时通过设置区间冗余时间和车站冗余时间吸收运行过程中产生的初始延误.针对既有模型未深入研究多种冗余时间之间相互制约关系对延误吸收影响的问题，本文基于生灭过程描述了冗余时间作用机理，提出了一种同时优化车站冗余时间与区间冗余时间的同步优化模型，该模型平衡了引起延误吸收效果不理想的冗余时间不足和双重冗余之间的关系.最后通过加载随机干扰，并利用接力进化遗传算法求解.结果表明，与现阶段常采用的冗余时间分配方案相比，同步优化模型能根据随机干扰均值求得区间冗余时间并解得相应车站冗余时间，在考虑行程时间的同时，更加有效吸收了累积延误，提高了冗余时间利用率.     

基于GFRP-OFBG筋的桥梁缆索索力测量技术研究

基于内嵌光纤Bragg光栅传感器的光纤光栅．玻璃纤维增强塑料复合筋（GFRP—OFBG筋）,研究了GFRP-OFBG筋自身的应变和温度传感特性,研究结果表明,GFRP—OFBG智能筋具有优异的线性传感性能,筋中光栅测量的应变极限达12000με以上,波长变化达14nm;对于用GFRP-OFBG筋替换普通钢绞线的中丝而得到的GFRP-OFBG智能钢绞线,进行了应变传感、温度敏感和钒绞线松弛试验,试验结果表明,GFRP—OFBG智能钢绞线具有优异的线性传感性能和较低的应力松弛率,并可实现钢绞线受载全过程监测,绞线中光栅测量应变极限为11568．2με,光栅波长变化为15．966nm;对直接增加GFRP—OFBG筋制成的光纤光栅平行钢丝智能索和直接增加GFRP-OFBG智能钢绞线得到的光纤光栅平行钢绞线智能索,进行荷载传感试验,试验结果表明,智能索的感知线性度和重复性都比较好,并可监测70％以上公称破断索力。智能索工程应用案例表明,GFRP—OFBG筋智能拉索在实际工程中很容易得到车辆荷载下的响应曲线。     

基于模型的CTCS-3级列控系统测试案例自动生成方法

为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程(hybrid communication sequential process, HCSP)形式化模型和时间自动机(timed automaton, TA)形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场景的时序模型,分析了列控系统运营场景规范中时序功能的正确性;在时序模型的基础上,设计了满足全状态、全变迁和自定义-使用3种领域无关覆盖准则的列控系统测试案例自动生成算法,并以RBC(radio block center, RBC)切换场景为例,生成了100%全状态、全变迁和自定义-使用覆盖准则的测试案例套.从测试套数量、测试时间和内存消耗3个方面分析测试案例的生成效率表明:自定义-使用覆盖准则的测试案例套测试时间和内存消耗最小,分别为0.02 s和9.4 MB,本文方法提高列控系统测试案例生成效率最大达30%.      

基于VB计算土工离心试验模型重心

土工离心模型试验能再现自重应力场以及与自重有关的变形过程,直观揭示变形破坏的机理,并能为其它分析方法提供真实可靠的参数依据,而得到越来越广泛的应用。然而按相似比尺关系填筑试验模型后,计算模型的重心这一工序简单却繁杂,费工费时。结合相关物理力学知识,对试验模型重心计算公式进行推导和简化,并提出应用VB语言简化计算过程的基本思路,将会为快速准确地完成试验过程提供有力支持。     

上市港口企业投人产出效率研究

运用三阶段DEA模型,对在上海证券交易所上市的港口企业投入产出效率进行研究．基于上市港口企业年报数据,选取港口营业成本和在职员工数作为投入指标,选取港口货物吞吐量和净利润作为产出指标,构建基于港口企业运营特点的DEA模型;引进环境变量,采用SFA模型分解DEA模型中投入指标的松弛变量;重新运行经调整后的投入指标与原产出指标的DEA模型．研究结果表明,2012年我国上市港口企业整体综合效率水平相对较高,投入冗余程度相对较轻,对于部分规模报酬递增型港口可以考虑适度扩大规模,对于综合效率低于平均水平的部分港口,应考虑寻找企业内部运营管理问题,适度减少投入．     

基于硬件冗余容错控制的换向阀改进设计

运用容错技术理论,基于硬件冗余,把普通换向阀改进设计成双余度换向阀,从而简化了液压系统,提高了工作可靠性,这对提高船舶等载运工具的安全性和经济性具有现实意义。