搜索结果: 1-15 共查到“知识库 计算机科学技术 system”相关记录160条 . 查询时间(0.312 秒)
URBAN EXPANSION MODELING APPROACH BASED ON MULTI-AGENT SYSTEM AND CELLULAR AUTOMATA
Urban expansion Modeling Multi-agent system Cellular automata
font style='font-size:12px;'>
2018/5/16
Urban expansion is a land-use change process that transforms non-urban land into urban land. This process results in the loss of natural vegetation and increase in impervious surfaces. Urban expansion...
SIMULATION OF THE «COSMONAUT-ROBOT» SYSTEM INTERACTION ON THE LUNAR SURFACE BASED ON METHODS OF MACHINE VISION AND COMPUTER GRAPHICS
Lunar Exploration Extravehicular Activity (EVA) Human-Robot Interaction (HRI) Mobile Robot Control "Follow Me" Mode Gesture Interface Object Tracking Gesture Recognition Motion Capture
font style='font-size:12px;'>
2017/6/19
Extravehicular activity (EVA) on the lunar surface, necessary for the future exploration of the Moon, involves extensive use of robots. One of the factors of safe EVA is a proper interaction between c...
MODELLING OF BIOMETRIC IDENTIFICATION SYSTEM WITH GIVEN PARAMETERS USING COLORED PETRI NETS
Photogrammetry Colored Petri Nets Automation Feature Detection Biometry Odontology Tooth Structure
font style='font-size:12px;'>
2017/6/19
Biometric identification systems use given parameters and function on the basis of Colored Petri Nets as a modelling language developed for systems in which communication, synchronization and distribu...
The Saturn Program Analysis System
The Saturn Program Analysis System
font style='font-size:12px;'>
2016/5/25
Saturn is a system for the static analysis of programs. Saturn aims to be both highly scalable and precise, with the goal of eventually being able to verify the absence of certain kinds of bugs in rea...
Alert Detection in System Logs
Alert Detection System Logs
font style='font-size:12px;'>
2016/5/24
We present Nodeinfo, an unsupervised algorithm for anomaly detection in system logs. We demonstrate Nodeinfo’s effectiveness on data from four of the world’s most powerful supercomputers: using logs r...
Analysis of Application Sensitivity to System Performance Variability in a Dynamic Task Based Runtime
Application Sensitivity System Performance Variability Dynamic Task Based Runtime
font style='font-size:12px;'>
2016/5/24
Application scalability can be significantly impacted by node level performance variability in HPC. While previous studies have demonstrated the impact of one source of variability,OS noise, in messag...
MotionMontage: A System to Annotate and Composite Motion Takes for 3D Animations
Active visual feedback Depth camera Animation Montage
font style='font-size:12px;'>
2016/5/24
We present MotionMontage, a system for recording multiple
motion takes of a rigid virtual object and compositing
them together into a montage. Our system incorporates a
Kinect-based performance cap...
Low-Cost Image Based System for Non-Technical Experts in Cultural Heritage Documentation and Analysis
Cultural Heritage Digitisation Visualization Camera Software Texture Stereoscopic Three-dimensional
font style='font-size:12px;'>
2015/11/12
As it is widely known documentation is an important issue within the tasks of conservation, preservation and restoration of Cultural Heritage objects. In this context high-tech measuring methods which...
3D modeling of the Weary Herakles statue with a coded structured light system
Herakles cultural heritage structured light laser scanning digitization
font style='font-size:12px;'>
2015/8/24
This paper presents the results of a study in which a close-range structured light system is used for the digitization of a cultural heritage object. A Herakles statue, named “Weary Herakles” and loca...
A rank minimization heuristic with application to minimum order system approximation
Variable control system analysis and controller synthesis matrix rank linear matrix inequality (lmi) the positive semi-definite matrix variables
font style='font-size:12px;'>
2015/8/11
Several problems arising in control system analysis and design, such as reduced order controller synthesis, involve minimizing the rank of a matrix variable subject to linear matrix inequality (LMI) c...
Rank minimization and applications in system theory
Matrix the convex set system identification statistics signal processing
font style='font-size:12px;'>
2015/8/11
In this tutorial paper, we consider the problem of minimizing the rank of a matrix over a convex set. The Rank Minimization Problem (RMP) arises in diverse areas such as control, system identification...
How to Write System-specific,Static Checkers in Metal
Write System-specific Static Checkers Metal
font style='font-size:12px;'>
2015/8/7
How to Write System-specific,Static Checkers in Metal.
A System and Language for Building System-Specific,Static Analyses
Extensible compilation error detection
font style='font-size:12px;'>
2015/8/7
This paper presents a novel approach to bug-finding analysis and an implementation of that approach. Our goal is to find as many serious bugs as possible. To do so, we designed a flexible, easy-to-use...
MECA:an Extensible,Expressive System and Language for Statically Checking Security Properties
MECA Extensible Expressive System Statically Checking Security Properties
font style='font-size:12px;'>
2015/8/7
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of practical constructs to ef...
Using Model Checking to Find Serious File System Errors
Model Checking Serious File System Errors
font style='font-size:12px;'>
2015/8/7
This paper shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for finding corner-case errors by comprehensively exploring t...