简介:设L是一个模类,引人了L-内射类的概念,并用来刻画L-Noether环.推广了文[4],[5]中关于Noether环的相应结论.
简介:类BAN逻辑是密码协议分析和设计的主要工具,文章在分析了类BAN逻辑之后,指出了这些逻辑的缺陷,并对类BAN逻辑的缺陷进行分类,最后指出进一步发展类BAN逻辑应解决的问题。
简介:<正>《庖丁解牛》是从《庄子·养生主》中节选下来的.它是《养生主》中论证中心论点的一个重要论据.为了透彻地理解这则故事,必须把《养生主》的中心论点先说一说.文章一开始,庄子就说:“吾生也有涯,而知也无涯;以有涯随无涯,殆已!已而(如此)为知(智)者,殆而已矣.为善无近名,为恶无近刑.缘督(督脉,在人的背脊正中,这里是比喻)以为经(常),可以保身,可以全生(性),可以养亲(新),可以尽年.”庄子的意思是说;人的生命是有限的,而知识和愿望是无限的;用有限的生命,去追求无限的事物,是很危险的.这样做了还自认为很聪明,那就更危险了.不
简介:“终身教育”作为一种世界性教育潮流,尚未被普遍的理解.本文将对终身教育的概念、产生背景、目的取向、及在我国的发展情况逐一进行分析.