首页> 中文期刊> 《计算机应用与软件》 >程序变换及其在快速成型技术中的应用

程序变换及其在快速成型技术中的应用

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

cqvip:快速成型是八十年代出现的一种新型软件开发技术,本文从程序变换这一角度出发对快速成型作了探讨。文章叙述了程序交换的基本原理,基于这些原理,研究了从抽象的、不可运行的形式化规格说明变换到具体的、可执行程序的可能性。

著录项

来源
《计算机应用与软件》 |1990年第6期|12-1611|共6页
作者
潘锦平; 王小军;
展开▼
作者单位

不详;

不详;

展开▼
原文格式 PDF
正文语种 CHI
中图分类 TP311.52;
关键词
程序变换; 快速成型技术; 软件开发;

相似文献

中文文献
外文文献
专利

1. 快速成型技术及其在铸造中的应用(二)快速成型技术在消失模铸造模具中的应用 [J] . 吴志超 ,叶升平 ,黄乃瑜 . 中国铸造装备与技术 . 2002,第003期
2. 快速成型技术及其在铸造中的应用(三)快速成型技术在黑色金属模具上的应用 [J] . 吴志超 ,叶升平 ,黄乃瑜 . 中国铸造装备与技术 . 2002,第004期
3. Mathematica在横向程序变换中的应用 [J] . 徐锋峰 ,蔡经球 . 小型微型计算机系统 . 1999,第010期
4. 递归程序变换在特殊函数公式推导中的应用 [J] . 蔡经球 . 小型微型计算机系统 . 1993,第005期
5. 快速成型技术在铸造模具制造中的应用研究 [J] . 曹健 . 南方农机 . 2020,第005期
6. 逆向工程及快速成型技术在手术治疗骨盆骨折畸形愈合中的应用 [C] . 贺宇 ,周东生 ,卢舜 . 第七届《中华骨科杂志》论坛 . 2014
7. 数字模拟结合三维快速成型技术在面部轮廓整形中的应用研究 [A] . 谢淦 . 2017

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号