In addition, some key techniques, such as the real case expression, similar case inquiry and real case modification, were introduced.QQSTC was successfully used in the Puqi Bridge Crane factory.

• 文章还对实例推理的一些关键技术，如实例表达、相似实例检索及实例修改等进行了研究。