排序方式: 共有68条查询结果,搜索用时 46 毫秒
1.
为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具. 相似文献
2.
电影《满江红》融合了喜剧、悬疑、古装等多种类型元素,将单一喜剧类型进行“亚类型”变奏,在迎合观众审美趣味的基础上拓宽了电影的叙事元素,从而使得电影艺术的表达具有了更大的可能性。并且,《满江红》还采用文化叙事的策略,其中民俗意象的运用既扩展了电影叙事元素,又使得影片具有了民族性的风格特征,进而使电影以诗意化的表现方式将文本中“家国同构”下的东方情怀进行抒发与升华,以此来实现讲好中国故事背景下电影的商业性、民族性与人文性的多重建构。 相似文献
3.
4.
5.
物理化学演示实验课件的设计与制作 总被引:1,自引:0,他引:1
本介绍了Flash软件的优点;并简单介绍了应用Flash软件制作物理化学课件. 相似文献
6.
经过40多年的艰苦卓绝的发展历程.大庆之所以由当初的以松基三井喷出滚滚的工业油流为标志的石油会战的成功,发展成为一个以石油、石油化工为产业主体.以电子、制药、特种建材、乳业、农副产品深加工等为新兴高新技术产业群的现代化城市.正是以为有铁人精神的巨大的精神力量推动的结果。铁人精神是大庆可持续发展的内在动力。 相似文献
7.
现有的基于口令的群密钥交换协议大都借助分组密码算法和Hash函数确保协议的安全性. 本文仅借助Hash函数,构造了一种高效、可证明安全的协议. 该协议在随机预言模型下是语义安全的,并能对抗离线字典攻击. 与相关工作比较,本文设计的协议具有更高的计算效率. 相似文献
8.
现有的基于口令的群密钥交换协议大都借助分组密码算法和Hash函数确保协议的安全性. 本文仅借助Hash函数,构造了一种高效、可证明安全的协议. 该协议在随机预言模型下是语义安全的,并能对抗离线字典攻击. 与相关工作比较,本文设计的协议具有更高的计算效率. 相似文献
9.
王立斌 《江西教育学院学报》2012,33(5):175-181
鹅湖书院的藏书事业始自南宋,至清代蔚为大观。通过对鹅湖书院藏书事业的考述,对于进一步厘清鹅湖书院的历史与文化,进一步深入开展鹅湖书院研究有一定的意义。 相似文献
10.
两岸高校青年文化交流对于携手开创中华民族伟大复兴的美好未来意义重大而深远。而如何更好地推动两岸高校青年文化交流,为祖国和平统一大业贡献力量,这既是一个现实问题,更是一个理论问题。在当前两岸关系大交流、大合作、大发展的时代背景下,东北石油大学近几年来通过有效的方式和切实的做法,成功开展了一些两岸高校青年文化交流活动,在文化交流活动的实践中所引发的理性思考以及深入开展文化交流活动的具体措施。 相似文献