摘要：可证明安全性是密码协议安全性评估的重要依据,但手写安全性证明容易出错且正确性难以判定,利用计算机辅助构造游戏序列进而实现自动化证明是当前一种可行的方法。为此提出一种基于进程演算的密码协议形式化描述模型,定义了描述密码协议安全性证明中攻击游戏的语法规则,并借助工具LEX和YACC,设计出解析器程序,将密码协议及其安全性的形式化描述解析为自动化安全性证明系统的初始数据结构,并用实例来说明这种方法的可行性。

摘要：具有西方文化内核的当代艺术在中国的传统语境中遭遇困境并发生各种冲突。在中国步入现代性之中,当代艺术在现代性中面临"污名化"的尴尬困境,被贴上"妖魔化"与强烈政治性色彩的标签。由于大众与精英两大阶层的文化基础和审美认知等多方面的差异造成了它们剧烈的内拼。与之同时,更由于理解的误区,使当代艺术本身被面孔化。当代艺术对政治、社会题材的猎取使其具有社会中先锋性的面孔,但由于大众与艺术家对其理解的差异,大众对其表现的先锋性或盲从或冷淡。呈现这种冲突的原因不但是观念上传统与现代的艺术观对立,还来自于现代社会与传统社会的冲突。在这之中兼有当代艺术主流与边缘的互动及精神性追随的疏密悖论。寓言化和身体性转向将当代艺术带入另一路径之中。寓言化,暗示、象征、隐喻地指向了晦涩的现实社会生活,或者巧妙地踩了边线。而身体性转向追逐资本时代的肉身叙事,力图回归大众日常细枝末节的审美理解之中。

摘要：自现代性以来,农民沉浮在其衰微的历史之中,逐渐成为冰山的一角,但中国最大的问题依然是农民问题。而当代艺术采取了消极甚至回避的态度,使农民图像史变得幽暗。通过对当代艺术中的农民视觉形象的艺术社会学考察,透过当代艺术的底色,梳理农民在当代艺术中的简史。在农民在与艺术家的互动中,反观"文化菱形"中的艺术消费者、分配者、艺术与社会的互动。这些留给我们的思考是:"新生代农民"2在获取平等公民权中能否带来一种新的语涉艺术语境的所谓主义的勃兴?

摘要：面对时代,我们要有清醒的认识,时代需要什么样的艺术批评?我们能有什么样的艺术批评?由于艺术批评中的雷同、没有学术含量、缺乏活力等,造成了艺术批评的萎缩。艺术批评需要在艺术媒体中的互动,但更需要区分专业艺术批评与草根艺术批评。批评的区分预示了其分野,在剔除掉易陷于看图说话的吹嘘高调的艺术评论之后,需要对艺术批评进行厘定。艺术批评必须要建立本土话语体系,但要针对具体的批评体系对象来做出不同的反应,不能一概中西而论。在有效的艺术批评中,不断敞亮作品意义的生成,将艺术批评的对象推向理解、推向艺术史的场域。重返艺术史的场域,需要以史的视点来看待、来研究艺术,与艺术批评对象作出互动,让其参与到艺术史的书写中来。

摘要：身体美学是由美国实用主义美学家理查德·舒斯特曼提出的,给身体美学如此的定义:身体美学就是对一个人身体——作为感觉审美欣赏及创造性自我的塑造场所——经验和作用的批判的、改善的研究。对于身体的美学维度研究,西方其实已经很普遍了,如马克思之于劳动的身体、尼采之于权力的身体、弗洛伊德之于欲望的身体等,这些都是囿于西方宗教范围之抑制重返身体现场生活的研究。古希腊、古罗马曾有过对身体美学美妙的实践。

摘要：丁方的风景通过对西部独特地理景观"雅丹"地貌的深刻研究,在"雅丹"地貌中找到了其一直在思索的崇高美学的表征,作品中吸收中国古代北派山水画中"高山仰止"的崇高雄浑及构图气势,将油画的语言和图式纳入到崇高美学的体系中。丁方的技法及灵感来源于西方艺术家中伦勃朗的"戏剧感"、波洛克的"偶发性"、乔治·卢奥的"宗教感"和安塞姆·基弗尔"废墟感",在中国的山水景观中找到对接,并将之进行糅合,用独特的"水性画法"创造了一种合奏式的"丁方山水"的图式体系。丁方将海德格尔的诗学"原在的地形学"引入到其中,考量地形学上的精神内核。在"天地人神"的四维架构中,立足于"神性维度",介入终极关怀的理解,将文化自觉与生存的重负,来关照自然山水,以此在艺术中探究地理景观中的崇高美学的意识及神学中的悲悯情怀。

摘要：明初文化是“反元复宋”的。如陈传席在《中国山水画史》中所论:“元代画风,也不能使明代统治者感到舒目,而且对他有一定的刺激作用。何况这种使人冷寂、消极而具有一定破坏力的画风又不合于新王朝的精神。”(陈传席《中国山水画史》,天津人民美术出版社2001年版,第313页)明初的艺术气氛还是比较沉闷的。

摘要：徙南道人王至甸,清末民初甘肃静宁人。因种种原因,被历史所淹没,成为被甘肃文化史所遗忘的人物。通过钩沉,来还原徙南道人王至甸神秘而富有传奇的人生经历。王至甸二十岁弃家入道,修道三十年,期间习琴、学诗。后悠游于江河南北,交游广泛,与当时的政治人物(袁世凯的公子袁克文、袁克定、赵尔丰等)、文学家(俞樾等)、书画家("海派四杰"之一的蒲华等)过从甚密。其艺术修养极好,琴学造诣也很高。特别是他的古诗,格调不俗,在清末民初甘肃文化史中占有一席之地。

摘要：旁压仪在我国已经有很多年的应用历史了,近年来随着我国各种建设项目的快速发展,一些比较大的工程项目也越来越多,这些工程一般需要可以对地基的土层进行科学准确的勘测,而旁压试验作为一种原位勘测技术,因为可以对不同的土层和软岩层进行测试,并提供出准确的力学参数,所以得到了广泛的使用。文中重点对港口勘察中旁压试验法的运用进行探讨。

摘要：水轮机调速器是控制水轮机输出机械功率的关键设备,是水轮发电机组控制的重要内容。针对非线性复杂时变水轮机调速器,研究了一种模糊小脑模型关节控制器,该智能控制器是一种模糊逻辑与小脑模型关节控制器的结合,集中了二者的优点和长处。分析了该控制器的结构、具体实现以及学习优化。仿真实验表明该智能控制器的实际效果良好。