信号时序逻辑约束下基于终点回溯的高效规划

在信号时序逻辑约束下规划路径是一项具有挑战性的任务,其计算量非常高.提出了一种终点回溯的规划方法,它是一种适用于连续时间系统的抽象化方法.该规划方法分为离线构建阶段和在线规划阶段.离线构建阶段在Transducer理论的指导下,从能够完成任务的合理的终点构造一棵快速随机搜索树,向初始状态空间进行回溯.当采样点足够多时,...     

一种改进的回溯试探组卷算法

组卷是在线测评系统中一个重点、难点问题,常见组卷算法随机抽取法、遗传算法、回溯试探等各有优缺点,只能适应一些特定的情况。针对回溯试探法平均组卷时间长、重复率高的问题,进行了两次改进,分别是一次回溯试探搜索的多个解和修正重复率降低重复率。通过试验,得出的结论是改进回溯试探法的平均组卷时间和重复率都有明显降低且比较稳定,可适用于各种规模的题库。     

基于能量度量的星载AIS信号自适应码元同步抽取算法

基带信号码元同步抽取是目前星载AIS(Automatic Identification System)信号处理中的一个难点问题,针对过零检测和迟门早门等现有算法存在的不足,提出了基于能量度量的基带信号自适应码元同步抽取算法。将基带信号根据采样率和码速率的比值分割成相同的段的组合,之后分别计算每个段内相应样点的能量度量,最后选择使能量度量最大时的样点集作为最优同步抽取样点,该样点集具有最大信噪比。仿真结果验证了该算法误码率优于过零检测和迟门早门算法。     

Prolog 编译器中暂时变量分配方法研究

文中研究对prolog 编译器的暂时变量的分配,介绍了回溯分配法,着重介绍了一种高效的无回溯分配法的实现原理及其优点。     

一种新的基于重复共轭对称构前导的OFDM同步算法

针对基于重复共轭对称结构前导的OFDM系统,提出了一种延迟相关与对称相关相结合的符号同步新算法,在搜索出定时度量峰值位置的基础上,使用固定门限搜索出第一条路径。理论分析表明该方法可以实现性能良好的符号同步。在静态多径信道和6径典型市区信道条件下对新提出的算法进行了仿真,仿真结果表明所提算法可有效抑制传统的基于对称定时度量同步算法中存在的定时位置偏移,获得准确的定时性能。     

自适应差值脉码调制的算法剖析

本文论述了自适应差值脉码调制(ADPCM)的常用算法结构和CCITT建议的标准算法结构。分析比较了各种自适应量化方法和自适应预测算法,指出修正型Robust量化和极零预测是ADPCM的一种新结构,进而分析了具有这一结构的标准ADPCM算法,剖析了算法对于话音和非话信号的透明传输特性,以及无累积失真的同步级联特性,并说明了标准算法在网络应用中存在的问题。最后简要论述了计算机模拟和TMS32010硬件实时实现中的具体问题。     

在两套坐标体系下非同步火控原理的实现

分析了俄罗斯坐标系和英美坐标系的异同,在英美坐标体系下介绍了非同步攻击原理,推导了非同步攻击的火控工作式,并对在两套不同坐标系下得到的火控工作式进行仿真,比较仿真结果,检验推导的工作式并分析两者间的误差。     

分布式数据库数据同步技术研究

针对分布式数据库要求,在研究Oracle及相关系统的基础上,分析比较了几种数据同步技术方案的实现原理和优缺点,并讨论了其适用场合.     

模糊非单调推理系统的实现方法

本文首先分析了非单调推理系统的两个主要过程——正确性维持过程和面向从属关系的回溯过程,讨论了模糊非单调推理系统的独特性,然后对模糊非单调推理系统的实现方法进行了探讨,并给出了模糊非单调推理系统与问题求解程序一起工作的计算机程序。     

保密通信系统

本发明的背景为了防止信息的泄漏,信息应当编码或加密后再发射,而在接收端再对加过密的信息解密。为了准确地对加过密的信恩解密,发射端的加密和接收端的解密必须同步进行。迄今为止,同步信号或者经过非信息传输通道传输,或者作为导频经过信息通道传输。然而通过另外通道传输同步信息是不经济的。若导频信号通过信息通道传输,则允许信息信号占有的频带、即其动态范围将受到限制,致使信噪比降低或者使同步信号跳动,从而使实现加、解密之间精确的同步成为不可能。     

面向空间应用的时间触发以太网

