Verifiable Distributed Oblivious Transfer and Mobile Agent Security

The mobile agent is a fundamental building block of the mobile computing paradigm. In mobile agent security, oblivious transfer (OT) from a trusted party can be used to protect the agent’s privacy and the hosts’ privacy. In this paper, we introduce a new cryptographic primitive called Verifiable Distributed Oblivious Transfer (VDOT), which allows us to replace a single trusted party with a group of threshold trusted servers. The design of VDOT uses a novel technique called consistency verification of encrypted secret shares. VDOT protects the privacy of both the sender and the receiver against malicious attacks of the servers. We also show the design of a system to apply VDOT to protect the privacy of mobile agents. Our design partitions an agent into the general portion and the security-sensitive portion. We also implement the key components of our system. As far as we know, this is the first effort to implement a system that protects the privacy of mobile agents. Our preliminary evaluation shows that protecting mobile agents not only is possible, but also can be implemented efficiently. This work was supported in part by the DoD University Research Initiative (URI) program administered by the Office of Naval Research under grant N00014-01-1-0795. Sheng Zhong was supported by ONR grant N00014-01-1-0795 and NSF grants ANI-0207399 and CCR-TC-0208972. Yang Richard Yang was supported in part by NSF grant ANI-0207399. A preliminary version of this paper was presented at the DialM-POMC Joint Workshop on Foundations of Mobile Computing in 2003. Sheng Zhong received his Ph.D. in computer science from Yale University in the year of 2004. He holds an assistant professor position at SUNY Buffalo and is currently on leave for postdoctoral research at the Center for Discrete Mathematics and Theoretical Computer Science (DIMACS). His research interests, on the practical side, are security and incentives in data mining, databases, and wireless networks. On the theoretical side, he is interested in cryptography and game theory. Yang Richard Yang is an Assistant Professor of Computer Science at Yale University. His research interests include computer networks, mobile computing, wireless networking, sensor networks, and network security. He leads the LAboratory of Networked Systems (LANS) at Yale. His recent awards include a Schlumberger Fellowship and a CAREER Award from the National Science Foundation. He received his B.E. degree from Tsinghua University (1993), and his M.S. and Ph.D. degrees from the University of Texas at Austin (1998 and 2001).     

Development of intelligent multisensor surveillance systems with agents

Intelligent multisensor surveillance systems consist of several types of sensors, which are installed on fixed and mobile devices. These components provide a huge quantity of information that has to be contrasted, correlated and integrated in order to recognize and react on special situations. These systems work in highly dynamic environments, with severe security and robustness requirements. All these characteristics imply the need for distributed solutions. In these solutions, scattered components can decide and act with some degree of autonomy (for instance, if they become isolated), or cooperate and coordinate for a complete tracking of special situations. In order to cope with these requirements and to better structure the solution, we have decided to design surveillance system control as a multiagent system. This is done by applying an agent-orientated methodology, which is assessed with concrete scenarios.     

地层测试对油层改造选井选层的重要性及改造措施有效性评价

经对胜利油田近三年来典型井例测试资料分析评价及其增产措施效果分析认为，有三类地层压裂增油效果很好：地层物性相对较好的常压系统且存在严重堵塞的储层；物性较好的常压地层；高压低渗透储层。有两类地层酸化效果很好：灰岩、白云岩裂缝、低产低渗透储层；物性较好且存在严重污染堵塞的储层。其它地层压裂、酸化一般是无效的。     

Composite scale modeling in the presence of censored data

A composite scale modeling approach can be used to combine several scales or variables into a single scale or variable. A typical application is to combine age and usage together to form a composite timescale model. The combined scale is expected to have better failure prediction capability than individual scales. Two typical models are the linear and multiplicative models. Their parameters are determined by minimizing the sample coefficient of variation of the composite scale. The minimum coefficient of variation is hard to apply in the presence of censored data. Another open issue is how to identify key variables when a number of variables are combined. This paper develops methods to handle these two issues. A numerical example is also included to illustrate the proposed methods.     

一种VSAT数据通信网络报文传输协议的分析

本文描述并分析了一种适用于多信道ＶＳＡＴ卫星数据通信网的报文传输协议，特别是考虑了无线信道误码率对传输协议的影响，分析表明利用Ｓ－ＲＥ－ＡＬＯＨＡ作为预订信道的多址方式及按报文占用数据信道方法可以减小报文传输延时并增加系统吞吐量。     

利用射线路径反演层状介质速度的方法

本文根据欧拉方程对于连续层状介质进行了方程推导，得出一个波传播的射线路径公式，利用中 公式导出了ＶＳＰ资料处理中的速度反演公式。     

用常规电阻率测井资料确定水淹层的剩余油饱和度

油田综合含水越来越高，利用电阻率测井资料确定地层的剩余油饱和度变得非常困难。针对这一问题，提出了确定地层水民阻率和含油饱和度的方法。（１）利用已知的地怪水分析资料，采用井下自然电位刻度，井间对经和双自然电位一方法来示准地层水混合电阻率，然后利用相邻井相同地层的电阻率对比方法求含水饱和度。（２）利用电阻率的横向探测特性，避开阿尔奇公式中ｍ、ａ选择上的困难，采用横向法计算水淹层目前的含水饱和度。利用以     

An object-oriented product database using ROSE

A product database for a design and manufacturing enterprise serves as a repository for the data needed to manufacture a product. This paper discusses how an object-oriented persistent object manager named ROSE, under development at Rensselaer, has been used in the Rensselaer CIM program to develop a STEP/PDES-compliant product database for its research test bed. In so doing, it provides an overview of the requirements for a product database system in an integrated design and manufacturing facility, and it discusses how the chosen system meets these requirements.     

二流量试井工艺及资料解释分析方法

描述了二流量试井工艺的实现，从常规分析和双对数曲线拟合两上方面，给出了二流量试井的资料解释分析方法，分析认为二流量试井同样可以计算出正常关井测压力恢复（或压力降落）资料所解释的油藏及流体参数。这种试井方法不但可以减少因正常关井测压对产油量和注水量的影响，而且可以减缓因突然关、开井造成的套管变形或损坏。实践证明，该试井技术方法具有较好的经济效益和应用前景。