基于仿真的表演创意智能涌现方法研究与实现

1

作者 丁刚毅 郭芸莹 《中国传媒大学学报（自然科学版）》 2021年第1期24-31,共8页

论文研究基于仿真的表演创意智能涌现方法。通过对艺术表演的视频数据进行分析,研究并实现基于仿真的表演创意智能涌现,拓展传统人工进行艺术表演创意带来的局限性。结合艺术表演领域的知识,对视频中的各个表演创意要素进行了分类和定义... 论文研究基于仿真的表演创意智能涌现方法。通过对艺术表演的视频数据进行分析,研究并实现基于仿真的表演创意智能涌现,拓展传统人工进行艺术表演创意带来的局限性。结合艺术表演领域的知识,对视频中的各个表演创意要素进行了分类和定义,随后使用计算机符号化理论与计算机识别的技术对不同的表演创意要素进行了计算机表达。随后使用机器学习的方法,将表演创意进行计算机智能涌现并利用观众评估实验效果。通过实验,该基于仿真的表演创意智能涌现方法能够生成一场简单的艺术表演,并在合理性、逼真度、创新性、与人工创意等四个方面展示了它的可行性。 展开更多

关键词 仿真 表演要素 智能涌现 计算机符号化

下载PDF 职称材料

平面四杆机构刚体导引综合的符号解法 被引量：5

2

作者 林光春 徐礼钜 《机械设计》 CSCD 北大核心 1998年第2期19-20,29,共3页

本文应用数学机械化方法和计算机符号处理技术，对平面四杆机构刚体导引综合问题进行了符号求解。该法通过对变量的排序、分组、约化，构成基列、求余等运算，将一个非线性多项式方程组化简为一个同价的三角化方程组，得到了原方程组的... 本文应用数学机械化方法和计算机符号处理技术，对平面四杆机构刚体导引综合问题进行了符号求解。该法通过对变量的排序、分组、约化，构成基列、求余等运算，将一个非线性多项式方程组化简为一个同价的三角化方程组，得到了原方程组的封闭形式的解析解。 展开更多

关键词 平面机构综合 刚体导引 计算机符号处理

下载PDF 职称材料

多柔体系统动力学符号演算的研究 被引量：2

3

作者 冯力 叶尚辉 刘明治 《Journal of Mathematical Research and Exposition》 CSCD 2000年第1期143-148,共6页

多柔体系统动力学涉及繁杂的数学运算，对系统动力学方程和系数矩阵进行手工推导是低效而不可靠的．采用数值化方法进行系统动力学分析将包括许多虚运算和重复计算，使得计算效率和精度受到了影响．同时对约束和外力的变化适应性较差．... 多柔体系统动力学涉及繁杂的数学运算，对系统动力学方程和系数矩阵进行手工推导是低效而不可靠的．采用数值化方法进行系统动力学分析将包括许多虚运算和重复计算，使得计算效率和精度受到了影响．同时对约束和外力的变化适应性较差．本文在通用计算机符号演算软件ＭＡＴＨＥＭＡＴＩＣＡ环境下，研究了多柔体系统动力学的计算机符号演算方法，提出将多柔体系统动力学建模和数值分析的问题在ＭＡＴＨＥＭＡＴＩＣＡ环境中一体化解决，并通过实践说明这一方法是可行的和有效的． 展开更多

关键词 多柔体系统 动力学 计算机符号演算 数值分析

下载PDF 职称材料

平面两自由度七杆机构位置分析的符号解 被引量：5

4

作者 徐礼钜 宋绍富 林光春 《机械科学与技术》 EI CSCD 北大核心 1998年第1期51-53,共3页

应用数学机械化方法和计算机符号处理技术，对平面两自由度七杆机构位置分析问题进行了符号求解，该法通过对变量的排序、多项式分组、约化、构成基列、求余等运算，将一组非线性多项式方程化简为一个同价的三角化方程组，导出了单变量... 应用数学机械化方法和计算机符号处理技术，对平面两自由度七杆机构位置分析问题进行了符号求解，该法通过对变量的排序、多项式分组、约化、构成基列、求余等运算，将一组非线性多项式方程化简为一个同价的三角化方程组，导出了单变量的８次代数方程，得到了封闭形式的解析解，并给出一个数字实例来说明这种方法。 展开更多