将时间触发协议增加到采用星型拓扑结构的以太网业务上,且保持完全兼容IEEE802.3标准,可解决空间有效载荷使用标准以太网通信遇到的实时性、确定性和可靠性问题。时间触发以太网基于全局基准时间,实时数据传输遵循严格的时序,支持时间和事件触发的两种通信过程。时间触发通道适合同步或周期性实时消息的传输,而事件触发通道适用于偶发或非周期性消息的传输。设计了空间应用以太网的拓扑结构和协议栈,介绍了系统通信的过程,进行了时间触发协议的研究,并对同步性能和网络性能进行了仿真验证。该以太网在保证可靠性、安全性的同时,增强了网络的灵活性,提高了网络利用率。     

一种相控阵雷达多通道同步方法

相控阵雷达采用多通道工作方式后增加了自由度并提升了系统性能.针对雷达遇到的同步问题,提出一种相控阵雷达多通道同步方法.该方法首先采用同步触发方式对单个时钟芯片进行同步,然后对多个时钟芯片的同步信号进行精确延时调整,最后采用一种自适应采样窗口中心调节方法实现多个高速模数转换器的同步.将其应用于实际雷达产品,实测结果表明,...     

一种适于DSPs实现的BPSK载波同步方法

提出了全数字接收机中一种软件实现的BPSK载波同步方法 ,并给出了性能分析 ,适合于在存储空间和实时性都有要求的背景下的应用。该方法充分利用软件实现的优势 ,克服了传统方法的一些弱点 ,适合于在数字信号处理器 (DSPs)上实现     

具有时变时间延迟的混沌保密通信同步方法研究

针对固定时间延迟及时变时间延迟系统,提出了同步控制方案,在实现同步后能有效解决传输时延对保密通信的影响.利用线性矩阵不等式方法设计了同步控制器,应用Lyapunov方法分析了同步误差的收敛性,并运用Schur补引理证明了全局渐近稳定点的存在.     

星载寄生式SAR系统频率同步分析

针对星载寄生式SAR系统对地观测应用背景,详细分析了频率同步误差对双站SAR成像的影响,以法国提出的“干涉车轮”构形为例,对同步误差进行了仿真。提出了一种新的频率同步方法,该方法通过接收主星的直达波信号并进行相关处理,从而得到频率同步误差。计算机仿真结果表明该同步方法的准确性和有效性。     

基于星载照射源的被动SAR系统时频同步误差影响分析

时间和频率同步问题是基于星载照射源的被动SAR系统的关键技术之一。为了研究时、频同步误差对其成像的影响,针对系统工作特性,分析了时、频同步误差的产生机理,建立了时、频同步误差模型,并利用二阶距离模型和RD成像算法,建立了完整的时、频同步误差到成像结果的传递模型,仿真验证了理论分析的准确性。理论推导和仿真计算结果指出了基于星载照射源的被动SAR系统对时间同步和频率同步的精度要求。分析结论对于指导基于星载照射源的被动SAR系统设计及同步方法研究具有重要意义。     

主星带伴随分布式小卫星雷达系统的波束同步分析

波束同步是主星带伴随分布式小卫星雷达系统的同步问题之一,分析了主星带伴随分布式小卫星雷达系统的波束同步问题。根据主星带伴随分布式小卫星雷达系统的特点,结合小卫星天线俯仰向可扫描、姿态可调节,提出了三种波束指向同步方法;分析了分布式小卫星雷达系统的波束覆盖同步问题,分别建立了主星和伴随分布式小卫星的波束覆盖数学模型;仿真分析“干涉车轮”,结果不仅证明这些模型的正确性,同时发现波束指向同步方法2有较好的优越性。     

基于时空混沌系统和脉冲同步控制的加密系统设计

针对现有加密系统安全性不高的问题,设计了基于时空混沌的加密系统。在混沌同步加密系统的基本结构下研究了其中的发射器、接收器和同步控制方案的设计问题。设计了基于时空混沌系统Kuramoto-Sivashinsky的发射器和异结构接收器,给出了基于反馈控制和脉冲控制相结合且适用于保密通信传输的同步控制方案。结合图像加密设计了一整套加密系统,数值实验验证了算法的有效性,分析结果表明算法具有较高的安全性。     

短码直接序列扩频CDMA多用户盲同步

通过研究信号自相关矩阵特征值的特性,提出一种利用信号自相关矩阵行列式作为检测量的短码扩频DS-CDMA多用户同步算法。该算法只要求已知信号的扩频周期,对信号其他参数要求较低,实现了盲同步,仿真结果显示了该算法的有效性。与文献算法相比该算法更稳健,适应范围更广。     

CCD实现管材和线材在线测量研究

介绍了用CCD器件完成玻璃管外径和壁厚在线测量的实现方法,测试系统的结构和硬件及软件设计思想。本测试系统也适合于对其它透明或非透明管材及线材的在线测量。