Увійти

Готові списки джерел за темами / Simulation of proof / Статті в журналах

Статті в журналах з теми "Simulation of proof"

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Simulation of proof.

Автор: Grafiati

Опубліковано: 30 травня 2022

Оновлено: 31 травня 2022

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Simulation of proof".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

Frâncu, Mihai, Arni Asgeirsson, Kenny Erleben, and Mads J. L. Rønnow. "Locking-Proof Tetrahedra." ACM Transactions on Graphics 40, no. 2 (April 20, 2021): 1–17. http://dx.doi.org/10.1145/3444949.

Повний текст джерела

Анотація:

The simulation of incompressible materials suffers from locking when using the standard finite element method (FEM) and coarse linear tetrahedral meshes. Locking increases as the Poisson ratio gets close to 0.5 and often lower Poisson ratio values are used to reduce locking, affecting volume preservation. We propose a novel mixed FEM approach to simulating incompressible solids that alleviates the locking problem for tetrahedra. Our method uses linear shape functions for both displacements and pressure, and adds one scalar per node. It can accommodate nonlinear isotropic materials described by a Young’s modulus and any Poisson ratio value by enforcing a volumetric constitutive law. The most realistic such material is Neo-Hookean, and we focus on adapting it to our method. For , we can obtain full volume preservation up to any desired numerical accuracy. We show that standard Neo-Hookean simulations using tetrahedra are often locking, which, in turn, affects accuracy. We show that our method gives better results and that our Newton solver is more robust. As an alternative, we propose a dual ascent solver that is simple and has a good convergence rate. We validate these results using numerical experiments and quantitative analysis.

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Hushchyn, M., A. Ustyuzhanin, K. Arzymatov, S. Roiser, and A. Baranov. "The LHCb Grid Simulation: Proof of Concept." Journal of Physics: Conference Series 898 (October 2017): 052020. http://dx.doi.org/10.1088/1742-6596/898/5/052020.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Yang, Ming-Hour, and Jia-Ning Luo. "Fast Antinoise RFID-Aided Medical Care System." International Journal of Distributed Sensor Networks 2015 (2015): 1–13. http://dx.doi.org/10.1155/2015/971710.

Повний текст джерела

Анотація:

We propose a grouping proof scheme to help the nursing staff on their final check automatically before a medicine round. During the medicine round, even though their RFID reader is offline, our method can generate multiple proofs for each patient and help the medical caretakers follow the five-right policy to correctly administer the drugs to their patients. Besides, because our scheme enables a nurse to target specific group tags during a medicine round, it is able to generate proofs even when the illegitimate tags are on site. We prove that our generated proof is reliable because it can resist most security threats and guarantee the integrity of the proof. Besides, our proposed scheme guarantees anonymity on the RFID tags, so the patients’ sensitive information and location privacy can be protected. Last, we run a simulation to show that compared with the related methods our proposed scheme requires the least transmission time and the lowest computation loads to generate a proof.

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Sheu, Jinn-Jong, Chien-Jen Ho, Cheng-Hsien Yu, and Kuo-Ting Wu. "Fastener products lightweight design and forming process simulation." MATEC Web of Conferences 185 (2018): 00030. http://dx.doi.org/10.1051/matecconf/201818500030.

Повний текст джерела

Анотація:

In this research, an integrated design system was established to design the product of nuts with flange and generate the lightweight geometry of product. The multi-stage forming process was evaluated using the CAE simulations. The topology optimization method was used to achieve the lightweight design, that included keeping necessary geometrical features and remove the excess volumes. The topological discrete model had been remodelled into a meaningful geometry which is able to satisfy the requirement of proof load of fastener specification. The final design of the lightweight geometry was adopted to test the capability of carrying proof load required using CAE simulations with the boundary conditions of the related ASTM standard. In the evaluation stage, the finite element method was used to do the topology optimization, the proof load evaluation, the forging process and the die stress analysis. The simulation results showed the lightweight design was able to reduce the weight of product and maintain enough mechanical strength. The proposed process and die designs were able to obtain the lightweight product without defects.

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Chou, Ching-Tsun. "Simple proof techniques for property preservation via simulation." Information Processing Letters 60, no. 3 (November 1996): 129–34. http://dx.doi.org/10.1016/s0020-0190(96)00149-4.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

6

KAWABE, Y., and H. SAKURADA. "An Adversary Model for Simulation-Based Anonymity Proof." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E91-A, no. 4 (April 1, 2008): 1112–20. http://dx.doi.org/10.1093/ietfec/e91-a.4.1112.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Chaubey, V. K., and M. K. Rawat. "Design and simulation of a Mine Proof Mechanism." IOP Conference Series: Materials Science and Engineering 1116, no. 1 (April 1, 2021): 012120. http://dx.doi.org/10.1088/1757-899x/1116/1/012120.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

8

GAIDASHEV, DENIS G. "PERIOD DOUBLING RENORMALIZATION FOR AREA-PRESERVING MAPS AND MILD COMPUTER ASSISTANCE IN CONTRACTION MAPPING PRINCIPLE." International Journal of Bifurcation and Chaos 21, no. 11 (November 2011): 3217–30. http://dx.doi.org/10.1142/s0218127411030477.

