排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
LKo是一个将面向对象和逻辑范型相结合,用于基于知识系统的形式化开发模型,其中逻辑对象是集状态、约束、行为、继承于一体的抽象实体.它支持框架、规则、语义网络、黑板等多种知识表示,因而可用来形式地描述基于知识系统的需求规范.在知识获取过程中通过对形式规范反复地修改、验证及确认而形成软件原型. 相似文献
2.
Java虚拟机新技术探讨 总被引:5,自引:1,他引:4
Java语言的运行环境(Java平台)由Java虚拟机和应用编程接口(API,也叫运行类库)两部分组成,其中虚拟机是程序运行的引擎,主要完成字节码解释执行、线程同步、垃圾回收等功能,它所使用的技术决定了程序的运行速度.文中从几个主要方面介绍了当前Java虚拟机实现所使用的主要新技术. 相似文献
1