教学课程资源库 更多>>

关键词： 结构化设计   道路桥梁   应用  

摘要： 随着社会经济的不断发展,交通系统建设不断完善。道路桥梁是交通系统中的重要组成部分,重视道路桥梁的建设,要从道路桥梁的设计开始。本文简单阐述了结构化设计的模型构建方法及常见的解法,并介绍了道路桥梁结构化设计的原则,同时分析了结构化设计在道路桥梁设计中的应用,旨在为同行提供借鉴参考,提高结构化设计在道路桥梁设计中的应用水平。

关键词： Hydrogen and syngas   Biofuels reforming   Microchannel and foam substrates   Nanocomposite active components   Catalytic performance   Coking stability  

摘要： Main features of structured catalysts performance in bio-fuels reforming into syngas at lab-scale and pilot-scale levels using specially designed reactors and kinetic installations allowing to broadly tune the operational parameters are presented. Effects of the nature of nanocomposite active component comprised of Ru + Ni nanoparticles on bulk/alumina-supported perovskite or Mn-Cr-O spinel, type of substrate (Ni-Al alloy and SiC(Al2O3)/Al-Si-O foam substrates, Fechraloy microchannel plates or gauzes protected by thin corundum layer), type of fuel (natural gas, ethanol, acetone, ethyl acetate glycerol), feed composition and temperature on yield of syngas/byproducts and performance stability are considered. The best performance in real feeds with syngas yield approaching equilibrium at short contact times without any heat/mass transfer effects along with a high thermo-chemical stability were demonstrated for catalyst on heat-conducting microchannel substrate. Oxygen addition to the feed in optimized amounts allows to suppress coking and stabilize performance even for the case of such reactive fuel as glycerol only slightly affecting syngas yield. Copyright (c) 2015, Hydrogen Energy Publications, LLC. Published by Elsevier Ltd. All rights reserved.

关键词： 交通工程   网格技术   分布式系统   Web服务  

摘要： 对未来高速公路实现有效管理和实时控制,需要一个真正意义上的开放、集成和灵活的分布式控制中心系统,实现这一系统其实质就是要解决不同领域复杂科学计算与海量数据服务问题。将网格计算与Web服务相结合的网格服务技术为解决这个问题带来可能。通过对网格技术的了解,对建立未来高速公路控制中心提出了概念模型,并通过实现条件的可行性分析,证明了网格技术在未来高速控制中心实现的可行性,并对其研究方向提出了进一步的建议。

关键词： Visual   Basic   6.0   结构化   程序设计  

摘要： Visual Basic 6.0编程语言中,程序结构的控制是学好编程语言的基础。在学习结构化程序设计的过程中,学生经常会遇到一些共性问题。本文主要研究了学生在编程理论课和实践课中遇到的问题,并结合教学实践给出了有针对性的解决方案。在教学这个双边活动中,把抽象的程序代码直观化,让学生达到更好的学习效果。

关键词： 基于模型的系统工程   航船电子对抗系统   体系结构设计  

摘要： 针对舰船电子对抗系统设计与集成的难度日益加大的情况,介绍了一种应对复杂系统研发需求的基于模型的系统工程方法,并阐述了需求分析、功能分析以及体系架构设计三个阶段的设计流。最后以水面舰船电子对抗系统体系架构的设计和验证为例对该方法的应用进行了说明,为从事舰船电子对抗总体设计提供支撑。

摘要： 形式化方法起步于对程序理论和语义的研究，历经50多年的发展，成为了计算机科学中的重要领域．它使用严格的数学方法，研究并发展软、硬件系统的建模、设计、开发、验证与演化等技术，为计算系统的正确性和可靠性提供了重要途径．

关键词： 列控系统   形式化方法   RBC切换协议   正确性与实时性  

摘要： 在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RAISE的形式化方法,结合域的模型,在对RBC切换流程分析的基础上,构建状态转移图,得到切换协议的形式化模型,使用等价和推断的推理规则对模型的正确性和实时性进行推理验证,得到的结果表明,RBC切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。

关键词： 结构化面试   随机化设计   统计分析  

摘要： 统计学是保证面试有效进行的重要工具,在面试方法设计和面试结果分析中有着重要的作用。在设计面试方法时应当遵循统计学中的基本思想,即随机、对照、重复,将统计学中的随机化思想与实验设计思想结合起来。由于具有较高的信度和效度,结构化面试已经成为一种最流行的面试手段。但随着这种手段的广泛应用,其内在一些问题也逐渐暴露出来。本文将随机化设计的思想应用到结构化面试中,得出了评价者与被评价者的数量关系,并且对结构化面试的结果进行了统计检验,最后提出随机化设计在结构化面试中的应用规则。结论表明,随机化设计可以优化面试流程,节约面试资源。运用方差分析可以对面试结果进行统计检验。