Повний текст джерела

Анотація:

A universal period doubling cascade analogous to the famous Feigenbaum–Coullet–Tresser period doubling has been observed in area-preserving maps of ℝ2. The existence of the "universal" map with orbits of all binary periods has been proved via a renormalization approach in [Eckmann et al., 1984] and [Gaidashev et al., 2011]. These proofs use "hard" computer assistance.In this paper, we attempt to reduce computer assistance in the argument, and present a mild computer aided proof of the analyticity and compactness of the renormalization operator in a neighborhood of a renormalization fixed point: that is, a proof that does not use generalizations of interval arithmetics to functional spaces — but rather relies on interval arithmetics on real numbers only to estimate otherwise explicit expressions. The proof relies on several instances of the Contraction Mapping Principle, which is, again, verified via mild computer assistance.

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Lee, Youngkyung, Dong Hoon Lee, and Jong Hwan Park. "Revisiting NIZK-Based Technique for Chosen-Ciphertext Security: Security Analysis and Corrected Proofs." Applied Sciences 11, no. 8 (April 8, 2021): 3367. http://dx.doi.org/10.3390/app11083367.

Повний текст джерела

Анотація:

Non-interactive zero-knowledge (NIZK) proofs for chosen-ciphertext security are generally considered to give an impractical construction. An interesting recent work by Seo, Abdalla, Lee, and Park (Information Sciences, July 2019) proposed an efficient semi-generic conversion method for achieving chosen-ciphertext security based on NIZK proofs in the random oracle model. The recent work by Seo et al. demonstrated that the semi-generic conversion method transforms a one-way (OW)-secure key encapsulation mechanism (KEM) into a chosen-ciphertext secure KEM while preserving tight security reduction. This paper shows that the security analysis of the semi-generic conversion method has a flaw, which comes from the OW security condition of the underlying KEM. Without changing the conversion method, this paper presents a revised security proof under the changed conditions that (1) the underlying KEM must be chosen-plaintext secure in terms of indistinguishability and (2) an NIZK proof derived from the underlying KEM via the Fiat–Shamir transform must have the properties of zero-knowledge and simulation soundness. This work extended the security proof strategy to the case of identity-based KEM (IBKEM) and also revise the security proof for IBKEM of previous method by Seo et al. Finally, this work gives a corrected security proof by applying the new proofs to several existing (IB)KEMs.

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Zhang, Qing Peng, and Jian Ru Wan. "Simulation of Generated Heat by Friction of Explosion-Proof Elevator Ropes." Advanced Materials Research 853 (December 2013): 413–20. http://dx.doi.org/10.4028/www.scientific.net/amr.853.413.

Повний текст джерела

Анотація:

Explosion-proof elevator has been more and more widely used in the flammable, explosive places. Because of the particularity of the environment, in the design of explosion-proof elevator, various approaches are taken to achieve the purpose of explosion-proof, such as explosion isolation and intrinsically safe circuits. Besides, it is important to pay special attention to the collision and friction between various parts of the elevator. As well as elevators traction sheave and hoist ropes, over-speed governor sheave and ropes are also the main parts which generate thermal energy easily when there is friction happened. In this article, a finite element method (FEM) is used to simulate and analyze the thermal energy generated in those two parts with a purpose to test the performance of explosion-proof.

Стилі APA, Harvard, Vancouver, ISO та ін.

11

Liu, Hong, wen-Hao Hu, and Shao-Xiang Shen. "Simulation Analysis of Experiment Vessel of Explosion-Proof Valve." IOP Conference Series: Materials Science and Engineering 740 (March 17, 2020): 012008. http://dx.doi.org/10.1088/1757-899x/740/1/012008.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Traoré, Mamadou K. "Unifying Digital Twin Framework: Simulation-Based Proof-of-Concept." IFAC-PapersOnLine 54, no. 1 (2021): 886–93. http://dx.doi.org/10.1016/j.ifacol.2021.08.105.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

13

Rubel, Lee A. "Digital simulation of analog computation and Church's thesis." Journal of Symbolic Logic 54, no. 3 (September 1989): 1011–17. http://dx.doi.org/10.2307/2274761.

Повний текст джерела

Анотація:

