Perfect reconstruction of uniform samples from K-th order nonuniform samples

In this paper, we propose a new discrete-time model which relates uniform samples and K-th order nonuniform (KONU) samples. Typically, such situations may occur in practice where the sampling rates of analog-to-digital converters (ADCs) in a cluster of sensors may be different. This paper also outlines a digital signal processing approach to reconstructing uniform samples from the nonuniform samples produced by time interleaving analog-to-digital converters (TI-ADCs) with different sampling rates and time-mismatches.     

基于交错并联技术的高频整流器交流侧电流纹波分析

文章探讨了单个高频整流器以及基于交错并联技术的高频整流器交流侧电流纹波,对两者进行了分析比较。理论与仿真证明,将交错并联技术应用于高频整流器时,交流侧的电流纹波得到了很好的抑制。在大功率应用场合,采用交错并联技术时,单个开关管耐流值可降低一半,在相同的电流纹波要求下,电感的尺寸可以降低40%左右,相应可以提高整个系统的动态响应时间。     

基于交互式定理证明的并发程序验证工作综述

并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用。但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果。同时,并发程序执行时的不确定性会给其正确性验证带来巨大的困难。在形式化验证方法中,人们可以通过交互式定理证明器严格地对并发程序进行验证。本文对在交互式定理证明中可用于描述并发程序正确性的验证目标进行总结,它们包括霍尔三元组、可线性化、上下文精化和逻辑原子性。交互式定理证明方法中常用程序逻辑对程序进行验证,本文分析了基于并发分离逻辑、依赖保证逻辑、关系霍尔逻辑等理论研究的系列成果与相应形式化方案,并对使用了这些方法的程序验证工具和程序验证成果进行了总结。     

一种基于频率间插技术的DWDM-ROF系统

文章设计了一个基于频率间插复用的DWDM-ROF(密集波分复用—光载无线)系统,使每个信道载波与边带之间的空闲频段得到利用,从而提高了DWDM-ROF系统的频谱利用率.同时,为该系统设计了一种基于FBG(光纤布拉格光栅)的新颖的解复用器.数据传输的仿真实验不仅验证了该方法的可行性,还显示出了该系统具有良好的抗信道串扰能...     

数字阵列雷达波束驻留调度间隔分析算法

针对数字阵列雷达波束驻留调度问题,研究了基于调度间隔分析的调度算法。该算法综合分析了1个调度间隔内申请执行的波束驻留任务,且调度过程中进行了脉冲交错。调度准则充分考虑了任务的工作方式优先级和截止期,并以任务丢失率、实现价值率、系统时间利用率作为评估指标。仿真结果表明修正截止期准则主要强调任务的紧迫性,修正工作方式优先级主要强调任务的重要性,而截止期—工作方式优先级和工作方式—截止期调度准则可以在二者间更好地折中,在总体性能上要优于其他调度准则。     

一种带有软开关的交错并联变换器

提出一种带有软开关的交错式Boost变换器拓扑结构和控制方法,该变换器不仅具有良好的功率因数校正效果,而且可实现开关管的零电流开通和零电压关断.详细给出了电路的拓扑结构、工作原理及各模态的分析,并给出了关键参数的计算和设计,最后通过仿真和实验验证了理论的正确性.该变换器在大功率(大于1 kW)单相功率因数校正中有广泛的...     

Transformations for early reply and forward message passing mechanisms

Message passing notations (language, package, etc.) typically include some form of asynchronous or synchronous invocation. In a synchronous invocation, the invoker waits for the invocation's servicer to pass back results. Some message passing notations also include early reply or deferred reply (including forwarding), which alters how and when the servicer passes back its results; this additional flexibility is useful in realistic applications. It is well known how to transform a synchronous invocation into only asynchronous invocations. This paper extends such transformations to early reply and forward. This paper also describes the use of these transformations within the implementations of programming notations. Using the transformation simplifies the implementation without significantly affecting run‐time costs. Copyright © 2015 John Wiley & Sons, Ltd.     

耦合电感在交错并联功率因数校正变换器中的应用

基于交错并联PFC变换器中两分立电感的减小会导致输入电流纹波的增大,电网频率的提高会使波形系数变差,提出采用耦合电感代替分立电感方法,并分析了耦合电感在正向及反向耦合方式下,不同耦合度对交错并联变换器特性的影响,指出适当的正向耦合有助于提高变换器的电流上升斜率。仿真结果表明：耦合电感对减小电流纹波,改善波形系数有很好的效果。     

基于周期分区的相控阵雷达任务交叉调度研究

传统相控阵雷达任务调度算法中,各单驻留任务不可分割,发射与接收之间的空闲等待时间未被有效利用,系统调度能力受限。针对此问题,该文在深入分析交叉规则及选取策略的基础上,提出一种基于采样周期最大公约数分区的任务实时交叉调度(PDI)算法,其可解决交叉调度过程中任务因采样周期不同而产生冲突的难题,该文还分析了调度算法流程,交叉算法流程及过载处理等。仿真结果表明,该算法可大幅提高系统调度的负载能力,调度性能明显优于传统算法。     

基于Soot的Java程序竞争静态检测工具设计

设计了基于Soot字节码分析框架并实现了软件原型,利用Soot提供的Spark指向分析框架对整个程序做出指向分析,在此基础上拓展了Soot分析框架,对每个可能竞争对进行线程局部对象分析、可能并行分析、别名锁分析,数据竞争结果逐步精确.