非对称χ-演算的符号互模拟验证算法

非对称χ-演算是一种移动计算模型.文介绍非对称χ-演算的语法和符号操作语义,给出非对称χ-演算的符号互模拟的验证算法,该算法根据算法输出的谓词等式系,求解最大符号解.并证明算法正确性,这在一定程度上为今后的自动机验证提供了理论基础.     

一种新的数字调制信号符号率估计和同步算法

在非合作通信中,符号率估计和符号同步是实现数字调制信号正确解调的关键问题之一。针对这一问题,文中在分析现有符号率估计和符号同步算法优缺点的基础上,提出了一种新的基于Haar小波变换的数字调制信号符号率估计和符号同步算法。通过引入多同步参考点和同步位置修正技术,使得该算法具有更高的精度和抗噪声性能。数值仿真验证了该算法与传统算法相比的优越性。     

循环相关符号率盲估计算法的快速实现

介绍了几种常用的符号率盲估计方法,简单回顾了基于循环相关符号率盲估计的基本算法,在此基础上,通过理论分析提出一种基于循环相关符号率盲估计的快速实现方法。该方法利用FFT运算代替循环频率遍历搜索,计算量分析表明,与基本算法相比,快速算法大幅度降低了计算量,仿真结果验证了该算法的有效性。最后,对算法中存在的问题进行了分析并给出了解决方法。     

数字电路设计中的符号模型检验技术

符号模型检验把有序二叉判定图OBDD技术引入到模型检验中，有效地缓解了状态组合爆炸问题。文章主要介绍了CTL模型检验基本概念和原理，给出了符号模型检验算法，验证了模4计数器的某些特性。     

一种数字调制信号符号速率盲估计方法

数字调制信号符号速率估计的循环平稳类算法需要较少的先验信息,是非合作接收系统中一种实用的估计算法.将循环自相关和非线性滤波结合,提出了一种符号速率盲估计算法.通过累加不同时延的循环自相关和非线性滤波突出并增强符号率谱线并白化噪底,之后与门限进行简单比较即可选出正确的符号率谱线.计算机仿真和实际采集数据验证了该算法的性能...     

瑞利衰落信道下改进的OFDM符号定时算法

对相干OFDM系统中结合循环前缀和导频信息的传统符号定时同步算法进行了分析和研究,提出了一种改进的符号定时同步算法.此算法相对于传统算法由于更加有效的利用了观察样本信息,具有更大的定时同步范围.同时考虑时间偏移参数在若干OFDM符号区间内不变,给出了一种利用连续多个OFDM符号的算法,以提高定时同步的准确度.仿真验证了所提出算法在瑞利衰落信道下可以有效地改进传统算法的定时性能.     

一种超宽带可变符号率FQPSK调制方法

针对传统费赫尔正交移相键控（Feher’s Quadrature Phase Shift Keying,FQPSK）调制算法在硬件实现时，符号速率受系统时钟频率限制，难以实现大容量传输的问题，借鉴直接数字合成（Direct Digital Synthesis,DDS）原理，提出了一种超宽带可变符号率FQPSK调制方法，通过并行查找表实现超宽带FQPSK波形映射，通过频率控制字，实现可变符号率调制，突破了系统时钟频率对符号率的限制。在Vivado环境中的Verilog HDL程序仿真，验证了所提方法的有效性。     

基于多次递进的符号速率估计算法

符号速率是数字信号检测和解调的重要参数,对符号速率能否进行精确的估计事关后续解调的效果,文章针对现有的各种基于一次估计的符号速率估计算法存在较大误差的缺点,提出了一种基于多次递进的符号速率估计算法,算法首先基于功率谱对符号速率进行粗估计,在此基础上利用循环相关进一步得到细估计值,最后利用相位差分法求得细估计的误差,从而得到符号速率的精确估计值。文章对算法的原理进行了详细的推导,并通过Matlab仿真对比验证了算法的可行性和有效性。     

MPSK信号符号率估计和同步算法

在非协作式通信系统中,符号率估计是参数估计的重要环节,它对调制方式的识别及信号的正确解调有着重要意义.基于haar小波变换分析现有符号率估计算法,针对多进制数字相位调制(MPSK)信号的多速率估计,提出一种多同步参考点的符号率估计算法.该算法通过分析小波的降噪特性,先对接收信号进行小波分解降噪处理,有效地抑制噪声,再选取和修正多同步参考点,使得符号率估计有更高的精度和抗噪性能.仿真验证了提出的算法在CNR＜0时符号率估计的准确率和精度都比传统算法高.     

OFDM系统符号同步的FPGA设计与实现

分析了符号定时偏差对OFDM系统中数据传输的影响,参考IEEE802.11a标准给出了基于训练序列的符号同步算法在FPGA中的硬件实现方案,并在ISE平台中进行验证.仿真结果表明,该实现方案有效减少了硬件资源的使用,提高了运行效率,能够实现有效的符号同步,并且易于进行工程实现.     

