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

摘要：作为最常用的作业调度策略之一,回填算法被广泛应用于高性能集群作业管理中。之前的工作针对回填算法提出了一些改进策略,提升了集群系统的性能。但由于回填过程是基于作业的预约运行时间进行的,其中对作业运行时间的不准确预估可能导致预约作业未完成或资源浪费。提出的RB_HAR策略与一般回填算法或一些改进的回填算法相比,该算法能有效的提高回填作业的完成率。设计实验将改进的回填算法RB_HAR应用于高性能集群并与先来先服务、一般回填算法对比。实验结果表明,改进的回填算法在继承了回填算法低响应比、高利用率等优点的基础上,进一步提升了回填作业的完成率。

摘要：伴随着计算机技术的不断发展,对于系统服务稳定性的要求显得尤为重要,集群的监控必不可少。设计并实现一个面向Linux集群的系统性能监控管理器,以检测集群运行状态。该监控管理器采用C/S(客户端/服务器)模式,通过多线程技术完成数据采集处理、缓存技术实现数据查询和HTTP协议完成数据传输,并以可视化图形界面实时显示系统当前状态和对历史数据的查看,同时当系统某一参数超出正常指标,可远程处理瓶颈,以确保系统服务的稳定性。

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

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

摘要：为有效保护监控设备,文章提出一种基于气象预测数据、通过比对预先设置的概率阈值来实现提前预警和自动控制的设备监控系统。该系统基于web服务和.NET平台,通过网络实现采集雷击概率数据和开启、关闭命令的传输,高效及时地对雷击事件做出响应,避免监控设备遭到破坏。

摘要：目前高性能计算机集群的作业提交和运行状况反馈大多是基于linux系统的命令行方式,该种操作需要操作人员对Linux系统和高性能计算机集群命令有一定的了解。对非计算机专业人员而说,使用高性能计算机集群非常不方便。基于这一现状设计了一个基于Web提交的高性能计算机集群作业调度系统,系统主要有作业提交、作业查询、用户信息修改查询和记录操作等功能。Web前端通过Http协议将用户请求和数据传输到后台服务器,后台服务器通过过滤器拦截提取分析用户请求,根据用户请求通过ssh安全协议将文件提交到作业调度系统,执行命令。实现了用户通过图形界面友好方便地使用作业调度系统。

摘要：程序性质的自动验证有时需要验证者提供相关的归纳引理,程序验证的结果可靠与否依赖于验证者所提供的归纳引理正确与否。本文围绕操作易变数据的程序的自动验证,设计并实现一个相关引理的自动证明器,作为程序自动验证器中检查验证者所提供的归纳引理是否正确的工具。该证明器分析所有待证归纳引理,构建引理之间的依赖关系图,得出引理的证明顺序。对每个引理,分析得出它的归纳变元和应采用的归纳方法,把归纳证明的各步交给自动定理证明器Z3进行证明。该证明器的原型已嵌入一个基于演绎推理的安全C语言自动验证系统中,并成功验证了有序链表、二叉搜索树、AVL树、伸展树等数据结构的性质。

摘要：当前高性能计算技术应用广泛,然而PBS作业管理系统存在操作麻烦、数据显示不直观等诸多缺点。结合当前信息化高速发展、智能终端和移动APP进一步普及的现实,利用IOS平台的Xcode集成开发工具编写移动端APP、使用PHP语言编写中间接口程序,设计面向移动端的高性能计算监控系统。使用移动端的监控系统可以避免PBS存在的部分缺点,具有较好的效率和较高的实用性。实验表明,该APP对移动端的资源占用较少,并且可较好地应用于高性能计算作业调度系统的监控。