史玉石
- 作品数：6 被引量：1H指数：1
- 供职机构：南京理工大学紫金学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：文化科学理学自动化与计算机技术更多>>
- 一种缠绕式反双曲余弦曲线制备装置
- 本发明公开了一种缠绕式反双曲余弦曲线制备装置，包括构造机构，其包括支架组件、设置于所述支架组件上的对数构造组件，以及设置于所述对数构造组件上方的双曲构造组件；调节生成机构，其包括设置于所述支架组件一侧的乘数调节组件，以及...
- 王书营史玉石
- 面向深度学习的个人知识图谱构建被引量：1
- 2020年
- 从深度学习理论出发,结合“以学生为中心、教师为主导”的教学理念,研究在课程学习过程中构建服务于学生深度学习过程的个人知识图谱的方法,从而实现学生对知识的意义建构。同时,以Web程序设计课程为例,分析个人知识图谱的构建方法。试验结果表明,通过个人知识图谱的构建可促进学生的深度学习,激发学生的学习兴趣,提高学生的课程学习效率。
- 路红史玉石
- 关键词：知识图谱WEB程序设计WEB程序设计
- 线性代数课程教学有效性方法探究
- 2018年
- 根据线性代数课程的特点和学生的学习现状,针对线性代数课程的教学有效性,主要就教师如何通过有效教学从而激发学生有效学习的方法进行研究与探讨,针对课前、课中、课下各环节问题提出观点与方法,注重对学生的引导,以提高学生的学习效率,培养学生借助线性代数解决实际问题的能力。
- 史玉石田露
- 关键词：线性代数有效教学多媒体课件MATLAB
- 基于后置条件的循环不变式自动生成方法
- 本发明公开了一种基于后置条件自动生成循环不变式的方法。首先依据循环语句的后置条件构造初始候选不变式，设计一个支持单层循环和双层循环的验证器，以验证循环不变式的有效性。然后运行程序生成高质量的样本数据集，利用循环程序的霍尔...
- 路红廖龙龙史玉石刘红英
- 文献传递
- 基于机器学习的循环不变式自动生成方法
- 本发明公开了基于机器学习自动生成循环不变式的方法。首先对含循环语句的计算机程序依据一定的算法得到循环语句的后置条件，构造循环语句对应的Hoare三元组；然后依据循环语句的前置条件随机生成测试数据，以这些测试数据为循环变量...
- 路红史玉石
- 文献传递
- 二阶多个体系统控制受限下的无碰撞速度一致性问题
- 2011年
- 针对具有二阶积分器动态的多个体网络系统,研究了控制输入幅值受限情况下的无碰撞速度一致性问题.利用所给出的一个新的能量函数,提出了一个非线性控制协议,在一定条件下,实现了如下几点:1.每个个体的速度渐近地趋于一致;2.个体之间没有碰撞发生;3.控制输入的幅值不超过期望的界限.将已有的关于无碰撞速度一致性问题的研究成果推广到了控制输入幅值受限的情形.
- 史玉石朱建栋陈腾
