题名 | SAQ规约库管理系统的扩充、重新实现和一个应用 |
作者 | 万战勇 |
学位类别 | 博士 |
答辩日期 | 1997 |
授予单位 | 中国科学院软件研究所 |
授予地点 | 中国科学院软件研究所 |
关键词 | 规约库 实例库 乐谱 |
学位专业 | 计算机软件 |
中文摘要 | 如何获得形式规约,以及如何使形式规约与用户的真实需求相符合,是软件工程的源头根本问题之一。SAQ系统中形式规约的获取、复用和检验,都依赖于规约库管理系统SpecBMS的支持。本文提出给规约库管理系统增加实例库管理的功能,以更好地支持大型规约的获取和检验。 文中讨论了扩充实例库的方案、SpecBMS的重新设计以及在此基础上实现一个乐谱处理系统SMART的形式规约。SAQ用上下文无关法描述概念,概念的一个合法句子被称作该概念的实例。实例库就是存放和管理规约库中概念的实例的地方。用户可以通过FDL的内部函数或交互式的实例浏览器去访问实例库的内容。为了提高系统效率和代码可读性,并配合实例库的设计,笔者用面向对象的方法重新设计实现了SpecBMS。SMART是笔者为了弥补传统音乐记谱方式的不足而提出的一种可用上下文无关方法描述的音乐记谱体系。SMART支持音符、音色、和弦、旋律、和声等概念,并用FDL语言实现了节拍变化、音乐的转调、合成和演奏等运算。SMART的输出结果可以经过一个翻译器转化为标准MIDI文件在任何支持通用MIDI标准的音源上演奏。笔者已用SMART系统完成了数首多声部乐曲的记谱和演奏。 |
语种 | 中文 |
公开日期 | 2011-03-17 |
页码 | 31 |
内容类型 | 学位论文 |
源URL | [http://ir.iscas.ac.cn/handle/311060/7102] ![]() |
专题 | 软件研究所_中科院软件所_中科院软件所 |
推荐引用方式 GB/T 7714 | 万战勇. SAQ规约库管理系统的扩充、重新实现和一个应用[D]. 中国科学院软件研究所. 中国科学院软件研究所. 1997. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论