oalib
Search Results: 1 - 10 of 100 matches for " "
All listed articles are free for downloading (OA Articles)
Page 1 /100
Display every page Item
Verification and Diagnosis Infrastructure of SoC HDL-model  [PDF]
Vladimir Hahanov,Wajeb Gharibi,Eugenia Litvinova,Svetlana Chumachenko
Computer Science , 2012,
Abstract: This article describes technology for diagnosing SoC HDL-models, based on transactional graph. Diagnosis method is focused to considerable decrease the time of fault detection and memory for storage of diagnosis matrix by means of forming ternary relations in the form of test, monitor, and functional component. The following problems are solved: creation of digital system model in the form of transaction graph and multi-tree of fault detection tables, as well as ternary matrices for activating functional components in tests, relative to the selected set of monitors; development of a method for analyzing the activation matrix to detect the faults with given depth and synthesizing logic functions for subsequent embedded hardware fault diagnosing.
DBSolve Optimum: a software package for kinetic modeling which allows dynamic visualization of simulation results
Nail M Gizzatkulov, Igor I Goryanin, Eugeny A Metelkin, Ekaterina A Mogilevskaya, Kirill V Peskov, Oleg V Demin
BMC Systems Biology , 2010, DOI: 10.1186/1752-0509-4-109
Abstract: We present mathematical simulation workbench DBSolve Optimum which is significantly improved and extended successor of well known simulation software DBSolve5. Concept of "dynamic visualization" of simulation results has been developed and implemented in DBSolve Optimum. In framework of the concept graphical objects representing metabolite concentrations and reactions change their volume and shape in accordance to simulation results. This technique is applied to visualize both kinetic response of the model and dependence of its steady state on parameter. The use of the dynamic visualization is illustrated with kinetic model of the Krebs cycle.DBSolve Optimum is a user friendly simulation software package that enables to simplify the construction, verification, analysis and visualization of kinetic models. Dynamic visualization tool implemented in the software allows user to animate simulation results and, thereby, present them in more comprehensible mode. DBSolve Optimum and built-in dynamic visualization module is free for both academic and commercial use. It can be downloaded directly from http://www.insysbio.ru webcite.Kinetic modeling is one of the main tools of computational systems biology aimed at quantitative description of intracellular dynamic processes. The term kinetic model refers to a system of algebra-, integral- or delay- differential equations that determine the temporal and steady state of the corresponding biological system. The model of a particular system of biochemical reactions is usually represented by a system of mechanistic differential equations and includes multiple parameters which values must be estimated on the basis of experimental data. There are, at least, three stages in study of a biochemical system by means of kinetic modeling [1]. The first stage consists of constructing kinetic model of the biochemical system on the basis of all available information. The second stage is numerical solution of the resulted system of (differentia
Experimental verification of the in-pipe micromachine Karolína simulation model  [cached]
Michal Kelemen,Tatiana Ma?a?ovská
Bulletin of Applied Mechanics , 2007,
Abstract: The paper deals with in-pipe micromachine Karolina, which locomotes inside pipe via innertial locomotion principle. The principle lies on periodic generating of two masses crash. Next part describes simulation model, which is designed for study of the micromachine behaviours. Simulation models gives the optimum setting up paranmeters and these parameters have been verified via experimetal way. The micromachine velocoty locomotion and its traction force have been obtained via experimental way and these results in coincidence with simulation results.
Automated continuous verification for numerical simulation
P. E. Farrell, M. D. Piggott, G. J. Gorman, D. A. Ham, C. R. Wilson,T. M. Bond
Geoscientific Model Development (GMD) & Discussions (GMDD) , 2011, DOI: 10.5194/gmd-4-435-2011
Abstract: Verification is a process crucially important for the final users of a computational model: code is useless if its results cannot be relied upon. Typically, verification is seen as a discrete event, performed once and for all after development is complete. However, this does not reflect the reality that many geoscientific codes undergo continuous development of the mathematical model, discretisation and software implementation. Therefore, we advocate that in such cases verification must be continuous and happen in parallel with development: the desirability of their automation follows immediately. This paper discusses a framework for automated continuous verification of wide applicability to any kind of numerical simulation. It also documents a range of test cases to show the possibilities of the framework.
Simulation and Visualization of Water Flow
Branislav Sobota , Franti ek Hrozek
Acta Electrotechnica et Informatica , 2011, DOI: 10.2478/v10198-011-0004-0
Abstract: At present the problematic of floods is larger than ever because global warming, deforestation and other factors increase chance of flood creation. As prevention to floods, designing of many new anti-floods projects have been started. In the future, these projects will stop floods completely or at least reduce their consequences. Water flow simulation and visualization is an integral part of this process. Simulation is used for testing, if the project meets flood protection requirements. Visualization is used for presenting and helps investors and wide public to better understand these projects. Stereoscopic visualization can be also used, because displaying of outputs from simulation and visualization is important, too. This paper aims at fluid flow simulation and visualization software. Also aims at hardware that can be used for stereoscopic visualization.
Simulation and Verification for Model of Phytoremediation on Heavy Metal Contaminated Sediment
植物修复重金属污染沉积物的模型仿真及验证

