Compiler compatible 5.66 Mb/mm2 8T 1R1W register file in 14 nm FinFET technology

1-read/1-write (1R1W) register file (RF) is a popular memory configuration in modern feature rich SoCs requiring significant amount of embedded memory. A memory compiler is constructed using the 8T RF bitcell spanning a range of instances from 32 b to 72 Kb. An 8T low-leakage bitcell of 0.106 μm² is used in a 14 nm FinFET technology with a 70 nm contacted gate pitch for high-density (HD) two-port (TP) RF memory compiler which achieves 5.66 Mb/mm² array density for a 72 Kb array which is the highest reported density in 14 nm FinFET technology. The density improvement is achieved by using techniques such as leaf-cell optimization (eliminating transistors), better architectural planning, top level connectivity through leaf-cell abutment and minimizing the number of unique leaf-cells. These techniques are fully compatible with memory compiler usage over the required span. Leakage power is minimized by using power-switches without degrading the density mentioned above. Self-induced supply voltage collapse technique is applied for write and a four stack static keeper is used for read Vmin improvement. Fabricated test chips using 14 nm process have demonstrated 2.33 GHz performance at 1.1 V/25 °C operation. Overall V_min of 550 mV is achieved with this design at 25 °C. The inbuilt power-switch improves leakage power by 12x in simulation. Approximately 8% die area of a leading 14 nm SoC in commercialization is occupied by these compiled RF instances.     

Multi-objective planning and optimization of microgrid lithium iron phosphate battery energy storage system consider power supply status and CCER transactions

Lithium iron phosphate battery (LIPB) is the key equipment of battery energy storage system (BESS), which plays a major role in promoting the economic and stable operation of microgrid. Based on the advancement of LIPB technology and efficient consumption of renewable energy, two power supply planning strategies and the china certified emission reduction (CCER) model are proposed respectively. Based on it, the multi-objective planning optimization model with economic benefits, environmental benefits and power supply stability as the objective function is established for the first time, and the Newton Weighted Sum Frisch method (NWSFA) solution model is adopted. In the planning process, rain flow counting method is used to research the life of BESS, which improves the accuracy of energy storage annual cost calculation. A park in northern China is taken as a case study to demonstrate the application of this model. The simulation results show that the annual economic operating cost of BESS is decreased by 18.81%, the energy supply reliability is increased by 0.15%, and the optimal electricity price adjustment ratio of the system is 15%.     

关于注册建筑师继续教育问题

针对当前勘察设计行业注册建筑师继续教育的情况进行调查和总结,并提出几点关于各专业注册师施行继续教育的改进建议。     

基于GCC的TMS320C67xx汇编代码的优化

为了使生成的汇编代码具有更高的执行效率,设计并实现了一种基于GCC的 TMS320C67xx汇编指令级的代码优化算法。首先,将汇编指令按照功能划分为不同的指令类型,并将汇编指令链接到链表中。然后,针对每一个寄存器建立对该寄存器的读写操作指令链表。最后,通过对指令类型的判断和对寄存器读写操作指令链表的分析,完成了冗余代码的删除和指令合并。实验结果表明,经过代码优化后,TMS320C67xx汇编代码的执行效率提高了20％左右,较中间代码级的优化算法执行效率提高了15％左右。     

An improved and provable self‐certified digital signature scheme with message recovery

This paper presents a self‐certified digital signature scheme with message recovery that is proven to be secure. So far, many schemes of this kind have been proposed to keep message secret in the transmission. But Zhang et al. has proposed the man‐in‐middle attack to Shao's self‐certified signature scheme, which is based on discrete logarithm. The attacker can make a new signature by using an old one, but the reason of such man‐in‐middle attack was not referred. We present the scheme of Yoon et al., which is also based on discrete logarithm, that cannot resist man‐in‐middle attack either, give the analysis of the attack, and propose a new scheme. The proposed scheme can resist forgery attack in the random oracle model and avoid message leakage, the man‐in‐middle attack, and meanwhile has several security characters. Compared with some self‐certified schemes, our scheme is the best because of the time cost. Copyright © 2013 John Wiley & Sons, Ltd.     

车用汽柴油中硫成分分析标准物质的研究进展

随着世界各国对环境问题的普遍重视,以及汽柴油标准的不断升级和油品质量检测技术的逐步完善,我国对低硫含量汽柴油标准物质的需求日趋迫切。油品中硫含量过高,大大降低了催化转换器中催化剂效率,增加了车辆污染物的排放量。含硫汽柴油标准物质的研制,是制定汽柴油国家强制标准的急需,是有效控制大气污染的急需,是保障交通安全的急需,对元素分析仪器的校准、汽柴油硫含量检测和定值等方面起到极其重要的作用。旨在通过对国内外车用汽柴油质量标准硫含量现状和发展趋势的分析,拟为汽柴油中硫元素标准物质的研制及快速准确地对汽柴油中硫含量的检测,提供必要依据和借鉴。     

Syntax and semantics of universal programming languages

This paper deals with certain characterizations of the sets of positive integers which when represented as strings on a finite alphabet, form tree adjunct languages, As the context free languages constitute a subfamily of tree adjunct languages, the results carry over to the former as well.     

A self‐applicable online partial evaluator for recursive flowchart languages

This paper describes a self‐applicable online partial evaluator for a flowchart language with recursive calls. Self‐application of the partial evaluator yields generating extensions that are as efficient as those reported in the literature for offline partial evaluation. This result is remarkable because it has been assumed that online partial evaluation techniques unavoidably lead to inefficient and overgeneralized generating extensions. The purpose of this paper is not to determine which kind of partial evaluation is better, but to show how the problem can be solved by recursive polyvariant specialization. The design of the self‐applicable online partial evaluator is based on a number of known techniques, but by combining them in a new way this result can be produced. The partial evaluator, its techniques, and its implementation are presented in full. Self‐application according to all three Futamura projections is demonstrated. The complete bootstrap of a compiler generator from a partial evaluator is also reported. Copyright © 2011 John Wiley & Sons, Ltd.     

A register window scheduling method for prolog

Abstract

This paper describes a windowed register file management technique for Prolog that we call “SORWT'’ (Splittable Overlapped Register Window Technique). This scheme is implemented in our Prolog system. Two pointers, the CWP (Current Window Pointer) and TWP (Top Window Pointer), are used with the register file so that the environment, choice point and arguments can be stored in register windows. This greatly reduces the number of memory accesses and procedure call/return overhead. This paper describes in detail how Warren instructions can be implemented in a windowed register file system. A mapping function between register windows and memory window areas and register file overflow/underflow handling algorithms are also presented. In addition, to cope with argument overflow problems in a window, the concept of extended windows is proposed.

Thirty benchmark programs are used to study the following effects: performance issue of SORW versus conventional stacked register windows; optimal register file and window sizes; argument overflow rate; and the efficiency of extended windows.     

焊接检验师在海洋钢结构焊接过程中的角色与行为

焊接是钢结构形成过程中一个极其重要的环节,作为焊接质量的重要保证,焊接检验师在钢结构生产的焊接质量控制中扮演着关键角色.由于海洋钢结构受到水文、气候等诸多因素影响,焊接质量要求更高.结合海洋钢结构工程项目中检验监理的亲身经历,阐述了焊接检验师在钢结构焊接过程中担当的角色和行为,称职的焊接检验师在项目焊接质量控制中担当着...