映像和元对象协议实现面向方面编程技术 被引量：1

1

作者 臧海运 冯志勇 《计算机应用》 CSCD 北大核心 2004年第4期34-37,共4页

文中介绍了AOP的基本思想,通过学生课程注册管理系统重点叙述映像和元程序设计是如何实现AOP,指出映像和元程序设计实现AOP的优点和不足。

关键词 关注点 面向方面编程 AOP 映像 元关联 元程序 MOP

下载PDF 职称材料

一种新型程序设计范型概述 被引量：4

2

作者 杨波 《计算机工程与应用》 CSCD 北大核心 2009年第34期71-73,共3页

介绍了一种新型程序设计范型——生成式程序设计提出的背景和意义、概念、分类、研究概况、存在的问题以及进一步的研究方向。

关键词 程序设计范型 生成式程序设计 方面 元程序设计 模型驱动

下载PDF 职称材料

函数式程序模板元编程的元建模实现方法 被引量：1

3

作者 祝义 黄志球 +1 位作者 周航 刘林源 《计算机工程与应用》 CSCD 北大核心 2018年第7期1-10,共10页

针对函数式程序模板元编程的通用性问题,以应用类型系统ATS(Applied Type System)为例,提出了一种基于元建模的模板元编程实现方法。基于ATS模板元编程给出从枚举类型Datatype到Function的生成实例;通过元建模构造了包含Datatype与Funct... 针对函数式程序模板元编程的通用性问题,以应用类型系统ATS(Applied Type System)为例,提出了一种基于元建模的模板元编程实现方法。基于ATS模板元编程给出从枚举类型Datatype到Function的生成实例;通过元建模构造了包含Datatype与Function定义的ATS元模型;详细描述了Datatype模型到Function模型的转换;最后以一个基于元建模的ATS模板元编程为例,讨论了该方法的使用效果。实验结果表明该方法可以提高ATS模板元编程的通用性。 展开更多

关键词 函数式程序 应用类型系统 模板 元编程 模型转换

下载PDF 职称材料

实用元程序设计技术

4

作者 张长海 袁琦 刘磊 《吉林大学自然科学学报》 CAS CSCD 1997年第3期41-42,共2页

给出了一种应用于微机的实用元程序设计技术，并利用这一技术在微机上成功的开发了一个元程序设计系统．

关键词 元级操作 元程序设计 OOFL语言 程序设计

下载PDF 职称材料

元程序设计环境的自动生成技术实现

5

作者 金龙飞 刘磊 《吉林大学学报（信息科学版）》 CAS 2005年第6期644-649,共6页

针对因目标程序和元程序的复杂性而导致元程序设计环境的构造过程十分复杂的问题,将面向对象的方法应用于元程序设计环境的自动生成技术,并以此为基础,实现了一个支持多种环境语言(实现元程序的语言)的元程序设计环境自动生成系统———... 针对因目标程序和元程序的复杂性而导致元程序设计环境的构造过程十分复杂的问题,将面向对象的方法应用于元程序设计环境的自动生成技术,并以此为基础,实现了一个支持多种环境语言(实现元程序的语言)的元程序设计环境自动生成系统———O-MPS。实验结果表明,该系统可以根据用户提供的说明自动生成元程序设计环境,O-MPS生成的元程序设计环境包含丰富的元级操作,支持中间表示和元级操作的同时扩展,为灵活高效地进行元程序设计提供了支持。 展开更多

关键词 元程序 自动生成 元级操作 中间表示

下载PDF 职称材料

基于规则系统的元级结构

6

作者 陈德运 李秀忠 陈是荣 《哈尔滨科学技术大学学报》 1993年第2期39-43,共5页

论述了目前基于规则系统的主要限制,并对元知识领域关键性问题进行分析,在 ESDT-HKD 统系基础上提出一个元知识表示和使用的元级结构模型,并对模型的关键性问题进行了分析和探讨.

关键词 规则系统 元级结构 元级规划

下载PDF 职称材料

逻辑程序设计语言Gdel与Prolog的比较

7

作者 昌杰 赵致琢 +1 位作者 李慧琪 高伟 《智能系统学报》 2009年第2期163-168,共6页

在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较了逻辑程序设计语言Gdel与Prolog的联系与区别,通过比较分析,表明由于摒弃了Prolog语言中的非逻辑成分... 在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较了逻辑程序设计语言Gdel与Prolog的联系与区别,通过比较分析,表明由于摒弃了Prolog语言中的非逻辑成分,引入了多种新的语言成分,Gdel语言具有更好的说明性语义和执行效率. 展开更多

关键词 Gdel语言 PROLOG语言 模块系统 类型系统 控制机制 元程序设计

下载PDF 职称材料

Prolog与Gdel语言元程序设计的对比研究

8

作者 昌杰 郑尚志 《巢湖学院学报》 2008年第6期30-32,共3页

