摘要：为了解决城市轨道交通监控系统中的自动化孤岛问题,必须建立综合监控平台以实现各个监控系统间的信息共享、无缝连接和综合监控整个系统的运行状况。本文首先对城市轨道交通各个监控系统的特征及现状作了整体的描述;根据各子系统的现状及特征,规划了城市轨道交通综合监控系统的总体框架,提出整个系统由中央级及车站级综合监控系统组成的分层管理模式;对车站级综合监控系统的基本功能作了详细描述;根据车站级综合监控系统功能,应用异构数据源提取技术、分布式组件技术、XML技术、元数据技术以及工业控制接口技术等,提出实现车站级综合监控系统的具体方法和步骤。

摘要：随着通信技术的快速发展,目前市场上无线电测试类仪器保有量快速扩充,测试任务逐年增长。面对快速增长业务,传统的人工手动测试方式已不能满足市场需求。针对以上问题,采用TestCenter软件平台,结合已有计量标准设备,适当增加接口及智能开关设备,设计了一套通用自动测试系统。经验证,该自动测试系统操作简单,运行可靠,测试速度快。

摘要：通过对央视新大楼中标方案的介绍,分析了城市中新建筑与城市整体协调的问题,深入探讨了在城市建设中新旧建筑文化的和谐问题,提出了新与旧的结点,以保证城市的稳定与协调发展。

摘要：物流领域是应用物联网技术最为成功的行业之一,物流工程专业引入物联网技术课程是培养智慧物流方面人才的需要。为提高物联网技术课程的授课效果,培养物流工程专业人才的动手能力和创新能力,以物流实践的具体应用为依托,设计了适用于物流工程专业人才培养的物联网技术实验项目。基于实验过程的参与程度、操作熟练程度、编程调试能力和实验报告,建立了“1+2+3+4”的成绩评定模式,评价学生对实验的掌握情况,并对学生在后续培养过程中应用物联网技术开展智慧物流相关创新活动的情况进行了分析。

摘要：论文所研究的是一种车载箱式废气处理系统中用于精细化处理工业、航天、航空等领域废气的新型装置。该装置的特点为采用传统吸收塔与储液箱组合的特殊结构,待处理废气通过该装置及连接金属管道沿“S”型曲线流动,既达到了废气达标排放的目的,又满足车载设备空间有限、质量不能超重的技术条件。该装置的研究,解决了传统车载废气处理系统不能满足当前待处理废气大流量、多工况、长时效的技术难题,既提高了废气处理效率,又增强了废气处理续航能力。

摘要：随着信息物理融合系统(Cyber-Physical Systems,CPS)应用的越来越普及,CPS的设计和实现能否满足实际需求显得至关重要.本文提出了一种CPS建模与属性验证框架.在框架中,首先使用HybridUML对CPS进行建模,然后将该通用模型转换为形式化模型,进而进行形式化验证.本文采用的形式化验证方法为dL(Differential Dynamic Log-ic),其操作模型为hybrid program.将HybridUML模型转换为hybrid program时,基于语义一致性的原则定义转换规则.转换完成后,结合得到的hybrid program对验证的CPS属性进行规约,最后使用定理证明器KeYmaera对属性进行自动化验证.

摘要：对两级自路由交换结构,提出了一种新的分割聚合流的负载均衡方法.该方法通过群组集线器对输入输出线进行分组以获得统计复用的优点并减少接入控制计算的复杂度,并对输入输出及中间端口进行缓存结构的优化设计以实现分组线速转发并降低缓存的复杂度.理论分析和仿真结果表明,对于任意允许的流量模式,可以达到100%的吞吐率.与其它负载均衡交换方法相比,本方法具有最低的缓存复杂度O(N),很小的固定排队延迟O(1).这些特性使之在下一代网络中更适合超大规模的分组交换结构.

摘要：针对现有演进分组系统认证与密钥协商机制中认证向量组长度K值选取算法的不足,在消息通信量的基础上,加入比特通信量这一衡量因子,引入2种浪费率作为评价指标和设计折中选取原则,提出了一种基于认证次数动态选取认证向量组长度K的算法.仿真结果表明,提出的选取算法不仅解决了K值不唯一问题,还有效降低了认证过程的消息通信量和比特通信量.

摘要：利用FLUENT软件,对同轴径向热管换热器壳程进行模拟计算,分析烟气速度、温度及局部对流换热系数沿壳程的变化规律,并寻求换热器结构参数优化值。研究结果显示：换热器壳程,离热管管壁越近,温度梯度越大;烟气流经管束时,在管束尾部形成一个楔形的涡流区,速度在流体出现脱体的地方达到最大;湍流强度在涡流中心区域也达到最大值,中心区域的换热强度明显高于热管两侧边缘处,管束尾部的烟气温度低于管边缘处的烟气温度。将模拟结果与测试结果进行比较,误差在10%以内。通过改变换热器结构参数,对换热器壳程烟气对流换热进行分析研究,得到径向热管换热器结构优化参数：横向管距为114-120 mm;纵向管距为120-125 mm;翅片高度不应高于26.5 mm;翅片间距为6 mm。

摘要：SMT-PAAG是一种专用于图形、图像及数字信号处理的多核处理器.介绍了SMT-PAAG处理器中的专用于计算超越函数的协处理器设计,包括其原理、特点、实现和验证.协处理器采用完全流水线结构,基于分段线性逼近的算法实现了一个统一了多种运算的四路算数通道,这些运算包括向量乘法、除法、平方根、点积、三角函数、幂指数及基于任意底的对数运算.最后在system verilog仿真平台上仿真通过并统计了每种运算的误差.