摘要：计算机语言的形式语义学是计算机科学的重要研究内容之一,它包括:公理语义、操作语义、指称语义及代数语义。常见的公理语义是通过Hoare三元组构造逻辑系统,使得一个Hoare三元组是正确的当且仅当它可以从该逻辑系统推出;操作语义是从迁移系统的角度研究程序的逐步行为;指称语义是指用相应的数学对象(如,集合,函数等等)对语言的语义进行注释,其基础是论域理论及λ-演算;代数语义是用代数方法对语言的语义进行注释,其基础包括范畴论、抽象数据类型的说明与实现等。另外,最弱前置条件语义及最弱线性条件语义也是一种公理语义。它们转化后置条件为最弱(线性)前置条件。这两者的区别是前者对应全正确的程序(是指程序一定终止);而后者对应部分正确的程序(是指程序不一定终止)。

摘要：机器学习课程建设是普通高等院校数据人才的培养重要环节。新工科建设背景下,从教学内容、教学方法、教学手段3方面探讨数据科学与大数据技术专业如何建设机器学习课程。提出机器学习课程应按照数据科学工程应用型人才培养目标,以学生为中心,遵循"知识够用、注重应用、内容先进和总体优化"原则选择教学内容,设计以案例为载体、重互动的教学方法,发展现代化技术教学手段,以保障教学计划实施,提高数据人才培养质量。

摘要：为了便于在现有堆石坝变形监测体系下对管道机器人监测系统的结果进行分析,并了解其在大坝沉降监测中的应用效果,介绍了一种管道机器人监测系统及大坝沉降计算方法。以贵州省夹岩水利枢纽工程为例,对管道机器人监测系统与传统水管式沉降仪的监测结果进行对比。结果表明:通过对管道机器人监测结果的解算,可得出坝体三维空间的沉降,便于在现有监测体系下对大坝变形情况进行统一分析。管道机器人与传统水管式沉降仪沉降监测结果的偏差较小,且沉降变化特征符合堆石坝沉降规律。管道机器人监测系统在堆石坝沉降监测中的应用具有可靠性,可为堆石坝安全评估提供依据。

摘要：为解决水利水电工程征地移民工作在各个阶段存在的具体问题和信息化需求,设计研发了征地移民全生命周期信息化管理云平台。平台利用3S技术和云计算等技术,运用动态模型驱动方法,实现工程在不同阶段的业务需求:①规划设计阶段,计算三维场景下不同高程的淹没线,统计不同淹没线的实物指标;②实物调查阶段,移民实物补偿实时精准计算,实现移民实物补偿赔付的精准化管理;③移民后期综合管理云平台阶段,以权属人为纽带,将工程建设全过程的结构化和非结构化数据进行可视化展示、管理、查询和分析,并作为永久的电子化档案保存;在此基础上实现后期扶持动态跟踪管理,可查询管理每户移民后期的生活、生产情况和人员流动、对比分析扶持项目前后生活变化。该信息系统已在多个大中小型水库中运用推广,实现了征地移民工作精准化、科学化和高效率的管理。

摘要：文章充分利用物联网、移动互联网、大数据等新技术,以工程建设前期、施工期和后期运营维护为轴线,通过建立一系列规范化标准体系、数据存储管理中心、运行调度控制中心、应用支撑服务平台和一系列物联网传感设备,来支撑"智慧黄家湾"综合信息化管理云平台的建立和推广使用,旨在每个阶段打造全链条式的科学化、精细化、智能化解决方案,实现每条生产线的全过程监控和数据共享,切实解决不同阶段、不同工艺流程的数据壁垒问题。最终向各级项目业主、设计、施工、监理单位及其他相关部门提供服务,实现参建各方共建共享。

摘要：针对传统安全监测模式下不能直观、高效的展现大坝运行状态和异常情况,以善泥坡碾压混凝土拱坝为例,对其大坝安全监测系统的运行现状进行了详细的分析总结,提出了利用Bentley系列软件创建大坝主体构造及监测点的模型来实现三维大坝安全监测信息展示的构想,基于BIM+GIS技术,借用于JAVA、JavaScript、cesium和MySQL数据库等信息技术工具,搭建B/S架构的善泥坡大坝安全监测可视化信息系统,可通过Web浏览器清晰全方位查看拱坝的构造、监测设备相关信息以及监测点位时间过程趋势线变化等内容。

摘要：差阻式仪器广泛应用在水利水电工程大坝安全监测中,对渗压、应力应变、温度等进行监测,具有使用年限长、安装简单、可靠稳定等优点。通过差阻式仪器自动化测量在贵州某拱坝安全监测中的应用研究,阐述了差阻式仪器的运行过程,详细对五芯仪器自动化测量电路以及测量的方法进行了说明。根据运行期监测数据分析,结果显示经自动化改造后的差阻式仪器监测数据符合规范要求,能够满足大坝安全监测需要。