The following paper presents the effects of work on evaluating application of structure-from-motion 3D reconstruction algorithms to the purpose of computer-guided surgical training. In the paper a system for laparosco...
详细信息
The following paper presents the effects of work on evaluating application of structure-from-motion 3D reconstruction algorithms to the purpose of computer-guided surgical training. In the paper a system for laparoscopic surgery training is presented. The key part of the system is a novel approach to training, where a 3D model of the operating fields serves as a base of the interaction between the trainee and the system. Outline of the 3D processing pipeline is presented, results are shown and discussed.
The problems of scheduling of tasks described with dynamic models appear in the real-world situations, where management of the processes described with differential equations is needed. Possible applications contains ...
详细信息
ISBN:
(纸本)9783902661555
The problems of scheduling of tasks described with dynamic models appear in the real-world situations, where management of the processes described with differential equations is needed. Possible applications contains e.g: refuelling of the fleet of the boats in the given critical time, scheduling of tasks in the multiple computer systems and the forging process in the steel plants. The solution for such problems consists of two parts: continuous one (the allocation of the continuously divisible resource) and the discrete one (sequence of task subsets). The research has been done mostly for the former part so far, where the latter one was neglected. In the paper we recollect properties of the discrete part of the solution space and we prove some new properties. These new properties can be used to construct more efficient algorithms for the scheduling problems with the dynamic models of tasks.
Problem of scheduling n preemptive jobs on a single processor is studied, in which for each job a distinct due window is given in advance. If a job is completed within its due window, then it incurs no penalty. Otherw...
详细信息
ISBN:
(纸本)9783902661555
Problem of scheduling n preemptive jobs on a single processor is studied, in which for each job a distinct due window is given in advance. If a job is completed within its due window, then it incurs no penalty. Otherwise, it incurs a job-independent earliness or tardiness cost. The objective is to find a job schedule such that a maximum of weighted costs associated with earliness and tardiness is minimized. Properties of optimal solutions of this problem are established and an algorithm based on them is presented. It is proved that the analysed problem is solvable in O(n2) time.
The aim of this paper is to show, using chosen example, the possibility to analyze a set of feasible solutions for a certain dual-criteria, complex decision making problem. The analyzed problem concerns, in particular...
详细信息
The aim of this paper is to show, using chosen example, the possibility to analyze a set of feasible solutions for a certain dual-criteria, complex decision making problem. The analyzed problem concerns, in particular, the designing of a detached one-family cottage. The criteria include the total cost of building the house and its durability. The area of decision variables contains 22 elements, for which each element can have one of five values corresponding to the available building technology. The effect of the analysis carried out is the determination of the set of optimal solutions in the Pareto sense for the designing task. This set contains only five elements.
A paper presents an approach to critical situations analysis related to discrete transport systems (DTS). The critical situation is understood as sudden shortage of some system recourses resulting in the transport sys...
详细信息
A paper presents an approach to critical situations analysis related to discrete transport systems (DTS). The critical situation is understood as sudden shortage of some system recourses resulting in the transport system performance degradation. The analysis is realized based on availability calculation of DTS. The system is described by the formal model, which includes reliability and functional parameters of DTS. The availability and average availability of the system - defined in a functional way by delayed tasks realization, is discussed as a function of different essential parameters when the DTS is organized. The proposed analysis is based on the modeling and simulating of the system behavior using Monte Carlo approach. The paper presents some exemplar systems, based on real Polish Post DTS, modeling and results.
Classification is an important data mining task in biomedicine. For easy comprehensibility, rules are preferrable to another functions in the analysis of biomedical data. The aim of this work is to use a new fuzzy imm...
详细信息
Classification is an important data mining task in biomedicine. For easy comprehensibility, rules are preferrable to another functions in the analysis of biomedical data. The aim of this work is to use a new fuzzy immune rule-based classification system for biomedical data. The performance of the proposed approach, in terms of classification accuracy and area under the ROC curve, was compared with traditional classifier schemes: C4.5, Naive Bayes, K*, and Meta END.
The paper presents the approach to modeling and simulation of information systems. The systems are being analyzed from the point of services realized by them. Therefore, the system is modeled as a network of interacti...
详细信息
The paper presents the approach to modeling and simulation of information systems. The systems are being analyzed from the point of services realized by them. Therefore, the system is modeled as a network of interacting tasks and technical infrastructure required for the service realization. Paper, presents the formal model of a system, accompanied with model of a task realization. Moreover, a description of developed simulator, a case study with exemplar results and simulator performance analysis is given.
Methods of designing of totally self checking sequential machines are presented in this paper. The main problem in TSC sequential machines (TSC SM) designing is synthesis TSC functional excitation circuit. Formal cond...
详细信息
Methods of designing of totally self checking sequential machines are presented in this paper. The main problem in TSC sequential machines (TSC SM) designing is synthesis TSC functional excitation circuit. Formal condition of self testing (ST) property for AND-OR structures are given. New method of circuit minimization is presented and ST of minimized circuits is proofed. We also present a methodology of designing of TSC SM. Owing to our methods we can design TSC circuits in a fully automatic way.
The paper deals with cyclic production system providing a mixture of various products, each of which is manufactured by unique sequence of operations on machines called job. The aim is to find the cyclic schedule of m...
详细信息
The paper deals with cyclic production system providing a mixture of various products, each of which is manufactured by unique sequence of operations on machines called job. The aim is to find the cyclic schedule of minimal cycle length under “no store” policy. The problem belongs to scheduling area, is called the job shop scheduling problem with no-store constraints, is strongly NP-hard, and has been considered very rarely in the literature. In this paper there are shown: mathematical model of the problem, some of its theoretical properties, two-level solution method with special algorithm based on paths in a graph on the lower level and TSAB-relative procedure on the upper level.
This paper deals with the problem of defining performance measures of doubly nonholonomic mobile manipulators composed of a nonholonomic mobile platform and a nonholonomic manipulator mounted on the platform. We intro...
详细信息
ISBN:
(纸本)9783902661555
This paper deals with the problem of defining performance measures of doubly nonholonomic mobile manipulators composed of a nonholonomic mobile platform and a nonholonomic manipulator mounted on the platform. We introduce the kinematic theory of such mobile manipulators in frame of the endogenous configuration space approach, which assumes that: the kinematics of mobile manipulators is represented by a pair of driftless control systems driven by platform and manipulator controls, and sharing output function that describes position and orientation of the end-effector;the kinematic performance measures refer to the analytic Jacobian of the system;a locally controllable system yields nontrivial performance measures. Our results consist in a definition of the following local performance characteristics: the dexterity ellipsoid, the local dexterity, the energy efficiency and the motion efficiency. The usefulness of new local measures is demonstrated on the example of determining efficient configurations of a 3 d.o.f. planar nonholonomic manipulator fixed to a kinematic car type platform.
暂无评论