华为面试题.doc

华为面试题华为复试问问题: Network: 1. 如何设计一个模型来检验通信协议的正确性? 2. 位于网络两端的计算机的连接过程是怎样的? 3. 链路层的协议? 4. FSM 和 PETRI 网哪个好有限状态机( Finite State Machine 或者 Finite State Automata) 是软件领域中一种重要的工具, 很多东西的模型实际上就是有限状态机。在数字电路系统中,有限状态机时一种十分重要的时序逻辑电路模块,它对数字系统的设计具有十分重要的作用。有限状态机是指输出取决于过去输入部分和当前输入部分的时序逻辑电路。一般来说, 除了输入部分和输出部分外, 有限状态机还含有一组具有“记忆”功能的寄存器, 这些寄存器的功能是记忆有限状态机的内部状态, 它们常被称为状态寄存器。在有限状态机中, 状态寄存器的的下一个状态不仅与输入信号有关, 而且还与该寄存器的当前状态有关, 因此有限状态机又可以认为是组合逻辑和寄存器逻辑的一种组合。其中,寄存器逻辑的功能是存储有限状态机的内部状态;而组合逻辑有可以分为次态逻辑和输出逻辑两部分, 次态逻辑的功能是确定有限状态机的下一个状态, 输出逻辑的功能是确定有限状态机的输出。在实际的应用中, 根据有限状态机是否使用输入信号, 设计人员经常将其分为 Moore 型有限状态机和 Mealy 型有限状态机两种类型。 1 Moore 型有限状态机其输出信号仅与当前状态有关, 即可以把 Moor e 型有限状态的输出看成是当前状态的函数。2 Mealy 型有限状态机其输出信号不仅与当前状态有关, 而且还与所有的输入信号有关, 即可以把 Mealy 型有限状态机的输出看成是当前状态和所有输入信号的函数。快速控制反射镜(Fast Steering Mirror) 是采用反射镜面精确控制光束方向的一种装置, 与大惯量机架结构的主系统共同构成复合轴跟踪系统, 在各种光学系统中用于对准和稳定光束。在天文望远镜、激光通讯、图象稳定系统、自适应系统、跟踪瞄准和激光发射光学系统中广为应用。近些年国内外都在不断地研制和发展这种装置。(PN) 是对离散并行系统的数学表示。 Petri 网是 1960 年代由卡尔·A· 佩特里发明的,适合于描述异步的、并发的计算机系统模型。 Petri 网既有严格的数学表述方式, 也有直观的图形表达方式, 既有丰富的系统描述手段和系统行为分析技术, 又为计算机科学提供坚实的概念基础。由于 Petri 网能够表达并发的事件,被认为是自动化理论的一种。研究领域趋向认为 Petri 网是所有流程定义语言之母。经典 Petri 网经典的 Petri 网是简单的过程模型, 由两种节点: 库所和变迁, 有向弧,以及令牌等元素组成的。 Petri 网的结构(1) Petri 网的元素: 库所( Place )圆形节点变迁( Transition )方形节点有向弧( Connection )是库所和变迁之间的有向弧令牌( Token )是库所中的动态对象,可以从一个库所移动到另一个库所。(2) Petri 网的规则是: 有向弧是有方向的两个库所或变迁之间不允许有弧库所可以拥有任意数量的令牌行为如果一个变迁的每个输入库所( input place )都拥有令牌,该变迁即为被允许(enable) 。一个变迁被允许时, 变迁将发生(fire) , 输入库所(input place) 的令牌被消耗,同时为输出库所(output place) 产生令牌。变迁的发生是原子的有两个变迁都被允许的可能,但是一次只能发生一个变迁如果出现一个变迁,其输入库所的个数与输出库所的个数不相等,令牌的个数将发生变化 Petri 网络是静态的 Petri 网的状态由令牌在库所的分布决定 Petri 网的形式化定义一个经典的 Petri 网由四元组(库所,变迁,输入函数,输出函数) 组成。任何图都可以映射到这样一个四元组上,反之亦然。 Petri 网流程建模一个流程的状态是由在场所中的令牌建模的, 状态的变迁是由变迁建模的。令牌表示事物(人,货物,机器) ,信息,条件,或对象的状态; 库所代表库所, 通道或地理位置; 变迁代表事件, 转化或传输。一个流程有当前状态,可达状态,不可达状态。经典 Petri 网的局限性没有测试库所中零令牌的能力模型容易变得很庞大模型不能反映时间方面的内容不支持构造大规模模型,如自顶向下或自底向上高级 Petri 网为了解决经典 Petri 网中的问题, 研究出了高级 Petri 网, 在以下方面进行了扩展: 令牌着色一个令牌通常代表具有各种属性的对象,因此令牌拥有值(颜色)代表由令牌建模的对象的具体特征,如一个令牌代表一个工人(张三, 28 岁,经验 3级)。时间为了进行分析, 我们需要建模期间