微晶合金在电流互感器中的应用

从微晶合金的性能特点出发，分析了其在电流互感器中的应用前景。     

先进电子化政府基本模式及实现

电子化政府是运用信息技术创新政府服务的整合概念。建构电子政府已经成为世界范围内政府再造的新趋势。这里讨论了电子化政府基本模式及规划的内容和特点,并具体提出实现的模式、技术路径及方法。     

仲胺衍生物柴油流动改进剂

考察了十八种胺衍生物改善高含蜡柴油低温流动性的作用规律。结果表明，仲胺衍生物主要是通过增溶柴油中的长链正构烷烃，使浊点、冷滤点降低，从而改善柴油低温性能。仲胺衍生物与T1804流动改进剂（乙烯-醋酸乙烯酯聚合物）复合可以改善蜡晶的分散性能，对降低柴油冷滤点有增效作用。     

纵向零序电压保护新方案及其应用

由于结构设计的原因，综合性能较好的一些保护方案如横差保护和不完全纵差保护等将不能应用于大型超临界汽轮发电机。文中重点讨论了纵向零序电压保护方案的改进及其在应用中的问题。研究表明，发电机发生匝间短路故障时3次谐波电势减小，而机组外部故障时发电机3次谐波电势增大。因此，为了提高纵向零序电压保护方案的性能，可以根据故障时3次谐波电压增量的特性作为选取制动量的依据，从而提高保护性能。亦即:当3次谐波电压表现为负增量时，制动量取为0或接近0;而当3次谐波电压表现为正增量时，以该增量值作为制动量。此外，对匝间保护纵向零序电压元件增加一个小延时是可行的，它可以提高保护躲暂态3次谐波影响的能力。仿真计算表明，比例制动式纵向零序电压保护能可靠区分内外部故障，符合大型超临界汽轮发电机的保护要求。     

Structure and Magnetic Properties of LaCo_(13-X)M_X Intermetallic Compounds

ＳｔｒｕｃｔｕｒｅａｎｄＭａｇｎｅｔｉｃＰｒｏｐｅｒｔｉｅｓｏｆＬａＣｏ＿（１３－Ｘ）Ｍ＿ＸＩｎｔｅｒｍｅｔａｌｌｉｃＣｏｍｐｏｕｎｄｓＷＵＪｉａｎＭｉｎ；ＬＩＦｅｎｇ；ＴＡＩＬｉＣｈｉａｎｄＺＨＥＭＧＱｕｎＳｔｒｕｃｔｕｒｅａｎｄＭａｇｎｅｔｉｃＰ...     

浅析C语言中scanf()函数的用法

C语言中scanf()函数非常重要,充分了解它的用法就更加重要.     

High-level synthesis design flow for power side-channel security

The lack of efficient security guidance is a prominent problem in the design flow of high-level synthesis. To tackle this issue, this paper proposes a security-based high-level synthesis design flow featuring the power side-channel vulnerabilities. The side-channel leakage is quantified by establishing a secure component module library, a more efficient and secure parallel scheduling mechanism is generated by optimizing the control flow, and a more secure architecture of the storage system is achieved by optimizing the data flow. The goal is to perform tradeoffs between performance and security, reducing the side-channel risks at the early stage of design and simultaneously generating more secure and efficient cryptographic cores in hardware. Furthermore, the proposed HLS design flow is verified on a field programmable gate array platform. Experimental results show that, in comparison with the traditional design flow, this method reduces the resources by 72% and the clock cycles by 70% and increases the throughput by 88%, and that it can lower the power side-channel risks within an ongoing design to the greatest extent.     

基于抽象原则和模型检测的网络协议安全分析

提出了一种可以缓解状态空间爆炸的抽象原则,对模型设计过程中的辅助变量、报文字段、自动状态机数量进行科学约简,在尽量不影响验证结果准确度的前提下,降低了模型的复杂度.在此基础上,提出了一种半自动化建模框架,只需用户提供少量必须的输入,不需要学习语法,就可以自动生成具有统一规范的模型,方便研究人员查阅和使用.实验结果表明,采用所提的抽象原则和半自动化建模框架创建的模型,可以验证网络协议的相关属性.     

压气机静子叶片锻造过程的三维刚粘塑性有限元模拟

利用三维刚粘塑性有限元法对某重型燃机压气机静子叶片的锻造过程进行了数值模拟分析,揭示了叶片锻造变形规律,并以实际锻造工艺试验对其进行了试验验证。锻造工艺试验与数值模拟结果吻合较好,从而验证了数值模拟结果的可靠性。该研究对压气机静子叶片锻造工艺的优化设计具有重要的指导意义。