【摘 要】
：
Garment是一种基于"面向模型的变换型软件开发方法"的语言抽象和封装机制,用抽象程度高的Garment元语言描述领域语言的语法结构及其转换方式,生成该领域语言的编译器,完成了
论文部分内容阅读
Garment是一种基于"面向模型的变换型软件开发方法"的语言抽象和封装机制,用抽象程度高的Garment元语言描述领域语言的语法结构及其转换方式,生成该领域语言的编译器,完成了对一个领域语言的定义和实现.将Garment与Ada95结合,得到了GarAda(GarmentforAda95)元语音该语言将Ada95作为变换的目标语言.GarAda语言开发环境研究的主要工作是实现这个GarAda语言的开发环境,称为GarAda系统.这个系统不仅支持各种基于Ada95的、面向问题领域的专用语言的实现,同时也为用户使用所开发的领域语言进行程序设计提供一个实用的环境.该文详细介绍了GarAda系统的设计和实现.同时也指出了当前实现中的问题和解决方法.
其他文献
混合有限元是求解不可压流体方程的一种重要方法，它相对于一般的有限元方法，有很多的优点。在计算流体问题时，通常的有限元是把速度和压力分开来求解，先计算压力，然后对压力求导之
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
研究人员主要考虑基于常微分方程的无约束优化问题的数值解法.在第一章,研究人员简单的介绍了最优化问题和动力系统的一些基本概念.在第二章研究人员主要考虑了基于连续动力
K(a)hler流形上的全纯曲率与Ricci曲率之间的关系一直是人们关心的课题。在负全纯曲率的情形，Yau猜测这样的流形的典范丛是丰富的。最近Wu-Yau在射影流形情形下给出了证明，Tosa
本文介绍的分数次Porous Medium方程，又称为带分数次压力项的PorousMedium方程。这个方程自从被提出来以后，吸引了大批科研工作者的目光。它将Riesz位势与经典的气体在均匀有孔
细分造型技术是一种以网格细分为特征的造型方法，比传统造型方法有很多优势，其在特征动画和曲面造型方面有着极大的应用价值。根据细分曲面是否插值控制多边形分可分为逼近型和
2003年9月，芝加哥期权交易所(CBOE)推出了全新的波动率指数(VIX)计算公式，使其可以更加真实地反映标准普尔500指数期权交易的市场30天隐含波动率水平。2004年3月，CBOE专门成立了
第一部分主要介绍了down-up代数的起源以及给出它的定义，同时也举了熟悉的down-up代数的例子，发现李代数的包络代数在某些基下是down-up代数。而第二部分讲的是关于down-up代数
物流运输是国民经济重要产业，是国家发展水平的重要指标，也是当今发展迅猛的行业之一，平均每年都以翻倍的速度在增长。而物流运输中的重要环节，就是车辆路径问题，其运营效率的好坏
甘肃省电力营销计算机管理信息系统经过多年的建设已经取得了很大的成绩,然而,这些系统存在这样或那样的缺陷和不足,该文所研发的甘肃省电力营销决策支持系统是根据当前电力