The aim of this paper is to present results of certain experiments related to material workability characteristics, taking into consideration its high quality features and large usability for special manufacturing. It...
详细信息
The aim of this paper is to present results of certain experiments related to material workability characteristics, taking into consideration its high quality features and large usability for special manufacturing. It is highly used in various industrial processes, such as aeronautics, petrochemical industry, chemical industry, etc. It was examined the influence of milling parameters upon the three dimensional cutting force and after it was determinate regression function.
In the present paper, we combine numerical and experimental approaches to study the dynamics of stable and unstable internal wave attractors. The problem is considered in a classic trapezoidal set-up filled with a uni...
详细信息
In the present paper, we combine numerical and experimental approaches to study the dynamics of stable and unstable internal wave attractors. The problem is considered in a classic trapezoidal set-up filled with a uniformly stratified fluid. Energy is injected into the system at global scale by the small-amplitude motion of a vertical wall. Wave motion in the test tank is measured with the help of conventional synthetic schlieren and particle image velocimetry techniques. The numerical set-up closely reproduces the experimental one in terms of geometry and the operational range of the Reynolds and Schmidt numbers. The spectral element method is used as a numerical tool to simulate the nonlinear dynamics of a viscous salt-stratified fluid. We show that the results of 3D calculations are in excellent qualitative and quantitative agreement with the experimental data, including the spatial and temporal parameters of the secondary waves produced by triadic resonance instability. Further, we explore experimentally and numerically the effect of lateral walls on secondary currents and spanwise distribution of velocity amplitudes in the wave beams. Finally, we test the assumption of a hidimensional flow and estimate the error made in synthetic schlieren measurements due to this assumption.
作者：
Zamsa, ElenaIMI
Programming Syst Dept Inst Math & Comp Sci Kishinev Moldova
The article presents the design of an application interface for associated medical data visualization and management for neurologists in a stroke clustering and prediction system called Stroke MD. The goal of the syst...
详细信息
ISBN:
(纸本)9781467375450
The article presents the design of an application interface for associated medical data visualization and management for neurologists in a stroke clustering and prediction system called Stroke MD. The goal of the system is to facilitate efficient visual data introduction and knowledge extraction based on a predictive model implementation. Aspects such as quality of the visualized data, type of the viewed data (risk factor groups, clustered groups, data alerts, conclusions etc.) and efficient user-software interaction directly influenced decisions about system design, in particular the design of the doctor's/patient's user interface sides, input methods and user-software interaction techniques, ending in to a hybrid setup of interface.
A new DNS-based anti-evasion technique for botnets detection is proposed. It is based on a cluster analysis of the features obtained from the payload of DNS-messages. The method uses a semi-supervised fuzzy c-means cl...
详细信息
ISBN:
(纸本)9781467383615
A new DNS-based anti-evasion technique for botnets detection is proposed. It is based on a cluster analysis of the features obtained from the payload of DNS-messages. The method uses a semi-supervised fuzzy c-means clustering. Usage of the developed method makes it possible to detect botnets that use the DNS-based evasion techniques with high efficiency.
Approach is offered to the formal specification of Standard Life Cycle (LC) of the program systems (PS) by the ontology facilities with purpose automation and generation of the variants LC for making the appropriate k...
详细信息
ISBN:
(纸本)9781479985470
Approach is offered to the formal specification of Standard Life Cycle (LC) of the program systems (PS) by the ontology facilities with purpose automation and generation of the variants LC for making the appropriate kinds process for development different PS. Ontological approach to presentation LC model of the standard ISO/IEC 12207-2007 is included the specification of general, organizational and support processes. These processes are presented in the subject-oriented DSL, which than transformed to XML for realization. One of the processes, the testing process is given in terms of Protege systems. An eventual result of this system Protege got generally at accepted to the XML, suitable for implementation tasks testing PS on computer.
We analyze the possibility of implementation of cloud computing over private data that is based on previously proposed threshold fully homomorphic cryptosystems. The main result is a protocol for securer cloud computi...
详细信息
We analyze the possibility of implementation of cloud computing over private data that is based on previously proposed threshold fully homomorphic cryptosystems. The main result is a protocol for securer cloud computing over private data in a model with supplementary cryptoservers. As a result, one gets a system that does not require a public key and replaces a sophisticated and costly bootstrapping by a more efficient reencryption protocol run by the cryptoservers.
Although the traditional task of communication protocols is the transmission of data, this is actually not completely sufficient if it is used in safety sectors. Therefore, it must he enhanced In order to detect and o...
详细信息
ISBN:
(纸本)9781467381468
Although the traditional task of communication protocols is the transmission of data, this is actually not completely sufficient if it is used in safety sectors. Therefore, it must he enhanced In order to detect and overcome failures in systems, risk analysis and failure measurement must be taken into account in each safety -related system. This paper describes the advantages of having a safety -related system -on -chip with on-chip diagnostics in order to develop a safe transmission protocol here the concept of a C4Nopen Safety protocol stack on top of a safety -related system on -chip that yields reliability to the complete product is presented,
Modern JavaScript engines use just-in-time (JIT) compilation to produce a binary code. JIT compilers are limited in a complexity of optimizations they can perform at a runtime without delaying an execution. On the con...
详细信息
ISBN:
(纸本)9781467375627
Modern JavaScript engines use just-in-time (JIT) compilation to produce a binary code. JIT compilers are limited in a complexity of optimizations they can perform at a runtime without delaying an execution. On the contrary, ahead-of-time (AOT) compilers don't have such limitations, but they are not well suited for compiling dynamic languages such as JavaScript. In the paper we discuss methods for augmenting multi-tiered JavaScript JIT with a capability for AOT compilation, so to reduce program startup time and to move complex optimizations to AOT phase. We have implemented saving of JavaScript programs as a binary package containing bytecode and native code in open-source WebKit library. Our implementation allows shipping of JavaScript programs not only as a source code, but also as application binary packages with a precompiled code. In addition, our approach does not require any language feature restrictions. This has resulted in performance gain for popular JavaScript benchmarks such as SunSpider and Kraken on ARM platform, however, at a cost of increased package size.
Finite state transducers over semigroups can be regarded as a formal model of sequential reactive programs. In this paper we introduce a uniform technique for checking effectively functionality, k-valuedness, equivale...
详细信息
ISBN:
(数字)9783319230214
ISBN:
(纸本)9783319230214;9783319230207
Finite state transducers over semigroups can be regarded as a formal model of sequential reactive programs. In this paper we introduce a uniform technique for checking effectively functionality, k-valuedness, equivalence and inclusion for this model of computation in the case when a semigroup these transducers operate over is embeddable in a decidable group.
暂无评论