基于函数变换的求解SAT问题的新算法

提出了一种基于函数变换的求解SAT问题的新算法,这个新算法利用SAT问题自身的特点将判定问题转化为连续函数的求极值问题。随机选取一组初始值,利用最速下降法求解变换后的连续函数在每个初始值邻域内所能达到的局部极值,如果这个局部极值为0,则该SAT问题就是可满足的。实验结果表明:与现有的求解SAT问题的算法相比,基于函数变换的求解算法在求解速度、成功率和求解问题的规模等方面都有明显的提高。

Variable stiffness control algorithm for high-rising buildings of closely spaced frequencies based on wavelet transforms

To establish the algorithm of SAT-TMD system with the wavelet transform(WT),the modal mass participation ratio is proposed to distinguish if the high-rising structure has the characteristic of closely distributed frequencies.A time varying analytical model of high-rising structure such as TV-tower with the SAT-TMD is developed.The proposed new idea is to use WT to identify the dominant frequency of structural response in a segment time,and track its variation as a function of time to retune the SAT-TMD.The effectiveness of SAT-TMD is investigated and it is more robust to change in building stiffness and damping than that of the TMD with a fixed frequency corresponding to a fixed mode frequency of the building.It is proved that SAT-TMD is particularly effective in reducing the response even when the building stiffness is changed by ±15%;whereas the TMD loses its effectiveness under such building stiffness variations.

实数系统中三、二阶归一化累积量盲均衡算法的研究

本文采用对称——反对称变换原理,提出了一种三、二阶归一化累积量盲均衡算法,克服了对称信号三阶累积量为零而无法进行信道均衡的缺点。计算机仿真表明,该算法实现简单,收敛效果好,稳态剩余误差小,其性能优于已有的一些同类算法。

数字光谱分析仪的应用软件设计

通过对数字光谱分析仪总体结构的分析,使用Visual C++6.0编译环境和C++编程语言设计开发了光谱分析软件,该软件包含文件管理、数据采集、数据处理以及软件设置等功能,各部分又包含相应的功能以实现光谱信号的采集、处理、标定、设置等。在文章中详细介绍了如何根据应用需求在Visual C++6.0编译环境中建立一个新的类库及所需要的功能函数、各功能模块的设计思想和设计流程。该系统适用于远距离物体的可见及近红外光谱探测,实验结果表明,该数字光谱分析软件具有较好的封装性、可移植性、准确性、可重复性及实用性。

科技成果转化中的知识转移绩效研究

从知识链、知识环、知识网、知识螺旋4个模型分析科技成果转化中知识转移的非线性复杂关系，阐述科技成果转化中知识管理绩效的构成及其内在关系。

复数系统中三、二阶归一化累积量盲均衡算法的研究

采用对称—反对称变换原理,提出了一种基于复数系统三、二阶归一化累积量盲均衡算法,克服了对称信号三阶累积量为零而无法进行信道均衡的缺点。计算机仿真表明,该算法实现简单,收敛效果好,稳态剩余误差小,其性能优于已有的一些同类算法。

电子式互感器在智能变电站中的应用分析

结合电子式互感器的特点,分析智能变电站应用时的电子式互感器原理选择,电子式互感器和合并单元的布置原则及电子式互感器对继电保护的影响,并提出ECT小电流或数字饱和时的保护装置对策。