LI Hong-xi,LIN Wen-bo,LI Yu-qing,NIE Ying-jin,LIU Fan-jia,ZHAO Xin-hua,
李红霞
,林文波,李玉庆,聂英进,刘范嘉,赵新华

环境科学 , 2011,
Abstract: In order to obtain dynamic changes of uptake and translocation and accumulation amounts of heavy metal lead in contaminated sediments in plants over time, the dynamic process of uptake and accumulation of lead in plants were simulated by system dynamics mechanism model of plant uptake to lead. Verification test was conducted based on simulation model after gain mass of data through planting maize in heavy metal contaminated sediment by greenhouse cultivation. The results indicate that the results of uptake and the accumulation of lead by maize in experiments are consistent with the conclusions of theoretical simulation model. It is proved that the dynamics mechanism model of plant uptake to lead is reasonable and effective.
Cyber-Virtual Systems: Simulation, Validation & Visualization  [PDF]
Jan Olaf Blech,Maria Spichkova,Ian Peake,Heinz Schmidt
Computer Science , 2014,
Abstract: We describe our ongoing work and view on simulation, validation and visualization of cyber-physical systems in industrial automation during development, operation and maintenance. System models may represent an existing physical part - for example an existing robot installation - and a software simulated part - for example a possible future extension. We call such systems cyber-virtual systems. In this paper, we present the existing VITELab infrastructure for visualization tasks in industrial automation. The new methodology for simulation and validation motivated in this paper integrates this infrastructure. We are targeting scenarios, where industrial sites which may be in remote locations are modeled and visualized from different sites anywhere in the world. Complementing the visualization work, here, we are also concentrating on software modeling challenges related to cyber-virtual systems and simulation, testing, validation and verification techniques for them. Software models of industrial sites require behavioural models of the components of the industrial sites such as models for tools, robots, workpieces and other machinery as well as communication and sensor facilities. Furthermore, collaboration between sites is an important goal of our work.
Mathematical models of the complex surfaces in simulation and visualization systems  [PDF]
Dmitry P. Paukov
Computer Science , 2005,
Abstract: Modeling, simulation and visualization of three-dimension complex bodies widely use mathematical model of curves and surfaces. The most important curves and surfaces for these purposes are curves and surfaces in Hermite and Bezier forms, splines and NURBS. Article is devoted to survey this way to use geometrical data in various computer graphics systems and adjacent fields.
Formal Verification and Visualization of Security Policies  [cached]
Luay A. Wahsheh,Daniel Conte de Leon,Jim Alves-Foss
Journal of Computers , 2008, DOI: 10.4304/jcp.3.6.22-31
Abstract: Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes in the development, deployment, and maintenance of such systems. In this paper, we introduce an expert system that helps with the design and implementation of security policies. We show how Prolog is used to verify system correctness with respect to policies using a theorem prover. Managing and visualizing information in high assurance computer systems are challenging tasks. To simplify these tasks, we show how a graph-based visualization tool is used to validate policies and provide system security managers with a process that enables policy reviews and visualizes interactions between the system’s entities. The tool provides not only a representation of the formal model, but also its execution. The introduced executable model is a formal specification and knowledge representation method.
Izdelava vizualizacije cestnega telesa za potrebe prostorske preveritve : The Making of Road Body Visualization for Spatial Verification  [PDF]
Bo?tjan Kova?i?,Bla? Supej
Geodetski Vestnik , 2004,
Abstract: The making of road body visualization for the needs of spatial verification is most often used prior to the building of large long-distant objects with a view of establishing the environmental influences. In order to work out a proper visualization, many data are needed. These data are acquired with field measurements, digital snapshots, orthophoto snapshots, digitalization and vectorization of the existing data. In the paper, we discuss the visualization methods with the inclusion of the input data, as well as the methods for creating the 3D-model. New methods and approaches for the making of static and dynamic simulations are also presented.
Page 1 /100
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.