纳米软磁铁氧体材料液相合成技术

随着电子产品向小型化、轻量化和高性能化方向发展以及应用领域的不断拓展,作为一新材料,纳米软磁铁氧体粉体的制备技术成为国际研究的热点之一。介绍了纳米软磁性铁氧体料的液相合成技术,综述了近年来具有尖晶石结构的纳米软磁性铁氧体材料的液相制备方法。中包括:化学共沉淀法、水热法、溶胶-凝胶法、喷雾热解法、微乳液法、相转化法、超临界法冲击波合成法和微波场下湿法合成。并对纳米软磁铁氧体材料液相合成技术的发展予以展望。     

Hybrid multilevel/multigrid potential preconditioner for fast finite element modeling

A robust hybrid multilevel/multigrid potential preconditioner is introduced for the fast and robust finite-element modeling of electromagnetic structures. The proposed preconditioning process combines the advantages of the hierarchical multilevel preconditioner and the nested multigrid potential preconditioner into a novel preconditioner with superior computational versatility. Numerical experiments from the application of the new preconditioner to the finite-element analysis of microwave devices demonstrate its superior numerical convergence and efficient memory usage.     

高效率窄线宽光纤激光器

本文报道了一种环形腔掺饵光纤激光器，得到了泵浦效率高达22.6%，输出线宽小于0.1nm的激光输出。     

Morphological compression of grayscale images of text

A new method for compression of grayscale images containing a small number of graphical elements is proposed. The method is characterized by high compression ratios, small losses, and good readability of the processed images. It is based on morphological methods of image analysis and could be used to store images of documents produced by fax machines, scanners, etc. Igor I. Falomkin. Born 1979. Graduated from the Faculty of Physics, Moscow State University, in 2001. Scientific interests: image analysis and recognition, analysis and interpretation of experimental data.     

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.     

Thermal expansion of gray tin

Translated from Izmeritel'naya Tekhnika, No. 7, pp. 40–41, July, 1989.