The Engineering Design Models are used to demonstrate a subset of cryptographic functions and features.
工程设计模块用于演示加密功能和特性。
Constraint solver is the conversion from dependence relationship of features to geometry or engineering expression, then achieve the design by solving the constraint.
约束求解是将特征间的相互依赖关系映射为几何或工程约束描述,通过求解约束实现设计对象的细节。
This paper deals with a general-purpose knowledge engineering language ACLIPS, its key facilities and features. The design and implementation of blackboard system in ACLIPS described in detail.
本文在全面介绍通用型知识工程语言ACLIPS的主要功能和特点的基础上,重点讨论了其黑板体系结构的设计与实现方法。
应用推荐