Commitment-based device-pairing protocol with synchronized drawings and comparison metrics

This article presents a new method for pairing devices securely. The commitment-based authentication uses a fuzzy secret that the devices only know approximately. Its novel feature is time-based opening of commitments in a single round. We also introduce a new source for the fuzzy secret: synchronized drawing with two fingers of the same hand on two touch screens or surfaces. The drawings are encoded as strings and compared with an edit-distance metric. A prototype implementation of this surprisingly simple and natural pairing mechanism shows that it accurately differentiates between true positives and man-in-the-middle attackers.     

In vivo Kinetic Biodistribution of Nano‐Sized Outer Membrane Vesicles Derived from Bacteria

Evaluation of kinetic distribution and behaviors of nanoparticles in vivo provides crucial clues into their roles in living organisms. Extracellular vesicles are evolutionary conserved nanoparticles, known to play important biological functions in intercellular, inter‐species, and inter‐kingdom communication. In this study, the first kinetic analysis of the biodistribution of outer membrane vesicles (OMVs)—bacterial extracellular vesicles—with immune‐modulatory functions is performed. OMVs, injected intraperitoneally, spread to the whole mouse body and accumulate in the liver, lung, spleen, and kidney within 3 h of administration. As an early systemic inflammation response, increased levels of TNF‐α and IL‐6 are observed in serum and bronchoalveolar lavage fluid. In addition, the number of leukocytes and platelets in the blood is decreased. OMVs and cytokine concentrations, as well as body temperature are gradually decreased 6 h after OMV injection, in concomitance with the formation of eye exudates, and of an increase in ICAM‐1 levels in the lung. Following OMV elimination, most of the inflammatory signs are reverted, 12 h post‐injection. However, leukocytes in bronchoalveolar lavage fluid are increased as a late reaction. Taken together, these results suggest that OMVs are effective mediators of long distance communication in vivo.     

Reducing the complexity of distance measurement methods for circular turbo codes that use structured interleavers

The knowledge of turbo code's minimum Hamming distance (d_min) and its corresponding codeword multiplicity (A_min) is of a great importance because the error correction capability of a code is strongly tied to the values of d_min and A_min. Unfortunately, the computational complexity associated with the search for d_min and A_min can be very high, especially for a turbo code that has high d_min value. This paper introduces some useful properties of turbo codes that use structured interleavers together with circular encoding. These properties allow for a significant reduction of search space and thus reduce significantly the computational complexity associated with the determination of d_min and A_min values. © 2014 The Authors. International Journal of Communication Systems published by John Wiley & Sons, Ltd.     

基于Internet的远程教育系统模型研究

随着计算机网络技术的发展，远程教学系统的结构发生了重大的变化，逐步由原来的客户机／服务器(C／S)结构转变为基于Internet的浏览器／服务器(B／S)结构。本文提出了基于CORBA技术的B／S结构系统模型。分析了其运行过程，并与传统的结构进行了比较，指明了其优越性。在本文的结尾。指出了使用这种技术的一个具体例子。     

以一种新的距离度量作为反馈的相关跟踪方法

基于相关的模板匹配方法在图像跟踪中得到了广泛的应用,但是这种方法的主要缺点是对图像噪声非常敏感,而且由这种方法得出的相关曲面比较平坦。为了有效抑制噪声和局部遮挡对图像的影响,提出用鲁棒统计中的一个值代替相关值作为距离度量。它不是计算两幅图像的对应像素差值,而是计算两幅图像中差别不大的对应像素对的个数。实验证明这样得到的曲面相对　　收稿日期:2003 08 31;　修订日期:2003 10 28作者简介:张桂林(1944 ),男,天津人,教授,博士生导师,主要研究方向为自动识别、人体生物统计特征识别、图像处理算法与系统性能评估等。　　　　　　　要尖锐得多。当上述的距离度量应用于跟踪过程中时,模板的合理更新对跟踪非常重要。基于上述的距离度量方法,提出了一种新的模板更新策略。利用两幅图像中近似像素在整修匹配模板像素中所占的比例大小决定加权系数。这种加权策略可以自适应地根据图像序列的变化选择更新相关模板,同时在一定程度上减小模板漂移的危险。     