元程序设计是许多逻辑程序语言具有的重要特点。研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义。Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能。通过对这两种语言... 元程序设计是许多逻辑程序语言具有的重要特点。研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义。Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能。通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,通过比较分析,表明Gdel语言具有更好的说明性语义和执行效率。 展开更多

关键词 GODEL语言 元程序设计 基本表示 非基本表示

下载PDF 职称材料

基于PROLOG元级扩充的知识消化系统 被引量：3

9

作者 万金友 王晓国 +1 位作者 吴永明 杨振山 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 1997年第5期588-592,共5页

通过对TURBOPROLOG进行元级扩充，实现了一个能在知识获取时对新知识进行逻辑一致性检测的实用知识消化系统，所采用的技术和方法对提高微机PROLOG知识库系统的质量和性能有重要参考价值.

关键词 计算机原理 知识消化 元级扩充 元逻辑程序

下载PDF 职称材料

一种自适应的引用计数智能指针的实现 被引量：2

10

作者 张彤 何源 《成都大学学报（自然科学版）》 2007年第1期55-57,共3页

讨论智能指针的一般功能,同时使用模板偏特化和模板元编程计数给出一种自适应包含类型的实现.

关键词 C++ 智能指针 引用计数 模板偏特化 模板元编程

下载PDF 职称材料

函数式元编程语言的设计要素 被引量：1

11

作者 欧阳坚 罗晓光 +2 位作者 王生原 戴桂兰 张素琴 《计算机科学》 CSCD 北大核心 2006年第3期234-238,共5页

本文介绍基于函数式语言的元编程系统,讨论元编程系统特别是同构系统的语言特点。从程序反射的角度分析元编程系统对程序设计语言在自我表示、自我分析和控制等方面的要求。以 MetaML 和 Template Haskell 为例论述在函数式语言中为了... 本文介绍基于函数式语言的元编程系统,讨论元编程系统特别是同构系统的语言特点。从程序反射的角度分析元编程系统对程序设计语言在自我表示、自我分析和控制等方面的要求。以 MetaML 和 Template Haskell 为例论述在函数式语言中为了支持元编程需要扩展的机制,包括语法、语义、类型系统、安全的变量使用等,以及它们的实现方案、各方案的特点。最后总结一些元编程系统的共同点,并预测未来的发展趋势。 展开更多

关键词 函数式语言 程序反射 元编程系统 同构系统

下载PDF 职称材料

一种基于模板元编程的量纲检测方法 被引量：1

12

作者 罗京丽 杜建革 《现代电子技术》 2009年第4期80-85,共6页

量纲误用是科学计算应用程序中一种常见的错误,对计算结果的正确性影响很大。在此提出一种基于模板元编程的量纲检测方法TADA,能够有效完成C和C++程序代码的量纲检测工作。该方法利用程序设计语言自身的模板元编程功能,通过定义相关的... 量纲误用是科学计算应用程序中一种常见的错误,对计算结果的正确性影响很大。在此提出一种基于模板元编程的量纲检测方法TADA,能够有效完成C和C++程序代码的量纲检测工作。该方法利用程序设计语言自身的模板元编程功能,通过定义相关的量纲模板及其计算和标注方法,依靠编译器在编译期间完成量纲分析和检测,无需任何运行开销,有效解决了传统量纲检测系统中解方程组的计算量瓶颈等问题。 展开更多

关键词 模板元编程 TADA 量纲 计算量瓶颈

下载PDF 职称材料

基于GLR的Quotation的自动生成技术

13

作者 于尚超 李阳 《计算机应用与软件》 CSCD 北大核心 2012年第11期215-216,224,共3页

代码的自动生成技术的应用范围越来越广,尤其是具有很大灵活性的解决方案。AutoQuotation就是这样一种代码生成技术,所产生的Quotation代码具有独立于平台的词法分析及语法分析程序,但是它的算法是自顶向下的,在实际引用中具有很大的局... 代码的自动生成技术的应用范围越来越广,尤其是具有很大灵活性的解决方案。AutoQuotation就是这样一种代码生成技术,所产生的Quotation代码具有独立于平台的词法分析及语法分析程序,但是它的算法是自顶向下的,在实际引用中具有很大的局限性。算法是程序的核心,采用的GLR(generalized LR)分析法,能够处理大部分的上下文无关文法,因而具有很高的实用性。描述一个自动生成系统,该系统能够根据文法自动生成Quotation代码,并自动进行Quotation注册。经测试系统能够处理回溯及左递归。 展开更多

关键词 GLR 引文 元编程

下载PDF 职称材料

基于Python的网管软件技术体系设计 被引量：2

14

作者 蒋洪磊 《无线电通信技术》 2015年第4期87-90,共4页

