The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In the paper we describe a formalization of the notion of a nominative data with simple names and complex values in the Mizar proof assistant. Such data can be considered as a partial variable assignment which allows arbitrarily deep nesting and can be useful for formalizing semantics of programs that operate in real time environment and/or process complex data structures and for reasoning about the...
In this project, we developed a chess play system based on Kinect vision sensor, which recognizes different hand gestures as a command and sends these commands to V-REP robotic simulation tool. Delta type robot will play chess according to the commands sent via vision software. In our system, we have tested for 2 different chess opening scenarios and DOF checking mode scenario, then we obtained results...
The paper presents an approach to estimate the optimal number of vehicles on public transport line; this approach is based on a simulation model of the process of servicing the bus line passengers. A problem of determining such a number of buses, that provides the minimum cost of transport at the maximum level of passenger service, is quite a complex issue due to the stochastic nature of the transport...
It is shown that virtual laboratory complexes identical to real physical stands may provide an alternative in laboratory workshop for students of technical specialties of higher educational establishments. The basic requirements for virtual complexes are formulated and graphic programming medium LabVIEW is proposed as a platform for their creation. An example of a virtual laboratory complex for the...
As a relatively mature field, scientific computing has the opportunity to lead other software fields by leveraging its solid, existing knowledge base.Our position is that by following a rational design process, with the right tool support, desirable software qualities such as traceability, verifiability, and reproducibility, can be achieved for scientific software.We have begun development of a framework,...
We review design and development decisions and their impact for the open source code Nmag from a software engineering in computational science point of view. We summarise lessons learned and recommendations for future computational science projects. Key lessons include that encapsulating the simulation functionality in a library of a general purpose language, here Python, provides great flexibility...
In recent times, use of third-party libraries has become prevalent practice in contemporary software development. Much like other code components, unmaintained libraries are a cause for concern, especially when it risks code degradation over time. Therefore, awareness of when a library should be updated is important. With the emergence of large libraries hosting repositories such as Maven Central,...
The main goal of proactive security is to prevent attacks before they happen. In modern information systems it largely depends on the vulnerability management process, where prioritization is one of the key steps. A widely used prioritization policy based only upon a common vulnerability scoring system (CVSS) score is frequently criticised for bad effectiveness. The main reason is that the CVSS score...
We developed a software framework for boundary element analyses. The software supports a hybrid parallel programming model and is equipped with a hierarchical matrix (H-matrix) library to accelerate the BEM analysis.
The utilization of modular and reusable resources would reduce complexity and lead-time for the design of cyber-physical systems. Even if different theories have been proposed, there is not a general definition and metamodel applicable for reusable resources. Energetic approaches constitute the state of the art for modeling the dynamics of physical systems. Within this work, Power-Oriented Graphs...
It is well-known that the implementation of Advanced Process Control (APC) techniques such as Model Predictive Control (MPC) can enhance the performance of the plant operations in comparison to the common PID controller. However, the limited capabilities of most Distributed Control Systems (DCS) and their simple available controller libraries do not allow flexible and effective implementations of...
Serious games are now considered to be an effective way for students to learn and have continued to gain popularity among educators. While a wide variety of serious games have been developed for other fields, there are few games for mathematics in higher education. One of the challenges that must be overcome during game development for mathematics is symbolic expression manipulation and display. This...
As environmental models have become more complicated, we need new tools to analyze and validate these models and to facilitate collaboration among field scientists, observation dataset providers, environmental system modelers, and computer scientists. Modular design and function test of environmental models have gained attention recently within the Biological and Environmental Research Program of...
As lacking clear understanding of energy-using characteristics for devices, it is difficult to reasonably assess their consumption levels of energy. In order to solve this problem, chart-module integration theory is applied to energy consumption simulation field to design a software system that supports dynamic energy consumption simulation in this article. Firstly, the overall architecture of the...
The simulator of power part of electric drive is under consideration in the paper. It is based on the software and hardware of National Instruments Company and includes model of converter and motor. The simulator is designed to setting up the electric drive and to explore the modes of its operation.
Future smart systems will provide functionality by dynamically interacting with each other in cyber-physical systems. Such interactions require a message-based coordination under hard real-time constraints. This is realized by complex software, which combines discrete, state-based behavior with continuous behavior controlling the dynamics of the physical system parts. The development methods and tools...
This paper addresses the scientific challenges related to high level implementation strategies which steer the NEMO (Nucleus for European Modelling of the Ocean) code toward the effective exploitation of the opportunities offered by exascale systems. We consider, as case studies, two components of the NEMO ocean model (OPA-Ocean PArallelization): the Sea Surface Height equation solver and the Variational...
For estimating software, system size is the main parameter of the system development effort. It affects substantially on accurate estimation of effort of development. The Predictive Object Point (POPs) input gives an estimate of the size of the software for which the estimation is required. POPs are a metric suitable for estimating the size of object oriented software, based on the behaviors that...
The relief models made by the common modeling software are difficult to be consistent with the digital terrain model (DTM) and cannot fully express their morphological characteristics (such as the form, the structure, the spatial distributions and so on). In view of the above question, this paper advances an automatic modeling method of 3D relief symbols with building-up style. A component library...
The limitation of exiting instruction-words software birthmark was high complexity, this paper introduced the idea of characteristics selection in text classification into the field of software birthmark, and proposed an instruction-words software birthmark selection method based on CHI ( statistics). The birthmark selection algorithm build sample program collections for protected program and extracted...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.