状态机技术在数据通讯协议栈中的编程应用

在数据通讯软件中,上位机(PC机)数据通讯协议栈的编写工作通常由Switch/Case分支语句来完成.分支语句是一种简单初级的逻辑表达式,因此不易做到模块化,扩充性能和可移植性能都不理想,因而引入了状态机技术.通过将通讯协议栈抽象为有序的不同状态和行为,再嵌入到C 类中,可模拟状态机实现此通讯处理,在Visual C 6.0平台上运行可靠,稳定性好,并且状态行为具有可继承性.     

基于SDL的通信协议开发平台

SDL当前已经普遍应用在通信协议开发中,介绍了一个基于SDL的通信协议开发平台框架和平台中对SDL关键元素的实现方法,通过这个平台提高了通信协议开发中从SDL描述到代码开发的效率和代码的可维护性。     

基于自适应神经网络加权模糊故障诊断研究

研究故障诊断问题;针对传统Petri网难以精确地描述故障现象和故障原因之间的复杂关系,基于模糊逻辑BP神经网络和传统Petri网模型结合,提出了一种新的自适应的加权模糊神经网络Petri网模型故障检测方法;该方法首先采用改进的BP神经网络算法对模型的权值进行训练,然后采用构造的自适应模糊Petri网模型对故障进行诊断;在柔性制造系统实例中进行了故障诊断,实验结果表明,该方法具有很强的故障推理能力以及自适应能力,能有效地对故障进行诊断,具有一定的实际应用价值。     

基于移动Agent的LBS应用平台设计与实现

利用移动Agent的自主性及可以在异构的软、硬件网络环境中自由移动的特性来构建分布式LBS(Location Based Services)系统。在带宽有限的移动网络环境中,能够实时有效的为使用非持续连接设备的LBS用户提供各种信息服务,克服了现有LBS系统必须稳定连接,客户端与服务器端不能异步工作的缺点。详细讨论了LBS系统组成、移动Agent消息与事件模型、移动Agent设计、移动Agent迁移以及客户端设计,最后实现了一个系统原型。     

微制造数控系统的实时有限状态机建模研究

为提高传统有限状态机（FSM）分析微制造数控系统（NCS）实时性特征的能力，提出了一种实时有限状态机（RTFSM）模型.该模型对传统FSM概念进行扩展，通过增加时间属性来描述状态行为的执行时间以及状态间切换所需的时间耗费.考虑到对复杂NCS控制流程进行设计、分析计算量较大，引入图论中的时间约束网络理论，采用经过修正的Floyd算法对模型中各个状态行为开始和结束时间的取值范围进行分析计算，从而实现控制流程的可调度性判定.实例研究表明，实时有限状态机可有效地建立微制造NCS控制流程模型，并降低对控制流程进行可调度性分析的复杂度，适用于NCS实时性研究.     

有限状态机的VHDL设计及优化

有限状态机是数字系统中的重要组成部分。本文讨论了有限状态机的分类,给出了状态机各部分的VHDL的描述方法,并介绍了一种新的状态转移的描述风格(arrive-edges),最后讨论了状态机速度优化和容错技术。     

一种复杂BIU的设计及其CPLD实现

文章分析了可配置成多机系统的嵌入式微处理器中的总线接口单元的结构。文章首先详细分析了这种情况下总线接口单元的控制通路。然后从采用格雷方式FSM编码、FSM有效描述和接口信号的正确描述三个方面讨论该部件的高效实现。     

针对BGP路由器的DDoS攻击及防范措施

利用有限状态机对BGP协议进行分析,结果表明使用BGP协议通信的路由器其路由表更新机制存在安全漏洞,在此基础上,提出一种针对BGP路由器的分布式拒绝服务(DDoS)攻击方法,并根据BGP路由器的通信数据,设计实现一款测试软件RouterTest用于模拟对路由器的DDoS攻击,实验结果证明了该攻击方法的有效性,并针对该攻击提出相应的防范措施.     

Validating a size measure for effort estimation in model-driven Web development

Web development is moving towards model-driven processes whose goal is the development of Web applications at a higher level of abstraction based on models and model transformations. This brings new opportunities to the Web project manager to make early estimates of the size and the effort required to produce Web applications based on their conceptual models. In the last few years, several studies for size and effort estimation have been performed. However, there are no studies regarding effort estimation in model-driven Web development. In this paper, we present the validation of a model-based size measure (OO-HFP) for Web effort estimation in the context of a model-driven Web development method. The validation is performed by comparing the prediction accuracy that OO-HFP provides with the accuracy provided by the standard function point analysis (FPA) method. The results of the study (using industrial data gathered from 31 Web projects) show that the effort estimates obtained for projects that are sized using OO-HFP are more accurate than the effort estimates obtained using the standard FPA method. This suggests that by following a model-driven development approach, the size measure obtained at the conceptual model of a Web application can be considered a suitable predictor of effort.     

FPGA中设计FSM实现TigerSHARC DSP link口加载

介绍了一种在FPGA中实现的有限状态机FSM,可以通过link口对TigerSHARC信号处理器进行程序加载。通过信号处理器系统的处理器之间的link互联结构,FSM可实现对整个信号处理系统的加载功能。在FPGA中设计加载状态机及信号处理系统与其他系统的接口,使信号处理系统更加简单、高效。