Church's thesis, that all reasonable definitions of “computability” are equivalent, is not usually thought of in terms of computability by a continuous computer, of which the general-purpose analog computer (GPAC) is a prototype. Here we prove, under a hypothesis of determinism, that the analytic outputs of a C∞ GPAC are computable by a digital computer.In [POE, Theorems 5, 6, 7, and 8], Pour-El obtained some related results. (The proof there of Theorem 7 depends on her Theorem 2, for which the proof in [POE] is incorrect, but for which a correct proof is given in [LIR]. Also, the proof in [POE] of Theorem 8 depends on the unproved assertion that a solution of an algebraic differential equation must be analytic on an open subset of its domain. However, this assertion was later proved in [BRR].) As in [POE], we reduce the problem to a problem about solutions of certain systems of algebraic differential equations (ADE's). If such a system is nonsingular (i.e. if the “separant” does not vanish along the given solution), then the argument is very easy (see [VSD] for an even simpler situation), so that the essential difficulties arise from singular systems. Our main tools in handling these difficulties are drawn from the excellent (and difficult) paper [DEL] by Denef and Lipshitz. The author especially wants to thank Leonard Lipshitz for his kind help in the preparation of the present paper.We emphasize here that our proof of the simulation result applies only to the GPAC as described below. The GPAC's form a natural subclass of the class of all analog computers, and are based on certain idealized components (“black boxes”), mostly associated with the technology of past decades. One can easily envisage other kinds of black boxes of an input-output character that would lead to different kinds of analog computers. (For example, one could incorporate delays, or spatial integrators in addition to the present temporal integrators, etc.) Whether digital simulation is possible for these “extended” analog computers poses a rich and challenging set of research questions.

Стилі APA, Harvard, Vancouver, ISO та ін.

14

Nicolov, Mirela, Alina Heghes, Izabella Petre, and Ovidiu Alexandru Mederle. "Theoretical and Experimental Analysis of SiO2 - a Proof of Hartman Perdok Method." Revista de Chimie 69, no. 4 (May 15, 2018): 948–51. http://dx.doi.org/10.37358/rc.18.4.6234.

Повний текст джерела

Анотація:

In the present paper is done a comparison between simulation of the growth form of quartz crystal using attachment energies and SEM and AFM analysis. This comparison is done to make a complete analysis of quartz crystal. This analysis from theory to experiment and to applications for a-SiO2 presents a complete study of how are the results from simulations of growth forms of quartz crystals and which are the proofs given by SEM and AFM analysis that the obtained crystals are like in the simulations.

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Wan, Zhen, Feng Cui, Yun Kui Zhang, Wu Liu, Wen Yuan Chen, and Wei Ping Zhang. "Design of Proof Mass and System-Level Simulation of a Micromachined Electrostatically Suspended Accelerometer." Advanced Materials Research 317-319 (August 2011): 1631–34. http://dx.doi.org/10.4028/www.scientific.net/amr.317-319.1631.

Повний текст джерела

Анотація:

A six-axis Micromachined Electrostatically Suspended Accelerometer (MESA) which is based on LIGA-type microfabrication was designed. MESA employs a levitated perforated plate as its proof mass. Three main purposes are considered for the design of the perforated proof mass: (1) reducing squeeze-film effect; (2) improving the dynamic response of MESA; (3) facilitating the etching of sacrificial layer under the plate. This paper utilized a finite element model for evaluating air squeeze film damping effect of perforated proof mass. Among several designs of perforated proof mass, the best choice was found. Besides, a system-level model created in CoventorWare is used to evaluate the effect of squeeze film damping and the dynamic response of the MESA.

Стилі APA, Harvard, Vancouver, ISO та ін.

16

Jung, Erik, Victoria Ly, Christopher Cheney, Nicholas Cessna, Mai Linh Ngo, Dennis Castro, and Mircea Teodorescu. "Design, Construction and Validation of a Proof of Concept Flexible–Rigid Mechanism Emulating Human Leg Behavior." Applied Sciences 11, no. 19 (October 8, 2021): 9351. http://dx.doi.org/10.3390/app11199351.

Повний текст джерела

Анотація:

In most robotics simulations, human joints (e.g., hips and knees) are assumed to be revolute joints with limited range rotations. However, this approach neglects the internal flexibility of the joint, which could present a significant drawback in some applications. We propose a tensegrity-inspired robotic manipulator that can replicate the kinematic behavior of the human leg. The design of the hip and knee resembles the musculoskeletal connections within the human body. Our implementation represents muscles, tendons and ligament connections as cables, and bones as rods. This particular design manipulates muscles to replicate a human-like gait, which demonstrates its potential for use as an anatomically correct assistive device (prosthetic, exoskeleton, etc.). Using the OpenSim 3.0 simulation environment, we estimated the kinematics and structural integrity of the proposed flexural joint design and determined the actuation strategies for our prototype. Kinematics for the prototype include the mechanical limitations and constraints derived from the simulations. We compared the simulation, physical prototype, and human leg behaviors for various ranges of motion and demonstrated the potential for using OpenSim 3.0 as a flexible–rigid modeling and simulation environment.

Стилі APA, Harvard, Vancouver, ISO та ін.

17

Moshagen, Thilo. "Convergence of explicitly coupled simulation tools (co-simulations)." Journal of Numerical Mathematics 27, no. 1 (March 26, 2019): 23–36. http://dx.doi.org/10.1515/jnma-2017-0073.

Повний текст джерела

Анотація:

