张树功
- 作品数：47 被引量：75H指数：5
- 供职机构：吉林大学数学学院更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金吉林省自然科学基金更多>>
- 相关领域：理学自动化与计算机技术电子电信更多>>
- 命题逻辑推理的代数化证明被引量：7
- 2008年
- 本文尝试利用纯代数的方式,通过解多项式方程组对命题逻辑进行演算、推理。
- 王礼萍张树功
- 关键词：真值函数多项式命题公式
- 矩阵C-特征值的包含区间被引量：7
- 2008年
- 研究矩阵C-特征值的估计问题,通过引入基本C-特征值的概念,并运用在实空间中定义超平面的构造性几何方法,给出了判定非奇异矩阵的充分条件,进而研究了新的矩阵基本C-特征值的包含区间,并给出了实用估计式.
- 李庆春张树功
- XTR^＋公钥体制中核心算法的改进
- 2009年
- 在XTR+公钥体制中提出无矩阵的核心算法,显著提高了核心算法的运算效率,从而提高了应用XTR+公钥体制的可证明IND-CCA2安全的密码系统、可证明安全的数字签名、可证明安全的盲签名协议和零知识证明协议的运算效率.
- 丁秀欢付治国张树功
- 关键词：迹函数LUCAS序列
- 基于高次曲线拟合的人脸特征表示
- 2014年
- 基于数字化曲线拟合技术,提出一种新的人脸图像不变特征表示方法.该方法先将人脸边缘图像分割为高次多项式及抛物线段构成的特征曲线段集合,再运用极惯性矩度量不同人脸图像在特征曲线段两侧的局部纹理及形态差异.实验结果表明,该方法与直线边缘图法和抛物线边缘图法相比,能更好地描述人脸图像的分布特征.
- 刘宏张树功
- 关键词：极惯性矩
- 基于任意分布共面圆的摄像机线性标定方法
- 考虑到基于二次曲线这种几何基元的摄像机标定方法比基于点或直线的方法具有更好的鲁棒性,本文给出了一种新的基于共面圆的摄像机标定方法.该方法的王要特点是模板形式简单、易于制作,仅需任意分布的三个或三个以上共面圆,且不需要进行...
- 韩晓乐蔡宇董天徐明飞张树功
- 关键词：摄像机标定圆环点射影不变量鲁棒性
- 文献传递
- 隐式二次曲面拼接的构造理论与递推算法
- 本文给出了利用两个或三个二次隐式曲面的GC<'1>拼接曲面递推构造n个二次曲面的n+1次GC<'1>拼接曲面的理论依据及算法,而且,GC<'1>拼接曲面的存在条件可以用二次曲面的几何参数来描述,且易于检验,从而计算量大幅...
- 厉玉蓉雷娜张树功冯果忱
- 关键词：曲面拼接二次曲面
- 文献传递
- 基于最优化控制模型的文本主题域划分
- 2009年
- 提出一种基于最优化控制模型的文本主题域划分方法,采用主题域内距离、主题域间距离、主题域内夹角和主题域间夹角等相关要素,构建了最优化模型的目标函数,进而通过对模型求解得到文本主题域的最优划分模式.该方法为全局最优化方法,与具体的应用领域无关,具有较高的普适性.实验结果表明,在算法适用性、F1评价和Window Diff评价上,该算法均优于其他相关算法.
- 王小芳王瑞芳张树功
- 二次隐式曲面的拼接与应用
- 随着数据获取技术的飞速发展,隐式曲面造型在计算机图形学以及计算机辅助几何设计(CAGD)中得到了越来越多的重视,它不仅在理论上有重要的意义,而且也具有重要的实际应用价值。目前,隐式曲面已广泛地应用于管道连接、肢体设计、隐...
- 厉玉蓉雷娜张树功冯果忱
- 文献传递
- 一类四次隐式代数曲面的参数化被引量：1
- 2006年
- 针对轴垂直的3个二次管道曲面的特点,基于由控制球得到的拼接曲面表达式,实现了GC1拼接3个二次管道曲面的四次隐式代数曲面的整体参数化,并可以实时地在机器上显示拼接曲面.在用特定平面束截四次拼接曲面而得到一条平面三次曲线和一条直线时,可以不经过坐标旋转变换而直接约去直线;对于平面三次截线的参数化通过平行面截取法实现,避免了辐射线束方法在平面三次曲线的有效点选取、排序等方面的问题.
- 解滨韩力文张树功
- 关键词：参数化
- 保线性算子q次数值域的线性映射被引量：1
- 2013年
- 研究保线性算子数值域的线性映射,在一定条件下分别给出了作用在块对角矩阵、块上三角矩阵及一般分块矩阵上的保q次数值域线性映射的一般形式.
- 刘畔畔张树功李庆春
- 关键词：线性保持问题
