数据库优化设计方法初探 被引量：10

1

作者 吴璟莉 刘仁辉 何冬黎 《广西科学院学报》 2005年第2期118-121,共4页

从范式优化、索引优化、表的优化及查询优化探讨数据库优化设计的方法,并对它们的综合使用进行分析。数据库优化设计时,在逻辑设计阶段,要根据范式优化及表优化中的要求设计数据库逻辑结构,对两者的利弊进行权衡,选出折衷的方案,既可以... 从范式优化、索引优化、表的优化及查询优化探讨数据库优化设计的方法,并对它们的综合使用进行分析。数据库优化设计时,在逻辑设计阶段,要根据范式优化及表优化中的要求设计数据库逻辑结构,对两者的利弊进行权衡,选出折衷的方案,既可以避免不一致性和数据异常现象,又不影响整体的性能;在数据库物理设计阶段,要根据索引优化中的要求在有关属性或属性的组合上建立索引,以优化数据库物理结构;在数据库查询阶段,采用在条件子句中使用索引,嵌套查询,迟早执行选择操作,迟早消除不满足条件的记录,分组计数和避免困难的正规表达式6种优化策略,可大大提高查询效率。 展开更多

关键词 优化设计方法 索引优化 设计阶段 设计数据库 数据库查询 正规表达式 逻辑结构 异常现象 物理结构 嵌套查询 选择操作 查询效率 优化策略 一致性 范式 属性 计时 子句 记录

下载PDF 职称材料

有界Petri网的进程表达式 被引量：14

2

作者 吴哲辉 《中国科学（A辑）》 CSCD 1995年第12期1334-1340,共7页

提出了有界Petri网的进程表达式的概念,并给出了求有界Petri网进程表达式的一个算法。一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式。它所表示的正规集是该Petri网全体满进程的集合。所谓满进程,是指每个s... 提出了有界Petri网的进程表达式的概念,并给出了求有界Petri网进程表达式的一个算法。一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式。它所表示的正规集是该Petri网全体满进程的集合。所谓满进程,是指每个s切对应着Petri网的一个可达标识的那类进程。 展开更多

关键词 PETRI网 进程 正规表达式 算法

全文增补中

数据库的查询优化设计 被引量：4

3

作者 冯世斌 《内蒙古师范大学学报（自然科学汉文版）》 CAS 2004年第2期170-171,175,共3页

从数据库查询的角度 ,探讨了如何设计一种好的查询策略 ,以便改善用户查询计划 。

关键词 数据库 查询优化 复合索引 排序 子查询 正规表达式

下载PDF 职称材料

自动机到正规表达式的重构方法研究 被引量：2

4

作者 马吉明 韩丽 甘勇 《计算机工程与应用》 CSCD 北大核心 2004年第23期65-67,共3页

自动机理论是编译程序中单词识别的基本理论。论文分析了自动机与正规表达式等价性定理,指出了从确定有限自动机到正规表达式重构规则中存在的问题,给出了一个包含多个结点所组成回路的有限自动机到正规表达式的重构定理,并通过实例对... 自动机理论是编译程序中单词识别的基本理论。论文分析了自动机与正规表达式等价性定理,指出了从确定有限自动机到正规表达式重构规则中存在的问题,给出了一个包含多个结点所组成回路的有限自动机到正规表达式的重构定理,并通过实例对于该定理所阐明的方法的运用进行了详细的讨论。 展开更多

关键词 编译程序 自动机 正规表达式 状态转换图

下载PDF 职称材料

语言表达式到Petri网模型的转化及其算法 被引量：2

5

作者 张继军 范昊 《小型微型计算机系统》 CSCD 北大核心 2011年第4期726-731,共6页

已知一个语言的表达式,直接构造产生该语言的Petri网模型是Petri网语言理论中一个重要问题.本文分析、研究同步交错正规表达式中各种运算与Petri网模型的对应转换关系,分别给出正规表达式、α闭包表达式到Petri网模型的转换方法;定义了P... 已知一个语言的表达式,直接构造产生该语言的Petri网模型是Petri网语言理论中一个重要问题.本文分析、研究同步交错正规表达式中各种运算与Petri网模型的对应转换关系,分别给出正规表达式、α闭包表达式到Petri网模型的转换方法;定义了Petri网的有界覆盖合成运算,研究有界覆盖合成网的语言性质,给出将同步交错正规表达式转换为Petri网模型的算法,从而实现了语言表达式到Petri网模型的等价转化. 展开更多

关键词 正规表达式 α闭包表达式 同步交错正规表达式 有界覆盖合成

