张传军
- 作品数：7 被引量：7H指数：2
- 供职机构：贵州师范学院更多>>
- 发文基金：广东省教育科学“十二五”规划项目贵州省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：理学文化科学自动化与计算机技术更多>>
- 由秩为r的幂等元生成的保向部分变换半群V(n,r)被引量：1
- 2013年
- 设SPOPn是[n]上的奇异保向部分变换半群.证明了半群SPOPn是由秩为n-1的幂等元生成的,且它的秩和幂等秩都是2n.同时考虑了半群V(n,r)={α∈SPOPn:|im(α)|≤r},其中2≤r≤n-2,并证明了半群V(n,r)是由秩为r的幂等元生成的.
- 张传军朱华伟
- 半群S(n,r)的极大幂等元生成子半群
- 2016年
- 设S_n^-是X_n={1,2,…,n}上的降序变换半群.对任意1≤r≤n-1,研究半群S(n,r)={α∈S_n^-:|im(a)|≤r},得到了半群S(n,r)的极大子半群和极大幂等元生成子半群的完全分类.
- 张传军肖宏治
- “重建三角”正弦定理在相似三角形中的应用
- 2021年
- “重建三角”正弦定理在初中相似三角形中的两大应用:一是用正弦定理推导相似三角形的判定定理;二是应用正弦定理为特定相似三角形题目提供“无辅”证明。相似三角形判定定理的证明,教材中是通过作辅助线构造平行线或者全等三角形加以证明,关联知识点多,学生必须熟练掌握全等三角形的应用才可自行解决相似三角形判定定理,学习难度较大,通过正弦定理,不仅“无辅”,而且相关联知识范围少,简洁易懂。该方法将“无序”的问题变得程序化,这种程序化知识是以正弦定理为主线联结起来的,使得代数运算和几何演绎的思想一线串通。
- 韦维张婷张传军
- 关键词：正弦定理
- 奇异变换半群Sing_n的非群平方幂等元秩被引量：1
- 2016年
- 设Sing_n是[n]上的奇异变换半群.证明了半群Sing_n是由秩为n-1的非群平方幂等元生成的,且它的非群平方幂等元秩为(n(n-1))/2.
- 张传军朱华伟肖宏治
- 关键词：变换半群
- 半群PO_n(k,m)的秩被引量：3
- 2016年
- 设POn是[n]上的部分保序变换半群.对任意1≤k≤n-1且2≤m≤n,研究半群POn(k,m)={α∈POn:x,y∈dom(α),x≤k■xα≤k,y≥m■yα≥m}证明了半群POn(k,m)的幂等元秩为3n-4.进一步,得到了半群POn(k,k+1)的秩为2n-2,且半群POn(k,m)(m≠k+1)的秩为2n-1.
- 张传军朱华伟肖宏治
- 关键词：部分变换半群保序
- 关于“p^2q^2阶群的完全分类”一文的注记被引量：2
- 2012年
- 设p,q为奇素数,且p>q,而G是p2 q2阶群.如果G是非交换的超可解群且它的Sylowp-子群初等交换,那么:1)当q整除(p-1)但q2不整除(p-1)时,G恰有(q+4)个彼此不同构的类型;2)当q2整除(p-1)时,G恰有(q2+3q+10)/2个彼此不同构的类型.这一结果完善了已有文献对p2 q2阶有限群的分类结果.
- 陈松良张传军
- 关键词：有限群同构分类
- SGARP中符号计算模块的实现及其应用
- 2014年
- 可持续发展的几何自动推理平台(sustainable geometry automated reasoning platform,SGARP)支持用户按需添加或修改几何定理机器证明所涉及的几何对象、谓词、定理和规则,以发展多种多样基于规则的机器自动推理或人机交互推理方法.为进一步提高SGARP的推理能力和扩展其适用范围,提出一种在SGARP中实现符号计算功能的快捷方法,并成功添加了质点法和解析法推理模块.质点法可证明希尔伯特交点类几何命题,解析法能用于辅助证明各种类型有一定难度的几何定理,如著名的Thebault定理.对这两种方法用基于Web的机器证明测试用的几何问题库(thousands of geometric problems for geometric theorem provers,TGTP)中180道几何题进行评估,均在合理时间内给出令人满意的可读机器证明,表明升级后的SGARP能更好地满足用户学习与发展几何机器推理的需求.
- 张景中张传军郑焕饶永生邹宇
- 关键词：PYTHON语言
