有限栈的出栈序列计数问题分析

出栈序列个数是栈研究的基本问题.目前的研究大都基于无限栈,即不考虑栈空间的大小来讨论出栈序列计数问题.但在现实应用中,栈大小往往是有限的,出栈序列问题就要复杂得多.从非降路径计数的角度,分析了无限栈和有限栈的出栈序列计数问题;从二元函数的角度,给出了出栈序列计数的算法;最后设计出相应的程序进行实现和验证.实验证明,算法结果正确,算法设计易于理解.     

面向片上多核处理器的推测多线程机制下的独立栈模型

在推测多线程并行执行时,各线程中借助共享栈来实现函数调用的过程存在互斥访问问题,为此提出了一种采用片上多处理器(CMP)的推测多线程机制下的独立栈函数调用模型,核栈采用一对一方式,栈之间的有机配合支持推测多线程中的函数调用.通过在模拟器端添加两条指令实现栈空间的管理,从而消除了共享栈模型中的加锁问题.为了保证程序正常运行,编译器对生成的代码作相应的调整,模拟器方面则增添了get和update两条指令,以便管理相应的栈空间.因为独立栈函数调用方法消除了共享栈模型中的栈加锁问题,使得成功线程发起的数目有不同程度的提高,从而提高了程序的并行加速比.Olden基准程序的测试表明,独立栈模型相对于共享栈模型使程序的平均并行加速比提高了3.85%.但是,由于影响程序推测并行加速比的因素复杂,某些测试程序也出现了独立栈的加速比低于共享栈的情况.     

IPv6协议栈性能分析

对常用操作系统支持的IPv6协议栈进行了实验研究,并与IPv4协议栈进行了量化对比分析.实验结果表明,Linux的IPv6协议栈的性能远远好于Windows XP的IPv6协议栈性能.     

软件定义广域网中基于IPv6分段路由的双栈流量调度算法

针对当前软件定义广域网在应对企业园区部署双协议栈出口链路、园区之间支持双协议栈通信的网络架构下,存在园区任意协议栈出口链路失效时,园区间双栈流量不可通信的问题,提出了一种适用于软件定义广域网的IPv4/IPv6双协议栈环境下的流量调度算法。该算法基于快速重路由机制,通过结合基于IPv6的分段路由技术分为路径编码算法和报文处理算法2部分实现。在广域网双栈出口任一链路失效时将不同园区的双栈流量进行调度。通过在Mininet中的仿真模拟验证了算法的可行性,并利用带宽测量工具iPerf对链路性能进行测量,测量数据表明利用双栈流量调度算法进行双栈流量调度极大地提高了园区间双栈链路的利用率和服务质量。     

基于SIP的IMS体系协议栈的设计与实现

研究了IMS网络体系中SIP协议栈在Linux平台下的设计与实现,包括协议栈模块、协议栈类和API设计.     

用栈模拟队列运算的算法设计

介绍了栈和队列的基本定义和基本算法，讨论了用栈的入栈基本运算去模拟队列的入队和出队操作。     

嵌入式IPv6协议栈的设计与实现

本文针对嵌入式系统资源有限、需求特殊的特点,根据IPv6协议的标准,设计并实现了一个基于LwIP轻载协议栈的嵌入式IPv6协议栈。首先阐述了嵌入式协议栈的技术要求,其次详细说明了嵌入式协议栈中IP、ICMP、ND、UDP和TCP协议的设计和修改内容,最后在嵌入式实验环境中成功实现了协议栈的连通性测试。     

基于WORIX的无线传感器网络通信协议栈的设计与实现

在实验室自主开发的操作系统WORIX的基础上,研究了无线传感器网络操作系统通信协议栈.根据无线传感器网络的自身特点制定协议栈的设计目标,并在WORIX操作系统中实现了满足无线传感器网络应用的通信协议栈,该协议栈包括三种路由协议.通过实验分析验证了协议栈的有效性,比较了其中三种路由协议的性能,并指出这三种协议适用的场合.     

非降路径与栈的计数

栈计数是指序列１，２，…，ｎ，按不同的顺序进、出栈所得到的不同的排列的个数。在［１］和［２］中用不同的方法间接给出了栈计数的值。本文用非降路径与栈操作序列的对应关系，给出了栈计数的一种新的解法，它较之［１］和［２］方法更为直观、简洁。     

C++中内存分区及堆、栈概念详解

使用C 编程时,内存分为五个区：堆、栈、自由存储区、全局/静态存储区与常量存储区。用new来分配堆,用delete来释放；它的操作灵活,可用空间大,但容易产生碎片。栈由编译器自动分配释放,有专门的入栈出栈指令,具有较高的效率。在编程时根据实际情况合理选择堆或者栈,可以提高程序的效率与可靠性。     

弹性堆叠系统中控制数据同步的方法

