This work presents a static-analysis based method for analyzing the robustness of a given embedded control system design, in the presence of quality-faults in sensors, software components, and inter-connections. The m...
详细信息
This work presents a static-analysis based method for analyzing the robustness of a given embedded control system design, in the presence of quality-faults in sensors, software components, and inter-connections. The method characterizes the individual components of the system by storing the relations between the precision of inputs and the precision of outputs in what we call, lookup tables (LUTs). A network of LUTs thus formed which represent the given control system is converted into a satisfiability modulo theory (SMT) instance, such that a satisfying assignment corresponds to a potential counterexample (the set of quality-faults which violate the given fault-tolerance requirements) or hot-spot in the design. Hot-spots obtained in this manner are counter-verified through simulation to filter the false-positives. Experimental results on the fault-tolerant fuel controller from Simulink automotive library demonstrate the efficacy of the proposed approach.
The nociceptive withdrawal reflex (NWR) has been proven to be a valuable tool in the objective assessment of spinal cord hyperexcitability that is present in chronic pain disorders. However, most of the studies on obj...
详细信息
The nociceptive withdrawal reflex (NWR) has been proven to be a valuable tool in the objective assessment of spinal cord hyperexcitability that is present in chronic pain disorders. However, most of the studies on objective assessment of central sensitisation focus on population differences between patients and healthy individuals and do not provide tools for individual assessment. In this study, a method was developed to objectively assess pain hyperexcitability in individuals using the NWR. Results showed high rate of correct assessment with up to ~80% when differentiating between healthy volunteers and chronic pain patients.
Accurately monitoring changing energy usage patterns in households is a first requirement for more efficient and eco-friendly energy management. Such data is essential to the establishment of the Smart Grid, but at th...
详细信息
Accurately monitoring changing energy usage patterns in households is a first requirement for more efficient and eco-friendly energy management. Such data is essential to the establishment of the Smart Grid, but at this stage, domestic data collection devices are still in development and monitoring-enabled domestic appliances are rare, so that any experimental software framework must be flexible and adaptable both in respect of sensor sources and developer and user requirements. These considerations have been the drivers behind the distributed agent-based platform this paper proposes. It provides: (i) a generic sensor interface that can be specialised for new devices as required, while insulating the rest of the platform from such changes, (ii) persistent unstructured (RDF) data storage, permitting both semantic annotation and semantic-based queries, independent of data sources, and (iii) a flexible, dynamic browser interface, that allows for remote configuration of the sensor platform and accessibility via a wide range of devices. Two small case studies show the utility of the approach.
Civil engineering construction site is a high-risk area, where many accidents occur, but most construction sites lack necessary safety monitoring and warning system. Compared to traditional monitoring system, the moni...
详细信息
Civil engineering construction site is a high-risk area, where many accidents occur, but most construction sites lack necessary safety monitoring and warning system. Compared to traditional monitoring system, the monitoring system based on wireless sensor networks has many advantages. According to the requirements of practical engineering, the safety monitoring system for civil engineering construction is designed based on wireless sensor networks. The structure of system, network topology, and architecture of the wireless sensor nodes, hardware design, performance test and the architecture of information fusion are presented.
Abstract - The User Model plays a significant role in many personalized applications. Separated user modeling results in the fragments of the user model being distributed on the Web, but user modeling in a Multi-A...
详细信息
Abstract - The User Model plays a significant role in many personalized applications. Separated user modeling results in the fragments of the user model being distributed on the Web, but user modeling in a Multi-Application Environment (MAE) is increasingly required to provide a more complete user model view and more value-added user information to all relevant applications. In this paper, a Linked Data-driven user modeling approach is proposed to create links among the user model fragments of the same user who registers in different applications and, from these, construct a virtually global user model. Through these links, user information in one application can be acquired by another. An extendible Core User Model (CUM) is presented and used to describe both the common properties and the domain-specific features of the user. The advantages and disadvantages of this approach are analyzed by comparison with other user modeling methods in MAEs. The proposed solution appears to be more feasible and to offer increased flexibility.
Recently, the people who are under a lot of stress have increased. Too much stress may cause various physical and/or mental disorders. The final aim of our project is to develop a relaxation machine for reducing stres...
详细信息
Recently, the people who are under a lot of stress have increased. Too much stress may cause various physical and/or mental disorders. The final aim of our project is to develop a relaxation machine for reducing stress by using rocking vibration. As rocking vibration, motion of a mother's embracing and rocking of a baby is adopted. In this paper, we analyze the motion of the mother's embracing and rocking of a baby using a 3D motion capture system, and design and manufacture an excitation apparatus simulating the mother's motions. It is found from the experimental analysis that there are two types of the mother's motions. The both motions consist of linear motion and rotational motion. The excitation apparatus has two degrees-of freedom for linear and rotational motions.
Real time rendering of three-dimensional scenes in Ray Tracing is a hard problem. However, parallel implementations have been enabling real time performance, as the algorithm can be highly parallelized. Thus, a custom...
详细信息
Real time rendering of three-dimensional scenes in Ray Tracing is a hard problem. However, parallel implementations have been enabling real time performance, as the algorithm can be highly parallelized. Thus, a custom parallel design in hardware is likely to achieve a good performance. In this paper, we further improve the GridRT architecture overall performance by embedding the ray-triangle intersection computation into the precessing elements that form the architecture. Low cost and high rendering performance are the main concerns in this novel design. The results show that the execution time of each intersection computation is reduced by at least 50%, while the area cost is practically unchanged or even reduced when compared to the original GridRT implementation.
The Ray Tracing rendering algorithm can produce high-fidelity images of 3-D scenes, including shadow effects, as well as reflections and transparencies. This is currently done at a processing speed of at most 30 frame...
详细信息
The Ray Tracing rendering algorithm can produce high-fidelity images of 3-D scenes, including shadow effects, as well as reflections and transparencies. This is currently done at a processing speed of at most 30 frames per second. Therefore, actual implementations of the algorithm are not yet suitable for interactive real-time rendering, which is required in games and virtual reality based applications. Fortunately, the algorithm allows for massive parallelization of its computations. In this paper, we present a parallel architecture for ray tracing based on a uniform spatial subdivision of the scene and exploiting an embedded computation of ray-triangle intersections. This approach allows for a significant acceleration of intersection computations, as well as, a reduction of the total number of the required intersections checks. Furthermore, it allows for these checks to be performed in parallel and in advance for each ray. In this paper we discuss and analyze an ASIP-based implementation using FPGAs and a GPGPU-based parallel implementation of the proposed architecture. The performance of both implementations are reported and compared.
Civil engineering construction site is a high-risk area, where many accidents occur, but most construction sites lack necessary safety monitoring and warning system. Compared to traditional monitoring system, the moni...
详细信息
暂无评论