摘要：在开放运行环境中,安全攸关系统的不确定性行为有可能导致小概率事件的发生,而此类事件的可靠性指标往往很高,小概率事件一旦发生就会产生灾难性的后果,严重威胁到人们的生命、财产安全.因此,评估、预测小概率事件发生的概率,对于提高系统的可靠性具有重要意义.统计模型检测是一种基于模拟的模型验证技术,结合了系统的快速模拟及统计分析技术,能够有效提高模型检测的效率,适用于验证、评估安全攸关系统的可靠性,但其面临的挑战性问题之一是在可接受的样本数量下,使用统计模型检测技术难以预测、评估小概率事件发生的概率.因此,提出一种改进的统计模型检测框架,设计和开发基于机器学习的统计模型检测器,实现在相对较少的样本数量下预测和评估小概率事件发生的概率.结合轨道交通控制系统中避碰控制案例分析,进一步证明改进后的统计模型检测器能够有效预测和评估安全攸关系统中小概率事件发生的概率.

摘要：车尔尼钢琴练习曲是每一位钢琴学子的必弹曲目,也是钢琴教师训练学生基本功的有效法宝。车尔尼练习曲的独特优势不可否认,但由于时代的变迁及音乐风格的多样性发展,其所存在的一些技术上的局限性问题也日渐显现。本文拟就左右手均衡训练、小调式训练、节奏对位训练、复调思维训练以及歌唱性训练等问题予以分析和探究。

摘要：滩晒工艺的引入是湖盐企业开采到一定程度面临的共性问题,文章以吉兰泰盐湖为例,阐述了内陆盐湖滩晒盐田的设计与生产工艺技术,多种开采工艺相互并存,取长补短,充分发挥资源优势,延长盐湖服务年限。

摘要：以黔西北夹岩水利枢纽为研究对象,建立以供水、发电和生态为目标的水库长期调度优化模型,针对该模型多目标且决策维数大于状态维数的特点,提出了耦合权重法和水量分配规则的综合利用水库动态规划求解方法,获得了供水、发电和生态3个目标的非劣解集,并对3个目标之间的竞争关系进行了剖析,在此基础上推荐了供水、发电和生态目标均衡的水库调度方案。结果表明:均衡方案水库多年平均消落水位变化大,说明水库调节作用对3个目标有较为均衡的影响,而以供水综合保证率和生态率属度最大为目标时,水库平均消落水位变化小,说明从供水和满足生态流量角度来看,水库调节作用相对较小。

摘要：高校音乐专业是培养专门音乐工作者的教学机构,担负着传承传授中外优秀音乐文化,培养音乐人才的神圣职责,而社区则是聚居在一定地域范围内的人们所组成的社会生活共同体,承载着社区文化建设,培育良好公民的重要使命。二者在其工作性质和属性上有所不同,加之一直以来在音乐艺术领域里所谓的高雅与通俗之分,使得高校的专业化音乐教育与社区的大众娱乐化音乐文化之间,存在着较大的差异和区别。鉴于此,本文拟以已有的实践为基础,结合现实状况和可发展空间,试以探索高校音乐专业与社区音乐文化相融合的路径和方法。

摘要：河道水面线计算是山区河道治理等项目中不可或缺的部分。美国开发的HEC-RAS软件在河道水面线计算中的应用研究已有很多,但很少提及山区河道断面距较大、断面数量有限时,软件断面插值对计算结果的影响。利用HEC-RAS软件,结合北京市怀柔区山区河道菜食河的DEM高程数据,在基础断面、插值断面以及加密断面3个工况下分别建立了10、20、50一遇3种重现期下的河道水面线。结果表明:对于河道顺直、河道断面形式和河底高程变化不大的山区河道,插值计算能提高计算精度;对于河道不规则、河道断面形式和河底高程变化较大的山区河道,插值计算的误差较大,且重现期对水位的影响具有不确定性。

摘要：文章通过一起氯气泄漏事故案例,从氯气工艺设计、施工、试生产和运行管理四个阶段总结并提出了氯气工艺控制的要点,对行业人员具有一定的参考价值。

摘要：研究了美国WL系列的5个包衣紫花苜蓿品种种子在不同盐浓度下的发芽特性,筛选出适宜不同盐浓度的苜蓿品种,为紫花苜蓿推广种植提供依据。试验使用人工气候箱,采用纸上发芽法,滤纸作为发芽床。以紫花苜蓿(Medicago sativa L.)的种子为研究对象,随机选取各品种的苜蓿种子,包衣完整无破损,每皿50粒,试验设7个浓度梯度:0、20、40、60、80、100、120 mmol/L,每个品种3组重复试验,采用单因素设计。每天记录当天的发芽数目,各个梯度的盐溶液在种子的生长阶段对紫花苜蓿种子发芽率、发芽势、幼苗单株鲜重、幼苗根长、幼苗茎长、叶重、根重、发芽指数、活力指数均有不同影响,对数据进行测定分析后,结果发现:(1)在20~60 mmol/L盐溶液中的紫花苜蓿种子萌发良好,说明紫花苜蓿种子能够在弱盐环境中正常发芽。(2)5种紫花苜蓿种子对盐的耐受性由高到低排列为:WL903>WL168HQ>WL343HQ>WL353LH>WL363HQ。

摘要：城市中心区的拆迁安置房社区,其规划设计综合了社会学、政治经济学、城市地理学、城市规划等诸多学科的研究课题,对于城市中心区资源分配、城市空间结构、城市社会问题等均有较大影响。通过分析当前城市中心区拆迁安置房的现状和问题入手,从规划设计的角度探讨这一特定居住类型的设计规律和准则。

摘要：介绍东风_4B型机车无级调速驱动器试验装置的设计原理、性能参数和试验方法。