城市轨道交通网络系统效率评价指标改进

为提高城市轨道交通网络系统效率评价指标的可比性和完备性,引入有效行程速度和有效客流密度的概念,改进了网络系统效率评价指标,并以重庆市中心城区2017年和2019年运营的城市轨道交通线网为例验证了改进后评价指标的科学性和可操作性。研究表明:既有评价指标由于显著受到线网服务范围的影响,且未体现网络的投入产出效率,无法直接作为网络结构优化的目标函数;改进后的系统效率评价指标能够综合反映剔除线网服务范围影响后的网络结构性能和投入产出效率,且存在理论上的最优值;平衡网络中节点换乘时间和路段行程时间,并适度加密城市核心区域的轨道交通线路和站点,是持续提升网络系统效率的2个重要手段。

双重能源约束视角下的能源转型风险

本文构建了一个投入—产出模型,以探究在化石能源存在储量上限和可再生能源生产对于化石能源存在间接依赖的双重能源约束下,能源转型是否会对全球宏观经济的发展构成显著风险。基准结果发现,化石能源生产成本的大幅提高会对可再生能源部门的投资增速产生干扰,导致可再生能源的扩张无法有效弥补化石能源生产的衰落,从而造成人均总能源消费的下降;过低的人均能源消费又会引发人口死亡率的攀升,致使劳动力成为经济发展的限制因素,出现以实际GDP的持续大幅下降为标志的显著转型风险。进一步研究发现,对可再生能源部门的投资需求施以更强的刺激,能够有效改善人口和经济产出的长期增长路径。

基于MATLAB平台的南京地铁1号线车站效用构建及改进措施

采用MATLAB平台及DEA法构建城轨交通车站效用评价体系并对南京地铁一号线的车站效用进行评价,结果表明:所选南京地铁一号线的23个车站中,有8个车站的效用为DEA有效,其他15个车站存在某种程度的输入指标冗余或输出指标不足。经充分优化后,南京地铁一号线可通过合理配置车站的效用输入指标,提升其车站效用值。

一种基于时间自动机的实时系统测试方法

