简介:设L是一个模类,引人了L-内射类的概念,并用来刻画L-Noether环.推广了文[4],[5]中关于Noether环的相应结论.
简介:类BAN逻辑是密码协议分析和设计的主要工具,文章在分析了类BAN逻辑之后,指出了这些逻辑的缺陷,并对类BAN逻辑的缺陷进行分类,最后指出进一步发展类BAN逻辑应解决的问题。
简介:学生在智力发展过程中,起关键作用的是思维能力。思维能力的提高,离不开创造思维的训练。因此,在语文教学中,应以培养学生创造思维为主旨,通过研究作者思维创造过程分析阅读文章,加强思维与写作的理论联系,进而拓展学生的思维空间,从而达到触类旁通,举一反三的效果。创造思维有新奇、独特、流畅、变通等特征。为此,我在语文教学中十分重视创造思维的训练,有如下几方面途径:一、求同思维和求异思维的训练创造思维的形成和发展过程是求同思维和求异思维的协调统一,综合应用和反复辩证发展的过程。思维在运用中只求异,不利用已有成果,就不能解决问题,取得显著进步;反之,思维在运用中过分求同,只拘于传统习惯,则会限于封闲、保守、原地踏步的境地。运用思维,只有让求同求异相互渗透、相互依存、相互补充,才能有所发现,有所创造,有所前进。