抽象算法相关论文
【教学片断】《两位数加两位数的加法(进位)》教学师:34+16等于多少呢?请同学们利用已有的学具帮忙,也可以自己想办法写一写、算一......
重视算理与算法的渗透是计算教学的本质。有的师教认为,计算教学没有什么道理可讲,只要让学生死记硬背法则,掌握计算方法,反复“演......
对混成系统进行安全性验证是计算机领域具有重要意义和挑战性的课题,传统的测试仿真技术不足以确保系统的绝对安全性和完备性。基......
提出并实现了一个自动抽象算法,可从详细系统的Promela行为模型中导出抽象系统的行为模型.抽象模型与原模型迹等价,且具有状态变量......
本文提出了一个抽象算法,并证明了收敛性定理。...
ABSTRACT,C-T-ABS是把λ表达式转换成SKI表达式的抽象算法,是函数式语言实现的理论基础。本文从λ演算,SKI演算的基本理论出发,对这两个算法进行了理论推导及......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们......
<正> 本文叙述了具有单调性的最优化算法的若干重要的收敛性条件,包括这方面最近的新成果,并且证明了新的收敛性条件比文献中已有......