论文部分内容阅读
<正>一、变换的意义 变换方法是指一个较为抽象的定义被重复地变换和细化,通过更加具体形式,直至一个目标系统的生成。其基本目标是实现一个程序到另一个程序的等价转换。近几年来,程序变换一直是计算机研
支持软件开发的变换方法
【摘 要】
：
<正>一、变换的意义 变换方法是指一个较为抽象的定义被重复地变换和细化,通过更加具体形式,直至一个目标系统的生成。其基本目标是实现一个程序到另一个程序的等价转换。
【机 构】
：
浙江大学人工智能研究所
【出 处】
：
计算机科学
【发表日期】
：
1997年5期
【基金项目】
：
国家自然科学基金
其他文献
人行横道警示系统是近年来用于提高人行横道可见性的系统。选择安装在济南市大明湖路上的人行横道警示系统作为评价对象,运用对照试验的方法,采取行人过街时平均通过人行横道
<正>自八十年代早期已来,国内外的学术界和软件界都十分重视复有技术的研究和应用,软件复用是指在构造新更多还原
为确定南京河西地区砂性土的地基承载力,在某项目场地进行了8组不同深度的旁压试验,并通过室内土工实验获得了砂性土的物理力学参数,最后将旁压试验测得的地基承载力与按物理
近日,ARRI发布专为广电多机位应用设计的新版AMIRA摄影机——AMIRA Live。AMIRA Live机身与光纤适配器之间不再通过线材连接,机身更加整洁。ARRI同时推出搭载丰富新功能的软
<正>今天,用户的程序开发工作,很大程度上是在进行界面设计,其工作量往往占到整个开发作的60%一70%。目前开发图形界面决不仅限于Windows,在小型机,工作站,甚至某些高档机上,
党的十九届五中全会指出我国已转向高质量发展阶段,这为公共图书馆的发展创造了新的机遇。文章结合公共图书馆的探索与实践,归纳出高质量发展时期公共图书馆的十个新主题,包
通过结合求解双曲型守恒律的5阶紧凑 CWENO 格式和半离散中心迎风格式，推广应用于求解一维理想磁流体力学方程，得到计算一维理想磁流体力学方程的5阶紧凑 CWENO 中心迎风格式。
STEAM教育本质上是跨学科的,旨在倡导学生融合多学科知识,综合解决复杂问题,不断促进其高阶思维能力的发展。跨学科教研是STEAM教学有效实施的前提,特别注重学科知识间的关联
<正>在现实应用中有一类应用不仅要求数据库系统能够存取大量的数据,而且要求数据库系统能够对所存贮数据进行知识推理,我们称这类应用是基于知识的数据密集型应用。很多迹象
<正>一、引言70、80年代,以结构化方法为代表的软件工程方法使得人们开发软件按步骤,有章可循地组织完