提出了一种弹性堆叠系统中控制业务模块在主备设备间进行数据同步的方法,确保主设备上各个业务模块数据能够按照指定的次序安全可靠的同步到备设备上,为业务模块的温和重启提供保证,从而保证堆叠系统转发不中断.同时也提出了一种数据同步的方法,通过定时检测同步消息通道,再结合异常序列号确认,既可以保证同步的可靠性,也可以保证同步效率.通过实验证明,此方法能保证堆叠系统实现无中断转发.     

基于遗传算法的嵌入式软件中断过载动态检测

嵌入式软件需要处理大量中断。中断的随机特性导致越来越复杂的嵌入式系统测试困难。该文基于遗传算法的中断过载动态检测方法,使用均匀变异增加中断类型多样性,非均匀变异算法的使用提高了局部搜索能力;构造产生堆栈深度的中断执行序列测试中断处理的堆栈溢出错误。采用自主研发基于SPARC V8架构的Virtualsparc仿真平台进行中断过载仿真测试,实验表明:该方法可以快速检测堆栈中待处理的中断丢失率,随着堆栈深度的动态修改,大大降低了中断处理在堆栈里的丢失率,同时对中断过载进行定位来提高嵌入式软件中断缺陷检测效率。     

PLC梯形图向语句表的转换算法及实现

基于块生长观念提出了一种全新的将梯形图转化为语句表的转换算法。该转换算法以梯级为单位,采取＂自左而右,自上而下＂的扫描顺序,通过竖线标志来确定元件间的串并联关系,借助存放块（依据元件间的串并联关系不断生长的块）的栈来定位下次扫描的元件对象。该算法不仅能清晰地表达出梯形图各元件的逻辑关系,语句表转换过程准确快速,还能成功的实现梯级中包含多分支输出的复杂梯形图到语句表的转换。     

遍历二叉树时工作栈变化情况的研究

二叉树是一种常用的数据结构，对二叉树的遍历通常采用递归调用的算法，但对调用过程中语句调用的顺序和参数传递情况的理解容易被忽略。文中通过举例详细分析工作栈的变化情况，来诠释二叉树遍历时运行全过程。     

一种新的基于FSM的UIO序列生成算法

在一致性测试中,如何有效地生成UIO序列一直为人们所关注.针对此,提出一种新的基于FSM的UIO序列生成算法,进而由C语言编写实现.该思想采用栈和结构体相结合的思路来保存UIO序列的完整路径,实验结果表明能够正确生成FSM图中各个状态的最短UIO序列.     

一种高分辨率层序地层学研究的新方法——以准噶尔盆地石南油田为例

高分辨率层序地层学研究必须与具体的高分辨率手段相结合.以准噶尔盆地石南油田含油层段的层序(3级层序)和层组(6级层序)界面的识别和对比为例,提出了一种综合应用测井、录井、钻井等资料进行高分辨率层序地层学研究的新方法.通过对古生物群化石组合,黏土矿物,岩性、电性等特征的研究实现层序界面的识别和对比;通过钙质夹层,泥岩电阻率差异,地层倾角模式的研究实现层组界面的识别和对比.研究发现,泥岩电阻率差异反映出泥岩的沉积物源或沉积相带不同,利用泥岩电阻率差异可以确定层组的叠置关系,判断储层连通性;相同的层组单元中的倾角模式具有可对比性,通过邻井倾角模式的对比可以确定层组的空间展布形态.据此,建立了准噶尔盆地石南油田西山窑组含油层段等时地层格架,定性、定量地表征出该等时地层格架内层组的发育顺序、叠置关系、空间展布形态、以及彼此之间的连通性.     

清点工作对样本书库建设的意义初探

介绍了样本书库清点工作内容,分析了进行样本书库清点所产生的效益,指出书库清点可以作为样本书库评估和完善的一项基础工作来开展。     

质子交换膜燃料电池电堆动态热传输模型

基于能量守恒原理建立了电堆的动态热传输模型，比较全面地考虑了影响电堆热传输的因素．仿真结果表明，在不考虑冷却且反应气体输入流量略大于负载电流所需流量情况下，随负载电流的增大电堆温度快速上升；当电堆电流为常数时，随着提高输入气体的流量，电堆温度由不稳定状态逐渐过渡到稳定状态，且稳定值随之下降；另外，当加入冷却系统后，可以充分保证电堆在较理想的温度下运行．模型仿真结果与实验数据能够较好吻合．     

基于k循环随机序列的动态缓冲区溢出防御

面向Intel 80×86体系结构和C/C++语言,介绍了栈缓冲区溢出攻击的基本原理及攻击模式,分析了现有的动态防御典型方案的优点与不足.结合基于随机地址空间与签名完整性的防御思想,提出了一种基于k循环随机序列的动态缓冲区溢出防御方案,该方案能够在极大概率下防御多种模式的缓冲区溢出攻击,解决了"连续猜测攻击"的问题,并使软件具有一定的容侵能力.