异步电路验证算法

异步电路因不受时钟偏差的限制而逐渐成为电路设计研究的热点 .发展自动化的验证工具已成为确保大规模异步电路质量和性能的关键 .其核心课题就是建立异步电路的验证算法 .该文整理列举了基于多种数学模型的验证算法 ,如逻辑模型、代数模型、符号模型、数值模型和几何模型的验证算法 ,并从应用的角度将现有的异步电路验证算法分为两类 ,分别是事件时序分析类算法和状态空间搜索类算法 ,从算法的理论基础、应用背景、模型结构、图形描述、适用范围、算法复杂度编程复杂度等多个角度作了比较研究 ,给出了部分代表算法的应用算例 ,最后总结了在实际问题中选择验证算法的原则     

强化学习中的时间差分法在用户学习方面的应用

随着Internet上信息量的与日俱增，用户查找自己感兴趣的信息变得越来越困难。文章提出了一种使用强化学习中的时间差算法来学习用户的新学习算法，并通过实验与其它学习方法作了比较，取得了明显的成效。     

非视距传播环境下的一种TDOA定位算法

各种基于移动台位置的服务急剧增加，导致提供定位业务成为无线网络发展的必然趋势。针对实际定位应用时常出现的非视距(NLOS)传输问题改进TDOA定位算法，其基本思路是将TDOA估计转化为两步最大似然线性估计，并加入松弛因子表示NLOS的影响，通过迭代方式逐步消除NLOS对定位的影响。该算法结构简单，计算量不大，仿真结果证实了其有效性。     

我国自主研制成功高精度实时定位系统

据科技日报"当特殊病人如老年痴呆症病人走失后,能够准确定位出病人的位置;当矿井下出现突发事故,也能够准确定位井下工作人员位置实施救援,并且定位精度能达到0.89米,达到了国际先进水平……"重庆恩菲斯公司研发部副总经理张长伍说由该公司承担的重庆市科技攻关计划重点电子信息专项"基于线性调频扩频技术的实时点位系统研制"日前通过了重庆市科委组织的专家验收。实时定位系统按照定位实现方法不同可分为基于区域、卫星到达时间差/到达时间等。当前商用的实时定位系统定位精度以1米为分界线,1米之内的实现难度和成本都大大增加。随着新技     

传输基带数字音频信号的调频广播中继系统

为解决隧道内无法接收无线广播信号的问题,提出了一种传输基带数字音频信号的调频广播中继系统的设计方案.在控制端利用专用FM解调芯片Si473x将需要转播的FM频道信号接收下来转换成基带数字音频信号,再将多路数字音频信号复用后通过光纤传输到隧道内部,隧道内的终端恢复出数字音频信号并进行FM调制后输出.该系统占用光纤带宽小,转播方式灵活;不仅可以转换广播信号的调制频道,而且支持插播来自控制台的音频内容以及RDS信息.     

基于无线传感器网络时钟同步的定位算法研究

讨论了在无线传感器定位节点(文中称为锚节点)位置已知条件下,基于信号到达时间差(TDOA)的时间同步算法。根据所有传感器定位节点彼此之间周期性地广播信号,测量信号到达时间(TOA)来估计时间频率的偏移。当信源发送信号,由于传感器钟差造成的初始TDOA误差可以通过一系列补偿计算来减少误差。在一个加性高斯白噪声模型里,通过卡尔曼滤波提高钟差和频差的估计精度。在此基础上改善标签节点的定位精度。     

Java：软件技术史上马拉多纳式的传奇

把时钟拨回到10年前,在上世纪的最后10年里,中国的软件开发技术与国际水平大概保持着两到三年的“时间差”。1998年,当 Sun 公司紧锣密鼓地准备推出 Java 2、并将 Java 的标准化工作移交给 JCP 组织时,我们中的大多数人才刚刚开始接触 Java 1.1。说实话,那时候学习 Java 的同行很少有人能够预料到,这种看似玩具的编程语言有一天会热门到如此程度。说起来,我们应该感谢 Bruce Eckel 的《Thinking in Java》,不仅因为这是一本优秀的 Java 入门书籍,而且因为这是一本代表着国际主流技术水准的好书。虽然拙劣的翻译让不少读者对它恨之入骨,但毕竟是从这本书开始,我们中的大多     

利用无线通信网络本身资源实现GSM粗定位

随着移动通信从2G向3G的过渡，各种增值业务需求大大提高，其中的定位业务更是成为其中的主力军。为了弥补传统GPS定位昂贵、响应慢等不足，文中论述了几种利用GSM网络现有资源就可以进行快速的粗定位的模型和实现原理，包括基于小区识别号定位和三角定位等方法，并针对三角定位中的增强型观测时间差（E-OTD）定位方法提出了两种不同的计算模型。通过比较，可以发现这些GSM粗定位比传统的GPS定位在某些方面有了很大改善，但这些定位方法仍然有很多不足。     

互模糊函数CAF在分布式卫星信号接收中的应用

文章提出采用基于互模糊函数(CAF)的时间差和频率差联合估计法,可准确地对分布式卫星信号接收中的时间差和频率差进行估计,有效地抑制了背景噪声的影响。在估计性能方面,该方法优于基于相关的方法。文章最后使用计算机仿真验证了文中的结论。