声表面波扩频多符号检测器研究

报道了一种用于差分双相相移键控/双相相移键控调制信号的声表面波扩频多符号检测器;基于声表面波,实现了直接序列扩频信号匹配滤波和多符号延迟差分解调的融合;研制了13位巴克码的4符号DBPSK/BPSK扩频多符号检测器,并对该检测器进行了实验测试和性能分析.     

霍尔效应中的空穴

霍尔效应(Hall effect)可以用来测定金属和半导体中的载流子符号.霍尔系数定义为RH=Ey/jxH其中Ey,jx,H分别为电场、电流密度和磁场(图1).如果RH＜0,那就意味着Ey沿着-y方向,载流子的符号为负(即电子);如果RH＞0,那就意味着Ey沿着y方向,载流子的符号为正,称之为空穴(holes).     

DC-DC变换器的符号时间序列描述及模块熵分析

本文提出了一种采用符号时间序列和熵理论分析DC-DC变换器非线性行为的方法.该方法首先用离散时间序列描述非线性连续系统,然后将其转换为由简单字符构成的符号序列,再用信息学方法计算出该符号序列的模块熵,从而得到一种新的可量化的非线性动力学行为统计指标.文中以一阶电压反馈DCM和二阶电流反馈CCM Boost变换器为例进行研究.研究结果表明,模块熵这种粗粒化的统计分析方法,能够量化DC-DC变换器的倍周期分岔和混沌行为,且能够准确地确定混沌行为的发生,是一种尚未在DC-DC变换器中提出的简单、实用的分析方法. 关键词： 符号时间序列 符号动力学 模块熵 Lyapunov指数     

Discrete Capability of the Lempel-Ziv Complexity Algorithm on a Vibration Sequence

The Lempel Ziv complexity （LZC） method is used to analyze the acceleration response of the T-shaped plate. The response is converted into symbolic sequences with the multi-segmented coarse-grained method. The LZC of the response of 240 points located in different areas near the center is calculated. The results show that LZC arithmetic applied to elastomer vibration can satisfy the discreteness condition.     

计算机代数应用中的一个半逆序算法*

为了克服计算机代数应用中出现的"中间表达式爆炸"的困难,本文提出一种半逆序算法,将中间表达式在运算过程中以符号形式冻结起来,到求解的最后阶段予以解冻,从而避免了因存贮空间不足而导致的溢出.文中简述了该算法在非线性振动、冷却塔动力优化和非线性水波问题中的应用,证实了算法的有效性.     

一个用于变分累积展开计算的MATHEMATICA软件包(VCE1.0)

利用MATHEM ATICA软件包的符号运算功能,发展了一个在计算机上实现对含近邻相互作用的格点模型进行变分累积展开研究的程序包(VCE1.0)。高阶连接图的计数及自由能等的解析表达式都可用这个程序包直接得到。该程序包可用于一大类格点规范理论与统计物理模型的相结构的研究。     

蓝牙Mesh配网协议的形式化安全性分析

蓝牙Mesh是一种无线网状网络组网技术。新设备必须经过配网才能加入蓝牙Mesh网络。配网协议的安全性是蓝牙Mesh网络安全性的基础,但目前针对该协议安全性的研究尚不充足,现有的模型无法捕获协议中存在的某些攻击。因此,借助符号模型下的协议分析工具Tamarin Prover对蓝牙Mesh配网协议进行形式化建模,该模型覆盖了所有的配网阶段和方法。同时,借助Tamarin Prover的构建和解构规则以及内置的消息理论,提出了一种在符号模型下建模AES-CMAC原语的新方法,该方法可以准确地描述消息长度为任意块的AES-CMAC函数的性质,从而能对配网过程中的认证阶段进行更细粒度的建模。对该模型的安全属性进行了验证,验证结果表明,该形式化模型可以捕获之前发现的原语误用攻击。此外,借助该形式化模型和验证的结果,提出了针对原语误用攻击的修复方案,并通过形式化的方法验证了该方案的有效性。     

基于遗传编程的吸附床传热状态预测

脱硝吸附塔是烟气处理系统中的重要环节。塔内的热交换受到多方因素的非线性影响，给准确快速的评估吸附剂换热状态带来巨大挑战。为解决此问题，使用数值模拟与均一介质方法，对一种插管式吸附塔换热进行了模拟与多元遗传编程回归，获得了白盒表达式并验证模型准确性。分析了因变量、遗传编程参数等设定对回归的影响。最终结果表明使用遗传编程的回归效果优异，在工业生产与探究变量物理关系中，具有强大的应用潜力。     

一维Minkowski平均曲率型方程Dirichlet问题的分歧曲线

本文运用时间映像法研究了一类非线性项不满足符号条件的Minkowski型平均曲率方程Dirichlet问题■正解的分歧曲线形状及相应正解的存在性和多解性,其中λ> 0是参数,f∈C[0,∞)∩C²(0,∞).本文的主要结果揭示了非线性项f的零点个数与正解个数之间的关系,推广和改进了已有文献中的相关结果.     

一维均匀势场中含时薛定谔方程的求解

本文详细讨论了一维均匀势场中含时薛定谔方程的求解.求解的思想是以均匀势场中经典粒子的运动作为参考，从经典粒子的运动轨迹出发，构建出量子情形下描述粒子运动的高斯波包形式的演化波函数，进而借助含时薛定谔方程确定波函数的具体形式.在上述思想指导下，推导得出了坐标表象和动量表象下均匀势场内一维粒子的传播子函数.同时，作为比较，狄拉克态矢量符号提供了另一种得到上述传播子函数的途径.