论文部分内容阅读
本文简单介绍了基于Ｔａｂｌｅａｕ方法的程序综合系统－ＤＴＰＳ．ＤＴＰＳ系统以定理证明为基础，为构造一个满足程序规约的程序，只需证明的确存在一个满足条件的对象。如果这个证明存在，那么从证明中可抽取出一个满足该程序规约的程序。
基于Tableau方法的程序综合系统——DTPS
【摘 要】
：
本文简单介绍了基于Ｔａｂｌｅａｕ方法的程序综合系统－ＤＴＰＳ．ＤＴＰＳ系统以定理证明为基础，为构造一个满足程序规约的程序，只需证明的确存在一个满足条件的对象。如果这个证明存在，那么从证明中可抽取出一个
【机 构】
：
吉林大学计算机科学系
【出 处】
：
计算机研究与发展
【发表日期】
：
1997年8期
【基金项目】
：
“863”计划和国家自然科学基金
其他文献
据中国半导体设备及材料网网站报道：无锡尚德太阳能电力有限公司在纽交所上市后的财富效应带动了国内光伏产业链的投资热。江苏大全集团目前大举切入太阳能光伏上游——多晶硅
【摘 要】 随着新课程的不断改革和教学要求的不断深入，教育部对小学英语课堂教学方面提出了更高的要求，着重强调以参与式教学法为主提高学生的学习兴趣。然而，传统死板教条的教学模式无法适应时代的要求，因此需要通过参与式教学法有效地提高教师的教学效率和学生的学习效率。 【关键词】 小学英语；参与式教学；措施 传统“灌溉式”的教学模式容易消磨学生的学习耐心，从而极大地降低了课堂学习效率。为了解决这一现状
【摘 要】 在基于合作理念下的体育户外教学展开的过程中，教师需要做的教学准备会更多。不仅要合理地确立活动的内容、场地、展开形式等，也需要设计合理的互动方案，要让学生在过程中更好地形成合作意识与团队精神。本文对此进行了分析研究。 【关键词】 合作理念；小学；体育；户外教学 将丰富多样的户外活动融入到小学体育课程的教学中，这是一种很好的教学尝试。这不仅可以立刻提升体育教学的趣味性，这也可以极大地培
【摘 要】 面对顽冥不化的落后思品课教学观念与方法，时代提出了创新的呼唤，学生的学习积极性、学习能力都需要在新的教学形式中获得。本文从鼓励学生标新立异，进行课堂教学改革和运用创新教学手段和方法三方面展开论述。 【关键词】 初中思品；创新教育；课堂教学 近年来，初中思想品德教育在深化教学改革等方面作了不少探索，总结出许多好的经验。但是，我们也必须清醒地看到，目前在中学思想品德课教学中，仍存在不少
文中将多媒体时间同步问题转化为一个有向带 权图的平衡权值分配问题。针对这样一个强ＮＰ类难解问题，提出了节点删除法和图分解法来处理原始图，尽可能地降低计算复杂性，从而有效地
ＧＭ—１０１型自动滚磨机电子工业部第４５研究所刘文平，田惠兰前言用直拉法或者区熔法提拉单晶时，籽晶杆周围由于温升和热量梯度造成杂质表面扩散等原因，使晶体内部和表面存在特性差异，提拉速
Ｐｒｅｌｕｄｅ是一种优秀的ＡＴＭ交换机构，由于它最初是为实验目的而设计的，与实际的ＡＴＭ传输速率、ＡＴＭ信元结构等有很大的差别。为了实现简便、实用的ＡＴＭ交换网络，文中对Ｐｒｅｌｕｄｅ中不适合ＡＴＭ交换的部分进行了修改和补充
暑假，爸爸妈妈带我邻居的小伙伴游览了德化有名的岱仙瀑布。 我们到达有“华东第一瀑”之称的岱仙瀑布山脚，缓缓地穿过苍翠欲滴的竹林，说说笑笑。小伙伴们不时用水枪汲满清澈的山涧水，用力往空中喷。细细的小水珠落在我们脸上、手上、脚上，凉凉的。 瞬间，大家停住了脚步，哦，我们终于目睹了岱仙瀑布的容颜。岱仙瀑布分为两股，一股柔似女，一股猛如虎。赏完“美女”，我们不仅不怕“虎”，还与它来了个亲密接触，站在这
主人的车库里有一辆自行车，上面积满了厚厚的灰尘，轮胎瘪了，丢在角落里。主人年轻时经常骑着它上班，郊游，后来，他买了一辆小汽车，便把它给忘了。 一天夜里，浑身打着蜡，被洗得干干净净的小汽车，舒服地趴在车库中间，轻蔑地对自行车说：“嗨，你这个丑陋的家伙，主人怎么没把你扔掉呢？” “我并不丑陋。只是主人现在学会享受了，经济条件好了。当他需要时，还是会想到我的。”自行车淡淡地说。 “我带着他出去，他
开放分布式处理ＯＤＰ的目标是给应用程序间提供一个一致的接口模型，以实现分布透明性、互操作性和可移植性。开放分布式参考模型ＩＳＯ ＲＭ－ＯＤＰ提供了一个分布式系统的框架，从五个不同的观点描述