Reachability determination in acyclic Petri nets by cell enumeration approach

Reachability is one of the most important behavioral properties of Petri nets. We propose in this paper a novel approach for solving the fundamental equation in the reachability analysis of acyclic Petri nets, which has been known to be NP-complete. More specifically, by adopting a revised version of the cell enumeration method for an arrangement of hyperplanes in discrete geometry, we develop an efficient solution scheme to identify firing count vector solution(s) to the fundamental equation on a bounded integer set, with a complexity bound of O((nu)^n−m), where n is the number of transitions, m is the number of places and u is the upper bound of the number of firings for all individual transitions.     

Interfacing industrial R&A equipment using Matlab

We present a toolbox that enables access to real robotics and automation (R&A) equipment from the MATLAB shell. If used in conjunction with a robotics toolbox, it will extend significantly their application, i.e., besides robotic simulation and data analysis, the user can interact online with the equipment he or she is using. This article briefly presents the software architecture adopted and how it was used to generate the MATLAB MEX files presented. It then exemplifies application to two types of equipment, complemented with a generic manipulation example using a robotic gripper. The utilization of this tool with force control experiments is also briefly explored     

Optimization of Industrial Structure Considering the Uncertainty of Water Resources

This paper developed a stochastic linear fractional programming model for industry optimization allocation base on the uncertainty of water resources incorporating chance constrained programming and fractional programming. In this paper, the stochastic linear fractional programming is used in the real word. The development SLFP has the following advantages: (1) The model can compare the two aspects of the targets; (2) The model can reflect the system efficiency intuitively; (3) The model can deal with uncertain issues with probability distribution; (4) The model can give different optimal plans under different risk conditions. The model has a significant value for the industry optimization allocation under uncertainty in local and areas to achieve the maximum economic benefits and the full use of the water resources.     

Kinematic analysis of 3SPS+1PS bionic parallel test platform for hip joint simulator based on unit quaternion

As a novel parallel hip joint simulator, the 3SPS+1PS bionic parallel test platform with 4 degrees of freedom including three rotations and one translation is proposed. SPS denotes the spherical-prismatic-spherical leg and PS denotes the prismatic-spherical leg where only the prismatic joint is actuated and hence underlined. By means of the unit quaternion method, the formulae for solving the inverse/forward displacement, the inverse/forward velocity and the inverse/forward acceleration kinematics are derived. Using the unit quaternion to represent the position and orientation of a moving platform, singularities caused by Euler angles can be avoided. Combining the topological structure characteristics of the 3SPS+1PS bionic parallel test platform and letting the three-dimensional (3-D) motion of a human hip joint as its output movement, the displacement trajectories of three active legs are constructed based on the inverse displacement kinematics. The forward kinematic tests whose data are recorded by a 3-D orientation capture system are carried out on the developed parallel hip joint simulator. Moreover, the results of the forward kinematic tests prove that the 3SPS+1PS bionic parallel test platform can approximately represent human hip joint motion and provide more reliable experimental data for hip joint prostheses in clinical application.     

Facial expression recognition using radial encoding of local Gabor features and classifier synthesis

Primarily motivated by some characteristics of the human visual cortex (HVC), we propose a new facial expression recognition scheme, involving a statistical synthesis of hierarchical classifiers. In this scheme, the input images of the database are first subjected to local, multi-scale Gabor-filter operations, and then the resulting Gabor decompositions are encoded using radial grids, imitating the topographical map-structure of the HVC. The codes are fed to local classifiers to produce global features, representing facial expressions. Experimental results show that such a hybrid combination of the HVC structure with a hierarchical classifier significantly improves expression recognition accuracy when applied to wide-ranging databases in comparison with the results in the literature. Furthermore, the proposed system is not only robust to corrupted data and missing information, but can also be generalized to cross-database expression recognition.     

Accurate mirror-based camera pose estimation with explicit geometric meanings

An accurate closed form solution is proposed to estimate camera pose by several mirrored reference object images acquired via a planar mirror under different unknown poses. Compared with state-of-the-art methods, our method is more accurate when there are more than three images and has explicit geometric meanings. This method also properly handles cases in which some of the mirror poses are parallel. The central idea is to minimize an error metric based on all reflections of rotation, which enables the camera rotation to be estimated directly by SVD of sum of mirrored camera rotations. After that, the camera translation is computed by solving a large system of linear equations to minimize object space collinearity error. Both synthesized data and real data experiments show the advantages of our approach.     

SABUL: A Transport Protocol for Grid Computing

This paper describes SABUL, an application-level data transfer protocol for data-intensive applications over high bandwidth-delay product networks. SABUL is designed for reliability, high performance, fairness and stability. It uses UDP to transfer data and TCP to return control messages. A rate-based congestion control that tunes the inter-packet transmission time helps achieve both efficiency and fairness. In order to remove the fairness bias between flows with different network delays, SABUL adjusts its sending rate at uniform intervals, instead of at intervals determined by round trip time. This protocol has demonstrated its efficiency and fairness in both experimental and practical applications. SABUL has been implemented as an open source C++ library, which has been successfully used in several Grid computing applications.     

Investigation of elastic modulus of nanoporous alumina membrane

Nanoporous alumina membranes containing parallel regular pores of uniform size and normal to substrate surface were fabricated by anodically oxidizing high purity aluminum foils in acid solutions and their elastic modulus was investigated. The continuous out-of-plane displacement and current load of the porous membranes were obtained through bulge test combining real-time ESPI (electronic speckle pattern interferometry) observation system. Then the elastic modulus was calculated through an analytical model and the pore distortion after load was characterized by HRSEM (high resolution scan electron microscope). Measurement of mechanical properties indicates unusual mechanical behavior of these anodic alumina films compared with bulk alumina materials. This observation may help shed light on fracture mechanism of these films with nanopore arrays and bring further understanding on connecting of micro-meso structure and mechanical properties.     

大亚湾核电站辐射防护和最优化(ALARA)管理体系十年的实践和经验

大亚湾核电站在近 1 0年的安全运行实践中建立并不断完善了以“全员培训、全体参与、全过程管理”为基本内容的辐射防护和最优化 (ALARA)管理体系 ,同时在“基础结构 (infrastructure)”上下功夫 ,努力构筑该体系有效运作的平台。本文综合介绍了大亚湾核电站辐射防护和最优化管理体系的内容和特点及其有效实施的基本经验。为了有效实施这一管理体系 ,核电站必须加强辐射防护责任制和辐射防护人员的主导作用 ,尤其是在高辐射风险作业中的技术支持和监督作用 ;必须强调该体系与核电站安全运行管理体系的有机结合和积极互动 ;必须重视安全文化建设 ,坚持经验反馈和透明度 ,保证该体系在实践中持续改进