基于Spin的地铁门控制系统建模与验证

针对地铁门控制系统(MDCS)安全问题,提出一种MDCS检测方法。通过分析MDCS的控制逻辑,使用Promela建立了基于Spin的MDCS系统模型,将MDCS中的地铁控制系统、地铁门控制系统及屏蔽门控制系统抽象为三个进程,并用线性时态逻辑公式描述待验证性质,运行Spin后即可判断MDCS是否存在安全隐患。实验结果表明,该检测方法可有效验证MDCS的安全性。

SSRC偏心受压柱受力性能试验研究

为了研究不锈钢筋混凝土(SSRC)柱偏心受压荷载下的力学性能,设计8根SSRC柱和1根普通钢筋混凝土柱进行偏心受压加载试验,以偏心距和配筋率为变化参数。通过试验,观察了SSRC柱的开裂及破坏模式,分析了变化参数对纵筋应变、混凝土应变、侧向位移和峰值荷载的影响。试验结果表明:在偏心荷载下,SSRC柱与普通钢筋混凝土柱的破坏模式相似,延性表现更好;SSRC柱侧向位移曲线沿柱中呈对称分布,在达到峰值荷载后,小偏心试件荷载迅速下降,大偏心试件仍能保持一定的位移增长;计算承载力时,采用双折线模型作为不锈钢筋的本构模型,计算结果与试验值吻合良好;按照《混凝土结构设计规范》计算SSRC受压构件最大裂缝宽度时,受力特征系数建议采用2.7。

档案工作者=无名英雄?

“无名英雄”在档案界是个常用语。档案工作者得到的赞扬,最多的是“无名英雄”。做“无名英雄”,成了上级领导勉励档案工作者和档案工作者自勉的座右铭。于是乎,几十年来在档案界形成了这样一个观念:档案工作者=无名英雄。顾名思义,“无名英雄”即姓名不为世人所知的英雄人物。在战争年代的档案工作者可以说是名符其实的“无名英雄”;在改革开放的年代中姓名不为世人所知与档案工作者默默无闻的现状确实比较吻合,但自称“英雄”却有点阿Q味道了。默默无闻是否值得称道? 我们不妨走出去看看社会:社会上有多少人真正了解档案的含义?

鹤之舞

张炎龙，中国摄影家协会纪实摄影委员会委员，江苏省摄影家协会副主席，苏州市摄影家协会主席。作品多次在国内各级比赛中获奖并入选国际摄影展。

黑龙江省1995～2005年流行性脑脊髓膜炎流行特征分析

流行性脑脊髓膜炎(Cerebo-spinal meningitidis,CSM)简称流脑,是脑膜炎奈瑟氏菌(Neisseria Meningitidis,Nm)通过呼吸道传播所引起的以化脓性脑脊髓膜炎为主要症状的急性呼吸道传染病.建国以来黑龙江省每年都有流脑发生和流行,自1982年全省开始应用流脑多糖菌苗以来,流病发病率始终呈下降趋势,流行特征也发生了变化.为研究和掌握我省流脑流行规律,为制定控制和消除流脑策略提供依据,现将黑龙江省1995～2005年流行性脑脊髓膜炎流行病学特征分析如下.……

企鹅、海豹与冰山：我的南极

南极，是我们生活的这个可爱的蓝色星球——地球上一个非常神奇美妙的地方。奇异的极光，美妙的极昼极夜，绚丽的冰川，可爱的企鹅，皮皮的海豹……在地球最后一方孤独的净土上，一切都显得神秘而遥远。 2008年1月30日，由12名中国摄影家组成的建国以来第一个赴南极摄影团踏上征程。谁都渴望去南极，苏州人得到了这样一次机会。

不同移栽密度对吉科稻516产量及品质的影响

为明确不同移栽密度对吉科稻516产量及品质的影响,试验在3组移栽密度30 cm×13 cm,30 cm×17 cm,30 cm×20 cm梯度下进行大田试验。试验结果显示:不同移栽密度对吉科稻516的产量及产量及品质影响较大,加大密植栽培可以有效提高吉科稻516的产量,但会降低其稻米的加工品质和外观品质。

