Results of experimental investigations of aerodynamic characteristics of a sharp cone aimed at creating a validation basis for testing computer programs and models

Συγγραφείς: Bosnyakov, S. M.^Aff1, Glazkov, S. A.^{Aff1, IDS0869864324050019_cor1}, Gorbushin, A. R.^{Aff1, IDS0869864324050019_cor2}, Gusev, D. Yu.^Aff1, Klemeshova, M. N.^Aff1, Krapivina, E. A.^Aff1, Mikhailov, S. V.^Aff1, Semenov, A. V.^Aff1, Shvalev, Yu. G.^Aff1

Πηγή: Thermophysics and Aeromechanics. 31(5):915-928

Experimental validation of clock synchronization algorithms / Daniel L. Palumbo, R. Lynn Graham.

Συγγραφείς: Palumbo, Daniel L., author

Θεματικοί όροι: Proving., Computer systems programs., Data processing., Synchronization., Electronic data processing -- Distributed processing., Computer programs -- Validation., Computer programs -- Verification., Electronic data processing -- Distributed processing., Real-time data processing., Synchronization.

Διαθέσιμο Online: https://purl.fdlp.gov/GPO/gpo173720
https://ntrs.nasa.gov/api/citations/19920018346/downloads/19920018346.pdf

Mission driven scene understanding: candidate model training and validation / by Arnold Tunick.

Συγγραφείς: Tunick, Arnold

Θεματικοί όροι: Context-aware computing., Photography, Military -- Computer programs., Pattern recognition systems., Optical data processing., Content-based image retrieval., Artificial intelligence -- Military applications.

Διαθέσιμο Online: https://purl.fdlp.gov/GPO/gpo124985
https://www.arl.army.mil/arlreports/2016/ARL-TN-0781.pdf
https://catalog.gpo.gov/fdlpdir/locate.jsp?ItemNumber=0324-A-03&SYS=001103807

Validation and modification of the 4SIGHT computer program / Kenneth A. Snyder.

Συγγραφείς: Snyder, Kenneth A.

Διαθέσιμο Online: https://purl.fdlp.gov/GPO/gpo95601
https://doi.org/10.6028/NIST.IR.6747
https://www.govinfo.gov/content/pkg/GOVPUB-C13-1eac22770b97504f6f4ca33333e76b96/pdf/GOVPUB-C13-1eac22770b97504f6f4ca33333e76b96.pdf

Security content automation protocol (SCAP) version 1.2 validation program test requirements : / John F. Banghart.

Θεματικοί όροι: Computer systems technology.

Διαθέσιμο Online: https://purl.fdlp.gov/GPO/gpo101179
https://doi.org/10.6028/NIST.IR.7511
https://www.govinfo.gov/content/pkg/GOVPUB-C13-9ecd8eae582935c93d7f410e955dabb6/pdf/GOVPUB-C13-9ecd8eae582935c93d7f410e955dabb6.pdf

SootImage: An image recreation, post-processing validation procedure for sooting axisymmetric flames

Συγγραφείς: Chernov, V. ^{a, ⁎}, Escudero, F. ^b, Cruz, J.J. ^{c, b}, Eaves, N.A. ^d, Fuentes, A. ^b

Πηγή: In Computer Physics Communications July 2024 300

Verification and validation of the open-source plasma fluid code: Zapdos

Συγγραφείς: DeChant, Corey ^{a, ⁎}, Icenhour, Casey ^{a, b}, Keniley, Shane ^c, Gall, Grayson ^a, Lindsay, Alexander ^b, Curreli, Davide ^c, Shannon, Steven ^a

Πηγή: In Computer Physics Communications October 2023 291

High-fidelity numerical wave tank verification & validation study : wave generation through paddle motion : preprint / T.T. Tran [and eight others].

Συγγραφείς: Tran, T. T., author

Θεματικοί όροι: Conference papers and proceedings., Water waves -- Computer simulation.

Διαθέσιμο Online: https://purl.fdlp.gov/GPO/gpo258701
https://www.nlr.gov/docs/fy25osti/90950.pdf

Independent verification and validation (computer programs)

Συγγραφείς: Krauskopf, R., Rash, F.

Πηγή: IEEE Potentials Potentials, IEEE. 9(2):12-14 Apr, 1990

Introduction to Machine Learning

Πηγή: Machine Learning for Civil and Environmental Engineers. Apr 04, 2025

TRACE VVER-1000/V-320 model cross-code validation / prepared by S. Iegan [and three others].

Συγγραφείς: Iegan, S., author

