一种基于调用链的Java程序数据竞争静态检测算法

多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义。论文将竞争静态检测和静态切片分析结合起来,提出了一种类层次的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争。实例表明,该算法可用于指导修复程序中的竞争缺陷。     

船舶电力系统静态安全分析概述

船舶电力系统日趋复杂化,船员已难以通过经验来判断电力系统的安全运行状态.在陆地电网静态安全分析的基础上,针对船舶电力系统的特点,提出船舶电力系统静态安全分析的概念,同时给出适合船舶电力系统预想事故的危害度指标和安全裕度指标,弥补了船舶电力系统在这方面的空白.     

超视距协同空战网络化结构研究

利用复杂网络理论,将超视距协同空战实体及其之间的关系进行协同网络节点和边的抽象,分别从编队无协同、仅火力协同、仅传感器协同(树型/分布式指挥结构)、传感器+指控协同(树型/分布式指挥结构)、传感器+指控+火力协同(树型/分布式指挥结构)、预警机指挥引导下的传感器+指控+火力协同(树型/分布式指挥结构)进行网络化协同结构模型构建。在所构建模型基础上,从平均路径长度、聚集系数、平均节点度和度分布3个方面进行静态特性分析;并利用协同网络邻接矩阵特征值进行网络化效应分析。其结果体现了网络化协同结构对超视距协同空战的影响,所得结论可为超视距空战协同结构的组织、分析与评估提供参考。     

北京市地铁5号线天通苑地区停车换乘需求预测

针对北京市地铁5号线天通苑北站P＋R停车场规模与实际停车换乘需求不匹配的问题,研究确定其停车换乘需求的预测方法,并提出解决停车设施供给不足的方案。在分析天通苑地区P＋R停车场时间、车辆来源及设施供给情况的基础上,建立Logit随机均衡交通方式选择模型,得到该地区高峰小时停车换乘需求量为1476个泊位。同时,将预测结果与天通苑北站P＋R停车场实际可扩展停车规模进行比较,提出在瓶颈路段设置新的P＋R停车场的方案,并建立了系统优化平衡模型,对该地区的停车换乘需求进行分配。结果表明,新建P＋R停车场规模分别为300,400,500和600个泊位的条件下,停车换乘需求基本按照两个停车场的规模比例分配停车数量。     

基于泊位共享的停车需求预测

常用的停车产生率模型存在局限性,对于混合土地利用模式可能高估停车需求。为解决这一问题,对建筑物停车泊位共享进行研究。以停车泊位共享理论为基础,提出混合土地利用模式下基于泊位共享的停车需求预测模型及方法。将泊位共享理论应用于无锡市某地块,结果表明,按照基于泊位共享的停车需求预测方法计算,高峰停车需求总量减少20％,项目设计的机动车停车泊位可以满足要求。因此,实行泊位共享可以降低建筑物停车配建规模,减少总停车泊位建设成本,节约社会资源。     

乙醇汽油饱和蒸气压试验研究

利用静态法(等压计法)对几种不同混合比例的乙醇汽油饱和蒸气压进行试验研究,得到不同比例的乙醇汽油饱和蒸气压随温度变化的曲线。在此基础上,分析同一温度下不同乙醇汽油饱和蒸气压试验数据,发现在一定的温度下,随着混合燃料中乙醇比例的上升,其饱和蒸气压会出现一个由增大到减小,再增大到再减小的复杂过程。这对于乙醇汽油的进一步研究及推广将有着积极的指导意义。     

关于低温液体汽车罐车几个设计问题的探讨

依据标准JB/T 4783-2007<低温液体汽车罐车>,并结合原有的相关标准对低温液体运输车罐体的设计压力、计算压力、耐压试验、安全泄放装置和静态蒸发率等概念在设计中的应用进行了探讨.     

一种无环流数字控制STS模块的研制

分析了静态转换开关（STS）的无环流切换控制的工作原理。针对其中关键的电流状态检测问题,提出了一种根据晶闸管门极电压来检测晶闸管导通状态的方案。设计了1个TMS320LF2406控制的12A静态转换开关模块,描述了DSP中电压掉电时的控制时序,实际测试表明模块断电时间小于规定时间,提出的电流检测方法正确。     

综合客运枢纽静态标识系统研究

在分析影响综合客运枢纽静态标识系统的主要因素的基础上,通过剖析综合客运枢纽静态标识系统目前存在的主要问题,并阐述构建静态标识系统的三要素设计要点,对综合客运枢纽静态标识系统的信息内容进行归纳,进而提出的基于步速的不同视力条件下静态标识版面汉字的字高及不同字高下标志、标识的视距,对综合客运枢纽静态标识系统的设计与应用具有参考价值。     

混合动力客车车身骨架结构静态性能分析

混合动力客车能适应节能环保的要求,但目前大多数混合动力客车是通过传统油车改造而来,其附加的动力系统和电池系统对车身结构强度和刚度的影响与传统油车不同,借助有限元方法通过分析该车型主要的承载部件车身骨架在危险工况下的静态性能分析,分析骨架结构在危险工况下的应力和变形,找出结构设计不合理的部位,为后续车型的改进设计及轻量化设计提供参考依据。