关键词 位置分析 平面 两自由度 七杆机构 符号处理

下载PDF 职称材料

平面四杆机构函数综合的符号解法 被引量：2

5

作者 徐礼钜 林光春 《机械传动》 CSCD 北大核心 1998年第1期36-38,共3页

本文应用数学机械化方法和计算机符号处理技术，对平面四杆机构函数综合问题进行了符号求解；该法通过对变量排序、分组、约化、构成基列、求余等运算，将一个非线性多项式方程组化简为一个同价的三角化方程组，得到了原方程组的封闭形... 本文应用数学机械化方法和计算机符号处理技术，对平面四杆机构函数综合问题进行了符号求解；该法通过对变量排序、分组、约化、构成基列、求余等运算，将一个非线性多项式方程组化简为一个同价的三角化方程组，得到了原方程组的封闭形式的解析解。 展开更多

关键词 平面机构 函数综合 数学机械化 计算机符号

下载PDF 职称材料

引力向量及梯度张量在坐标系之间的变换 被引量：2

6

作者 赵东明 蔡志武 +2 位作者 莫登沅 包欢 张宏伟 《测绘科学技术学报》 北大核心 2006年第6期425-428,共4页

引力向量和引力梯度张量在局部和全局坐标系间的转换过程是对卫星重力梯度测量进行模拟研究的主要手段和重要步骤。提出了利用计算机符号运算辅助推导该转换过程的新思想。首先通过对该过程进行分析,指出其运算繁琐复杂;然后通过对理论... 引力向量和引力梯度张量在局部和全局坐标系间的转换过程是对卫星重力梯度测量进行模拟研究的主要手段和重要步骤。提出了利用计算机符号运算辅助推导该转换过程的新思想。首先通过对该过程进行分析,指出其运算繁琐复杂;然后通过对理论推导过程的分解,确定了引力向量和引力梯度张量在局部和全局坐标系之间转换的各关键步骤;并借助于计算机符号运算实现了这一转换过程的计算机推演,成功地得到了完整的符号公式结果。所编写的符号推演程序在多台计算机的多种平台上获得了一致的结果。实验结果表明,计算机符号运算对于公式体系繁杂的卫星重力学理论研究来说具有极大的增效作用。 展开更多

关键词 重力梯度测量 引力向量 引力梯度张量 计算机符号运算

下载PDF 职称材料

高阶非线性长短波共振方程的显式精确解 被引量：2

7

作者 尚亚东 黄勇 《广州大学学报（自然科学版）》 CAS 2010年第1期1-5,共5页

借助于尚亚东最近提出的扩展双曲函数法和精确求解非线性数学物理方程的计算机符号代数软件包"PDESolver",求出了一个描述长短波相互作用效应的高阶非线性方程的丰富的显式精确解,包括多个孤立波解、奇异行波解和三角函数周... 借助于尚亚东最近提出的扩展双曲函数法和精确求解非线性数学物理方程的计算机符号代数软件包"PDESolver",求出了一个描述长短波相互作用效应的高阶非线性方程的丰富的显式精确解,包括多个孤立波解、奇异行波解和三角函数周期波解. 展开更多

关键词 非线性长短波共振方程 扩展双曲函数法 计算机符号代数 精确解 孤立波解 周期波解

下载PDF 职称材料

基于单调性分析的智能优化设计系统 被引量：2

8

作者 陶娅 陈永 《中国机械工程》 CAS CSCD 北大核心 1995年第6期21-24,共4页

提出一种基于单调性分析和计算机符号处理、人工智能技术的智能优化设计系统。并提出一种利用单调性分析的变量边界区间缩小方法，通过系统的测试、分解等，在不需求助于传统的优化方法的情况下，判断出许多工程优化问题，包括一些带有... 提出一种基于单调性分析和计算机符号处理、人工智能技术的智能优化设计系统。并提出一种利用单调性分析的变量边界区间缩小方法，通过系统的测试、分解等，在不需求助于传统的优化方法的情况下，判断出许多工程优化问题，包括一些带有非单调性函数的问题的全部松约束和紧约束，从而可以求出问题的全局最优解。 展开更多

