基于Pi-演算的服务组合正确性验证     

邓启云  杨好利 《教育技术导刊》2009,8(7):42-44

对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。  相似文献   

网络信息中教育信息资源的搜索和下载技巧     

汪睿  杨好利  冯亮 《中小学电教》2009,(6):74-75

一、引言 在信息化教育日益普及的今天,随着多媒体技术的迅速发展与学校多媒体计算机使用的日益普及,教师在教学中越来越多地开始利用多媒体开展多种形式的教学,在这种趋势下,网络教育信息资源的获取显得尤为重要。可是,在现实中,很多一线教师在备课或做课件过程时,总是苦于找不到合适的资源,网上资源看似丰富,要找到所需要的教学资源对于中小学教师来说相当困难;  相似文献   

关于汇编语言大数的四则运算实现探讨     

杨好利  邓启云  汪睿 《教育技术导刊》2009,8(3):58-59

在用汇编语言设计程序时,常用到四则运算,而汇编语言是低级语言,用它来实现四则运算较为困难,尤其是大数据。文章论述了在汇编语言中大数据四则运算的实现思想,并给出了算法实现。  相似文献   

问题解决在线协作学习中的角色设计研究     

马志强  杨好利 《现代教育技术》2013,23(9):41-45

角色规定了CSCL中学习者所承担的权限和任务,是CSCL研究关注的核心要素。本研究将角色引入问题解决协作学习中,从协作任务和问题解决认知加工两个维度构建了角色设计框架。研究将角色设计框架应用于具体问题解决协作学习中,部分验证了框架包含角色的有效性。研究结论认为,问题解决协作学习活动所采用的三类角色能够增强学习者在线问题解决学习的效果,并提升学习者对学习的主观感知。  相似文献   

多媒体与语文教学整合的原则探讨     

张丽娜  张筱兰  杨好利 《教学研究(河北)》2010,33(2):87-89

随着社会的进步和科技的不断发展,运用多媒体辅助语文教学已成为一种高效率的现代化教学手段。但是,语文学科有它自身的特点,教师要从学科的实际出发,当用则用,不当用则不用。文章通过将教学实践中得到的案例充实到论述中,探讨如何在语文教学中使多媒体的运用做到适合、适时、适度。  相似文献