形式化方法在电信服务系统中的应用与研究

为提高电信服务系统的稳定性．把形式化方法引入到电信服务系统的研究中,并用典型的形式化规格语言Z开发电信系统中基本功能的形式化规格,该套形式化规格对拔打电话、建立连接、释放连接、修改密码等操作的进行详细、精确的描述。基于Z语言的形式化规格可以应用于电信服务系统开发过程的各个阶段．以期减少电信服务系统内部错误的产生、提高稳定性。     

增强地热系统研究现状:挑战与机遇

开发地热资源,尤其是深部干热岩地热资源,是加快能源结构转型,顺利实现“双碳”目标的重要途径。增强地热系统经历了50余年的发展,在深部地热资源开采方面取得了丰富的研究成果和施工经验。回顾增强地热系统的发展历程,总结热储特征、储层改造以及示范项目的终止原因,分析商业化面临的挑战,探讨未来的探索方向和发展机遇,能够有效服务我国深部地热资源开发和示范项目的建设。在经历研究和开发阶段后,增强地热系统进入示范和商业化的飞速发展阶段,截至2021年末,世界累计的增强地热系统数量已达41个,累计发电装机量为37.41 MW;储层地质条件的复杂性和差异性以及现有改造技术对储层原位地质环境的依赖性,难以形成“可复制”的热储改造模式,由此导致的热储质量差等问题是制约增强地热系统发展的主要原因;建立典型的干热岩增强地热系统示范项目或探索基于采矿技术的增强地热系统,突破热储改造对原位地质条件的依赖性,形成“可复制”的深部地热资源开采体系,是增强地热系统未来的发展方向,也是实现深部地热资源大规模商业化的关键出路。      

案例教学法在计算机网络课程教学中的应用

针对计算机网络课程的理论性、实践性和抽象性等特点,提出计算机网络课程案例教学法的可行性方案及其应用。通过TCP/IP协议族分层的原因和IP地址存在的原因和作用这两个具体的教学案例,开展具体的案例教学活动。分析表明,案例教学法在计算机网络课程教学中非常有效,应该进行推广和实施。     

油液在线监测技术研究进展

油液在线监测技术是机械故障智能诊断的重要发展方向,传感器作为其关键元件,发挥着重要作用。对油液在线监测的粘度传感器、水分传感器、磨粒传感器以及多传感器集成的国内外研究进展进行了介绍。从电磁法、静电法、电感法、图像识别几个方面对磨粒测量与分析的国内外研究进行了介绍。提出了现阶段存在的不足,对油液在线监测的未来发展之路进行了展望。     

基于改进的无量纲指标信息融合故障诊断方法

针对无量纲指标信息的不确定会产生冲突证据的问题,提出一种基于改进证据理论的无量纲指标信息融合故障诊断方法.采用人工免疫算法构建原始证据;通过计算无量纲免疫检测器证据之间的相似度找出相似证据和冲突证据.保留相似证据,并利用可信度修正冲突证据,从而降低冲突证据对证据理论合成结果的影响.组合式旋转机械故障诊断试验验证本文方法有效.该方法能够明显提高故障诊断准确率.     

高校开放式实验教学的制约因素及对策研究

实行开放式实验教学是当前高校实验教学改革的必然趋势,是加强实践教育、培养学生综合创新、设计能力的有效途径。针对高校实验教学的现状,分析影响高校推广开放式实验教学的制约因素,探讨加快推进开放式实验教学改革的对策。     

基于改进YOLOX-s的安全帽检测

在施工现场中, 发生过许多高空坠落事故, 因此在施工现场佩戴安全帽是十分有必要的. 针对安全帽佩戴状况检测中遇到的小目标样本缺检、漏检的情况, 提出一种基于YOLOX-s的改进算法. 首先, 在Neck层引入主干特征提取网络中的160×160特征层进行特征融合, 并且增加了一个针对小目标的检测头; 其次, 采用SIoU损失函数计算损失值, 使得网络在训练过程中考虑的损失项更加全面; 并且采用varifocal loss函数来计算置信度损失值, 进一步改善训练过程中存在的正样本与困难样本不均衡的问题, 最后, 采用CA (coordinate attention)注意力机制来增强模型的特征表达能力. 实验结果表明, 通过对Neck层与检测层、损失函数的优化以及引入CA注意力机制, 使得网络在训练过程中收敛与回归性能更佳. 改进后的算法的mAP值为95.57%, 相较于YOLOv3及原YOLOX-s算法在mAP值上分别提高了17.11%、3.59%. 改进后的算法检测速度为54.73帧/s, 符合实时检测速度要求.     

操作系统原理实验教学改革

操作系统原理课程包含广泛的专业基础知识和较强的专业内涵,抽象概念多,内容更新快,因此该课程的实验教学需要不断更新实验教学内容,改革实验教学方法。本文结合本校实际教学特点,从这门课程的实验教学方法、实验教学手段、实验设计、课程设计等方面探讨了操作系统原理的实验教学改革情况。     

采用特征相关性差异优化距离的改进k近邻算法

为有效地解决k近邻算法训练样本规模及分类精度间的矛盾,提出了一种采用特征相关性差异优化距离的改进算法(FCDKNN).该算法将特征熵值与其分布概率的乘积作为特征相关性的概念,在此基础上定义围绕特征相关性差异的样本距离测度,明确特征在类别上的重要性及相关性,在小样本情况下提取针对分类的大量有效信息,以增强算法的全局优化能...