On a direct algorithm for the generation of log-normal pseudo-random numbers

The random variable \(\left( {\prod {_{i = 1}^n {{X_i } \mathord{\left/ {\vphantom {{X_i } {X_{i + n} }}} \right. \kern-0em} {X_{i + n} }}} } \right)^{{1 \mathord{\left/ {\vphantom {1 {\sqrt {2n} }}} \right. \kern-0em} {\sqrt {2n} }}}\) is used to generate standard log-normal variables Λ(0, 1), where theX _i are independent uniform variables on [0, 1].     

Polynomoperatoren in C k [a,b]

Some estimations for the relative projection constantP(∏ _n+k ^k ,Csik[a,b]) are given. By constructing an associated polynomial operatorL _n :C ⁰[a,b]→∏ _n ⁰ to a given polynomial operatorH _n+k :C ^k [a,b]→∏ _n+k ^k we get a lower bound for the projection constant. An upper bound forP(∏ _n+k ^k ,C ^k [a,b]) is obtained by the determination of the norms of appropriate polynomial operatorsP _n+k :C ^k [a,b]→∏ _n+k ^k . Further we give a convergence property for the sequence (P _n+k ) _n∈?.     

X-ray photoelectron spectroscopy characterization of the interface between Ag electrode and PVDF film treated by electric poling

Interface changes induced by electric poling treatment between an Ag electrode deposited by vacuum thermal evaporation and a polymer thin film have been investigated. The polymer film poly (vinylidene fluoride) (PVDF), a fluoropolymer of repeat unit (–CH₂–CF₂–) was treated under electric poling at high temperature of 90°C. The characterization was accomplished using X-ray photoelectron spectroscopy (XPS) as a primary tool. The results indicate that the piezoelectricity of PVDF thin films and adhesion force between polymer thin film and metallic electrode are improved by electric poling and chemical bond joint.     

In-plane directional mechanical properties of carbon fabric skins in sandwich structures after thermoforming

In this paper, a representative unit volume finite element (RUV FE) model was employed to simulate thermoforming process of carbon fabric-polymeric foam sandwich structures. Thermoforming simulations, which capture crimp angles and amplitude changes of carbon fabric with respect to different operational pressure, were conducted with the help of RUV FE model. Micro-deformation of tow structures after thermoforming was rigorously reflected in the second stage FE model to determine the in-plane directional stiffness of skin parts. Tensile tests were carried out to investigate mechanical properties of skin parts in sandwich structures for the potential usage of automotives, electronic housings or the satellite structure design.     

Patent applications of the Top 500 foreign investment corporations in China

Summary The paper focuses on the Top 500 foreign investment corporations (FICs) in China, by conducting data mining and system searching on the data-base of patent from the State Intellectual Property Office of the People's Republic of China (SIPO). Structure of patent applications, industrial distribution of patent applications, monopolistic tendency, technological innovation of Chinese companies and directions of foreign investment are studied.     

几种排水型高性能船阻力性能对比研究

采用阻力理论计算方法，以高速圆舭艇的阻力性能为基准，对高速圆舭艇、深V型船、穿浪双体船以及高速三体船的阻力性能进行了对比研究，对比较结果进行了分析，给出了各船型的最适用航速范围．     

磁场引发苯乙烯分散聚合反应的研究

采用苯乙烯的分散聚合反应体系为研究对象，在无外加温度、压力及其它物理手段的前提下，直接利用磁场在室温条件下引发苯乙烯的分散聚合反应，成功制备出了聚苯乙烯微球。研究结果表明，交变磁场作用引发苯乙烯分散聚合生成了聚苯乙烯，其重均分子量Mw=96856，数均分子量Mn=13162。所制备的聚苯乙烯微球的粒径为1～2μm，恒定磁场条件下制备的聚苯乙烯微球重含有部分不成形的杂质，而交变磁场条件下制备的聚苯乙烯微球的球形度规整，表面光滑，无缺陷和杂质。     

Testing digital safety system software with a testability measure based on a software fault tree

Using predeveloped software, a digital safety system is designed that meets the quality standards of a safety system. To demonstrate the quality, the design process and operating history of the product are reviewed along with configuration management practices. The application software of the safety system is developed in accordance with the planned life cycle. Testing, which is a major phase that takes a significant time in the overall life cycle, can be optimized if the testability of the software can be evaluated. The proposed testability measure of the software is based on the entropy of the importance of basic statements and the failure probability from a software fault tree. To calculate testability, a fault tree is used in the analysis of a source code. With a quantitative measure of testability, testing can be optimized. The proposed testability can also be used to demonstrate whether the test cases based on uniform partitions, such as branch coverage criteria, result in homogeneous partitions that is known to be more effective than random testing. In this paper, the testability measure is calculated for the modules of a nuclear power plant's safety software. The module testing with branch coverage criteria required fewer test cases if the module has higher testability. The result shows that the testability measure can be used to evaluate whether partitions have homogeneous characteristics.     

A method for evaluating fault coverage using simulated fault injection for digitalized systems in nuclear power plants

The fault coverage for digital system in nuclear power plants is evaluated using a simulated fault injection method. Digital systems have numerous advantages, such as hardware elements share and hardware replication of the needed number of independent channels. However, the application of digital systems to safety-critical systems in nuclear power plants has been limited due to reliability concerns. In the reliability issues, fault coverage is one of the most important factors. In this study, we propose an evaluation method of the fault coverage for safety-critical digital systems in nuclear power plants. The system under assessment is a local coincidence logic processor for a digital plant protection system at Ulchin nuclear power plant units 5 and 6. The assessed system is simplified and then a simulated fault injection method is applied to evaluate the fault coverage of two fault detection mechanisms. From the simulated fault injection experiment, the fault detection coverage of the watchdog timer is 44.2% and that of the read only memory (ROM) checksum is 50.5%. Our experiments show that the fault coverage of a safety-critical digital system is effectively quantified using the simulated fault injection method.