邹宇
- 作品数：58 被引量：42H指数：5
- 供职机构：广州大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：文化科学自动化与计算机技术理学政治法律更多>>
- 几何代数基础与质点几何的可读机器证明
- 自吴法发表至今三十余年间,几何定理机器证明的研究和实践有了很大的进展.对无序几何命题而言,代数方法、数值并行方法均能有效地判定其真假,消点法、搜索法更能生成可读的证明.就几何定理可读机器证明而言,在面积法之后,又有了向量...
- 邹宇
- 关键词：几何代数
- 文献传递
- 从“两点如何相加”谈起(下)
- 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网络模型，得到预测的点云局部块每个点对构建局部参考坐标系的权重系数；根据预测的点云局部块每个点对...
- 陈联肖旭光饶永生邹宇
- 文献传递
