ND—Polya类比实现技术

从认识论和方法论的角度来看,分类不是认识事物解决问题的唯一方法,类比同样十分重要然而传统的继承只体现分类的方法,自行设计的面向对象语言ＮＤ－Ｐｏｌｙａ通过引和新的继承机制－柔性继承来支持类比方法。     

Managed DirectX三维建模技术中的类实现

三维建模技术是进行三维仿真的基础，使用高级语言和图形接口进行三维建模的开发是根本的解决方法。针对目前．NET技术的快速发展与应用，采用．NET语言和Managed DirectX技术进行开发，对基于Managed DirectX的三维建模技术中的三维模型类进行了研究及实现，并在．NET环境下开发了三维模型基类库，其中使用了参数化建模方法。最终实现了基本的三维建模类，在此基础上可进一步开发出通用的三维建模器。Managed DirectX作为DirectX中重要的成员，为基于．NET框架开发三维图形应用程序提供了极大的方便。     

柔性继承机制的设计与实现

继承是面向对象程序设计方法中的重要特征之一。在分析了传统继承机制不足的基础上,将类比理论引入面向对象,提出了一种新的继承机制－－柔性继承机制。该机制在面向对象程序设计中增加了相似类、相似属性和相似方法的类比应定义及类比分析和推导方法,同时支持子类关系和类比关系,从而可增加灵活而有效地对已有软件进行复用。最后,介绍了支持柔性继承机制的语言ND＿Polya及其支撑系统的设计和实现。     

鼠标跟踪球技术的简单类实现

鼠标跟踪球技术是图形环境中一种重要的人机交互手段。文章分析了跟踪球技术的原理和机制，以短小精悍的形式实现了一个跟踪球类。实际应用表明，类程序运行快速稳定，可用于一般的图形交互程序中。     

利用绑定技术实现分布式继承

面向对象编程语言的继承机制实现了子类和父类间is-a的关系,子类对象成为一个有效的父类对象,具有了父类对象的功能,实现了继承和扩展父类的目的。但是继承难以在分布式环境中跨网络实现,难以实现异构的分布式对象间的继承,所以在借鉴已有绑定技术的基础上,文章将绑定应用到分布式对象之间,提出了一种新的分布式继承模型:利用分布式对象间的绑定来增强和扩展分布式对象的功能,从而达到一种分布式继承的效果。     

Managed DirectX三维建模技术中的类实现

三维建模技术是进行三维仿真的基础,使用高级语言和图形接口进行三维建模的开发是根本的解决方法。针对目前.NET技术的快速发展与应用,采用.NET语言和Managed DirectX技术进行开发,对基于Managed DirectX的三维建模技术中的三维模型类进行了研究及实现,并在.NET环境下开发了三维模型基类库,其中使用了参数化建模方法。最终实现了基本的三维建模类,在此基础上可进一步开发出通用的三维建模器。Managed DirectX作为DirectX中重要的成员,为基于.NET框架开发三维图形应用程序提供了极大的方便。     

数据仓库技术及其实现

数据仓库是近年来信息领域发展迅速的一门学科.该文就数据仓库产生的背景,数据仓库的概念、基本特征体系结构进行了论述,并提出了实现数据仓库的基本步骤和应注意的问题.     

类比转换原理及其实现

类比转换完成将已知情况（称基）的知识引入到相似新情况（称靶），从而求解靶或学习到关于靶的新知识．本文的类比转换原理讨论了如何选择最佳映射，怎样在靶中创建对象和谓词，以及转换基中那些命题到靶．并基于该原理设计了类比转换的计算模型，实现了类比转换器ＡＴＥ．实例分析表明ＡＴＥ生成的类比结论既具创造性，又有较高可信度．     

高速计算机网络协议实现技术

协议实现技术是影响高速计算机网络性能的一重要因素，本文对协议实现技术做了深入的分析和探讨，研究了硬件实现技术、并行实现技术，对软件实现新技术－－流机制进行了分析和分析。     

Tuili(推理)语言的编译方法与实现技术

通用交互式逻辑推理语言Tuili是能够进行不同方向并能选择不同搜索策略进行推理的人工智能语言,特别适合快速建造专家系统或基于知识的系统。它的实现将使这一新颖的推理语言的应用成为可能。本文给出作者已经实现的一个Tuili系统中用到的编译方法和主要的实现技术。     

主存数据库中恢复问题的研究与实现

主存数据库ＭＭＤＢ是在应用驱动下，硬件和体系结构的发展，特别是在出现大容量内存的情况下而产生的。由于环境的不同，使ＭＭＤＢ数据库管理系统在实现技术的各个方面均表现出与传统的ＤＲＤＢ不同的特性。本文研究ＭＭＤＢ的恢复技术，并讨论恢复技术在ＥＤＳＴ－ＭＭＤＢ原型系统中的具体实现。     

数据挖掘及其技术实现

数据挖掘解决在信息技术发展中存在的拥有大量数据但缺乏有用信息的问题,完成从业务数据到决策信息的转换。本论述了数据挖掘的概念及其工作流程,针对不同的功能类型对数据挖掘的技术实现进行了分析,并且阐明了数据挖掘设计和实现中的若干关键问题。     

全自动 GLSTMDS 系统的实现技术

本文介绍了GLSTMDS通用大比例尺地形图计算机绘制系统实现过程中所采用的几个有效技术.该系统建立了一个较全的地物符号库,利用原始测量数据驱动地物符号的输出,并利用2(1/2)维消隐算法解决了地物符号之间的交叉覆盖问题.系统中新开发了一个实用三次样条函数,解决了等高线稠密区拟合时易发生相交这个一直未能有效解决的问题.     

分布式共享内存的技术和实现

分布式共享内存结合了布式内存结构与共享存储结构的优点，具有可扩充性、通过性性、方便性，本文论述了在实现ＤＳＭ系统中存在的问题，并讨论了ＤＳＭ系统在软件硬件方面所做的工作和采取的措施。     

进程及应用程序间通信的实现技术

本文介绍了进程间通信与应用程序间通信的含义及相应的实现技术,并对这些技术的原理、特性等进行了分析。     

函数式语言编译中多态类型的实现技术

函数式程度设计语言的重要特点之一是多态类型。它有很强的功能，是所有面向对象的程度设计语言实现多态性的重要机制之一。它的实现与基本数据类型和其它复合类型大不相同。本文给出实现多态类型的重要数据结构，通过剖析ＳＭＬ函数式程度设计语言编译程序中的类型推导过程，提示了多态类型的基本特征及其实现技术。     

Prolog实现技术中的原型共享思想

本文介绍了ＧＯＡＭ──一个新的Ｐｒｏｌｏｇ语言抽象机器中的原型共享思想．采用原型共享技术可以明显地降低Ｐｒｏｌｏｇ程序运行时的空间消耗量,在一定程度上解决了Ｐｒｏｌｏｇ语言特有的难题──“栈溢出”问题．     

ND-P0lya中协变-反变问题的处理方法

协变－反变问题讨论面向对象语言中继承机制和多态计算的关系,晃当前面向对象程序设计语言中的一个重要的理论问题。反变的方法重定义不符合思维习惯,一盘采用协变精化的设计方法。但抛弃反变后的面向对象程序设计,在多态计算中会产生类型问题。针对这一问题,该文基于Ｃａｓｔａｇｎａ的重载函数模型,提出处理协变相关类型问题的类型系统和计算模型,并在ＮＤ－Ｐｏｌｙａ语言及系统中具体实现。该方法可以应用到其它协变面向对