游艇码头定位桩内力分析

定位桩是游艇码头的一种重要锚碇形式,现行规范对游艇码头风荷载、波浪荷载等规定存在不详尽之处,为完善游艇码头定位桩的计算分析,采用ANSYS有限元软件对游艇码头在风荷载和波浪荷载作用下的受力情况进行分析,对游艇码头定位桩计算提出合理建议,建议游艇码头计算采用整体建模,风荷载的遮挡效应应考虑船型、受风高度、船舶间距等因素。     

Simulating ad-hoc demand-responsive transportation: a comparison of three approaches

Transport models are used to evaluate new infrastructure and public transport services, varied levels of demand, and new ideas for demand management. Exploring these proposals virtually is easier than implementation and testing in situ. However, existing models are based around traditional forms of transportation. As part of a feature analysis using a case study approach, three different simulation packages (a simple custom-developed package, traffic microsimulation, and agent-based simulation) are used to develop and demonstrate simulations of demand-responsive transportation (DRT) and analyze the advantages and disadvantages of each simulation approach for evaluating DRT. While the simulations display some relational replication (meaning they produce similar relational patterns with respect to certain variables), they do not show distributional replication (that is, the value of the results is not statistically similar), meaning that under- or over-estimation of predicted travel could occur. Recommendations for the application of each modeling approach are made.     

利用SPS模拟川气东送管道压气站失效问题

为研究压气站失效与单台机组失效对输气管道的影响程度,采用SPS软件对压气站失效和单台机组失效进行了详细模拟。模拟结果显示:压气站失效与单台机组失效相比对管输系统影响较大;对于压气站失效,越靠近末站的压气站失效对管输系统影响越大;对于单台机组失效,越靠近首站的压缩机失效对管输系统影响越大。分析结果可为事故状态下的供气和抢修提供参考。     

河流水流泥沙数值模拟结果等值线绘制技术研究

文章在回顾以往等值线生成算法的基础上,综合不同等值线绘制算法的优点,探求了新的实现河道地形、泥沙冲淤等值线绘制算法,使其更具有编程可实现性,并在MS.NET框架下编制程序予以实现。程序采用坐标变换技术保证显示图形的无级缩放,具有极大的灵活性,可以满足局部详细信息显示的要求;采用多种编程技巧和程序优化措施,如线段拼合技术、写内存技术、多线程技术、双缓存显示技术等,保证等值线的快速生成和即时显示;采用二次贝塞尔曲线平滑等值线,并合理地对等值线进行标注,从而完整地实现了等值线绘制的全部内容。通过实际工程应用并与商业软件对比表明,程序的等值线生成快速、绘制准确美观、标注合理,达到了商业化软件的精度,能够满足要求。     

DEA方法在电子对抗装备软件综合评价中的应用研究

针对电子对抗装备软件综合评价中四种不同的群体,建立装备软件综合评价的指标体系,并根据其特点,将模糊综合评价方法和DEA方法结合起来,建立了电子对抗装备软件综合评价和装备软件组织与设计开发方案选择模型,最后给出一个实例验证了模型的正确性。     

形式化可测性约束在软件模型实现过程中的研究

在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

一种新型船舶排油监控系统的研究

为解决当今世界船舶排油污水造成海洋环境污染并大量消耗石油能源的问题,根据相关法规探讨了船舶排油污染的现状,分析现有主流排油监控系统的不足之处,在此基础上改进和设计出一种新型的船舶排油监控系统．介绍新型船舶排油监控系统运行前的准备工作,并利用组态软件MCGS对该系统运行的工作流程进行实时模拟和数据的分析．新型船舶排油监控系统具有安全可靠、集成度高、人机界面丰富等优点．模拟运行结果表明,新型排油监控系统能满足操作人员实时监控船舶排油过程,随时查询历史数据和报警数据等功能,分析结果满足预期设想．     

空气净化器风道的计算机仿真

在进行空气净化器风道结构的设计中,风道的结构形式对风量起着重要的影响。本文利用ICEPAK计算机仿真软件在设计阶段对空气净化器的风道进行模拟仿真,建立了风道的仿真模型及建模过程,仿真出风道进口处与出口处的空气流速的变化值,进一步研究离心风机的风量与滤层阻力、流量、流速的影响关系。通过实验比较,在不同滤器种类的情况下,验证了风阻对风量的影响大小,证明了空气净化器风道计算机仿真的正确性。     

Mike21软件桩群概化方法在高桩码头中的应用

码头前沿水域的横流过大容易导致船舶撞击码头或系船缆绳断裂,进而引发安全事故,因此研究码头前沿水域的流场状况对码头轴线合理选取和船舶的安全靠泊有着非常重要的意义。基于桩群概化方法,采用Mike21软件中的三角形网格水动力模块(FM模块)对曹妃甸矿石一期、矿石三期高桩码头附近的流场进行了数值模拟,并与现场实测流速、流向进行对比验证,确定了模型中的桩群影响参数。在此基础上,深入研究相邻高桩码头桩群阻力对周边海域的影响,并对码头前横流进行计算和分析。此方法实施简单、计算效率高,对大范围海域影响研究结果合理,对高桩码头前沿水域有关流速、流向的计算结果更加准确,对码头轴线合理选取和船舶安全靠泊有重要的参考意义。     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。