<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Models, Methods, Software</title>
	<atom:link href="http://danhughes.auditblogs.com/feed/" rel="self" type="application/rss+xml" />
	<link>http://danhughes.auditblogs.com</link>
	<description>by Dan Hughes</description>
	<lastBuildDate>Fri, 20 Nov 2009 09:53:04 +0000</lastBuildDate>
	<generator>http://wordpress.org/?v=2.8.4</generator>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
			<item>
		<title>The CRU Hack Info Dump</title>
		<link>http://danhughes.auditblogs.com/2009/11/20/the-cru-hack-info-dump/</link>
		<comments>http://danhughes.auditblogs.com/2009/11/20/the-cru-hack-info-dump/#comments</comments>
		<pubDate>Fri, 20 Nov 2009 09:53:04 +0000</pubDate>
		<dc:creator>Dan Hughes</dc:creator>
				<category><![CDATA[Calculation Verification]]></category>
		<category><![CDATA[Verification]]></category>

		<guid isPermaLink="false">http://danhughes.auditblogs.com/?p=165</guid>
		<description><![CDATA[A quick look at some of the info provides evidence that an Independent organization to Review and Verify all results, each and every number, that are to be used to set public policy is critically important.
Climate policy remains the sole exception to this world-wide universal standard.
The present system has been fatally compromised by the very [...]]]></description>
			<content:encoded><![CDATA[<p>A quick look at some of the info provides evidence that an Independent organization to Review and Verify <em>all</em> results, each and every number, that are to be used to set public policy is critically important.</p>
<p>Climate policy remains the sole exception to this world-wide universal standard.</p>
<p>The present system has been fatally compromised by the very organizations that resist Independent Review and Verification.</p>
<p> Maybe we&#8217;ll soon see a govrenment-level Carbon Regulatory Agency approach designed and implemented in a progressive country.</p>
]]></content:encoded>
			<wfw:commentRss>http://danhughes.auditblogs.com/2009/11/20/the-cru-hack-info-dump/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>Validation is a Process</title>
		<link>http://danhughes.auditblogs.com/2009/10/09/validation-is-a-process/</link>
		<comments>http://danhughes.auditblogs.com/2009/10/09/validation-is-a-process/#comments</comments>
		<pubDate>Fri, 09 Oct 2009 09:31:02 +0000</pubDate>
		<dc:creator>Dan Hughes</dc:creator>
				<category><![CDATA[GCMs]]></category>
		<category><![CDATA[Model Validation]]></category>
		<category><![CDATA[Validation]]></category>

		<guid isPermaLink="false">http://danhughes.auditblogs.com/?p=162</guid>
		<description><![CDATA[AOLBGCM validation is an ongoing process.
Can&#8217;t ever do too much of it.
]]></description>
			<content:encoded><![CDATA[<p>AOLBGCM validation is an <a href="http://pielkeclimatesci.wordpress.com/2009/10/09/major-issues-with-the-realism-of-the-ipcc-models-reported-by-graeme-stephens-of-colorado-state-university/">ongoing process</a>.<br />
Can&#8217;t ever do too much of it.</p>
]]></content:encoded>
			<wfw:commentRss>http://danhughes.auditblogs.com/2009/10/09/validation-is-a-process/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Tom P. does not meet RealClimate&#8217;s Bona Fides Requirements</title>
		<link>http://danhughes.auditblogs.com/2009/10/05/tom-p-does-not-meet-realclimates-bona-fides-requirements/</link>
		<comments>http://danhughes.auditblogs.com/2009/10/05/tom-p-does-not-meet-realclimates-bona-fides-requirements/#comments</comments>
		<pubDate>Mon, 05 Oct 2009 08:53:19 +0000</pubDate>
		<dc:creator>Dan Hughes</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://danhughes.auditblogs.com/?p=159</guid>
		<description><![CDATA[I made this comment at Climate Audit. I&#8217;ll repeat it here:
The degree of inconsistency that RC exhibits becomes more astounding every day.
How many times have we been told that replication does not require that all the original material be readily available. Indeed, we have been repeatedly lectured that true replication is not obtained if only [...]]]></description>
			<content:encoded><![CDATA[<p>I made <a href="http://www.climateaudit.org/?p=7278#comment-359517">this comment</a> at Climate Audit. I&#8217;ll repeat it here:</p>
<blockquote><p>The degree of inconsistency that RC exhibits becomes more astounding every day.</p>
<p>How many times have we been told that replication does not require that all the original material be readily available. Indeed, we have been repeatedly lectured that true replication is not obtained if only the original material is used. Yet, Tom P. could not have carried out his rapid-response function if Steve had not made all the material available.</p>
<p>By RC&#8217;s usual standards, Tom P.&#8217;s results could have been considered true replication only if he had started from a clean piece of paper, gone out in the field and gathered up some tree rings, properly selected the data to be used for analyses, developed the analysis methods, produced the coding for the solution of the methods, and then carried out the analysis. ( I&#8217;ll let Tom P. skip the Verification and Validation procedures as Climate Science does not do these. )</p>
<p>More and more, it seems to me that RC&#8217;s views are shaped by what is convenient in contrast to what they say is the correct approach.</p>
<p>By the usual RC standards, RC cannot accept Tom P.&#8217;s analyses and conclusions.</p></blockquote>
<p>Thinking about this some more led me to the following:</p>
<p>A list of <em>bona fides</em> required by RC prior to Tom P.</p>
<p>1.  Certified Climatologist</p>
<p>2.  Peer-Reviewed Publications</p>
<p>3.  In only the Properly-Certified Journals</p>
<p>4.  In only those Journals having a High-Impact Factor</p>
<p>5.  Known and verified Educational Pedigree </p>
<p>6.  Comments limited to areas consistent with 5.</p>
<p>7.  Comments of 6 also limited to the extent of 5 at the time of graduation</p>
<p>8.  Replication from a clean slate</p>
<p>9.  No reliance on any aspects of previous work</p>
<p>10. No funding by Big Oil, Big Gas, Big Coal, or any organizations associated with Big Fossil in any way</p>
<p>11.  No previous work experience in any of 10</p>
<p>12.  No funding by &#8220;conservative&#8221; think tanks.</p>
<p>13.  No funding by any think tanks to which 10 gives support</p>
<p>14.  Previous work results are known so that source can be used to dismiss or accept all results</p>
<p>15.  Proper identification so that 14 can be invoked</p>
<p>So far as I know, Tom P.&#8217;s status for any of these 15 items has not been established.</p>
<p>I can reject Tom P.&#8217;s results without even looking at the analyses.</p>
<p>Someone at RC will now label Tom P. for convenience in future discussions.</p>
<p>This is astounding to me. Tom P. meets none of the previously required criteria, and yet NASA&#8217;s Gavin Schmidt has accepted the results of Tom P.&#8217;s black-box analysis. Unquestionably without any provisos whatsoever.</p>
]]></content:encoded>
			<wfw:commentRss>http://danhughes.auditblogs.com/2009/10/05/tom-p-does-not-meet-realclimates-bona-fides-requirements/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>NASA&#8217;s Gavin Schmidt and Penn State&#8217;s Michael Mann are Liars</title>
		<link>http://danhughes.auditblogs.com/2009/10/02/nasas-gavin-schmidt-and-penn-states-michael-mann-are-liars/</link>
		<comments>http://danhughes.auditblogs.com/2009/10/02/nasas-gavin-schmidt-and-penn-states-michael-mann-are-liars/#comments</comments>
		<pubDate>Fri, 02 Oct 2009 06:56:06 +0000</pubDate>
		<dc:creator>Dan Hughes</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://danhughes.auditblogs.com/?p=151</guid>
		<description><![CDATA[Climate Science . . . The Science of Personal Destruction 
In the RealClimate post linked above appears this statement:
&#8220;So along comes Steve McIntyre, self-styled slayer of hockey sticks, who declares without any evidence whatsoever that Briffa didn’t just reprocess the data from the Russians, but instead supposedly picked through it to give him the signal [...]]]></description>
			<content:encoded><![CDATA[<p><a href="http://www.realclimate.org/index.php/archives/2009/09/hey-ya-mal/"><em><strong>Climate Science . . . The Science of Personal Destruction </strong></em></a></p>
<p>In the RealClimate post linked above appears this statement:</p>
<blockquote><p>&#8220;So along comes Steve McIntyre, self-styled slayer of hockey sticks, who declares without any evidence whatsoever that Briffa didn’t just reprocess the data from the Russians, but instead supposedly picked through it to give him the signal he wanted. These allegations have been made without any evidence whatsoever.&#8221;</p></blockquote>
<p>These statements are false. And they are known to be a false by those you made the statements. The statements are lies and the persons who made the statements are liars. If Gavin Schmidt and Michael Mann cannot point to where Steve McIntyre has made these statements, Gavin and Michael are liars.</p>
<p>By this action Schmidt, Mann, and RealClimate have taken the next step and moved to a higher level of promoting dis-information. That is, while always refusing to correct mis-information stated by commenters, and even RealClimate in-line responses, Schmidt and Mann purposefully lie. The purpose being to jump-start the peanut gallery&#8217;s, aided by RealClimate, usual attacks on persons while ignoring the technical issues. The Science of Personal Destruction; invented at RealClimate.</p>
<p>A post and 176 Responses ( and counting ) and not a single error on the part of Steve McIntyre has been identified.  Not a single error !! This is reflective of the way RealClimate has of diverting attention from the real issues. In effect, the entire post hinges on becoming discussions of nothing that the subject of the post has said or done. Yet another naked strawman post. Additionally, the comments, with supporting responses from RealClimate, rapidly deteriorate to nothing more than de-meaning, unfounded attacks on people; shooting the messenger and ignoring the message. </p>
<p>To paraphrase, RealClimate continues to take absolutely no responsibility for the ridiculous fantasies and exaggerations that their supporters broadcast, apparently being happy to bask in their acclaim rather than correct any of the misrepresentations they have engendered.</p>
<p>RealClimate, having been unable to point to any technical errors, have continued the Climate Science policy of the Science of Personal Destruction.</p>
<p>They must continue to feed the small-minded, foul-mouthed labelers such as tamino and dhogaza. It&#8217;s interesting to me that those who chose to label with the most extreme and debasing labels chose also to remain anonymous. The, mostly non-scientists, peanut gallery at RealClimate seems to revel in this race to the bottom, cheering on tamino and dhogaza at every opportunity.</p>
<p>NASA&#8217;s Gavin Schmidt and Penn State&#8217;s Michael Mann are liars.</p>
<p>Gavin Schmidt and Michael Mann lied in the subject post, therefore everything they have written is suspected of being lies.</p>
<p>Climate Science . . . The Science of Personal Destruction </p>
]]></content:encoded>
			<wfw:commentRss>http://danhughes.auditblogs.com/2009/10/02/nasas-gavin-schmidt-and-penn-states-michael-mann-are-liars/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>Independent Verification and Peer Review</title>
		<link>http://danhughes.auditblogs.com/2009/09/28/independent-verification-and-peer-review/</link>
		<comments>http://danhughes.auditblogs.com/2009/09/28/independent-verification-and-peer-review/#comments</comments>
		<pubDate>Mon, 28 Sep 2009 08:35:03 +0000</pubDate>
		<dc:creator>Dan Hughes</dc:creator>
				<category><![CDATA[Calculation Verification]]></category>
		<category><![CDATA[Verification]]></category>

		<guid isPermaLink="false">http://danhughes.auditblogs.com/?p=140</guid>
		<description><![CDATA[Steve McIntyre has discovered and presented yet another problem with a long-term temperature reconstruction: Yamal: A &#8220;Divergence&#8221; Problem. While Steve has named his blog ClimateAudit, in my opinion his work is in fact Independent Verification.
The old, and rapidly becoming tedious, &#8220;Peer Review Publication is Required&#8221; nonsense has already appeared in the comments. Ironically, it seems [...]]]></description>
			<content:encoded><![CDATA[<p>Steve McIntyre has discovered and presented yet another problem with a long-term temperature reconstruction: <a href="http://www.climateaudit.org/?p=7168">Yamal: A &#8220;Divergence&#8221; Problem</a>. While Steve has named his blog ClimateAudit, in my opinion his work is in fact Independent Verification.</p>
<p>The old, and rapidly becoming tedious, &#8220;Peer Review Publication is Required&#8221; nonsense has already appeared in the comments. Ironically, it seems that no one who raises this issue is aware that Steve is in fact discovering problems in peer-reviewed publications.</p>
<p>A very short summary of a major problem area relative to this olde rant follows.</p>
<p><span id="more-140"></span></p>
<p>A proper calculation suitable for archival publication requires that the following be applied prior to submittal of a paper.</p>
<p>Independent Verification of:</p>
<p>1.  The input data.</p>
<p>2.  Correct handling of the data prior to calculations; pre-processing.</p>
<p>3.  The equations to be used in the analyses.</p>
<p>4.  The coding of those equations.</p>
<p>5.  The solution of the equations.</p>
<p>6.  Correct handling of the calculated results; post-processing.</p>
<p>If this procedure is not carried out, the paper has not been peer-reviewed and is not fit for archival publication.</p>
<p>Steve McIntyre provides sufficient information to allow application of the procedure to his work; Independent Verification is attained. Peer-reviewed journals do not require that evidence be presented that the procedure has been applied to submitted papers.</p>
<p>On a related issue that frequently comes up in these Peer-Reviewed Publication rants. High-Impact Factors count for nothing if the papers are not of archival quality. Not to mention that the Impact Factor for a Journal says absolutely nothing about the citation history of any individual paper. And the citation history <em>count</em> of an individual paper says nothing about the nature of the citations; praise or condemnation are both available. </p>
]]></content:encoded>
			<wfw:commentRss>http://danhughes.auditblogs.com/2009/09/28/independent-verification-and-peer-review/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Tip Jar</title>
		<link>http://danhughes.auditblogs.com/2009/09/25/tip-jar-3/</link>
		<comments>http://danhughes.auditblogs.com/2009/09/25/tip-jar-3/#comments</comments>
		<pubDate>Fri, 25 Sep 2009 05:26:49 +0000</pubDate>
		<dc:creator>Dan Hughes</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://danhughes.auditblogs.com/?p=137</guid>
		<description><![CDATA[John A is the site admin (CTO) and Webmaster for this blog, and all of auditblogs.com. After several requests by me he has added his Tip Jar over there to the left.
Please consider dropping a few coins to help with covering his costs and time.
Thanks.
]]></description>
			<content:encoded><![CDATA[<p>John A is the site admin (CTO) and Webmaster for this blog, and all of auditblogs.com. After several requests by me he has added his Tip Jar over there to the left.</p>
<p>Please consider dropping a few coins to help with covering his costs and time.</p>
<p>Thanks.</p>
]]></content:encoded>
			<wfw:commentRss>http://danhughes.auditblogs.com/2009/09/25/tip-jar-3/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>New V&amp;V Book by Pat Roache</title>
		<link>http://danhughes.auditblogs.com/2009/09/24/new-vv-book-by-pat-roache/</link>
		<comments>http://danhughes.auditblogs.com/2009/09/24/new-vv-book-by-pat-roache/#comments</comments>
		<pubDate>Thu, 24 Sep 2009 06:50:24 +0000</pubDate>
		<dc:creator>Dan Hughes</dc:creator>
				<category><![CDATA[Calculation Verification]]></category>
		<category><![CDATA[Code Verification]]></category>
		<category><![CDATA[Model Validation]]></category>
		<category><![CDATA[Numerical methods Verification]]></category>
		<category><![CDATA[Validation]]></category>
		<category><![CDATA[Verification]]></category>

		<guid isPermaLink="false">http://danhughes.auditblogs.com/?p=122</guid>
		<description><![CDATA[I received the following e-mail from Pat Roache regarding his new book about Verification and Validation. He has also made arrangements for reduced prices on two others of his books.
 I am pleased to announce the publication of
&#8220;Fundamentals of Verification and Validation&#8221; by Patrick J. Roache.
 Copyright 2009, ISBN 978-0-93478-12-7. 476 pages, subject index.
  [...]]]></description>
			<content:encoded><![CDATA[<p>I received the following e-mail from Pat Roache regarding his new book about Verification and Validation. He has also made arrangements for reduced prices on two others of his books.</p>
<p> I am pleased to announce the publication of<br />
&#8220;Fundamentals of Verification and Validation&#8221; by Patrick J. Roache.<br />
 Copyright 2009, ISBN 978-0-93478-12-7. 476 pages, subject index.</p>
<p>    The book is the successor to my 1998 book &#8220;Verification and Validation in Computational Science and Engineering.&#8221; About 1/3 of the material is new, including a new Chapter 11 describing the Total Validation Uncertainty approach of ASME ANSI Standard V&amp;V 20 (2009). </p>
<p>    The <a href="http://danhughes.auditblogs.com/files/2009/09/RoacheBook.gif">attached file</a> outlines the new features of the book. A complete Table of Contents, including designators for new and modified Sections, will be found on <a href="http://www.hermosa-pub.com/hermosa/html/books.html">the website</a>.</p>
<p>    The price is the same as the 1998 book, U.S. $85.00 (but shipping charges have increased). The book is available directly from our fulfillment house, BookMasters, by email order to</p>
<p>orders@BookMasters.com </p>
<p>or from Amazon.com <a href="http://www.amazon.com/Fundamentals-Verification-Validation-Patrick-Roache/dp/0913478121/ref=sr_1_7?ie=UTF8&amp;s=books&amp;qid=1253150836&amp;sr=1-7">at the following</a>.<br />
 http://www.amazon.com/Fundamentals-Verification-Validation-Patrick-Roache/dp/0913478121/ref=sr_1_7?ie=UTF8&amp;s=books&amp;qid=1253150836&amp;sr=1-7</p>
<p>    The orders to BookMasters tend to ship faster since they do not run out of stock. Also, wholesale orders can be placed by contacting BookMasters at orders@BookMasters.com.</p>
<p>    I would appreciate it if you would forward this email to any of your colleagues who might be interested.</p>
<p>    Thanks for your consideration.</p>
<p>Respectfully,<br />
    Patrick Roache</p>
<p>p.s.<br />
    If anyone is interested, the 1998 V&amp;V book is on clearance sale for 1/2 price at US $42.50. Available from orders@BookMasters.com or <a href="http://www.amazon.com/Verification-Validation-Computational-Science-Engineering/dp/0913478083/ref=sr_1_4?ie=UTF8&amp;s=books&amp;qid=1253718713&amp;sr=8-4">from Amazon at</a><br />
http://www.amazon.com/Verification-Validation-Computational-Science-Engineering/dp/0913478083/ref=sr_1_4?ie=UTF8&amp;s=books&amp;qid=1253718713&amp;sr=8-4.</p>
<p>    Likewise, the book &#8220;Fundamentals of Computational Fluid Dynamics&#8221; is on clearance sale for 1/2 price at US $37.50. Available from orders@BookMasters.com or <a href="http://www.amazon.com/Fundamentals-Computational-Dynamics-Patrick-Roache/dp/0913478091/ref=sr_1_5?ie=UTF8&amp;s=books&amp;qid=1253718713&amp;sr=8-5">from Amazon at</a><br />
http://www.amazon.com/Fundamentals-Computational-Dynamics-Patrick-Roache/dp/0913478091/ref=sr_1_5?ie=UTF8&amp;s=books&amp;qid=1253718713&amp;sr=8-5</p>
]]></content:encoded>
			<wfw:commentRss>http://danhughes.auditblogs.com/2009/09/24/new-vv-book-by-pat-roache/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>V&amp;V and NNSA Advanced Strategic Computing at LANL</title>
		<link>http://danhughes.auditblogs.com/2009/08/25/vv-and-nnsa-advanced-strategic-computing-at-lanl/</link>
		<comments>http://danhughes.auditblogs.com/2009/08/25/vv-and-nnsa-advanced-strategic-computing-at-lanl/#comments</comments>
		<pubDate>Tue, 25 Aug 2009 12:25:48 +0000</pubDate>
		<dc:creator>Dan Hughes</dc:creator>
				<category><![CDATA[Calculation Verification]]></category>
		<category><![CDATA[Code Verification]]></category>
		<category><![CDATA[MMS]]></category>
		<category><![CDATA[Model Validation]]></category>
		<category><![CDATA[Numerical methods Verification]]></category>
		<category><![CDATA[Validation]]></category>
		<category><![CDATA[Verification]]></category>

		<guid isPermaLink="false">http://danhughes.auditblogs.com/?p=106</guid>
		<description><![CDATA[[Updated September 26]
I think the name of the program originally known as the Advanced Strategic Computing Initiative ( ASCI ) is now known as Advanced Simulation &#38; Computing ( ASC ).
[Updated August 26]
I have uploaded an excellent summary, developed by Los Alamos, of the ASC V&#38;V Program at LANL.  It is here.
A couple of [...]]]></description>
			<content:encoded><![CDATA[<p><strong>[Updated September 26]</strong><br />
I think the name of the program originally known as the Advanced Strategic Computing Initiative ( ASCI ) is now known as Advanced Simulation &amp; Computing ( ASC ).</p>
<p><strong>[Updated August 26]</strong></p>
<p>I have uploaded an excellent summary, developed by Los Alamos, of the ASC V&amp;V Program at LANL.  <a href="http://danhughes.auditblogs.com/files/2009/08/brock.pdf">It is here</a>.</p>
<p>A couple of quotes.</p>
<blockquote><p>Confidence in simulation extrapolation comes via confidence in physics &amp; numerics models, <em>not calibration to experimental data</em>.</p></blockquote>
<blockquote><p>Having “good agreement” between calculations and observations is <strong>not sufficient to establish scientifically credible predictive capability</strong>.</p></blockquote>
<p>More and more it seems that the Climate Change Community remains the only holdout among all compute-intensive enterprises relative to application of rigorous, independent V&amp;V to computer software.</p>
<p><strong>Update</strong><br />
<span id="more-106"></span><br />
It&#8217;s been a while since I looked into the general activities in IV&amp;V in scientific and engineering computing. Today I did a quick search over at www.osti.gov and got some good hits.</p>
<p>But first, relative to the two quotations in the original post, I failed to mention my usual mantra; Verification must always precede Validation. In the absence of Verification, Validation is not possible.</p>
<p>Reviewing today&#8217;s hits indicates to me that IV&amp;V has been established to be a priority of the highest order, as it necessarily should be, in the Advanced Simulation &amp; Computing Program (ASC) work underway at LANL (Los Alamos), LLNL (Livermore), and SNL (Sandia).</p>
<p>This Sandia report <a href="http://prod.sandia.gov/techlib/access-control.cgi/2008/085517.pdf">SAND 2008-5517 (Unlimited Release Printed January 2009)</a> provides an extensive specification for the overall general SQA requirements. So far as I know there is no document of a similar nature for any piece of software in all the Climate Change Community.</p>
<p>This report, <a href="http://library.lanl.gov/cgi-bin/getfile?LA-14379.pdf">Enhanced Verification Test Suite for Physics Simulation Codes ( LA-14379 Issued: September 2008; aka LLNL-TR-411291; aka SAND2008-7813 Unlimited Release Printed April 2009 )</a> is an excellent report on Verification.</p>
<p>The report deals strictly with Verification and reiterates that Verification is:</p>
<blockquote><p><em>Verification</em> deals with mathematical correctness of the numerical algorithms in a code, while <em>Validation</em> deals with physical correctness of a simulation in a regime of interest. This document is about <em>Verification</em>.</p></blockquote>
<p>The report open with this quotation:</p>
<blockquote><p><em>In an age of spreading pseudoscience and anti-rationalism, it behooves those of us who believe in the good of science and engineering to be above reproach whenever possible. Public confidence is further eroded with every error we make… As Robert Laughlin noted in this magazine, ‘there is a serious danger of this power [of simulations] being misused, either by accident or through deliberate deception.’ Our intellectual and moral traditions will be served well by conscientious attention to verification of codes, verification of calculations, and validation, including the attention given to building new codes or modifying existing codes with specific features that enable these activities.</em>  Patrick Roache [Roa04]</p></blockquote>
<p>where [Roa04] is this paper: Roache, P., “Building PDE Codes to be Verifiable and Validatable,” Comput. Sci. Engrng. 6, pp. 30–38 (2004).</p>
<p>The Introduction in this report provides excellent descriptions of the fundamental and critical necessity for Verification and the how-tos for implementing the Verification process. It should be required reading for everyone involved in production of software the results of which have the potential to influence the establishment of policies that affect the health and safety of the public. Reading the Introduction is a good way to get a firm handle on the concepts of Verification.</p>
<p>I would like to put all of the Introduction here, there is much good info in it, but it&#8217;s kind of long. I especially like this:</p>
<blockquote><p><em>What is Verification?</em><br />
Verification is the process of demonstrating that numerical solutions of the discretized algorithms in simulation software are the correct solutions of the corresponding continuum equations. Consequently, verification represents an important aspect of the development, assessment, and application of simulation software for physics and engineering. An essential element of the verification process is the quantitative analysis of simulation code performance on well-defined problems. The outcome of such analyses provides hard evidence of mathematical consistency between the mathematical statements of the physics models and their discrete analogues as implemented with numerical algorithms in the simulation codes.</p></blockquote>
<p>and this part:</p>
<blockquote><p><strong>Code Verification</strong><br />
Verification can be summarized as the analysis of whether <em>the numerical solutions of the discrete algorithms provide accurate solutions of the corresponding continuum equations</em>. Distinct numerical schemes based on the identical continuum equations can produce radically different quantitative (and qualitative) results; therefore, while one may obtain nominally <em>correct</em> solutions of the discretized schemes, those results might be <em>inaccurate</em> solutions of the underlying continuum equations. Consequently, verification analysis constitutes a critically important aspect of the development, assessment, and application of simulation software for physics and engineering. It is important to distinguish between verification for the purpose of proving code correctness, and for providing algorithmic assessment; both activities have high value, but differ in details and tenor. An essential element of any verification process is the quantitative analysis of the simulation code performance on well-defined problems. The outcome of such analyses provides defensible evidence of mathematical consistency between the mathematical statements of the physics models and their discrete analogues as implemented with numerical algorithms in the simulation codes.</p></blockquote>
]]></content:encoded>
			<wfw:commentRss>http://danhughes.auditblogs.com/2009/08/25/vv-and-nnsa-advanced-strategic-computing-at-lanl/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>Verification and Validation are Critically Important</title>
		<link>http://danhughes.auditblogs.com/2009/06/24/verification-and-validation-are-critically-important/</link>
		<comments>http://danhughes.auditblogs.com/2009/06/24/verification-and-validation-are-critically-important/#comments</comments>
		<pubDate>Wed, 24 Jun 2009 06:26:14 +0000</pubDate>
		<dc:creator>Dan Hughes</dc:creator>
				<category><![CDATA[Validation]]></category>
		<category><![CDATA[Verification]]></category>

		<guid isPermaLink="false">http://danhughes.auditblogs.com/?p=102</guid>
		<description><![CDATA[Here and here.
]]></description>
			<content:encoded><![CDATA[<p><a href="http://online.wsj.com/article/SB124576258516441545.html#mod=testMod">Here</a> and <a href="http://danhughes.auditblogs.com/files/2009/06/boeingdelaysnewjetagainwsj.pdf">here</a>.</p>
]]></content:encoded>
			<wfw:commentRss>http://danhughes.auditblogs.com/2009/06/24/verification-and-validation-are-critically-important/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>EPA HQ and Software Quality Assurance</title>
		<link>http://danhughes.auditblogs.com/2009/06/10/epa-hq-and-software-quality-assurance/</link>
		<comments>http://danhughes.auditblogs.com/2009/06/10/epa-hq-and-software-quality-assurance/#comments</comments>
		<pubDate>Wed, 10 Jun 2009 08:28:08 +0000</pubDate>
		<dc:creator>Dan Hughes</dc:creator>
				<category><![CDATA[Calculation Verification]]></category>
		<category><![CDATA[Code Verification]]></category>
		<category><![CDATA[Numerical methods Verification]]></category>
		<category><![CDATA[Verification]]></category>

		<guid isPermaLink="false">http://danhughes.auditblogs.com/?p=93</guid>
		<description><![CDATA[I sent a slightly revised copy of the comment on the Proposed CO2 Ruling, given in this post, to Ms. Lisa jackson, Administrator of EPA.  The letter to Ms. jackson is shown below.  I received a reply from Rona Birnbaum, Chief, Climate Science &#38; Impacts Branch, Climate Change Division. (The actual signing of [...]]]></description>
			<content:encoded><![CDATA[<p>I sent a slightly revised copy of the comment on the Proposed CO2 Ruling, given in <a href="http://danhughes.auditblogs.com/2009/04/26/epa-docket-id-no-epa-hq-oar-2008-0508/">this post</a>, to Ms. Lisa jackson, Administrator of EPA.  The letter to Ms. jackson is shown below.  I received a reply from Rona Birnbaum, Chief, Climate Science &amp; Impacts Branch, Climate Change Division. (The actual signing of the letter was a task delegated to someone whose name I can&#8217;t read.)</p>
<p>As in all previous cases in which I have attempted to convey the critical necessity of Independent Verification and Validation to persons outside the software development community, I failed again.  It is obvious that Ms. jackson, Rona Birnbaum, or whoever read and responded to the letter, have no idea what I&#8217;m talking about.</p>
<p><span id="more-93"></span></p>
<p><strong>Here is my letter to Ms. Jackson:</strong></p>
<p>April 27, 2009</p>
<p>Ms. Lisa Jackson, Administrator<br />
Environmental Protection Agency<br />
Ariel Rios Building<br />
1200 Pennsylvania Avenue NW<br />
Washington, DC 20460.</p>
<p>SUBJECT:  Software Verification and Software Quality Assurance</p>
<p>Dear Ms. Jackson:<br />
I have over 40 years experience in development of mathematical models of physical processes in the multi-phase thermal sciences, analytical and numerical solution methods for these models, and incorporation of these into large, complex computer codes designed for applications to complex engineering problems.  I have developed software with the BASIC, FORTRAN, F77, and F90/F95 computer languages, among others, on machines using the Unix, Windows NT, and Mac OS operating systems.  I have an extensive and continuous peer-reviewed publication and presentation record and have made major contributions to writing computer code manuals.  My experience and expertise have direct relationships to development of almost all engineering and scientific models, methods, and software.</p>
<p>Recently my work has focused on documentation and Verification and Validation of software maintained under software quality assurance (SQA) plans.  I will focus on related aspects of the Proposed Findings of Docket ID No. EPA-HQ-OAR-2008-0508.</p>
<p>The Intergovernmental Panel for Climate Change (IPCC) Fourth Assessment Report (AR4, IPCC, 2007) states:</p>
<p>“A major advance of this assessment of climate change projections compared with the TAR is the <em>large number of simulations available from a broader range of models</em>. Taken together with additional information from observations, these provide a quantitative basis for estimating likelihoods for many aspects of future climate change.”  I have added the emphasis on the models.</p>
<p>Do the numbers from these “large number of simulations available from a broader range of models” GCM calculations have any meaning. My answer is No.</p>
<p>One crucial and necessary first step is that application of Verification procedures have shown that the numbers produced by the software accurately reflect both (1) the original intent of the continuous equations for the models, and (2) the numerical solution methods applied to the discrete approximations to the continuous equations. That is, Verification shows that the equations have been solved correctly.  Verification procedures are designed to answer the question, Do the calculated numbers actually satisfy the coded discrete equations and do the solutions of the discrete equations converge to solution of the continuous equations.  Neither of these extremely critical properties has been demonstrated for any GCM.  None of the GCM codes, and very likely none of any of the enormous number of other computer codes, used in the IPCC processes have been Verified to be correct.  Equally important, none of the Journals in which the papers reviewed by the IPCC process are published have editorial policies that require that the software on which papers are based to be Verified. </p>
<p>All software can be Verified. Objective technical criteria and associated success metrics can be developed and applied in a manner that provides assurances about the correctness of the coding of the equations and their numerical solutions. Lack of Verification leaves open the potential that the numbers from the software are simply results of “bugs” in the coding.</p>
<p>The present-day software development community, in all kinds of applications and organizations, is keenly aware that lack of SQA policies and procedures, and successful applications of these to the software, leaves open a significant potential for problems to exist in the software.  The computer models and associated software developed for analyses of the Earth’s climate seem to be the sole exception to the understanding of the absolute necessity for application of Verification and SQA procedures to these very complex and extremely important issues.  The more complex the physical situation and thus the computer codes, the more likely that bugs are present.  Likewise, the more critical the decision that affects the health and safety of the public, the more important that software be Verified.</p>
<p>The situation in CO2 and Climate Science is in stark contrast to that in several engineering societies.  These professional societies and their Journal editorial boards have put into place technical requirements on the Verification of the software before the paper can be considered for publication. If the requirements have not been met the paper will not be published; in some cases the paper will be rejected out-of-hand and not be sent out for review.  Papers for which the basis is a single calculation on a single grid with no investigations of convergence and other stopping criteria are typically sent back to the authors.</p>
<p>Some of these professional organizations and associated Journals include: The American Society of Mechanical Engineers (ASME) Journal of Heat Transfer and Journal of Fluids Engineering; The American Institute of Aerospace and Astronautics (AIAA) Journal of Spacecraft and Rockets; and the International Journal of Numerical Methods for Fluid Flow. Other professional societies and journals are sure to follow the lead of these.  References for the editorial polices for these journals are as follows.</p>
<p>The ASME Journal of Heat Transfer, Editorial Board, “Journal of Heat Transfer Editorial Policy Statement on Numerical Accuracy,” ASME Journal of Heat Transfer, Vol. 116, pp. 797-798, 1994.</p>
<p>The ASME Journal of Fluids Engineering, C. J. Freitas, “Editorial Policy Statement on the Control of Numerical Accuracy,” ASME J. Fluids Eng., 115, pp. 339–340, 1993. http://tinyurl.com/9fs98 and J. Fluids Eng. 130, 2008. http://timyurl.com/8phpar</p>
<p>The AIAA Journal of Spacecraft and Rockets, AIAA, Editorial Policy Statement on Numerical Accuracy and Experimental Uncertainty, AIAA Journal, Vol. 32, No. 1, p. 3, 1994.</p>
<p>The International Journal of Numerical Methods in Fluids, P. M. Gresho and C. Taylor, “Editorial,” International Journal of Numerical Methods in Fluids, Vol. 19, p. iii, 1994.</p>
<p>The results of my direct correspondence about these matters with several of the US agencies and personnel involved in GCM development and applications, and analyses of CO2 and Climate Science, with a strict focus on software Verification and SQA, have shown that Verification and SQA are not considered necessary aspects of any analyses of these important issues.  My correspondence has been with appropriate personnel at NASA and GFDL, among others. Correspondence with editors of several of the high-impact Journals in Climate Science, Journals such as Nature, Science, and those published by the AGU, AMS, AAAS, for examples, indicate the same results.  These Journals do not have Verification and SQA requirements in place for the papers submitted for publication.  This is not an acceptable position for Journals the intent of which is to publish archival papers.</p>
<p>I think it is certain that the EPA has in place mandatory Verification and SQA requirements for all the software applied to all analyses of all other matters that come before the Agency.  So far as I am aware, there are no precedents whatsoever for public policy decisions to be based on software for which no Verification and SQA procedures have been applied.</p>
<p>The EPA should not allow decisions on probably the most important issue to come before the Agency to set this type of precedent.  No other Agency of the US Government, none whatsoever, has ever allowed and will never allow such a precedent to be set.  It is simply unthinkable.</p>
<p>Thank you for your attention to these matters.</p>
<p>Sincerely,</p>
<p>Dan Hughes</p>
<p><strong>Here is the EPA response:</strong></p>
<p>UNITED STATES ENVIRONMENTAL PROTECTION AGENCY<br />
WASHINGTON, D.C. 20460</p>
<p>OFFICE OF<br />
AIR AND RADIATION</p>
<p>Mr. Dan Hughes<br />
324 Plank Road<br />
Porter Corners, New York 12859</p>
<p>Dear Mr. Hughes:<br />
Thank you for your letter dated April 27, 2009 to Administrator Lisa Jackson concerning software verification and software quality assurance. My office has been asked to respond. I appreciate your interest in this matter.</p>
<p>Referencing the Environmental Protection Agency’s (EPA’s) Mandatory Reporting of Greenhouse Gases; Proposed Rule (Docket ID NO. EPA-HQ-OAR-2008-0508), your letter argues that Global Circulation Model (GCM) calculations are flawed.  First, the GCMs EPA has relied on for technical analysis of climate change have their foundation in widely accepted physical principles. Second, they have an ability to accurately reproduce key features of past and current climate. Third, they have undergone an extensive peer-review process and been validated by numerous scientific bodies. For all these reasons, GCMs that have been thoroughly vetted by the scientific community provide valuable and insightful information about climate change.</p>
<p>While serving as a highly useful tool. GCM results constitute just one part of the large and growing body of scientific evidence about climate change that is guiding EPA’s evolving policy response to the problem. Additional strands of data EPA uses to guide policy include observed changes in temperature, precipitation and other key climatic features, as well as observed impacts of climate change on terrestrial and oceanic systems.</p>
<p>For more information about the strengths and limitations of climate models, please see &#8220;Climate Models: An Assessment of Strengths and Limitations.&#8221; This report was published in 2008 by the U.S. Climate Change Science Program and is accessible from http://www.climatescience.gov/Library/sap/sap3-l/ﬁnal-report/default.htm. If you would like for your letter to be considered as an official comment on the proposed Mandatory Reporting rule or would like to submit additional comments, please follow the instructions for submitting written comments available at http://www.epa.gov/climatechange/emissions/ghgrulemaking.html. lf you would like to make an official comment EPA’s Proposed Endangerment Cause or Contribute Findings for Greenhouse Gases Under Section 202(a) of the Clean Air Act (Docket ID N0. EPA-HQ-OAR-2009-0171), please follow the instructions available at http://www.epa.gov/climatechange/endangerment.html.</p>
<p>Again, thank you for your letter. I appreciate the opportunity to be of service and trust the information provided is helpful.</p>
<p>Sincerely,</p>
<p>Rona Birnbaum<br />
Chief, Climate Science &amp; impacts Branch<br />
Climate Change Division</p>
]]></content:encoded>
			<wfw:commentRss>http://danhughes.auditblogs.com/2009/06/10/epa-hq-and-software-quality-assurance/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
	</channel>
</rss>
