张会凌
- 作品数：40 被引量：38H指数：3
- 供职机构：甘肃联合大学电子信息工程学院更多>>
- 发文基金：甘肃省教育厅科研基金更多>>
- 相关领域：理学自动化与计算机技术自然科学总论更多>>
- 正多边形的一个性质的推广
- 2002年
- 将文 [1]给出的正多边形的一个性质推广到了任意多边形和任意多面体 ,从而使文
- 张会凌
- 关键词：正多边形任意多边形
- 到两定直线的距离之比为常数的点的轨迹被引量：1
- 1996年
- 本文讨论了三维空间中到两定直线的距离之比为常数的点的轨迹。文章就二定直线平行、相交和异面三种情况给出了轨迹表示的曲面类型,并把二维平面上对应的轨迹问题作为所得结果的特殊情形进行了处理。
- 张会凌
- 带有多重量词的谓词公式的否定被引量：1
- 2008年
- 讨论了谓词逻辑中带有多重量词的谓词公式的否定问题,得出了对于此类谓词公式可以逐层否定的结论,从而填补了现有诸教材在这个问题上的一个空白。
- 祝深有张会凌
- 论二次曲面的奇点被引量：3
- 2004年
- 首先证明了微分几何中一般曲面之奇点的定义与二次曲面的奇点的定义的一致性,并证明了二次曲面有奇点的充要条件是其中心在曲面上,在此基础上,对五类典型的二次曲面的奇点的分布规律进行了系统的讨论,得出了奇点存在的几个充分必要条件.
- 张会凌
- 关键词：二次曲面奇点微分几何
- 谈两种不同的拟序
- 2003年
- 对近年出版的高等学校教学参考书和专著中关于拟序的两种不同的定义进行了讨论,分析了二者的性质、异同和关系,并给出了消除同名异义性的建议.
- 张会凌
- 关键词：拟序歧义性
- 椭圆型和抛物型二次曲线的退化特征
- 2004年
- 在平面直角坐标系下,当二次方程
F(x,y)=a11x2+2a12xy+a22y2+2a13x+2a23y+a33=0 (1)
表示的曲线是两条直线(相交、平行或重合的实的或虚的)时,就说此二次曲线是退化的.
- 张会凌
- 关键词：平面直角坐标系
- 空间几类点的轨迹被引量：1
- 1995年
- 本文讨论了三维空间中三类到两个固定点集的距离之比为正常数的点的轨迹。这里的固定点集特指定点、定直线和定平面。
- 张会凌
- 关键词：圆锥面旋转二次曲面旋转抛物面旋转椭球面二次锥面
- 到n个定点距离的二次幂平均为定值的点的轨迹被引量：1
- 2001年
- 证明了平面上一条曲线是圆的充要条件是此曲线为到n个定点的距离的二次幂平均等于正常数的点的轨迹。
- 张会凌
- 关键词：定值
- 命题逻辑判定系统中基本真值矩阵的生成算法被引量：4
- 2005年
- 给出了求含任意n个命题变元的命题公式F的基本真值矩阵的四个算法 。
- 张会凌
- 关键词：命题逻辑
- 正多边形的一个性质被引量：1
- 2001年
- 给出了当 n阶完全图 Gn 的 n个结点恰为一正 n边形的顶点 ,且 Gn的边为具有长度的直线段时 ,Gn 的 n( n - 1) / 2条边的边长与该正 n边形的半径之间的关系 .
- 张会凌
- 关键词：正N边形初等数学正多边形对角线
