元程序设计

作品数:10被引量:7H指数:1
导出分析报告
相关领域:自动化与计算机技术建筑科学更多>>
相关作者:刘征辉张耀庭赵致琢饶林珠昌杰更多>>
相关机构:华中科技大学厦门大学江西财经大学南京航空航天大学更多>>
相关期刊:《软件学报》《巢湖学院学报》《中山大学研究生学刊(自然科学与医学版)》《计算机工程与应用》更多>>
相关基金:国家自然科学基金中国博士后科学基金江西省自然科学基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
一种新型程序设计范型概述被引量:4
《计算机工程与应用》2009年第34期71-73,共3页杨波 
国家自然科学基金No.60803105/F020606;江西省自然科学基金No.0611057;江西财经大学校级课题资助(No.2008年度序号35)~~
介绍了一种新型程序设计范型——生成式程序设计提出的背景和意义、概念、分类、研究概况、存在的问题以及进一步的研究方向。
关键词:程序设计范型 生成式程序设计 方面 元程序设计 模型驱动 
逻辑程序设计语言Gdel与Prolog的比较
《智能系统学报》2009年第2期163-168,共6页昌杰 赵致琢 李慧琪 高伟 
在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较了逻辑程序设计语言Gdel与Prolog的联系与区别,通过比较分析,表明由于摒弃了Prolog语言中的非逻辑成分...
关键词:Gdel语言 PROLOG语言 模块系统 类型系统 控制机制 元程序设计 
基于无粘结预应力混凝土简支梁动力有限元程序设计
《南阳理工学院学报》2009年第1期36-39,共4页张耀庭 饶林珠 
本文在预应力砼基本理论和动力有限元分析的基础上,考虑预应力对刚度的影响,进行了无粘结预应力动力有限元的程序设计。对无粘结预应力混凝土简支梁的动力性能,运用所编程序进行了分析计算,计算结果表明,本文所编制的有限元分析程序在...
关键词:无粘结 混凝土梁 有限元 固有频率 动力响应 
Prolog与Gdel语言元程序设计的对比研究
《巢湖学院学报》2008年第6期30-32,共3页昌杰 郑尚志 
元程序设计是许多逻辑程序语言具有的重要特点。研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义。Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能。通过对这两种语言...
关键词:GODEL语言 元程序设计 基本表示 非基本表示 
有粘结预应力混凝土简支梁动力有限元程序设计被引量:1
《华中科技大学学报(城市科学版)》2008年第1期8-11,共4页张耀庭 刘征辉 方东 
华中科技大学博士后基金
本文对有粘结预应力混凝土简支梁进行动力有限元程序设计。用平面四边形等参单元模拟混凝土单元,将钢筋分布到混凝土单元中;混凝土和钢筋均采用线弹性本构关系;力筋预应力对梁刚度和频率的影响,参考有关文献方法来修正刚度矩阵;特征值...
关键词:有粘结 预应力 混凝土梁 有限元 固有频率 
元程序设计方法实现的状态机复合者
《中山大学研究生学刊(自然科学与医学版)》2003年第4期94-102,共9页蔡文杰 
针对工作流系统在面向过程和面向功能方面的多变性,本文根据组件系统在面向功能方面的灵活性和有限状态机作为一种形式化方法能够清晰描述工作流过程的特点,提出了基于元程序设计方法的状态机复合者。我们采用了元层次体系结构。引入活...
关键词:组件系统 有限状态机 工作流 元程序设计方法 状态机复合者 元层次体系结构 动作组件 组件复合 
面向对象的随机有限元程序设计被引量:1
《计算机工程与应用》2001年第16期5-8,29,共5页马海全 温卫东 崔海涛 
国家自然科学基金(编号:59875037); 中国博士后基金资助
引入面向对象的程序设计方法,利用随机有限元法的通用性及其灵活性,结合C++语言的封装性、继承性和多态性等优点,采用Visual C++ 6.0设计了泰勒展开随机有限元和基于随机场局部平均理论的摄动随机有限元法相关的类及其方法,并...
关键词:面向对象 随机有限元法 VISUAL C++6.0 程序设计 
基于面向对象的动力有限元程序设计
《交通与计算机》2001年第z1期86-88,共3页刘■ 李晓彬 吴卫国 李卫华 
介绍了运用面向对象的思想来实现动力有限元程序的一些尝试和体会。阐述了面向对象思想运用于有限元软件的必然性 ,并以动力有限元程序设计为例说明了其可行性。
关键词:有限元法 面向对象方法 
实用元程序设计技术
《吉林大学自然科学学报》1997年第3期41-42,共2页张长海 袁琦 刘磊 
给出了一种应用于微机的实用元程序设计技术,并利用这一技术在微机上成功的开发了一个元程序设计系统.
关键词:元级操作 元程序设计 OOFL语言 程序设计 
基于类型理论的递旧元程序设计被引量:1
《软件学报》1994年第8期30-35,共6页谭庆平 陈火旺 
本文提出在LF类型理论中定义一组相互递归类型的方法,并对递归类型赋予操作语义.这样,递归类型不仅可以表示通常的递归数据结构,还可描述一般的递归问题求解、递归证明构造和递归程序构造过程.
关键词:类型理论 递归 程序设计 数据结构 
检索报告 对象比较 聚类工具 使用帮助 返回顶部