改进型锁无关双端队列的设计与实现

高性能实时系统对系统性能、确定性和容错性有着更高的要求。非阻塞同步在任务同步方面满足要求,实现方法之一就是设计锁无关数据结构。介绍了设计锁无关数据结构算法的关键技术,通过对已有算法不足的分析提出了一种改进型的锁无关双端队列算法,介绍了对该算法的实验分析和实际应用。实验结果表明,该算法提高了访问双端队列的执行速度,并避免了多任务间同步引发的死锁、优先级逆转、低容错性等缺点。     

一种改进的用封锁技术消除隐藏线算法的研究

本文探讨了针对Z=f(x,y)型三维曲面图形的投影画法中,一种改进的利用封锁技术消除隐藏线的算法。并对文献[1]中的原始算法和本文的改进算法所产生的图形结果作了比较及讨论。     

一种有效的结点标号上下文无关图文法分析算法

本文讨论了上下文无关图文法的性质，并证明了图文法推导具有独立性．本文还给出了一种有效的上下文无关图文法分析算法，它具有多项式时间复杂性，并给出了算法的正确性证明．该算法已经用Ｃ语言实现．     

三维图形的一种快速消隐处理方法

本文针对信号分析中信号的三维图形显示问题,阐述了基于画家算法的图形快速消隐自理与计算,给出了详细步骤及例程,并给出了一类网格图的生成方法。该方法可方便地编程实现。     

一种简便消隐方法的实现

三维图形的计算机显示一直是计算机图形学的重要内容,其中隐藏线的消除是三维图形显示的第一个关键步骤。虽然现在已提出多种消隐方法,但这些方法,要么算法比较简单,但存储量大且运行速度慢(如z—buffer法),要么速度比较快,但数据结构复杂,算法麻烦,非专业人员难于理解和编制。本文提出一种消除隐藏线的方法,它结合了z_buffer法和扫描线法的特点,算法简单,不涉及复杂的数据结构(如链表、树等)。只要求掌握计算机图形学中有关投影知识以及空间几何的某些基本关系即可,存储量也不大,当物体个数不太多时,有较快的消隐速度。 图像空间的消隐,分…     

协议栈内部非阻塞通信的一种实现策略

以TCP/IP为例介绍了网络协议栈内部通信的传统实现方式,由此提出了栈内各协议层间通信的一种新的实现方式,即非阻塞Callback方式;介绍并讨论了它的基本思想、实现方案、服务原语和其他相关问题,如计时器、内存管理、死锁等;最后说明了它的局限性和应用领域,以及未来的研究目标。     

一种Z-Buffer消隐算法的研究与实现

本文研究并实现了一种Z－Buffer消隐算法，该算法在现有消隐算法的基础上作了改进，能有效利用各种时空连贯性，并在应用于建筑物室内漫游过程中取得很好的效果。     

“数据结构”课程中出栈序列的一种求解算法

本文分析了“数据结构”课程中出栈序列的组合规则,给出了相应的出栈序列性质,并提出了一种求解算法。     

上下文无关语言的可重复序列及其性质

通过分析下推自动机的运行规律和特点,提出上下文无关语言的可重复序列的概念,将其划分为平衡重复序列、增重复序列、减重复序列三类;研究了这三类可重复序列在下推自动机的状态转换图中的结构表现和性质,通过分析下推自动机状态转换图中标注回路与可重复序列之间的关系,给出求解可重复序列的计算方法;证明了不同类型的可重复序列对上下文无关语言性质的影响,利用可重复序列揭示了上下文无关语言的Pumping引理的本质特征,并给出正规语言判定的一个充分必要条件.     

一种基于视距路径识别的设备无关室内定位算法

Wi-Fi技术的广泛应用和部署催生了许多基于Wi-Fi的室内定位技术。近年来,基于Wi-Fi的设备无关定位算法引起了研究人员的广泛注意。设备无关定位算法不需要目标对象携带无线传输设备,而是通过测量目标对象对无线信号传输的影响来反向推断目标对象的位置。由于不需要目标对象携带相关设备,因此可以广泛应用于多种场合,如老人健康护理等。已有的设备无关定位技术通常需要事先采集训练数据,因此容易受室内复杂多变的环境干扰,导致定位精度下降。 提出一种基于视距路径检测的设备无关定位算法。利用物理层信道状态信息CSI,可以判断一对无线收发设备之间的路径是否是视距LoS路径。在此基础上,提出一个新的设备无关定位算法,该算法在监测区域部署一组Wi Fi收发装置,对任意一对无线设备,通过识别它们之间是否存在视距路径来判断目标对象是否在这对设备的菲涅耳区域内。此外,还提出一种基于投票的方法来获得目标对象的最可能位置。在实际设备上的实验结果表明,该定位算法可以达到0.5 m左右的精度,并且不需事先训练,具有较高的实时性。     