浅谈保密检查工作的成效提升

保密检查工作是关系到国家安全的一项重要工作。随着信息化的快速发展，各政府机关和企事业单位已基本从纸质化管理进入到信息化管理。因此，保密检查工作也紧跟变化，步入了信息化检查的时代。 但与此同时，网络窃密、泄密事件的频繁发生，而在科研、军事以及党政机关中的涉密信息却又急速膨胀，导致安全隐患越发突出。强化保密检查工作已成为重中之重。然而，种种原因导致目前的保密检查工作效率还有待提高，如何提升保密检查工作的效率也成为各级保密部门重点关注和亟待解决的问题，本文围绕保密检查工作中任务量大、情况最为复杂的终端设备检查，从技术的角度探讨了提高保密检查工作整体成效的实现方案。

超大保护层钢筋混凝土梁短期裂缝宽度试验研究

为研究超大保护层水工钢筋混凝土梁的裂缝特征以及评估其对DL/T 5057—2009《水工混凝土结构设计规范》裂缝宽度计算公式的适用性,进行了10根截面宽度为200~300 mm、高度为400~1 000 mm、保护层厚度为25~150 mm配置HRB400钢筋混凝土简支梁的受弯性能试验,得到梁的开裂荷载、裂缝间距的大小与分布、裂缝宽度等,分析了混凝土保护层厚度对梁的裂缝间距和裂缝宽度的影响,结合短期裂缝试验结果,采用DL/T 5057—2009《水工混凝土结构设计规范》的裂缝计算公式进行了对比计算。结果表明:在正常使用状态下,当混凝土保护层厚度小于60 mm时,裂缝平均间距随保护层厚度的增大而增加;当混凝土保护层厚度超过60 mm时,保护层厚度对裂缝平均间距影响不大;平均裂缝间距、平均裂缝宽度和短期最大裂缝宽度试验值与按DL/T 5057—2009计算的结果相比总体上偏小。根据试验结果并参考相关规范,给出平均裂缝间距计算式,并根据黏结滑移理论得到了适用于超大保护层厚度的钢筋混凝土梁短期最大裂缝宽度计算式,经与裂缝试验资料对比计算,其短期最大裂缝宽度与试验结果吻合较好。

“西方古钢琴艺术之路”系列之三:法国古钢琴艺术的发展

法国音乐艺术的发展与其他国家有着许多不同,"路易王朝"时期的法国文化艺术处于官方严格控制之下,各种艺术活动都表现出了高度的"贵族化",音乐艺术追求精致优雅和装饰性;在古钢琴领域也不例外,法国古钢琴音乐的主要功能是供凡尔赛宫王室享用。特别是在路易十四统治期间,法国古钢琴艺术快速发展,出现了继英国维吉纳乐派以来的第二个高峰。

“西方古钢琴艺术之路”系列之六:让·菲利普·拉莫的古钢琴艺术

进入18世纪后,法国古钢琴艺术翻开新的一页,另一位巴洛克风格的继承者——让·菲利普·拉莫(Jean-Philippe Rameau,1683-1764)登上了法国古钢琴艺术的舞台,他是继弗朗索瓦·库普兰之后的又一位键盘音乐大师。正是在他们两人的共同努力下,法国古钢琴艺术进入了全盛时期。一。

“西方古钢琴艺术之路”系列之五:法国键盘音乐大师——弗朗索瓦·库普兰

在法国传统的音乐世家中,库普兰家族人才辈出,继路易斯.库普兰之后,又诞生了一位伟大的古钢琴家。弗朗索瓦.库普兰(Francois Couperin,1668～1733)不仅是库普兰家族中成就最高的一位,也是当时法国最伟大的古钢琴演奏家、作曲家,被人们称作为"大库普兰"。

“西方古钢琴艺术之路”系列之一:英国的维吉纳艺术

