基于动态链接库自动查找的软件发布方案

针对传统的软件发布过程中人工定位主程序依赖动态链接库的问题,提出了一个基于动态链接库自动查找的软件发布方案。该方案利用perl脚本对程序所依赖的动态链接库文件进行自动查找,解决了多路径下同名动态链接库无法正确定位的问题,并使用开源工具Inno Setup实现了大型软件系统的发布。该方案避免了手动查找依赖库的繁琐过程,减少了人工干预,降低了开发人员的系统维护成本,为软件发布提供了一种快速有效的途径,提高了软件发布的效率和稳定性。     

汽车正撞时后排座椅安全性的CAE分析与改进设计

构建了带假人和安全带等约束系统的汽车后排座椅骨架的多刚体和有限元耦合计算模型,根据欧洲座椅法规ECER17的规定,模拟正面碰撞后排座椅安全性台车试验,对座椅骨架冲击强度和假人动态响应等进行了CAE分析.根据分析结果提出改进方案,并进行相应的仿真和试验验证.     

航标管理与维护能力评估体系的研究

文中以航标增长趋势为基础,采用定性分析与定量计算相结合的方法,通过对影响航标管理和维护能力的因素进行研究,建立了航标管理与维护能力评估体系,并以厦门航标处为例对评估模型进行了验证,在此基础上给出为满足航标管理质量承诺目标,以航标处为单位的管理部门应具备的主要软硬件设施指标,希望为全国航标近中远期的发展规划提供参考。     

分布式光纤测温技术在港口皮带机系统及筒仓温度监测中的应用

分布式光纤测温技术是一种用于实时测量空间温度分布的新兴技术.介绍了分布式光纤测温预警系统的原理和技术特点.分别介绍了该系统在皮带机设备过热监测和筒仓温度监测中的应用.该系统取得了良好效果,确保了港口生产的安全.     

Modelling commuting mode choice with explicit consideration of carpool in the choice set formation

This article investigates the carpool mode choice option in the context of overall commuting mode choice preferences. The article uses a hybrid discrete choice modelling technique to jointly model the consideration of carpooling in the choice set formation as well as commuting mode choice together with the response bias corrections through the accommodation of measurement equations. A cross-nested error structure for the econometric formulation is used to capture correlations among various commuting modes and carpool consideration in the choice set. Empirical models are estimated using a data set collected through a week-long commuter survey in Edmonton, Alberta. The empirical model reveals many behavioural details of commuting mode choice and carpooling. Interestingly, it reveals that interactions between various Travel Demand Management (TDM) tools with the carpooling option can be different at different level of decision making (choice set formation level and final choice making level).     

大跨浅埋隧道极软岩富水界面综合施工技术

针对大跨浅埋隧道极软岩富水界面段施工,传统处理方法多为帷幕注浆固结,但此种工法存在施工周期长、工程造价高等缺点。兰渝铁路咀头隧道在此地质施工时,针对隧道埋深浅的特点,采用地表高压旋喷加固,结合洞内分部开挖、φ89钢管锁脚配合强支护参数等综合措施,达到了快速、安全、经济施工,对类似工程的施工有一定的借鉴和参考价值。     

岩溶隧道处治方案的支护参数选取

文章用配筋等效法模拟钢支撑对喷混凝土的加强作用,并根据《铁路工程设计技术手册——隧道》中的钢筋混凝土配筋计算公式推导出初期支护与二次衬砌的安全系数计算公式,以此为基础算出不同支护方案所能承受的极限荷载,再结合隧道岩溶段的实际情况选择支护参数。     

基于改进型遗传算法的舰艇航路规划研究

针对当前舰艇航路规划所要考虑的因素,运用遗传算法探讨舰艇的航路的优化设计问题。运用蚁群搜索的策略生成初始航线种群,并采用网格序号进行一维编码,通过构建适应度函数进行航线的选优工作。以电子海图作为平台,经过编程仿真试验得到了设定海区的最优航线。仿真结果表明,改进的遗传算法提高了搜索效率,得到了较为满意的结果,基本可以解决设定海区的航路规划问题。     

基于Tableau算法的本体模型验证方法研究

文章首先介绍了本体模型的Tbox术语检验和Abox实例检验,将本体模型的一致性检验简化为术语的可满足性检验。通过引入Tableau算法的思想,对本体模型的概念定义以及概念间的关系进行可满足性测试,最后采用Racer推理机结合海军军械保障实例对基于描述逻辑的本体模型可满足性检验的有效性算法进行了验证。     

基于网络环模型的航空反潜体系效能评估与应用研究

通过构建航空反潜体系网络环模型,设计了一种求取邻接矩阵Perron-Frobenius特征值的评估方法。该模型清晰地反映了航空反潜体系的复杂网络化结构,其邻接矩阵特征值能较好地反映航空反潜体系的网络化作战效能。最后通过一个实例,分别分析了在理想环境和复杂环境下,航空反潜网络化体系核心转移的过程及其邻接矩阵的特征值,证明该方法结构明晰,简单可行,提高了航空反潜网络化体系效能分析的有效性。