学术论文应重视文后参考文献的著录

参考文献是学术论文的重要组成部分,正确著录文后参考文献对读者、作者和论文的编辑出版单位都有非常重要的意义。但是,国内学术论文对参考文献重视不够,表现在篇均参考文献数量偏少,引文时效较长;所引文献不符合文后参考文献著录原则和规范等方面。提高学术论文参考文献著录的准确度要求编辑要加强自身的学习,提高引文意识;通过编辑引导作者,加强审稿专家把关参考文献环节,以标准化作为期刊评比的环节之一。     

ECT与EVT在智能配电设备一二次融合中相融性分析

为了保证ECT与EVT在智能配电设备运行中的相融性,设计中应让系统、接口的串联阻抗或并联导纳虚部等于零方程ω无实数解,以保证在全频谱范围内,避免设备系统或接口发生串联或并联谐振。为满足设备在断路器操作、雷电冲击暂态过程中正常运行,ECT设计中应注意二次输出端并联电容的影响,兼顾系统和接口的相融性;电容分压型EVT应设计泄放暂态滞留电荷途径,保证成功重合闸;阻容分压型EVT的时间常数设计应同时满足重合闸时间与对地绝缘要求。单相短路接地使ECT、EVT、PT、负载等形成了串并联复杂系统,设计中不仅要满足边界条件,而且要留有足够余量。     

考虑跨区能流交互计划的多区域电-气综合能源系统分散调度方法

针对多区域电-气互联系统优化调度问题,提出考虑联络线、联络管道能流交互计划的分散式调度方法。首先,利用二阶锥松弛方法将气网潮流方程线性化;在区域间,通过优化联络线与联络管道能流交互计划,对机组出力进行优化配置以促进互联区域的风电消纳,并以单个区域为决策主体建立满足联络线与联络管道约束的集中式优化模型。然后,分析了多区域电-气互联系统能量流解耦机制,并基于标准交替方向乘子法,得到分散式优化算法,即同步交替方向乘子法(synchronous-alternating direction method of multipliers,S-ADMM),再利用上述算法对集中式模型进行重构,建立一种完全分散式的调度模型。最后,在不同规模的多区域电-气互联系统中开展算例分析,其结果表明:所提算法有较优的收敛性;通过联络线与联络管道的互联方式使系统运行最优;多区域电-气互联系统可改变联络线峰谷差率,使各区域发电资源达到配置最优,并减少了区域弃风量,降低了运行成本,可为多区域能源系统优化运行提供参考。     

浅议高职院校校区景观规划设计

以山西林业职业技术学院为研究对象,分析了整个校园景观环境存在的问题,并以景观生态学为理论基础,介绍了该校园整体景观规划设计及其景观特色,旨在为类似校园景观规划设计提供参考。     

以太原迎泽公园为例议公园出入口的规划设计

通过对太原市迎泽公园各出入口处建筑风格、空间布局、人流量等方面的实地调查分析研究,旨在探索新时期下公园出入口在景观和使用两方面规划设计时的营建方法,以期对同类设计有指导性意义。     

从凤太四大隐伏铅锌矿的找矿成果看深部找矿应注意的问题

从有地质资料记载以来,凤太地区找矿工作是从上世纪五十年代末期开始,至今已有近六十年的历史,其中最初的二十年是断断续续、零零散散的找矿,基本上没有开发利用;后四十年是持续不断的系统找矿,开发利用也不间断进行。在后四十年中的前二十到二十五年主要是以地表找矿为主,后十到二十五年以深部找矿为主,无论是地表找矿还是深部找矿都取得了巨大的成果。深部找矿风险大、成本高,研究清楚矿区地层、构造、控矿因素及矿体特征,尤其矿体形态特征是深部找矿的关键。     

柔性电子卷到卷制造中导向辊牵引特性的研究进展

目的 探索柔性电子卷到卷制造过程中薄膜经过导向辊时发生皱褶、划伤和滑移等问题的原因,以期提高柔性电子薄膜的制造精度和效率。方法 总结近年来导向辊与薄膜之间夹带气体流场特性和薄膜对导向辊牵引特性的研究进展,提出进一步需要研究的要点。结果 薄膜与导向辊之间夹带气体的流场特性和薄膜对导向辊的牵引特性是柔性电子薄膜稳定传输的主要影响因素,其对提高柔性电子产品加工精度具有重要作用。结论 有效控制导向辊与薄膜之间的夹带气体流场特性和薄膜对导向辊的牵引特性有助于提高薄膜传输的精度,从而保障卷到卷制造柔性电子产品的生产质量。     

基于功率区间划分的潮流能发电装置电能质量特性分析

在对中国自主研发的潮流能发电装置现场测试中获取的电能质量数据的基础上,提出功率区间划分的分析方法.以该装置的额定功率为基准划分功率区间,统计各功率区间的电能质量数据,独立分析各功率区间的电能质量特性,阐述产生电能质量问题的原因以及并网后对电网造成的影响.该方法的应用可提高潮流能发电装置电能质量特性分析的准确性,能辅助找...     

基于Isabelle/HOL的安全操作系统形式化验证方法

操作系统作为信息时代的基石,其安全性不言而喻。常规的软件测试方法不足以保障操作系统的安全性,需使用更为严格的基于数理逻辑的形式化验证方法。本文提出一种软件形式化验证的新思路：通过在Isabelle中构造模拟运行环境,使汇编代码运行其中,并记录系统状态的变化,最终根据程序运行前后系统状态的变化情况判断程序的正确性和安全性。重点介绍了顺序、分支和循环等3种程序结构的证明方法,并通过一个程序实例证明,得到在任意前提条件下程序执行前后系统状态的变化情况。      

TC4钛合金铣削轴向力及铣削温度分析与预测

针对YG8硬质合金刀具铣削TC4钛合金过程中因铣削力大、铣削温度高导致的表面质量差和生产效率低的问题,对其建立三维仿真模型.根据响应面法的中心复合设计(CCD)对铣削TC4的仿真试验方案进行设计,通过仿真数据得出铣削速度vc、每齿进给量fz、轴向切深ap、刀具前角γ0对轴向铣削力Fz和铣削温度T的影响规律.建立二阶响应...