823 resultados para interactive proofs
Resumo:
At present in the educational process of electrical engineering disciplines electronic learning program, providing control over reproductive educational-cognitive activity (the decision of standard problems) and universal modeling program systems, for instance Electronics Workbench, giving a chance of organizing productive, in particular research activity are basically used. However universal modeling program systems can not provide auto control over educational-cognitive activity because of the absence of the feedback with students. The combined didactic interactive program system, providing the closed directed auto control over both the reproductive and productive heuristic educational-cognitive activity of the student is offered.
Resumo:
The methods of the application of the Combined didactic interactive programme system on electrical engineering disciplines has been worked out and the possibility of its application for providing a complex of different kinds of studies: lectures, tutorials, laboratory studies and also for organizing students’ independent work has been verified. The given methods provide the organization of the reproductive (recognition and reproduction) and productive heuristic educational-cognitive students’ activity in conditions of gradualness and completeness of education with the closed directed automatic control.
Resumo:
The paper describes a learning-oriented interactive method for solving linear mixed integer problems of multicriteria optimization. The method increases the possibilities of the decision maker (DM) to describe his/her local preferences and at the same time it overcomes some computational difficulties, especially in problems of large dimension. The method is realized in an experimental decision support system for finding the solution of linear mixed integer multicriteria optimization problems.
Resumo:
Background: Vigabatrin (VGB) is an anti-epileptic medication which has been linked to peripheral constriction of the visual field. Documenting the natural history associated with continued VGB exposure is important when making decisions about the risk and benefits associated with the treatment. Due to its speed the Swedish Interactive Threshold Algorithm (SITA) has become the algorithm of choice when carrying out Full Threshold automated static perimetry. SITA uses prior distributions of normal and glaucomatous visual field behaviour to estimate threshold sensitivity. As the abnormal model is based on glaucomatous behaviour this algorithm has not been validated for VGB recipients. We aim to assess the clinical utility of the SITA algorithm for accurately mapping VGB attributed field loss. Methods: The sample comprised one randomly selected eye of 16 patients diagnosed with epilepsy, exposed to VGB therapy. A clinical diagnosis of VGB attributed visual field loss was documented in 44% of the group. The mean age was 39.3 years∈±∈14.5 years and the mean deviation was -4.76 dB ±4.34 dB. Each patient was examined with the Full Threshold, SITA Standard and SITA Fast algorithm. Results: SITA Standard was on average approximately twice as fast (7.6 minutes) and SITA Fast approximately 3 times as fast (4.7 minutes) as examinations completed using the Full Threshold algorithm (15.8 minutes). In the clinical environment, the visual field outcome with both SITA algorithms was equivalent to visual field examination using the Full Threshold algorithm in terms of visual inspection of the grey scale plots, defect area and defect severity. Conclusions: Our research shows that both SITA algorithms are able to accurately map visual field loss attributed to VGB. As patients diagnosed with epilepsy are often vulnerable to fatigue, the time saving offered by SITA Fast means that this algorithm has a significant advantage for use with VGB recipients.
Resumo:
We discuss some main points of computer-assisted proofs based on reliable numerical computations. Such so-called self-validating numerical methods in combination with exact symbolic manipulations result in very powerful mathematical software tools. These tools allow proving mathematical statements (existence of a fixed point, of a solution of an ODE, of a zero of a continuous function, of a global minimum within a given range, etc.) using a digital computer. To validate the assertions of the underlying theorems fast finite precision arithmetic is used. The results are absolutely rigorous. To demonstrate the power of reliable symbolic-numeric computations we investigate in some details the verification of very long periodic orbits of chaotic dynamical systems. The verification is done directly in Maple, e.g. using the Maple Power Tool intpakX or, more efficiently, using the C++ class library C-XSC.
Resumo:
We present a new program tool for interactive 3D visualization of some fundamental algorithms for representation and manipulation of Bézier curves. The program tool has an option for demonstration of one of their most important applications - in graphic design for creating letters by means of cubic Bézier curves. We use Java applet and JOGL as our main visualization techniques. This choice ensures the platform independency of the created applet and contributes to the realistic 3D visualization. The applet provides basic knowledge on the Bézier curves and is appropriate for illustrative and educational purposes. Experimental results are included.
Resumo:
This paper focuses on teamwork by the National Research University of Information Technologies, Mechanics and Optics (NRU ITMO) and the Aleksandrinsky Theatre in preparation of opening of the New Stage of the Alexandrinsky Theatre. The Russian State Pushkin Academy Drama Theatre, also known as the Alexandrinsky Theatre, is the oldest national theatre in Russia. Many famous Russian actors performed on the Alexandrinsky’s stage and many great directors. May 2013 marked the opening of the New Stage of the Alexandrinsky Theatre. The theatre complex comprises three buildings: the new stages building, a media center, and the building housing a center of theatre education. Several plays shown simultaneously on multiple stages within the new complex’s buildings constituted the opening gala of the New Stage of the Alexandrinsky Theatre. The works of Fyodor Dostoyevsky were the plays’ unifying theme. NRU ITMO employees developed several interactive theatre project solutions implemented for the opening of the Alexandrinsky Theatre’s New Stage.
Resumo:
The presentation of cultural heritage is difficult comprehensive and constantly updated topic. Researchers often focus more on the different techniques to digitize artifacts of cultural heritage. This work focuses on the overall shape and structure of future multimedia application whose specificity is determined by the topic - Odrysian kingdom. Below is presented a concept for structure and content-based information available for individual kings from Odryssae dynasty. Special attention is paid to the presentation of preserved artifacts associated with the reign of specific rulers. The main concept of multimedia application dedicated to the Odrysian kingdom, it is to be used in teaching programs related to cultural heritage and history of antiquity in universities. The aim of designers is that it can be modified easy for use in museums also.
Resumo:
The object of this paper is presenting the University of Economics – Varna, using a 3D model with 3Ds MAX. Created in 1920, May 14, University of Economics - Varna is a cultural institution with a place and style of its own. With the emergence of the three-dimensional modeling we entered a new stage of the evolution of computer graphics. The main target is to preserve the historical vision, to demonstrate forward-thinking and using of future-oriented approaches.
Resumo:
Image collections are growing at a rapid rate and hence visual information is becoming more and more important. Clearly, these image repositories need to be managed, and tools for effectively and efficiently searching image databases are highly sought after, especially on mobile devices where more and more images are being stored. In this paper, we present an image browsing system for interactive exploration of image collections on mobile devices. Images are arranged so that visually similar images are grouped together while large image repositories become accessible through a hierarchical, browsable tree structure, arranged on a hexagonal lattice. The developed system provides an intuitive and fast interface for navigating through image databases using a variety of touch gestures.
Resumo:
2000 Mathematics Subject Classification: 62-04, 62H30, 62J20
Resumo:
Image collections are ever growing and hence efficient and effective tools to manage these repositories are highly sought after. In this paper, we present effective image browsing systems that are operated on a large multi-touch environment for truly interactive exploration. Not only do image browsers pose a useful alternative to retrieval-based systems, they also provide a visualisation of the whole image collection and allow users to interactively explore particular parts of the collection. Our systems are based on the idea that visually similar images are located close to each other in the visualisation, that image thumbnails are arranged on a regular lattice (either a regular grid projected onto a sphere or a hexagonal lattice), and that large image datasets can be accessed through a hierarchical tree structure. A pilot study has shown that the presented systems do indeed work well and are preferred compared to conventional image browsers. © 2011 IEEE.
Resumo:
Purpose – The aim of this study is to present a concept of interactive foresight process, its theoretical and methodological considerations and a foresight exercise concerning the development of knowledge economy in the Central Hungarian Region. Design/methodology/approach – A methodology of interactive foresight process for creating regional future concepts is developed, which is based on a specific meaning of integral futures and uses online solutions, too. Findings – Personal meetings with small and medium enterprise (SME) stakeholders and the works of interactive communications with feedbacks within and among stakeholder groups was organized around the research homepage. The networking created the interconnection and the feedbacks between the stakeholders and the futurist group in the process of shaping regional future ideas. The online networking is running. Research limitations/implications – The low number of stakeholders can limit the validity and acceptance of futures ideas created by this process. Practical implications – The developed interactive foresight process can also be applicable at different organizational levels and in different fields for shaping shared future ideas. Social implications – Application of interactive foresight process can contribute to the development of anticipatory democracy. Originality/value – A theoretically based interactive foresight process has been developed in which stakeholders can participate not only interactively in the foresight process but they can implement the achievements in their enterprising activity as well. The participants were interested in foresight and cooperative during the whole process because they learned the use of foresight tools through collective solution of practical tasks which were important for them.