Abstract In engineering, it is a common desire to couple existing simulation tools together into one big system by passing information from subsystems as parameters into the subsystems under influence. As executed at fixed time points, this data exchange gives the global method a strong explicit component. Globally, such an explicit co-simulation schemes exchange time step can be seen as a step of an one-step method which is explicit in some solution components. Exploiting this structure, we give a convergence proof for such schemes. As flows of conserved quantities are passed across subsystem boundaries, it is not ensured that system-wide balances are fulfilled: the system is not solved as one single equation system. These balance errors can accumulate and make simulation results inaccurate. Use of higher-order extrapolation in exchanged data can reduce this problem but cannot solve it. The remaining balance error has been handled in past work by recontributing it to the input signal in next coupling time step, a technique labeled balance correction methods. Convergence for that method is proven. Further, the lack of stability for co-simulation schemes with and without balance correction is stated.

Стилі APA, Harvard, Vancouver, ISO та ін.

18

Hong, Han Ping, and Niels C. Lind. "Proof load test levels by exact integration." Canadian Journal of Civil Engineering 18, no. 2 (April 1, 1991): 297–302. http://dx.doi.org/10.1139/l91-034.

Повний текст джерела

Анотація:

Structural design standards usually contain rules for load testing to verify the load-carrying capacity. This paper determines the proof load test level as a function of the target safety index, the safety index before the test, and the ratio between the standard deviations of strength and load. The distributions of the load and the load-carrying capacity are assumed to be independent and lognormal. Using exact probability integration, comparison is made with earlier approximate values, and the results are verified independently by simulation. Several examples of application are presented. It is concluded that the values of the normalized proof load test level, obtained by a second-order approximation, are sometimes not sufficiently accurate for practical applications. The values given in this paper are recommended. Key words: structure, proof load testing, probability, safety index, numerical integration, simulation.

Стилі APA, Harvard, Vancouver, ISO та ін.

19

Shi, Jia Lian, Chang Liang Xu, and Kui Bo Jiang. "Analysis for Wedge Falling-Proof Brake Assembly of Lifter with Converter Oxygen Lance." Advanced Materials Research 744 (August 2013): 3–7. http://dx.doi.org/10.4028/www.scientific.net/amr.744.3.

Повний текст джерела

Анотація:

Designing wedge falling-proof brake assembly of the lifter to protect the converter oxygen lance and other equipments. This paper briefly introduces the design principle. Pro/Engineer-based parametric solid modeling for virtual assembly of the falling-proof brake assembly, and then motion simulation, the working process of the wedge falling-proof brake assembly demonstrated through the animation demonstration, so the simulation is accurate and clear; at the same time falling distance is derived from the rope broken to the lifter locked through mechanical analysis, and putting forward the measures to reduce falling distance of brake at last.

Стилі APA, Harvard, Vancouver, ISO та ін.

20

Liu, Feng, Qingping Tan, and Gang Chen. "Formal proof of prefix adders." Mathematical and Computer Modelling 52, no. 1-2 (July 2010): 191–99. http://dx.doi.org/10.1016/j.mcm.2010.02.008.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

21

Sizuo, Yokota. "A proof of a neglected proof." Journal of Theoretical Biology 129, no. 4 (December 1987): 453–55. http://dx.doi.org/10.1016/s0022-5193(87)80024-3.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

22

STEWART, IAN. "ELIMINATION OF MULTIPLE ARROWS AND SELF-CONNECTIONS IN COUPLED CELL NETWORKS." International Journal of Bifurcation and Chaos 17, no. 01 (January 2007): 99–106. http://dx.doi.org/10.1142/s0218127407017197.

Повний текст джерела

Анотація:

A coupled cell network is a finite directed graph in which nodes and edges are classified into equivalence classes. Such networks arise in a formal theory of coupled systems of differential equations, as a schematic indication of the topology of the coupling, but they can be studied independently as combinatorial objects. The edges of a coupled cell network are "identical" if they are all equivalent, and the network is "homogeneous" if all nodes have isomorphic sets of input edges. Golubitsky et al. [2005] proved that every homogeneous identical-edge coupled cell network is a quotient of a network that has no multiple edges and no self-connections. We generalize this theorem to any coupled cell network by removing the conditions of homogeneity and identical edges. The problem is a purely combinatorial assertion about labeled directed graphs, and we give two combinatorial proofs. Both proofs eliminate self-connections inductively. The first proof also eliminates multiple edges inductively, the main feature being the specification of the inductive step in terms of a complexity measure. The second proof obtains a more efficient result by eliminating all multiple edges in a single construction.

Стилі APA, Harvard, Vancouver, ISO та ін.

23

郝, 海霞. "Proof and Matlab Simulation of the Para-Symmetry DMC Capacity." Pure Mathematics 09, no. 03 (2019): 465–71. http://dx.doi.org/10.12677/pm.2019.93062.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

24

Chung, D., L. Chan, M. MacDonald, N. Hutchins, and A. Ooi. "A fast direct numerical simulation method for characterising hydraulic roughness." Journal of Fluid Mechanics 773 (May 26, 2015): 418–31. http://dx.doi.org/10.1017/jfm.2015.230.

Повний текст джерела

Анотація:

