Results 21 to 30 of about 1,321,024 (261)
Research OF Complex Processes Based on Step-By-Step Modeling
Nauka ta progres transportu, 2021 Purpose. When solving practical problems that require the creation and further analysis of the model, an important criterion is the labour intensity of modeling.
O. V. Horbova, N. S. Murkovych
doaj +1 more source
Span programs and quantum time complexity [PDF]
Proceedings of MFCS 2020, LIPIcs, vol. 170, pp. 26:1--26:14,
978-3-95977-159-7 (2020), 2020 Span programs are an important model of quantum computation due to their tight correspondence with quantum query complexity. For any decision problem $f$, the minimum complexity of a span program for $f$ is equal, up to a constant factor, to the quantum query complexity of $f$. Moreover, this correspondence is constructive.
arxiv +1 more source
DYNAMIC SIMULATION AND COMPOSITION CONTROL IN A 10 L MIXING TANK
Reaktor, 2012 The open loop experiment of composition dynamic in a 10 L mixing tank has been successfully done inlaboratory. A 10 L tank was designed for mixing of water (as a stream-1) and salt solution (as astream-2 with salt concentration, c2 constant). An electric
Yulius Deddy Hermawan, Gogot Haryono
doaj +1 more source
Digital core: study of textural heterogeneities in a rock
Известия Томского политехнического университета: Инжиниринг георесурсов, 2023 Relevance. When real fluid flows through channels of limited dimensions, it experiences a constant loss of mechanical energy (hydraulic resistance) due to the action of viscous friction.
Yuri E. Katanov +2 more
doaj +1 more source
Сучасний стан наукових досліджень та технологій в промисловості, 2020 The subject of the article is the testing process on multi-touch devices for the implementation of psychoneurological studies. The goal of the work is development specialized dynamic tests with the introduction of Multi-touch technology to detect carpal ...
Karina Selivanova +2 more
doaj +1 more source
Model Checking Linear Logic Specifications [PDF]
, 2003 The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications.
Bozzano, M., Delzanno, G., Martelli, M.
core +1 more source
AIP Advances, 2017 A compact control system based on Delphi and Field Programmable Gate Array(FPGA) is developed for a repetitive intense electron-beam accelerator(IEBA), whose output power is 10GW and pulse duration is 160ns.
Yongfeng Qiu +4 more
doaj +1 more source
Nonlinear stability analysis of the frame structures [PDF]
Građevinski Materijali i Konstrukcije, 2016 In this paper the phenomenon of instability of frames in elasto-plastic domain was investigated. Numerical analysis was performed by the finite element method.
Ćorić Stanko, Brčić Stanko
doaj +1 more source
A Fast Graph Program for Computing Minimum Spanning Trees [PDF]
EPTCS 330, 2020, pp. 163-180, 2020 When using graph transformation rules to implement graph algorithms, a challenge is to match the efficiency of programs in conventional languages. To help overcome that challenge, the graph programming language GP 2 features rooted rules which, under mild conditions, can match in constant time on bounded degree graphs.
arxiv +1 more source
Exploring the mathematics of motion through construction and collaboration [PDF]
, 2006 In this paper we give a detailed account of the design principles and construction of activities designed for learning about the relationships between position, velocity and acceleration, and corresponding kinematics graphs.
Hoyles, Celia +2 more
core +5 more sources