基于MVC与多数据库的开放实验预约系统设计

开放实验预约系统是计算机应用实验示范中心的重要功能子平台,在基于MVC(Model View Controller)的基础之上,实现了美工、UI(user Interface)和程序编码的完美分离,并以Web Service数据本地化cache的方式实现了多数据库数据的交互,并在HTML页面中以table的形式显示课程表与实验预约功能的集成,为学生与老师提供了1个方便的基于B/s(Brower/Server)的网上开放实验预约平台.     

土石混填路堤沉降特性二维地质力学模型试验

采用二维地质力学加载系统,模拟土石混填路堤在施工过程中路基沉降变形发展规律和工后沉降的时空变化特征,为土石混填路堤沉降计算和预估提供依据.     

新型铰缝在重载交通道路桥梁设计中的应用

如何避免重载交通道路桥梁的铰缝早期损坏问题,是我们设计部门急于解决的问题。文章针对铰缝的设计进行研究,提出了防止铰缝早期损坏的有效办法。     

反潜编队对潜应召搜索效果评估

通过分析反潜编队应召搜索的特点、实施时机,根据对潜搜索需要进行的战术计算,建立了反潜编队对潜搜索能力模型并进行了解算,对应召搜索的效果进行了评估,为实际反潜作战中提高对潜搜索的效果提供了可靠的依据.     

基于生产层的集装箱可视化理货系统探究

外轮理货是港口物流中关键的一环,不断提高理货工艺的信息科学化水平,对促进理货行业的可持续发展具有十分重要的意义。介绍了目前最先进的集装箱理货方式,同时结合理货工作的实际情况,探讨集装箱船舶理货工艺的未来发展方向,以推动外轮理货行业实现可持续发展。     

基于在线一致性测试理论的CBTC车载ATO功能测试研究

自动列车驾驶系统(ATO)是CBTC系统的重要组成部分,验证测试其控制功能逻辑的正确性和安全性至关重要。介绍了ATO控制原理和功能,分析了CBTC中典型的两车追踪控制运行场景控制流程,得到了该场景下的列车运行安全需求。结合时间自动机理论,建立了包含列车动力学、车载ATO、ZC以及时钟控制器的两车追踪场景时间自动机网络模型,验证了模型中安全需求的正确性;基于一致性测试理论,定义了被测车载ATO软件与测试环境的可观测输入/输出接口,利用UPPAAL-TRON工具设计了被测车载ATO软件的一致性测试框架,并进行了一致性测试分析。在此基础上,采用变异测试,针对典型的车载ATO软件功能实现错误(错误的安全距离、静态限速、功能逻辑以及命令丢失等)进行了安全性验证。结论表明:该在线一致性测试方法能够及时发现车载ATO软件行为与规范模型的不一致,有效提升了车载ATO功能测试的检错能力。     

胶粉改性沥青存储稳定性的研究

为改善胶粉改性沥青的存贮稳定性。依据沥青混合料实验规范,选取存储48h后的软化点之差,作为评定标准。通过控制变量的对比分析,对影响胶粉改性沥青存贮稳定性的各种因素进行评估。结果表明,较好的沥青品种,较大的胶粉目数,较低的胶粉掺量,较高的搅拌温度,较长的搅拌时间以及经过高速剪切,均可增加胶粉改性沥青的存储稳定性。     

长江中游沙市河段治理效果分析及后续治理思路探讨

沙市河段为长江中游著名的碍航河段,根据《长江干线航道发展规划总体纲要》,该河段2020年航道的建设标准为3.5 m×150 m×1 000 m(水深×航宽×弯曲半径),通航保证率为98%。考虑到三峡工程运行以及防洪等外部因素的影响,沙市河段的治理采取系统治理、分步实施的原则进行,从2009年初开始陆续实施一期工程和腊林洲守护工程,工程实施以来,航道条件明显改善,取得了较好的工程效果。本文结合已有研究成果和工程实施以来的资料,对工程前后的河道变化、航道条件等进行了对比分析,并结合总体治理思路及本河段存在的问题,提出了后续治理思路。     

武穴水道航道整治工程坝体新结构研究

本文结合长江中游武穴水道航道整治工程的工程需要,分析了航道整治工程传统坝体结构的优缺点和破坏原因,根据武穴水道的工程条件,设计出了适合长江中下游航道整治工程的新型坝体结构型式——箱体坝和沙枕-模袋混凝土盖面坝体,并进行了成功的运用,结合运用后的效果对新型坝体结构的前景进行了预测。     

城市轨道交通全自动运行的列车控制模式自动升级方案研究

城市轨道交通的FAM(全自动运行模式)正逐步成为目前城市轨道交通建设的主流模式.全自动运行下列车上没有司机.如何在各种场景下使列车控制模式能够自动升级是全自动运行线路设计时需要重点考虑的内容之一.从全自动运行的应用场景入手,分析了列车自动唤醒的正常场景和列车车载设备的故障场景,进而讨论了在无司机的情况下如何快速地通过自动化的、手段完成列车控制模式的升级,并给出了解决方案.