We describe a fast direct numerical simulation (DNS) method that promises to directly characterise the hydraulic roughness of any given rough surface, from the hydraulically smooth to the fully rough regime. The method circumvents the unfavourable computational cost associated with simulating high-Reynolds-number flows by employing minimal-span channels (Jiménez & Moin, J. Fluid Mech., vol. 225, 1991, pp. 213–240). Proof-of-concept simulations demonstrate that flows in minimal-span channels are sufficient for capturing the downward velocity shift, that is, the Hama roughness function, predicted by flows in full-span channels. We consider two sets of simulations, first with modelled roughness imposed by body forces, and second with explicit roughness described by roughness-conforming grids. Owing to the minimal cost, we are able to conduct direct numerical simulations with increasing roughness Reynolds numbers while maintaining a fixed blockage ratio, as is typical in full-scale applications. The present method promises a practical, fast and accurate tool for characterising hydraulic resistance directly from profilometry data of rough surfaces.

Стилі APA, Harvard, Vancouver, ISO та ін.

25

Zhang, Qing Peng, and Jian Ru Wan. "Numerical Simulation and Analysis of Thermal Energy Generated by Friction on Explosion-Proof Elevator." Advanced Materials Research 853 (December 2013): 421–27. http://dx.doi.org/10.4028/www.scientific.net/amr.853.421.

Повний текст джерела

Анотація:

In petroleum, chemical, metallurgical and other industries, a special kind of elevator, the explosion-proof elevator, is applied due to the existence of flammable and explosive substances in the environment. Explosion-proof elevator has adopted various approaches to meet the requirements of explosion-proof areas levels in the design stage, such as explosion isolation and intrinsically safe circuits. However, in normal working process, thermal energy will be generated by the friction occurring between different components of an elevator, which is very dangerous if the temperature of the assembly exceeds the limited value of related standards. Frictions always occur between guide shoes and guide rails when the elevator operates .Similarly, there are also frictions between safety clamp blocks and guide rails when the safety gear works. In this article, a finite element method is used to simulate and analyze the thermal energy generated in those two parts with a purpose to examine the performance of explosion-proof.

Стилі APA, Harvard, Vancouver, ISO та ін.

26

Kong, Xian, and Jianwen Jiang. "Porous organic cage membranes for water desalination: a simulation exploration." Physical Chemistry Chemical Physics 19, no. 28 (2017): 18178–85. http://dx.doi.org/10.1039/c7cp02670f.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

27

Rudi, Alessandro, Leonard Wossnig, Carlo Ciliberto, Andrea Rocchetto, Massimiliano Pontil, and Simone Severini. "Approximating Hamiltonian dynamics with the Nyström method." Quantum 4 (February 20, 2020): 234. http://dx.doi.org/10.22331/q-2020-02-20-234.

Повний текст джерела

Анотація:

Simulating the time-evolution of quantum mechanical systems is BQP-hard and expected to be one of the foremost applications of quantum computers. We consider classical algorithms for the approximation of Hamiltonian dynamics using subsampling methods from randomized numerical linear algebra. We derive a simulation technique whose runtime scales polynomially in the number of qubits and the Frobenius norm of the Hamiltonian. As an immediate application, we show that sample based quantum simulation, a type of evolution where the Hamiltonian is a density matrix, can be efficiently classically simulated under specific structural conditions. Our main technical contribution is a randomized algorithm for approximating Hermitian matrix exponentials. The proof leverages a low-rank, symmetric approximation via the Nyström method. Our results suggest that under strong sampling assumptions there exist classical poly-logarithmic time simulations of quantum computations.

Стилі APA, Harvard, Vancouver, ISO та ін.

28

Torres, Angélica, and Elisenda Feliu. "Symbolic Proof of Bistability in Reaction Networks." SIAM Journal on Applied Dynamical Systems 20, no. 1 (January 2021): 1–37. http://dx.doi.org/10.1137/20m1326672.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

29

DI COSMO, ROBERTO, DELIA KESNER, and EMMANUEL POLONOVSKI. "Proof nets and explicit substitutions." Mathematical Structures in Computer Science 13, no. 3 (May 20, 2003): 409–50. http://dx.doi.org/10.1017/s0960129502003791.

Повний текст джерела

Анотація:

We refine the simulation technique introduced in Di Cosmo and Kesner (1997) to show strong normalisation of $\l$-calculi with explicit substitutions via termination of cut elimination in proof nets (Girard 1987). We first propose a notion of equivalence relation for proof nets that extends the one in Di Cosmo and Guerrini (1999), and show that cut elimination modulo this equivalence relation is terminating. We then show strong normalisation of the typed version of the $\ll$-calculus with de Bruijn indices (a calculus with full composition defined in David and Guillaume (1999)) using a translation from typed $\ll$ to proof nets. Finally, we propose a version of typed $\ll$ with named variables, which helps to give a better understanding of the complex mechanism of the explicit weakening notation introduced in the $\ll$-calculus with de Bruijn indices (David and Guillaume 1999).

Стилі APA, Harvard, Vancouver, ISO та ін.

