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

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

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

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

基于有限状态机的二进制序列信号检测器的设计

本文用Verilog HDL语言在Altera公司的现场可编程逻辑器件EP1C6Q240C8上设计了一个8位序列信号检测电路。文中介绍了Verilog HDL状态机设计电路的方法,给出了所设计电路的仿真波形,并最终在可编程逻辑器件EP1C6Q240C8上实现了该电路。     

ASON中UNI信令的实现

本文研究了UNI提供的服务,UNI信令的传输和调用方式以及UNI地址空间等关键技术。最后基于GMPLS RSVP-TE扩展实现UNI信令,给出了各个节点的有限状态机。     

Verilog HDL中阻塞与非阻塞过程赋值的区别与应用

阻塞与非阻塞过程赋值在Verilog语言中是最容易混淆的两种结构，正确理解两者在仿真和综合中的区别是很困难的。阻塞与非阻塞过程赋值的误用不仅在仿真时会产生一些逻辑错误，而且会造成仿真与综合的不一致，更为严重的是往往这种错误不易被发现。为解决这一问题，必须深刻理解阻塞与非阻塞过程赋值的功能和执行过程的本质区别。并在此基础上运用一些可以产生可综合逻辑并能避免仿真错误的重要的编码风格，才可以有效地避免阻塞与非阻塞过程赋值的误用。     

一种可编程嵌入式异步SRAM存储控制器

介绍了一种可编程嵌入式异步SRAM存储控制器的设计与实现方法。从SRAM读写协议、总体设计、各子模块的设计、模拟验证、FPGA实现，及其在数字视频系统中的应用等各个角度，对SRAM控制器的设计方法作了较为全面的介绍。这种设计方法可广泛应用于ASIC芯片、SOC系统等需要嵌入存储控制器的场合。     

基于标号有限状态机的协议形式描述与验证

本文论述了协议的形式描述与验证的主要技术，讨论了基于标号有限状态机的形式描述与验证问题，给出了应用实例。     

Cognitive and synthetic behavior of avatars in intelligent virtual environments

In intelligent virtual environments (IVEs), it is a challenging research issue to provide the intelligent virtual actors (or avatars) with the ability of visual perception and rapid response to virtual world events. Modeling an avatar’s cognitive and synthetic behavior appropriately is of paramount important in IVEs. We propose a new cognitive and behavior modeling methodology that integrates two previously developed complementary approaches. We present expression cloning, walking synthetic behavior modeling, and an autonomous agent cognitive model for driving an avatar’s behavior. Facial expressions are generated using our own-developed rule-based state transition system. Facial expressions are further personalized for individuals by expression cloning. An avatar’s walking behavior is modeled using a skeleton model that is implemented by seven-motion sequences and finite state machines (FSMs). We discuss experimental results demonstrating the benefits of our approach.     

过程驱动法实现协议栈软件有限状态机的分析

文章主要分析实现有限状态机(FSM)的方法:“过程驱动法”。有限状态机的抽象构建及实现是网络通信协议栈软件设计的基本方法。以GPRS协议移动台侧的子网相关汇聚协议层(SNDCP)为例,分析了用过程驱动法实现的程序复杂度、运行效率。文章最后提出用过程驱动法实现的主要数据结构。     

在线式攻击的芯片防御技术

针对在线式攻击给芯片安全带来的威胁,分析了在线式攻击主要过程和基本特点,提出了在增加在线采集全部工作数据难度,增加芯片接口属性判别难度,增加输入数据和输出数据内在关系分析难度3个大的方面来增强芯片的安全.并从芯片设计的角度,在数据采集,接口属性判别和输入数据输出数据关系分析3个方面介绍了一些有效的防范技术.主要介绍了输入数据随机化技术、双向接口技术、信息隐藏技术、状态机和信息隐藏结合技术等.