29762263
Look-Ahead Scheme for High Speed Consecutive Micro Line Interpolation Based on Dynamics of Machine Tool
This paper presents a new look-ahead Scheme with adaptability of dynamics of machine tool for high speed consecutive micro-line interpolation. A backtracking arithmetic is used to calculate the speeds in the link points of consecutive micro-lines. Moreover, the speed limitations in the link points are analyzed in detail and the compound constraint conditions of the motion axes is introduced based the dynamic characteristics of machine tool. The case studies indicate that, using the scheme presented by this paper, the actual interpolation speed is closer to the command speed and the shock that results from the sharp fluctuate of feed speed is depressed, which will improve the machining efficiency and quality.
31996271
A Method of General Stiffness Modeling for Multi-axis Machine Tool
In this paper, a new method for computing general stiffness model at tool tip for multi-axis machine tool is presented. The formula of general stiffness model at tool tip is derived from virtual-work principle and point transformation matrix method. Point transformation matrix method indicates the transformation relationship of elastic displacement on both ends of flexible axes as well as the transformation relationship of force. By multiplying the point transformation matrix, the final stiffness matrix at tool tip will be obtained efficiently. In this modeling method, the final stiffness matrix is composed of local compliance matrixes according to their contribution to the final stiffness matrix.
2517026
On Dynamic and Concurrent Model of Web Service Components
The researches of Web service fasten on composition process, and are lack of the formalized description on dynamic attributes of service component itself. Aiming to these, a new dynamic and concurrent model of Web service component is presented. Firstly, this paper analyzes the process of state transition of service component under certain actions, and then depicts the dynamic transition process of service component with the state transition graph. At last, the physical representation method in memory and the algorithms to judge equivalence of state transition graph are given. Comparing with existing researches, the dynamic evolvement of service component under the actions is considered, and the algorithm to judge equivalence of service components provides an effective tool for model verification.
7632071
Position-sensing based a new docking system of RPRS
Docking is an essential function for reconfigurable planetary robot system (RPRS), it supports almost all metamorphic characteristics of the system. This paper presents a space docking method for self-reconfigurable modular robot system. The method adopts a position sensory detector (PSD) to get the space geometrical relation between modular child robots. By using the kinematics and inverse kinematics modeling of the child robot, a docking control algorithm is developed to achieve space dock automatically. To validate the method, simulation experiments were done on a platform based on OPENGL, and the simulating results were given as well.
5295208
Bit rate reduction of H.264/AVC video coding for mobile applications
The increasing use of mobile applications requires higher compression efficiency for video coding. However, in mobile applications, the capability of the processor is limited and the channel is unreliable. Since the emerging H.264/AVC video coding standard provides superior compression performance compared to all the existing video coding standards, many research efforts concentrate on the compression efficiency of intra-frame coding in H.264/AVC. In this paper, we propose a novel algorithm to reduce the bit rate compressed by H.264/AVC intra-frame coding. We focus on the method to code the intra-frame prediction modes. Our proposed method significantly reduces the bits used to code the modes and do not change the syntax of the bit stream. Experimental results demonstrate it is effective and efficient
15225105
Development of an OpenGL based multi-robot simulating platform
Simulating platform plays a crucial role in multi-robot research, as a tool to quickly and efficiently test new concepts, strategies, and algorithms. In this paper, OpenGL and Visual C++ based modeling method has been discussed in detail to establish a platform for the 3D simulating of multi-link mobile robots and their collaboration. The cooperation strategies, the control methods and the communication mechanisms of multi-robot system can be explored and verified by this platform. A planetary robot system is used to verify the validity of the developed platform. The effectiveness and the practicability of the platform are successfully demonstrated by a four-robot motion coordination simulating results.
5427325
A novel SAT all-solutions solver for efficient preimage computation
In this paper, we present a novel all-solutions preimage SAT solver, SOLALL, with the following features: (1) a new success-driven learning algorithm employing smaller cut sets; (2) a marked CNF database non-trivially combining success/conflict-driven learning; (3) quantified-jump-back dynamically quantifying primary input variables from the preimage; (4) improved free BDD built on the fly, saving memory and avoiding inclusion of PI variables; finally, (5) a practical method of storing all solutions into a canonical OBDD format. Experimental results demonstrated the efficiency of the proposed approach for very large sequential circuits.