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.
The work is dedicated to the implementation of information system for monitoring the quality of the road surface condition, and the development of software to interact with the system and the network of mobile devices for data collection. The architecture of the prototype of a hardware device intended for collecting statistical data on specialized transport is proposed. The results of the prototype...
Mutation analysis forms a popular software analysis technique that has been demonstrated to be useful in supporting multiple software engineering activities. Yet, the use of mutation analysis in tackling security issues has received little attention. In view of this, we design security aware mutation operators to support mutation analysis. Using a known set of common security vulnerability patterns,...
Internet has witnessed its paramount function transition from host-to-host communication to content dissemination. Named Data Networking (NDN) and Content-Centric Networking (CCN) emerge as a clean slate network architecture to embrace this shift. Pending Interest Table (PIT) in NDN/CCN keeps track of the Interest packets that are received but yet un-responded, which brings NDN/CCN significant features,...
The properties of surfactant-oil-water systems either at equilibrium or in dispersed state depend upon a large number of formulation variables that include not only the nature of the three components, but also the influence of electrolytes, alcohols and other additives (type and concentration), as well as temperature and pressure. These variables contribute to an overall affinity balance at...
Gel emulsions are high-internal-phase-ratio emulsions which form in ternary water/nonionic surfactant/oil systems. Their structure resembles that of foams, they possess a gel appearance and their visual aspect can vary from transparent to translucent or white depending on composition variables and temperature. Because of these peculiar properties, gel emulsions are interesting materials both for scientific...
Technical aspects of subterranean electric measurements conducted at several data acquisition stations in Kamchatka region are discussed. Sensor construction, signal processing and network organization are described. Several recorded signals that can be correlated with strongest seismic events in the vicinity of Kamchatka and at a distance of thousands kilometers are presented.
UHV AC GIS spacer is the critical component of gas insulated switchgear (GIS) in UHV substation. It plays a supporting conductor, isolating chamber and electrical insulation role. Defects of GIS spacer like delamination, metallic particles, protrusions will be introduced during manufacturing, installation, operating process, etc. These defects will worsen electrical field distribution and degrade...
With the development of the Internet, the transmission of digital images has far exceeded that of non-image data. Because of such huge amounts of digital transmission over digital devices, data centers have to consume a great deal of effectiveness to increase the efficiency of energy utilization for energy conservation and carbon emission reduction. In Named Data Networking (NDN), the hierarchical...
Methodology of automatic generation of test cases based on Model Driven Architecture is proposed, and its design and implementation have be done. The process of generating test cases is that a platform-independent model is converted into a platform-independent test model through level conversion, and the platform-independent test model is converted into the corresponding test cases through vertical...
In order to shorten concrete temperature difference between inside and outside, the internal temperature of concrete were considered. The method of laying cooling pipes in concrete was proposed. First of all, a certain thickness of concrete was cast in the pit or groove, and its surface was slotted. After that, the steel and scaffolding were installed on it. Using the method, we can reduce the internal...
In this paper we consider the problem of determining whether an unknown arithmetic circuit, for which we have oracle access, computes the identically zero polynomial. This problem is known as the black-box polynomial identity testing (PIT) problem. Our focus is on polynomials that can be written in the form f(xmacr) = Sigmai=1k hi(xmacr) ldr gi(xmacr), where each hi is a polynomial that depends on...
Formal specifications and supporting tools have shown to be very effective to improve the quality and correctness of a software system. A compiler is large and complex software; it takes as input a program written in some language and generates as output a program in another language. One of the main characteristics of any compiler is to preserve the semantics of the program being compiled. Therefore,...
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.