AquiferTest软件求解承压含水层水文地质参数的方法及效果

抽水试验是获取多项水文地质参数最常用的野外水文地质试验方法之一,其参数计算结果精度直接影响地下水资源评价精度。针对传统水文地质参数计算方法的缺陷,以马楼水源地勘探孔抽水试验为例,采用含水层试验软件AquiferTest计算水文地质参数,并与传统计算方法做了比较。结果表明,该方法简捷、方便、实用、精度高。

基于Aquifertest软件计算灰岩矿区水文地质参数及矿坑涌水量预测

抽水试验是水文地质勘查中最常用的水文地质试验,通过抽水试验,利用Aquifertest软件计算得出水文地质参数,不仅方便快捷而且计算结果精度较高;以安徽省庐江县某灰岩矿区普查资料为依据,通过地表水文地质调查和现场抽水试验,利用软件快速计算水文地质参数,并采用大井法预测矿坑涌水量,为后续矿床开采及施工建设提供参考依据。

AquiferTest软件在地下水动力学教学中的应用

AquiferTest软件是处理抽水试验与微水试验的专业软件,在地下水动力学教学中引入该软件,通过讲授其主要功能和操作过程,可使学生迅速掌握处理抽水试验和微水试验数据技术,进行边界性质和含水层水力性质诊断,准确获取水文地质参数,并提升学生学习兴趣,降低学生对复杂公式的畏难心理,在实际教学过程中取得了良好效果。学生们快速掌握了抽水试验和微水试验处理方法,并能够进行复杂条件下的水位和降深预测。

AquiferTest软件与人工配线法计算矿区水文地质参数

依据《地下水动力学》中的Theis理论,针对矿区SDK304孔带观测孔的大口径非稳定流抽水试验,分别采用人工配线法和AquiferTest软件分析计算了抽水孔区域的承压含水层水文地质参数,确定了该区域承压含水层导水系数、渗透系数和贮水系数。通过2种分析计算过程及结果的对比分析,在矿区抽水试验分析处理过程中,AquiferTest软件相比于人工配线法,具有快速、高效、准确以及受人为因素影响小的优点。

AquiferTest软件在抽水试验中的应用

通过对已有抽水试验获得的抽水试验数据、水文地质参数等,利用泰斯预测功能进行观测孔地下水位降深预测,观测孔降深与预测降深吻合程度较高。可利用AquiferTest进行虚拟观测孔水位降深的初步预判,设计观测孔与抽水孔的相对位置,能够防止因观测孔位置布置不当造成水文地质参数求参不准确、资金浪费、工期延误等问题。

高职软件技术专业“三维度三阶段三融入”核心素养培育研究

针对高职软件技术专业核心素养培育中存在的问题,以学生发展为中心,我国提出了软件技术专业“三维度三阶段三融入”核心素养培育模式。该模式明确了新时代高职软件技术专业三维度核心素养培育的现实要求和深远意义,系统设计学生“准职业人”“职业人”“企业人”三个不同阶段核心素养培育的实施路径,实施“三融入”核心素养培育工程,切实提高了人才培养质量,实现了高职软件技术专业学生的可持续发展。

基于Aquifertest计算大海则矿井水文地质参数及涌水量

抽水试验是一种在水文地质勘查中最为常用的水文地质试验,以榆林市大海则井田相关资料为依据,通过抽水试验,利用Aquifertest软件中的纽曼模型和博尔顿模型分别对水文地质参数进行确定,最终得出了相应的导水系数值为0.200 m^(2) /min、给水度值0.024、贮水系数值0.000177、渗透系数值4.434 m/d,并采用水平廊道法计算矿坑涌水量为大海则煤矿的涌水量为5169.351 m^(3) /d。此方法误差较小结果可靠,为快速高效地进行水文地质参数计算和涌水量预测提供一种有效方法,同时为后续矿床开采及施工建设提供参考依据。

开源软件库生态治理技术研究综述:二十年进展

在“人-机-物”三元融合、泛在计算的时代蓝海下,“开放多变”“需求多样”和“场景复杂”的软件部署和运行环境对开源软件库生态的治理技术提出了更多需求和更高期望.为进一步推动构建可信软件供应链生态,围绕泛在计算模式、打造自主可控的技术体系,聚焦于开源软件库管理生态,收集近20多年来(2001–2023)发表于软件工程领域较高影响力的学术期刊和会议的348篇论文,对开源软件库生态治理技术的研究工作进行梳理.讨论开源软件库生态的建模与分析、演化与维护、质量保证和管理等方面的工作,总结研究现状、问题、挑战与趋势.