实现IPv4向IPv6过渡的双协议栈技术和隧道技术

该文介绍了两种向IPv6过渡的策略,阐述了向IPv6过渡的迫切性,讨论了使用双协议栈和使用隧道技术两种基本原理。以及目前向IPv6过渡的状况。     

弹性堆叠系统中的数据批量同步方法

在弹性堆叠系统中,主备设备都处于工作状态,对于实时操作系统,数据批量同步所在的进程优先级一般不是最高,主备设备间数据批量同步很难保证既快速又可靠。该文提出一种数据批量同步方法,通过定时检测批量同步消息通道,结合异常序列号确认,保证数据快速同步和同步可靠性,能在实时操作系统中很好地运行。     

Compiler-driven approach for automating nonblocking synchronization in concurrent data abstractions

This paper presents an extended version of our previous work on using compiler technology to automatically convert sequential C++ data abstractions, for example, queues, stacks, maps, and trees, to concurrent lock-free implementations. A key difference between our work and existing research in software transactional memory (STM) is that our compiler-based approach automatically selects the best state-of-the-practice nonblocking synchronization method for the underlying sequential implementation of the data structure. The extended material includes a broader collection of the state-of-the-practice lock-free synchronization techniques, additional formal correctness proofs of the overall integration of the different synchronizations in our system, and a more comprehensive experimental study of the integrated techniques. We evaluate our compiler-generated nonblocking data structures both by using a collection of micro-benchmarks, including the Synchrobench suite, and by using a multi-threaded application Dedup from PARSEC. Our automatically synchronized code attains performance competitive to that of concurrent data structures manually-written by experts and much better performance than heavier-weight support by STM.     

脉宽调制技术的谐波消除方法

分析了 PWM谐波消除方法的原理及方程求解过程 ,提出了实现实时控制的方法     

基于栈的匹配模式发现算法

提出了属性相关度衡量标准——C衡量标准;提出了一组基于栈的匹配模式发现算法,该组算法利用堆栈来保存已发现的相关属性组,从而减少不必要的搜索;采用降次降维法对算法进行了优化,对算法进行了理论分析和实验研究,实验结果表明,该组算法的查全率和查准率均优于其它算法.     

约束满足问题求解的符号OBDD桶消元算法

桶消元算法是求解约束满足问题的一种典型推理方法.针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图( OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法.通过对约束满足问题中变量和域值的编码,将CSP问题转化为命题可满足性问题,给出了约束满足问题的OBDD表示方法;基于桶消元的算法思想,在约束满足问题...     

出栈序列的性质及其求解新算法

设集合N=｛1,2,3,…,n｝,N中的元素按次序1、2、3、…、n入栈,所有不同的出栈序列的集合记为S[1,2,3,…,n]。论文讨论了出栈序列的性质,通过新的计数方法证明了｜S[1,2,3,…,n]｜=n+112n!"n,并给出了求S[1,2,3,…,n]中所有元素的一种新算法。新计数方法与传统的方法相比简单直观,且易于理解。求所有出栈序列的新算法的时间复杂度为O(n+112n!"n),较传统算法速度更快、效率更高。用C语言程序验证了新算法的有效性。     

基于IPv6协议的双栈技术研究与应用

为了提升校园网数据传输效率,保障网络服务质量,提高网络资源利用率,研究了基于IPv6协议的双栈技术,并将其应用于校园网的升级改造中.采用同时支持IPv4和IPv6的双协议栈技术,完成新建校园网和老校园升级的部署和改造,使校园网同时支持两种业务流的承载和互通;基于IEEE802.16,采用本地拥塞检测和拥塞处理方法控制校...     

基于DSP的SIP协议栈的设计与实现

设计了应用于单DSP芯片VoIP模拟电话适配器中的SIP协议栈。采用分层结构和会话状态机设计,完成基本呼叫功能和多种扩展的呼叫功能,实现SIP消息的16位构建、存储和解析,基于μCosII嵌入式实时操作系统创建SIP任务。该协议栈具有小巧、灵活的特点,经实践检验具有良好的运行稳定性和兼容性。