出栈序列合法性研究与实现

栈是一种非常重要且特殊的数据结构,任何递归和函数调用都离不开栈。研究n个元素的进栈与出栈性质是栈的主要研究内容。该文在出栈序列深入分析和研究的基础上,针对某一序列是否为合法出栈序列的问题,提出了一种基于三元素出栈序列索引的时间复杂度为O(n2)的新算法。该算法简单易懂并且比其他传统判断方法具有更高的效率。     

出栈序列的研究

栈是一种非常重要的数据结构,递归、函数调用都离不开栈。对n个元素入栈和出栈的研究是栈的一个主要研究内容。利用二叉树给出了入栈和出栈序列的表示;给出了由前置O栈序列构造出二叉树的算法;证明了对于按次序入栈的n个元素,其出栈序列总数为C(2n,n)/(n 1);对三种求解出栈序列算法进行了分析和研究,并提出一种时间复杂度为O(n)判断某一序列是否为出栈序列的算法,它提高了程序的执行效率。     

出栈序列的研究

栈是一种非常重要的数据结构，递归、函数调用都离不开栈。对n个元素人栈和出栈的研究是栈的一个主要研究内容。利用二叉树给出了人栈和出栈序列的表示；给出了由前置O栈序列构造出二叉树的算法；证明了对于按次序人栈的n个元素，其出栈序列总数为C（2n,n）／（n＋1）；对三种求解出栈序列算法进行了分析和研究，并提出一种时间复杂度为O（n）判断某一序列是否为出栈序列的算法，它提高了程序的执行效率。     

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

设集合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语言程序验证了新算法的有效性。     

链式多堆栈技术

栈是一种重要的数据结构,在软件系统中被应用广泛。研究栈的操作实现特点与结构特征,有着十分重要的意义。但在数据结构与算法中没有实现多栈的链式存储结构,在此研究了栈的链式存储结构并设计实现了该结构上多栈的有关算法。     

出栈序列判断问题研究

在栈大小不受限制和栈大小受限制两种情况下,分析在给定入栈序列(1 2…n)的情况下,出栈序列应满足的性质,并据此给出基于穷举法和模拟入栈出栈过程的方法判断序列a1a2…an是否是出栈序列的算法及程序实现。算法较直观,易于理解,程序均经过测试,输出正确。     

栈与队列考题分析

栈和队列可以看作线性表的特例,它们都具有和线性表相同的存储方式,顺序存储和链式存储.栈有顺序栈和链式栈,队列有顺序队列和链式队列.     

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

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

浅谈Java中数据的存储

堆与栈都是Java中用来在RAM中存放数据的地方,介绍了堆与栈存储数据的特点,对Java中的各种数据类型在堆与栈中的存储方式进行了分析。     

一种基于栈式分配的JVM垃圾收集算法①

为了减少Java虚拟机垃圾收集器的开销,对Java栈帧进行改造使其支持对象的存储,在此基础上提出一种基于栈式内存分配的垃圾收集算法。算法首先在编译阶段通过对Java源代码进行分析确定栈式分配对象,并用扩展指令标识这些对象,程序运行时它们直接被分配到Java栈上,这些对象在程序离开其作用域时立即被释放,其它对象则分配到堆上,由垃圾收集器进行回收。实验结果表明,与传统基于堆式的垃圾收集算法相比,新算法内存分配和即时回收性能优,占用内存空间少,垃圾回收更及时,减轻了垃圾收集器的负担,提高了运行速度。     

Nonlinear modeling and adaptive fuzzy control of MCFC stack

To improve availability and performance of fuel cells, the operating temperature of molten carbonate fuel cells (MCFC) stack should be controlled within a specified range. However, the most existing models of MCFC are not ready to be applied in synthesis. In this paper, a radial basis function neural networks identification model of MCFC stack is developed based on the input–output sampled data. A novel adaptive fuzzy control procedure for the temperature of MCFC stack is also developed. The parameters of the fuzzy control system are regulated by back-propagation algorithm, and the rule database of the fuzzy system is also adaptively adjusted by the nearest-neighbor-clustering algorithm. Finally using the neural networks model of MCFC stack, the simulation results of the control algorithm are presented. The results show the effectiveness of the proposed modeling and design procedures for MCFC stack based on neural networks identification and the novel adaptive fuzzy control.     

基于系统辨识的燃料电池系统建模和自适应模糊控制