网络协议软件漏洞挖掘技术综述

网络协议软件部署和应用非常广泛,在网络空间提供了诸如通信、传输、控制、管理等多样化的功能.近年来,其安全性逐渐受到学术界和工业界的重视,及时发现和修补网络协议软件漏洞,成为一项重要的课题.网络协议软件由于部署形态多样、协议交互过程复杂、相同协议规范的多个协议实现存在功能差异等特点,使得其漏洞挖掘技术面临诸多挑战.首先对网络协议软件漏洞挖掘技术进行分类,对已有关键技术的内涵进行界定.其次,进一步综述网络协议软件漏洞挖掘4个方面的技术进展,包括网络协议描述方法、挖掘对象适配技术、模糊测试技术和基于程序分析的漏洞挖掘方法,通过对比分析归纳不同方法的技术优势及评价维度.最后,总结网络协议软件漏洞挖掘的技术现状和挑战,并提炼5个潜在研究方向.

基于建构主义理论的软件工程实训课程思政探究

针对现有中山大学软件工程实训课程学情和课程内容问题,基于建构主义学习理论,融入课程思政进行了系统课程设计,提出“一个点、两条线、三个面、九个元素”的软件工程实训课程思政体系,分享课程总体安排和8个思政案例,开展课程思政教学的具体实践,实践表明软件工程实训课程教学改革显著提高了课程思政学习效果。

“力学+软件工程”交叉人才能力体系的构建研究

以新工科建设理念为指导,创新性地提出力学与软件工程跨专业交叉人才培养新模式,培养未来力学CAE软件产业发展需求的专门人才.针对这一跨专业交叉融合培养新模式,采用扎根理论,通过两次调研,构建了“力学+软件工程”交叉人才的能力体系,包括4个一级指标和8个二级指标.重构的能力体系符合力学CAE软件领域本科生培养和用人需求.以能力体系为导向,可完善培养过程和课程体系的重构,为培养满足国家需要和业界需求的交叉专业人才提供有力支撑,也可为相关高等院校的新工科人才培养提供参考.

分布式软件定义网络中多域流量工程的路由优化方法

针对分布式软件定义网络(software-defined networking,SDN)中流量管理调度不均衡的流量工程问题,提出一种基于负载均衡的多控制域流量路由优化的解决方案。首先分析控制消息流量的组成、域内通信及域间通信规则;然后基于4种控制消息定义控制链路流量的构成,明确链路承载流量分为控制消息流量和业务流量,建立平衡控制器负载和最小化最大链路利用率的优化模型;最后基于域内通信和域间通信提出两层路由算法。为提高模型求解精度,进一步提出改进离散萤火虫算法求解最优路由。结合ABILENE网络和GEANT网络,分析控制消息流量、控制器负载和链路负载等评价指标。实验结果表明,优化模型能有效实现控制器和链路负载均衡,控制消息流量是流量工程重要组成部分。相比集中控制模式,扁平分布式控制模式的平均控制器负载降低47.3%,最大链路利用率相差不超过15%。

基于样本嵌入的挖矿恶意软件检测方法

加密货币挖矿恶意软件的高盈利性和匿名性,对计算机用户造成了巨大威胁和损失。为了对抗挖矿恶意软件带来的威胁,基于软件静态特征的机器学习检测器通常选取单一类型的静态特征,或者通过集成学习来融合不同种类静态特征的检测结果,忽略了不同种类静态特征之间的内在联系,其检测率有待提升。文章从挖矿恶意软件的内在层级联系出发,自下而上提取样本的基本块、控制流程图和函数调用图作为静态特征,训练三层模型以将这些特征分别嵌入向量化,并逐渐汇集从底层到高层的特征,最终输入分类器实现对挖矿恶意软件的检测。为了模拟真实环境中的检测情形,先在一个小的实验数据集上训练模型,再在另一个更大的数据集上测试模型的性能。实验结果表明,三层嵌入模型在挖矿恶意软件检测上的性能领先于近年提出的机器学习模型,在召回率和准确率上相比其他模型分别提高了7%和3%以上。