基于时间自动机(timedautomata,简称TA)的一种变体——时间安全输入/输出自动机(timedsafetyinput/outputautomata,简称TSIOA),提出了一种实时系统测试方法.该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimedstabletransitiongraphofsymbolicstate,简称USTGSS);然后采用基于标号迁移系统(labeledtransitionsystem,简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列;最后,给出了一个根据迁移动作序列构造和执行测试用例的过程,该过程引入了时间延迟变量目标函数,并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量.

一种新型大功率输入并联输出串联Buck半桥变换器

现有的升降压拓扑中双管Buck-Boost和双管Boost-Buck变换器较符合高效大功率场合的使用要求,前者结构简单,但电流纹波大;后者引入了2个电感,功率密度很难提高。提出了一种新型大功率并联输出串联Buck半桥变换器(input-parallel output-series Buck-halfbridge,IPOSBHB),分析了IPOSBHB的电路结构、工作原理及基本关系,并从电压电流应力、磁性元件总体积、效率这3个方面与双管Boost-Buck变换器做了对比,提出了一种基于组合开关方式的控制策略,实现了升降压的模式切换和恒压、恒流的输出特性,最后通过1台15 kW样机对所提出的理论进行了验证。

城市轨道交通项目建设投资对区域经济与社会就业的影响

通过阐述城市轨道交通投资乘数效应的形成机理,构建项目建设投资的投入产出分析模型,并以长沙市地铁2号线为例,定量评价城市轨道交通项目建设投资对区域经济与社会就业的积极影响,从而进一步验证城市轨道交通具有显著的正外部性特征,为项目投资的科学决策和政府相关补贴政策的出台提供依据。

利用逆向判定性缩短EFSM的测试序列的长度

在一个以扩展的有限状态机 (EFSM)为模型描述的协议测试系统中 ,测试序列的可执行性是一个重要的问题。同时 ,还要考虑到测试序列的优化问题。文中以EFSM为协议的描述模型 ,引入了逆向判定性的概念 ,并利用这一概念对转换可执行性分析 (TEA)方法进行了改进 ,缩短了生成的测试序列的长度 ,并且减小了所需的TEA树扩展空间。

城市交通投资与经济增长关系的实证分析

通过分析北京和纽约城市交通在道路交通设施、轨道交通设施、交通投资方面的发展现状,利用交通投资投入产出模型定量比较北京市与纽约市交通投资与经济增长的关系。研究结果表明:交通建设投资对经济的影响较大,交通业在国民经济中发挥着基础产业和服务业的作用;与纽约相比,北京交通建设投资对经济增长的影响更大,其影响着重于交通建设投资方面,纽约的城市交通设施建成后主要发挥的是服务业的特征。

城市轨道投资的经济和就业影响——以北京市为例

城市轨道交通是可持续交通的重要组成部分,"十二五"期间中国的轨道交通将迎来新一轮的快速发展。以北京市为例,对北京城市轨道交通2011～2020年间的发展做相应的情景假设,并利用投入产出方法对北京城市轨道交通投资可能带来的经济和就业带动效应进行定量分析。匡算结果表明:"十二五"和"十三五"期间,北京市轨道交通总投资将达到5000亿元和4450亿元左右,可拉动的经济将达到26836亿元,可拉动就业人数约为438万人。

一种符号化执行的实时系统一致性测试生成方法

系统一致性测试用来验证和确认系统实现的正确性.针对实时系统在进行数据处理时受到时间约束,容易导致状态空间爆炸的问题,提出一种符号化测试生成方法.首先对符号变迁系统和时间自动机进行扩展,建立一种新的符号语义模型TSIOSTS,基于该模型定义了时间一致性关系(tioco);然后以tioco关系为指导,结合符号化执行策略,生成被测系统模型的时间符号化测试行为树,并转化为测试用例;最后将提出的理论和方法应用于CTCS-3列控系统临时限速服务器的一致性测试中,验证了该方法的可行性和有效性.

网络协议测试的符号化一致性关系研究

协议的一致性测试可以验证协议实现的正确性,一致性关系是测试生成的基础。网络协议的特点之一是控制消息中会携带大量数据。针对网络协议的该特点提出了符号化的一致性关系模型。建立了网络协议的输入输出符号变迁系统,并且依据数据符号实例化策略建立了对应的语义模型,在该模型中系统的活动是集成控制和数据的复杂活动。在此输入输出符号变迁模型的基础上提出了一种符号化的一致性关系以生成测试套。为了便于测试套的自动生成,对所提出的一致性关系进行了简化。在上述过程中数据的处理通过符号化的变量进行建模,这样可以使用统一符号进行数据处理,而不必总是关心具体的数值,只需在适当的时机进行符号的实例化。文中所提出的一致性关系模型充分利用了符号化的变量,增加了该模型的抽象程度,避免了处理过程的复杂性,且可以指导测试套的自动生成。最后使用IPv6的邻居发现协议对该一致性关系进行了说明。

基于符号执行和LTL公式重写的测试用例产生方法

基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展.对于输入和输出为无界抽象数据类型的无限状态系统,利用传统模型检验技术难以有效地产生测试用例集合,提出基于符号执行和公式重写的测试用例产生方法.通过建立程序的符号化执行模型,避免输入和输出变量数值化枚举而导致的无限状态系统的建模和状态爆炸问题;建立基于符号化执行模型的时序公式重写规则,并根据线性时序逻辑(linear temporal logic,LTL)公式的反例模式求取复杂属性及行为约束关系,利用约束求解的方法自动产生测试用例集合.这种方法集成了符号执行技术和时序公式状态重写——一种轻量级模型检验技术,成为基于复杂抽象数据类型系统与属性相关的测试用例自动产生的有效方法.

新常态下碳减排与经济转型多目标投入—产出优化研究

在我国经济新常态背景下,通过构建经济—环境系统模型刻画了CO2排放的规模效应、结构效应和技术效应及其作用机制,利用多目标投入—产出规划预测了2020年我国经济增长、结构优化、能源消费和碳排放的整体优化方案。结果表明:保持中高速增长是新常态下提高我国发展平衡性、包容性的速度要求;碳排放和能源消耗总量的持续增长要求强化经济和能源向低碳转型的倒逼机制;"退二进三"的经济服务化将是我国产业结构绿色发展的逻辑主线。

用神经网络法预测单桩竖向极限承载力

本文采用人工神经网络中的BP网络，对单桩的竖向极限承载力进行了预测。与典型的BP神经网络不同，本文在输入层和隐含层之间增设了一个过渡层。通过增设过渡层，使改进的BP网络模型具有更明确的物理意义，能更真实地反映单桩竖向极限承载力的机理，从而可对其进行更为准确的预测。

输入与输出理论在小升初英语口语教学中的应用

在语言学习过程中,语言输入和输出理论提供了重要的学习途径和依据,尤其是在小升初英语口语学习和教学方面。语言初学者在衔接阶段,换一种方式接触一门语言时往往会出现各种问题,情感焦虑,自信心不够等,再加上衔接阶段的教材衔接问题、教师衔接问题、输出衔接的空缺问题,导致学生厌倦学英语,不会说英语的情况。通过对输入和输出理论的研究和学习,可从增加可理解性输入量和确保输出量两个方面,提高衔接阶段口语教学的质量,为新课程标准的改革作出进一步的改进。

W波段回旋行波管输入输出段的改进设计

在回旋行波放大器的设计中,输入输出段的性能直接影响到整管输出功率、效率及增益。设计了一种采用渐变过渡段的输入耦合器来减少电子注在前端的截获,而且略微地提高了耦合特性,有效带宽达到4.06GHz。采用二级切比雪夫渐变波导作为输出结构的耦合输出段,从仿真结果得到,在整个工作频段内,该结构中TE01工作模式的反射低于-20dB,TE01模向杂模TE02和TE03的耦合分别在-20dB和-30dB以下。

广东省经济结构转型对协同减污降碳的影响

在经济快速发展和减污降碳的双重压力下,通过经济结构转型实现协同减污降碳,是广东省可持续发展的迫切需要.本研究利用减排量弹性系数评估SO_(2)、NO_(x)、烟粉尘与CO_(2)排放量变化的协同性,基于环境投入产出模型和结构分解分析方法探究广东省经济结构转型对协同减污降碳的影响.结果表明:①从生产端看,电力热力的生产和供应业以及非金属矿物制品业的大气污染物和CO_(2)排放量较大;从消费端看,建筑业同时排放了大量大气污染物和CO_(2).②2007—2017年生产结构变化和最终需求产品结构变化对减污降碳的影响存在不协同性,未来可通过优化生产结构和最终需求产品结构促进协同减污降碳.研究显示,应以生产结构和最终需求产品结构转型为重要抓手,提高广东省减污降碳的协同性,实现高质量可持续发展.

轨道交通产业关联效应的测度分析——以四川省为例

轨道交通产业体系复杂,与众多产业联动发展。轨道交通产业的发展能极大促进其他产业发展及经济增长。为定量分析轨道交通产业与其他产业的关联互动,从产业关联角度出发,基于投入产出表,构建四川省轨道交通产业6部门与45部门的投入产出表,分析并计算轨道交通产业的关联效应、波及效应以及产业结构静态分解。结果显示:轨道交通产业的关联产业众多,并不集中于某几个产业;轨道交通产业的影响力与感应度均大于1,且影响力大于感应度;反馈效应不明显,溢出效应明显大于乘数效应与反馈效应,占62.82%,溢出效应I占总溢出效应的93.8%。研究证明轨道交通产业的自我调节能力较强、对其他产业的发展影响大,也是对国民经济增长拉动较明显的先导性产业,应优先发展轨道交通产业。

一类转移概率部分未知的Markov跳跃系统的输入输出量化反馈控制

对一类离散时间马尔可夫跳跃系统(Markov jump systems,MJSs)的稳定性问题进行研究,考虑MJSs转移概率矩阵中的元素部分未知,且系统的控制输入通道和测量输出通道都存在信号量化的情况,其中控制器输入通道和系统输入通道的信号分别被两个不同的对数量化器量化。利用切换李雅普诺夫函数的方法,通过构造系统模态依赖且双通道量化误差依赖的李雅普诺夫函数,完成对闭环系统的稳定性分析和控制器设计。得到一组模态依赖的控制器,能够在系统的转移概率部分未知和存在双通道量化误差的条件下,保证闭环MJSs的随机稳定性。最后通过仿真实验验证了理论的有效性。

基于SE-DEA模型的上海轨道交通综合效率研究

随着城市化进程加快,交通出行量与日俱增,城市轨道交通成为缓解交通拥堵压力、提升旅客出行品质的重要方式,其综合效率对城市经济发展具有重要意义。从投入产出的角度,采用超效率数据包络分析模型,选择运营线路数、运营里程、车辆数、车站数、从业人数为投入变量,交通分担率、客运量、日均开行列次为产出变量,建立城市轨道交通综合效率评价模型,以2006—2019年上海轨道交通数据为例进行实证分析,对上海轨道交通各年份的综合效率进行评价。同时通过对非DEA有效决策单元的投影分析和改进分析,结合指标敏感度分析结果,研究造成上海轨道交通综合效率非DEA有效年份的主要因素,从而找出上海轨道交通系统存在的不足,以期为相关部门科学合理决策提供参考。