The paper gives an overview of research devoted to developing a semi-automatic methodology of building a semantic model of medical diagnostic knowledge. The methodology is based on natural language processing methods ...
详细信息
Following for hygiene and sanitation requirements have always been the most significant factor to stay healthy in human life. Proper cleaning and sanitation measures are one of the important ways to fight against vari...
详细信息
This paper presents a new tuning method based on model parameters identified in closed-loop. For classical controllers such as PI(D) controllers a large number of simple tuning methods for various application areas ex...
This paper presents a new tuning method based on model parameters identified in closed-loop. For classical controllers such as PI(D) controllers a large number of simple tuning methods for various application areas exist. However, when it comes to designing a generalised predictive controller (GPC) four parameters have to be specified. To choose those parameters is not a trivial task since they are not directly related to control or regulation performance. The presented tuning method exploits model-parameters to select suitable controller parameters. Additionally, a Rhinehart filter is incorporated in the design to decrease the impact of noise, therefore, a fifth parameter has to be optimised. The proposed method has been tested in simulation and on a real system.
Pose tracking does not yet reliably work in large-scale interactive multi-user VR. Our novel head orientation estimation combines a single inertial sensor located at the user's head with inaccurate positional trac...
详细信息
ISBN:
(纸本)9781538633663
Pose tracking does not yet reliably work in large-scale interactive multi-user VR. Our novel head orientation estimation combines a single inertial sensor located at the user's head with inaccurate positional tracking. We exploit that users tend to walk in their viewing direction and classify head and body motion to estimate heading drift. This enables low-cost long-time stable head orientation. We evaluate our method and show that we sustain immersion.
We have developed an Enterprise Document Management System which supports document management in offices. This system is intended to construct business systems for the next generation. We designed this system with the...
详细信息
We have developed an Enterprise Document Management System which supports document management in offices. This system is intended to construct business systems for the next generation. We designed this system with the aim of handling a document, in the mission critical business application system. The Enterprise Document Management System combines numeric information with documents. Our Enterprise Document Management System adopts a standardized specification called "DMA (Document Management Alliance) 1.0". DMA specifies the document object model and the API (application programming interface). This standard has been proposed by DMA which is one of the task forces of AIIM (Association for Information and Image Management International). AIIM is the international standardization organization of document management. We expand the DMA specification and implement its facilities for managing structured documents such as SGML (standard generalized markup language) and XML (extensible markup language). This system is built on ORDB (object relational database), a database system in order to integrate document with numeric information. Database systems are added to the document management oriental functions, such as full-text retrieval. We are constructing a document oriented business application with the Enterprise Document Management System.
HW/SW Co-designed systems rely on dynamic binary translation and optimizations for efficient execution of binary code. Due to memory ordering properties and other architectural constraints, most binary optimizations a...
详细信息
ISBN:
(纸本)9781612843568
HW/SW Co-designed systems rely on dynamic binary translation and optimizations for efficient execution of binary code. Due to memory ordering properties and other architectural constraints, most binary optimizations are applied to regions of code that are atomically executed. To ensure that the underlying hardware has enough speculative resources to execute the whole atomic region, these systems typically form short atomic regions, with only 20 to 30 instructions. However, the shorter is the atomic region the smaller is the scope for optimizations. We present LAR-CC, a novel technique that enables HW/SW co-designed systems to optimize large atomic regions and dynamically fit them into the available speculative hardware resources by means of conditional commits. The LAR-CC technique consists of two major components: 1) conditional branch instructions to conditionally skip commit operations; 2) code transformations that replace commit operations by conditional commits and enable optimizations to be applied on the large atomic regions. Our experiments show that LAR-CC can effectively achieve dynamic atomic region sizes larger than 1000 instructions, providing sufficiently large scope to apply many advanced optimizations on HW/SW co-designed systems.
We have designed and implemented game-themed programming assignment modules targeted specifically for adoption in existing introductory programming classes. These assignments are self-contained, so that faculty member...
详细信息
ISBN:
(纸本)9781605580579
We have designed and implemented game-themed programming assignment modules targeted specifically for adoption in existing introductory programming classes. These assignments are self-contained, so that faculty members with no background in graphics/gaming can selectively pick and choose a subset to combine with their own assignments in existing classes. This paper begins with a survey of previous results, followed by a description of the game-themed assignment modules. The paper then focuses on our efforts in assessing the assignments: including details of the procedures and instruments for evaluating student achievement of learning outcomes and attitudes towards the assignments, as well as the extra effort required of faculty to adopt the assignments in existing clases. Copyright 2008 ACM.
The structure and application of a universal communication architecture for high-dynamic robot systems were presented. The architecture consists of a middleware for robotic and process control applications - extended ...
详细信息
ISBN:
(纸本)0780386531
The structure and application of a universal communication architecture for high-dynamic robot systems were presented. The architecture consists of a middleware for robotic and process control applications - extended (MiRPA-X) and a communication protocol Industrial Automation Protocol (IAP) based on the IEEE1394 communication standard. Both are implemented with ANSI C under the real-time operating system QNX Neutrino. IAP provides network management functions to control participant states and global object directory to virtually unite all participant paremeters.
The design of an adequate test suite is usually guided by identifying test requirements which should be satisfied by the selected set of test cases. To reduce testing costs, test suite minimization heuristics aim at e...
详细信息
ISBN:
(纸本)9781479922567
The design of an adequate test suite is usually guided by identifying test requirements which should be satisfied by the selected set of test cases. To reduce testing costs, test suite minimization heuristics aim at eliminating redundancy from existing test suites. However, recent test suite minimization approaches lack (1) to handle test suites commonly derived for families of similar software variants under test, and (2) to incorporate fine-grained information concerning cost/profit goals for test case selection. In this paper, we propose a formal framework to optimize test suites designed for sets of software variants under test w.r.t. multiple conflicting cost/profit objectives. The problem representation is independent of the concrete testing methodology. We apply integer linear programming (ILP) to approximate optimal solutions. We further develop an efficient incremental heuristic for deriving a sequence of representative software variants to be tested for approaching optimal profits under reduced costs. We evaluated the algorithm by comparing its outcome to the optimal solution.
暂无评论