30

Pang, Guo Li, Dan Qi Chen, and Meng Huang. "Research on Building Earthquake Disaster Simulation." Advanced Materials Research 791-793 (September 2013): 1228–31. http://dx.doi.org/10.4028/www.scientific.net/amr.791-793.1228.

Повний текст джерела

Анотація:

In this paper, we present a building earthquake disaster simulation system. The system can estimate the destruction of buildings by different earthquakes, and analyze the quake-proof ability of different buildings. Moreover, based on the multi-input method of certain dynamical analysis, the system uses 3D, GIS, and VS.NET, and implements a building earthquake disaster simulation platform, which can present the destroyed results visually.

Стилі APA, Harvard, Vancouver, ISO та ін.

31

Heimann, F. U. M., D. Rickenmann, M. Böckli, A. Badoux, J. M. Turowski, and J. W. Kirchner. "Calculation of bedload transport in Swiss mountain rivers using the model sedFlow: proof of concept." Earth Surface Dynamics 3, no. 1 (January 12, 2015): 35–54. http://dx.doi.org/10.5194/esurf-3-35-2015.

Повний текст джерела

Анотація:

Abstract. Fully validated numerical models specifically designed for simulating bedload transport dynamics in mountain streams are rare. In this study, the recently developed modelling tool sedFlow has been applied to simulate bedload transport in the Swiss mountain rivers Kleine Emme and Brenno. It is shown that sedFlow can be used to successfully reproduce observations from historic bedload transport events with plausible parameter set-ups, meaning that calibration parameters are only varied within ranges of uncertainty that have been pre-determined either by previous research or by field observations in the simulated study reaches. In the Brenno river, the spatial distribution of total transport volumes has been reproduced with a Nash–Sutcliffe goodness of fit of 0.733; this relatively low value is partially due to anthropogenic extraction of sediment that was not considered. In the Kleine Emme river, the spatial distribution of total transport volumes has been reproduced with a goodness of fit of 0.949. The simulation results shed light on the difficulties that arise with traditional flow-resistance estimation methods when macro-roughness is present. In addition, our results demonstrate that greatly simplified hydraulic routing schemes, such as kinematic wave or uniform discharge approaches, are probably sufficient for a good representation of bedload transport processes in reach-scale simulations of steep mountain streams. The influence of different parameters on simulation results is semi-quantitatively evaluated in a simple sensitivity study. This proof-of-concept study demonstrates the usefulness of sedFlow for a range of practical applications in alpine mountain streams.

Стилі APA, Harvard, Vancouver, ISO та ін.

32

Mortici, Cristinel. "The proof of Muqattash–Yahdi conjecture." Mathematical and Computer Modelling 51, no. 9-10 (May 2010): 1154–59. http://dx.doi.org/10.1016/j.mcm.2009.12.030.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

33

Zhu, Zhi, Yonglin Lei, and Yifan Zhu. "Model Driven Combat Effectiveness Simulation Systems Engineering." Defence Science Journal 70, no. 1 (February 10, 2020): 54–59. http://dx.doi.org/10.14429/dsj.70.12777.

Повний текст джерела

Анотація:

Model-driven engineering has become popular in the combat effectiveness simulation systems engineering during these last years. It allows to systematically develop a simulation model in a composable way. However, implementing a conceptual model is really a complex and costly job if this is not guided under a well-established framework. Hence this study attempts to explore methodologies for engineering the development of simulation models. For this purpose, we define an ontological metamodelling framework. This framework starts with ontology-aware system conceptual descriptions, and then refines and transforms them toward system models until they reach final executable implementations. As a proof of concept, we identify a set of ontology-aware modelling frameworks in combat systems specification, then an underwater targets search scenario is presented as a motivating example for running simulations and results can be used as a reference for decision-making behaviors.

Стилі APA, Harvard, Vancouver, ISO та ін.

34

Dieker, A. B., and M. Mandjes. "ON SPECTRAL SIMULATION OF FRACTIONAL BROWNIAN MOTION." Probability in the Engineering and Informational Sciences 17, no. 3 (June 6, 2003): 417–34. http://dx.doi.org/10.1017/s0269964803173081.

Повний текст джерела

Анотація:

This article focuses on simulating fractional Brownian motion (fBm). Despite the availability of several exact simulation methods, attention has been paid to approximate simulation (i.e., the output is approximately fBm), particularly because of possible time savings. In this article, we study the class of approximate methods that are based on the spectral properties of fBm's stationary incremental process, usually called fractional Gaussian noise (fGn). The main contribution is a proof of asymptotical exactness (in a sense that is made precise) of these spectral methods. Moreover, we establish the connection between the spectral simulation approach and a widely used method, originally proposed by Paxson, that lacked a formal mathematical justification. The insights enable us to evaluate the Paxson method in more detail. It is also shown that spectral simulation is related to the fastest known exact method.

Стилі APA, Harvard, Vancouver, ISO та ін.

35

