李薛剑
- 作品数：42 被引量：32H指数：4
- 供职机构：安徽大学更多>>
- 发文基金：国家自然科学基金安徽省高校省级自然科学研究项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 一种电子商务系统的安全性分析优化方法
- 本发明公开了一种电子商务系统的安全性分析优化方法，首先使用Petri网分别对电子商务系统中的业务流和数据流分别进行建模，然后两个模型合并，得到合并后的Petri网模型，再将Petri网模型转变为状态迁移图，并定义电子商务...
- 李薛剑王昌羽
- 一种针对深度学习缺陷警报的自动验证方法
- 本发明公开了一种针对深度学习缺陷警报的自动验证方法，首先使用训练好的深度学习模型对待测程序进行预测，得到缺陷警报，缺陷警报包含潜在缺陷的类型和位置，然后生成从待测程序入口到每个潜在缺陷位置的可达路径集P，并收集每个缺陷变...
- 李薛剑朱争光
- 基于气象数据的设备防雷监控系统设计
- 2016年
- 为有效保护监控设备,文章提出一种基于气象预测数据、通过比对预先设置的概率阈值来实现提前预警和自动控制的设备监控系统。该系统基于web服务和.NET平台,通过网络实现采集雷击概率数据和开启、关闭命令的传输,高效及时地对雷击事件做出响应,避免监控设备遭到破坏。
- 李薛剑李春亭
- 关键词：雷击自动控制网络
- 高性能计算平台在高校中的应用及服务模式探索被引量：4
- 2015年
- 该文论述了高性能计算平台作为开放性的计算资源,在高校环境中如何以服务用户为宗旨,为用户提供高性能计算及专业技术服务。文章从服务模式、科研创新、人才培养、平台的推广等多个方面,阐述了平台在高校中的定位及应当发挥的作用。
- 李薛剑
- 面向Web的高性能计算集群作业调度系统被引量：1
- 2016年
- 目前高性能计算机集群的作业提交和运行状况反馈大多是基于linux系统的命令行方式,该种操作需要操作人员对Linux系统和高性能计算机集群命令有一定的了解。对非计算机专业人员而说,使用高性能计算机集群非常不方便。基于这一现状设计了一个基于Web提交的高性能计算机集群作业调度系统,系统主要有作业提交、作业查询、用户信息修改查询和记录操作等功能。Web前端通过Http协议将用户请求和数据传输到后台服务器,后台服务器通过过滤器拦截提取分析用户请求,根据用户请求通过ssh安全协议将文件提交到作业调度系统,执行命令。实现了用户通过图形界面友好方便地使用作业调度系统。
- 李薛剑苏素梁瑞陈仕绮
- 关键词：计算机集群SSH协议
- 适用于视频图像中显著人体实例分割的方法
- 为了解决现有技术的不足，本发明提供一种适用于视频图像中显著人体实例分割的方法：将视频序列中运动目标的运动持续性和时空结构一致性引入，实现基于此两者约束的一种将光流聚类、显著性检测和多特征投票相结合的人体实例分割方法。对于...
- 方贤勇张晶晶李薛剑孙恒飞傅张军孙皆安汪粼波蒋昆鲍恒星周森
- 一种估计三维人体姿态及手部信息的方法
- 本发明为一种估计三维人体姿态及手部信息的方法，实现了一种新的以彩色深度相机单帧数据来自动准确的同时估计人体和手部的姿态以及人体实际体形的独特方法。首先将深度相机的关节预测与深度学习从彩色图预测关节的方法结合，同时获取人体...
- 方贤勇杨继魁汪粼波李薛剑
- 文献传递
- 易变数据结构归纳引理的自动证明
- 2017年
- 程序性质的自动验证有时需要验证者提供相关的归纳引理,程序验证的结果可靠与否依赖于验证者所提供的归纳引理正确与否。本文围绕操作易变数据的程序的自动验证,设计并实现一个相关引理的自动证明器,作为程序自动验证器中检查验证者所提供的归纳引理是否正确的工具。该证明器分析所有待证归纳引理,构建引理之间的依赖关系图,得出引理的证明顺序。对每个引理,分析得出它的归纳变元和应采用的归纳方法,把归纳证明的各步交给自动定理证明器Z3进行证明。该证明器的原型已嵌入一个基于演绎推理的安全C语言自动验证系统中,并成功验证了有序链表、二叉搜索树、AVL树、伸展树等数据结构的性质。
- 杨晨罗奇鸣李薛剑陈意云
- 关键词：自动定理证明
- 面向移动APP的高性能计算作业监控系统被引量：2
- 2017年
- 当前高性能计算技术应用广泛,然而PBS作业管理系统存在操作麻烦、数据显示不直观等诸多缺点。结合当前信息化高速发展、智能终端和移动APP进一步普及的现实,利用IOS平台的Xcode集成开发工具编写移动端APP、使用PHP语言编写中间接口程序,设计面向移动端的高性能计算监控系统。使用移动端的监控系统可以避免PBS存在的部分缺点,具有较好的效率和较高的实用性。实验表明,该APP对移动端的资源占用较少,并且可较好地应用于高性能计算作业调度系统的监控。
- 王玮李薛剑俞昳豪华松健钱菲
- 关键词：APPPBSIOS
- 部分冗余删除的证明变换研究被引量：1
- 2017年
- 部分冗余删除优化是一个同时包含有公共子表达式删除和表达式提升的复杂优化,但是对基于部分冗余删除优化的证明变换研究,还停留在对一些简单情况的处理和讨论上.本文在实验室前期优化对证明调整的研究基础上,总结简单优化行为对证明变换的调整过程,通过将部分冗余删除优化细分为简单的PRE、复杂的PRE、复制代码的PRE、前瞻的PRE,给出了不仅是简单的优化调整证明方法,而是包含有基于复杂的部分冗余删除优化的证明变换的方法.
- 李薛剑
- 关键词：编译器优化
