您的位置: 专家智库 > >

邹宇

作品数:58 被引量:45H指数:5
供职机构:广州大学更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域:文化科学自动化与计算机技术理学政治法律更多>>

文献类型

  • 35篇期刊文章
  • 14篇专利
  • 5篇学位论文

领域

  • 26篇文化科学
  • 9篇自动化与计算...
  • 6篇理学
  • 1篇化学工程
  • 1篇政治法律

主题

  • 13篇数学
  • 9篇赛题
  • 6篇竞赛题
  • 5篇定理
  • 5篇试题
  • 5篇命题
  • 4篇等式
  • 4篇用户
  • 4篇机器证明
  • 3篇对角线
  • 3篇悬架
  • 3篇悬架系统
  • 3篇学问
  • 3篇鼠标
  • 3篇鼠标事件
  • 3篇数学竞赛
  • 3篇数学问题
  • 3篇四边形
  • 3篇汽车
  • 3篇汽车主动悬架

机构

  • 40篇广州大学
  • 16篇湖南师范大学
  • 5篇华中师范大学
  • 5篇中国科学院成...
  • 1篇电子科技大学
  • 1篇福建船政交通...
  • 1篇河南机电职业...
  • 1篇天津城建大学

作者

  • 54篇邹宇
  • 19篇饶永生
  • 14篇张景中
  • 12篇沈文选
  • 8篇李传中
  • 7篇黄勇
  • 5篇李章
  • 5篇彭翕成
  • 4篇郑焕
  • 3篇李涛
  • 3篇曹忠
  • 3篇罗高涌
  • 3篇赵文静
  • 2篇郭四稳
  • 1篇付云皓
  • 1篇陈文彬
  • 1篇尚亚东
  • 1篇朱华伟
  • 1篇黄伟亮
  • 1篇李福芳

传媒

  • 4篇数学通报
  • 3篇中学数学研究...
  • 2篇中学生数学(...
  • 2篇中学数学研究
  • 2篇中学教研(数...
  • 2篇数学的实践与...
  • 2篇福建中学数学
  • 2篇计算机应用
  • 1篇数学教育学报
  • 1篇数理化解题研...
  • 1篇高中数学教与...
  • 1篇系统科学与数...
  • 1篇计算机研究与...
  • 1篇中学数学教学
  • 1篇中学数学月刊
  • 1篇计算机学报
  • 1篇数学通讯(教...
  • 1篇高等数学研究
  • 1篇广州大学学报...
  • 1篇广西师范学院...

年份

  • 2篇2023
  • 2篇2022
  • 3篇2021
  • 2篇2020
  • 3篇2019
  • 3篇2018
  • 2篇2017
  • 4篇2016
  • 3篇2015
  • 4篇2014
  • 1篇2013
  • 4篇2012
  • 5篇2010
  • 2篇2009
  • 1篇2008
  • 7篇2007
  • 6篇2006
58 条 记 录,以下是 1-10
排序方式:
几何代数基础与质点几何的可读机器证明
自吴法发表至今三十余年间,几何定理机器证明的研究和实践有了很大的进展.对无序几何命题而言,代数方法、数值并行方法均能有效地判定其真假,消点法、搜索法更能生成可读的证明.就几何定理可读机器证明而言,在面积法之后,又有了向量...
邹宇
关键词:几何代数
文献传递
从“两点如何相加”谈起(下)
2012年
条:5质点几何的基本法则及其应用 质点几何的基本法则很简单,就下面这么几 (a)若m+n≠0,则mA+nB=(m+n)C表示C在直线AB上,且m→AC=n→CB,即→AC:→CB;当且仅当m·n〉0时,C是线段AB的内点。
张景中邹宇
关键词:基本法质点线段
一种汽车主动悬架系统的结构化控制方法及控制装置
本发明公开了一种汽车主动悬架系统的结构化控制方法,包括以下步骤:建立四分之一汽车主动悬架系统模型;建立主动悬架结构化控制器的控制目标;设计四分之一汽车主动悬架系统的结构化控制器;调节所述结构化控制器的参数以实现汽车稳定性...
曹忠罗高涌赵文静饶永生邹宇黄勇李传中
文献传递
中国环境威胁论及其法律对策探析
在全球化时代,环境与资源并未得到足够的重视与保护,灾难效应逐渐取代福利效应。跨国界、跨意识形态解决环境问题的合作以及促进环境长久良性发展课题逐步展开,以环境大国自居的中国从70年代亦开展环境外交参与其中。然而伴随着中国环...
邹宇
关键词:环境外交法律规制新殖民主义
稳定模的分裂性(英文)
2016年
逻辑程序是一些具有正负子句的规则集合.基于MOORE提出的自认知逻辑的基础上,GELFOND引进了稳定模的概念,后来得到更进一步的发展.在文章中,作者研究了稳定模的分裂性质.这性质表明当逻辑程序分裂成部分时候,它的稳定模的计算可以得到简化.
陈文彬李福芳邹宇
关键词:逻辑程序稳定集
一道IMO预选题的再推广
2006年
第39届IMO预选题:设x,y,z是正实数,且xyz=1,求证:x^3/(1+y)(1+z)+y^3/(1+x)(1+z)+z^3/(1+x)(1+y)≥3/4.文[1]给出了这个不等式的四个推广:
邹宇沈文选
关键词:预选题IMO不等式数学国际奥林匹克竞赛
用激励型评价增进中职学生学习动力研究--以H学校为个案
本论文首先通过互联网平台收集和梳理了国内外关于中职学校学生激励性评价的国家政策以及相关文献资料,了解中职学校关于激励性评价增进学生学习动力方面的发展现状及未来趋势。在政策方面,国家出台一系列关于教育评价改革方案,着力推进...
邹宇
关键词:中职学生学习动力
用重心概念求交比类问题被引量:1
2010年
1引言 用物理方法(特别是力学)来解决数学问题,阿基米德是最早的典范.吴文俊院士在上世纪60年代于文献中谈到了重心概念在几何中的应用,指出“应用力学的重心概念可以不仅可以简化某些几何命题的证明,很自然地得到所要的结论,而且也能够自然而然地发现某些几何事实”.
邹宇
关键词:几何命题数学问题物理方法阿基米德
SGARP中全角法的实现
2014年
在可持续发展的几何自动推理平台SGARP中,通过添加全角法相关的对象、谓词和定理,在SGARP中成功实现了全角法.添加了全角法的SGARP测试证明了100个几何定理.
张传军郑焕邹宇
一种构建点云局部坐标系的方法、系统、装置及介质
本发明公开了一种构建点云局部坐标系的方法、系统、装置及介质,其方法包括:制作点云局部块的3D特征;将3D特征输入EE‑Net网络模型,得到预测的点云局部块每个点对构建局部参考坐标系的权重系数;根据预测的点云局部块每个点对...
陈联肖旭光饶永生邹宇
文献传递
共6页<123456>
聚类工具0