针对控制保护逻辑的网络安全攻击对燃煤发电机组汽轮机运行的危害研究

汽轮机是燃煤发电机组的三大主设备之一,而汽轮机控制保护逻辑是实现汽轮机主要控制和保护功能的载体,可能成为网络安全攻击的目标.本文通过介绍控制保护逻辑的基本原理及其工程实现,提出了一种针对汽轮机控制保护逻辑的网络安全攻击方法,并分析了网络安全攻击对汽轮机运行的危害,最后通过基于仿真实验平台的网络安全攻击实验,验证了针对控制保护逻辑的网络安全攻击能够危害汽轮机的正常运行,提出了强化控制系统通信鉴权的建议.     

热处理对铁铝涂层相组成及滑动磨损性能的影响

采用粉芯丝材和高速电弧喷涂技术得到的铁铝金属间化合物涂层 ,研究了 5 5 0℃和 80 0℃热处理对涂层相组成及滑动磨损性能的影响。结果表明 ,涂层的主要组成相是铁铝金属间化合物 (FeAl和Fe3 Al)和α Fe ,另有少量的Al2 O3 和Al。热处理后 ,一部分Fe3 Al将转变成FeAl,对涂层的显微硬度有明显的影响。剥层磨损是铁铝涂层的主要磨损机理。通过热处理提高涂层的显微硬度 ,将有利于提高涂层的耐磨性     

两面顶金刚石单晶耐热性分析

本文通过热失重（TGA），示差扫描量热（DSC）法，扫描电镜（SEM），热侵蚀等方法分析了国产两面顶压机合成的金刚石单晶在空气中的耐热性。还分析了热侵蚀后金刚石的形貌变化并进行了抗压强度，T1、TT1的测量，将国产金刚石与进口金刚石作了大量的对比试验，发现两者的耐热性非常接近。发现金刚石的起始氧化温度在700℃左右，此时开始失重；剧烈氧化温度在850％左右，此时失重最为严重。在加热温度超过1200℃时在DSC图中出现了第二个放热峰，表明金刚石在受热温度超过1200℃时经历了第二次剧烈氧化阶段。这可能是由于在高温下触媒的反催化作用引起的。这为金刚石工具制造者及使用者提供了参考价值。     

95 t氧气顶吹转炉倾动机构传动系统性能测试与分析

为了转炉的增容 ,对已建 95 t转炉主倾动设备进行现场性能测试 ,以便对转炉原设计性能进行验证和分析 ,为后续转炉设计提供可靠的参考数据 ,并为安全生产、合理使用设备 ,改进操作提供参考意见     

Comparison between methods for predicting maximum solid solubility of transition metals in solvent metal

1　INTRODUCTIONThepredictionofsolidsolubilityofanalloyisasuspendingbutanimportant question .Therearemanymicrocosmictheoriesand goodreviews pub lishedelucidatingtheeffectsofelectronegativity ,atomicdiameterandelectronconcentrationonthesol idsolubility ,respectively[1,2 ] .However,theyaredifficulttopredictsolidsolubilitythoughtheycanex plainsomeexperimentalrules.DarkenandGurry[3,4 ]proposedatheoremconsideringbothatomicsizeandelectronegativity ,whichgreatlyimprovedtheHume Rothery swork (D …     

语言竞争社会仿真模型与计算实验

语言竞争传播演化现象是典型的不能假设、无法进行"真实性实验"的社会科学问题,而建立在社会仿真模型基础上的计算实验是可行的方案。利用基于Agent的社会圈子网络理论并引入语言的内部词汇结构给出一种新的动态微观语言竞争社会仿真模型,其能反映语言内部结构演化涌现宏观语言态势的机制。计算实验表明:无干预调控情况下,语言共存的参数空间范围很小,很难达到共存状态,但在合适的时间窗口实施动态的调控政策可以让语言共存的参数空间显著扩大,在社会开放度高的情况下政策调控效果更好,这一发现扩展了之前人们对复杂网络语言竞争模型的认识。     

Time and Energy Performance of Parallel Systems with Hierarchical Memory

In this paper we analyze the impact of memory hierarchies on time-energy trade-off in parallel computations. Contemporary computing systems have deep memory hierarchies with significantly different speeds and power consumptions. This results in nonlinear phenomena in the processing time and energy usage emerging when the size of the computation is growing. In this paper the nonlinear dependence of the time and energy on the size of the solved problem is formalized and verified using measurements in practical computer systems. Then it is applied to formulate a problem of minimum time and minimum energy scheduling parallel processing of divisible loads. Divisible load theory is a scheduling and performance model of data-parallel applications. Mathematical programming is exploited to solve the scheduling problem. A trade-off between energy and schedule length is analyzed and again nonlinear relationships between these two criteria are observed. Further performance analysis reveals that energy consumption and schedule length are ruled by a complex interplay between the costs and speeds of on-core and out-of-core computations, communication delays, and activating new machines.     

小湾水电站泄洪洞抗冲耐磨混凝土施工综述

小湾水电站泄洪洞在泄洪时具有高水头、高流速、泄量大的特点,对混凝土冲刷力强,容易产生空蚀破坏.通过合理选择浇筑措施、优选配合比、有效的温度控制以及合理的养护,目前,泄洪洞各方面质量均满足要求,且未发现裂缝.泄洪洞抗冲耐磨混凝土施工及质量控制的成功,为减小泄洪洞过流面空蚀和抗冲耐磨提供了保障.     

A compositional Petri net translation of general π-calculus terms

We propose a finite structural translation of possibly recursive π-calculus terms into Petri nets. This is achieved by using high-level nets together with an equivalence on markings in order to model entering into recursive calls, which do not need to be guarded. We view a computing system as consisting of a main program (π-calculus term) together with procedure declarations (recursive definitions of π-calculus identifiers). The control structure of these components is represented using disjoint high-level Petri nets, one for the main program and one for each of the procedure declarations. The program is executed once, while each procedure can be invoked several times (even concurrently), each such invocation being uniquely identified by structured tokens which correspond to the sequence of recursive calls along the execution path leading to that invocation.     

一种自适应振动主动控制策略及其在C型三维表面检测系统中的应用

基干广义最小方差和一步超前预报理论,围绕三维型面扫描系统中所存在的周期性徽振动问题,提出了一种新的自适应振动主动控制算法.以C型臂式三维激光扫描系统为应用背景,基于来自于该系统的数据样本建立了系统的振动动态自回归滑动平均模型(ARMA模型).采用所提出的自适应控制算法对该模型进行了振动主动控制仿真研究.仿真结果验证了所提出的方案可以有效地抑制C型臂运动过程中产生的振动,提高系统的整体三维检测精度.