针对C/C++在网管开发中效率低下、维护和调试成本高的问题,提出采用动态语言Python所组成的轻量级开发架构。在介绍Python的动态类型系统及其元编程能力的基础上,给出在B/S架构的网管软件中设备监控、Web开发、ORM等技术选择:利用Pytho... 针对C/C++在网管开发中效率低下、维护和调试成本高的问题,提出采用动态语言Python所组成的轻量级开发架构。在介绍Python的动态类型系统及其元编程能力的基础上,给出在B/S架构的网管软件中设备监控、Web开发、ORM等技术选择:利用Python的数据结构来对二进制流格式进行描述,程序可以自动地在二进制流和JSON结构间进行双向转换。基于Flask的微Web框架,简单易用扩展,有着丰富的插件,支持服务器推送事件。SQLAlchemy作为Python中对象关系建模的事实标准,使得开发人员从各种数据库的差异中解脱出来。项目实践表明基于Python的实现代码简洁,可读性更强,具有快速开发优势。 展开更多

关键词 PYTHON 动态类型 元编程 设备监控 Web服务器架构 对象关系映射

下载PDF 职称材料

适用于C语言的对象模型的研究与实现 被引量：1

15

作者 孟繁超 叶会英 《计算机工程与设计》 CSCD 北大核心 2013年第4期1510-1516,共7页

为了解决在低端嵌入式设备中用C语言编写的代码难以维护以及重用率低等问题,提出了一种新的对象模型。将面向对象的思想与C语言开发相结合,利用现代C编译器的宏等特性以及元编程技巧,对C语言本身进行扩展,模拟了面向对象思想中单根继承... 为了解决在低端嵌入式设备中用C语言编写的代码难以维护以及重用率低等问题,提出了一种新的对象模型。将面向对象的思想与C语言开发相结合,利用现代C编译器的宏等特性以及元编程技巧,对C语言本身进行扩展,模拟了面向对象思想中单根继承,多态等特性,并在风格上和C++保持一致。在提升了其代码的可维护和可重用性的同时,简化了使用支持面向对象特性编程语言编写的代码向C语言移植的过程。 展开更多

关键词 元编程 面向对象 对象模型 嵌入式 C C++

下载PDF 职称材料

无线传感器网络中的进化规划重采样定位算法 被引量：1

16

作者 程伟 史浩山 李冬 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2011年第4期154-159,共6页

为了对无线传感器网络中随机分布的节点进行更精确的定位,提出了一种基于进化规划重采样的定位算法.在初始阶段进行位置采样并求得初始位置估计后,利用小规模的进化规划进行位置的重采样优化,然后使用迭代求得位置估计.在进化过程中,可... 为了对无线传感器网络中随机分布的节点进行更精确的定位,提出了一种基于进化规划重采样的定位算法.在初始阶段进行位置采样并求得初始位置估计后,利用小规模的进化规划进行位置的重采样优化,然后使用迭代求得位置估计.在进化过程中,可以使用标准进化规划和元进化规划两种方法来得到重采样位置.仿真结果表明:对比同类算法,该算法将平均定位误差降低了20%左右;相对于标准进化规划,采用元进化规划的重采样具有更强的自适应能力,对定位算法的精度提升更加显著. 展开更多

关键词 无线传感器网络 节点定位 进化算法 标准进化规划 元进化规划 重采样

下载PDF 职称材料

元程序设计方法实现的状态机复合者

17

作者 蔡文杰 《中山大学研究生学刊（自然科学与医学版）》 2003年第4期94-102,共9页

针对工作流系统在面向过程和面向功能方面的多变性,本文根据组件系统在面向功能方面的灵活性和有限状态机作为一种形式化方法能够清晰描述工作流过程的特点,提出了基于元程序设计方法的状态机复合者。我们采用了元层次体系结构。引入活... 针对工作流系统在面向过程和面向功能方面的多变性,本文根据组件系统在面向功能方面的灵活性和有限状态机作为一种形式化方法能够清晰描述工作流过程的特点,提出了基于元程序设计方法的状态机复合者。我们采用了元层次体系结构。引入活动组件,给出了状态机和动作组件元模型以及状态机复合者的形式化描述,从而显著的提高了工作流系统的可适配性,提出了一种可行的通过元对象对程序进行配置的结构化程序设计方法。 展开更多

关键词 组件系统 有限状态机 工作流 元程序设计方法 状态机复合者 元层次体系结构 动作组件 组件复合

下载PDF 职称材料

OCLIPS中RETE算法的改进实现

18

作者 吴志英 鲁汉榕 《计算机工程与设计》 CSCD 北大核心 1996年第3期22-27,共6页

ＲＥＴＥ算法是一种效率很高的模式匹配算法。但若实现得不当，也会出现效率低下的状况，其中模式的次序是影响效率的重要因素，鉴于此，在专家系统工具ＯＣＬＩＰＳ中，提出了几项原则用以调整模式间的次序，提高推理效率。文中最后，... ＲＥＴＥ算法是一种效率很高的模式匹配算法。但若实现得不当，也会出现效率低下的状况，其中模式的次序是影响效率的重要因素，鉴于此，在专家系统工具ＯＣＬＩＰＳ中，提出了几项原则用以调整模式间的次序，提高推理效率。文中最后，给出了有关的数据结构及实现算法。 展开更多

关键词 专家系统 专家系统工具 面向对象 算法

下载PDF 职称材料