Academic literature on the topic 'Finite differences Computer programs'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Finite differences Computer programs.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Finite differences Computer programs"
Vafidis, A., F. Abramovici, and E. R. Kanasewich. "Elastic wave propagation using fully vectorized high order finite‐difference algorithms." GEOPHYSICS 57, no. 2 (February 1992): 218–32. http://dx.doi.org/10.1190/1.1443235.
Full textSmall, Gregory E., and Sidney H. Simmonds. "Spreadsheet solutions of elastic plate–beam problems." Canadian Journal of Civil Engineering 17, no. 6 (December 1, 1990): 931–39. http://dx.doi.org/10.1139/l90-105.
Full textThomas, B. G., and B. Ho. "Spread Sheet Model of Continuous Casting." Journal of Engineering for Industry 118, no. 1 (February 1, 1996): 37–44. http://dx.doi.org/10.1115/1.2803646.
Full textHorstmann, Martin, Alexander T. Topham, Petra Stamm, Sebastian Kruppert, John K. Colbourne, Ralph Tollrian, and Linda C. Weiss. "Scan, extract, wrap, compute—a 3D method to analyse morphological shape differences." PeerJ 6 (June 8, 2018): e4861. http://dx.doi.org/10.7717/peerj.4861.
Full textNazaruddin, N., and Richard Siallagan. "Software Engineering Development of Finite Element Method Programming Applications in 2D Frame Structures Using Python Programs." Journal of Physics: Conference Series 2049, no. 1 (October 1, 2021): 012031. http://dx.doi.org/10.1088/1742-6596/2049/1/012031.
Full textLuo, Zhizhong. "Computation of Two-Dimensional Poisson Equation Using the Third-Order Discrete Scheme of Finite Difference Method Based on Node Set Vector." Journal of Physics: Conference Series 2381, no. 1 (December 1, 2022): 012039. http://dx.doi.org/10.1088/1742-6596/2381/1/012039.
Full textMISZCZAK, Andrzej, and Krzysztof WIERZCHOLSKI. "ANALYSIS OF THE VALUES OF HYDRODYNAMIC PRESSURE AND LOAD CARRYING CAPACITIES FOR VARIOUS METHODS OF SOLVING A REYNOLDS TYPE EQUATION." Tribologia 280, no. 4 (August 1, 2018): 55–62. http://dx.doi.org/10.5604/01.3001.0012.7532.
Full textHadim, A., A. T. Chang, A. Chu, and A. Yskamp. "An Interfacing Software Package for Thermal Analysis: Application to Microelectronics." Journal of Electronic Packaging 111, no. 1 (March 1, 1989): 54–60. http://dx.doi.org/10.1115/1.3226509.
Full textHarutyunyan, Robert. "Computer Modeling and Optimization of Soil Thawing Using Microwave Energy." Известия высших учебных заведений. Электромеханика 63, no. 6 (2020): 37–43. http://dx.doi.org/10.17213/0136-3360-2020-6-37-43.
Full textWulandari, Tika Ermita. "Prediksi Penurunan Konsolidasi Menggunakan Preloading dan Prefabricated Vertical Drain dengan Software Metode Elemen Hingga." JOURNAL OF CIVIL ENGINEERING BUILDING AND TRANSPORTATION 5, no. 2 (September 24, 2021): 99–108. http://dx.doi.org/10.31289/jcebt.v5i2.5844.
Full textDissertations / Theses on the topic "Finite differences Computer programs"
Ampadu, Ebenezer. "Implementation of some finite difference methods for the pricing of derivatives using C++ programming." Link to electronic thesis, 2007. http://www.wpi.edu/Pubs/ETD/Available/etd-051807-164436/.
Full textBodden, Eric. "Verifying finite-state properties of large-scale programs." Thesis, McGill University, 2010. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=86909.
Full textIn this dissertation we explain the design and implementation of Clara, a framework for specifying and verifying finite-state properties of large-scale programs. With Clara, programmers specify finite-state properties together with runtime monitors, using a syntactic extension to the aspect-oriented programming language AspectJ. Clara then uses a sequence of three increasingly detailed static analyses to determine if the program satisfies the finite-state properties, i.e., is free of property violations.
Clara produces a list of program points at which the program may violate the properties, ranked by a confidence value. If violations are possible, Clara also instruments the program with the supplied runtime monitor, which will capture property violations when the program executes. Due to its static analyses, Clara can omit the instrumentation at program locations which the analyses proved safe, and so optimize the instrumented program. When much instrumentation remains, Clara partitions the instrumentation into subsets, so that one can distribute multiple partially instrumented program versions that each run with a low overhead.
We validated the approach by applying Clara to finite-state properties denoted in multiple formalisms over several large-scale Java programs. Clara proved that most of the programs fulfill our example properties. For most other programs, Clara could remove the monitoring overhead to below 10%. We also found multiple property violations by manually inspecting the top entries in Clara's ranked result list.
Les concepteurs des différentes composantes logicielles peuvent utiliser les propriétés des automates finis pour fixer les spécifications de l'interface comportementale qui contrôleront les règles de programmations définissant l'utilisation des composantes. Ceci permet aux utilisateurs de ces composantes de vérifier le respect de ses règles par leurs codes sources, à la fois lors d'une analyse statique qu'à l'exécution.
Dans cette dissertation, nous montrerons la conception de Clara, une structure qui permet de spécifier et de vérifier les propriétés des automates finis dans des programmes étendus, puis expliquerons son implantation. Le programmeur, à l'aide de Clara, peut définir les propriétés des automates finis en complément aux processus de vérification à l'exécution, en utilisant une extension de la syntaxe d'AspectJ, un langage de programmation orienté aspect. Clara utilise alors, en séquence, trois analyses statiques de précision croissante pour déterminer si le programme respecte les propriétés des automates finis.
Clara produit une liste des positions dans le code source où il y a risque de violation de ces «propriétés», en ordre décroissant de certitude d'une violation. Quand cela est possible, Clara ajoute au programme des processus de vérification permettant d'étudier la violation de «propriétés» lors de son exécution. Grâce à son analyse statique, Clara n'ajoute pas au code ces processus dans les portions de code qui n'ont pas la possibilité de violer les propriétés des automates finis, ce qui limite les ralentissements dus aux processus de vérification. Lorsque ses ajouts restent considérables, Clara organise les processus de vérification à l'exécution en sous-groupe, de sorte qu'il soit possible de distribuer différentes versions du programme contenant seulement une partie de ceux-ci, limitant ainsi l'utilisation des ressources système à l'exécution.
Nous avons validé cette approche en soumettant à Clara les propriétés des automates finis sous différents modèles à appliquer sur différents programmes Java. Clara a permis de prouver que la plupart de ces programmes respectaient déjà les propriétés définies. Dans les autres cas, Clara a pu réduire le coût des processus de vérification à moins de 10%. De plus, nous avons pu localiser de nombreuses violations de propriété manuellement, en inspectant les entrées en importance dans la liste produite par Clara.
DuVarney, Daniel C. "Abstraction-Based Generation of Finite State Models from C Programs." NCSU, 2002. http://www.lib.ncsu.edu/theses/available/etd-20020328-101420.
Full textDaniel C. DuVarney
PhD Dissertation submitted to the Faculty of the North Carolina State University in partial fulfillment of the requirements for the degree of
PhD
in
Computer Science
Approved
S. Purushothaman Iyer, Chair
W. Rance Cleaveland
K.C. Tai
John W. Baugh
January 22, 2002
Raleigh, North Carolina
Abstract
Model checking is a major advancement in the quest forpractical automatic verification methods for computer systems, and has been effectively used to discoverflaws in real-world hardware systems. Unfortunately, applying model-checking techniques to software systems has proved to be more difficult, due to the large number of states and irregular transitions of such systems. One promising method for generating reasonably-sized models from programs is the use of data abstraction, in which the program data is mapped from a large set of possible values to a much smaller set of abstract values. This thesis develops a method which, given a program in the C language and an abstraction mapping, allows the automatic construction of an abstract labeled transition system (LTS), which is much smaller than the concrete LTS (the LTS which would be generated without the benefit of abstraction). The method is shown to be sound in the sense that if a program is well-behaved in its use of pointers, then any linear temporal logic formula which holds true for the corresponding abstract LTS will also hold true for the concrete LTS. Furthermore, if a design exists in the form of a transition system, then the abstract LTS can be checked against the design for bisimilarity. Bisimilarity ensures that the program is a faithful implementation ofthe design. A suite of software tools has been implemented based upon the theory. These tools interface with the Concurrency Workbench, a model checking system. A case study is presented which shows the practicality of this technique for verifying real-world C programs.
Werpers, Jonatan. "Numerical simulation of solitons in the nerve axon using finite differences." Thesis, Uppsala universitet, Avdelningen för beräkningsvetenskap, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-234383.
Full textKelley, Helen Marie, and University of Lethbridge Faculty of Arts and Science. "The importance of individual differences in developing computer training programs for end users." Thesis, Lethbridge, Alta. : University of Lethbridge, Faculty of Arts and Science, 1994, 1994. http://hdl.handle.net/10133/55.
Full textx, 99 leaves : ill. ; 28 cm.
Brown, Steven Andrew. "Development of a coupled finite element - boundary element program for a microcomputer." Thesis, Virginia Tech, 1985. http://hdl.handle.net/10919/45713.
Full textMaster of Science
Kanellopoulos, Vassilios N. "Vectorial finite element analysis of E-plane waveguide junctions." Thesis, McGill University, 1987. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=64027.
Full textPester, Matthias. "Visualization Tools for 2D and 3D Finite Element Programs - User's Manual." Universitätsbibliothek Chemnitz, 2006. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200600436.
Full textSharp, Richard Paul. "Computational approaches for diffusive light transport finite-elements, grid adaption, and error estimation /." Columbus, Ohio : Ohio State University, 2006. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1154705561.
Full textMcDavid, Charles Scott. "Weight optimum arch structures." Thesis, Monterey, California : Naval Postgraduate School, 1990. http://handle.dtic.mil/100.2/ADA245954.
Full textThesis Advisor(s): Salinas, David. "December 1990." Description based on title screen as viewed on April 1, 2010. DTIC Identifier(s): Arches, Stress Analysis, Weight, Finite Element Analysis, Computer Programs, Optimization, Theses, Degrees Of Freedom, FORTRAN, Stiffness, Case Studies. Author(s) subject terms: Finite Element Method, Arches, Weight Optimization. Includes bibliographical references (p. 107). Also available in print.
Books on the topic "Finite differences Computer programs"
Prudic, David E. Documentation of a computer program to simulate stream-aquifer relations using a modular, finite-difference, ground-water flow model. Denver, Colo: Dept. of the Interior, U.S. Geological Survey, 1989.
Find full textScott, J. C. A statistical processor for analyzing simulations made using the modular finite-difference ground-water flow model. Oklahoma City, Okla: Dept. of the Interior, U.S. Geological Survey, 1990.
Find full textSathe, Sanjeev. A general-purpose finite-difference code for solving steady-state three-dimensional fluid-flow and heat transfer problems. Monterey, Calif: Naval Postgraduate School, 1991.
Find full textHansen, Arnold J. Modifications to the modular three-dimensional finite-difference ground-water flow model used for the Columbia Plateau regional aquifer-system analysis, Washington, Oregon, and Idaho. Tacoma, Wash: U.S. Dept. of the Interior, U.S. Geological Survey, 1993.
Find full textHansen, Arnold J. Modifications to the modular three-dimensional finite-difference ground-water flow model used for the Columbia Plateau regional aquifer-system analysis, Washington, Oregon, and Idaho. Tacoma, Wash: U.S. Dept. of the Interior, U.S. Geological Survey, 1993.
Find full textHansen, Arnold J. Modifications to the modular three-dimensional finite-difference ground-water flow model used for the Columbia Plateau regional aquifer-system analysis, Washington, Oregon, and Idaho. Tacoma, Wash: U.S. Dept. of the Interior, U.S. Geological Survey, 1993.
Find full textKontis, A. L. Computer program for simulation of variable recharge with the U.S. Geological Survey modular finite-difference ground-water flow model (MODFLOW). Troy, N.Y: U.S. Dept. of the Interior, U.S. Geological Survey, 2001.
Find full textNicCanna, Clodagh. The development of finite difference seismic wave simulators and their implementation using Parallel Virtual Machine (PVM) on a cluster of workstations. Dublin: University College Dublin, 1997.
Find full textHansen, Arnold J. Archiving of source code for the finite-difference flow model and the post-processors and input and output files for the Columbia Plateau regional aquifer system, Washington, Oregon, and Idaho. Tacoma, Wash: U.S. Dept. of the Interior, U.S. Geological Survey, 1993.
Find full textBoyle, Robert J. Grid orthogonality effects on predicted turbine midspan heat transfer and performance. [Washington, DC]: National Aeronautics and Space Administration, 1995.
Find full textBook chapters on the topic "Finite differences Computer programs"
Reece, Gordon. "The THC (Transient Heat Conduction) Computer Program." In Microcomputer Modelling by Finite Differences, 68–83. London: Macmillan Education UK, 1986. http://dx.doi.org/10.1007/978-1-349-09051-8_8.
Full textEslami, M. Reza. "Computer Programs." In Finite Elements Methods in Mechanics, 363–70. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08037-6_17.
Full textLescow, Helmut. "On polynomial-size programs winning finite-state games." In Computer Aided Verification, 239–52. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60045-0_54.
Full textvan der Meyden, Ron. "Finite state implementations of knowledge-based programs." In Lecture Notes in Computer Science, 262–73. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-62034-6_55.
Full textWeickert, Joachim, Martin Welk, and Marco Wickert. "L 2-Stable Nonstandard Finite Differences for Anisotropic Diffusion." In Lecture Notes in Computer Science, 380–91. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38267-3_32.
Full textEsposito, Floriana, Angela Laterza, Donato Malerba, and Giovanni Semeraro. "Locally finite, proper and complete operators for refining Datalog programs." In Lecture Notes in Computer Science, 468–78. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61286-6_171.
Full textSakakibara, Yasubumi. "Development of a Bacteria Computer: From in silico Finite Automata to in vitro and in vivo." In Programs, Proofs, Processes, 362–71. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-13962-8_40.
Full textRodrigues, Vitor Hugo Mickus, Lucas Cavalcante, Maelso Bruno Pereira, Fabio Luporini, István Reguly, Gerard Gorman, and Samuel Xavier de Souza. "GPU Support for Automatic Generation of Finite-Differences Stencil Kernels." In Communications in Computer and Information Science, 230–44. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-41005-6_16.
Full textRasulov, Mahir, E. Ilhan Sahin, and M. Gokhan Soguksu. "Finite Differences Method for the First Order 2-D Partial Equation." In Lecture Notes in Computer Science, 454–62. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41515-9_51.
Full textYang, Yue, and Liang Yu. "On Differences Among Elementary Theories of Finite Levels of Ershov Hierarchies." In Lecture Notes in Computer Science, 765–71. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11750321_73.
Full textConference papers on the topic "Finite differences Computer programs"
Harsokoesoemo, Darmawan, and Gatot Santoso. "Stress Distribution in the Region Around Two Normally Intersecting Pipes due to In-Plane Bending Moments Using Finite Element Method." In ASME 1997 Turbo Asia Conference. American Society of Mechanical Engineers, 1997. http://dx.doi.org/10.1115/97-aa-058.
Full textWang, Feng, Roger Burke, and Alan Yu. "Comparison of Software for Analysis of Risers Tied Back With Pull Tubes." In ASME 2016 35th International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/omae2016-54456.
Full textBrown, Samuel. "Performance comparison of finite‐difference modeling on Cell, FPGA, and multicore computers." In SEG Technical Program Expanded Abstracts 2007. Society of Exploration Geophysicists, 2007. http://dx.doi.org/10.1190/1.2792905.
Full textPao, Y. C., and Erik L. Ritman. "Generalized Algorithms for Interactive Warping Analysis of Porous Cross Sections." In ASME 1999 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1999. http://dx.doi.org/10.1115/detc99/cie-9070.
Full textRamírez, Beatriz Eugenia Grass, Cesar A. Collazos, and Carina Soledad González. "Gender differences in Computing Programs." In Interacción '16: XVII International Conference on Human Computer Interaction. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2998626.2998670.
Full textLee, S. J., M. H. Kim, D. H. Lee, and Y. S. Shin. "The Effects of Tank Sloshing on LNG Vessel Responses." In ASME 2007 26th International Conference on Offshore Mechanics and Arctic Engineering. ASMEDC, 2007. http://dx.doi.org/10.1115/omae2007-29665.
Full textMenter, Uwe W., Thomas Klima, and Heiner Pfost. "Experimental Analysis and Numerical Simulation of the Flow Field in Turbine Scrolls." In ASME 1998 International Gas Turbine and Aeroengine Congress and Exhibition. American Society of Mechanical Engineers, 1998. http://dx.doi.org/10.1115/98-gt-597.
Full textChu, Chunlei, and Paul L. Stoffa. "A pseudospectral‐finite difference hybrid approach for large‐scale seismic modeling and RTM on parallel computers." In SEG Technical Program Expanded Abstracts 2008. Society of Exploration Geophysicists, 2008. http://dx.doi.org/10.1190/1.3059302.
Full textSimon, V. "The Influence of Gear Hobbing on Worm Gear Characteristics." In ASME 2005 International Mechanical Engineering Congress and Exposition. ASMEDC, 2005. http://dx.doi.org/10.1115/imece2005-79517.
Full textZhang, Haibin, Huilong Ren, and Yangshan Dai. "Direct Strength Analysis of Semi-Submersible Platform Structures." In ASME 2004 23rd International Conference on Offshore Mechanics and Arctic Engineering. ASMEDC, 2004. http://dx.doi.org/10.1115/omae2004-51284.
Full textReports on the topic "Finite differences Computer programs"
Cook, W. A. Generalized finite strains, generalized stresses, and a hybrid variational principle for finite-element computer programs using curvilinear coordinates. Office of Scientific and Technical Information (OSTI), April 1989. http://dx.doi.org/10.2172/6288515.
Full textRamakrishnan, Aravind, Ashraf Alrajhi, Egemen Okte, Hasan Ozer, and Imad Al-Qadi. Truck-Platooning Impacts on Flexible Pavements: Experimental and Mechanistic Approaches. Illinois Center for Transportation, November 2021. http://dx.doi.org/10.36501/0197-9191/21-038.
Full textStriuk, Andrii M. Software engineering: first 50 years of formation and development. [б. в.], December 2018. http://dx.doi.org/10.31812/123456789/2880.
Full textDocumentation of a computer program to simulate aquifer-system compaction using the modular finite-difference ground-water flow model. US Geological Survey, 1991. http://dx.doi.org/10.3133/twri06a2.
Full text