学校编码 :10384 分类号 密级 学号 : UDC 学位论文 Gödel 语言编译系统前端部分设计与实现 Design and Implementation in the front part of Gödel compiler system 王啸澜 指导教师 : 赵致琢教授
|
|
|
- 瑭宴 畅
- 4 years ago
- Views:
Transcription
1 学校编码 :10384 分类号 密级 学号 : UDC 学位论文 Gödel 语言编译系统前端部分设计与实现 Design and Implementation in the front part of Gödel compiler system 王啸澜 指导教师 : 赵致琢教授 申请学位级别 : 硕 士 专业名称 : 计算机应用 论文提交日期 : 2005 年月 日 论文答辩时间 : 2005 年月 日 学位授予单位 : 厦 门 大 学 学位授予日期 : 2005 年月 日 二 五年六月 答辩委员会主席 : 评阅人 :
2 厦门大学学位论文原创性声明 兹呈交的学位论文, 是本人在导师指导下独立完成的研究成 果 本人在论文写作中参考的其他个人或集体的研究成果, 均在文 中以明确方式标明 本人依法享有和承担由此论文而产生的权利和 责任 声明人 ( 签名 ): 2005 年月日
3 摘 要 Gödel 语言是继 Prolog 语言之后出现的新型说明性逻辑程序设计语言, Gödel 语言继承了 Prolog 语言的诸多内容并在此基础上增加了类型 模块化 元程序设计 延迟计算 剪枝操作等 Prolog 语言所不具有的新语言成分, 具 有更强的表达能力和控制机制 Gödel 语言不仅便于用户开发人工智能程序和 智能应用软件系统, 而且具备通用程序设计语言的优势 然而由于缺少真正 意义上的通用 Gödel 语言编译器,Gödel 语言的使用范围以及受关注程度并不理想 我们课题组从 2003 年开始研究 Gödel 语言, 在对语言一段时间深入了解后随之进入 Gödel 语言编译系统及其程序设计环境的开发设计工作, 迄今已经取得一些阶段性成果 Gödel 语言编译系统设计为清晰的前后端结构形式, 前端部分内容包括 : 词法分析模块 语法分析模块 语义分析与中间代码生成模块 后端部分主要是指推理机部分 作者在整个系统设计中主要负责前端部分的设计与开发 从总体上说, 前端部分模块执行过程如下 : 词法分析对 Gödel 程序中的单词进行识别并建立记录单词词法信息的 Token 链表 语法分析对 Token 链表进行语法正确性检查并构造等价语法树信息, 其中, 主要采用带冲突分解的 LL(1) 语法分析方法 语义分析则是通过二趟扫描语法树实现语义正确性检测, 并生成中间代码作为后端推理机部分的输入, 其中, 语言声明语句的中间代码定义为符号表结构形式, 表达式语句的中间代码定义为树形结构形式 本文结构上作了如下安排 : 第一章对 Gödel 语言及其主要特点作了简单介绍, 并说明了 Gödel 语言编译系统的开发意义以及本文的主要工作 第二 三 四章详细介绍了编译系统前端部分中各模块的设计思想 主要结构 相关功 能以及实现方法等, 第五章介绍了推理机的设计概要 最后一章对 Gödel 语言 编译系统前端部分的设计进行总结, 并简要介绍了课题组其它相关工作 关键词 :Gödel 语言编译系统中间代码
4
5 Abstract Gödel is a new style declarative, logic programming language. It has referred to Prolog language and enlarged some new language element which consists of type system, module system, meta-programming, delay computation etc. Compared with Prolog language Gödel language has stronger expressive ability and more flexible control facility. Though Gödel language suits the development much in the intelligent programming and intelligent application software system, because of the absence of general compiler the usage scope and accepted attention of Gödel language is not ideal. Our team started the research of Gödel language in After a period of time studying in it, we stepped inside the development of Gödel language compiler system and external environment, and now we have get some achievement. Gödel language compiler system designed in clear front and back structure system, the front part consists of lexical analysis module, syntactic analysis module, semantic analysis and intermediate code generation module. I take charge of the design and development of the front part in overall system.. As a whole, implementation procedure of the front part is as follows, lexical analysis recognizes the words in Gödel programs and constructs the Token list which record the lexical information of the word. Syntactic analysis checks the correctness of the Token list and constructs the syntactic tree that represents the equal syntactic information, which mostly adopts the conflict solving LL (1) parsing method. Semantic analysis implements the check of correctness by scanning the syntactic tree and generates the intermediate code which is the input of back part. The intermediate code of declarative sentence is defined as symbol table structure and the intermediate code of expression declarative sentence is defined as tree structure. The text structure is arranged as follows: The first chapter gives an outline of
6 the Gödel language and its key feature, and introduces the Gödel language compiler system and my major job in the system. The next three chapters introduce the idea of the design, the main structure and the implemental method about the modules in the front part of the compiler system, the fifth chapter introduces the outline design of the Consequence Machine. The last chapter summarizes the design of the front part and introduces the relative work that my colleagues has fulfilled. Keywords: Gödel language Compiler system Intermediate code
7 目录 第一章绪论 Gödel 语言简介 Gödel 语言编译系统开发的意义以及本文的工作...3 第二章 Gödel 语言词法分析 Gödel 词法分析概述 Gödel 语言单词的符号 词法分析程序的输入 / 输出 Gödel 单词识别的 DFA 表示 实现 Gödel 语言词法分析程序的注意事项 词法分析程序实现框图...12 第三章 Gödel 语言语法分析 Gödel 语法非形式化说明 语法分析程序的输入 / 输出 语法树的数据结构 语法树节点类型 语法树节点的数据结构 Gödel 语法分析概述 带冲突分解的 LL(1) 语法分析方法 为语言声明部分建立 LL(1) 预测分析表 冲突分解程序的实现 Gödel 语法分析中使用的数据结构 Gödel 语法分析程序实现框图 主要函数 产生式处理函数...21
8 3.6 实现 Gödel 语言语法分析程序的一些注意事项 改写文法产生式 语法树中模块声明节点构造...24 第四章语义分析与中间代码生成 概述 语义错误的主要内容 中间代码的表示形式 语言声明语句的中间代码 表达式语句的中间代码 语义分析过程 一趟遍历实现的语义分析 二趟遍历实现的语义分析 Gödel 程序语义分析及中间代码生成举例...36 第五章推理机设计概要...39 第六章结束语...41 参考文献...42 致谢...44
9 Index Chapter 1 Introduction Overview of Gödel lanugage Value of Gödel language compiler system and my main job...3 Chapter 2 Lexical analysis of Gödel language Task of lexical analysis Word symbol of Gödel language Input and Output of lexical analysis program DFA representation of Gödel word recognition Attentions in implementing Gödel language lexical analysis program Implemental chart of lexical analysis program...12 Chapter 3 Syntactic analysis of Gödel language Informal illuminate of Gödel syntax Input and Output of syntactic analysis program Data structure of syntactic tree node type of syntactic tree Data structure of note Overview of Gödel syntactic analysis Parsing method of LL(1) with collision resolution Creating LL(1) prediction analysis list for declaration part Implementaion of collision resolution program Data structure of syntactic analysis program Implemental chart of syntactic analysis program primary function manipulation function of epsilon production Attentions in implementing Gödel language syntactic analysis program Amending production of grammar...24
10 3.6.2 Constitution of module declarative note in syntactic tree...24 Chapter 4 Semantic analysis and intermediate code generation Overview Primal content of semantic error Expressive form of intermediate code intermediate code of declaration part intermediate code of representation part Process of semantic analysis semantic analysis implemented by the first traversal semantic analysis implemented by the second traversal An example of semantic analysis and intermediate code generation...36 Chapter 5 Outline design of the Consequence Machine...39 Chapter 6 End...41 References...42 Thanks...44
11 第一章绪论 第一章 绪论 1.1 Gödel 语言简介 Gödel 语言是继 Prolog 语言之后出现的说明性通用逻辑程序设计语言, 在 1990 年由以英国 Bristol 大学 J. W. Lloyd 和 Leed 大学的 P. M. Hill 为代表 的研究小组设计开发 设计者以 20 世纪著名的逻辑学家 Kurt Gödel 为该语言命名, 并指出 Gödel 恰好也是 God's Own DEclarative Language 字首的缩 [1][ 写 2] Gödel 语言在继承了最具影响力的逻辑程序设计语言 Prolog 的诸多内容的同时也发展了许多新特点, 试图以此改进 Prolog 语言中存在的不足并解决其中有争议的语义问题 Gödel 语言主要特点包括类型系统 模块系统 灵活控制机制等 Prolog 语言的逻辑基础是无类 (unsorted) 的一阶逻辑 [3], 而 Gödel 语言的逻辑基础则是多态多类 (polymorphism many-sorted) 的一阶逻辑, 正是不同的逻辑基础使得 Gödel 语言具有更强的表达能力 Gödel 是强类型语言, 在程序的语言说明中规定了每个常量 函数 命题以及谓词的类型, 变量的类型则根据上下文进行推断得到 [4][5] 这意味着每个表达式 谓词 函数等定 义, 都能在编译时检查它们是否符合语言的类型规则 此外,Gödel 语言还 支持多态类型, 引入类型变元带来了参数型多态, 可进一步提高程序设计的灵活性 在语言说明中基类 (BASE) 声明和构造子 (CONSTRUCTOR) 声明 决定了语言的类型集合 若仅定义基类而没有构造子, 则所有基类的集合就是语言的类型集合 ; 若至少说明了一个构造子, 则由基类 BASE 和构造子 CONSTRUCTOR 以及参数变量可以得到的类型集合是可数无限集 [6] 例 如, 模块 M2 定义如下 : 1
12 Gödel 语言编译系统前端部分设计与实现 EXPORT M2. BASE Day,Person. CONSTRUCTOR List/1. CONSTANT Nil : List(a); Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday : Day; PREDICATE Append : List(a) * List(a) * List(a). 模块 M2 中声明基类类型 Day 和 Person, 类型构造子 List 之后的整数 /1 表示一元构造子, 程序中出现的 a 代表类型变元, 常量 Nil 定义为含有类型变元的多态符号 模块化提供了组织大规模复杂程序的方法, 能避免程序的不同部分之间的名字冲突, 并且提供隐藏执行细节的方法 Gödel 程序可以看作是由模块集 {M i } n i=0(n 0) 组成, 其中至少包含一个主模块 M 0, 子集 {M i } n i=1 中的模块由 M 0 直接或间接导入 [7][8] 每个模块可分为输出部分(export part) 和本地部分 (local part) 模块输出部分由关键字 EXPORT 或 CLOSED 声明, 本地部分由关键字 LOCAL 或 MODULE 声明, 关键字后面跟相应的模块名 输出部分与本地部分使用关键字 IMPORT 导入新模块, 从而直接使用新模块中声明的数据 Gödel 语言的控制机制包括两方面 : 计算规则和剪枝操作 [9] 计算规则指的是从当前目标体中选择子公式进行扩展的策略 ; 剪枝操作则定义了剪 枝算子对搜索树的子树进行修剪, 提高运算效率 Gödel 的计算规则具有非确定性的特点, 体现在两个方面 : 在搜索树上选择下一步扩展发生的位置时是不确定的, 有别于 Prolog 的深度优先搜索 策略 [11][12] ; 在目标的合取项中选择下一步计算的文字时是不确定的, 有别于 Prolog 的自左向右的策略 Gödel 语言引入延迟计算 [10], 在程序中显式地运用 DELAY 控制声明来定义延迟计算, 这比无类型的 Prolog 语言采用的 最左文字 计算规则更为 2
13 第一章绪论 灵活 若计算过程中, 可选择的扩展文字并不限制一定是最左文字, 而是根据 DELAY 说明中指定的条件, 判断参数是否已实例化来决定子公式需要延迟调用或是继续进行扩展 也就是说, 如果存在 DELAY 说明则 DELAY 说明优先, 否则使用 最左文字 计算规则 类似于 Prolog 中的 cut 机制 [13][14],Gödel 也允许在程序中修剪搜索树 剪枝算子一般的形式称为 Commit, 形式为 { }_n, 其特殊形式为 : 一解 剪枝 (one-solution commit) 和条形剪枝 (bar commit) 一解剪枝是当找到一个解时就立即返回, 相当于剪下剩下的全部树枝 条形剪枝是最简单的剪枝方式, 形如, 其作用和并行逻辑程序设计语言中的 commit 相似, 的含义相当于合取关系 Gödel 语言规定如果 的两个参数中任意一个为 TRUE, 则 可以省略 每个子句至多仅包含一个 bar, bar 的作用范围是在语句体内出现在 ' ' 左边的公式 条形剪枝只求出 ' ' 的辖域内公式的一个解, 而搜索树中该谓词的其他语句所产生的分支均被剪除 1.2 Gödel 语言编译系统开发的意义以及本文的工作逻辑程序设计语言的重要性早已为人们所熟知, 但 Gödel 语言作为新型的逻辑程序设计语言, 它为人们所熟悉和认同需要一定的时间和实践, 尤其需要合适的编译器和外部环境支持, 正如 Prolog 语言的一系列解释器和编译器在 Prolog 语言的发展和为人们接受的过程中起到重要的作用一 样 此外,Gödel 语言具有良好的数据类型 知识表示形式 逻辑推理机制 和简单的说明性语义, 使得 Gödel 语言非常适合用作人工智能程序设计以及程序设计教学语言, 这些同样需要好的编译器以及程序设计环境的支持 课题小组在国内率先对 Gödel 语言进行了学习与研究, 在完成了对 Gödel 语言系统的学习之后, 我们开始致力于该语言编译器与程序设计环境的设计与实现工作 Gödel 语言编译器的实现方法是首先通过词法 语法和语义分析将 Gödel 3
14 Gödel 语言编译系统前端部分设计与实现 语言代码表示成一种中间的表结构形式, 表的结构能够反映程序的语义和逻辑关系, 并根据这种程序的中间形式来构造满足语言推理要求的推理机作为程序运行的支持系统 推理机按自己的工作方式执行代码表示的语义 其中, 中间的表结构由 c++ 语言描述实现 编译程序时,Gödel 代码被编译 产生 c++ 语言描述的目标程序, 进而生成运行时所需要的内部表示结构, 它 们在以推理机为核心的运行系统支持下运行 推理机也采用 c++ 语言来实 现 所以程序的执行过程是将 Gödel 代码编译成 c++ 语言描述的中间表结 构, 并与运行支持系统推理机连接生成可执行文件 Gödel 语言编译系统可以分为前端和后端两部分, 其总体结构框图如图 1.1 所示 : 源程序 词法分析 语法分析 语义分析 中间代码生成 中间代码 代码预处理 推理机 结果 外部环境 前端后端图 1.1 Gödel 编译系统总体结构本文详细介绍了 Gödel 编译系统前端部分各主要模块的设计思想 主要结构 相关功能以及实现方法, 并概括性介绍了推理机主要设计思想 4
15 第一章绪论 对于后端部分中的推理机以及外部支持环境的具体设计及实现方法, 同组 王炳波和王东星同学的论文中都有详细介绍, 本文就不再引述 5
16 Gödel 语言编译系统前端部分设计与实现 第二章 Gödel 语言词法分析 2.1 Gödel 词法分析概述 : Gödel 语言词法分析程序根据 Gödel 语言词法特点设计实现 Gödel 语 言词法规则相对于其它语言具有许多特点, 如一般语言中的 + - * / 运 算符号在 Gödel 语言中可以被定义为函数标志符或者谓词标志符, 而且, Gödel 语言中的分界符与标志符的词法构成规则比其它逻辑程序语言更为复杂 词法分析程序对输入的字符串形式的 Gödel 源程序进行扫描, 根据 Gödel 语言的词法构成规则将字符流组合成各类单词符号, 生成 Token 链表 (TokenList) 作为语法分析程序的输入 Token 项中记录了单词的词法信息 语义信息, 以及行号信息 词法分析程序的功能如图 2.1 所示 Gödel 源程序 2.2 Gödel 语言单词的符号 图 2.1Gödel 词法分析程序功能 语言中的单词符号可以分为以下几个大类 : 标志符 :{ 大写字母标志符 (BigName), 小写字母标志符 (LittleName), 图 形标志符 (GraphicName)} 词法分析程序 关键字 :{ 它是标志符的子集,BASE,MODULE,EXPORT } 分界符 :{ 一般分界符 (NorSepa), 图形符号中分界符 (GraphicSepa)} 数字 :{ 数字符 (Number)} 注释符 :{%} 6 Token 链表
17 Degree papers are in the Xiamen University Electronic Theses and Dissertations Database. Full texts are available in the following ways: 1. If your library is a CALIS member libraries, please log on and submit requests online, or consult the interlibrary loan department in your library. 2. For users of non-calis member libraries, please mail to etd@xmu.edu.cn for delivery details.
10384 9707005 UDC 1 1 5 5 5 6 7 10 10 10 12 13 16 16 17 18 19 21 21 23 24 27 27 27 28 28 29 29 31 32 1789 1846 1857 1859 46 173 34 35 28 442 5 319 88 87 46 211 2 82 46 219 1862 1945 Degree papers
2
10384 -------- 9601008 UDC---------------------- 1999 1999 1999 ------------------------ ------------------------ 1 2 .4...4 7 14.14..18..22..22..24 3 4.27.32.39 1 2 3 4 5 6 7 8 9 10 11 5 12 6 1 2 3 4
5 5 7 5 4 4 6 9 8 40
5 5 7 5 4 4 6 9 8 40 4 5 0 959 68 959 55 959 4 957 4 5 998 4 9 959 98 8 980 8 84 4 987 4 5 6 7 8 9 986 998 989 4 977 8 5 988 6 985 8 7 98 990 5 8 998 4 9 987 4 5 4 96 9 959 8 959 4 986 4 5 5 8 96 4 5
Degree papers are in the Xiamen University Electronic Theses and Dissertations Database. Full texts are available in the following ways: 1. If your library is a CALIS member libraries, please log on http://etd.calis.edu.cn/
2
1999 4 2 3 4 5 6 7 8 9 10 11 1 2 1999 1 5 1998 7 2 3 97 7 37 12 4 5 1998 8 13 14 5 1997 10 15 6 27 36 16 Degree papers are in the Xiamen University Electronic Theses and Dissertations Database. Full texts
1 2.1 2.2 3.2 3.3 2 3 2.1 2.2 4 5 6 7 8 9 10 11 12 13 14 15 16 Degree papers are in the Xiamen University Electronic Theses and Dissertations Database. Full texts are available in the following ways: 1.
1 1 2 1 2 1 2 3 1 2 3 2 3 1 355 110 403 62 1979 1998 17 1979 2 1996 70 10 4000 200 332 17 80 3000 1.7 1% 300 4 1998 60% 3.4% 0.9 3.6 40.8 37.4 17.3 0.3 4.4 42.6 36.0 16.7 7.1 3.6 67.9 10.7 10.7 3.2 65.6
-2-
-1-20 -2- -3- -4- -5- -6- -7- -8- -9- -10- -11- -12- -13- -14- -15- -16- Degree papers are in the Xiamen University Electronic Theses and Dissertations Database. Full texts are available in the following
10384 9715101 UDC MBA 2000 5 2000 6 2000 2000 1995 10 26 1995 1995 10 1999 7 1 1986 SEC, Securities Exchange Committee 20 7 1996 1998 1998 1 2 3 1999 4 1 1 3000 2 3 1997 5 Degree papers are in
10384 1 X9915063 UDC The Brand Marketing of Real Estate MBA 2002 8 2002 9 2002 2002 8 1 1 2...1...4...4...4...4...5...6...6...6...6...7...9...9...9...10...10...11...11...12...12...14...14 1 3...16...16...17...18...18...18...19...20...20...22...23...23...24...25...26...27...28...28...30...32...32...32...33...34...34
Supply Chain SCM IBM DRP
10384 9915114 UDC 2001 9 Supply Chain SCM IBM 21 1996 DRP Keywords Xiamen Overseas Chinese Electronic Co., Ltd Chinese Color TV Enterprise Transaction Cost the Management of Production, Marketing and Inventory
50 2
Frost & Sullivan 2006 65% 1 50 2 IDCITUMII1990 1999 10%, 49.2% 1-1 1-1 3 4 2005 GSM 3 2006 3G 2008 GSM GPRSCDMA 5 6 7 8 Frost & Sullivan 2006 65% 9 Email Ovum 2005 19.7% 164 10 11 12 13 14 Jupiter Media
1
10384 9915009 UCD RESEARCH STAFF CAREER MANAGEMENT IN STATE-OWNED COMMERCIAL BANKS 1 Abstract The reasonable disposition of human resources is the guarantee of the long prosperity of enterprise. To carry
() MONORCHIIDAE SP
10384 B953404 UDC Monorchiidae sp ...2...3...5... 5... 5...8... 8....8....8 ()....12... 13....13....24...36.... 38....38....40...44 MONORCHIIDAE SP.... 47....47...49....50...51...53...57...58...61 1 2
IPOs ... 1... 3...3...6... 8... 10... 12... 14...15... 15... 15... 16...16... 20...20...22... 24...24... 24... 25... 27 BP...28 RBF...31 MATLAB... 34 MATLAB...34 MATLAB... 34... 34... 35 MATLAB...36...
1990-1997 1980-1997 Abstract The relationship between human resource development and economy increase has been an important research item with the coming of knowledge economy. In this paper, ahead item
WTO
10384 X0115018 UDC MBA 2004 5 14 2004 6 1 WTO 2004 2006 7 2 Abstract According to the promise after our country enter into WTO, our country will open the readymade oil retail market in the end of 2004
2
10384 K9607315 U D C 1999 1999 1999 1999 3 2 30 1957 1953 1953 1958 1978 1955 1956 1979 60 1980 BG(! BHDFG3 FK3 K6 K2 K12 K3 K7F BHDG3 FK3 K20ZQ K3 K7F BHDG21 CD#4 CD#4 CD#12 BHDG5 FK33ZQF SQ*2 JY(Z
A Study on Grading and Sequencing of Senses of Grade-A Polysemous Adjectives in A Syllabus of Graded Vocabulary for Chinese Proficiency 2002 I II Abstract ublished in 1992, A Syllabus of Graded Vocabulary
XML SOAP DOM B2B B/S B2B B2B XML SOAP
10384 9831010 U D C B2B 2 0 0 1 4 2 0 0 1 5 2 0 0 1 2001 4 XML SOAP DOM B2B B/S B2B B2B XML SOAP ABSTRACT Based on the research of Supply Chain Management theory and E-Commerce theory, especially in Business
1
10384 9832009 UDC 2001 6 1 2...3....3....3...5...5...6...9...9...12...15...15...18...38...42...43...46 3.. 7 2000 4 10 2000 8 www.wisecast.com 2000 12 22 4 5 1993 7 1 25% 1996 20 1997 67 1998 210 1999
UDC The Policy Risk and Prevention in Chinese Securities Market
10384 200106013 UDC The Policy Risk and Prevention in Chinese Securities Market 2004 5 2004 2004 2004 5 : Abstract Many scholars have discussed the question about the influence of the policy on Chinese
10384 200115009 UDC Management Buy-outs MBO MBO MBO 2002 MBO MBO MBO MBO 000527 MBO MBO MBO MBO MBO MBO MBO MBO MBO MBO MBO Q MBO MBO MBO Abstract Its related empirical study demonstrates a remarkable
X UDC A Post-Evaluation Research on SINOPEC Refinery Reconstruction and Expanding Project MBA 厦门大学博硕士论文摘要库
2003 2 10384 X9915078 UDC A Post-Evaluation Research on SINOPEC Refinery Reconstruction and Expanding Project MBA 2003 2 2003 3 2003 200 / Abstract Post-evaluation is a comprehensive evaluation on an implemented
% 6.7% % % / 1
1 1995 1995 50% 70 75% 1996 1996 9 30 5000 2000 1996 1999 1998 11 9 1999 5 9 5 1998 10 1999 30 200 2 1950 38 1999 2960 1950 40 1999 3585 1950 0.73 1999 28.3 20 12.1% 6.7% 1 1 2 1950 1978 1950 38 1978 466
Abstract Today, the structures of domestic bus industry have been changed greatly. Many manufacturers enter into the field because of its lower thresh
SWOT 5 Abstract Today, the structures of domestic bus industry have been changed greatly. Many manufacturers enter into the field because of its lower threshold. All of these lead to aggravate drastically
10384 X0115071 UDC The Research For The Actuality And Development Stratagem Of The China Securities Investment Fund (MBA) 2003 11 2003 12 2003 12 2 0 0 3 11 100 1991, WTO Abstract Abstract The Securities
UDC Hainan Airlines Investment Valuation Analysis (MBA) 厦门大学博硕士论文摘要库
10384 200015140 UDC Hainan Airlines Investment Valuation Analysis (MBA) 2003 3 2003 3 2003 9 2 0 0 3 3 1993 A B 8 1000 100 2002 10 11 501 473 560 85% 1999 2001 SWOT EBO Abstract Hainan Airlines, as the
.1..2....2 2. 2.. 3..5 7.7.8..11 11..12...14 19...19 20 20 26.29 36 40...41 90 98 4 21 Network selling (Multilevel Marketing),, 1950 1 1 2 3 LeeMythnger WillianCasselberry 1959 60 60 200 60 1972 40 80%
Roderick M.Chisholm on Justification I Synopsis Synopsis Since the problem of Gettier, the problem of justification has become the core of contemporary western epistemology. The author tries to clarify
WTO
10384 200015128 UDC Exploration on Design of CIB s Human Resources System in the New Stage (MBA) 2004 2004 2 3 2004 3 2 0 0 4 2 WTO Abstract Abstract With the rapid development of the high and new technique
10384 9917001 UDC 2002 2002 2002 2002 5 Research on Martin Trow s Ideological Theory of Higher Education Massification ABSTRACT The present paper is divided into five chapters. The first chapter is an
Abstract After over ten years development, Chinese securities market has experienced from nothing to something, from small to large and the course of
2003 MBA 600795 SWOT Abstract After over ten years development, Chinese securities market has experienced from nothing to something, from small to large and the course of being standardized. To all securities
Abstract There arouses a fever pursuing the position of being a civil servant in China recently and the phenomenon of thousands of people running to a
Abstract There arouses a fever pursuing the position of being a civil servant in China recently and the phenomenon of thousands of people running to attend the entrance examination of civil servant is
10384 X0015101 UDC The Preliminary Survey of the Development Patterns of Security Analysts in China (MBA) 2004 2 2004 3 2004 3 2 0 0 4 2 14 Abstract Abstract The security analysts are respectable oversea,
UDC Empirical Researches on Pricing of Corporate Bonds with Macro Factors 厦门大学博硕士论文摘要库
10384 15620071151397 UDC Empirical Researches on Pricing of Corporate Bonds with Macro Factors 2010 4 Duffee 1999 AAA Vasicek RMSE RMSE Abstract In order to investigate whether adding macro factors
Abstract Since 1980 s, the Coca-Cola came into China and developed rapidly. From 1985 to now, the numbers of bottlers has increased from 3 to 23, and
Abstract Since 1980 s, the Coca-Cola came into China and developed rapidly. From 1985 to now, the numbers of bottlers has increased from 3 to 23, and increases ulteriorly. When the Coca-Cola company came
1998 5
10384 9511001 1998 5 1998 6 1998 1998 5 AICPA Internet/Intranet Internet/Intranet 1 2 2 2 4 6 10 10 10 12 13 13 14 18 18 18 19 19 20 Internet/Intranet 20 Internet/Intranet 23 21 25 28 28 28 30 32 32 32
:
A Study of Huangtao : I Abstract Abstract This text focuses on the special contribution of Huangtao in the history of literature and culture of Fukien, by analyzing the features of Huangtao s thought,
10384 X9908009 UDC Study On Causation Of Civil Tort Liability 2004 4 2004 2004 2004 4 [M] 1991476 [M] 1996635 ABSTRACT ABSTRACT Theory of causation, which is the most complicated and thorny of tort law,
:
Thesis on Court Banquet and Assemblage Poetry in Early Tang : I Abstract Abstract In the background of three different stages early Tang: Taizong GaozongWuhou and Zhongzong,this thesis mainly analyzes
ABSTRACT ABSTRACT As we know the Sinology has a long history. As earily as 19 th century some works have already been done in this field. And among this the studies of lineages and folk beliefs in Southeast
10384 X2009230010 UDC The Design and Implementation of Small and Medium-sized Courier Company Logistics Vehicle Scheduling System 2012 06 Abstract With the arrival of the information age, tremendous
10384 19020101152519 UDC Rayleigh Quasi-Rayleigh Method for computing eigenvalues of symmetric tensors 2 0 1 3 2 0 1 3 2 0 1 3 2013 , 1. 2. [4], [27].,. [6] E- ; [7], Z-. [15]. Ramara G. kolda [1, 2],
10384 200008009 UDC 2003 11 2003 2003 2003 11 1 3 3 3 4 4 4 4 5 6 6 7 7 10 10 10 11 11 17 23 23 24 25 28 29 31 33 33 36 39 41 42 42 42 42 43 44 45 45 45 46 47 47 47 50 52 54 57 58 59 60 appeal on public
Abstract The adult higher education is a vital part of the higher education. As an essential tache of selecting qualified students, the adult college entrance examination plays an important role in securing
10384 X0115019 UDC (MBA) 2004 5 2004 6 2004 XTC An Research on Internationalization Strategy of XTC , XTC XTC XTC APT XTC XTC XTC XTC XTC XTC : Abstract Abstract Although it s well known that China s
学 校 编 码 :10384 分 类 号 密 级 学 号 :X2007155130 UDC 厦 门 怡 福 养 生 健 康 管 理 有 限 公 司 创 业 计 划 王 韬 指 导 教 师 姓 名 : 郭 霖 教 授 厦 门 大 学 硕 士 学 位 论 文 厦 门 怡 福 养 生 健 康 管 理 有 限 公 司 创 业 计 划 A Business Plan for Xiamen Eve Health
Lotus Notes Design and Implementation of Sales Process Management System Based on Lotus Notes 施莹艳 指导教师姓名 : 林林林林坤坤坤坤辉辉辉辉 教授 专 业 名 称 : 软软软软件件件件工工工工程程程程 论论论论文文文文提提提提交交交交日日日日期期期期 : 年 论论论论文文文文答答答答辩辩辩辩时时时时间间间间
UDC The Design and Implementation of a Specialized Search Engine Based on Robot Technology 厦门大学博硕士论文摘要库
10384 200128011 UDC The Design and Implementation of a Specialized Search Engine Based on Robot Technology 2004 5 2004 2004 2004 5 World Wide Web Robot Web / (Focused Crawling) Web Meta data Web Web I
厦 门 大 学 学 位 论 文 原 创 性 声 明 本 人 呈 交 的 学 位 论 文 是 本 人 在 导 师 指 导 下, 独 立 完 成 的 研 究 成 果 本 人 在 论 文 写 作 中 参 考 其 他 个 人 或 集 体 已 经 发 表 的 研 究 成 果, 均 在 文 中 以 适 当 方
学 校 编 码 :10384 分 类 号 密 级 学 号 : UDC 硕 士 学 位 论 文 浙 江 省 人 事 考 试 突 发 事 件 应 对 策 略 探 析 An Exploration of Zhejiang Province Personnel Examination Emergency Strategy 姜 海 峰 指 导 教 师 姓 名 : 王 玉 琼 教 授 专 业 名 称 : 公 共
WTO OEM
10384 200115142 UDC A Study on the Developing Strategy of Xiamen Evere Sports Goods Co., Ltd. A Case Study based on the Theory of Value Chain (MBA) 2005 5 2005 6 2005 5 2005 5 WTO OEM Abstract Abstract
THE APPLICATION OF ISOTOPE RATIO ANALYSIS BY INDUCTIVELY COUPLED PLASMA MASS SPECTROMETER A Dissertation Presented By Chaoyong YANG Supervisor: Prof.D
10384 070302 9825042 UDC 2001.6. 2001.7. 20016 THE APPLICATION OF ISOTOPE RATIO ANALYSIS BY INDUCTIVELY COUPLED PLASMA MASS SPECTROMETER A Dissertation Presented By Chaoyong YANG Supervisor: Prof.Dr. Xiaoru
2/80 2
2/80 2 3/80 3 DSP2400 is a high performance Digital Signal Processor (DSP) designed and developed by author s laboratory. It is designed for multimedia and wireless application. To develop application
2000.11 2000.11 2000 11 Abstract: Background: The development of autoantibodies in the sera of patients with cancers has been described, but the mechanism is still not clear. Objective: The aim of this
厦 门 大 学 学 位 论 文 原 创 性 声 明 本 人 呈 交 的 学 位 论 文 是 本 人 在 导 师 指 导 下, 独 立 完 成 的 研 究 成 果 本 人 在 论 文 写 作 中 参 考 其 他 个 人 或 集 体 已 经 发 表 的 研 究 成 果, 均 在 文 中 以 适 当 方
学 校 编 码 :10384 学 号 :17820121151192 硕 士 学 位 论 文 携 程 与 艺 龙 竞 争 战 略 的 财 务 比 较 分 析 Financial Analysis on Different Competitive Strategies of Ctrip and Elong 郑 亮 指 导 教 师 : 黄 海 玉 专 业 名 称 : 旅 游 管 理 硕 士 答 辩 日
10384 199928010 UDC 2002 4 2002 6 2002 2002 4 DICOM DICOM 1. 2. 3. Canny 4. 5. DICOM DICOM DICOM DICOM I Abstract Eyes are very important to our lives. Biologic parameters of anterior segment are criterions
ABSTRACT ABSTRACT Based on analyzing public corporation in foreign countries, this paper studies basic theories of public legal establishment, with our country s reality in the social transferring period
SWOT Abstract Abstract Fuzhou Water & Wastewater Engineering Design Institute is an affiliate project prospecting and designing unit under Fuzhou Water Supply General Company. It engages mainly in the
I
The Discussion on Manchu-City of Foochow in Qing Dynasty I Abstract II Abstract This thesis aims to, from the research on the Eight-Banner garrison in Foochow, explore the living situation of the banner-people
Research for RS encoding and decoding technology in the Digital Television Terrestrial Broadcasting System 2006 厦门大学博硕士论文摘要库
Research for RS encoding and decoding technology in the Digital Television Terrestrial Broadcasting System 2006 DMB-T RS DMB-T DMB-T RS(208,188) RS BM RS : 1 RS RS RS FPGA RS 2 RS 3 BM 4 matlab RS RS
UDC 厦门大学博硕士论文摘要库
10384 9924012 UDC 2002 5 2002 2002 2002 5 1 Study on High Speed Switch System and Their ASIC Frontend Design Thesis for MS By Shuicheng Cai Supervisor: Prof. Donghui Guo Department of Physics Xiamen Unviersity
- 2 -
2002 11 10384 9915064 UDC Money Trapping By the Listed Companies and Its Prevention MBA 2002 11 2002 12 2002 - 2 - Abstract In the first place, this paper defines the conduct of some listed companies which
10384 27720071152270 UDC SHIBOR - Research on Dynamics of Short-term Shibor via Parametric and Nonparametric Models 2 0 1 0 0 5 2 0 1 0 0 5 2 0 1 0 0 5 2010 , 1. 2. Shibor 2006 10 8 2007 1 4 Shibor
( ) ( ) ATPase 1 ATPase ATPase 30 20 30 2 ATPase -. 3 MDA O 2 30 20 30 MDA 40 SOD MDA 0-10 0-30 10 3 0 SOD 0-10 10 4 NaCl 0-10 0-20 MDA Comparative Studies on Plasma Membrane Function of Salt-secreting
2002 II
10384 B9901001 UDC A Grammatical Study Of Wanrong Dialect 2OO2 I 2002 II III Abstract The thesis is intended to make a more systematic study of the grammar on Wanrong dialect, which is distributed in the
- 2 - Russell Thaler 2 1 2 unexpected dramatic P t =P t-1 + P t t P t-1 t-1 2 T.Russell and R.Thaler, The Relevance of Quasi-Rationality in Competitiv
- 1-1 Bayes 1 1 A B P AB =P A *P B - 2 - Russell Thaler 2 1 2 unexpected dramatic P t =P t-1 + P t t P t-1 t-1 2 T.Russell and R.Thaler, The Relevance of Quasi-Rationality in Competitive Markets. American
WTO WTO ATM POS 4 CRM 2
Carl W.Buechner 2002 9 + CRM CRM 1 CRM Hans Peter Brondmo 2002 2 CEO 1 2 Hans Peter Brondmo 2002 1 WTO WTO 1 1000 2 3 ATM POS 4 CRM 2 1 2 3 4 Thibaut & Kelley Rusbult Polanyi Thibaut & Kelley 1959 Rusbult,1980
10384 9702001 UDC 2000 5 2000 6 2000 2000 5 1 .1 1 2 3. 4 4 4.5.6 6 1..7 2..7. 8 8 1..8 1..8 2 10 2 11..12 1 12 1 12 2 12 2 12 1 12 2 13 3 13 4 14 3 14 4 14..16..17..19..20..21 2 3 1 20 1921 1926 1928
厦门大学博硕士论文摘要库
10384 B200009005 UDC 2003 4 2003 2003 2003 4 20 80 20 80 80 Abstract The historical-cost position of foreign direct investment in the United States (FDIUS) accounts for the largest share of world FDI outward
100Mbps 100Mbps 1000Mbps 100Mbps 1000Mbps 100Mbps 100Mbps PD LXT Mbps 100Mbps 100Mbps 1
1 3 6 6 7 100BASE-FX 10 100Mbps 13 13 21143-PD 14 LXT970 20 Serial ROM 24 Boot ROM 24 Agilent 25 100Mbps 27 27 37 100Mbps 45 50 54 55 100Mbps 100Mbps 1000Mbps 100Mbps 1000Mbps 100Mbps 100Mbps 21143-PD
厦门大学博硕士论文摘要库
GSM The Design of Tri-frequencies Microstrip Antenna for GSM (900/1800/1900-MHz) 2005 5 GSM GSM GSM900 GSM1800 GSM1900 GSM GSM GSM900 GSM1800 GSM1800 GSM1900 GSM 900M 1800M H H E H GSM 120 GSM1800 GSM1900
...12...12...13...18...18...24 MSCI...27 FTSE...29...33...36................................................... 1 ...........................39...39...42...45...54.............................................
J. D. 17 Daniel J. Elazar, American Federalism: A View From the States (New York: Happer & Row, Publishers, 1984), p
20 20 70 80 1 20 90 20 90 J. D. 17 Daniel J. Elazar, American Federalism: A View From the States (New York: Happer & Row, Publishers, 1984), p.41-42. 2 19 1985 80 Gerald D. Nash, State and Local Governments,
1
10384 199819007UDC 2 0 0 2 4 2 0 0 2 6 2 0 0 2 2 0 0 2 6 1 2 1 1992 1 3 1 1 1 3 6 6 22 25 26 4 145 78 42 113 o 31 36 113 o 35 43 22 o 06 39 22 o 13 06 2.5 2 25.66 8.61 6.54 7.56 2.95 2 40000 32500 32500
10384 200129005 UDC _ Product Lines and their Control System Design for Fine Powder and Ultra-fine Powder 2004 5 2004 6 2004 2004 5 AUTOCAD PLC PC PLC PC PLC PLC VB6.0 PLC VB PID I MATLAB PID PLCCPU PID
µ γ α γ α µ α µ γ Ig/Ig-TCIC 1 immune immunity immunis 10 998~1022 19 Edward Jenner Jenner Louis Pasteur 1880 Elie I.I. Metchnikoff (1883), P.P.Emile Roux A.E.J.Yersin (1888) Emil A. Von Behring Pfeiffer
Kluyveromyces sp. Y-85 Saccharomyces cerevisiae E-15, E g/100ml Y-85 E-15 DNA Y YEPD MM E E-15 Y-85 Y-85 12h E h 0.1%ED
10384 9626012 UDC 1999 7 1999 7 16 1999 1999 7 1 Kluyveromyces sp. Y-85 Saccharomyces cerevisiae E-15, E-15 10 2.98g/100ml Y-85 E-15 DNA Y-85 45 YEPD MM E-15 45 30 E-15 Y-85 Y-85 12h E-15 10 h 0.1%EDTA-,
X MGC X 22 X 23 X MGC X BALB/c 26 X MGC X MGC X MGC X..
1 0 3 8 4 9726023 UDC X MGC80-3 2000 7 2000 7 2000 7 2000 6 22.3.4...11..11 12 13 15 15 20 20 X MGC80-3. 22 X 22 X 23 X MGC80-3.23 X BALB/c 26 X MGC80-3.27 X MGC80-3 28 29 29 30 31 32 33 X MGC80-3 34 X..34.35.36
Origination And Filmization: Research Of Relation Between The Modern Chinese Movie And literature 2005 7 21 I II Abstract Movie has been knotted with literature tightly since the day of naissance. The
Abstract / / B-ISDN ATM Crossbar Batcher banyan N DPA Modelsim Verilog Synopsys Design Analyzer Modelsim FPGA ISE FPGA ATM ii
10384 200024024 UDC 2003 5 2003 6 2003 2003 5 i Abstract / / B-ISDN ATM Crossbar Batcher banyan N DPA Modelsim Verilog Synopsys Design Analyzer Modelsim FPGA ISE FPGA ATM ii System On-Chip Design and Performance
A study on the Animal Husbandry Economy in the Tang Dynasty and the Five Dynasties 厦门大学博硕士论文摘要库
A study on the Animal Husbandry Economy in the Tang Dynasty and the Five Dynasties 10384 B200102007 UDC A study on the Animal Husbandry Economy in the Tang Dynasty and the Five Dynasties 2004 7 2004 8
2.
1 20 60 < > < > 2. 3 1 1.Davis,John Francis,"The Poetry of Chinese" Journal of The Royal Asiatic Society of Great Britian and Ireland 11(1830),(Translation of chapter 3 of the novel) 1830 1792 2.Tom Rorbert,"The
学校编码 :10384 分类号密级 学号 : UDC 硕士学位论文 逻辑程序设计语言 Gödel 的形式化过程性语义 The Formalized Procedural Semantic of Logic Programming Language Gödel 昌杰 指导教
学校编码 :10384 分类号密级 学号 :23020061152431 UDC 硕士学位论文 逻辑程序设计语言 Gödel 的形式化过程性语义 The Formalized Procedural Semantic of Logic Programming Language Gödel 昌杰 指导教师姓名 : 赵致琢教授 专业名称 : 计算机软件与理论 论文提交日期 :2009 年 5 月 论文答辩时间
Research on the Mycorrhizal Community of Pinus Massoniana Lamb in Wuyishan Nature Reserve Abstract Mycorrhizae is the symbiosisal body of fugus and bo
(pinus massoniana Lamb) 27 o 33. o 54, 117 o 27 117 o 51 1 Research on the Mycorrhizal Community of Pinus Massoniana Lamb in Wuyishan Nature Reserve Abstract Mycorrhizae is the symbiosisal body of fugus
UDC The Establishment of Fractional BSDE : : : : : 厦门大学博硕士论文摘要库
10384 19020071152070 UDC The Establishment of Fractional BSDE : : : 2010 4 : 2010 5 : 2010 6 2010 4 1. 2. 1973 1990 Pardoux. Duffie Epstein ( ) Feynman-Kac Navier-Stokes El Karoui Quenez ( )... - i Abstract
Construction of Chinese pediatric standard database A Dissertation Submitted for the Master s Degree Candidate:linan Adviser:Prof. Han Xinmin Nanjing
密 级 : 公 开 学 号 :20081209 硕 士 学 位 论 文 中 医 儿 科 标 准 数 据 库 建 设 研 究 研 究 生 李 楠 指 导 教 师 学 科 专 业 所 在 学 院 毕 业 时 间 韩 新 民 教 授 中 医 儿 科 学 第 一 临 床 医 学 院 2011 年 06 月 Construction of Chinese pediatric standard database
UDC Design and Application of Intrusion Detection System Based on Snort 2009 12 Snort Snort Apriori Snort Apriori Microsoft Visual Studio 2008 C# Snort Snort Snort Snort Snort Apriori Snort Snort Apriori
中国科学技术大学博士学位论文指针逻辑的扩展与应用姓名 : 王志芳申请学位级别 : 博士专业 : 计算机软件与理论指导教师 : 陈意云 20090401 指针逻辑的扩展与应用 作者 : 王志芳 学位授予单位
UDC 厦门大学博硕士论文摘要库
10384 200030003 UDC 2003 8 2003 9 2003 Hardware Platform for 2D Barcode Reader Techniques Thesis for the degree of Master of Science By Liu Zhenyu (Electronic Engineering Dept., Xiamen University, P.R.
曹 文 轩 小 说 中 的 空 间 叙 事 研 究 A STUDY OF SPATIAL NARRATIVE IN CAO WEN XUAN S NOVELS By 陈 诗 蓉 TAN SIH YONG 本 论 文 乃 获 取 文 学 硕 士 学 位 ( 中 文 系 ) 的 部 分 条 件 A di
曹 文 轩 小 说 中 的 空 间 叙 事 研 究 A STUDY OF SPATIAL NARRATIVE IN CAO WEN XUAN S NOVELS 陈 诗 蓉 TAN SIH YONG MASTER OF ARTS (CHINESE STUDIES) 拉 曼 大 学 中 华 研 究 院 INSTITUTE OF CHINESE STUDIES UNIVERSITI TUNKU ABDUL
Microsoft PowerPoint - STU_EC_Ch08.ppt
樹德科技大學資訊工程系 Chapter 8: Counters Shi-Huang Chen Fall 2010 1 Outline Asynchronous Counter Operation Synchronous Counter Operation Up/Down Synchronous Counters Design of Synchronous Counters Cascaded Counters
Microsoft Word - 24217010311110028谢雯雯.doc
HUAZHONG AGRICULTURAL UNIVERSITY 硕 士 学 位 论 文 MASTER S DEGREE DISSERTATION 80 后 女 硕 士 生 择 偶 现 状 以 武 汉 市 七 所 高 校 为 例 POST-80S FEMALE POSTGRADUATE MATE SELECTION STATUS STUDY TAKE WUHAN SEVEN UNIVERSITIES
声 明 本 人 郑 重 声 明 : 此 处 所 提 交 的 硕 士 学 位 论 文 基 于 等 级 工 鉴 定 的 远 程 考 试 系 统 客 户 端 开 发 与 实 现, 是 本 人 在 中 国 科 学 技 术 大 学 攻 读 硕 士 学 位 期 间, 在 导 师 指 导 下 进 行 的 研 究
中 国 科 学 技 术 大 学 硕 士 学 位 论 文 题 目 : 农 村 电 工 岗 位 培 训 考 核 与 鉴 定 ( 理 论 部 分 ) 的 计 算 机 远 程 考 试 系 统 ( 服 务 器 端 ) 的 开 发 与 实 现 英 文 题 目 :The Realization of Authenticating Examination System With Computer & Web for
Microsoft Word doc
中 考 英 语 科 考 试 标 准 及 试 卷 结 构 技 术 指 标 构 想 1 王 后 雄 童 祥 林 ( 华 中 师 范 大 学 考 试 研 究 院, 武 汉,430079, 湖 北 ) 提 要 : 本 文 从 结 构 模 式 内 容 要 素 能 力 要 素 题 型 要 素 难 度 要 素 分 数 要 素 时 限 要 素 等 方 面 细 致 分 析 了 中 考 英 语 科 试 卷 结 构 的
(Microsoft Word - 001\253\312\255\261.doc)
國 立 高 雄 師 範 大 學 國 文 學 系 博 士 論 文 海 陸 客 家 話 和 閩 南 語 構 詞 對 比 研 究 指 導 教 授 : 鍾 榮 富 博 士 研 究 生 : 邱 湘 雲 撰 中 華 民 國 九 十 五 年 一 月 摘 要 本 文 乃 為 比 較 臺 灣 海 陸 客 家 話 及 閩 南 語 的 構 詞 特 色 而 作, 包 括 詞 彙 的 語 音 構 詞 語 法 及 文 化 部
.1 Abstract LD MAX PCB MC P
10384 [ ] 9724002 UDC 155Mb/s (Wang Zengbo) 2001 5 2001 2001 2001 5 .1 Abstract.2.3 1.1 3 1.2.5 1.3.9 11 2.1.11 2.2 14 2.3.17.26 3.1.26 3.2 LD 26 3.3 MAX3263 31 3.4 PCB.37 45 4.1.46 4.2.46 4.3 50 4.4.55
厦门大学博士学位论文东南亚华侨民族主义发展研究 (1912-1928) 姓名 : 张坚申请学位级别 : 博士专业 : 专门史指导教师 : 李国樑 20020101 东南亚华侨民族主义发展研究
豐佳燕.PDF
Application of Information Literacy to chiayen@estmtc.tp.edu.tw information literacy Theme-oriented teaching. Abstract Based on the definition of Information Literacy and Six core concepts of the problem
Microsoft Word - 11月電子報1130.doc
發 行 人 : 楊 進 成 出 刊 日 期 2008 年 12 月 1 日, 第 38 期 第 1 頁 / 共 16 頁 封 面 圖 話 來 來 來, 來 葳 格 ; 玩 玩 玩, 玩 數 學 在 11 月 17 到 21 日 這 5 天 裡 每 天 一 個 題 目, 孩 子 們 依 據 不 同 年 段, 尋 找 屬 於 自 己 的 解 答, 這 些 數 學 題 目 和 校 園 情 境 緊 緊 結