[00839893]PROLOG抽象机的软件实现、硬件模拟设计与应用开发
交易价格:
面议
所属行业:
软件
类型:
非专利
交易方式:
资料待完善
联系人:
所在地:
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
PROLOG语言起源于HOM子句逻辑程序设计,它适用于各种专家系统、人机自然语言通讯、机器人控制等。该课题在32位高档微机上研制了UN1MA-PROLOG解释系统及其程序设计环境,在HP9000/825工作站上的性能达到5KL1PS以上,在此基础上提出了一种新的PROLOG抽象机PAM以及支持PAM的PROLOG编译系统和VL1M结构的新型PROLOG机SPORT。性能测试表明,PAM比国际上广泛采用的WAM快10-50%,SPORT在100ns机器周期下性能超过200KLIPS。还进行一系列应用开发,如一个Petri网的模拟系统、一个DEC-10PROLOG的程序设计环境、一个数据通讯协议模拟、一个英汉实验性机器翻译系统、一个计算教师工作量的实用管理系统。
PROLOG语言起源于HOM子句逻辑程序设计,它适用于各种专家系统、人机自然语言通讯、机器人控制等。该课题在32位高档微机上研制了UN1MA-PROLOG解释系统及其程序设计环境,在HP9000/825工作站上的性能达到5KL1PS以上,在此基础上提出了一种新的PROLOG抽象机PAM以及支持PAM的PROLOG编译系统和VL1M结构的新型PROLOG机SPORT。性能测试表明,PAM比国际上广泛采用的WAM快10-50%,SPORT在100ns机器周期下性能超过200KLIPS。还进行一系列应用开发,如一个Petri网的模拟系统、一个DEC-10PROLOG的程序设计环境、一个数据通讯协议模拟、一个英汉实验性机器翻译系统、一个计算教师工作量的实用管理系统。