一种新的比相式电抗型距离继电器算法

对测量阻抗型和相量比较型两种类型的电抗距离继电器的抗稳态超越的能力进行了研究,主要包括负荷的影响和同相问题的研究。同时,构造了一个新的电抗型距离继电器判据和算法,该算法具有方向性,且不受负荷和同相问题的影响,解决了由于负荷和同相问题引起的稳态超越现象,提高了保护动作的可靠性。电磁暂态仿真结果证明该原理具有防止负荷和同相问题引起的稳态超越和保护范围不足的问题。     

辐射诱导冷却肉脂肪氧化机理与抑制方法研究

探讨了辐照剂量、贮藏效应、氧气含量和抗氧化剂等因素对辐照冷却肉脂肪氧化的影响，提出了抑制辐照冷却肉脂肪氧化的技术方法。结果表明，辐照冷却肉的过氧化值与辐照剂量存在极显著的正相关关系（p〈0．01），随着贮藏时间的延长表现为先升后降；在包装实验中，真空包装和无氧包装（N2＋CO2）可以咀显降低贮藏期间辐照冷却肉的过氧化值和TBARS值（硫代巴比妥酸反应物）；添加抗氧化剂后，辐照冷却肉的脂肪氧化明显降低，其过氧化值和TBARS值在贮藏期间不超过3meq／kg和0．4mgMDA／kg，而对照达到29meq／kg和1．13mgMDA／kg，其中抗氧化剂茶多酚和维生素E起主导作用。     

输电线路边界保护中雷电冲击与故障的识别

输电线路的边界保护原理是在单端利用暂态分量中包含的高频分量是否经过线路边界这一特点构成的 ,当雷电冲击线路时 ,会使边界保护发生误动作。通过大量的仿真分析 ,发现在雷电冲击没有造成短路和造成弧光短路以及普通短路故障情况下 ,由于线路两端的避雷器造成暂态分量的小波谱随着时间的变化规律不同 ,并提取这一差别构成了雷电和短路的识别算法。输电系统的仿真模型采用频率相关模型 ,ZnO避雷器采用IEEE公认的频率相关模型。EMTP仿真验证说明了该算法的正确性。     

SAT-Solving the Coverability Problem for Petri Nets

Net unfoldings have attracted great attention as a powerful technique for combating state space explosion in model checking, and have been applied to verification of finite state systems including 1-safe (finite) Petri nets and synchronous products of finite transition systems. Given that net unfoldings represent the state space in a distributed, implicit manner the verification algorithm is necessarily a two step process: generation of the unfolding and reasoning about it. In his seminal work McMillan (K.L. McMillan, Symbolic Model Checking. Kluwer Academic Publishers, 1993) showed that deadlock detection on unfoldings of 1-safe Petri nets is NP-complete. Since the deadlock problem on Petri nets is PSPACE-hard it is generally accepted that the two step process will yield savings (in time and space) provided the unfoldings are small.In this paper we show how unfoldings can be extended to the context of infinite-state systems. More precisely, we show how unfoldings can be constructed to represent sets of backward reachable states of unbounded Petri nets in a symbolic fashion. Furthermore, based on unfoldings, we show how to solve the coverability problem for unbounded Petri nets using a SAT-solver. Our experiments show that the use of unfoldings, in spite of the two-step process for solving coverability, has better time and space characteristics compared to a traditional reachability based implementation that considers all interleavings for solving the coverability problem.     

分子自组装体系的影响因素及其在纳米材料中的应用

介绍了分子自组装体系的影响因素以及分子自组装技术在纳米材料制备方面的应用,并对聚合物自组装体系及研究进展作了综述.     

Retardation of Dredged Material Leachate in Foundation Soils

Contaminated dredged material is often placed in confined disposal facilities (CDFs) designed and managed to control environmental impacts of the disposed sediment. This note presents equations for use in a screening procedure to evaluate the impact of a CDF on groundwater. The hydrologic evaluation of leachate production and quality model was used to simulate leachate production and transport through the foundation considering a range of foundation soil characteristics and contaminant properties. The model results were used to develop predictive equations of contaminant attenuation and travel time in the foundation soils. When used with equations to predict dispersion in the aquifer, contaminant exposures at receptor locations can be predicted, which is essential in leachate screening applications. The approach does not consider degradation or permanent sequestration of contaminants. Therefore, the procedure is conservative in that it may overestimate actual leachate concentrations and underestimate actual travel times.     

Analysis of Neutronic Parameters for Supercell of CANDU Reactor Using MCNPX Code

MCNPX code has been used for modeling and simulation of a supercell of CANDU Fuel, the supercell consists of two fuel bundle and adjuster rod. The fuel bundle are burnt in normal operation conditions of CANDU reactors. Natural uranium fuel is used in the model. The multiplication factor of the bundle is calculated during fuel burnup. The concentration of both uranium and plutonium isotopes are analysed in the bundle. The worth of the adjuster rod is calculated. Comparison of multiplication factor and worth of the adjuster rod with the previous published references showed good agreement.     

Comparative Review on Structure,Properties, Fabrication Techniques,and Relevance of Polymer Nanocomposites Reinforced with Carbon Nanotube and Graphite Fillers

Owing to their remarkable electrical, mechanical, thermal, catalytic, and optical properties as well as their unique structure, carbon nanotubes and graphite have been exploited to produce high performance and multifunctional composites. The resultant composites are differentiated on the basis of their properties to meet various applications. In the framework of this review article, we have mainly focused on the preparation, structure, and properties of two families of composite materials with an emphasis on the differences between them. Moreover, the current challenges, future prospectives, and applications of carbon nanotubes- and graphite-based materials in sensors and in photovoltaic and energy storage devices (Li-ion battery) have been discussed.     

Applications of biological markers in assessing the organic richness of the surface sediments of Suez Gulf,Egypt

The semienclosed Suez Gulf records various signals of high anthropic pressures from surrounding regions and the industrialized Suez countries. The sedimentary hydrocarbons have been studied in six coastal stations located in the Gulf of Suez. Nonaromatic hydrocarbons were analyzed by GC/FID and GC/MS to assess organic content in surface sediments of Suez Gulf, Egypt, depending on alkane, terpane, and sterane biological marker indicators. The results showed that the hydrocarbons are originated from multiple terrestrial inputs, biogenic and pyrolytic. Several ratios hydrocarbons indicated the predominance of petrogenic in combination with biogenic hydrocarbons.