The paper presents a framework which uses formal models for testing control software for industrial automation systems. The formalism called Net Condition/Event Systems (NCES) is applied to model the program under tes...
详细信息
ISBN:
(纸本)9781467379533
The paper presents a framework which uses formal models for testing control software for industrial automation systems. The formalism called Net Condition/Event Systems (NCES) is applied to model the program under test, along with the system under control (plant) and the testing environment. The benefits of using the framework include the opportunities to test systems with time delays without the need to wait, to test parameterized sets of systems with a single execution of a test suite, and to check test suites for correctness. The use of the framework is illustrated on a simple system consisting of a lab-scale plant and a control application for it.
Gastric cancer is one of the most common malignancies and ranks the second highest mortality worldwide. Although much progress has been made so far, the understanding of the tumorigenicity remains far from being compl...
详细信息
Gastric cancer is one of the most common malignancies and ranks the second highest mortality worldwide. Although much progress has been made so far, the understanding of the tumorigenicity remains far from being completed. To describe the complex interactions among genes with nonlinear property preserved and investigate genes playing important roles in the gastric cancer formation, we utilized the distance correlation as the measurement of the relevance to construct the gene coexpression networks in both gastric cancer and normal tissue datasets respectively. The genes which are present in the module of normal-associated network but absent in the module of cancer-associated network are selected for further study and we call these genes stray genes. Our results show that these stray genes are enriched in up-regulation and the connectivity of all the genes appear the circumstance of loss in the gastric cancer network, especially to the stray genes. These results indicate us that the activation of these stray genes may play important roles in the gastric cancer. To examine our hypnosis,we use PANTHER for gene ontology(GO) analysis and the results show that these stray genes are enriched in some biological processes and pathways, including cell cycle, mitosis and chromosome segregation, DNA replication and p53 pathway. These results prove the effectiveness of our method for cancer-related genes identification and these cancer-related genes can be selected for further analysis.
Implementation of unsupervised induction motor condition monitoring systems has drawn an increasing attention recently among motor drives manufacturers. In the case of soft-starters the possibility of incorporating fa...
详细信息
As a non-invasive angle closure glaucoma diagnosis procedure, Van Herick's slit-lamp Limbal Anterior Chamber Depth Estimation (LACDE) technique is preferably the current standard screening method preliminarily per...
详细信息
ISBN:
(纸本)9781509022502
As a non-invasive angle closure glaucoma diagnosis procedure, Van Herick's slit-lamp Limbal Anterior Chamber Depth Estimation (LACDE) technique is preferably the current standard screening method preliminarily performed at hospitals and eye clinics. However, accuracy of depth estimation is very much dependent on the slit projection distance from the limbus (LD). This study investigated the relation and designed a parametric model to reduce the inconsistencies between results and improving the Van Herick's method accuracy. Additionally, two different types of classifiers such as Support Vector Machine (SVM) and Decision Tree with addition of LD as a predictor were trained and tested for comparison with parametric model. In the end acquired results clearly showed the effectiveness of LD consideration in LACDE, which lead to improvement in the experimental results.
Robotic manipulation of highly deformable materials is inherently challenging due to the need to maintain tension and the high dimensionality of the state of the material. Past work in this area mostly focuses on gene...
详细信息
Robotic manipulation of highly deformable materials is inherently challenging due to the need to maintain tension and the high dimensionality of the state of the material. Past work in this area mostly focuses on generating a detailed model for the material and its interaction with the robot, then using the model to construct a motion plan. In this paper, we take a different approach by using only sensor feedback to dictate the robot motion. We consider the collaborative manipulation of a deformable sheet between a person and a dual-armed robot (Baxter by Rethink Robotics). The robot is capable of contact sensing via joint torque sensors and is equipped with a head-mounted RGBd sensor. The robot senses contact force to maintain tension of the sheet, and in turn comply to the human motion. This is akin to handling a tablecloth with a partner but with one's eyes closed. To improve the response, we use the RGBd sensor to detect folds, and command the robot to move in an orthogonal direction to smooth them out. This is like handling cloth by looking at the cloth itself. Both controllers are able to follow human motion without excessive crimps in the sheet, but as expected, the hybrid controller combining force and vision outperforms the force controller alone in terms of tension force transient. The ability to quickly detect the state of the deformable material also enables more complex manipulation strategies in the future.
The development of complex systems often leads to delays in integration and roll-out, massive cost overruns, and in many cases to sub-optimal solutions regarding system performance and robustness. In order to overcome...
详细信息
The development of complex systems often leads to delays in integration and roll-out, massive cost overruns, and in many cases to sub-optimal solutions regarding system performance and robustness. In order to overcome these issues, model-based systems engineering methodologies can be employed. The application of simulation models in addition to system specifications increase the engineers' understanding of complex system behavior. The approach also allows the detection of incomplete or inconsistent functional requirements as well as other design failures.
In this paper, the traditional metaheuristic Particle Swarm Optmization (PSO) and the Bat Algorithm (BA) are used to optimal design digital low pass (LP) Finite Impulse Response (FIR) filters. These filters have a wid...
详细信息
In this paper, the traditional metaheuristic Particle Swarm Optmization (PSO) and the Bat Algorithm (BA) are used to optimal design digital low pass (LP) Finite Impulse Response (FIR) filters. These filters have a wide range of applications because of their characteristics. They are easy to be designed, they have guaranteed bounded input-bounded output (BIBO) stability and can be designed to present linear phase at all frequencies. Traditional optimization methods based on gradient are susceptible to getting trapped on a local optima solution when they are applied to optimize multimodal problems, such as the FIR filter design. Here, to overcome this drawback, the aforementioned metaheuristics are adopted to obtain the coefficients of low pass FIR filters of order 20 and 24. The performance of BA and PSO algorithms are compared with the classical Parks and McClellan (PM) filter design algorithm, which is a deterministic procedure. For this comparison is considered the filters pass band and stop band ripples, transition width and statistical data. The simulation results demonstrate that the proposed filter design approach using BA algorithm outperforms PM and PSO.
This paper proposes an autonomous navigation system for mobile robots using two unscented Kalman filters (UKFs) and a slip detector to fuse the vision and motion information. The vision information is extracted from i...
详细信息
This paper proposes an autonomous navigation system for mobile robots using two unscented Kalman filters (UKFs) and a slip detector to fuse the vision and motion information. The vision information is extracted from images captured by cameras, while the motion data are gathered by two wheel encoders, an accelerometer and a gyroscope. Firstly, the description of navigation algorithm, including the system overview, the image processing procedure and the coordinate transformation, are presented. Then kinematic models of two UKFs and data integration are introduced. Analyzing the results of experiments, the multi-sensor fusion system has more stability and accuracy in comparison with the single sensor system.
Wireless Sensor Networks (WSNs) when combined with various energy harvesting solutions managing to prolong the overall lifetime of the system and enhanced capabilities of the communication protocols used by modern sen...
Wireless Sensor Networks (WSNs) when combined with various energy harvesting solutions managing to prolong the overall lifetime of the system and enhanced capabilities of the communication protocols used by modern sensor nodes are efficiently used in are efficiently used in Smart Grid (SG), an evolutionary system for the modernization of existing power grids. However, wireless communication technology brings various types of security threats. In this study, firstly the use of WSNs for SG applications is presented. Second, the security related issues and challenges as well as the security threats are presented. In addition, proposed security mechanisms for WSN-based SG applications are discussed. Finally, an easy- to-implement and simple attack detection framework to prevent attacks directed to sink and gateway nodes with web interfaces is proposed and its efficiency is proved using a case study.
The international management standards allow their integrated approach, thereby combining aspects of particular importance to the activity of any organization, from the quality management systems or the environmental ...
详细信息
暂无评论