A Reduced Reachability Tree for a Class of Unbounded Petri Nets

As a powerful analysis tool of Petri nets, reachability trees are fundamental for systematically investigating many characteristics such as boundedness, liveness and reversibility. This work proposes a method to generate a reachability tree, called ωRT for short, for a class of unbounded generalized nets called ω-independent nets based on new modified reachability trees (NMRTs). ωRT can effectively decrease the number of nodes by removing duplicate and ω-duplicate nodes in the tree, and verify properties such as reachability, liveness and deadlocks. Two examples are provided to show its superiority over NMRTs in terms of tree size.      

现代化工分离技术讲座

<正>第十一章离子液体在分离过程中的应用(上接第2006年第5期) 5．2有机/生物/生物燃料分子的离子液体萃取由于带电有机物在离子液体中的高溶解性,促进了离子液体回收有机物的发展。如表11-7所示,在IL-H_2O两相体系中进行了一些取代苯衍生物的相分配研究。     

Antenna-array pattern nulling using a differential evolution algorithm

A new method based on the differential evolution (DE) algorithm is proposed for antenna-array pattern synthesis with prescribed nulls. The array excitation amplitudes are the only controlling parameters, and the objectives are to synthesize array patterns with nulls imposed on directions of interferences while keeping the sidelobe levels (SLLs) below prescribed levels. Many factors such as the excitation dynamic range ratio, null depth level, null width, and SLLs are taken into account in the synthesis. Simulation results of several typical problems are compared with published results to illustrate the effectiveness of the proposed method. © 2003 Wiley Periodicals, Inc. Int J RF and Microwave CAE 14: 57–63, 2004.     

High-performance MIM capacitor using ALD high-k HfO/sub 2/-Al/sub 2/O/sub 3/ laminate dielectrics

For the first time, we successfully fabricated and demonstrated high performance metal-insulator-metal (MIM) capacitors with HfO/sub 2/-Al/sub 2/O/sub 3/ laminate dielectric using atomic layer deposition (ALD) technique. Our data indicates that the laminate MIM capacitor can provide high capacitance density of 12.8 fF//spl mu/m/sup 2/ from 10 kHz up to 20 GHz, very low leakage current of 3.2 /spl times/ 10/sup -8/ A/cm/sup 2/ at 3.3 V, small linear voltage coefficient of capacitance of 240 ppm/V together with quadratic one of 1830 ppm/V/sup 2/, temperature coefficient of capacitance of 182 ppm//spl deg/C, and high breakdown field of /spl sim/6 MV/cm as well as promising reliability. As a result, the HfO/sub 2/-Al/sub 2/O/sub 3/ laminate is a very promising candidate for next generation MIM capacitor for radio frequency and mixed signal integrated circuit applications.     

抗乙肝病毒表面抗原PreS1(20-47)的单链抗体在转基因烟草根分泌物中的初步表达

为探索利用植物根分泌表达重组蛋白的可行性，构建了含有抗乙肝病毒表面抗原PreS1(20—47)单链抗体(ScFv)基因的表达载体。该ScFv基因转化烟草后在烟草根部细胞的细胞质和内质网中获得表达。实验结果表明，5’端融合ER导向信号肽的重组ScFv可通过根分泌表达。     

提高前馈神经网络推广能力的若干实际方法

提高前馈神经网络的推广能力是深受关注的问题，本文根据我们最近提出了一个网络有效推广的准则，从提高网络特征提取能力，分类能力和修改神经元激活函数等几方面给出了若干实际方案，我们在任意手写数字识别问题上的实验结果证实了这些方法的有效性。