搜索筛选:
搜索耗时0.1095秒,为你在为你在102,285,761篇论文里面共找到 16 篇相符的论文内容
类      型:
[期刊论文] 作者:李薛剑,, 来源:电脑知识与技术 年份:2015
该文论述了高性能计算平台作为开放性的计算资源,在高校环境中如何以服务用户为宗旨,为用户提供高性能计算及专业技术服务。文章从服务模式、科研创新、人才培养、平台的推广...
[期刊论文] 作者:李薛剑,, 来源:农业图书情报学刊 年份:2008
通过分析安徽大学图书馆的需求,介绍了该馆计算机网络系统具体建设的合理之处,指出了图书馆计算机网络系统建设过程中所应重视的地方,同时也对该系统的不足作出了分析和思考...
[期刊论文] 作者:李薛剑,, 来源:小型微型计算机系统 年份:2017
部分冗余删除优化是一个同时包含有公共子表达式删除和表达式提升的复杂优化,但是对基于部分冗余删除优化的证明变换研究,还停留在对一些简单情况的处理和讨论上.本文在实验...
[期刊论文] 作者:李薛剑, 雷政,, 来源:实验室研究与探索 年份:2018
作为最常用的作业调度策略之一,回填算法被广泛应用于高性能集群作业管理中。之前的工作针对回填算法提出了一些改进策略,提升了集群系统的性能。但由于回填过程是基于作业的预......
[期刊论文] 作者:李薛剑,刘锋, 来源:计算机技术与发展 年份:2014
文中针对目前计算机自动评分功能的现状,对变电站仿真系统的几种评判方案的可行性进行了分析,提出一种人机结合的变电站仿真智能评价方法。该方法通过设置串行规则、并行规则、......
[期刊论文] 作者:李薛剑,李凯,, 来源:小型微型计算机系统 年份:2017
传统FCFS调度算法虽然易于实现,但未能解决紧急作业等待问题;而传统优先级调度算法在保证紧急作业优先完成的情况下,对一般作业极不公平.依据此两种调度策略,提出一种基于动...
[期刊论文] 作者:李薛剑,李春亭,, 来源:宜春学院学报 年份:2016
为有效保护监控设备。文章提出一种基于气象预测数据、通过比对预先设置的概率阈值来实现提前预警和自动控制的设备监控系统。该系统基于web服务和.NET平台,通过网络实现采集雷......
[期刊论文] 作者:李薛剑,陈豪,朱凯,, 来源:实验室研究与探索 年份:2016
随着高性能计算机的发展,一种基于CPU-GPU的异构集群逐渐被人们所关注。相比于传统集群,它更经济环保,且拥有更高的运算速度。但异构模式下效率较低的短板也限制着异构集群的...
[期刊论文] 作者:李薛剑, 胡月月, 余雪莉,, 来源:实验室研究与探索 年份:2018
伴随着计算机技术的不断发展,对于系统服务稳定性的要求显得尤为重要,集群的监控必不可少。设计并实现一个面向Linux集群的系统性能监控管理器,以检测集群运行状态。该监控管...
[期刊论文] 作者:李薛剑,苏素,梁瑞,陈仕绮,, 来源:电脑知识与技术 年份:2016
目前高性能计算机集群的作业提交和运行状况反馈大多是基于linux系统的命令行方式,该种操作需要操作人员对Linux系统和高性能计算机集群命令有一定的了解。对非计算机专业人...
[期刊论文] 作者:李薛剑,罗京,鲁昶,许兴中, 来源:实验室研究与探索 年份:2017
3DEW是一款用于石油勘探领域的应用程序,其运行需要极高的计算能力支持,在CPU上进行大规模计算时效率极低,而MIC卡为英特尔公司推出的基于集成中和架构的至强融核产品,可以提...
[期刊论文] 作者:杨晨,罗奇鸣,李薛剑,陈意云,, 来源:电子技术 年份:2017
程序性质的自动验证有时需要验证者提供相关的归纳引理,程序验证的结果可靠与否依赖于验证者所提供的归纳引理正确与否.本文围绕操作易变数据的程序的自动验证,设计并实现一...
[期刊论文] 作者:孙科, 罗奇鸣, 李薛剑, 陈意云,, 来源:小型微型计算机系统 年份:2004
在一个基于霍尔逻辑和形状图逻辑的C语言自动验证器中,设计并实现了对形状图中所含易变数据结构的形状检查方法.本工作在验证器的形状系统中实现了显式形状检查与隐式形状检...
[期刊论文] 作者:常欢, 罗奇鸣, 李薛剑, 陈意云,, 来源:小型微型计算机系统 年份:2004
C语言中的指针导致C程序中会出现表达式别名的情况.在基于演绎推理的程序验证中,使用Hoare逻辑的赋值规则前必须消除断言中的别名.别名增加了程序验证的难度.本文根据C语言的...
[期刊论文] 作者:王玮,李薛剑,俞昳豪,华松健,钱菲,, 来源:计算机应用与软件 年份:2017
当前高性能计算技术应用广泛,然而PBS作业管理系统存在操作麻烦、数据显示不直观等诸多缺点。结合当前信息化高速发展、智能终端和移动APP进一步普及的现实,利用IOS平台的Xcode集成开发工具编写移动端APP、使用PHP语言编写中间接口程序,设计面向移动端的高性能......
[期刊论文] 作者:李薛剑,刘梦雅,海健强,吴雪扬,余雪莉,, 来源:计算机应用与软件 年份:2018
为了在海量书籍中快速选择,针对高校读者同一学科在不同学习阶段知识背景相似的特点,提出一种建立基于矩阵分解的隐语义模型与时间效应的融合算法,对高校图书进行个性化图书推荐。该算法运用随机梯度下降法求解用户-项目评分矩阵;针对冷启动问题提出一种改进的......
相关搜索: