数字图像置乱加密技术综述

数字图像置乱加密技术是一种重要的数据加密技术和有效的安全增强手段,对于提高网络信息传输的安全性具有重要意义。该文解析了图像置乱变换的定义、周期和图像置乱程度的衡量方法,阐述了图像置乱加密技术研究进展情况,指出了置乱技术今后将继续研究的方向。     

程序变换在程序语言中的一种表示——兼论变换型语言

本文首先引入了“变换型语言”的概念,给出了代表这种语言特征的机制:“变换模块”和“变换控制命令”的具体定义;举例说明了如何使用“变换模块”描述一个抽象数据类型的部分实现,并通过“变换控制命令”来完成程序中抽象变量及有关操作的变换过程;最后,讨论了变换型语言表示的抽象性,一般性和控制的灵活性,以及变换型程序的正确性等问题。     

非线性代数规范的直接实现技术

代数规范是支持软件规格说明和设计的一种有效的方法，代数规范的直接实现技术是该研究领域的一个主要分支，目前这方面的研究基本上局限于线性代数规范，本文介绍一个实现非线性代数规范的转换过程，从该过程可自然是导出针对不同程序设计语言的转换系统，我们已实现了一个基于Ｐａｓｃａｌ语言的转换系统。     

机器人转动惯性张量的坐标变换

转动惯性张量是机器人动力学计算中的一个重要的物理量,本文用严格的数学方法推导并证明了一个刚体在两个共原点坐标系间转动惯性张量的变换公式,从而得出刚体从某一特定坐标系中的转动惯性张量来计算其它共原点坐标系中转动惯性张量的计算方法.     

OBSERVER LINEARIZATION OF NONLINEAR SYSTEMS BY GENERALIZED TANSFORMATIONS

In this paper, we study the problem of observer linearization for single output dynamical systems in the presence of an output‐dependent time‐scaling transformation and a simultaneous output diffeomorphism. The approach, based on an exterior calculus approach, provides a constructive approach to the problem of equivalence of a locally observable nonlinear system to a linear observer form by means of an output dependent time‐scale transformation, an output diffeomorphism and a state‐space diffeomorphism. A generalization of existing results is obtained which allows the treatment of a larger class of locally observable nonlinear systems.     

COMPLEXITY RELAXATION OF THE TENSOR PRODUCT MODEL TRANSFORMATION FOR HIGHER DIMENSIONAL PROBLEMS

The Tensor Product (TP) model transformation method was proposed recently as an automated gateway between a class of non‐linear models and linear matrix inequality based control design. The core of the TP model transformation is the higher order singular value decomposition of a large sized tensor, which requires high computational power that is usually outside of a regular computer capacity in cases of higher dimensionality. This disadvantage restricts the utilization of the TP model transformation to models having smaller dimensionality. The aim of this paper is to propose a computationally relaxed version of the TP model transformation. The paper also presents a 6 dimensional example to show the effectiveness of the modified transformation.     

程序转换规则的自动获取

本文给出了一个自动获取程序转换规则的方法。通过对用户提供的一个具体程序转换过程的分析，运用解释学习的方法，总结其一般性，得出反映这一过程的转的换规则，该规则可用于一类问题的转换，提高了系统的自动化程度。     

网络环境下异构数据库交互访问中数据格式转换的研究

随着企业间合作的增加以及电子商务的普遍开展,对建立异构数据库交互访问的需求日益迫切。本文讨论的是异构数据库问题的一个方面,即异构数据库交互访问中数据转换问题。本文分析了传统异构数据库交互中存在的问题,并探讨了利用XML实现异构数据库交互访问中数据转换的可行性,并进行了系统建模。     

用于图象处理的小波变换并行算法

本文在二进小波变换及Ｍａｌｌａｔ快速算法原理的基础上,分析了小波变换的可并行成分,研究了小波变换的并行算法。算法分析表明,并行小波变换可以有效地提高运行速度,其并行处理效率也接近理想状态。     

线结构光视觉传感器与CMM集成的一种标定算法

建立了视觉传感器仿射坐标系,在给出仿射坐标系 与CMM坐标系初始转换矩阵的条件下用函数逼近方法拟合出视觉传感器映射关系,并在此基 础上采用基于目标特征点的优化算法来反复修正仿射坐标系与CMM坐标系之间的转换关系, 使坐标转换矩阵估计参数收敛于最小二乘意义下的最优值,实现了视觉传感器建模及其与CM M的集成．本文最后给出了标定实验结果．