张树功
- 作品数：47 被引量：76H指数：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>拼接曲面的存在条件可以用二次曲面的几何参数来描述,且易于检验,从而计算量大幅...
- 厉玉蓉雷娜张树功冯果忱
- 关键词：曲面拼接二次曲面
- 文献传递
- 弱拟法锥条件下非凸优化问题的同伦算法被引量：8
- 2011年
- 本文给出弱拟法锥条件的定义,并针对非线性组合同伦方程,得到在弱拟法锥条件下求解约束非凸优化问题的同伦内点算法.证明了该算法对于可行域的某个子集中几乎所有的点,同伦路径存在,并且同伦路径收敛于问题的K-K-T点.通过数值例子验证了该算法是有效的.
- 刘庆怀张春阳张树功
- 关键词：非凸优化同伦算法内点法
- 附加有界扰动系统开环MMMPC的可行性和稳定性
- 2008年
- 通过分析附加有界扰动不确定系统的开环最大最小模型预测控制(OL-MMMPC)的可行性和稳定性,指出一般情况下OL-MMMPC问题初始可行但未必一直可行,进而闭环系统也未必稳定,并给出了该问题只要初始可行就有闭环系统稳定的一个充分条件及OL-MMMPC问题的一种改进算法,该算法保证只要问题初始可行闭环系统就稳定.
- 李俊玲张树功
- 关键词：预测控制可行性稳定性
- 基于最优化控制模型的文本主题域划分被引量：1
- 2009年
- 提出一种基于最优化控制模型的文本主题域划分方法,采用主题域内距离、主题域间距离、主题域内夹角和主题域间夹角等相关要素,构建了最优化模型的目标函数,进而通过对模型求解得到文本主题域的最优划分模式.该方法为全局最优化方法,与具体的应用领域无关,具有较高的普适性.实验结果表明,在算法适用性、F1评价和Window Diff评价上,该算法均优于其他相关算法.
- 王小芳王瑞芳张树功
- 二次隐式曲面的拼接与应用
- 随着数据获取技术的飞速发展,隐式曲面造型在计算机图形学以及计算机辅助几何设计(CAGD)中得到了越来越多的重视,它不仅在理论上有重要的意义,而且也具有重要的实际应用价值。目前,隐式曲面已广泛地应用于管道连接、肢体设计、隐...
- 厉玉蓉雷娜张树功冯果忱
- 文献传递
