【正文】 將rmj作為第m個審計人員關于第j個等級的概率評價，由此得到識別框架的基本可信度分配：表12 基本概率分配表A={S1}A={S2}A={S3}A={S4}m（A）rm1rm2rm3rm4由于審計人員本身的差異，有時可能會造成證據(jù)沖突問題，存在證據(jù)沖突的判斷是無意義的，要判斷審計人員的差異是否存在容許的范圍內，首先要計算證據(jù)沖突的大?。? （5）K 為證據(jù)沖突值,當沖突值大于一個事先給定的常數(shù)α(0 α 1) 時,認為評價是無效的, α說明審計人員間的分歧很小,通常選擇α = ,此時表示專家的評價意見沒有根本的分歧。發(fā)展的第三階段（ 1998 －2003 ），開發(fā)了以用友審易軟件、審計署AO作業(yè)系統(tǒng)為代表的審計現(xiàn)場實施軟件。使審計署能有更多優(yōu)秀的信息技術應用人才。（1）審計證據(jù)信息采集。對根據(jù)算法所算出的結果進行綜合評定給出中肯的評價。它使得程序員可以快速地編寫各種基于Microsoft .NET平臺的應用程序，Microsoft .NET提供了一系列的工具和服務來最大程度地開發(fā)利用計算與通訊領域。無論您是開發(fā)人員、數(shù)據(jù)庫管理員、信息工作者還是決策者，SQL Server 2005 都可以為您提供創(chuàng)新的解決方案，幫助您從數(shù)據(jù)中更多地獲益。結果查詢可以顯示對本證據(jù)進行評價的審計人員，及最后的綜合評價。感謝他在我的畢業(yè)設計出現(xiàn)問題時給予了我適時的指導，并一直耐心地對我的系統(tǒng)和論文提出修改意見，讓我的畢業(yè)設計能得到進一步的提高和完善。. 今后努力的方向 通過對本系統(tǒng)局限性分析，發(fā)現(xiàn)本系統(tǒng)的很多不足之處，于是在今后還需很大的努力。：圖49 證據(jù)評價圖 審計人員登錄后可以按索引號查找需評價的審計證據(jù)信息。SQL Server 2005 數(shù)據(jù)引擎是本企業(yè)數(shù)據(jù)管理解決方案的核心。他們想要一種和最新的網(wǎng)絡標準保持同步并且能和已有的應用程序良好整合的環(huán)境。. 審計證據(jù)分析與評價審計證據(jù)信息分析與評價模塊包括如圖33所示的幾個方面。目前大多數(shù)應用軟件系統(tǒng)都是Client/Server形式的兩層結構。為了確定該項目是否可行，經(jīng)過深入市場的調研，全面了解各種有利與不利的因素，特撰寫本可行性分析研究報告。固化的表格審計軟件最具代表性，表格中A格的內容與B格的內容存在設定好的勾稽關系，當審計人員輸入A 格內容后，B格內容的輸入錯誤將被鎖定，實際上現(xiàn)在用 EXECL 就可完成，但在當時，已經(jīng)算很好的審計軟件了。圖11 證據(jù)區(qū)間表示. DempsterShafer 合成法則DempsterShafer 合成法則即證據(jù)合成法則,它可以融合2 組或多組來自相互獨立的不同信息源的證據(jù),提高對某命題的置信程度,分為2 個信度函數(shù)的組合規(guī)則和多個信度函數(shù)的組合規(guī)則。審計意見或審計結論的正確與否，或者說審計工作質量的高低，在很大程度上都取決于審計證據(jù)的質量。因此，開發(fā)出一個實用的計算機審計輔助軟件，幫助審計工作的有效進行也成為了一個重要課題。審計證據(jù)功能發(fā)揮的直接結果是使現(xiàn)有的審計實務得到改善，審計質量得以提高。要得到A的總信度，必須將A的所有子集B的基本概率分配值相加，用信任函數(shù)來表示。發(fā)展初期，由于審計軟件的開發(fā)模型不像會計軟件哪樣清楚，審計軟件怎么搞，應該有什么功能，能為審計工作帶來什么影響，都是審計軟件要解決突破的問題。（4）可以顯示分析評價結果并導出。 本系統(tǒng)的主要目標是幫助審計人員對收集到的審計證據(jù)進行量化分析，將審計人員收集到的審計證據(jù)導入到數(shù)據(jù)庫，再導出給審計人員查看、對其評價，然后通過本系統(tǒng)內部嵌入的D_S證據(jù)理論算法的對其進行分析，從而使審計過程中收集到的審計證據(jù)更具證明力，降低審計風險，而通過計算機化也充分提高了審計證據(jù)分析過程中的效率性。與主流審計軟件做接口，運用EXCEL表格作為中間介質，即從審計軟件中導出數(shù)據(jù)后放入EXCEL表格中，再把EXCEL中數(shù)據(jù)導入到本系統(tǒng)所用的SQL數(shù)據(jù)庫中。●審計底稿：審計人員、所審計的單位、審計項目、審計開始時間、審計結束時間、審計過程、審計結論等。這也是本系統(tǒng)選擇Microsoft Visual Studio 2008作為開發(fā)工具最重要的原因之一。：圖46 選擇審計項目圖建好審計項目后，管理員可以選擇需錄入審計證據(jù)的審計項目。通過此系統(tǒng)，可以很好的幫助審計人員，幫助審計工作。他們在我確定設計思路時給了我不少的建議，讓我的系統(tǒng)在功能上盡可能完善；在界面設計上更人性化，更方便用戶的使用。. 系統(tǒng)測試在完成了系統(tǒng)界面設計和編碼等設計后，為了能夠使系統(tǒng)穩(wěn)定運行，要對系統(tǒng)進行有針對性的全面測試，采取的方法是：●代碼測試：編寫測試數(shù)據(jù)進行測試。. 系統(tǒng)的實現(xiàn)與運行：圖41 管理員登錄圖登錄包括了管理員登錄與審計人員登錄，管理員可以登錄系統(tǒng)添加審計項目、添加此項目收集到的審計證據(jù)、添加評價此審計項目中審計證據(jù)的審計人員等。最重要的是，C使得C++程序員可以高效的開發(fā)程序，而絕不損失C/C++原有的強大的功能。對審計證據(jù)分析與評價系統(tǒng)給出的分析與評價給出分析與評價報告。本模塊提供某項審計證據(jù)，有關審計人員可以對本證據(jù)的可靠性進行評價打分，通過下面所提供的證據(jù)理論算法，計算機進行運算。本系統(tǒng)將會對傳統(tǒng)審計活動中收集到的各類審計證據(jù)進行分析與評價，利用計算機強大的運算能力，快速準確的為審計人員提供幫助，讓他們能盡快從一大堆的各類數(shù)據(jù)中找到所需要的各項證據(jù)信息。該類軟件將審計部門所涉及到的審計項目以管理的角度進行信息化的流程固定，實現(xiàn)審計信息資源的合理配置和有效利用。由狀態(tài)的信任區(qū)間可以采用（9）式計算每個狀態(tài)的信任度： （9）計算出各種證據(jù)的級別狀態(tài)值之后，可以從中選擇信任度最大的狀態(tài)，該狀態(tài)就是相應評價對象的綜合評價。則我們關心的任一命題都是Θ的一個子集。 CAAT目 錄引言 11. 證據(jù)理論 2. DempsterShafer 證據(jù)理論簡介 2. 基于證據(jù)理論的審計證據(jù)分析與評價 4. 算例 52. 系統(tǒng)分析 7. 系統(tǒng)總體調查 7. 需求功能分析 8. 可行性分析 83. 系統(tǒng)設計 9. 系統(tǒng)目標設計 9. 系統(tǒng)設計思路 9. 系統(tǒng)功能分析與模塊設計 10. 數(shù)據(jù)庫設計 124. 系統(tǒng)實現(xiàn) 14. 開發(fā)工具 14. 數(shù)據(jù)庫實現(xiàn) 15. 系統(tǒng)的實現(xiàn)與運行 15. 系統(tǒng)測試 235. 總結 24. 系統(tǒng)功能與作用總結 24. 系統(tǒng)的局限性 24. 今后努力的方向 24參考文獻: 25致 謝 26引言審計證據(jù)是審計的核心問題之一。 Evidence theory。. 證據(jù)理論的基本概念定義1 識別框架( Frame of discernment)對于一個要評價的問題,假設所有可能的評價結果的集合用Θ表示,稱Θ為識別框架。 （6）在計算出證據(jù)的合成結果之后，利用下式計算每個狀態(tài)的信任度和似然度：