Z规格说明中幂集算子自动求精的研究与实现

搜索高级搜索

原创毕业论文

Z规格说明中幂集算子自动求精的研究与实现

作者: 浏览:3次

免费专业论文
政治工作论文
计算机论文
营销专业论文
工程管理论文范文
医药医学论文范文
法律论文范文
生物专业论文
物理教学论文范文
人力资源论文范文
化学教学论文范文
电子专业论文范文
历史专业论文
电气工程论文
社会学专业论文
英语专业论文
行政管理论文范文
语文专业论文
电子商务论文范文
焊工钳工技师论文
社科文学论文
教育论文范文
数学论文范文
物流论文范文
建筑专业论文
食品专业论文
财务管理论文范文
工商管理论文范文
会计专业论文范文
专业论文格式
化工材料专业论文
英语教学专业论文
电子通信论文范文
旅游管理论文范文
环境科学专业论文
经济论文
人力资源论文范文
营销专业论文范文
财务管理论文范文
物流论文范文
财务会计论文范文
数学教育论文范文
数学与应用数学论文
电子商务论文范文
法律专业论文范文
工商管理论文范文
汉语言文学论文
计算机专业论文
环境艺术专业论文
信息计算科学专业
物流专业论文范文
人力资源论文范文
教育管理论文范文
现代教育技术论文
小学教育论文范文
机械模具专业论文
报告,总结,申请书
理工科专业论文
心理学论文范文
学前教育论文范文

毕业论文范文题目：Z规格说明中幂集算子自动求精的研究与实现，论文范文关键词：Z规格说明中幂集算子自动求精的研究与实现
Z规格说明中幂集算子自动求精的研究与实现毕业论文范文介绍开始：
【论文摘要】：在对软件的开发效率和安全性要求越来越高的时代,形式化方法以其固有的特性越来越受到人们的重视。Z语言就是形式化方法中具有代表性的一种形式规格说明,它语言精确、无二义性,可以用于推理和求精。求精是规格说明实现可执行化的重要过程,实现规格说明求精的自动性来代替以往的手（文章此处忽略..）动求精,可以为Z语言应用于更广泛的领域奠定基础。本文就是以Z规格说明的自动求精为目的,以Z规格说明的一个子集SmartZ为基础,结合C++,数据结构以及STL的相关知识,运用编译技术来实现SmartZ规格说明中幂集算子的自动求精。通过对幂集类型以及结构的深入分析（本文此处忽略..）,找到与之相似的STL容器的存储结构与数据结构,讨论了幂集类型在自动求精过程中的实现方式,并给出在求精过程中的算法以及规则。本文中构建了SmartZ自动求精的环境,运用编译技术实现了词法分析、语法分析、语义分析以及代码转换。通过剖析SmartZ的单词,将其具体分（此处忽略..）类,并将信息录入符号表;通过对SmartZ文法进行二义性和左递归的判定,使其转换为确定的文法,这样才可能进行自动求精的实现,同时,采用程序图形化表示方法,实现从语法图到代码程序的过渡,完成语法分析程序的实现;建立语义树,根据SmartZ规格说明的结构特点来确定语（略..）义树中的触发事件;最后,结合理论分析中的成果,在求精的最后阶段产生对应的目标代码。本文得出的结论是,在Z语言经过约束后得到的SmartZ的基础上,幂集的自动求精过程是可以实现的。既为Z规格说明自动求精的可行性做了一次验证,也为今后的继续研究提供了基础。

以上为本篇毕业论文范文Z规格说明中幂集算子自动求精的研究与实现的介绍部分。

本论文在免费论文栏目，由论文网(www.zjwd.net)整理,更多论文,请点论文范文查找

收费专业论文
汉语言文学论文
物理学论文
自动化专业论文
测控技术专业论文
历史学专业论文
机械模具专业论文
金融专业论文
电子通信专业论文
材料科学专业论文
英语专业论文
会计专业论文
行政管理专业论文
财务管理专业论文
电子商务国贸专业
法律专业论文
教育技术学专业论文
物流专业论文
人力资源专业论文
生物工程专业论文
市场营销专业论文
土木工程专业论文
化学工程专业论文
文化产业管理论文
工商管理专业论文
护理专业论文
数学教育专业论文
数学与应用数学专业
心理学专业论文
信息管理专业论文
工程管理专业论文
工业工程专业论文
制药工程专业论文
电子机电信息论文
现代教育技术专业
新闻专业论文
热能与动力设计论文
教育管理专业论文
日语专业论文
德语专业论文
轻化工程专业论文
社会工作专业论文
乡镇企业管理
给水排水专业
服装设计专业论文
电视制片管理专业
旅游管理专业论文
物业管理专业论文
信息管理专业论文
包装工程专业论文
印刷工程专业论文
动画专业论文
营销专业论文范文
工商管理论文范文
汉语言文学论文范文
法律专业论文范文
教育管理论文范文
小学教育论文范文
学前教育论文范文
财务会计论文范文

电子商务论文范文

上一篇：废聚苯乙烯泡沫塑料的降解、接枝..

下一篇：关于磁集成开关电源功率因数校正..