熔融碳酸盐燃料电池（MCFC）发电运行时，电堆的工作温度必须控制在一定的范 围内，否则将导致系统发电效率的降低或危及电堆寿命．因此，实现对MCFC运行温度的在线 控制势在必行．但由于MCFC系统的复杂性，已有模型均为复杂的非线性微分方程组描述的解 析模型，难以满足在线计算的实时控制的要求．因此，本文首先利用神经网络辨识技术基于 实验的输入（气体流量）输出（温度）数据建立起MCFC电堆的神经网络模型；然后，基于这 一电堆模型，设计了一个MCFC电堆工作温度的在线改进型自适应模糊控制器．该控制器对传 统的模糊控制方法存在的缺陷进行了改进，它一方面采用BP算法对模糊系统的参数进行修正 ，另一方面又通过聚类算法对模糊系统的结构进行自适应调整．最后，用神经网络辨识模型 代替实际的MCFC电堆进行了控制仿真，仿真结果证明对MCFC辨识电堆建模的有效性，以及所 设计的模糊控制器的性能优越性．     

Trace-based derivation of a scalable lock-free stack algorithm

We show how a sophisticated, lock-free concurrent stack implementation can be derived from an abstract specification in a series of verifiable steps. The algorithm is based on the scalable stack algorithm of Hendler et al. (Proceedings of the sixteenth annual ACM symposium on parallel algorithms, 27–30 June 2004, Barcelona, Spain, pp 206–215), which allows push and pop operations to be paired off and eliminated without affecting the central stack, thus reducing contention on the stack, and allowing multiple pairs of push and pop operations to be performed in parallel. Our algorithm uses a simpler data structure than Hendler, Shavit and Yerushalmi’s, and avoids an ABA problem. We first derive a simple lock-free stack algorithm using a linked-list implementation, and discuss issues related to memory management and the ABA problem. We then add an abstract model of the elimination process, from which we derive our elimination algorithm. This allows the basic algorithmic ideas to be separated from implementation details, and provides a basis for explaining and comparing different variants of the algorithm. We show that the elimination stack algorithm is linearisable by showing that any execution of the implementation can be transformed into an equivalent execution of an abstract model of a linearisable stack. Each step in the derivation is either a data refinement which preserves the level of atomicity, an operational refinement which may alter the level of atomicity, or a refactoring step which alters the structure of the system resulting from the preceding derivation. We verify our refinements using an extension of Lipton’s reduction method, allowing concurrent and non-concurrent aspects to be considered separately.     

A5/1算法的概率模型分析

建立A5/1算法的概率模型,分析其中间状态序列的马尔可夫性、遍历性以及严平稳性,并计算A5/1算法的输出序列与相应的移位寄存器的输出序列和钟控后的输出序列之间的符合率。结果表明,各移位寄存器钟控后的输出序列不是独立的随机序列,A5/1算法的输出序列是均匀的独立随机变量序列,可抵御相关攻击。     

质子交换膜燃料电池建模与动态仿真

对质子交换膜燃料电池（PEMFC）电堆进行电输出特性研究，有助于改善燃料电池的设计，提高其性能。运用MATLAB的Simulink仿真工具对PEMFC建立仿真模型，通过所建立的电堆参数模型，就能够研究主要运行参变量对电堆动态输出性能和电堆非线性内阻产生的影响。当电堆输出电流出现阶跃变化时，对电堆电压，输出功率，消耗功率，电堆效率，非线性内阻的动态响应，进行了仿真和结果分析。仿真结果符合文献[7]实验数据，表明此参数模型是可操作和有效的，并可方便地用于PEMFC控制方法研究。     

A model reference adaptive control system for discrete multivariable systems with time delays

This paper presents a new method for designing a model reference adaptive control system for multivariable plants with time delays in the input and output variables. An adaptive algorithm guarantees the asymptotic stability of the error between the plant output and the reference sequence using no anticipative value of the plant output and unknown plant parameter. The validity of the theoretical result is illustrated by a numerical example.     

基于神经网络辨识的熔融碳酸盐燃料电池（MCFC）建模

针对熔融碳酸盐燃料电池（MCFC）电堆系统过于复杂,难以建模以及已建立的模型过于复杂,难以满足工程上对MCFC系统控制设计特别是实时控制的需要,该文试图绕开MCFC的内部复杂性,提出利用神经网络具有逼近任意复杂非线性函数的能力,将神经网络辨识方法应用到MCFC这种高度非线性系统的建模。以燃料气和氧化剂气体的流速为输入量,MCFC电堆的温度响应为输出量,根据输入输出数据用神经网络辨识建立MCFC电堆系统的温度模型,给出了辨识系统的结构及改进BP算法。仿真结果证明了这种方法的可行性,建立的模型精度较高,它使得设计MCFC的实时控制器成为可能。     

Linux防火墙Netfilter-iptables扩展机制及应用研究

分析了Linux2．4内核的Netfilter在IP协议栈的位置和结构,介绍了应用patch-o-matic结构扩展Netfilter-iptables目标（target）选项的机制和方法。以实例说明如何通过自定义的target选项分析输出网络堆栈,实现在不同网络节点分析观察网络数据包。