机器人动力学方程的高效计算公式

本文建立了一种集总计算结构的动力学建模公式.该公式采用广义杆质量特征量来集总算出各有关杆对方程系数的影响,广义杆质量特征量可由末杆向基座依次递推算得且具有明确的力学意义.与文献中可见的其他建模公式相比该公式不仅运算量为量少.而且结构简明,很好地表现了各系数与杆件质量特征量和运动结构特征量的关系.是最有效的建模计算公式之一.     

一类方程参数的回归方法及其在化学动力学中的应用

用Marquaurdt法求方程参数时,如果所需的偏导数用解析式表达,往往出现表达式复杂而难以求取的情况.如方程:?其中?T为变量,K为待定参数.对K求偏导将很复杂.如果引入变换:     

Parameterized Computation and Complexity： A New Approach Dealing with NP-Hardness

The theory of parameterized computation and complexity is a recently developed subarea in theoretical computer science. The theory is aimed at practically solving a large number of computational problems that are theoretically intractable.The theory is based on the observation that many intractable computational problems in practice are associated with a parameter that varies within a small or moderate range. Therefore, by taking the advantages of the small parameters, many theoretically intractable problems can be solved effectively and practically. On the other hand, the theory of parameterized computation and complexity has also offered powerful techniques that enable us to derive strong computational lower bounds for many computational problems, thus explaining why certain theoretically tractable problems cannot be solved effectively and practically. The theory of parameterized computation and complexity has found wide applications in areas such as database systems, programming languages, networks, VLSI design, parallel and distributed computing, computational biology, and robotics. This survey gives an overview on the fundamentals, algorithms, techniques, and applications developed in the research of parameterized computation and complexity. We will also report the most recent advances and excitements, and discuss further research directions in the area.     

一种新的语言信息计算模型

语言的可计算性问题是理论计算机科学的一个基本问题，字母文字信息的计算模型已经有数十年的历史，而适合汉语信息的计算模型尚未见到．中文信息处理与信息安全的研究迫切需要有适合汉语信息的数学计算模型，提出了两个新的字符串计算模型．在模型1的基础上定义了几个函数运算．利用这两个模型可以将任何汉语信息的处理转换为相应的数值进行处理，对汉语信息处理、汉语程序设计理论的建立和信息安全的研究具有一定的实际意义。     

谈计算机专业实践教学中计算思维能力的培养

阐述了计算理论(可计算性与计算机复杂性理论)中的几个典型问题,以图灵机模型、停机问题、近似算法及装箱问题等为例从不同角度分析计算理论与计算思维的密切联系,强调计算机专业实践教学中计算思维能力培养的必要性。     

多粒度可逆细胞自动机模型的数据加密方法

为了克服以往对细胞自动机的研究局限于单粒度细胞单元的问题,引入了多粒度细胞的概念,并结合可逆细胞自动机提出了一种基于多粒度可逆细胞自动机的加密算法.在该算法中,扩展的可逆细胞自动机具有足够多的规则,从而保证了安全的密钥空间;细胞单元通过"分裂-重组"实现自身粒度大小的动态调整,并依此来提高细胞自动机动力学特性的复杂性,实现了快速加、解密.同构的硬件结构使该算法具有很强的实用性,仿真实验表明,该加密算法具有较高的安全性.     

遗传算法理论研究综述

针对遗传算法在理论研究方面存在的不足,系统地讨论了遗传算法理论研究的主要内容和方法,包括模式定理、编码策略、Ｍａｒｋｏｖ链与全局收敛性、维数分析、ＢＧＡ理论、可分离函数、Ｗａｌｓｈ与傅立叶函数分析及二次动力系统等,介绍了Ｎｏ Ｆｒｅｅ Ｌｕｎｃｈ定理,并指出相关的研究方向。     

一个构造的Np完全问题及其复杂性下界猜测

本文提出一个构造的 Np 全全问题 DHC。该问题由(?)郎担问题和哈密顿回路判定问题导出,导出 DHC 的基本思想是试图使求解与 DHC 相应的最优化问题必须与输入无关地在图 G 的全部 H 回路间进行,从而使求解该最优化问题的算法的复杂性至少与图 G 中包含的哈密顿回路(即 H 回路)的条数有相同的数量级。根据 DHC 同与之相应的最优化问题的 Np 等价性(见定理2、定理3)可推断求解 DHC 的任何解定型算法的时间复杂性下界,按照本文的思想,不难构造出一大批类似的 Np 完全问题。本文提出的猜测,可能是对近来由于六大难题之一的子图同胚问题获得解决,更多的人开始由以前的试图证明 Np(?)P 转而考虑 Np=P 的反动。     

环面上van der Pol方程混沌解的可视化计算

研究了环面上非线性van der Pol方程的图形建模及可视化计算的问题,在图形环境下,对van der Pol环面方程从建模,实验到结果分析的全过程进行了可视化建模和计算,并建立了一个对系统运动轨迹进行全面自动分析试验的可视化仿真框架,该方法不但可以不用传统程序代码对模型及算法编程,而且可方便地对系统进行多参数自动迭代试验及智能分析。     

MAP超分辨率图象重构的一种新快速算法

超分辨率(SR)成像是将多帧低分辨率图象重构成一幅高分辨率图象.由于超分辨率成像是一大型病态求逆过程,其计算量随着低分辨率图象帧数的增加而急剧上升.因而如何降低计算复杂度是超分辨率成像所面临的一个急需解决的课题.本文提出了一个基于多帧低分辨率图象重构的新快速算法,我们称之为"步进"算法.新快速算法的原理是利用各低分辨率图象之间位移的关系来将所有的低分辨率图象进行重组,然后对每个组进行超分辨图象重构.实验结果表明,该新快速算法能够在保持基本不变的重构效果的条件下,较大的提高了超分辨图象重构的速度.     

一种新的基于广义细胞自动机的网络快速包交换优化方法

实时优化求解快速包交换问题(FPS)是提高网络性能的重要手段．基于梯度下降法等数学规划方法，不能并行地实时地优化求解FPS问题，而基于Hopfield型神经网络和细胞神经网络的优化方法中，都只有单一粒度的细胞动力学方程和单一粒度细胞之间的相互作用，不仅收敛到平衡点的过程长，而且神经网络参数的选择和修正十分困难．该文提出一种新的具有多粒度宏细胞的广义细胞自动机模型和方法，广义细胞自动机中的小粒度宏细胞聚合成可以独立演化的大粒度宏细胞，通过多粒度群体的不同程度群体智能的相互作用，能够比目前其他方法更快更有效地分布并行地优化求解FPS问题和其它类似的复杂的网络优化问题．