一种计算符号系数矩阵行列式值的快速算法

在模拟电路符号网络函数分析的代数法中，矩阵行列式的计算直接关系到符号分析程序的效率。在置换法和展开法的基础上，提出了一种新的计算符号行列式值的两端收缩算法，并在符号分析程序中实现，还给出了与该算法有关的数据结构，以及几种算法与比较结果。     

Two-stage fuzzy inference system for symbolic simplification of analog circuits

This paper presents a knowledge-based fuzzy approach to symbolic circuit simplification in an effort to imitate human reasoning and knowledge of circuit designer experts. The fuzzy approach differs from the conventional simplification techniques in that it can efficiently combine different input variables to obtain optimal simplified expressions. Additionally, this method was chosen due to its adjustability and interpretability, as well as its ability to manage very complex symbolic expressions. The proposed algorithm uses fuzzy logic to simplify the symbolic circuit transfer functions in two stages. In the first stage, a fuzzy system is applied to directly eliminate nonessential circuit components, resulting simplified circuit topology which also yields simpler transfer function. In the second stage, another fuzzy system is used to further simplify the symbolic transfer function from the already simplified circuit, such that deeper insight into the circuit behavior can be obtained. Symbolic and numerical results show that the fuzzy approach outperforms the conventional techniques in terms of accuracy, expression complexity, and CPU running time.     

非线性系统分谐波振荡的两种分析方法

本文提出了分析高阶非线性系统分谐波振荡的一种符号算法和一种图解法．这两种分析方法均适用于非线性函数为f(x)=ax-bx^3的情况，而图解法也适于，(x)为五次多项式的情况，且可用来确定多解系统的全部周期解．文末给出一个具有6个解的例子．     

求符号网络函数的变形双图分解分析法

引入了互补余因式对、正规双图和可行撕裂点集的概念。应用它们导出了一阶余因式C(Y)的分解定理。把它与变形双图法相结合,提出了求符号网络函数的一个新的分解分析法变形双图分解分析法。它的优点是所得符号网络函数表达式紧凑而且不含对消项,并且它的符号计算很简单。     

MODIFIED DOUBLE-GRAPH DECOMPOSITION ANALYSIS FOR FINDING SYMBOLIC NETWORK FUNCTIONS

The concepts of complementary cofactor pairs, normal double-graphs and feasible torn vertex seta are introduced. By using them a decomposition theorem for first-order cofactor C(Y) is derived. Combining it with the modified double-graph method, a new decomposition analysis-modified double-graph decomposition analysis is presented for finding symbolic network functions. Its advantages are that the resultant symbolic expressions are compact and contain no cancellation terms, and its sign evaluation is very simple.     

两种基于符号的最坏执行时间分析方法的比较与分析

通常的最坏执行时间分析方法只是得到一个常数,然后将这个常数应用在所有的地方,这将造成所得的值过于悲观（over pessimistic）.如果能以一个代数表达式代替,其中影响程序执行时间的一些未知值（如调用参数,运行平台参数等）都用参数来表示,然后在具体的环境中再根据具体的情况进行实例化,那么所获得的最坏执行时间将更加接近于实际的值.文章讨论了基于符号的最坏执行时间分析方法,分析了其特点,对两种基于符号的最坏执行时间分析方法进行了比较和研究,并给出了将来的研究方向.     

VDBA的零-镜模型及其在符号节点分析中的应用

为了简化含电压差分缓冲放大器（VDBA）电路的符号节点分析,依据零-镜元件和VDBA的端口电压电流约束关系,给出了VDBA的12个零-镜模型以及含零-镜元件电路的符号节点分析步骤。而且把所提出的模型应用到基于VDBA二阶双二次滤波器和正交振荡器的电路分析中,从而简化了符号节点分析过程。研究结果表明：在符号节点分析中,VDBA的零-镜模型是系统的、有效的和强大的。     

开关功率变换器符号分析方法的原理

本文介绍了ＰＷＭ开关功率变换器的一种符号分析方法，着重阐述了该方法的一般原理，这一方法容易得到输出纹波的解析表达式以及系统的小信号模型，兼有计算过程简单和准确度较高的优点，可望成为功率电子学领域比较通用的一种方法。     

COATES GRAPH APPROACH FOR GENERATING SYMBOLIC NETWORK FUNCTION

In this paper, symbolic code matrix ,constant matrix and count matrix are defined .The first twomatrices are used to describe the elemental expression of augmented matrix and the nede admittance equa-tion is thus obtained. The third matrix is used to obtain the incoming degree matrix, and according to thematrix all the 1- factors of the Coates graph are given. By using the data code, the determinant is expandedand the same items in the expansion are merged. Thus the symbolic network function in which no term can-cellation occurs is generated.     

一个基于符号神经网络的知识获取系统

本文提出了一种基于符号神经网络的知识获取方法，该方法首先用传统的机器学习方法获取关于某领域的粗略知识，然后把这些知识映射到神经网络结构。