忠武输气管道悬索跨越设计创新及探讨

忠武输气管道有4次悬索跨越,分别是蚂蝗溪悬索跨越、木龙河悬索跨越、马水河悬索跨越、野三河悬索跨越。文章介绍了这几座悬索跨越管桥设计中采用的多项新技术,如采用热聚乙烯半平行钢丝索代替以往的钢丝绳;采用钢管塔架代替以往的角钢塔架;根据地形地貌特点变换风索型式或取消塔架等。这些新技术、新设计在工程中均取得了良好的效果。另外,文章还针对悬索跨越桥面结构型式、预拱度设置、不对称荷载的影响、风索基础的设置等问题进行了探讨。     

Optimal H∞ general distance problem with degree constraint

In this paper the optimal H_∞, general distance problem, for continuous-time systems, with a prescribed degree on the solution is studied. The approach is based on designing the Hankel singular values using an imbedding idea. The problem is first imbedded into another problem with desirable characteristics on the Hankel singular values, then the solution to the original problem is retracted via a compression. The result is applicable to both the one-block and the four-block problems. A special case is given for illustration.     

长距离钢带传动的张紧机构设计与应用

比较了几种长距离传动方式的特点与适用场合，重点探讨了实现长距离精密传动的技术要点。结合实际工程，完成了长距离钢带精密传动的应用，并指出张紧机构的设计与应用是钢带实现长距离精密传动的关键。为此文中对钢带传动的典型张紧机构进行了比较，并分析了这几类张紧机构的应用情况，有参考和应用价值。     

Education-driven research in CAD

We argue for a new research category, named education-driven research (EDR), which fills the gap between traditional field-specific research that is not concerned with educational objectives and research in education that focuses on fundamental teaching and learning principles and possibly on their customization to broad areas (such as mathematics or physics), but not to specific disciplines (such as CAD). The objective of EDR is to simplify the formulation of the underlying theoretical foundations and of specific tools and solutions in a specialized domain, so as to make them easy to understand and internalize. As such, EDR is a difficult and genuine research activity, which requires a deep understanding of the specific field and can rarely be carried out by generalists with primary expertise in broad education principles. We illustrate the concept of EDR with three examples in CAD: (1) the Split and Tweak subdivisions of a polygon and its use for generating curves, surfaces, and animations; (2) the construction of a topological partition of a plane induced by an arbitrary arrangement of edges; and (3) a romantic definition of the minimal and Hausdorff distances. These examples demonstrate the value of using analogies, of introducing evocative terminology, and of synthesizing the simplest fundamental building blocks. The intuitive understanding provided by EDR enables the students (and even the instructor) to better appreciate the limitations of a particular solution and to explore alternatives. In particular, in these examples, EDR has allowed the author to: (1) reduce the cost of evaluating a cubic B-spline curve; (2) develop a new subdivision curve that is better approximated by its control polygon than either a cubic B-spline or an interpolating 4-point subdivision curve; (3) discover how a circuit inclusion tree may be used for identifying the faces in an arrangement; and (4) rectify a common misconception about the computation of the Hausdorff error between triangle meshes. We invite the scientific community to encourage the development of EDR by publishing its results as genuine research contributions in peer-reviewed professional journals.     

A practical minimum distance method for syntax error handling

We present a method for recovering from syntax errors encountered during parsing. The method provides a form of minimum distance repair, has linear time complexity, and is completely automatic. A formal method is presented for evaluating the performance of error recovery methods, based on global minimum-distance error correction. The minimum-distance error recovery method achieves a theoretically best performance on 80% of Pascal programs in the weighted Ripley-Druseikis collection. Comparisons of performance with other error recovery methods are given.