Добірка наукової літератури з теми "Finite differences Computer programs"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Finite differences Computer programs".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "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.
Повний текст джерелаSmall, 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.
Повний текст джерелаThomas, 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.
Повний текст джерелаHorstmann, 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.
Повний текст джерелаNazaruddin, 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.
Повний текст джерелаLuo, 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.
Повний текст джерелаMISZCZAK, 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.
Повний текст джерелаHadim, 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.
Повний текст джерелаHarutyunyan, 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.
Повний текст джерелаWulandari, 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.
Повний текст джерелаДисертації з теми "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/.
Повний текст джерелаBodden, 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.
Повний текст джерелаIn 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.
Повний текст джерелаDaniel 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.
Повний текст джерелаKelley, 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.
Повний текст джерелаx, 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.
Повний текст джерелаMaster 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.
Повний текст джерелаPester, 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.
Повний текст джерелаSharp, 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.
Повний текст джерелаMcDavid, Charles Scott. "Weight optimum arch structures." Thesis, Monterey, California : Naval Postgraduate School, 1990. http://handle.dtic.mil/100.2/ADA245954.
Повний текст джерелаThesis 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.
Книги з теми "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.
Знайти повний текст джерелаScott, 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.
Знайти повний текст джерелаSathe, 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.
Знайти повний текст джерелаHansen, 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.
Знайти повний текст джерелаHansen, 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.
Знайти повний текст джерелаHansen, 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.
Знайти повний текст джерелаKontis, 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.
Знайти повний текст джерелаNicCanna, 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.
Знайти повний текст джерелаHansen, 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.
Знайти повний текст джерелаBoyle, Robert J. Grid orthogonality effects on predicted turbine midspan heat transfer and performance. [Washington, DC]: National Aeronautics and Space Administration, 1995.
Знайти повний текст джерелаЧастини книг з теми "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.
Повний текст джерелаEslami, 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.
Повний текст джерелаLescow, 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.
Повний текст джерелаvan 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.
Повний текст джерелаWeickert, 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.
Повний текст джерелаEsposito, 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.
Повний текст джерелаSakakibara, 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.
Повний текст джерелаRodrigues, 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.
Повний текст джерелаRasulov, 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.
Повний текст джерелаYang, 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.
Повний текст джерелаТези доповідей конференцій з теми "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.
Повний текст джерелаWang, 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.
Повний текст джерелаBrown, 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.
Повний текст джерелаPao, 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.
Повний текст джерелаRamí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.
Повний текст джерелаLee, 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.
Повний текст джерелаMenter, 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.
Повний текст джерелаChu, 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.
Повний текст джерелаSimon, 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.
Повний текст джерелаZhang, 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.
Повний текст джерелаЗвіти організацій з теми "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.
Повний текст джерелаRamakrishnan, 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.
Повний текст джерелаStriuk, Andrii M. Software engineering: first 50 years of formation and development. [б. в.], December 2018. http://dx.doi.org/10.31812/123456789/2880.
Повний текст джерелаDocumentation 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.
Повний текст джерела