1.
A chemical reaction system based on a knowledge-base and automated reasoning
一个基于知识库及自动推理机制的化学反应系统
2.
self propelled bulldozer and angledozer
自动推进的推土机和斜铲推土机
3.
Fuzzy Cognitive Maps for Decision Support in Automatic Intrusion Response Mechanism
基于模糊认知图的自动入侵响应决策推理机制
4.
The Research of Automatic Question Answering System on the Basis of Case Reasoning Mechanism;
基于案例推理机制的自动答疑系统研究
5.
Identifying Language and Solving Logic problems Based on Super Automata
基于超级自动机的语言识别及逻辑推理
6.
Event reconstruction algorithm based on timed finite state machine
基于时间有限状态自动机的事件重建推理算法
7.
Research and Realization of Reduction to Absurdity in Computer Automatic Reasoning System
反证法在计算机自动推理系统中的研究与实现
8.
Research on adding auxiliary line and auxiliary point in computer automatic reasoning
添加辅助线辅助点在计算机自动推理中的研究
9.
pusher-equipped sircraft
装有自动推杆器的飞机
10.
auto feed drifter
自动推进架式凿岩机
11.
self-propelling brush
(筛选机)自动推进刷
12.
State Transition Diagram of Pushdown Automata and Simplification of Pushdown Automata
下推自动机的状态转换图与下推自动机的化简
13.
Automated Reasoning Based on Tableaux;
基于tableau的自动推理研究
14.
Research on the Theory & Method of Trust Vector Measurement and the Automatic Test Technology in Rocket Engine Ground Test;
火箭发动机推力矢量测量理论、方法与自动测试技术研究
15.
stochastic push-down automata with a cutpoint A
带有一个切点A的随机下推自动机
16.
APPLICATION OF TWO-VARIABLE SELF-STUNING FUZZY CONTROL BASED ON FUZZY REASONING WITH FOUR INPUTS IN AEROENGINE CONTROL
四输入模糊推理自校正控制在发动机控制中的应用
17.
Research on the Technique of Recursive Query over XML Data Stream Based on Pushdown Automation
基于下推自动机的XML数据流递归查询处理技术研究
18.
Control of Magnetic Levitation Motor Based on Adaptive Neural-fuzzy Inference System
基于自适应神经模糊推理系统的磁悬浮电动机控制