1.
Research on Open Temporal Logic Based Formal Verification and Modular Reasoning of Aspect-Oriented Programs
基于开放时态逻辑的面向方面程序形式化验证和模块推理研究
2.
Optimizing reasoning in EL~(++) ontologies by using boundary-based module
![点击朗读](/dictall/images/read.gif)
使用边界模块优化EL~(++)本体推理(英文)
3.
Reasoning by using boundary-based module in description logics
![点击朗读](/dictall/images/read.gif)
描述逻辑中基于边界模块的推理方法
4.
Modularized design of mechanical products based on living example reasoning
![点击朗读](/dictall/images/read.gif)
基于实例推理的机械产品模块化设计
5.
Cheater-Detection Module: An Evolutionary Psychological Study on Conditional Reasoning;
![点击朗读](/dictall/images/read.gif)
“觉察欺骗者”模块:条件推理的进化心理学研究
6.
The system includes man-machine interaction, input/output, data/KBM, reasoning device, self-learning model etc.
系统包括人机交互、输入/输出、数据/知识库管理、推理机、自学习等模块。
7.
The campaign command scheme, ECM and ECCM (electronic counter-countermeasures) state map is created with reasoning module.
推理模块据预定设置生成作战指挥方案、电子对抗与反对抗态势图。
8.
Fuzzy Reasoning Based Intra Frame Error Concealment for Block Based Images
![点击朗读](/dictall/images/read.gif)
一种基于模糊推理的块编码图像帧内误码恢复方法
9.
Activation,Association,Logical inference,Model connectionism--cognitive psychological process of disambiguation;
激活 联想 逻辑推理 模块组合——解决歧义的认知过程
10.
Development of aided design module based on prototype reasoning in special CAD system for weaving machine parts
织机设计专用CAD系统中基于原型推理辅助设计模块的开发
11.
Firmly push the amplifier (expansion unit) all the way into the main unit.
![点击朗读](/dictall/images/read.gif)
一直紧紧的推挤放大器(扩展模块)进入主模块。
12.
rational theoretical model
![点击朗读](/dictall/images/read.gif)
推理理论模式推理理论模式
13.
Designing and Implementing a Better Real-time FFT Module with Block Recursive Algorithm
![点击朗读](/dictall/images/read.gif)
一种块递推实时FFT算法模块设计与实现
14.
Die-casting Die Design of Impeller of Swing Block and Ejector Pin with Advanced Return Pin
摆块与推杆推件带预复位杆的叶轮压铸模设计
15.
DESIGN INJECTION MOULD WITH QUADRATIC EJECTING MECHANISM OF SLIDER AND WEDGE DUAL PUSH PLATE
滑块斜楔双推板式二次推出机构注塑模的设计
16.
A Method for Constructing Maximal Consistent Blocks based on Boolean Reasoning
![点击朗读](/dictall/images/read.gif)
基于布尔推理的极大相容块构造方法
17.
Improving Integrated Skills of Mold Students Based on the Promotion of Five Model Methods
![点击朗读](/dictall/images/read.gif)
推行“五模块”教学法 提高模具专业学生综合技能
18.
From Contextual Reasoning to Logical Reasoning--An Analysis of Reading Comprehension Mode;
从语境推理到逻辑推理——阅读推理模式探析