关键词 计算机 设计 工程设计

下载PDF 职称材料

基于单调性分析与符号处理技术的套筒滚子链优化设计通用解 被引量：1

9

作者 李柏林 陈永 《机械传动》 CSCD 1995年第1期1-3,共3页

本文利用单调性分析和计算机符号处理技术对套筒滚子链进行优化设计，求出了通用形式的最优解，这一最优解适用于具有各种参数的同一类模型。对于具体问题，只要将已知参数值代入就可得到最优解之值。同时这一方法不需进行数值优化中的... 本文利用单调性分析和计算机符号处理技术对套筒滚子链进行优化设计，求出了通用形式的最优解，这一最优解适用于具有各种参数的同一类模型。对于具体问题，只要将已知参数值代入就可得到最优解之值。同时这一方法不需进行数值优化中的迭代。 展开更多

关键词 优化设计 套筒滚子链 单调性分析 符号处理技术

下载PDF 职称材料

关于KdV方程中Hamilton算子序列的计算

10

作者 吴莉 《南通大学学报（自然科学版）》 CAS 2007年第4期13-16,共4页

文章研究了确定KdV方程的相应Hamilton算子序列显式表示的各种计算机符号运算问题.利用算子序列的显式表示和Mathematica软件计算得到Hamilton算子序列前六项的具体表达式,其结果可适用于一般情形,对进一步研究Hamilton算子序列及其相... 文章研究了确定KdV方程的相应Hamilton算子序列显式表示的各种计算机符号运算问题.利用算子序列的显式表示和Mathematica软件计算得到Hamilton算子序列前六项的具体表达式,其结果可适用于一般情形,对进一步研究Hamilton算子序列及其相应水波方程具有指导作用. 展开更多

关键词 KDV方程 Hamilton算子序列 显式表示 计算机符号运算

下载PDF 职称材料

基于Groebner基法的三自由度并联机床的位置正解与可操作性分析的符号解

11

作者 王进戈 王黎明 徐礼钜 《机械科学与技术》 CSCD 北大核心 2005年第5期616-619,共4页

基于Groebner基法和计算机符号处理技术,对三自由度并联机床的位置正解问题进行了符号求解。该法通过对变量排序,建立多项式对的集合,求SP多项式,约简等运算,将一组非线性方程组化简为同价的三角化方程组,得到了封闭形式的解析解;导出... 基于Groebner基法和计算机符号处理技术,对三自由度并联机床的位置正解问题进行了符号求解。该法通过对变量排序,建立多项式对的集合,求SP多项式,约简等运算,将一组非线性方程组化简为同价的三角化方程组,得到了封闭形式的解析解;导出了雅可比矩阵,引入了符号处理技术,并且对该并联机床的可操作性进行了分析,给出了具体数值实例。 展开更多

关键词 并联机床 位置分析 GROEBNER基 可操作性 计算机符号处理技术

下载PDF 职称材料

基于Groebner基法的平面七杆机构位置分析

12

作者 王进戈 范丽华 +1 位作者 管家春 徐礼钜 《机械设计与研究》 CSCD 北大核心 2005年第3期40-43,共4页

基于Groebner基法和计算机符号处理技术,对各种结构形式的平面两自由度七杆机构位置分析问题进行了符号求解,该法通过对变量的排序,建立多项式对的集合,求S -多项式,约简等运算,将一组多项式方程化简为一个同价的三角化方程组,得到了封... 基于Groebner基法和计算机符号处理技术,对各种结构形式的平面两自由度七杆机构位置分析问题进行了符号求解,该法通过对变量的排序,建立多项式对的集合,求S -多项式,约简等运算,将一组多项式方程化简为一个同价的三角化方程组,得到了封闭形式的解。给出了机构的装配构形。研制的软件可以适用于各种结构形式的平面两自由度七杆机构位置分析进行符号求解,研究了几何参数和输入参数对机构输出位置的影响,给出几个数字实例。 展开更多

关键词 平面两自由度七杆机构 位置分析 GROEBNER基 计算机符号处理技术

