"中国制造2025"背景下煤电化电气工程及其自动化专业人才培养模式的改革研究——评《中国制造2025》

国务院发布《中国制造2025》纲领性文件,预示着中国迈向现代化制造业强国的强劲信号,代表着我国的经济建设和教育工作摆脱传统模式限制,根据时代发展需求提出了新要求.从本质上讲,"中国制造2025"是以我国基本国情为核心提出的,其政策内容考虑到国内外所处的发展环境,又指明了中国制造业的发展方向和发展重点.这一纲领明确要求我国在创新发展中,坚持以质量为首要目标,遵守可持续发展的战略方针,注重做好整体结构的优化,并基于各领域需求大力培养综合发展型人才.由此可见,"中国制造2025"的出现为我国未来社会经济发展提供了明确方向.《中国制造2025》由金碚撰写,书中不仅深入解析了国家战略方针的制定核心,还从我国工业经济发展历程人手,分析要如何实现从"工业大国"发展成"工业强国".在阅读中能准确掌握现如今我国最紧迫的战略任务就是继续强化工业发展管理水平,注重研制先进工业产品,保障其在生产运输期间的质量安全.只有这样才能在提高我国国际地位的同时,促使我国成为世界超级大国,名列世界前茅.     

煤电化电气工程及其自动化专业人才培养的探索与实践

在我国高等教育革新发展中,高校为了培育更多与新时代发展相符的专业人才,开始基于各领域发展需求构建具有专业特色的教学课程.电气工程类作为目前市场发展急需的技术型人才,高校要想培养综合性强的专业人才,在研究专业方向和教学指导课程时,需要从行业实际情况人手,优先引用具备先进性和科学性的教学知识与技能,这样不仅能满足学科研究和教育需求,而且可以为未来电气智能化发展提供更多优秀人才.《百年回眸中国电气工程高等教育一百周年》一书是由中国电气工程高等教育100周年纪念委员会编写的,文章内容主要分为四方面:(1)贺词报告;(2)中国的电气教育发展历程;(3)求学授业回忆往昔;(4)已有百年历史的交大电气工程专业.同时,为了更好展现我国高校电气工程教学和科研方面取得的优异成绩,记录了多所高等院校教学指导和人才培育的实例,并在追思前辈功绩的基础上总结了近年来电气工程专业教育的发展经验,电气工程专业发展及相关人才培养在未来发展中的重要性.     

煤电化电气工程及其自动化专业人才培养的探索与实践

在我国高等教育革新发展中,高校为了培育更多与新时代发展相符的专业人才,开始基于各领域发展需求构建具有专业特色的教学课程.电气工程类作为目前市场发展急需的技术型人才,高校要想培养综合性强的专业人才,在研究专业方向和教学指导课程时,需要从行业实际情况人手,优先引用具备先进性和科学性的教学知识与技能,这样不仅能满足学科研究和教育需求,而且可以为未来电气智能化发展提供更多优秀人才.《百年回眸中国电气工程高等教育一百周年》一书是由中国电气工程高等教育100周年纪念委员会编写的,文章内容主要分为四方面:(1)贺词报告;(2)中国的电气教育发展历程;(3)求学授业回忆往昔;(4)已有百年历史的交大电气工程专业.同时,为了更好展现我国高校电气工程教学和科研方面取得的优异成绩,记录了多所高等院校教学指导和人才培育的实例,并在追思前辈功绩的基础上总结了近年来电气工程专业教育的发展经验,电气工程专业发展及相关人才培养在未来发展中的重要性.     

动态流图法对核电厂数字化仪控系统的可靠性评价

基于软件和微处理器的数字化技术已广泛应用于核电厂仪表与控制(IC)系统。近十年来,在建或部分已投运的核电厂均已采用全数字化仪表与控制系统(DICS)进行参数的监控与控制。核电厂控制系统的全数字化极大提高了控制系统的性能。由于DICS运行过程中存在动态交互,传统静态故障树分析(FTA)不能描述这种动态的交互特性,而动态流图法(DFM)可较好地描述系统间的各种动态交互。因此采用DFM评价核电厂DICS自动功率控制系统(APC)的可靠性。给定三组初始条件,即传感器故障、输出闭锁装置与主处理器故障和主辅处理器故障,利用DFM的归纳分析,得出了存在对应故障情况下控制棒实际位移与正常条件下的偏差;给定义当前时刻控制棒实际位移较正常条件下偏小的顶事件,利用DFM演绎分析,得出顶事件发生贡献最大的原因为当前时刻SRB(输出闭锁装置)切换失效,主处理器输出偏小,其他节点正常的故障组合。     

