简介：

简介：

简介：

简介：

简介：

简介：

简介：

简介：

简介：

简介：摘要：Problem - Based Learning教学法简称“PBL”，是基于问题的教学方法，以问导思，激发学生积极性和探究性。本文分析Problem - Based Learning教学法在高中英语听说训练中的实际运用，希望可以提出有效见解。

简介：

简介：Inthispaper,acomputationallyeffectivealgorithmbasedontabusearchforsolvingthesatisfiabilityproblem(TSSAT)isproposed.Somenovelandefficientheuristicstrategiesforgeneratingcandidateneighborhoodofthecurredassignmentandselectingvaribablestobeflippedarepresented.Especially,theaspirationcriterionandtabulisttructureofTSSATaredifferentfromthoseoftraditionaltabusearch.Computationalexperimentsonaclassofprobleminsteancesshowthat,TSSAT,inareasonableamountofcomputertime,yieldsbetterresultsthanNoveltywhichiscurrentlyamongthefastestknown.ThereforeTSSATisfeasibleandeffective.

简介：本文采用行动研究的方法，以武汉职业技术学院的英语听说过级自主学习课程为例，探讨如何在自主学习课程中应用PBL的教学模式改进自主学习课程的考核方式，提高学生的自主学习能力和意识。文章首先分析了自主学习课程在实施过程中遇到的问题，详细描述了PBL教学模式的总体设计构想和具体的实施步骤。并对实施的结果进行了讨论。经过统计和问卷调查结果发现，应用PBL模式后，实验班的学生的学习兴趣有了很大的提高，有利于培养他们的自主学习能力和合作精神。同时，试验前后的听力测试表明，实验班听力成绩较对照班也有了显著的提高。可见，PBL模式的应用能在一定程度上改进目前在自主学习课程中所遇到的一些问题。

简介： 摘要：园艺业作为创汇农业的重要组成部分，对综合型人才的需求与日俱增。特别是在乡村振兴战略背景下，园艺产业的发展对于园艺专业的综合型，创新能力强的专业人才的需求更为突出。因此，如何能充分用好本科教学阶段的四年，对于园艺专业学生而言重中之重。作为专业教师，如何充分利用课堂，结合产业发展和需求，调整课程内容和教学模式是改善目前园艺专业教学过程中的重中之重。本文以西部高校典型代表青海大学园艺专业系列课程中综合性强，挑战度高的《园艺植物综合实验》课程为本底，探讨了基于项目驱动的教学方式的引入的必要性和重要性，并提出了针对西部涉农高校综合性课程的一种教学改革模式。

简介：

简介：

简介：

简介：

简介：ThispaperexploitsBooleansatisfiabilityprobleminequivalencecheckingandmodelcheckingrespectively.Acombinationalequivalencecheckingmethodbasedonincrementalsatisfiabilityispresented.Thismethodchoosesthecandidateequivalentpairswithsomenewtechniques,andusesincrementalsatisfiabilityalgorithmtoimproveitsperformance.Bysubstitutingtheinternalequivalentpairsandconvertingtheequivalencerelationsintoconjunctivenormalform(CNF)formulas,thisapproachcanavoidthefalsenegatives,andreducethesearchspaceofSATprocedure.ExperimentalresultsonISCAS'85benchmarkcircuitsshowthat,thepresentedapproachisfasterandmorerobustthanthoseexistedinliterature.Thispaperalsopresentsanalgorithmforextractingofunsatisfiablecore,whichhasanimportantapplicationinabstractionandrefinementformodelcheckingtoalleviatethestatespaceexplosionbottleneck.Theerrorofapproximateextractionisanalyzedbymeansofsimulation.Ananalysisrevealsthataninterestingphenomenonoccurs,withtheincreasingdensityoftheformula,theaverageerroroftheextractionisdecreasing.AnexactextractionapproachforMUsubformula,referredtoaspre-assignmentalgorithm,isproposed.Boththeoreticalanalysisandexperimentalresultsshowthatitismoreefficient.

简介：