警惕美丽的错误——对课改形式化的观察与思考     

陈兴中 《教育文汇》2004,(12):16-18

改革好比“走钢丝”，最令人烦恼的莫过于失去平衡的支点?在摇晃中求平衡，是对改革者严峻的考验。而矫枉过正，走极端，却是很多改革难以避免的尬尴。  相似文献   

关于图书馆服务创新的思考及建议   总被引：12，自引：0，他引：12  

鄢小燕  邹桂芬 《图书馆论坛》2008,28(2):179-181

文章在研究图书馆服务创新的内涵基础上,运用服务创新的基本原理,分析了图书馆服务创新的几种主要方式,包括重组创新、专门化创新、形式化创新以及技术创新,最后,提出了关于图书馆服务创新的几点建议.  相似文献   

基于新课改的小学数学生活化教学     

《华夏少年(简快作文 )》2016,(9)

现实生活是许多数学知识的根本依据,同时生活也因数学知识而发生改变。在新课程标准改革的推动下,将生活化教学融入小学数学教学中已经成为许多学校极其重视的一项工作。对生活化教学在小学数学教学中存在的不足进行阐述,同时对如何在小学数学教学中切实实行生活化教学提出了相应的方法。  相似文献   

小学科学教学中小组合作探究的问题与对策     

《华夏少年(简快作文 )》2015,(12)

为了适应社会的不断发展和进步,我国对传统的教育教学模式进行了全面改革。新时代下,课程的教育教学更加注重学生之间的互助合作能力。主要对小组合作学习中存在的问题进行分析,并对问题产生的原因进行阐述,随后提出了小学科学教学中小组合作学习的策略,希望能对其他教师有所帮助。  相似文献   

堆栈机器简单编译器在Isabelle/HOL中的验证     

陈飞扬  徐文涛  孙绍山  朱浩  钱振江 《常熟理工学院学报》2019,33(5)

  相似文献   

论法学话语的形式化     

李旭东 《常熟理工学院学报》2006,20(3):89-92

法学话语具有明显的形式化特点,由于法学话语涉及现实世界,它与一般形式化系统有所不同,三段论在法学话语中的运用具有特殊性。形式化对于法律功能的发挥具有重要意义。  相似文献   

一个集成形式化模型及其操作语义     

匡春临  匡国防 《洛阳师范学院学报》2011,30(2):72-75

形式化方法在程序验证、模型检测的研究有着重要作用,集成形式化方法是形式化方法发展的一个方向.BCCS模型是集成B方法和进程代数CCS构建的一个混成模型,模型中给出了一个轻量级的描述语言,但缺少语义的支持.为了保证这个描述语言的完备性和一致性,本文则在传值CCS操作语义的基础上,结合B方法对抽象数据结构的定义、系统的限制以及功能处理,给出了BCCS的操作语义,进一步刻画BCCS模型.  相似文献   

Function oriented service composition modeling     

刘方方  李成玲  余洁 《上海大学学报(英文版)》2011,15(5):369-374

Formal models for service composition have been proposed with the variation of the requirements of service developers. Some famous models have provided checking and verification techniques and tools for the behavior of service composition. These models generally focus much on the message flow of web services and neglecting the data contained in the exchanged messages among services, which restrict the application range of these models and also the web service techniques. As new kind of services with different protocols and communication methods have appeared, it is needed to model service composition from a new view which is adapted to the new development in service area. In this paper we offer a function oriented model of service composition which treats the composite service as a software system and specify the function of services which can be directly used to the realization by service providers.  相似文献   

乔姆斯基的语言学方法体系   总被引：3，自引：0，他引：3  

张伟琛 《河南师范大学学报(哲学社会科学版)》2006,33(1):96-99

乔姆斯基的语言学方法体系产生的深层原因是他看到了当时的美国经验主义语言学的缺陷,他大胆采用了理性主义的思维方式,运用了结构主义和理想化、形式化的方法等,把语言学的研究推进到了一个新的阶段。乔姆斯基的方法具有一定的局限性和相对性,这和他的理论的开放性和相对性是统一的。  相似文献   

基于演化算法的软件形式化开发部件选取方法     

谭棉  冯夫健 《教育技术导刊》2018,17(7):64-66

形式化方法在软件开发过程中一直扮演着重要角色。由于其建立在严格的数学基础之上,因此开发成本较高。为了解决开发成本问题,将软件开发整体分为形式化开发集合类和非形式化开发集合类。在此基础上,开发部件采用二进制串描述并构建目标函数模型,通过演化算法对模型进行优化求解,判定不同的部件开发集合类归属。选用 (1+1)EA作为研究对象验证开发部件选取方法的可行性。采用遗传算法、粒子群算法、二进制差分演化算法进行验证分析。结果表明,该分类方法可作为演化算法在软件开发部件选取方面的一种理论工具。  相似文献