高性能排水板在淤泥地基筑堤工程中的应用效果

为验证采用高性能排水板作为淤泥质土径向排水通道的适用性和效果,在连云港徐圩港区设置一段高性能排水板试验段,埋设部分原位观测仪器。通过高性能排水板和普通排水板标段地基固结度和深层水平位移的对比来研究高性能排水板的应用效果。对比结果表明:高性能排水板应用效果良好;同样工期内,高性能排水板地基比普通排水板试验段地基的固结度高,深层水平位移小。     

光收发模块激光二极管接口电路的优化

在高速光收发模块中,驱动激光二极管的接口电路是模块性能参数实现的关键环节.为此,本文根据半导体激光器的特性,介绍一款交流耦合接口电路,可以在光通信模块进行初测时,通过微调元器件,使接口电路设计达到最优化.     

等温淬火热处理自动生产线的研制

按生产奥贝球铁的工艺要求，应用先进的机电一体化技术，设计制造等温淬火热处理自动生产线。该自动线采用PLC及组态系统进行控制，组态控制系统能直观地显示热处理线的动作执行情况。经调试达到设计要求。     

适于营运车辆超速时空特征分析的改进DBSCAN算法

营运车辆的超速违法行为具有较大的危害性,分析其超速的时间和空间分布规律,对于加强道路运输安全管理具有重要意义.鉴于此,提出一种适于营运车辆超速时空特征分析的改进DBSCAN算法,通过添加时间半径达到对时间维度的支持,对营运车辆超速多发点在时空维度上进行聚类,揭示营运车辆超速违法行为的时空分布特征.然后在广东省重点车辆监控平台上对算法进行验证.实验结果表明,该算法能够快速对超速数据进行时间和空间维度的聚类分析,有效完成超速路段和时段的排查,为查找营运车辆超速常发路段和时段提供了新的分析方法.     

周期无人值守机舱监测报警系统方案研究

无人机舱是目前国际上新建船舶的常规要求，满足各国船级社AUT－0规范的机舱监测报警系统是周期性无人值守机舱的重要组成部分，本文在介绍机舱监测报基本原理的基础上，调研了国内外有代表性的几个机舱监测报警系统，继而阐述了国家船舶一条龙项目机舱监测报警系统小项的具体方案设计。     

渤海冰期溢油非常规应对策略和技术

渤海冰期溢油非常规策略主要针对无法使用现有常规回收策略加以回收的有冰环境。文中提出的非常规应对策略依据海冰、溢油、海水之间微妙关系因势利导,提出解决冰期溢油极端情况下的处置难题。     

海洋生态系统及海岸工程生态影响预测模型研究进展

对海洋生态系统的研究已形成了以实验观测为基础、建立生态模型的方法。文章对已有的海洋生态模型研究成果进行了归纳总结,认为初级生产力模型是纯生态模型的主要发展方向,综合考虑物理生化作用的生态系统动力学模型将是未来海洋生态研究的必然趋势。同时,由于我国大规模海岸工程建设对近岸海域生态系统造成了较大影响,而相关的生态影响预测模型研究较少,为有效预测评价海岸工程建设对近岸海域生态系统的影响,进一步深入研究海岸工程建设对近岸海洋生态影响预测模型将显得尤为重要。     

内河疏浚机构发展对策研究

阐述疏浚行业的地位和特征,对内河疏浚机构的经营环境进行SWOT分析,提出内河疏浚机构在成本管理、经营管理、人力资源管理、科技创新、企业文化建设和海外市场拓展等方面的发展对策.     

Behavior-consistent service substitutions in dynamic environments

In this paper, a novel approach for service substitutions based on the service type in terms of its interface type and behavior semantics is proposed. In order to analyze and verify behavior-consistent service substitutions in dynamic environments, we first present a formal language to describe services from control-flow perspective, then introduce a type and effect system to infer conservative approximations of all possible behaviors of these services. The service behaviors are represented by concurrent behavior expressions （CBEs）. Built upon the interpretation of CBEs, behavior-consistent service substitutions are defined and analyzed by subtyping technology. The correctness of the analysis approach is guaranteed by type safety theorem, which is mechanically proved in the Coq proof assistant. Finally, applications in web services show that our method is effective and feasible.     

钢绞线斜拉索在狭窄空间内的特殊张拉工艺

对于塔内空间极其狭窄的斜拉桥，其斜拉索安装、张拉等极其困难。以贵州省某斜拉桥为例，介绍一种特殊、简便、高效、经济的斜拉索张拉施工方法，可以较好地解决因塔内空间狭窄而导致不便开展斜拉索相关工序的难题。