ID-based non-interactive zero-knowledge proof system based on one-out-of-two non-interactive oblivious transfer

In this paper, we propose an ID-based non-interactive zero-knowledge proof system based on the 1-out-of-2 noninteractive oblivious transfer protocol. This zero-knowledge proof system is secure against a newly discovered cheating attack.     

Real-time accurate hand path tracking and joint trajectory planning for industrial robots (I)

Previously, researchers raised the accuracy for a robot’s hand to track a specified path in Cartesian space mainly through increasing the number of knots on the path and the number of the path’s segments, which results in the heavier online computational burden for the robot controller. Aiming at overcoming this drawback, the authors propose a new kind of real-time accurate hand path tracking and joint trajectory planning method. Through selecting some extra knots on the specified hand path by a certain rule and introducing a sinusoidal function to the joint displacement equation of each segment, this method can greatly raise the path tracking accuracy of robot’s hand and does not change the number of the path’s segments. It also does not increase markedly the computational burden of robot controller. The result of simulation indicates that this method is very effective, and has important value in increasing the application of industrial robots. Foundation item: Foundation of the Robotics Laboratory, Chinese Academy of Sciences (No. RL200002) Biography of the first author: TAN Guan-zheng, Dr., professor, born in Oct. 1962, majoring in artificial intelligence, robotics and automation.     

多目标水平井水平段三维设计数学模型

用柱面法推导出多目标水平井水平段三维设计数学模型，并给出了三维设计所需井斜方位角及井斜角的简单计算公式。该数学模型具有一般性，可以方便地编制成计算机程序，对于多目标水平井水平段的优化设计和所有水平井入靶前的随钻修正设计都非常适用。     

Signals,timers, and continuations for multithreaded user‐level protocols

Precise timing and asynchronous I/O are appealing features for many applications. Unix kernels provide such features on a per‐process basis, using signals to communicate asynchronous events to applications. Per‐process signals and timers are grossly inadequate for complex multithreaded applications that require per‐thread signals and timers that operate at finer granularity. To respond to this need, we present a scheme that integrates asynchronous (Unix) signals with user‐level threads, using the ARIADNE system as a platform. This is done with a view towards support for portable, multithreaded, and multiprotocol distributed applications, namely the CLAM (connectionless, lightweight, and multiway) communications library. In the same context, we propose the use of continuations as an efficient mechanism for reducing thread context‐switching and busy‐wait overheads in multithreaded protocols. Our proposal for integrating timers and signal‐handling mechanisms not only solves problems related to race conditions, but also offers an efficient and flexible interface for timing and signalling threads. Copyright © 2006 John Wiley & Sons, Ltd.     

实时可视决策系统在渤海湾旅大油田开发中的应用

实时可视决策系统可以将接收到的现场数据实时传输到陆地，井眼轨迹和随钻测井资料可实时在三维地质油藏模型中显示，供钻完井和地质油藏专家综合分析、判断并及时下达指令指导现场施工。旅大油田运用实时可视决策系统成功钻成了6口水平井和4口水平分支井，实现了不钻领眼、井眼轨迹在最佳油层内成功着陆，并使水平井段尽可能沿着油层最佳位置钻进。例如在LD10—1-A25m水平分支井段的钻井过程中，利用实时可视决策系统，控制水平井眼轨迹在油层最佳位置钻进，获得了日产810M^3。的高产油气流。     

QFD质量职能扩展简介

介绍ＱＦＤ（质量职能扩展）的发展历史及其具体的操作过程。     

An approach to automatic display layout using combinatorial optimization algorithms

The introduction of automatic display layout (ADL), i.e. the automatic placing and sizing of windows in a window-oriented graphical user interface, is a major contribution towards an improved user interface. Our approach to ADL is to treat this problem as a combinatorial optimization problem. In this article we describe the concepts we used for implementing an experimental system which controls the computer screen contents and its layout. We give two examples of different standard applications into which we included ADL successfully, namely hypertext for a window layout problem and graph-browser for a hierarchical graph layout problem within a particular window. The results show that automatic (and tool independent) display layout will be possible in the near future even in an interactive environment.     

垂直发射防空导弹弹道仿真模型研究

弹道仿真是导弹模拟训练系统中的关键部分。为构建准确性较好、实时性较高的弹道仿真模型,在对垂直发射导弹飞行过程进行分析的基础上,将弹道分为垂直段、转弯段、制导段三部分,并根据各部分弹道的特点,分别建立其差分方程描述模型,最后通过仿真验证了模型的准确性和适用性。