Running programs backwards: The logical inversion of imperative computation

Imperative programs can be inverted directly from their forward-directed program code with the use of logical inference. The relational semantics of imperative computations treats programs as logical relations over the observable state of the environment, which is taken to be the state of the variables in memory. Program relations denote both forward and backward computations, and the direction of the computation depends upon the instantiation pattern of arguments in the relation. This view of inversion has practical applications when the relational semantics is treated as a logic program. Depending on the logic programming inference scheme used, execution of this relational program can compute the inverse of the imperative program. A number of nontrivial imperative computations can be inverted with minimal logic programming tools.     

焊接波浪状边缘薄钢带的高上山成型法

介绍了高上山成型法的工艺特点及理论上的可行性和实践中的可靠性，此方法能有效地解决薄钢带波浪状边缘的焊接方面存在的问题。     

Power Dissipation in Spintronic Devices Out of Thermodynamic Equilibrium

Quantum limits of power dissipation in spintronic computing are estimated. A computing element composed of a single electron in a quantum dot is considered. Dynamics of its spin due to external magnetic field and interaction with adjacent dots are described via the Bloch equations. Spin relaxation due to magnetic noise from various sources is described as coupling to a reservoir. Resulting dissipation of energy is calculated and is shown to be much less than the thermal limit, ∼kT per bit, if the rate of spin relaxation is much slower than the switching rate. Clues on how to engineer an energy efficient spintronic device are provided.     

On the relationship between squared pairings and plain pairings

In this paper, we investigate the relationship between the squared Weil/Tate pairing and the plain Weil/Tate pairing. Along these lines, we first show that the squared pairing for an arbitrary chosen point can be transformed into the plain pairing for a trace zero point which has a special form to compute them more efficiently. Then the optimizations made for computing squared pairings are combined with the computation of pairings on these trace zero points, to achieve even better performance for the computation of the 4th powered Weil pairing.     

壳体理论在水压爆破中的应用

在壳体理论的基础上,考虑到薄壳型结构水压爆破的特点,提出了一种新的药量计算公式,并得到了初步实际工程验证.     

Cryptography and cryptographic protocols

We survey the paradigms, approaches and techniques used to conceptualize, define and provide solutions to natural cryptographic problems. We start by presenting some of the central tools (e.g., computational difficulty, pseudorandomness, and zero-knowledge proofs), and next turn to the treatment of encryption and signature schemes. We conclude with an extensive treatment of secure cryptographic protocols both when executed in a stand-alone manner and when many sessions of various protocols are concurrently executed and controlled by an adversary. The survey is intended for researchers in distributed computing, and assumes no prior familiarity with cryptography.Received: June 2001, Accepted: July 2002,     

A tolerant approach to reconstruct topology from unorganized trimmed surfaces

Presented in this paper is a topology reconstruction algorithm from a set of unorganized trimmed surfaces. Error-prone small geometric elements are handled to give proper topological information. It gives complete topology to topologically complete models, and it is also tolerant to incomplete models. The proposed algorithm is vertex-based in that clues for topological information are searched from the set of vertices first, not from that of edges.     

层序地层学在碳酸盐岩气藏开发早期地质评价阶段的应用——以川东北罗家寨鲕滩气藏为例

川东北地区罗家寨飞仙关组鲕滩储集层为碳酸盐岩台地边缘相沉积，具有厚度大、分布稳定的特点。应用层序地层学方法理论，对飞仙关组进行层序划分与对比，划分了5个四级层序10个体系域，建立了该区的沉积模式。作为主力储集类型的台地边缘鲕滩相发育于第1个层序的高位期及第Ⅱ、Ⅲ层序中。罗家寨地区发育两个（期）边缘鲡滩，由东向西推移，西部滩体的形成时间晚于东部。两个滩体经历的成岩过程有所差异，东部滩体经历了5期白云石化和淡水溶蚀作用，西部滩体白云石化及溶蚀作用明显减弱，只可以识别出微弱的白云石化作用，因此东部滩体储集性能优于西部。图4表1参7     

基于灰度和边界方向直方图的医学图像检索

本文研究了采用分级检索的机制,综合利用灰度及形状特征进行基于内容的医学图像检索的方法,该方法克服了灰度直方图不能充分表示空间分布信息的不足。利用边界方向直方图描述形状特征,避开了对图像进行精确分割这一医学图像处理中的难点问题。对CT图像数据库进行的检索实验,验证了该方法具有良好的检索性能。     

分形方法用于有噪图像边缘检测的研究

本文研究了加性高斯白噪声对于基于离散分数布朗随机场模型图像分形维数估计的影响，并将分形方法用于图像边缘检测，指出在加性高斯白噪声的情况下，分形方法用于图像边缘检测较之经典的基于梯度运算的边缘检测方法有好的抗噪性能，同时又能检测比较丰富的图像边缘细节。