基于反馈的可信网络软件验证与测试集成框架研究

形式化方法被认为是高可信软件工程必不可少的工具,但是软件测试依然是提高软件质量最有效的方法.为此基于TTCN-3的测试集成环境,提出一种基于反馈的框架,可扩展地集成形式化规约和形式化证明方法,并把形式化方法和测试工程有效地结合起来,提高了测试的充分性和必要性.

奥里维·梅西安《末日四重奏》

1940年6月,三十一岁的作曲家奥里维·梅西安被俘。在战俘营里,梅西安结识了小提琴演奏家简·李·包勒瑞(Jean Le Boulaire),单簧管演奏家亨利·艾科卡(Henri Akoka)和大提琴演奏家埃蒂恩·帕斯昆尔(Etienne Pasquier)——著名的帕斯昆尔三重奏成员。由于不可思议的机遇,前二人竟能一直随身带着他们的乐器,而第三者得到了一把大提琴。梅西安为这三位艺术家创作了一首短曲,他们在卫生间为他作了演奏,这就是《末日四重奏》创作的起点,即现在的第四乐章(间奏曲)。不久,由于《圣·约翰启示录》的启发,激起了梅西安要把它发展成为八个乐章的不朽作品,并且于1941年1月初全部完成。

善歌者使人继其声 善教者使人继其志——怀念穆志清先生

我国著名的管乐教育家,杰出的单簧管演奏大师,四川音乐学院教授穆志清先生,在祖国大地遭受动乱的年月——一九六九年逝世至今,离开我们整整十六年了。作为一个曾受益于先生多年的学生,我深沉地怀念着他。怀念他那精湛的演奏技艺,怀念他勤奋不已、诲人不倦的崇高品德,怀念他献身音乐事业的辛勤一生。

热负荷变化对哈发公司运行方式的影响及应对措施

介绍了中国华电集团哈尔滨发电有限公司热负荷变化对运行方式的影响,提出了采取的应对措施,分析了技改前后夏季(最小)、冬季(最大)运行方式蒸汽平衡和实施技改措施后的效果。

斯波尔四首单簧管协奏曲

1805—1840期间,路易斯·斯波尔(Louis Spohr,1784—1859)是浪漫派时期音乐界的一位领袖,作曲家、著名小提琴演奏家、指挥家、教师和音乐组织者。他显然属于当时的激进行列。他的作品是多样性的,并且质量好的作品都算得上是最好的艺术品。他的作品类型几乎包括每种形式,以致得到象门德尔松、舒曼、切鲁比尼、孰拉姆斯、柴可夫斯基。

五级自复叠制冷技术在深低温保存箱上的试验研究

文中主要针对五级自复叠制冷技术进行探讨研究。通过搭配不同种类的混合制冷剂,获取最低温度并保持长期运行。探讨了不同制冷剂搭配对系统拉温深度的影响和制冷系统对拉温深度的影响;分析了排气温度对获取最低温度的影响。根据制冷剂配比及系统升级改进,得出不同类别制冷剂获得最低的温度试验记录,对结果进行分析总结,为开发设计更低温度的深低温保存箱提供一些有价值的试验信息。

哈尔滨发电公司电除尘器提效改造

对中国华电集团哈尔滨发电有限公司3#炉电除尘器运行中存在的问题进行了分析,介绍了BE型静电除尘器的特点和电除尘器提效改造的实施方案。对改造前后电除尘器主要技术指标进行了对比。改造后,电除尘器除尘效率提高。

FMEA在优化多层穿梭车取货过程中的运用

多层穿梭车^([1])在取货过程中,存在物料存放位置和多层穿梭车走形定位的双重误差,导致取货时存在货物掉落的风险。为提高产品运行的稳定性和取放过程中物料的安全性,采用FMEA对多层穿梭车的取货过程进行技术风险分析,以优化设备结构及控制模式,实现多层穿梭车取货过程自动纠偏,柔性取货。

参加成都解放入城仪式的经历

南下四川的战斗生活,特别是参加成都解放入城式的经历,深深地烙在了我们的记忆里,使我们终生难忘。