下载PDF 职称材料

基于Groebner平面两自由度七杆机构位置分析的符号解

13

作者 管家春 雷经发 +2 位作者 扈静 范丽华 王进戈 《西华大学学报（自然科学版）》 CAS 2005年第4期64-66,共3页

借助Groebner基法和计算机符号处理技术,对平面两自由度七杆机构位置分析问题进行了符号求解。该法通过对变量排序,建立多项式对的集合,求SP多项式,约简等运算,将一组非线性方程组化简为等价的三角化方程组,导出了单变量的8次代数方程,... 借助Groebner基法和计算机符号处理技术,对平面两自由度七杆机构位置分析问题进行了符号求解。该法通过对变量排序,建立多项式对的集合,求SP多项式,约简等运算,将一组非线性方程组化简为等价的三角化方程组,导出了单变量的8次代数方程,得到了封闭形式的解析解,并给出了具体数值实例。 展开更多

关键词 平面两自由度七杆机构 位置分析 GROEBNER基 计算机符号处理技术

下载PDF 职称材料

多任务可调四杆机构刚体导引综合的符号解

14

作者 杨志刚 徐礼钜 +1 位作者 林光春 雷经发 《机械设计》 CSCD 北大核心 2005年第11期16-19,共4页

提出了一种实现多任务刚体导引综合的可调平面四杆机构综合方法,导出了可调机构的刚体导引综合方程。通过调节连架杆的长度,可以实现不同任务的刚体导引综合。针对实现多个任务的可调平面四杆机构,采用数学机械法并结合计算机符号处理... 提出了一种实现多任务刚体导引综合的可调平面四杆机构综合方法,导出了可调机构的刚体导引综合方程。通过调节连架杆的长度,可以实现不同任务的刚体导引综合。针对实现多个任务的可调平面四杆机构,采用数学机械法并结合计算机符号处理技术得到二杆组的全部实数解,从中任意选取两组解即可组成满足给定要求的平面铰链四杆机构。 展开更多

关键词 可调机构 刚体导引综合 平面四杆机构 数学机械法 计算机符号处理技术

下载PDF 职称材料

几种微分方程李对称决定组生成软件包的比较研究

15

作者 张善卿 《应用数学学报》 CSCD 北大核心 2007年第6期1004-1010,共7页

根据微分方程李对称决定方程组生成算法,在计算机代数系统Maple上给出了具体实现GDS,并指出了现行Maple系统上关于李对称计算的软件包liesymm的缺陷,最后通过一些计算实例对三个Maple系统下的软件包GDS,liesymm以及Desolv进行了比较研究.

关键词 李对称 微分方程 计算机代数系统 符号计算

原文传递

符号计算语言CASC数学表达式核心化简系统

16

作者 谢果然 衷仁保 任朝阳 《小型微型计算机系统》 CSCD 北大核心 1992年第11期34-42,48,共10页

数学表达式的化简是符号计算系统的基础,又是一项很困难的工作。本文提出了一个基于“复杂关系”概念的化简方法,并用Turbo Pascal在微型机上实现,建造了符号计算语言CASC数学表达式化简系统的核心化简系统。

关键词 符号计算 数学表达式 CASC语言

下载PDF 职称材料

基于符号匹配的形位公差代号的标注方法

17

作者 习俊通 梅雪松 吴序堂 《机械科学与技术》 CSCD 北大核心 1998年第4期649-650,共2页

形位公差是机械图样中的重要技术要求之一，由于其标注形式的多样性，因此在计算机绘图软件中难以采用统一的模型进行描述。本文运用了一种基于符号匹配的形位公差代号的标注方法，较好地解决了这一问题，并以此方法编写了一个形位公差... 形位公差是机械图样中的重要技术要求之一，由于其标注形式的多样性，因此在计算机绘图软件中难以采用统一的模型进行描述。本文运用了一种基于符号匹配的形位公差代号的标注方法，较好地解决了这一问题，并以此方法编写了一个形位公差代号的标注模块，在实际应用中取得了很好的效果。 展开更多

关键词 形位公差 计算机绘图 符号匹配法 标注法

下载PDF 职称材料