区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.     

天然橡胶期货市场回顾及后市展望

2019年天然橡胶期货市场起起落落,沪胶价格继续低位震荡。2020年天然橡胶供大于求的局面仍不会发生根本性改变,由极端天气引发的天然橡胶市场行情变动可能会减小,汽车行业可能会在政策支持下再次振兴,尤其重型卡车市场会成为亮点,轮胎企业继续寻求扩大出口。2020年上半年,天然橡胶期货市场可能还会受到2019年异常天气和病害等的余波作用,胶价会达到一个相对的高点,价格底部抬升,但很难出现持续性上涨的市场行情。2020年下半年,随着天然橡胶产量的季节性增长,胶价可能会再次回落。     

困境下砥砺前行 期待中茁壮成长——2019年硅产业市场情况与发展趋势

2019年,在各种因素影响下我国硅产业度过了艰难的一年。这一年中,整个产业经历着格局急速转换、技术快速更迭,承受着价格持续下滑和需求前景的不确定性,大多数企业在默默地苦练内功,进一步降本增效,度过产业最为寒冷和黑暗的夜,期待着2020年黎明的曙光及新一轮的产业发展契机。     

加强水利科普教育的思考

安徽省水土资源丰富,河流水系复杂,淮河、长江、新安江三大水系穿境而过,加之2000多条河流、132个湖泊,构成综合交织的繁密水网。安徽省委、省政府高度重视水利工作,领导全省人民持续开展大规模的水利建设,累计建成堤防3.4万km、水库5800多座、水闸1.5万余座、排灌站227万kW、有效灌溉面积4536万亩,发挥了防洪、灌溉、供水、发电、航运、渔业、生态等综合效益。     

基于客户特征的产品环境需求预测方法研究

针对产品绿色设计中客户需求的模糊性和不确定性,提出了一种基于客户特征的产品环境需求预测方法。通过建立客户环境需求采集模版获取客户信息,采用感性工学及语义差异方法对客户环境需求进行规范化表达,构建了人工神经网络模型挖掘客户特征与客户环境需求之间的关系,帮助企业预测具有不同特征客户的环境需求,采用信息增益量化了各个客户特征对客户环境需求的影响程度。最后以某冰箱企业的客户环境需求分析为例,应用MATLAB进行仿真研究,验证了方法的可行性与有效性。     

艺术与科学融合背景下艺术院校设计专业人才培养路径探索

随着中国城市及产业的转型、升级发展,当下社会对中国高等院校的建筑与环境设计人才培养提出了新的要求。文章针对当前中国建筑与环境设计专业人才培养存在问题及发展困境,探索艺术与科技融合背景下艺术院校设计专业校企合作人才培养路径,并以天津美术学院艺术硕士建筑技术与艺术设计工作站联合培养基地建设为例进行实验教学探索。     

精准辅导答疑在骨干教师教学激励计划中的实践研究

将习近平总书记“精准扶贫” 的重要思想应用于高等学校教学辅导答疑工作中, 明确了高校教师辅导答疑工 作的目的、内容和措施。针对大学生在学习、生活过程中遇到的各种问题以及个性化需求, 将辅导答疑的类型分成 5 种形式, 实施精准辅导答疑, 提高人才培养质量。     

建于大学周边的医养结合型适老化社区可行性研究

文章在我国老龄化的大背景下,以大学周边社区为研究对象,以佛罗里达大学附属退休社区为例,研究医养结合型适老化社区建于大学周边的可能性,力求提出一种适合老年人心理与生理需求的新型社区模式,为我国解决老龄化问题提供新思路。