The multidisciplinary nature and time criticality of computing in Cyber-Physical Robot Systems (CPRS) makes it significantly different from traditional computer systems. This article attempts to create a usage-specific language called Cyber-Physical Robot Language (CPRL), which supports the CPRS design and implementation in an integrative and swift way. Multiview description and integration strategies as well as formal execution semantics for usage-specific simulation and verification are outlined. A graphic unified environment for CPRS modeling is supplied, in which several tools are integrated. A 6-DOF distributed robot system development in the environment is presented. The approach is an attempt to support CPRS design in an effective way, at the same time guaranteeing the system function and performance requirements.

In terms of the inspecting and measuring industry, where it is applied to dimensions measurement, requirements of modern industrial products, i.e. high quality inspection and et al.. dimensional measuring precision and high inspecting and In this paper, image inspecting and measuring technology measuring speed, a contact-less and automatic image measuring is applied to measure the dimensional parameters of products system based on image measuring and inspecting technology is presented. Its components and working principle is also sautomahtcally. The key algorithms are presented concerning discussed. Measuring principles and algorithms of typical plane of tcal lane eometric figures, recognation geometric figures are analyzed by taking the measurements of of geometric figures based on image feature parameters, the line and circle geometric figures as an example. The height measurement by visual automatic focusing, the recognition of geometric figures based on image feature correction of raster reading error and et al.. The test results parameters is presented. After the performance of several demonstrate that the image measuring and inspecting autofocus evaluating methods is compared, the algorithm of technology is efficient, which not only can meet the height measurement by visual automatic focusing is presented.requirements but also can make the inspection system to hold

No abstract

No abstract

A mathematical model for getting the closed-form solution of main parameters of cylinder exhaust port is present, based on a few known parameters of variable-stroke engine (VSE). Considering lack of parameters in the initial stage of design, empirical formula is applied to solve the initial specific time-area value of exhaust port, and the initial port timing angle is solved by using logarithmic alignment method, thereby height and width of the exhaust port can be solved, then the precise specific time-area value and port timing angle are solved by using the coefficient calculation method and logarithmic alignment method respectively, so that the relative errors between initial and precise values of specific time-area value and port timing angle are defined as the relative errors of the mathematical model. Application examples show that the relative errors of the model is less than 3%.