Ai.相关论文
<正>1引言 许多时态逻辑考虑定性的确定时态信息。Allen~[1.2]推荐一种区l可代数,提出了3定性的确定时态关系。VanBek~[14],Lig......
黑板式结构是目前较新的一种ITS系统控制机制。该结构支持适应性动态教学计划,能适应多种教学策略的应用。我们应用黑板式结构的原......
By use of the self-consistent method of linear muffin-tin orbitals with the atomic sphere approximation on the basis......