基于负荷混沌特性的改进Lyapunov指数预测法

针对目前常用负荷预测方法多依赖主观经验,为了提高预测精度,从相空间重构理论出发。结合负荷序列的混沌特性,提出了一种计算最大Lyapunov指数的改进算法。改进算法中引入一种取舍规则,提高了最大Lyapunov指数提取精度。利用改进算法建立实际电力月负荷预测模型,实际应用结果表明该模型具有一定实用价值。     

电力工程项目安全风险动态分级研究

针对电力工程项目类别多、环境复杂、风险高、安全管理难度大的特点,研究项目安全风险动态分级机制就显得尤为重要,以有效管控项目安全风险。通过层次分析法构建了电力工程项目安全风险动态分级评价体系,对影响电力工程项目的安全因素进行评价,得出了项目安全风险分值;同时,对作业环境、主要作业类型、作业人数等关键因素进行动态评价,实现了每日对项目安全风险进行动态分级,便于项目管理单位对工程项目分层分级制定针对性的管控措施,实施精准有效的管控。     

呋喃玻璃钢耐蚀设备在动态条件下的应用

玻璃钢耐腐蚀性的试验,在试验方法上尚存在问题,通常进行的均为静态浸渍试验和实际的使用条件差距很大。为此,在试验过程中加以应力。环境液体的流动,温度变化等动态条件,模拟出类似于实际老化的环境,以进行相当于实际老化的试验,根据这些动态试验和静态试验结果综合评价,才可得出适合实际使用条件下的耐蚀数据。     

形式化方法与应用专题前言

计算机科学的发展主要涉及硬件和软件的发展,而软、硬件发展的核心问题之一是如何保证它们是安全可靠的。如今,硬件性能变得越来越高,运算速度变得越来越快,体系结构变得越来越复杂,软件的功能也变得越来越复杂,如何开发可靠的软、硬件系统,己经成为计算机科学发展的巨大挑战。特别是现在计算机系统广泛应用于许多安全攸关系统中,如高速列车控制系统、航空航天控制系统、核反应堆控制系统、医疗设备控制系统等等,这些系统中的任何错误都可能导致灾难性后果。 形式化方法己经成功应用于各种硬件设计,特别是芯片的设计。各大硬件制造商都有一个非常强大的形式化方法团队为保障系统的可靠性提供技术支持,例如IBM、AMD等等。近年来,随着形式验证技术和工具的发展,特别是在程序验证中的成功应用,形式化方法在处理软件开发复杂性和提高软件可靠性方面已显示出无可取代的潜力。各个著名的研究机构都投入了大量人力和物力从事这方面的研究。例如,美国宇航局NASA拥有一支庞大的形式化方法研究团队,他们在保证美国航天器控制软件正确性方面发挥了巨大作用,在美国研发“好奇号”火星探测器时,为了提高控制软件的可靠性和生产率,广泛使用了形式化方法。在新兴领域,如区块链及人工智能等领域,形式化方法也逐步得到应用,提升系统的整体安全可控。 本专题公开征文,共征得投稿27篇。特约编辑先后邀请了国内外在该领域比较活跃的学者参与审稿工作,每篇投稿至少邀请2位专家进行初审。大部分稿件经过初审和复审两轮评审,部分稿件经过了两轮复审。通过初审的稿件还在FMAC 2020大会上进行了现场报告,作者现场回答了与会者的问题,并听取了与会者的修改建议。最终有18篇论文入选本专题。     

分布式软件系统交互行为建模、验证与测试

为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性,提出了一种分布式软件系统模块交互的抽象方法,分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模,使用UML2．0序列图对模块之间交互行为进行描述．采用基于命题投影时序逻辑的模型检测技术,将对象状态机图转换为 Promela 模型,系统交互性质转换为命题投影时序逻辑公式,通过模型检测器验证交互模型是否满足于系统的性质,若不满足于该性质,则能够获得反例执行的路径．给出了一个分布式软件系统测试框架,在验证后的序列图模型基础上,使用基于模型的测试用例自动生成方法得到测试用例集合,该集合能够实现对交互行为的有效测试．实例结果表明,该方法可以提高分布式软件系统中模块交互行为的有效性和可靠性．