下载PDF 职称材料

正规表达式与恰当终结的标准Petri网 被引量：4

6

作者 范昊 吴哲辉 《计算机工程》 CAS CSCD 北大核心 2007年第17期13-16,共4页

给出了一种较特殊的Petri网子类——恰当终结的标准Petri网,可以证明恰当终结的标准Petri网产生的语言是正规语言,反之任一正规语言都可由恰当终结的标准Petri网产生。研究了恰当终结的标准Petri网语言关于连接运算"o"、选择(... 给出了一种较特殊的Petri网子类——恰当终结的标准Petri网,可以证明恰当终结的标准Petri网产生的语言是正规语言,反之任一正规语言都可由恰当终结的标准Petri网产生。研究了恰当终结的标准Petri网语言关于连接运算"o"、选择(并)运算"∪"、kleene闭包运算"*"、并行运算"∥"的性质,给出了用恰当终结的标准Petri网(带空标注)模拟和带并发算子的正规表达式的方法。 展开更多

关键词 恰当终结的标准Petri网 PETRI网 正规语言 正规表达式 语言

下载PDF 职称材料

ω-自动机与扩大了的正规表达式 被引量：2

7

作者 别荣芳 《北京师范大学学报（自然科学版）》 CAS CSCD 北大核心 1997年第4期448-452,共5页

在提出扩大了的正规表达式的概念的基础上，建立ω－自动机与扩大了的ω－正规表达式之间的1－1对应，并给出了2类不能构造出确定型ω－自动机的ω－正规表达式（语言）．

关键词 正规表达式 正规算子 ω-自动机 自动机

下载PDF 职称材料

基于SNMP的MIB编译器的实现

8

作者 刘杰 汪国安 《郑州轻工业学院学报（自然科学版）》 CAS 2007年第6期62-65,共4页

基于简单网络管理协议SNMP,给出了用C#语言实现MIB编译器的方法.通过词法分析器产生器和词法脚本文档来实现词法分析器,通过语法分析器产生器和语法脚本文档来实现语法分析器,就可以完成编译器预期的功能;此基础上抽象出一个通用框架予... 基于简单网络管理协议SNMP,给出了用C#语言实现MIB编译器的方法.通过词法分析器产生器和词法脚本文档来实现词法分析器,通过语法分析器产生器和语法脚本文档来实现语法分析器,就可以完成编译器预期的功能;此基础上抽象出一个通用框架予以扩展,则可改造成通用的编译器来使用. 展开更多

关键词 简单网络管理协议 管理信息库 编译器 正规表达式 C#语言

下载PDF 职称材料

由正规式构造FA____Thompson方法的改进 被引量：1

9

作者 段文秀 王付山 于学斗 《福建电脑》 2006年第8期88-88,83,共2页

本文对由正规表达式改造为有限自动机的方法--Thompson方法存在的问题进行了分析,并在此基础上,对Thompson方法进行了改造,大大地减少了有限自动机的状态数和ε边,提高了编译程序的工作效率。

关键词 编译程序 正规表达式 有限自动机 Thompson方法

下载PDF 职称材料

正则表达式在趋势型着陆预报纠错中的应用

10

作者 杨大海 柳林 《空中交通》 2017年第4期55-57,共3页

引言 正则表达式（Regular Expressions），又称规则表达式或正规表达式，最早于1956年由数学家Stephen Kleene在对自然语言的递增研究成果的基础上提出来。几经发展，正则表达式的标准已经被国际标准化组织（ISO）批准并被Open Group... 引言 正则表达式（Regular Expressions），又称规则表达式或正规表达式，最早于1956年由数学家Stephen Kleene在对自然语言的递增研究成果的基础上提出来。几经发展，正则表达式的标准已经被国际标准化组织（ISO）批准并被Open Group组织认定。正则表达式并非一种专门的语言，而是字符处理的一种标准，它现在已经被越来越多的工具软件所支持， 展开更多

关键词 正则表达式 国际标准化组织 应用 纠错 预报 着陆 自然语言 正规表达式

原文传递

词法分析程序的有限自动机分析法

11

作者 孙承福 《沈阳理工大学学报》 CAS 1989年第2期45-51,共7页

本文介绍一个采用 PASCAL 语言在 S/09机上实现的词法分析程序。

关键词 词法分析 有限自动机 正规表达式

下载PDF 职称材料

词法分析程序的设计与实现

12

作者 王丽 《电脑知识与技术（过刊）》 2011年第11X期7919-7921,7923,共4页

主要研究词法分析器的技术,包括如何构造词法分析器?如何建立单词串的符号表和怎样优化词法分析器?研究如何从正规表达式出发,设计正规表达式的状态图;然后,从状态图构造自动机;通过一个具体实例,详细分析从正规表达式转化为确定有限自... 主要研究词法分析器的技术,包括如何构造词法分析器?如何建立单词串的符号表和怎样优化词法分析器?研究如何从正规表达式出发,设计正规表达式的状态图;然后,从状态图构造自动机;通过一个具体实例,详细分析从正规表达式转化为确定有限自动机的全过程,并给出具体转化程序,最后根据自动机设计词法分析程序。 展开更多

关键词 正规表达式 确定有限自动机 不确定有限自动机 确定化 最小化 词法分析

下载PDF 职称材料

新书上架

13

《程序员》 2007年第10期128-129,共2页

《精通正则表达式(第三版)》作者:Jeffrey E.F.Friedl译者:余晟出版社:电子工业出版社本书是一本优秀的IT专著。你如果还停留在被正则表达式看似艰深的外表所吓倒、遇到问题临时抱佛脚去Google一把的阶段,强烈建议你读读这本书。你不仅... 《精通正则表达式(第三版)》作者:Jeffrey E.F.Friedl译者:余晟出版社:电子工业出版社本书是一本优秀的IT专著。你如果还停留在被正则表达式看似艰深的外表所吓倒、遇到问题临时抱佛脚去Google一把的阶段,强烈建议你读读这本书。你不仅会像本书译者余晟当初邂逅本书一样豁然开朗、拍案叫绝,而且一定能成为正则表达式的热爱者,成为正则表达式思维的鼓吹者。 展开更多

关键词 正则表达式 译者 正规表达式 程序员 CSS 新书

下载PDF 职称材料

浅述GNU正规表达式支持库

14

作者 徐明 《程序员》 2001年第A04期71-76,31,共7页

本文从正规表达式讲起,由浅入深,还谈及了部分的参数详解,广大程序员关注的移植问题,希望能给正在读这方面内容的读者们一些帮助。1 正规表达式简介正规表达式(regular expression)是一种对字符串结构的形式描述,使用正规表达式可以在... 本文从正规表达式讲起,由浅入深,还谈及了部分的参数详解,广大程序员关注的移植问题,希望能给正在读这方面内容的读者们一些帮助。1 正规表达式简介正规表达式(regular expression)是一种对字符串结构的形式描述,使用正规表达式可以在文本中做极强的字符串匹配操作。Unix用户对他一定不会陌生,有大量的常用软件支持正规表达式,如vi、 展开更多

关键词 正规表达式 支持库 字符串 不匹配 函数 操作符 文本 编译 参数传递 形式描述

下载PDF 职称材料

广义上下文无关文法和它的语法分析

15

作者 陈有祺 《计算机学报》 EI 1985年第1期19-28,共10页

本文介绍了广义上下文无关文法,这种文法允许正则表达式出现在产生式的右部。然后,我们定义了相应的LR(κ)文法。紧接着我们给出了一种分析算法,它是由正规的LR型分析算法扩充而得的。在这个方法中我们强调节省状态,并在此条件下使分析... 本文介绍了广义上下文无关文法,这种文法允许正则表达式出现在产生式的右部。然后,我们定义了相应的LR(κ)文法。紧接着我们给出了一种分析算法,它是由正规的LR型分析算法扩充而得的。在这个方法中我们强调节省状态,并在此条件下使分析算法尽可能地简单。 展开更多

关键词 右部 正则表达式 正规表达式 产生式 广义 语义学 上下文无关文法 参数值 分析算法 语法分析 项集 归约 定义

下载PDF 职称材料

正规表达式到无空标注Petri网的构造方法

16

作者 束德勤 范昊 《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期15-19,24,共6页

已知一个语言表达式或语言的集合,如何直接构造产生该语言的Petri网模型是Petri网语言理论中的一个重要问题。语言表达式到Petri网(无ε-空标注)的转换算法更有难度。研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算、选择(并... 已知一个语言表达式或语言的集合,如何直接构造产生该语言的Petri网模型是Petri网语言理论中的一个重要问题。语言表达式到Petri网(无ε-空标注)的转换算法更有难度。研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算、选择(并)运算、闭包运算、并行运算的性质,在此基础上给出正规表达式到无ε-空标注的恰当终结的标准Petri网的转换算法。作为对传统形式语言的有益补充,还给出了带并发算子"//"的正规表达式到恰当终结的标准Petri网(无ε-空标注)的转换算法。 展开更多

关键词 恰当终结的标准Petri网 PETRI网 正规语言 正规表达式 语言

下载PDF 职称材料

一种基于Mealy自动机的策略监控模型

17

作者 彭军 陈性元 +2 位作者 吴蓓 代向东 王永亮 《计算机应用》 CSCD 北大核心 2008年第11期2832-2834,共3页

策略监控是完善策略管理系统、提高系统可靠性,并为第三方审计提供依据的有效途径之一。对策略整个生命周期中的状态进行了划分,引入Mealy自动机,对整个状态转换过程进行了建模,明确了监控对象及分析依据,从而实现了对策略状态的宏观监... 策略监控是完善策略管理系统、提高系统可靠性,并为第三方审计提供依据的有效途径之一。对策略整个生命周期中的状态进行了划分,引入Mealy自动机,对整个状态转换过程进行了建模,明确了监控对象及分析依据,从而实现了对策略状态的宏观监控,即通过合法性判定算法对策略进行的操作进行判定。最后,通过对自动机模型及判定算法的程序实现与性能测试可以看出,该算法能够及时有效地对事件数据进行处理响应。 展开更多

关键词 策略状态 策略监控 Mealy自动机 事件 正规表达式

下载PDF 职称材料

正规表达式与恰当终结的标准Petri网(英文)

18

作者 廉文娟 曾庆田 +1 位作者 范昊 梁永全 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第20期5655-5660,共6页

已知一个语言表达式或语言的集合,如何构造产生该语言的Petri网模型是Petri网语言理论中的一个重要问题。为解决这个问题,引入一种称为恰当终结的标准Petri网模型。研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算""... 已知一个语言表达式或语言的集合,如何构造产生该语言的Petri网模型是Petri网语言理论中的一个重要问题。为解决这个问题,引入一种称为恰当终结的标准Petri网模型。研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算""、选择(并)运算"+"、kleene闭包运算"+"、并行运算"//"的性质,证明了恰当终结的标准Petri网语言与正规语言的等价性,并给出了正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法。作为对传统形式语言的有益补充,还给出了带并发算子的正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法。 展开更多

关键词 恰当终结的标准Petri网 PETRI网 正规语言 正规表达式 语言

下载PDF 职称材料

基于系统行为序列的Petri网自动建模方法

19

作者 束德勤 范昊 《微型机与应用》 2014年第18期79-82,共4页

要想用Petri网对系统进行有效的模拟和分析,就必须先建立起可靠准确的Petri网模型,目前很少有文献专门研究Petri网对系统的建模问题。对此,提出了基于系统行为序列的Petri网自动建模方法。该方法将系统所有行为序列组合为正规语言表达式... 要想用Petri网对系统进行有效的模拟和分析,就必须先建立起可靠准确的Petri网模型,目前很少有文献专门研究Petri网对系统的建模问题。对此,提出了基于系统行为序列的Petri网自动建模方法。该方法将系统所有行为序列组合为正规语言表达式,对于不同的系统,给出标注函数(即变迁和系统行为的映射关系),就可以建立起系统的Petri网模型。给出了电话呼叫业务建立用户Petri网模型的一个实例。该方法形式化强、通用性好,建立的模型标准规范,并且可实现机器自动建模,在目前的系统建模研究方面取得了进展。 展开更多

关键词 恰当终结的标准Petri网 系统行为序列 正规表达式 建模

下载PDF 职称材料

浅谈JScript加密

20

作者 llikz 《黑客防线》 2007年第9期90-92,共3页

无论是出于对Javascript源代码的保护，还是躲过杀毒软件的监控追杀．我们都需要对源代码进行必要的加密处理。JavaScript体系中．可以胜任这项任务的函数为数并不多．包括String对象的fromCharCode（）方法、全局escape（）方法和Strin... 无论是出于对Javascript源代码的保护，还是躲过杀毒软件的监控追杀．我们都需要对源代码进行必要的加密处理。JavaScript体系中．可以胜任这项任务的函数为数并不多．包括String对象的fromCharCode（）方法、全局escape（）方法和String对象的rePIace（）方法。在这些方法中．最灵活、最简洁．最难掌握的恐怕是string对象的replace（）方法了，因为它涉及到正规表达式的灵活运行。在这里我首先从fromCharCode（）开始给大家详细道来。 展开更多

关键词 加密处理 JSCRIPT JAVASCRIPT JAVASCRIPT 正规表达式 杀毒软件 源代码

原文传递