Kreinovich,V., Lakeyev,A., Rohn,J., and Kahl,P.: Computational Complexity and Feasibility of Data Processing and Interval Computations

Reliable Computing -     

Nonlinear Mohr Envelopes Based on Triaxial Data

A substantial amount of experimental evidence suggests that Mohr envelopes of many soils are not linear, particularly in the range of small normal stresses. This departure from linearity is significant for slope stability calculations since for a wide range of practical stability problems, critical slip surfaces are shallow and normal stresses acting on such surfaces are small. The present work presents a procedure for estimating parameters of the Mohr form of Hoek and Brown empirical failure criterion, based on triaxial data. This nonlinear Mohr envelope provides significantly better representation of experimental information than the Mohr–Coulomb criterion in cases when the data set includes tests at small enough normal stress. Application of the estimation procedure to published data sets shows that effective cohesive strength of most soils is close to zero, and Mohr envelopes are continuous at the tensile strength limit.     

Molecular cloning, expression, and characterization of a functional single-chain Fv antibody to the mycotoxin zearalenone

The heavy-chain and kappa light-chain variable region genes of an antizearalenone hybridoma cell line (2G3-6E3-2E2) were isolated by PCR and joined by a DNA linker encoding peptide (Gly4Ser)3 as a single-chain Fv (scFv) DNA fragment. The scFv DNA fragment was cloned into a phagemid (pCANTAB5E) and expressed as a fusion protein with E tag and phage M13 p3 in Escherichia coli TG1. In the presence of helper phage M13K07, the scFv fusion protein was displayed on the surfaces of recombinant phages. High-affinity scFv phages were enriched through affinity selection in microtiter wells coated with zearalenone-ovalbumin conjugate. The selected recombinant phages were used to infect E. coli HB2151 for the production of soluble scFv antibodies. One selected clone (pQY1.5) in HB2151 secreted a soluble scFv antibody (QY1.5) with a high zearalenone-binding affinity (concentration required for 50% inhibition of binding, 14 ng/ml), similar to that of parent monoclonal antibody in a competitive indirect enzyme-linked immunosorbent assay. However, scFv QY1.5 exhibited higher cross-reactivity with zearalenone analogs and had greater sensitivity to methanol destabilization than the parent monoclonal antibody did. Nucleotide sequence analyses revealed that the light-chain portion of scFv QY1.5 had a nucleotide sequence identity of 97% to a mouse germ line gene VK23.32 in mouse kappa light-chain variable region subgroup V, whereas the heavy-chain nucleotide sequence was classified as mouse heavy-chain subgroup III (D) but without any closely related members having highly homologous complementarity-determining region sequences. The potential of soluble scFv QY1.5 for routine screening of zearalenone and its analogs was demonstrated with zearalenone-spiked corn extracts.     

A Database and Evaluation Methodology for Optical Flow

The quantitative evaluation of optical flow algorithms by Barron et al. (1994) led to significant advances in performance. The challenges for optical flow algorithms today go beyond the datasets and evaluation methods proposed in that paper. Instead, they center on problems associated with complex natural scenes, including nonrigid motion, real sensor noise, and motion discontinuities. We propose a new set of benchmarks and evaluation methods for the next generation of optical flow algorithms. To that end, we contribute four types of data to test different aspects of optical flow algorithms: (1) sequences with nonrigid motion where the ground-truth flow is determined by tracking hidden fluorescent texture, (2) realistic synthetic sequences, (3) high frame-rate video used to study interpolation error, and (4) modified stereo sequences of static scenes. In addition to the average angular error used by Barron et al., we compute the absolute flow endpoint error, measures for frame interpolation error, improved statistics, and results at motion discontinuities and in textureless regions. In October 2007, we published the performance of several well-known methods on a preliminary version of our data to establish the current state of the art. We also made the data freely available on the web at . Subsequently a number of researchers have uploaded their results to our website and published papers using the data. A significant improvement in performance has already been achieved. In this paper we analyze the results obtained to date and draw a large number of conclusions from them.     

IPv4/IPv6的共存、过渡与寻址

本文从技术人员的角度对有关IP技术和IP网络的发展前景进行展望.当前的互联网正面临着从传统IPv4协议向IPv6协议的过渡,作者将着重分析过渡需求和主要的技术问题及其当前进展,以及遗留的其他课题.为了实现这一目标,还需要对互联网协议的历史、现状以及未解决的问题进行说明.     

