具迹抽象类型的代数语义与继承

采用理论计算机科学中的范畴论形式化地描述了具迹抽象数据类型，而对象是该类型满足某些公理约束的一个模型，基于这种观点形式给出了继承的概念。     

����֧���������ij��е�·��ͨ״̬ģʽʶ���о�

城市道路交通状态识别是现代智能交通系统的重要组成部分,是交通智能控制、诱导和协同系统的基础.基于支持向量机建立车流量、平均速度和占有率的三维反映空间,以堵塞流、拥挤流、平稳流和顺畅流为标签对道路交通状态进行分类;并在MATLAB平台下利用LiBSVM工具包进行实验分析,对SVM各种核函数的分类效果进行比较研究,实现了支持向量机技术的交通状态模式识别.结果表明：选择的指标能很好地反映交通状态的特征,SVM核函数可以以较高的分类精度区分开交通流的状态识别,数据的归一化对分类的结果具有重要的影响.     

“��Ħ”���߶Ծ������ʱ��ɱ���Ӱ�����

为科学评价“禁摩”对居民出行时间成本的影响,本文以广州市为例进行研究.通过结合广州市历次交通调查数据,分析了广州居民出行的特征及有关参数,并利用意愿调查和历史趋势法确定了实施“禁摩”与不实施“禁摩”两种情形下“禁摩”范围内居民出行方式的构成比例;在综合考虑出行目的、出行时间及收入情况等因素后,构建了“禁摩”对居民出行时间成本的对比分析模型.研究结果表明,“禁摩”政策会增加居民出行时间成本,其中总体成本增加3.01%,被限制的群体成本增加53.47%.     

��������1�������������ھ��о�

日益增长的城市轨道交通客流给既有线路的运营组织带来了巨大压力.本文分析了城市轨道交通提高运输能力的主要措施,发现北京地铁1号线通过扩大列车编组数量和缩短列车运行间隔的措施来挖掘运输能力的潜力较小,提出通过非正常的行车组织方式,采用插车方案来提高1号线的运输能力,该方案能够在早高峰时段提高10%左右的运力,使最大满载率由120%降至110%.经过试验,加开列车能够明显减少站台的滞留人数,实施效果良好,可以为其他线路挖掘运输能力提供思路和经验.     

�綯���г��Գ��н�ͨ�ṹ��Ӱ��Ԥ��ģ���о�

近几年，电动自行车在中国发展迅速，已经对我国城市交通结构产生了深远的影响。本文根据马尔可夫分析法的基本原理，建立起电动自行车的方式分担预测模型。在此基础上，以石家庄市为例，通过实地调研分析该市居民现有的交通方式和转移意向。然后，假设在放任、限制、适度控制三种场景下，根据不同的交通方式转移概率，预测未来几年石家庄市电动自行车的方式分担率。并对预测结果进行分析，从而为各城市制定电动自行车的相关政策提供决策依据。     

海面舰船尾迹SAR图像仿真

舰船尾迹的仿真研究有利于合成孔径雷达(SAR)对舰船的检测与识别。针对舰船航行环境的复杂性,提出了一套较为完整的舰船尾迹仿真方法。在引入快速傅里叶变换(FFT)快速求解海面基础上,加入波流相互作用,使海面与尾迹较真实的融合在一起,然后基于随机多尺度模型给出了舰船尾迹后向散射的简化计算模型,最后结合速度聚束调制和调制变换函数仿真出SAR图像,仿真结果表明该方法的可行性。     

���ٹ�·��ƽ�и�·��ͨ���ֵ�����Ӱ�����ط���

在公路可行性研究或项目评估时，同一通道内高速公路与平行辅路交通量分担比例在交通量预测中非常重要，本文以交通运输的基本机理和追求的目标为分析的出发点，系统的分析了交通运输行为主体和公路属性的各方面对该比例的影响，包括地区的经济水平、不同车型的差异性、高速公路与平行辅路的里程差、等级和路况的对比、通道的交通饱和程度、收费水平等因素，这些因素的分析对实践中该比例的确定具有较强的指导意义。