Liu, Yu, Zhi Yu Wen, Li Chen, and Hong Yun Yang. "Design and Simulation of a Capacitive Biaxial Microaccelerometer." Key Engineering Materials 503 (February 2012): 194–98. http://dx.doi.org/10.4028/www.scientific.net/kem.503.194.

Повний текст джерела

Анотація:

This paper presents a capacitive biaxial microaccelerometer with a single proof mass. The theoretical analysis results are conﬁrmed by ﬁnite element analysis. The experimental results indicate the biaxial accelerometer with uniform axial sensitivities, good linearity and high cross-axis sensitivity immunity to the z-axis input.

Стилі APA, Harvard, Vancouver, ISO та ін.

36

Lu, Dawei, Nanyang Xu, Boruo Xu, Zhaokai Li, Hongwei Chen, Xinhua Peng, Ruixue Xu, and Jiangfeng Du. "Experimental study of quantum simulation for quantum chemistry with a nuclear magnetic resonance simulator." Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 370, no. 1976 (October 13, 2012): 4734–47. http://dx.doi.org/10.1098/rsta.2011.0360.

Повний текст джерела

Анотація:

Quantum computers have been proved to be able to mimic quantum systems efficiently in polynomial time. Quantum chemistry problems, such as static molecular energy calculations and dynamical chemical reaction simulations, become very intractable on classical computers with scaling up of the system. Therefore, quantum simulation is a feasible and effective approach to tackle quantum chemistry problems. Proof-of-principle experiments have been implemented on the calculation of the hydrogen molecular energies and one-dimensional chemical isomerization reaction dynamics using nuclear magnetic resonance systems. We conclude that quantum simulation will surpass classical computers for quantum chemistry in the near future.

Стилі APA, Harvard, Vancouver, ISO та ін.

37

Wang, Zhong Yi, Jia Han, Xu Yang, and Tao Sun. "Numerical Simulation and Experimental Research on a Splash-Proof Water Injector." Advanced Materials Research 291-294 (July 2011): 2866–70. http://dx.doi.org/10.4028/www.scientific.net/amr.291-294.2866.

Повний текст джерела

Анотація:

In this thesis, a model of water injector is established, which can prevent water from splashing when high-velocity flow pours into a container. With the periodic boundary, the 1/18 calculation domain model is built. Then two-phase flow numerical simulation research is done on the device with the steady VOF model. The influencing factors of water injector's performance and the variation laws under different working conditions are obtained. The reliability of the results is improved by comparing the results from different calculation methods with that from steady-state VOF method. And through the experimental researches on the splash-proof water injector, the accuracy of the numerical simulation results is validated.

Стилі APA, Harvard, Vancouver, ISO та ін.

38

Long, Ri Sheng, Zi Sheng Lian, Shao Ni Sun, and Qi Liang Wang. "Flow Field Simulation in Water Washing Tank of Explosion-Proof Diesel." Advanced Materials Research 989-994 (July 2014): 3456–59. http://dx.doi.org/10.4028/www.scientific.net/amr.989-994.3456.

Повний текст джерела

Анотація:

In order to improve the cooling & purifying effect of exhaust, reducing the water-jetting phenomenon during working time, the waste-gas flow field simulation in water-washing tank of Explosion-Proof Diesel (EPD) was conducted through ANSYSCFX/Fluent. The results revealed the inner flow condition and outlet temperature of emissions in water-washing tank. It provided a reference for the future design and optimization of the water-washing tank of EPD.

Стилі APA, Harvard, Vancouver, ISO та ін.

39

Zid, Youssef, Sonia ZaibiAmmar, and Ridha Bouallegue. "Joint network/channel decoding algorithm for wireless networks and proof simulation." International Journal of Distributed and Parallel systems 4, no. 1 (January 31, 2013): 33–39. http://dx.doi.org/10.5121/ijdps.2013.4103.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

40

Britz, D. "Consistency proof of Feldberg's simple BDF start in electrochemical digital simulation." Journal of Electroanalytical Chemistry 515, no. 1-2 (November 2001): 1–7. http://dx.doi.org/10.1016/s0022-0728(01)00641-6.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Shen, Wei, and Qingyun Wang. "Construction and simulation of explosion-proof electric proportional pump for mine." IOP Conference Series: Earth and Environmental Science 300 (August 9, 2019): 022008. http://dx.doi.org/10.1088/1755-1315/300/2/022008.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

42

Himmelhuber, Roland, Oscar D. Herrera, Ram Voorakaranam, Li Li, Adam M. Jones, Robert A. Norwood, Jingdong Luo, Alex K. Y. Jen, and Nasser Peyghambarian. "A Silicon-Polymer Hybrid Modulator—Design, Simulation and Proof of Principle." Journal of Lightwave Technology 31, no. 24 (December 2013): 4067–72. http://dx.doi.org/10.1109/jlt.2013.2284547.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

43

Van Cauwenberge, David J., Laurien A. Vandewalle, Pieter A. Reyniers, Kevin M. Van Geem, Guy B. Marin, and Jens Floré. "Periodic reactive flow simulation: Proof of concept for steam cracking coils." AIChE Journal 63, no. 5 (October 19, 2016): 1715–26. http://dx.doi.org/10.1002/aic.15530.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