Symbolic Preconditioning with Taylor Models: Some Examples

Deterministic global optimization with interval analysis involves using interval enclosures for ranges of the constraints, objective, and gradient to reject infeasible regions, regions without global optima, and regions without critical points; using interval Newton methods to converge on optimum-containing regions and to verify global optima.There are certain problems for which interval dependency leads to overestimation in the enclosures of the individual components, causing the optimization search to become prohibitively inefficient. As Hansen has observed earlier, in other problems, there is no overestimation in the individual components, but overestimation is introduced in the preconditioning in the interval Newton method.We examine these issues for a particular nonlinear systems problem that, to date, has defied numerical solution. To reduce overestimation, we use Taylor models. The Taylor models sometimes reduce individual overestimation but, consistent with Hansen's observations, especially reduce the overestimation due to preconditioning. From numerical experiments, we conclude that, in certain instances, Taylor models can greatly reduce both the number of subregions necessary to complete an exhaustive search and the total computational effort.     

Unraveling the Reasons for Efficiency Loss in Perovskite Solar Cells

The effect of the presence of unreacted PbI₂ on the perovskite solar cells efficiency is reported. N,N‐Dimethylformamide vapor treatment is introduced to study the influence of complete conversion to a power conversion efficiency of the device. It is discovered that the optimized morphology of the PbI₂ under layer is essential to form a dense perovskite layer preventing recombination by direct contact between TiO₂ and a hole transporting layer, and to increase the charge collection efficiency. The present findings provide an insight into the morphology and growth mechanism of perovskite layer, the correlation between the device performance, and the film deposition process.     

Evolution of the microstructure and mechanical properties of eutectic Fe<Subscript>30</Subscript>Ni<Subscript>20</Subscript>Mn<Subscript>35</Subscript>Al<Subscript>15</Subscript>

The microstructure of the eutectic alloy Fe₃₀Ni₂₀Mn₃₅Al₁₅ (in at.%) was modified by cooling at different rates from 1623 K, i.e., above the eutectic temperature. The lamellar spacing decreased with increasing cooling rate, and in water-quenched specimens lamellae widths of ~100 nm were obtained. The orientation relationship between the fcc and B2 lamellae was found to be sensitive to the cooling rate. In a drop-cast alloy the Kurdjumov–Sachs orientation relationship dominated, whereas the orientation relationship in an arc-melted alloy with a faster cooling rate was textfcc( [`1]12 )//textB2( 0 1 1 );  textfcc[ 1[`1]1 ]//textB2 [ 1[`1]1 ]  textand textfcc( 0[`1]1 )//textB2( 00 1 );text fcc[ 0 1 1 ]//textB2[ [`1][`1]0 ] {text{fcc}}left( {bar{1}12} right)//{text{B2}}left( {0 1 1} right);;{text{fcc}}left[ {1bar{1}1} right]//{text{B2 }}left[ {1bar{1}1} right] ,{text{and}},{text{fcc}}left( {0bar{1}1} right)//{text{B2}}left( {00 1} right);{text{ fcc}}left[ {0 1 1} right]//{text{B2}}left[ {bar{1}bar{1}0} right] . The hardness increased with microstructural refinement, obeying a Hall–Petch-type relationship. The strength of the alloy decreased significantly above 600 K due to softening of the B2 phase.     

On the Certification of Bonded Repairs to Primary Composite Aircraft Components

Airworthiness certification is required when bonded repairs are made to primary composite structure in situations where damage has reduced or has the potential to reduce residual strength to below the design ultimate strength. Generally, certification of bonded primary structure poses many difficulties. As most repairs are one-off events meeting these certification requirements is especially challenging since demonstration by testing will generally not be possible or cost-effective. This paper discusses options for addressing the two key issues relating to certification: (a) how to validate initial and enduring bond strength of adhesive bonds, mainly given the inability of conventional non-destructive inspection to provide this assurance and (b) how to develop acceptable generic design allowables for bonded repairs which represent actual failure modes – especially for cyclic loading, since validation by testing of simulated repairs will generally be infeasible. It is concluded that proof testing of bonded repair coupons is a promising approach for validating bond strength and fatigue testing of representative bond joint specimen can provide generic allowables for patch design. For hidden structure or very high value repairs structural health monitoring of repairs based on a strain-transfer approach offers considerable promise.