观察电子电位差计指针状态来判断其故障成因

本文给出通过观察仪表指针状态来分析仪表故障的方法。

基于有限状态机的指针解引用静态检测方法

为了产生高质量和高可靠性代码,提出一种指针解引用静态检测方法,该方法给出了指针状态转换的有限状态机定义。通过对源代码进行语义分析,得到指针指向信息,建立指针与内存单元之间的映射关系,并根据有限状态机中的指针状态判断指针解引用是否合法。本方法不仅记录了变量的作用域和指针集,还分析了指针的确定指向和可能指向,并对部分控制块采取延迟写入指向的方法,提高了指针解引用分析的精度,同时还可以检测内存释放异常的问题。实验结果表明该方法能有效检测非法指针解引用和内存释放异常。

一种新的确定型有限自动机状态表示及压缩

针对传统DFA存在时间复杂度和空间复杂度高的问题,提出了一种新的DFA状态表示和字符-状态压缩方案。通过对传统DFA状态转换的观察发现,对于一个给定的输入来说,可以仅存储相邻状态之间的差异,从而得到一种新的DFA状态表示N-DFA;对每个大小不固定的状态设置一个状态指针来有效地减少每个指针所需要的比特数,从而得到一种基于输入字符的字符-状态压缩算法C-S;把N-DFA和C-S有效地集成在一起,进一步减少内存。实验结果表明,提出的N-DFA和C-S集成方案相比于传统的DFA和其他改进DFA方案,可以获得更好的内存压缩和加速性能。

Dreamweaver技巧四则

用过Dreamweaver的朋友都知道,要想在其中插入空格是很难做到的事情。尤其是在我们进行文字排版的时候,要想跟平时一样,在每一段落的开头留两个空格总是留不出来。那么,有没有怎么技巧能够解决这个问题呢?只要我们在编辑时,注意我们平时的输入法状态(如图1),点一下,把它改变成全角的状态就可以了(如图2)。二、消除链接文字的下划线用Dreamweaver进行网页设计时,每一链接文字的下面总在一段讨厌的下划线,这有损于主页的美观。那么。