Based on the satisfiability reasoning algorithm of hybrid graded μ-calculus, the satisfiability reasoning algorithm of description logic μALCQO is presented using fully enriched automata.
基于混合分级μ-演算可满足性推理算法,并利用完全强化自动机给出了μALCQO的可满足性推理算法,以及给出了推理算法正确性证明和复杂性定理。
A Cultural Interpretation of Self-Strengthen Movement in Dynasty Ching;
晚清自强运动的文化阐释
This research studied the relation between the two factors in the dynamic system, self reinforcement and students expectation, and high school students learning efficiency in education.
本实验考察了在教学活动中 ,动力系统中自我强化和学生期待两因素与中学生学习效率的关系。
Experiment and Study on the Technics of Electrospark Automatic Strengthening and Surface Multi-strengthening
电火花自动强化工艺及复合强化试验研究
Research on the Electrical Auto-strengthening Device With Multi Electrodes
多组电极电火花自动强化设备的研制
Strengthen Self-access College English Learning in Practice;
在实践活动中强化大学英语自主学习
More Effort to Promote The Automation of Handling Official business and The Construction of Electronic Government Affairs;
加强办公自动化 推进电子政务建设
CHIP?BREAKING BY FORCING CHIP DEFORMATION?TO REALIZE AUTOMATIC MACHINING
强化切屑变形实现自动化切削加工的断屑研究
Offering Powerful Tech-supporting Platform of Automation and Information for Making Laigang Greater and More Powerful;
为莱钢做强做大提供强有力的自动化信息化技术支撑
Research on an Approach of Hierarchical Reinforcement Learning Based on Option Automatic Generation;
基于Option自动生成的分层强化学习方法研究
Study on the Automated Testing for User Password Security Enhancements System XMLAPI;
用户密码安全增强系统XMLAPI的自动化测试
Strenthen Practical Teaching in Automation Major and Upgrade Students Technical Qualities;
加强自动化类实践教学 提高学生技能素质培养
The Relationship between Types of English Learning Motivation and Motivational Intensity;
研究生英语学习动机强度与自我认同变化
Building the Name-brand Consciousness& Training the Automation Professionals;
增强名牌意识 培养高素质自动化技术人才
Changes of Acetic-alkali Equilibrium during Intense Exercise in Bicyclist;
自行车运动员强度训练中的酸碱平衡变化
Strengthening the library automatic construction;
适应现代教育需要 加强图书馆自动化建设
Rural Labor Patterns and the Self-reinforcing Mechanism of Rural Labor Surplus;
农民工模式与农村劳动力过剩的自我强化机制
The Research on Autonomous Mobile Robot Navigation Based on Reinforcement Learning
基于强化学习的自主移动机器人导航研究
Method and application of StrenBox-automatical calculation software platform of structural strength
结构强度自动化计算软件平台StrenBox的方法和实践
INTENSITY CALCULATION AND ANALYSIS OF CARGO TABLE ON STACKING CRANE IN AUTOMATED WAREHOUSE
自动化仓库堆垛机货台强度的分析与计算
The Improvement and Increasing of Wear Properties to the Large Automatic Press Filter′s Plate
大型全自动压滤机滤板的改进与耐磨强化
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号