形式化研究方法与实践论文

论课题研究实施中存在的问题和指导策略论文

规范的课题研究实施必须经过选题、开题、证题和结题四个阶段，各阶段具有不同的意义和要求。研究性学习是否规范、有效，最终还是看课题研究实施状况如何，能否顺利解决遇到的问题。以下我针对课题研究出现的主要问题谈谈指导策略。

一、选题立题指导：为开题、证题和结题打下良好的基础。

问题：

①不懂得课题选择的相关原则，选择了不该选择的研究课题。

②研究方向过于宽泛，研究题目太大、太抽象，不会准确表达自己的想法，不能将社会生活中的问题变成研究的课题，对研究的地点、研究内容、研究重点、研究结果不明确。

③不懂得区分课题研究的层次、以及解决问题和深化研究的常用方法，思维不够开阔。

④教师越俎代庖，代替学生选择研究性课题。

指导策略：好课题标准有：

①选择的课题不能太过宽泛，题目不能太大、太抽象。比如《文化现象研究》、《音乐研究》等课题太宽大，不宜作为课题。《慈溪附海镇的昨天、今天和明天》、《慈溪移民文化生态探究》都较好。

②要从学生实际生活、社会生活中选题，要解决实际问题。

③要选择自己最感兴趣的研究课题，要充分考虑自身各方面的条件，扬长避短，量力而行，切忌贪大求全。

④教师不能包办代替，为学生选题。

课题选择应遵循可行性、科学性、创新性、价值性和实践性等原则。如《慈溪小家电业现状及发展前景的调查研究》就很具有代表性。明确地点：宁波慈溪；研究内容：慈溪小家电业；研究重点：现状及发展前景；结果：调查报告。可行性与创新性兼备，同时颇具研究价值，为有关部门进行科学民主决策提供必要的参考。

二、指导开题即进行课题论证，制定研究方案与可行的工作计划。

问题：

①课题研究思路没有具体化：如没有将过程分成信息的收集、整理、分析信息等阶段，没有每一阶段的具体做法等；不明确开题报告应该包括哪些内容，使得开题报告的设计不规范。

②研究方法和课题没有太大关系，对到底用哪些研究方法感到困惑。

③缺乏明确的分工与合作，活动计划不完整。

④研究方向不够清晰，阶段目标不够明确。

⑤介绍课题背景空泛，时间分配凭空想象。

指导策略：认真开题，做到内容完整，设计规范，方法得当。

①开题报告内容要完整，要制定详细的实施计划。

②开题报告的设计要规范。一般来说应包括课题名称及研究目的、研究步骤和研究方法、可行性分析、时间安排、成果形式设想等。

③研究方法多样，但要符合学科特点。常用文献资料研究法、调查研究法、历史研究法、实验法、观察法等。

④既要有明确分工，又要有密切合作，既要有独立人格，又要有合作精神。

三、指导证题：为撰写结题报告获取证据的过程，是个关键阶段。

问题：

①对调查目标和调查对象不明确，缺乏足够了解。②在社会科学类课题证题过程中只注重经验性的认识活动，忽视理论认识活动，不能作出正确的价值判断。③在自然科学类课题证题过程中缺乏有序系统的科学方法，观察不到位、实验不娴熟。

④对文献资料检索和查阅缺乏正确方法；对文献资料的整理、加工缺乏定量和定性分析；数据资料的整理只是描述性统计，缺乏推断性统计。

指导策略：严肃证题。做到目标明确，方案设计科学，价值判断准确。

①明确调查目标、调查对象和查阅工具。

②科学设计调查方案，设计调查量表。可先做实验性调查，随时纠正原先设计的'量表，使调查得到的数据更科学合理。

③社会科学类证题：对观察或调查结果既要有经验认识活动，又要能够作出正确的价值判断。为自己将采取的行为和决策者的决策提供参考思路。

④自然科学类证题要遵循有序、系统的科学方法。

四、指导结题：撰写研究报告，展示研究成果。

问题：

①原创性不足，网上下载、抄袭现象较严重。缺乏诚信，对别人的成果引用时不注明出处。

②研究成果实用价值不足，研究对自身学习和发展所没有起到应有的促进作用。

③信息闭塞，缺乏与别人交流成果的机会。

④评价与反思形式化、过场化。

指导策略：快乐结题。做到：诚实信用，注重原创，加强交流，评价到位。

①结题要诚实。对别人的研究成果不能随便占为己有，一定要注明出处，在研究报告最后，要列出参考书目。

②结题报告要有原创性。千万不能抄袭他人的作品或从网上直接下载，在内容、方法上要讲究多元。

③交流要及时。加强与同学、指导教师的交流，分享成功，看到自己的不足，继而学习他人长处。

④评价要客观、公正，有利于学生自身的发展。评价要以学生自评为主，学校评、教师评、甚至社会评。学生既可看到优点，又看到不足。

由此，学校与教师应充分认识到研究性学习的重要性，牢固树立起素质教育理念。学校应对之加强管理，构建以学生的自评为主的多元评价体系。如果考试制度不改革，评价体系、评价机制不转变，那么新课改与研究性学习都将会流于形式，现有的一点成果将化为乌有。

【参考资料】

[1]浙江省教育厅教研室课题组编著.《高中研究性学习实施指导》.浙江科学技术出版社,2002年6月第1版.

[2]范川.《指导学生进行研究性学习的认识与体会》（2008年宁波三等奖）.

[3]浙江省教育厅教研室.《浙江省普通高中综合实践活动新课程实施指导意见》.

形式化方法的一个重要研究内容是形式规约(Formal Specification,也称形式规范或形式化描述),它是对程序“做什么”(what to do)的数学描述,是用具有精确语义的形式语言书写的程序功能描述,它是设计和编制程序的出发点,也是验证程序是否正确的依据。对形式规约通常要讨论其一 致性(自身无矛盾)和完备性(是否完全、无遗漏地刻画所要描述的对象)等性质。形式规约的方法主要可分为两类:一类是面向模型的方法也称为系统建模,该方 法通过构造系统的计算模型来刻画系统的不同行为特征；另一类是面向性质的方法也称为性质描述,该方法通过定义系统必须满足的一些性质来描述一个系统。不同 的形式规约方法要求不同的形式规约语言,即用于书写形式规约的语言(也称形式化描述语言),如代数语言OBJ、Clear、ASL、ACT One/Two等;进程代数语言CSP、CCS、π演算等；时序逻辑语言PLTL、CTL、XYZ/E、UNITY、TLA等；这些规约语言由于基于不同 的数学理论及规约方法，因而也千差万别，但它们有一个共同的特点,即每种规约语言均由基本成分和构造成分两部分构成。前者用来描述基本(原子)规约,后者 把基本部分组合成大规约。构造成分是形式规约研究和设计的重点，也是衡量规约语言优劣的主要依据。形式验证形式化方法的另一重要研究内容是形式验证(Formal Verification)。形式验证与形式规约之间具有紧密的联系，形式验证就是验证已有的程序(系统)P，是否满足其规约(φ,ψ)的要求(即P (φ,ψ)),它也是形式化方法所要解决的核心问题。传统的验证方法包括模拟(simulation)和测试(testing)，它们都是通过实验的方法 对系统进行查错。模拟和测试分别在系统抽象模型和实际系统上进行,一般的方法是在系统的某点给予输入，观察在另一点的输出,这些方法花费很大，而且由于实 验所能涵盖的系统行为有限，很难找出所有潜在的错误。基于此，早期的形式验证主要研究如何使用数学方法，严格证明一个程序的正确性(即程序验证)。