当西方音乐迈进巴罗克时期,键盘艺术领域出现了一种与管风琴不同的乐器——古钢琴,它由于轻便、灵巧,声音纤细迎合了广大民众的"世俗"审美需求,很快成为雅俗共赏的键盘乐器。古钢琴是钢琴的前身,可以分为"楔槌键琴"(Clavichord)和"羽管键琴"(Harpsichord)两类。其中,楔槌键琴又称为"击弦古钢琴",由楔槌敲击琴弦发声;羽管键琴又称为"拨弦古钢琴",由羽管或皮质的拨子拨弦发音。当时在英国十分流行的维吉纳琴(Virginal)就是一种拨弦古钢琴。

“西方古钢琴艺术之路”系列之二:杰出的英国古钢琴家——亨利·普赛尔

在英国音乐发展历程中,尽管不像德奥那般涌现出如此众多的大师,但也有一些伟大的音乐家闪耀着光芒。亨利·普赛尔(Henry Purcell,1659年9月10日-1695年11月21日)就是巴洛克早期一位极富创造力的英国作曲家,他那高超的作曲技法为他赢得了广泛的声誉,使他享有英国"第一音乐家"的称号,深受人们的崇敬;同时他也是英国音乐史上最重要的一位键盘艺术家,在他的作用下,低迷不振的英国键盘艺术开始复苏,使得中断多年的英国古钢琴艺术再现辉煌。

“西方古钢琴艺术之路”系列之四:法国早期的古钢琴音乐家

巴洛克前半期,法国古钢琴音乐正直繁荣时期。与将管风琴音乐作为键盘音乐中主导地位的德国、意大利所不同,法国大力发展古钢琴音乐,体现出了法国贵族的审美趣味,具有华贵、优雅、精致的特点。由宫廷乐师尚博尼埃和路易斯·库普兰开创的音乐风格,使得法国古钢琴艺术趋于成熟,在宫廷和贵族沙龙的奢华气氛中不断得到发展。一、法国古钢琴学派的创始者尚博尼埃雅克·尚博尼埃(Jacques Champion de Chambonnieres,1601或1602-1672)是法国拨弦古钢琴学派的创始者。

女性钢琴家中的佼佼者——玛丽·普莱耶尔

19世纪以前,局限于人们对女性的态度,很多家庭都不支持、也不希望女孩子去从事音乐事业,因此在西方音乐史册中很难找到女性音乐家的名字。从19世纪起,随着欧洲轰轰烈烈的妇女解放运动,一批女性钢琴家涌现出来。她们同男性钢琴家一样,登台演出。

卓越的“大手”——约瑟夫·沃尔夫尔

拥有一双大手,对于一个普通人来说,可能没有太大作用;但对于一位钢琴家来说,这却是一个无比的财富,它可以为演奏者带来很多方便。从古至今,拥有"大手"的演奏家很多,我们所熟知的有卡尔·玛利亚·冯·韦伯、李斯特等。约瑟夫·沃尔夫尔是其中较早的一位,他甚至可以称得上是"大手"中的"大手",这双手也使得他成为了当时一位卓越的钢琴家。约瑟夫·沃尔夫尔(Joseph Woelfl,1773年12月24日-1812年5月21日)出生于奥地利的萨尔兹堡。

一位对俄罗斯钢琴艺术产生重大影响的德国钢琴家——亨泽尔特

俄罗斯的钢琴艺术起步较晚,德裔美国学者罗杰·勒斯蒂格①认为,直到19世纪,钢琴艺术才开始在俄罗斯出现。在俄罗斯民族钢琴艺术的起步时期,有一批西欧国家的钢琴家来到俄罗斯并作出了巨大贡献,德国钢琴家、作曲家阿道夫·冯·亨泽尔特(Adolf von Henselt,1814年5月12日—1889年10月10日)就是其中重要的一位。一、亨泽尔特的演奏与创作亨泽尔特出生于德国南部的巴伐利亚,三年时开始学习小提琴,五岁时学习钢琴。在巴伐利亚国王路德维格一世的资助下。

克拉莫与他的钢琴练习曲

即便是在今天,对于中国的钢琴学子来说,克拉莫也不是一个陌生的名字。他的《60首钢琴练习曲》被无数的钢琴家、教师以及学生使用过。这部练习曲的名气、价值和意义已经远远超过了克拉莫创作的所有钢琴作品,甚至超过了作为一位演奏家带给他的名声。