简介：描述逻辑是一簇知识表示的语言，其以结构化、形式化的方法来表示特定应用领域的知识。文中给出了描述逻辑VL的形式化自然推演系统，并以此构建形式模型证明其推理机制是完备的。

简介：我们在强调学习新的教学理念的同时，并不排斥教学方式在课程改革中的重要作用，更不想否认二者之间相辅相成、缺一不可的关系。观念不转变，方式转变就没有了方向，没有了基础；方式不转变，观念转变就失去了归宿，失去了落脚点。因此，课程改革既要重视观念改革的先导作用，又要重视方式改革的载体作用。在推动课改时，应循序渐进地推进教学模式的改变，使课程改革向更好、更实际的方向发展。

简介：探索汉语复句本体知识建模，实现复句句法语义知识的形式化，是汉语复句信息工程的重要内容。文章设计了一套复句本体体系的语义关系标记，描绘了复句实例的关系路径表示方法；借助语义关系标记和数理逻辑思想来刻画复句句法语义特征，在此基础上定义了汉语复句的形式化函数；探讨了复句关系词库和关系层次自动划分等句法知识的表示问题，以复句关系层次处理器和层次划分函数来表示复句的句法语义关系。相关语例分析验证了本文研究的有效性。

简介：暑假期间,北京各大博物馆、科技馆满眼都是五颜六色的“小文化衫”,他们是来自全国各地的夏令营营员。但是,有媒体调查发现,很多夏令营组织的博物馆游学活动还停留在知识学习层面。

简介：甘肃白银社火秧歌是一种独特的民俗艺术形式,它发源于民间,是老百姓祭祀或节日庙会上的杂戏活动。社火秧歌表演是一种重要的民俗传统,它记载并传承着中国的渊远文明,传承着我国博大精深的传统文化和民风民俗。文章以甘肃白银社火表演为研究对象,通过对白银社火的基本情况、内容及功能、基本特征等方面探讨其形式化特征。从对白银社火的历史发展结合音乐特征及舞蹈特征分析,来发掘白银社火表演对于城市发展、我国传统文化、古老艺术的传承的重要性。由于白银社火秧歌是我国不可多得的民间艺术表现形式,其造型、脸谱、音乐、舞蹈、意义都是独一无二的,故对于白银社火秧歌的研究具有非常重要的文化价值及美学价值。

简介：

简介：随着幼儿教育改革的不断深入，教师的教育观念和教育行为均发生了不同程度的改变。在科学探索活动中，教师逐步转变了只重视知识学习与技能训练的灌输式的学习方法，采用了动手操作、记录、讨论等形式组织教学活动，但是教师选择的内容是否适合幼儿的年龄特点？提供的操作材料是否恰当宁讨论和记录的效果是否引起幼儿更善于思考和概括问题，

简介：给出了正确的关联规则的基本描述,并指正文献[1]中给出的关联规则的算法过程描述中的谬误

简介：记者：新课程的实施给课堂教学带来了不少可喜的变化，同时也衍生出了一些令人深思的现象及问题，针对当前课程改革中出现的形式化趋向，您有何良策？李臣之：的确，当前课程改革中课堂教学的形式化现象比较突出，如果我们不去研究和改变的话，它就可能成为新课程发展的一大障碍。对此，不少学者已经注意到并提出过一些看法，我认为我们首先叮以从这一方面去思考。

简介：在课程改革的紧锣密鼓声中，许多教师纷纷登台献技，用行动讲述着自己对新课程的理解，也显示出积极参与的热情。当然，其中不乏别出心裁的表现，让人心悦诚服并乐于借鉴，但也有不少只是走走过场的形式而已。

简介：

简介：本文依照陆丙甫先生提出的形式化推导方法,对汉语普通话的韵母拼合顺序进行了探索,研究发现了韵母拼合顺序的优势序列和劣势序列,并用＂音响顺序原则＂进行了的解释。

简介：站在日语教育的视阈下，通过对日语句群的形式化研究和讨论，以话语表现理论（DRT）为基础，构建了日语句群形式描写的程序，在日语语篇形式化研究方面做出了有意义的积极的探索。同时，通过对日语句群汉日翻译的教学实例的研究，指出了句群在翻译教学中的重要性。

简介：中小学教科研普遍存在着课题研究形式化和程式化的现象，究其原因，既有教师因素、学校因素，也有校外因素。解决这一问题应在整合教师因素、学校因素和校外因素的基础上，加强教育科研的思想管理、资源管理、过程管理、组织管理及督导管理，使教育科研走向良性循环和科学发展。

简介：在倡导合实施教学时经常采用的一种学习组织方式.但在这个过程中,出现了一种形式化的"小组讨论",其主要表征有短暂的讨论时间、讨论任务和职责的模糊、讨论结果的预设性和统一化及汇报交流的个体化等.造成"小组讨论"形式化的主要原因有讨论的主题简单,缺乏思考空间、缺乏教师的合理指导、教师对"小组讨论"的错误认识等.

简介：现在，社会竞争日益激烈，大学生就业越来越困难。所以，很多人认为大学生参加社会实践仅是为就业积累经验，增加就业筹码。现实中，很多大学生社会实践活动确实有走形式之嫌。但不可否认，很多大学生依然认真对待大学生社会实践活动，在活动过程中尽心尽力、挥洒青春，让看起来形式化的大学生社会实践活动发挥了应有的作用。

简介：形式化是数学的基本特征之一,学会形式化的表达是数学教学的一项基本要求.由于数学教学最终要落实到学生的学习活动,而形式化呈现给学生的是"冰冷的美丽",因而在形式化过程中如何唤起学生"火热的思考",并在"火热的思考"中达到对知识本质的理解,成为教学设计的工作重心之一.就数学课堂教学而言,数学形式化过程一般包括这几个环节:

简介：北师大版小学数学教材每一单元、每一节新授课中，都给学生创设了一个情境。而真正运用书中的情境从事自己的课堂教学时，却发现大多数情境如同虚设，没有起到预期的效果。细分析起来有以下几原因：有的情境脱离学生的生活实际，如“我们到游乐场玩玩好吗？”再如“春游租车，几辆大车，几辆小车”，学生失去了兴趣；教师由于对教材研究得不透彻，无法很好地挖透书中情境的意图，致使情境的运用缺少思考的含量和一定的深度；

简介：动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.

简介：摘要：认罪认罚从宽制度是一项重大司法制度创新,在推进国家治理体系和治理能力现代化过程中有着重要作用。通过实证研究发现，侦查机关存在认罪认罚从宽过程中存在告知制度设计粗略、“程序从宽”体现不足、嫌疑人认罪认罚判断简单等形式化积弊，因此需要从告知、强制措施适用、认罪认罚判断等多个方面进行完善，方能实现制度设计的初衷。