浅谈不同给液方式在铜电解车间的应用

不同给液方式对铜电解过程中有重要的影响,不同的循环方式会影响槽内温度分布、电解液成分及阳极泥沉降等,因此,根据铜电解生产不同情况的需要,分析对比了多种给液方式在贵冶电解车间的应用,总结了这几种给液方式的优缺点和适用条件。     

Multi-discharge EDM coring of single crystal SiC ingot by electrostatic induction feeding method

A new technique of EDM coring of single crystal silicon carbide (SiC) ingot was proposed in this paper. Currently single crystal SiC devices are still of high cost due to the high cost of bulk crystal SiC material and the difficulty in the fabrication process of SiC. In the manufacturing process of SiC ingot/wafer, localized cracks or defects occasionally occur due to thermal or mechanical causes resulted from fabrication processes which may waste the whole piece of material. To save the part of ingot without defects and maximize the material utilization, the authors proposed EDM coring method to cut out a no defect ingot from a larger diameter ingot which has localized defects. A special experimental setup was developed for EDM coring of SiC ingot in this study and its feasibility and machining performance were investigated. Meanwhile, in order to improve the machining rate, a novel multi-discharge EDM coring method by electrostatic induction feeding was established, which can realize multiple discharges in single pulse duration. Experimental results make it clear that EDM coring of SiC ingot can be carried out stably using the developed experimental setup. Taking advantage of the newly developed multi-discharge EDM method, both the machining speed and surface integrity can be improved.     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

Flower‐shaped ultra‐wideband fractal antenna

A flower‐shaped ultra‐wideband fractal antenna is presented. It comprises a fourth iterative flower‐shaped radiator, asymmetrical stub‐loaded feeding line, and coplanar quarter elliptical ground planes. A wide operating band of 12.12 GHz (4.58‐16.7 GHz) for S ₁₁ ≤ ? 10 dB is achieved along with an overall antenna footprint of 15.7 × 11.4 mm². In addition, other desirable characteristics, that is, omnidirectional radiation patterns, peak gain upto 5 dB, and fidelity factor more than 75% are achieved. A good agreement exists between the simulation and measured results. The obtained results illustrate that this antenna has wide operating range and compact dimensions than available structures.     

乐滩灌区输水隧洞穿合山煤矿采空区处理设计

分析了乐滩灌区工程北干渠溯河隧洞段长约1.06 km穿合山煤矿采空区的地质情况.借鉴高速公路煤矿采空区的成功处理经验,通过科学分析,对采空区变形和区域内覆岩的稳定性做了评价,论述了输水线路穿采空区段采取全充填压力注浆法的工程处理方法.     

A closed loop exponential feeding law: Invariance and global stability analysis

This article addresses the computation of invariant control laws [A. Fradkov, I. Miroshnik, V. Nikiforov, Nonlinear and Adaptive Control of Complex Systems, Kluwer, 1999] for fed-batch fermenters represented by two standard models. It will be shown how to derive partial state feedbacks that, assuming ideal conditions and perfect model, keep the specific growth rate μ constant provided the initial conditions are adequate. The invariant control law is the closed loop version of the exponential feeding already suggested in several references as shown later. The paper presents an analysis of invariance and a study of global stability within the framework of partial stability. That is, stability with respect to some of the state variables. This enables us to treat the case with Haldane-like or non-monotonous kinetics.     

电子束和接触式曝光机的混合曝光技术

Ⅰ线光致抗蚀剂可以同时实用电子束和光学系统曝光，在50kV加速电压下，其曝光剂量为50-100μC/cm^2，曝光后在0.7%NaOH溶液内显影1分钟。其灵敏度比PMMA快5倍，分辩率为0.5μm。采用两方法制备CaAsPHEMT：一种用Ⅰ线光致抗蚀剂，对源、漏及栅全部都采用电子束曝光，制备了0.5μm栅长的GaAs PHEMT；另一种将源、漏及栅分割成两部分，其中精细部分由电子束曝光，其余部分由光学系统曝光，用这种方法制备了0.25μm栅长的GaAs PHEMT。Ⅰ     

Effects ofSolanum glycoalkaloids on chemosensilla in the Colorado potato beetle

Steroidal glycoalkaloids, found in species of the Solanaceae, elicit bursting activity in galeal and tarsal chemosensilla of adult Colorado potato beetles. The effect has an average latency of 6–12 sec, depending on the sensillum/alkaloid combination. A 20-sec alkaloid treatment is often suffficient to render galeal sensilla unresponsive to gamma-aminobutyric acid, normally an effective stimulant. The alkaloids have similar effects on galeal sensilla of larval Colorado potato beetles and on labellar chemosensilla of the blowfly. It is concluded that these compounds act independently of any specialized chemoreceptor in the Colorado potato beetle, and that association of the Colorado potato beetle with solanaceous plants has not led to evolution of a specific receptor forSolanum glycoalkaloids.     

玄庙观水库双曲拱坝碾压混凝土配合比的设计与应用

碾压混凝土与常态混凝土相比,改变了材料配比和施工工艺,且具有施工速度快、工期短、造价低等优势,越来越广泛地应用到水利工程建设中。玄庙观水库大坝设计为全断面碾压混凝土双曲拱坝,简要介绍玄庙观水库大坝碾压混凝土原材料品质检测、比选,室内配合比试验,推荐配合比的现场试验以及施工配合比的确定过程,施工应用中VC值的动态控制,质量检测结果。实践表明,玄庙观水库大坝碾压混凝土施工配合比是一项成功的配合比。     

Practical method for generation expansion planning based on dynamic programming

This paper presents an efficient method which provides the optimal generation mix and the optimal generation construction process. The approximation method in which the dynamic programming technique and gradient method are combined is applied to determine the optimal generation mix with hydropower generation technologies. The successive approximations dynamic programming (SADP) technique, which is very suitable for high-dimensional multistage decision process problems, is used for obtaining the optimal generation construction process. The effectiveness and feasibility of the developed technique are demonstrated on a practical power system model which has five types of generation technologies including a hydropower generation technology.