面向软件定义网络的异常流量检测研究综述

针对软件定义网络(SDN)较传统网络更易遭受网络攻击的现实,从技术原理和架构特点出发,对近年来面向软件定义网络的异常流量检测研究进展进行综述,分析了SDN可能遭受网络攻击的组织形式,讨论了当前SDN异常流量检测、异常流量溯源、异常流量缓解相关技术的特点、优势及不足;对当前研究中常用的数据集进行了对比分析,并梳理出一些通用的数据预处理方法;总结并展望了未来SDN环境下异常流量检测方法的研究方向。调研结果可以指导实际应用需求中适配方法的选取,提出待解决的问题和矛盾可为后续研究提供引导。

基于Comsol软件的电磁兼容课程案例式教学设计

该文介绍基于Comsol软件的电磁兼容课程案例式教学方法。通过案例教学和仿真,学生将理论知识应用于实际问题,深入理解电磁兼容的概念和原理。通过仿真案例的可视化结果,学生直观地理解电磁辐射和传导,观察不同参数对电磁兼容性的影响。结果表明,仿真案例具有直观性和可视化等优势,同时又有简化模型、缺乏实际操作经验和对计算机的依赖等局限性。在设计仿真案例时,要充分发挥其优势,规避不足,为学生的学习提供实践性、直观性和灵活性,培养学生的工程设计与研发能力。

有限元及工程软件课程思政探索及实践

有限元及工程软件是力学及相关专业重要的研究生专业核心课之一,已成为工程设计分析和科学研究中物理过程建模的重要计算工具。在课堂教学过程中加强课程思政,是高校提高人才培养质量的有效途径,对培养具有很强专业素质的“四有”新人具有重要意义。为加强有限元及工程软件的课程思政教学,根据课程内容及特点分析课程思政的必要性,确定课程思政目标,给出课程思政内容的教学设计,使课程内容与课程思政元素有机融合,同时探讨课程思政的教学实践方案,可为专业课程的课程思政教学提供借鉴。

智能算力核心基础系统软件的现状与展望

智能算力对中国人工智能技术的进步具有重要意义。发展智能算力平台,做好核心基础系统软件尤其重要。梳理了智能算力平台中的10个核心基础系统软件,对这些软件的全球现状进行了详细介绍,并探讨了当前中国算力平台上系统软件栈建设的机遇和挑战。

“软件工程”课程思政研究与实践

课程思政是落实高等教育立德树人根本任务的重要举措。本文以软件工程课程为例,从课程思政教学设计、教学实施与教学效果分析等方面探索了软件工程专业课程思政的建设方法。在课程教学案例及实践环节中,系统地融入了课程思政元素,围绕政治认同、国家意识、文化自信等方面构建了课程思政体系,在课程教学全过程中有效地践行了价值引领和人格塑造,为培养高质量软件工程专业人才奠定了基础。

“新医科”背景下医学图像处理教学软件的研究与开发

针对“新医科”背景下医学图像处理课程所面临的形势和教学现状,开发了与其教学过程高度契合的医学图像处理教学软件,该教学软件可实现医学图像的线性灰度变换、开窗显示、缩放、旋转、镜像、中值滤波、微分锐化、边缘检测、直方图获取和直方图均衡,并可在一定范围内调节线性灰度变换、开窗显示、缩放、旋转、中值滤波、微分锐化、边缘检测的参数,同时用不同算法实现了医学图像的缩放功能。该教学软件用于包头医学院医学图像处理课程理论与实验教学中,可提高学生学习的主动性和积极性,能强化学生对放射技师考点知识的理解,为后续课程的学习打下坚实基础,最终实现“新医科”背景下包头医学院医学影像技术专业“医工”“、医理”的深度交叉融合。

软件工程课程教学案例库建设新模式

针对软件工程课程课堂理论教学枯燥、教学案例难收集的问题,提出基于“案例—理论—实践—案例”闭环教学的案例库构建模式,具体阐述如何在课堂理论教学中融合案例教学法,如何利用学生实践项目丰富软件工程课程案例资源,使学生从案例的使用者转换为案例的建设者,并从“教”与“学”两个维度说明该课程教学案例库建设成效。