Θεματικοί όροι: Technical reports., Pressurized water reactors -- Loss of coolant -- Computer simulation., Nuclear power plants -- Accidents -- Computer simulation., Nuclear reactors -- Thermodynamics., Thermal hydraulics., Nuclear power plants -- Design and construction. -- United States, Nuclear power plants.

Διαθέσιμο Online: https://purl.fdlp.gov/GPO/gpo160054
https://www.nrc.gov/docs/ML2122/ML21225A613.pdf

TRACE VVER-440/V-213 model cross-code validation / prepared by S. Iegan [and three others].

Συγγραφείς: Iegan, S., author

Θεματικοί όροι: Technical reports., Pressurized water reactors -- Loss of coolant -- Computer simulation., Nuclear power plants -- Accidents -- Computer simulation., Nuclear reactors -- Thermodynamics., Thermal hydraulics., Nuclear power plants -- Design and construction. -- United States, Nuclear power plants.

Διαθέσιμο Online: https://purl.fdlp.gov/GPO/gpo157554
https://www.nrc.gov/docs/ML2109/ML21090A326.pdf

Computer Science and Technology: Validation, Verification, and Testing for the Individual Programmer.

Συγγραφείς: Branstad, Martha A., National Bureau of Standards (DOC), Washington, DC. Inst. for Computer Sciences and Technology.

Peer Reviewed: N

Page Count: 26

Descriptors: Computer Programs, Design, Evaluation Methods, Evaluation Needs, Formative Evaluation, Guidelines, Program Development, Program Evaluation, Program Validation, Programing, Testing

Γεωγραφικοί όροι: U.S.; District of Columbia

Journal Code: RIEFEB1981

Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V.

Συγγραφείς: Li, Yiwei, Yin, Liangze, Dong, Wei, Liu, Jiaxin, Hu, Yanfeng, Li, Shanshan

Πηγή: ICSE: International Conference on Software Engineering; 2025, p2261-2272, 12p

Θεματικοί όροι: Software verification, Compilers (Computer programs), Computer software, Reduced instruction set computers, Software validation, C (Computer program language)

A procedure for PLC programs validation

Συγγραφείς: Gergely, E. I., Popentiu-Vladicescu, Fl., Madsen, H., Mang, G.E., Nagy, Z. T., Spoiala, D.

Πηγή: 2009 3rd International Workshop on Soft Computing Applications Soft Computing Applications, 2009. SOFA '09. 3rd International Workshop on. :171-176 Jul, 2009

Relation: 2009 3rd International Workshop on Soft Computing Applications (SOFA)

Comparisons of Asphalt Pavement Structure Interlayer Bonding Algorithms for Typical Computer Programs

Συγγραφείς: Babiker, Lana Elabbas Abdelhaliem^{Aff1, Aff2, Aff3}, Jiang, Xin^{Aff1, Aff2, Aff3, IDs42947025006639_cor1}, Zhang, Mian^{Aff1, Aff2, Aff3}, Cui, Canyang^{Aff1, Aff2, Aff3}, Lu, Yangchen^{Aff1, Aff2, Aff3}, Qiu, Yanjun^{Aff1, Aff2, Aff3}

Πηγή: International Journal of Pavement Research and Technology. :1-19

An Innovative Heuristic to Detect Special States in Concurrent Software Systems.

Συγγραφείς: Pira, Einollah, Rouhi, Alireza

Πηγή: Quality & Reliability Engineering International; Dec2025, Vol. 41 Issue 8, p3686-3697, 12p

Θεματικοί όροι: Heuristic, Verification of computer systems, Software development tools, Computer performance, State-space methods, Software validation, Parallel programs (Computer programs)

Integration and validation of the DEROB and PASOLE computer programs for the simulation of passive solar heating and cooling of buildings. Final report

Συνεισφορές: Arumi-Noe, F

Περιγραφή αρχείου: Medium: ED; Size: Pages: 4

Σύνδεσμος πρόσβασης: http://www.osti.gov/scitech/servlets/purl/6825343

Numerical validation of selected computer programs in nonlinear analysis of steel frame exposed to fire

Συγγραφείς: Maślak, Mariusz, primary, Pazdanowski, Michał, additional, Woźniczka, Piotr, additional

Πηγή: 2018/01/01

Σύνδεσμος πρόσβασης: https://aip.scitation.org/doi/pdf/10.1063/1.5019160

Validation of computer programs in geotechnical design

Συγγραφείς: Bond, Andrew, primary

Πηγή: Geotechnical Engineering for Transportation Infrastructure. 2017/11/22