合成叔十二碳硫醇的填充柱气相色谱分析

讨论了以硫化氢和十二碳烯为原料 ,以固体酸为催化剂 ,采用滴流床反应器连续法合成叔十二碳硫醇工艺中叔十二碳硫醇合成液 (粗硫醇 )的快速分析方法。对采用毛细管柱气相色谱和填充柱气相色谱分析粗硫醇的方法进行了比较。结果表明 ,采用填充柱气相色谱法分析粗硫醇 ,方法简便、快速、可靠 ;完成一次分析只需 1min ,相对标准偏差小于 1%。     

干扰抵消型多用户检测器性能分析

用模块化的方法描述了 ＳＩＣ、ＭＳＳＩＣ、ＰＩＣ和ＰＳＩＣ干扰抵消多用户检测算法，给出算法的实现结构图，并且在渐近有效性、抗远近效应、系统容量和实现复杂度诸方面进行了性能比较分析。分析表明需要进行功率排序的ＭＳＳＩＣ、ＰＳＩＣ和ＳＩＣ算法比ＰＩＣ算法具有更好的抗远近效应的性能，ＭＳＳＩＣ和 ＰＳＩＣ算法在渐近有效性和系统容量方面要显著强于ＳＩＣ和ＰＩＣ算法。     

纳米ZnO薄膜制备及液态源掺杂

用真空蒸发法在玻璃和单晶硅片 (10 0 )上制备Zn薄膜 ,然后对Zn薄膜进行氧化、热处理获得纳米ZnO薄膜。对在硅片上制备的Zn薄膜一次性进行高温掺杂、氧化获得纳米ZnO∶P和ZnO∶B薄膜。研究不同氧化、掺杂温度和时间对薄膜结构、电学性能的影响。结果表明 :氧化温度和时间对ZnO薄膜结构影响较大 ,液态源掺P可明显改善纳米ZnO薄膜的导电性能、结构特性和化学组分     

THE SIMULATION OF THE SAR IMAGE OF INTERNAL SOLITARY WAVES IN ALBORAN SEA

1 .　ＩＮＴＲＯＤＵＣＴＩＯＮＯｃｅａｎｉｎｔｅｒｎａｌｗａｖｅｉｓａｋｉｎｄｏｆｇｒａｖｉｔｙｗａｖｅｇｅｎｅｒａｔｅｄｉｎｔｈｅｓｔｒａｔｉｆｉｅｄｏｃｅａｎ .Ｉｔｐｒｏｄｕｃｅｂｙｔｈｅｉｎｔｅｒａｃｔｉｏｎｏｆｔｉｄｅｃｕｒｒｅｎｔａｎｄｔｏｐｏｇｒａｐｈｙ ,ｓｅａｑｕａｋｅａｎｄｍｏｖｉｎｇｓｈｉｐｗｈｅｎｔｈｅｓｔｒｏｎｇ ,ｓｈａｌｌｏｗｐｙｃｎｏｃｌｉｎｅｉｓ ｐｒｅｓｅｎｔ.Ｔｈｅｉｎｔｅｒｎａｌｗａｖｅｓｉｎｔｈｅｃｏｎｔｉｎｅｎｔａｌｓｈｅｌｆａｒｅａｌｍｏｓｔｔｉｄｅｐｒｏｄ…     

纳米4-H碳化硅薄膜的掺杂现象

对纳米晶SiC薄膜进行了P和B的掺杂,B掺杂效率比P高,其暗电导预前因子与激活能遵守Meyer-Neldel规则,并有反转Meyer-Neldel规则出现.掺杂效率比非晶态碳化硅薄膜高是纳米碳化硅薄膜的特点之一.非晶态中的隧穿和边界透射对输运有一定贡献.     

丰富宜人的环境设计

发展园林绿化,丰富景观设计 　　在城市大环境下,绿化与建筑、绿化与城市空间的关系是相辅相成、相得益彰的.大连在沿袭传统的园林绿化手法的基础上,借鉴欧式造园手法对城市的一切自然特征,对山、海、土地、植被及其环境进行了全面“包装“,让人们视线所及之处都是生机盎然的树木、草坪和点缀其间的花卉、灌木、散石,这一切让人仿佛感受到欧洲的园林风光.而其间的委婉清丽又符合东方民族的审美情趣,创造了具有视觉美的开阔、通透、大气与豪放的与大连城市风格相吻合的外向型城市景观.……     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.     

从催化裂化柴油中分离高纯度2,6-二甲基萘

以大庆石油化工总厂炼油厂催化柴油为原料 ,通过精馏分离得到二甲基萘 (DMN)窄馏分 (2 5 8～ 2 70℃ ) ,经糠醛溶剂抽提 ,减压蒸馏后 ,在 -10～ -2 5℃冷冻 2～ 5h ,离心分离制得纯度约 80 %的粗 2 ,6 DMN ,再经无水乙醇在 -10～ -2 5℃重结晶 ,得到纯度大于等于 98%的 2 ,6 DMN。     

梅毒螺旋体血凝试剂盒的研制

以超声波处理的梅毒螺旋体为抗原,致敏经醛化、鞣化处理的绵羊红血球,应用血凝试验检测梅毒患者血清中梅毒螺旋体特异性抗体。同时以国际上公认的标准方法——FTA-ABS作为对照试验。共检测1125份血清(其中梅毒血清205份,非梅毒血清920份).两种方法检测结果完全相符,即敏感性皆为100％,血凝试验的特异性为99％。     

Starting up the Sherritt Zinc Pressure Leach Process at Hudson Bay

The first commercial application of the Sherritt two-stage zinc pressure leach process commenced operation at the Hudson Bay Mining and Smelting Company metallurgical complex in Flin Flon, Manitoba (Canada), on July 2, 1993. The start-up was relatively smooth, and full design rate for the plant was achieved by September 12, 1993. Since that time, zinc extraction in the zinc pressure leach plant has consistently been in excess of 98%, and production has continued to exceed expectations. The successful operation of the Hudson Bay plant represents a significant advancement of zinc processing technology, especially with respect to meeting the environmental challenge faced by zinc plants today.