摘要：文中针对目前计算机自动评分功能的现状,对变电站仿真系统的几种评判方案的可行性进行了分析,提出一种人机结合的变电站仿真智能评价方法。该方法通过设置串行规则、并行规则、主干规则和细化规则来实现对学员操作的复杂性、顺序不一致性等做出准确的判断,从而灵活地完成诸如变电站正常和事故巡视、倒闸操作等培训任务,给予学员全面、客观的操作评价,进一步提高了评判的客观性。该系统的构建有效地提高了变电站仿真培训的效果。

摘要：在一个基于霍尔逻辑和形状图逻辑的C语言自动验证器中,设计并实现了对形状图中所含易变数据结构的形状检查方法.本工作在验证器的形状系统中实现了显式形状检查与隐式形状检查,并通过引入不同的形状级别,使验证器能够根据不同的严格程度及时发现程序中不符合形状定义的易变数据结构,避免对形状图逻辑的相关演算造成影响.此外,为分解易变数据结构中不同指针域带来的复杂性,形状检查方法引入了三阶段处理框架:形状分割、形状分析及形状推断,分别实现形状图的预处理,针对指针指向与节点类型等方面进行分析,以及根据相关规则推断易变数据结构的形状级别.

摘要：课程思政的要义是全面育人,培养具有社会主义核心价值观的人才。高中物理教师要充分挖掘并利用力学知识中的思政元素,如中国古代对“力”的研究中体现的工匠精神、物理学家建立经典力学定律过程中体现的哲学思想、三峡水利枢纽工程中体现的制度自信、中国航天事业发展历程中钱学森的爱国情怀等。思政元素的融入不仅能够营造良好的学习氛围,还能够潜移默化地影响学生的思想、行为及价值选择。文章以高中力学中的动量守恒定律为例,融入思政元素进行教学设计。

摘要：介绍了某高校屋顶的分布式光伏发电系统设计,不仅有效解决大型光伏发电系统在升压及长途运输中的损耗问题,还削减城市昂贵的高峰供电负荷,缓解局部地区用电紧张的情况,可为校园分布式光伏电站的设计和推广提供参考。

摘要：ETC充值困难是管理运营单位和用户双方一直面临的问题,在一定程度上制约了ETC用户的发展。本文依托《基于NFC的ETC智能IC卡空中充值服务应用系统》课题项目,对目前几种比较常见的ETC卡空中充值方案进行分析,得出NFC空中充值的优势。通过对空中充值系统设计,制定空中充值总体框架,提出基于CA证书的安全技术以及用户操作流程设计,最终实现基于NFC的ETC智能IC卡空中充值,为车主提供便捷的ETC充值服务。

摘要：目前,现有的虚拟机资源调度算法主要采用基于启发式的方法。然而,针对不同类型的云任务,各种启发式调度算法的性能表现存在差异,若采用通用的启发式算法,可能导致集群资源被严重浪费。研究运用强化学习的方法,实现了一种对虚拟机资源进行自主学习的调度策略,并使用CloudSim仿真平台进行仿真实验。通过与几种传统的启发式调度算法进行对比,验证了强化学习在资源调度中的可行性和有效性。

摘要：库尔特计数技术是液体中不溶性微粒大小和数目测定的有效方法，本文介绍了它的基本原理和以该原理为基础研制的ＷＪ－１型智能微粒检测仪．该仪器采用了负压传感器——双电磁阀组成的主动虹吸控制系统，代替了水银虹吸法，没有污染．目前已用于药品输液制剂的微粒检测．

摘要：直接将破碎的废弃混凝土按一定比例掺入新混凝土中拌制包容型再生混凝土,这种拌制方法简化了普通再生混凝土的生产工艺、降低工程造价,利于工程推广应用。基于138块包容型再生混凝土试块的试验研究,掌握了水灰比、砂率和旧料掺入率对混凝土强度的影响规律,为合理进行包容型再生混凝土配合比设计奠定基础。废弃混凝土的掺入率可以高达30%,在获得良好经济性的同时,亦能保证包容性再生混凝土的强度降低不多,该试验结果为其普遍推广应用提供依据。

摘要：利用机械优化设计和机械可靠性设计的各自特点,结合直升机行星齿轮主减速器参数设计实例,探讨机械可靠性优化设计的新方法。

摘要：电子政务是一门跨学科且强调理论与实践相结合的课程。随着高校考试更趋向于"教考分离",并且由于电子政务实验室的先天设备及场所优势,在电子政务课程中试行在线无纸化考试是大势所趋。根据电子政务实验室的网络设备布局可以确定,电子政务考试及评分系统应选用B/S结构开发。对于电子政务考试及评分系统的基本思想、设计功能、开发平台、关键环节解决方案以及开发前景进行了初步探讨。