刘忠
作品数： 32被引量：107H指数：5
  • 所属机构:乐山职业技术学院
  • 所在地区:四川省 乐山市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

钟秀琴
作品数：33被引量：104H指数：3
供职机构：电子科技大学
研究主题：初等数学 本体 自然语言文本 电子设备 实例化
陈世平
作品数：7被引量：12H指数：4
供职机构：中国民航飞行学院
研究主题：可读证明 多项式 终止性 三角函数 机器证明
符红光
作品数：71被引量：246H指数：8
供职机构：电子科技大学
研究主题：初等数学 自然语言处理 自然语言文本 实例化 搜索引擎
胡燏
作品数：12被引量：9H指数：2
供职机构：四川建筑职业技术学院
研究主题：计算机 教学 计算机网络 艺术设计 计算机辅助设计
杨芳
作品数：3被引量：3H指数：1
供职机构：乐山职业技术学院
研究主题：MATLAB 数学建模 高职院校 高职应用数学 数学实验课
作品列表
一个Erds问题的新证明及其在球面的猜想
2012年
著名的数学家P.Erds在给殷涌泉教授的一封信中曾经提到过一个几何概率问题,张景中、杨路、张伟年用初等几何方法证明了Erds的这个猜想[1]。本文利用线集测度理论给出一个更直接的新证明,并讨论在球面上的推广问题,它可形象地描述成如何用"绷带"均匀缠球的问题。
黄斌刘忠
指数函数多项式的实根分离算法被引量：1
2022年
针对超越函数多项式的实根分离问题,提出了一种指数函数多项式的区间分离算法exRoot,将非多项式型实函数的实根分离问题转化为多项式正负性判定问题进而对其求解。首先,利用泰勒替换法构造目标函数的多项式区间套;然后,将指数函数的求根问题转化为多项式在区间内正负性的判定问题;最后,给出综合算法,并且试探性地应用于实特征值线性系统的可达性判定问题。所提算法在Maple中实现,输出的结果可读,且高效易行。区别于HSOLVER和数值计算方法fsolve,exRoot回避了直接讨论根的存在性问题,理论上具有终止性和完备性,且可达到任意精度,应用于最优化问题时可避免数值解带来的系统误差。
葛昕钰陈世平刘忠
关键词：终止性
三角函数多项式不等式的自动证明被引量：7
2015年
本文讨论了三角函数多项式特别是正切函数多项式的性质,并在此基础上实现了一个三角函数多项式不等式自动证明的完备算法.算法运用Taylor展开式将目标不等式的证明转化为一系列的一元多项式不等式的验证,再借助代数不等式证明工具(如Bottema)完成最后的工作.实验结果表明算法对常见的三角函数多项式不等式十分高效,同时证明过程是"可读"的.
陈世平刘忠
关键词：终止性
论国有资产监督和管理模式
2006年
通过对我国曾有的国有资产监督模式的研究,结合作者在国有资产监督管理委员会工作的经验,提出了将国有资产的监督和管理职能分离,实行“委托管理,全民监督”的国有资产监督和管理模式。
刘忠程少华
关键词：国有资产
信息技术在教学过程中有效性研究被引量：1
2016年
随着网络时代的到来,人们的工作学习生活方式都发生了巨大的改变,传统教育也因此受到巨大的冲击,信息技术在教学过程的应用也随之不断推行,但信息技术在现代教学过程中的针对性、有效性一直成为信息技术在教学领域应用中的一个瓶颈。本课题通过深入校园利用调查问卷的方式,获取教师、学生关注的信息技术在教学过程中应用的第一手资料,并在此基础上加以深入分析,用真实的数据资料研究教学过程中信息技术的有效性。
刘忠张学河杨芳胡燏
关键词：信息技术教学有效性
一种领域本体的构建及实例化方法
本发明公开了一种领域本体的构建及实例化方法，其特征在于：选定领域，通过Wikipedia获取该领域的核心术语和核心术语之间的关系；将核心术语之间的关系与WordNet查询方式进行比较筛选，确定它们之间的对应模式，通过该对...
符红光刘忠钟秀琴
文献传递
一类超越函数多项式不等式的自动证明被引量：2
2019年
讨论了形如f(x,trans1(x),…,transn(x))>0的超越函数多项式不等式的自动证明问题,运用Taylor展开式将目标不等式的证明转化为一系列的一元多项式不等式的验证,然后借助代数不等式证明工具完成最后的工作.运用Maple实现了上述算法,算法对常见超越函数多项式不等式十分高效,并且可以输出"可读"的证明过程.
陈世平刘忠
一种领域本体的构建及实例化方法
本发明公开了一种领域本体的构建及实例化方法，其特征在于：选定领域，通过Wikipedia获取该领域的核心术语和核心术语之间的关系；将核心术语之间的关系与WordNet查询方式进行比较筛选，确定它们之间的对应模式，通过该对...
符红光刘忠钟秀琴
文献传递
浅析C语言的学习被引量：1
2006年
本文从C语言的由来入手,讲述了C语言的“一个基础”,“三大结构”,“三大部分”的学习,对C语言的主要内容及学习方法进行了归纳。
胡燏刘忠
关键词：C语言
硅材料行业人才需求与职业院校专业设置匹配分析被引量：1
2020年
硅材料行业是我国战略性新兴行业,职业教育在产业技术技能人才培养中发挥了主阵地作用。通过对我国硅材料行业技术技能人才需求与职业院校人才培养的匹配分析,提出要科学合理构建硅材料行业职业教育专业体系,为职业院校合理设置专业,优化专业布局结构,优化课程设置,注重专业技能和职业素养高度融合,有效开展教学,培养高质量技术技能人才提供指导性意见。
无宋凯刘忠刘忠
关键词：职业院校行业人才需求
加载更多 ∨