石化企业线性规划模型的自动生成

根据石化企业生产过程的实际情况，考虑原料供应量、装置加工能力、物料平衡和价格等情况．建芷反映企业生产情况的线性规划数学模型。分别阐述了模型的决策变量、目标函数和约束方程的自动生成的方法，并给出了模型文件的存储结构。     

A New Comb Circular Polarizer Suitable for Millimeter‐Band Application

This letter presents a new polarizer which has a simple comb structure inside a circular waveguide. The electrical performance of the proposed comb polarizer is optimized by a circular waveguide radius and by the physical parameters of the comb plates. This polarizer is suitable for providing good performance in millimeter‐band application because of its simple structure and low fabrication cost. In our experiments the dual‐band comb polarizer designed in band 1(K) and band 2(Ka) showed good electrical performance without any tuning elements.     

High Power Fiber Bundle Array Coupled LDA Module

1 Introduction High power laser diode arrays (LDA) have many advan- tages such as small volume, long working life, high slope efficiency and high optical density, so they have many applications in medical treatment, material pro- cessing, and for the pumping source of solid laser and etc. But unfortunately, the LDA can not be easy to use directly in these fields because of their poor beam quality and extremely asymmetric divergent beams (!x≈ 5°～10°and !y≈20°～35°, for example), so it …     

有线电视系统干扰信号的产生及排除

通过对有线电视系统干扰信号产生原因的理论分析，提出在实际操作中的解决方案，以期达到使有线电视系统信号的输出更稳定、电视画面更清晰的目的。     

Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application

Safety-critical software systems such as certain nuclear instrumentation and control (NI&C) systems should be developed with thorough verification. This study presents a method of software requirement verification with a case study for a nuclear power plant (NPP) protection system. The verification introduces colored petri net (CPN) for system modeling and prototype verification system (PVS) for mathematical verification. In order to aid flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this paper. In order to convert the extracted information to the PVS specification language, a translator has also been developed. This combined method has been applied to the functional requirements of the Wolsong NPP Shut Down System #2 (SDS2); logical properties of the requirements were verified. Through this research, guidelines and a tool support for the use of formal methods have been developed for application to NI&C software verification.     

水量还原方法及合理性检查

文中详细地阐述了取河水、井水、水库水、跨流城引(排)水等不同情况进行还原的具体方法步骤。并对水量还原成果提出合理性检查措施。     

Reading Motivation: Multidimensional and Indeterminate.

The Motivations for Reading Questionnaire (MRQ) contains 54 items that are posited to tap 11 dimensions of reading motivation. The structural validity of the MRQ was investigated with 2 samples: (a) 328 students in Grades 3-5 from 2 suburban mid-Atlantic elementary schools and (b) 735 students in Grades 3-5 in 2 suburban southwestern elementary schools. With confirmatory factor analyses (CFAs), the theoretical 11-factor structure did not adequately fit the data in either sample. Subsequently, exploratory factor analyses found 8 factors for each sample with 6 factors defined by only 3 or 4 common items. However, a double CFA cross-validation found an inadequate fit for both samples. Given these results, the authors suggest that the MRQ be revised. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

电磁超声流量计的研制

基于电磁声换能器的原理，研制了一种新型的电磁超声流量计，并讨论提高测量精度的措施。     

Ethylene polymerization over MgO‐supported zirconocene catalysts

Supported zirconcene catalysts on a new support, MgO, were prepared and tested in ethylene polymerization. Three types of impregnation methods were employed to find an optimum supporting method for MgO. The direct impregnation of Cp₂ZrCl₂ on MgO showed low metal loading and polymerization activity, while the catalyst had a higher metal loading and polymerization activity when MgO was treated with methylaluminoxane (MAO) before supporting. Treatment of MgO with MAO during the supporting step invoked two types of catalytic sites, which was evidenced by the bimodal molecular weight distribution of the polymer products. MgO is considered to have potential as a support for metallocenes.     

Josef Maria Bro?ek (1913-2004).

Presents an obituary and information about the life and accomplishments of Josef Maria Bro?ek. Born August 14, 1913, in the ancient town of Melnik, in central Bohemia, today the Czech Republic, Josef spent his childhood in Poland (Warsaw, 1913- 1915) and in Siberia (1915-1920). His education in Czechoslovakia culminated with a thesis on "Memory, Its Measurement and Structure" and a PhD awarded in June 1937. In the history of psychology, his lifetime project bore the title "Historiography of Psychology Around the World," and it covered about 20 geographical areas. Extensive attention was devoted to institutional and organizational developments as journals, academic settings, archives, museums, research groups, conferences, and institutes. (PsycINFO Database Record (c) 2010 APA, all rights reserved)