Hydraulic systems are popular on vehicles, such as power steering, shock absorbers, brakes, etc. Many previously works have been done on the modeling and simulation of the hydraulic systems. However, these models and ...
详细信息
Surface mesh quality plays a very important role in the solution accuracy and in the quality of the ensuing volumetric mesh. Amongst the techniques available, optimization based methods are commonly used for mesh qual...
详细信息
User Experience (UX) research focusing on the emotional and experiential aspects of system usage is of highly recognized relevance for the CHI community. A lot of work has been conducted with different goals: investig...
详细信息
ISBN:
(纸本)9781450302289
User Experience (UX) research focusing on the emotional and experiential aspects of system usage is of highly recognized relevance for the CHI community. A lot of work has been conducted with different goals: investigating a common definition and understanding of UX, creating appropriate concepts, frameworks and models for supporting design and development processes, and developing methods and techniques for evaluating UX. However, there is still a lack of in-depth discussions on the theoretical roots and foundations for all of these UX activities in academia and industry. In this SIG we will explore the state of the art in the theory of UX research in order to lay the fundament for further advancements of the UX field. We will also discuss how the theoretical viewpoints can benefit, and be influenced by the UX practitioners' work.
Elastomeric bushings are widely used in the passenger cars to make the cars have an ideal vehicle Noise, Vibration and Harshness (NVH) performance. However, elastomeric bushings also influence on the vehicle handling,...
详细信息
In this paper, the Chus's circuit is developed and investigated. A voltage controlled nonlinear resister is also developed to analyze how it affected the double scroll attractor. PSPICE software is utilized to pre...
详细信息
COQ is an interactive theorem proving tool. The paper abstractly describes the feature of COQ, the architecture and working modes of PLC program with the example of typical PLC. It also introduces the first-order logi...
详细信息
COQ is an interactive theorem proving tool. The paper abstractly describes the feature of COQ, the architecture and working modes of PLC program with the example of typical PLC. It also introduces the first-order logic syntax and semantics of Intuitionistic Logic. It briefly introduces the main Gallina language syntax elements, the corresponding use methods and main theorem proving tactic on COQ. The work has modeled kernel data type and basic statements and and the denotational semantics of PLC program with Gallina. It has given the correctness proof of PLC program based on theorem proving, i.e. based on semantics function the relationship of configuration between the before codes execution and the after is proved. The main purpose is to prove whether a PLC program satisfies certain nature within a scan period.
CUDA has become a very popular programming paradigm in parallel computing area. However, very little work has been done for characterizing CUDA kernels. In this work, we measure the thread level performance, collect t...
详细信息
CUDA has become a very popular programming paradigm in parallel computing area. However, very little work has been done for characterizing CUDA kernels. In this work, we measure the thread level performance, collect the basic block level characteristics, and glean the instruction level properties for about 35 programs from CUDA SDK, Parboil, and Rodinia benchmark suites. In addition, we define basic block vectors, synchronization vectors and thread similarity matrix to capture the characteristics of CUDA programs efficiently. We find that CUDA programs have some unique characteristics at each level compared to sequential programs.
The knapsack problem (KP) is a classical NP problem. The multi-objective knapsack problem (MKP) is more difficult than KP. The fitness vector function is firstly introduced, that can solve the problem of nonconvex sol...
详细信息
Telerobotics is one of the most traditional fields of robotics and it played a crucial role in the history of robotics and of the mankind, especially in the areas of space and undersea exploration and of remote materi...
Telerobotics is one of the most traditional fields of robotics and it played a crucial role in the history of robotics and of the mankind, especially in the areas of space and undersea exploration and of remote material handling. On the other hand, teleoperation is still a very active research area and many problems are still open. In particular, the design of the control strategy for coupling local and remote site is of paramount importance for implementing telepresence, namely the feeling of being directly interacting with the remote environment. The IEEE RAS Technical Committee on Telerobotics would like to propose a half-day tutorial for illustrating several successful control strategies for implementing high performance bilateral teleoperation systems.
暂无评论