缺省理论的简化

缺省理论△=(D,W)中的缺省规则集D,是该理论的不确定因素.如果能去掉一些缺省规则而又不影响该理论的延伸,则就在一定程度上简化了该理论.本文证明了关于规范缺省理论的延伸的若干性质,利用这些性质,我们可以把某些规范缺省理论在一定条件下得以化简,有的甚至可以把它们化为一阶逻辑理论.     

Disorder effects on the strain response of model polymer networks

Molecular dynamics simulations are used to investigate polymer networks made by either end-linking or randomly crosslinking a melt of linear precursor chains. The resulting network structures are very different, since end-linking leads to nearly ideal monodisperse networks, while random crosslinking leads to polydisperse networks, characterized by an exponential strand length distribution. Networks with average strand length 20 and 100 were generated. These networks were used to study the effects of disorder in the network connectivity on observables averaged either over the entire network or selected sub-structures. Heterogeneities in the randomly crosslinked networks cause significant differences in the localization of monomers, however, neither the localization of crosslinks nor the microscopic strain response are significantly affected. Compared to end-linked networks, randomly crosslinked networks have a slightly increased tube diameter, and as a result a slightly decreased shear modulus, but otherwise identical stress-strain behavior. For the investigated systems, we conclude that the microscopic strain response, tube diameter, and stress-strain relation are all insensitive to the heterogeneities due to the linking process by which the network were made.     

The stress intensity factors for a short crack partially penetrating an inclusion of arbitrary shape

Some approximate solutions for predicting the stress intensity factor of a short crack penetrating an inclusion of arbitrary shape have been developed under mode I and mode II loading conditions. The derivation of the fundamental formula is based on the transformation toughening theory. The transformation strains in the inclusion are induced by the crack-tip field and remotely applied stresses, and approximately evaluated by the Eshelby equivalent inclusion theory. As validated by detailed finite element (FE) analyses, the developed solutions have good accuracy for different inclusion shape and for a wide range of modulus ratio between inclusion and matrix material.     

Measuring consistency in TTL-based caches

We propose a general modeling framework to evaluate the performance of cache consistency algorithms. In addition to the usual hit rate, we introduce the hit^* rate as a consistency measure, which captures the fraction of non-stale downloads from the cache. We apply these ideas to the analysis of the fixed TTL consistency algorithm in the presence of network delays. The hit and hit^* rates are evaluated when requests and updates are modeled by renewal processes. Classical results on the renewal function lead to various bounds.     

大孔径石蜡加氢精制催化剂的制备

采用氨吸附-程序升温脱附(NH3-TPD)、低温N2吸附(BET)、压汞法以及加氢精制活性评价等技术,探索SiO2-Al2O3载体在制备过程中孔结构和表面性质的变化。实验结果表明,采用特殊扩孔剂制备载体,当焙烧温度为700℃时,平均孔径可达到17.3nm,其中孔径大于20nm的孔占总孔体积的13.2%;同时载体表面上的中、强酸中心也全部丧失,均为弱酸中心。采用该载体制备的MoNiP/SiO2-Al2O3石蜡加氢精制催化剂,在MoO3用量减少了约1/4的情况下,比目前工业上使用的催化剂具有更高的脱金属能力和加氢精制活性。     

Sensitivity analysis in conjunction with evidence theory representations of epistemic uncertainty

Three applications of sampling-based sensitivity analysis in conjunction with evidence theory representations for epistemic uncertainty in model inputs are described: (i) an initial exploratory analysis to assess model behavior and provide insights for additional analysis; (ii) a stepwise analysis showing the incremental effects of uncertain variables on complementary cumulative belief functions and complementary cumulative plausibility functions; and (iii) a summary analysis showing a spectrum of variance-based sensitivity analysis results that derive from probability spaces that are consistent with the evidence space under consideration.     

一种考虑分布电容的模糊故障测距算法

提出了一种考虑分布电容的故障测距新算法。该算法基于微分方程描述的线路数学模型，利用单端信息对高压输电线路进行故障测距，保留了解微分方程算法的简单可靠、现实可行、不必考虑衰减直流分量和谐波及电网频率波动影响的特点，同时考虑过渡电阻和分布电容的影响，克服了传统解微分方程法中在经高阻接地故障时测距误差过大和忽略分布电容引起的故障定位不准确的缺点。为了检验算法的精度，进行了大量的动模实验。结果表明，算法原理正确并具有较高的测距精度。     

David W. Johnson: Award for Distinguished Contributions of Applications of Psychology to Education and Training.

Provides the biography of David W. Johnson and announces that he has won the Award for Distinguished Contributions of Applications of Psychology to Education and Training for programmatic research, comprehensive research reviews, and revision of theory over four decades of persistence that have provided the knowledge foundation for cooperative learning, constructive controversy, conflict resolution, and peer mediation training. A selected bibliography is also provided. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

松软厚煤层轻放工作面切眼锚杆支护实践

针对朱仙庄矿 84 15工作面切眼特殊的地质条件 ,介绍了高强锚杆 (索 )支护技术成功应用于特厚极软煤层的经验 ,并对巷道支护成本进行了分析     

A new stereological principle for test lines in three-dimensional space

A new principle is presented to generate isotropic uniform random (IUR) test lines hitting a geometric structure in three-dimensional space (3D). The principle therefore concerns the estimation of surface area, volume, membrane thickness, etc., of arbitrary structures with piecewise smooth boundary. The principle states that a point-sampled test line on an isotropic plane through a fixed point in 3D is effectively an invariant test line in 3D. Particular attention is devoted to the stereology of particles, where an alternative to the surfactor method is obtained to estimate surface area. An interesting case arises when the particle is convex. The methods are illustrated with synthetic examples.