44

Wang, Yunyi, Zhaoli Wang, Xue Zhang, Min Wang, and Jun Li. "CFD simulation of naked flame manikin tests of fire proof garments." Fire Safety Journal 71 (January 2015): 187–93. http://dx.doi.org/10.1016/j.firesaf.2014.11.020.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

45

Martynenko, S. I. "About convergence proof of robust multigrid technique." Mathematical Models and Computer Simulations 3, no. 3 (May 25, 2011): 333–45. http://dx.doi.org/10.1134/s2070048211030082.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

46

Wang, Hai, and Xiao Pin Xia. "Simulation of Manipulator with Flexible Joint." Applied Mechanics and Materials 325-326 (June 2013): 999–1003. http://dx.doi.org/10.4028/www.scientific.net/amm.325-326.999.

Повний текст джерела

Анотація:

Joint flexibility is the key factor during dynamic control of robot manipulator. Accurate dynamic model is the fundamental of manipulator system design, analysis and control. This paper adopts Lagrange method to accomplish two degrees freedom manipulator modeling, and then design Backstepping control law according to a single-link manipulator. For the above control law, the proof of the Lyapunov stability is given and simulations are done. The simulated result suggested that the static error is decreased.

Стилі APA, Harvard, Vancouver, ISO та ін.

47

Lertxundi, Unai, Jorge Aramburu, Julio Ortega, Macarena Rodríguez-Fraile, Bruno Sangro, José Ignacio Bilbao, and Raúl Antón. "CFD Simulations of Radioembolization: A Proof-of-Concept Study on the Impact of the Hepatic Artery Tree Truncation." Mathematics 9, no. 8 (April 12, 2021): 839. http://dx.doi.org/10.3390/math9080839.

Повний текст джерела

Анотація:

Radioembolization (RE) is a treatment for patients with liver cancer, one of the leading cause of cancer-related deaths worldwide. RE consists of the transcatheter intraarterial infusion of radioactive microspheres, which are injected at the hepatic artery level and are transported in the bloodstream, aiming to target tumors and spare healthy liver parenchyma. In paving the way towards a computer platform that allows for a treatment planning based on computational fluid dynamics (CFD) simulations, the current simulation (model preprocess, model solving, model postprocess) times (of the order of days) make the CFD-based assessment non-viable. One of the approaches to reduce the simulation time includes the reduction in size of the simulated truncated hepatic artery. In this study, we analyze for three patient-specific hepatic arteries the impact of reducing the geometry of the hepatic artery on the simulation time. Results show that geometries can be efficiently shortened without impacting greatly on the microsphere distribution.

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Zhou, Kun. "Monte Carlo simulation for soot dynamics." Thermal Science 16, no. 5 (2012): 1391–94. http://dx.doi.org/10.2298/tsci1205391z.

Повний текст джерела

Анотація:

A new Monte Carlo method termed Comb-like frame Monte Carlo is developed to simulate the soot dynamics. Detailed stochastic error analysis is provided. Comb-like frame Monte Carlo is coupled with the gas phase solver Chemkin II to simulate soot formation in a 1-D premixed burner stabilized flame. The simulated soot number density, volume fraction, and particle size distribution all agree well with the measurement available in literature. The origin of the bimodal distribution of particle size distribution is revealed with quantitative proof.

Стилі APA, Harvard, Vancouver, ISO та ін.

49

STEWART, IAN. "AN OPTIMAL LIFTING THEOREM FOR COUPLED CELL NETWORKS." International Journal of Bifurcation and Chaos 21, no. 09 (September 2011): 2481–87. http://dx.doi.org/10.1142/s0218127411029872.

Повний текст джерела

Анотація:

The multiarrow formalism for coupled cell networks permits multiple arrows and self-loops. The Lifting Theorem states that any such network is a quotient of a network in which all arrows are single and self-loops do not occur. Previous proofs are inductive, and give no useful estimate of the minimal size of the lift. We give a noninductive proof of the Lifting Theorem, and identify the number of cells in the smallest possible lift. We interpret this construction in terms of the type matrix of the network, which encodes its topology and labeling.

Стилі APA, Harvard, Vancouver, ISO та ін.

50

Xiang, Fei Fei, Xue Jun Chen, Hua Gang Sun, and Hong Wei Lou. "Dynamics Simulation of Cannon Based on RecurDyn." Applied Mechanics and Materials 347-350 (August 2013): 3523–26. http://dx.doi.org/10.4028/www.scientific.net/amm.347-350.3523.

Повний текст джерела

Анотація:

The cannon can not driving in line when tire blow out, the distance of sideslip affects the safety of cannon. To solve this problem we design a safe explosion-proof tire internal supporter tire. The simulation model of cannon established by RecurDyn, compared the ordinary pneumatic tire and inner support when cannon equip different tire, we get the cannon in the process of driving dynamics characteristic, it provides theory for the internal support tire equipping.

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!