电子字典软件原型及其实现技术  CNKI文献

本文介绍了８０３８６７１汉化Ｘｅｎｉｘ环境下用Ｃ语言开发的电子字典软件原型的设计及实现思想。给出了电子字典的形式化描述，详细讨论了声音、文字字符等数据的存储及编码技术。最后，提出了电子字典中采纳的几个...

林阿龙 花全香... 《小型微型计算机系统》 1994年08期 期刊

一种新的定性模拟算法QSIM  CNKI文献

给出了一组由系统的定性结构描述及初始状态导出定性行为的形式定义,并提出了一种新的定性模拟算法 QSIM(Qualitative Simu-lation).QSIM 能有效地导出系统的定性行为描述,预测出系统原先未知的某些临界值及其对应值....

林阿龙 《东南大学学报》 1990年06期 期刊

C源程序分析及理解的辅助工具—CAAT  CNKI文献

本文提出了一种辅助分析C源程序的工具—CAAT的实现思想,重点介绍了CAAT的核心内容——程序树的生成。

林阿龙 《小型微型计算机系统》 1992年01期 期刊

并行计算模型OOPCM  CNKI文献

本文提出了一个基于对象的并行计算模型OOPCM。文中阐述了对象的进程观点,讨论了OOPCM的二种通讯机制,证明了它们可归约为过去型消息传递及等待状态,并以一个具体实例说明了OOPCM的思想。

林阿龙 《东南大学学报》 1989年01期 期刊

80386PROLOG系统及其程序设计技术  CNKI文献

80386 PROLOG系统是我们在汉化Xenix系统支持下用C语言开发的又一个编译—解释系统,它扩充了面向过程和面向对象程序设计模式中的许多功能。包括:全局变量、数组、多重循环的描述手段以及模块化设施,并为解决复杂世界...

林阿龙 邢汉承 《计算机工程》 1991年06期 期刊

发声电子字典实现方案探讨  CNKI文献

本文深入探讨了发声电子字典的软件实现方案，提出了最适合字典快速查询的存贮结构。

林阿龙 《计算机工程与应用》 1995年01期 期刊

OOLPS中的封装及继承性  CNKI文献

对象程序设计是一种引人注目的程序设计方法学,其主要特点是支持数据抽象。继承性的引入大大削弱了对象语言的封装优点。本文考察及分析了对象语言中封装和继承性间的相互关系,介绍了在Dual系统83/20用NIT-PROLOG开发...

林阿龙 邢汉承 《东南大学学报》 1989年02期 期刊

A NEW QUALITATIVE SIMULATION ALGORITHM  CNKI文献

This paper gives a group of formal definitions of derivation of the qualitativebehavior of a system from the qualitative structural descriptions and the initial state of thesystem.A new qualitative s...

林阿龙 《Journal of Southeast University(English Edition)》 1991年02期 期刊

80386PROLOG编译系统  CNKI文献

本文介绍了我们在汉化Xenix系统支持下开发的80386PROLOG编译系统的某些特色,描述了全局变量,模块程序设计及受限辖域的cut等功能在80386 PROLOG中的实现及使用方法.

林阿龙 邢东生... 《小型微型计算机系统》 1991年02期 期刊

逻辑程序设计语言LOGLISP的实现  CNKI文献

本文主要介绍逻辑程序设计语言LOGLISP的实现思想及采用的技术,介绍了LOGIC中的“语义合一”及“LISP归约”技术,讨论了“LISP专用形归结”原理。对“Cut”算子的实现提出了不同的思想。最后,简要说明了LOGIC中的演绎...

林阿龙 《计算机工程》 1987年05期 期刊

EDDP系统的设计与实现  CNKI文献

本文介绍了电子字典数据处理及软件模型EDDP系统的设计及实现思想.EDDP是我们在软件原型开发环境PROLOG386~*下研制的电子字典模型及其数据处理系统。由于电子字典具有信息量大、内部存贮结构复杂、大量使用模式匹配等...

林阿龙 黄可鸣... 《计算机工程与应用》 1991年11期 期刊

WDP系统的设计与实现  CNKI文献

本文介绍我们在IBM PC机上开发的水位数据处理系统WDP中为解决潮位识别问题而采用的若干主要算法及其处理思想。由于水位数据信息量大且受外界影响的因素复杂,因此,目前尚没有比较成熟可循的算法能用来找出一天潮位的...

林阿龙 《计算机工程与应用》 1990年03期 期刊

面向对象的程序设计语言  CNKI文献

本文简要介绍了面向对象的程序设计语言的思想方法,并以Smalltalk-80为例对面向对象的程序设计的机制作了详细介绍。

邢汉承 林阿龙 《计算机工程》 1988年04期 期刊

逻辑程序设计系统LOGIC  CNKI文献

本文主要介绍在IBMPC/XT,AT机上开发的函数型与逻辑型相结合的程序设计系统LOGIC的实现思想。介绍了LOGIC的计算机制。较为详细地讨论了LOGIC的启发式搜索技术,对“启发式搜索”中“代价步增量”的影响作了简要分析。...

邢汉承 林阿龙 《计算机工程与应用》 1987年05期 期刊