第一篇:可重構系統原型設計及動態重構技術實現
可重構系統原型設計及動態重構技術實現
摘 要:可重構計算具有應用靈活、性能高、功耗低、成本低等優勢。動態重構技術作為可重構計算的配置方法,具有配置方法靈活、耗時短、任務實時響應能力強等特點。文章首先提出了可重構系統原型的設計思路,并著重分析了可重構計算單元、存儲單元、可重構管理單元等關鍵模塊的設計理念。然后分析了動態配置技術的實現原理,并且基于可編程邏輯陣列,搭建了“嵌入式處理器+總線+可重構計算單元”的硬件系統,并實現了兩種圖像處理IP核的動態配置。
關鍵詞:可重構計算;系統原型;動態配置技術
引言
可重構系統一般由主處理器耦合一組可重構的硬件部件,處理器負責任務的調度,而可重構的硬件部件負責執行算法[1]。可重構架構的研究主要集中在以下幾個方面:不同粗細粒度的架構研究、處理單元結構研究、處理單元的互聯方式研究、新型存儲結構研究等。可重構系統的重構方法主要包含兩大類:靜態重構技術、動態重構技術。靜態重構需要整個系統復位,往往需要斷電重啟;動態重構技術是在系統不斷電的情況下,可以完成對指定計算資源、邏輯資源的模塊級或電路級重構,具有功能實時切換、資源可復用等優勢。
動態重構技術作為一種計算系統的新型配置設計思路,從傳統的追求計算資源“大而全”,向追求資源的利用率轉變。與傳統的靜態配置或完全配置方法相比,動態重構技術無需對所有計算資源重構,可以有選擇性的進行重構資源加載,一方面,能夠保證系統在其他單元正常工作的同時,根據待處理任務需求及數據特點完成自適應配置,保證了對邏輯資源的時分復用;另一方面,能夠大大縮短功能切換單元的配置時間,保證任務的無縫對接及實時處理。
文章組織結構如下:首先提出了可重構系統原型的設計思路,從可重構計算單元、存儲單元、可重構控制單元等多個方面做了細化闡述;然后分析了動態配置技術的實現原理,并基于Xilinx開發平臺,搭建了“嵌入式處理器+可重構計算單元”的驗證系統,實現了粗化、細化兩種邊緣提取IP核的動態配置;最后對試驗結果進行評估。可重構計算系統架構設計方案
可重構計算原型系統的體系架構采用RISC架構通用處理器(CPU)、可重構控制單元、可重構計算陣列、可重構I/O接口和存儲系統等部分組成。CPU與可重構計算陣列之間為并行處理關系。從系統設計復雜度和靈活度考慮,兩者采用總線結構耦合。因此,在系統平臺架構中,通用處理器、計算單元和接口單元之間采用總線連接方式。其系統架構見圖1。
系統變換形態流程如下:系統進行計算功能變換時,通用處理器向可重構控制單元發送重構命令,可重構控制單元管理、調度硬件資源,并上報系統工作狀態;當系統資源準備就緒后,通用處理器控制可重構硬件讀取硬件配置數據并加載到器件中,以變換可重構計算單元或接口單元的形態,統一變換系統中全局存儲空間的劃分、管理及訪問控制,各計算模塊共享內存區的映射關系圖;同時,根據新的計算形態加載相應的軟件和數據,最終完成整個系統形態變換流程。功能切換時,只對可重構硬件的一部分進行重新配置,其他部分可繼續執行任務。動態部分重構可以減少配置數據,加快了計算形態變換速度,提高了系統的適應性和靈活性。
通用處理器運行操作系統,負責系統的控制、計算形態管理、計算資源管理和任務調度;處理那些控制比較復雜、不便映射到硬件上,且計算量較少的計算任務,如變長循環、分支控制、存儲器讀寫等。可重構硬件則用于處理計算量大、并行度高、任務相關度低的部分,執行程序中擁有規則的數據訪問模式,控制簡單的那部分“計算密集型”代碼,主要由可重構控制單元、可重構計算單元、可重構I/O接口及片上高速總線組成。其中計算單元及I/O接口可根據應用需求重構為不同的計算形態。
1.1 可重構系統計算單元模型設計
可重構系統計算單元的基本思想要求將計算和存儲兩部分進行解耦合,因此采用了數據和指令存儲物理分離的哈佛結構,將數據訪問模塊、指令組織與調度模塊和指令執行模塊分離。同時,根據流處理模型中生產者消費者局部性的特點,將數據訪問模塊劃分成軟件可管理的多個存儲層次,各自保持獨立運行。可重構系統計算單元主要有三個部分組成:控制單元、存儲單元、可重構處理單元陣列。
控制單元。執行算法時,控制單元對可重構系統計算單元進行總體控制,協調可重構處理單元陣列、配置存儲器、本地存儲器、數據分配單元、數據合并單元的運行,根據系統運行狀態和各個單元內部控制信號的反饋信息,改變各個單元的狀態,保證系統正確運行。
存儲單元。存儲單元分為三部分:數據存儲,寄存器堆以及配置存儲。數據存儲包括本地存儲器,數據分配單元以及數據合并單元。本地存儲器用于存儲可重構處理單元陣列計算需要的輸入數據和輸出數據;數據分配單元用于從本地存儲器或寄存器堆中讀取數據;數據合并單元用于向本地存儲器或寄存器堆寫入計算單元的輸出數據。寄存器堆用于存儲中間數據,并向陣列發送配置字。
可重構計算基礎單元。可重構計算單元是可重構陣列的核心部分,可以理解為粗粒度的最小計算單元。為了能夠執行更多類型的算法,需要支持盡量更多的功能。例如,對于常用的計算密集型運算,需要支持FFT、FIR、DCT和點積等功能。因此成熟的可重構系統中,應該包含足夠多基礎功能、不同粒度需求的可重構計算資源庫,以便于更加靈活的資源組合。
1.2 可重構系統存儲單元模型設計
可重構計算系統的存儲單元由CPU和可重構陣列共同訪問操作。因此,存儲單元主要研究CPU和可重構計算單元對內存訪問的協調與控制機制,存儲單元的模型設計需要主要解決如下問題:避免內存訪問沖突、解決多個處理器模塊并行工作會降低主存的訪問效率的問題、解決可重構計算單元面臨的端口和速度的限制。
存儲管理單元主要解決多個模塊并行工作時會降低訪存效率的問題:多個模塊共享片外內存會引起訪問沖突從而導致等待;訪問片外內存的端口數量非常有限,不利于數據通路中的并行訪問。主要采取如下改進措施:(1)為可重構硬件平臺增加內存管理單元,實現片外和片上內存的映射,保持數據一致性;(2)為內存訪問提供多端口流水化處理或數據預讀取;為應用提供定制化的緩存結構。
1.3 可重構管理單元模型設計
可重構管理單元負責控制任務,它主要接收通用處理器指令,完成系統形態管理和資源管理;計算單元的軟件加載、配置管理和數據交換等任務。
其主要完成的工作有:(1)實現全局存儲空間的劃分、管理及訪問控制,解決數據訪問沖突,阻止非法訪問;將各模塊傳遞的數據存儲在統一的存儲區,以并行方式協同完成計算任務;(2)接收通用處理器的指令,將共享存儲系統中的操作系統及應用軟件加載到計算單元;(3)對系統內部可重構硬件資源進行管理,確保相應可重構計算單元或I/O接口功能變換時,不影響系統正常運行功能;(4)用于實現對可重構計算單元的動態配置,可以根據應用任務需求修改計算單元架構和計算模塊的功能,并將計算單元、I/O接口的總線轉換為統一的內部互連總線,提高了對外連接的適應性。基于可編程邏輯陣列的動態配置技術實現
2.1 動態配置技術原理
動態配置技術是實現可重構計算單元切換的關鍵技術,保證邏輯資源的時分復用,在優化資源配置的基礎上實現對不同任務的響應。動態配置技術支持的配置階段及配置策略,直接決定了不同重構單元是否能夠實現無縫切換,進而影響了任務實時響應能力。目前成熟的動態配置技術需要提前編譯待重構的邏輯資源、定義各硬件模塊的接口和時序約束、明確各模塊在可編程邏輯陣列上的實現區域及模塊之間的物理連線。動態配置技術主要包括三個階段,即設計階段、編譯階段、運行階段[2]。
設計階段,根據任務處理需求,需要設計不同計算任務對應的功能電路,每種計算任務可能對應一種功能電路,或者是若干個功能電路的組合。在基于可編程邏輯陣列的邏輯設計中,電路設計采用硬件語言描述或者原理圖描述的方法;頂層設計文件通過綜合器生成網表文件,在布局/布線階段,依舊可以對流處理器進行優化設計。
編譯階段,基于配置文件的生成工具,生成初始配置文件及若干動態配置文件;初始配置文件包含了非重構區域的系統或電路描述,每個動態配置文件對應一種計算任務。動態配置文件經過重構文件生成器,生成最終可以動態加載的配置文件。
運行階段,非重構區域的處理器或者控制電路,可以自行分析待處理數據的特點或依據頂層控制指令,完成配置文件的動態加載。加載過程往往通過重構控制器及動態配置接口完成,重構配置器在重構數據庫中選擇相應計算任務對應的配置文件,通過動態配置接口將其加載到可重構平臺中,并將可重構分區內的邏輯資源重構。
2.2 基于ICAP動態配置技術實現
Xilinx公司提供支持動態配置技術的整套開發工具,包括用于動態配置的配置接口IP硬核及相應的加載配置函數。開發者需要基于標準開發流程,搭建硬件平臺并制作可重構計算單元的IP核;根據可重構部分的資源占用情況,在FPGA內部劃分可重構區域資源的大小、位置及種類。ICAP(Internal Config Access Port)是可重構資源的內部配置接口,可以掛在到內部總線上;硬件平臺搭建完成之后,編譯系統會為ICAP提供唯一尋址地址,作為從外部存儲空間向內部可重構區域加載的數據入口和通道。
如圖2所示,基于ICAP的動態配置技術主要包含如下步驟:創建處理器硬件系統、創建頂層設計、創建布局/布線工程、定義可重構分區、添加可重構模塊、設計規則檢測、自定義配置、生成比特流、生成啟動文件。創建處理器硬件系統及頂層設計后,需要對模塊占用的資源進行預估,并根據預估結果創建頂層設計的約束文件。定義可重構分區、添加可重構模塊階段,需要充分考慮布局布線的時序及資源要求。圖3為可重構系統的布局圖,主要包括處理器、可重構分區、數據總線及其他非重構IP核等,處理器負責資源調度、可重構接口控制等;可重構分區用于實現流處理器的多形態變換;數據總線同時用作動態配置文件加載、各模塊數據通信通道。
2.3 可重構計算系統平臺搭建
如圖4所示,基于動態配置技術的可重構架構的驗證系統包括上位機、可重構計算系統(主要由可編程邏輯陣列組成),兩者之間通過通信總線連接。主要包含以下模塊:(1)可重構控制單元。該單元包含:內嵌通用處理器PowerPC、Linux操作系統、PLB總線等,主要負責可重構單元的控制、數據傳輸、資源調度等。(2)通信單元。該單元主要包含:以太網接口及串口,用于圖像傳輸及控制指令傳輸。(3)內存管理單元。該單元主要包含片內定制的乒乓存儲單元,用于源圖像及中間處理數據的緩存。(4)可重構邏輯單元。可重構控制單元根據待處理數據的信息特征,通過動態重構方式加載不同配置文件。如可重構硬件模塊1支持圖像邊緣的粗提取,可重構硬件模塊2支持圖像邊緣的精細化提取。
上位機負責可重構配置單元的加載控制,能夠根據待處理任務的數據特點和大小以及處理內容,選擇最適應的可重構加載文件,并向可重構計算系統發出重構指令。可重構計算系統通過加載不同配置信息,可重構計算單元來并完成處理任務。在任務處理過程中,可重構計算系統可將任務狀態信息、任務處理結果等用戶關心的參數上報給上位計算機并打印輸出。
文章實現的圖像邊緣提取算法包括如下步驟:圖像平滑、圖像銳化、邊緣提取、邊緣連接,最終得到完整的邊緣圖像。高斯平滑與LOG銳化過程采用空間域濾波方法,二值處理采用自適應閾值分離方法,邊緣細化采用形態學變換的方法。其中粗提取模塊主要包含以下三個步驟:圖像平滑、圖像銳化、二值處理。精細提取模塊包括以下四個步驟:圖像平滑、圖像銳化,二值處理和邊緣細化四個步驟。試驗結果分析
3.1 試驗環境
可重構計算系統的試驗平臺基于Xilinx提供的ML507開發板,處理器采用PowerPC440,操作系統采用Linux,處理器通過PLB總線與可重構配置區域及其他IP核通信。具體配置參數如表1所示。
3.2 試驗結果評估
配置文件規模評估。實驗結果表明,如果將“PowerPC處理器+PLB總線+圖像處理IP核”的硬件系統全部重構,需要配置的比特流文件為1914KB;而圖像處理IP核的重構只需285KB。由此可以看出,與靜態配置技術相比,動態配置技術能夠在保證大部分邏輯資源不變的情況下,選擇性的完成資源重構。
配置時間評估。動態配置技術實現中采用的內部配置訪問接口ICAP的時鐘頻率為50MHz,數據帶寬8bit,理論配置速度為0.5× 108B/s。實驗結果表明,動態配置技術無論在配置數據的加載時間還是重構總耗時,都大大減少。配置時間的減少,保證了計算資源的無縫切換,提高了不同任務的響應速度及實時處理能力。結束語
文章主要有如下貢獻:(1)提出了可重構計算原型系統的設計思路,著重介紹了可重構系統計算單元、可重構系統存儲單元、可重構管理單元等關鍵模塊的設計理念。(2)搭建驗證平臺,并實現了動態配置技術。文章基于Xilinx開發平臺,搭建了“PowerPC處理器+PLB總線+可重構計算單元”的驗證系統,設計了邊緣提取的自主知識產權核,實現了基于ICAP動態配置接口的可重構計算。實驗結果表明該驗證平臺不僅具有較高的計算能力和計算靈活性,而且具有較強的資源調度能力,能夠大大縮短資源重構的占用時間。
未來工作包括以下幾方面:(1)進一步完善體系結構設計方案和系統計算模型;(2)結合可重構硬件的發展,進一步開展可重構支撐技術的研究,如:任務時域劃分模型、軟硬件劃分及調度模型、硬件資源管理模型等;(3)深入研究可重構計算基礎模型,建立多種架構的可重構單元模型庫,以適用于更多的應用場景。
參考文獻
[1]方琛,等.粗粒度可重構處理器的結構研究與設計[D].上海:上海交通大學,2010.[2]徐新民,等.FPGA動態部分重構的研究及位流信息重構的實現[J].科技通報,2008,24(2):236-230.[3]Krill B,Amira A,Ahmad A,Rabah H.A new FPGA-based dynamic partial reconfiguration design flow and environment for image processing applications[J].Visual Information Processing(EUVIP),2010.[4]Interoperability and performance standards for data modems[Z].MIL-STD-188-110B,2000.[5]Giovanni D M,Gupta R K.Hardware-software codesign[J].Readings in Hardware/Software Co-Design,2002
[6]KchuaiWu,JanMadsen.Run-timedynamic reconfiguration:Areality che
ck based on FPGA Architectures form Xilinx[J].Norchip Conferenc
e,2005.[7]Sergios Theodoridis,Konstantinos Koutroumbas.Pattern Recogntion,20
06.[8]ChristianFdaSilva,AliceM.Tokarnia.RECASTER:Synthesis of Fault-Tolerant Embedded Systems based on Dynamically Reconfigurable FPGAs[J].Proceedings of the 18th International Parallel and Distributed Processing Symposium,2004.[9]Dimos V.Dimarogonas,Kostas J.Kyriakopoulos.A connection bet
ween formation infeasibility and velocity alignment in kinematic multi-agent systems[J].Automatica,2008(10).
第二篇:電力客戶信用動態智能分析系統的設計及實現
龍源期刊網 http://.cn
電力客戶信用動態智能分析系統的設計及實現
作者:孔偉偉 張利益 鄭斌 馬景濤
來源:《現代電子技術》2013年第04期
摘 要: 為能更加有效地評估電力客戶的信用水平,增強供電企業事先風險控制的能力,在此通過層次分析法,建立了信用量化模型。在此基礎上,運用Logistic回歸模型計算用電客戶的履約概率和違約概率。然后通過綜合考慮違約概率和用電量,計算違約損失。最后從違約概率,違約損失以及信用下降程度3個方面進行風險預警,建立了電力客戶信用風險動態智能分析模型,進而建立了基于此模型的電力客戶信用智能分析系統。該系統在業務領域創造了很好的社會效益和經濟效益。
關鍵詞: 動態智能分析模型; 電力系統; 客戶信用; 違約概率; 風險預警
中圖分類號: TN911?34 文獻標識碼: A 文章編號: 1004?373X(2013)04?0136?05
第三篇:我國刑事附帶民事訴訟制度的設計缺陷及重構之設想
我國刑事附帶民事訴訟制度的設計缺陷
及重構之設想(1)[內容提要]由于受“重刑輕民”傳統法治思想的影響,我國刑事附帶民事訴訟制度的設計存在較大缺陷及不合理之處,與現代司法理念的基本要求相沖突,在司法實踐中缺乏合理性和可操作性,不利于對刑事附帶民事訴訟當事人合法權益的保護。隨著司法體制改革的不斷深化和現代司法理念的不斷發展,有必要適時地對這一程序制度進行修改,使之具有科學性、合理性和可操作性,充分體現訴訟效益原則和訴訟經濟原則,實現刑事審判的法律效果和社會效果的統一。筆者從我國的司法現狀出發,以全新的視角分析現行刑事附帶民事訴訟制度與現代司法理念之沖突,制度設計之缺陷及司法實踐中存在的問題,合理借鑒英美法系和大陸法系相關制度的設計理念,提出了構造符合我國國情和司法實踐現狀的,便于操作執行的刑事損害賠償制度。
[關鍵詞]刑事附帶民事訴訟制度理念沖突實踐困境選擇模式
刑事附帶民事訴訟是刑事訴訟法學的邊緣問題,也是司法實踐中多年的難點問題。由于缺乏系統深入的研究,刑事附帶民事訴訟的研討大多停留在協調、完善附帶民事訴訟制度的層面上。我國的刑事附帶民事訴訟制度在理論及司法實踐中都存在著較大的缺陷及沖突,就此筆者從建立現代司法理念的角度,汲取兩大法系的精髓,提出重構我國刑事附帶民事訴訟制度之設想。希望能拋磚引玉,推動訴訟制度研究的深入發展。
一、刑事附帶民事訴訟與現代司法理念的沖突
(一)理論上的沖突
與世界貿易組織規則要求實行平等保護和全面賠償原則相適應,現代司法理念的基本要求是程序的公正化和訴訟的民主化。而現行附帶民事訴訟制度實行的實際效果與上述要求相差甚遠。特別是該制度設計中對適用民事法律的不完整,割裂了民事法律在刑事附帶民事訴訟中法律適用的統一性。進入民事程序與進入刑事附帶民事程序因適用法律不同,其結果大相徑庭。更有甚者,同一侵權事實構成犯罪的附帶民事賠償會比不構成犯罪的民事賠償要少得多。這與世界貿易組織規則中要求的法治統一、非歧視性、透明度、公正司法原則不相適應。從根本上講,刑事附帶民事訴訟制度背離了現代訴訟的民主價值和公正價值。
由于我國附帶民事訴訟制度在設計上過于簡單、籠統,缺乏科學性、合理性,實踐中可操作性差,并形成了各種不同的理論觀點。如在性質上就有“混合訴訟說”、“特殊的民事訴訟說”、“民事訴訟說”等觀點。有將刑、民二種責任在刑事附帶民事訴訟中統一處理與將刑、民二種性質不同的責任分開處理更為公正的爭議;在賠償責任方面,有直接損失賠償原則與間接損失(包括精神損害)賠償原則的爭論;在附帶民事訴訟當事人范圍中,有對于并非為已死亡被害人的近親屬,而為被害人承擔喪葬費、醫療費、護理費等費用的人是否有權提起附帶民事訴訟的爭論;有善意取得人被追贓后能否向被告人提出賠償,能否作為第三人參與附帶民事訴訟的爭論;有已死亡的被害人的親屬或繼承人誰為附帶民事訴訟原告問題的爭議;有共同侵害人中沒有被刑事起訴到法院追究其刑事責任,但能否成為附帶民事訴訟被告的爭論;有刑事案件的犯罪嫌疑人或被告人在訴訟過程中死亡,刑事案件的被害人應向誰提出附帶民事訴訟的爭論;有成年被告人的親屬自愿代為承擔賠償責任能否成為附帶民事訴訟被告的爭論;有在逃的同案犯的附帶民事訴訟案件應采取何種方式處理的不同論點及追訴時效上的爭議等等。理論上的爭論各有所長,但均不能正確、全面論述清楚,并較好地在實踐中適用。近幾年來附帶民事訴訟愈想規范操作,產生的沖突反而愈多,離現代司法理念愈遠,該制度所暴露出來的弊端愈明顯,理論與實踐的背離愈難以彌合。我國刑事附帶民事訴訟立法的價值取向在很大程度上違背了現代司法理念的內在要求,破壞了訴訟價值原則。
(二)與庭審方式改革的沖突
美國法學家達馬斯卡講過:“對抗制審判是理論上處于平等地位的對立雙方在有權決定爭端裁決結果的法庭面前所進行的爭斗。”隨著現代訴訟理念的不斷擴展,理論界、司法界逐漸認識到傳統刑事審判方式所存在的問題。1996年修改后的刑事訴訟法在借鑒英美法系對抗式審判方式的基礎上,對傳統的刑事審判制度進行了較大的改革,基本上確立了控辯式對抗的格局,但附帶民事訴訟沒有任何改進,只有與1979年刑訴法一樣的規定。雖然最高人民法院頒布了一系列司法解釋,試圖規范附帶民事訴訟,但由于該制度本身存在難以克服的內在沖突,使附帶民事訴訟的審理過程仍然是在走糾問式審判的老路,使本來就不平衡的控辯雙方由于被害人或民事原告的加入而更加不平衡,力量對比嚴重傾斜。法官在審理中還要站在原告一方,借刑罰的威懾力訊問民事被告,甚至以加重刑罰恫嚇被告賠償原告損失。在如此高壓態勢下,被告人在法庭上幾無反駁能力,更無法行使其民事權利。民法上的平等、反訴、過錯責任等制度和原則想在刑事法庭上實行基本不可能。抗辯式實行起來異常艱難,固然有制度配套不健全的原因,但刑事附帶民事訴訟的審理方式難以使法官保持中立,而是使法官與被告處于直接對抗地位,使法官往往以主導者的身份去參與刑事附帶民事訴訟。這與現代刑事訴訟理念要求控辯雙方當事人在訴訟中的地位完全平等,雙方參與的充分性、法官的中立性及程序的公正性理念是不相吻合的。雙方因地位而造成的不平等和權利的不對等帶來訴訟過程不公正,即使結果公正,仍不能稱為理想的訴訟模式。
此外,XX年最高人民法院、最高人民檢察院、司法部聯合下發《關于適用簡易程序審理公訴案件的若干意見》,目的是為推動司法部門盡可能多地適用簡易程序,但由于簡易程序規定的審結期限僅為20天,而絕大多數刑事附帶民事訴訟案件的民事部分在這一期限內難以完成,故實踐中很少適用簡易程序進行審理。據該文件起草人統計,基層法院適用簡易程序的整體數量少,全國不到20%,而在適用簡易程序的案件中,超過審限的主要是刑事附帶民事案件。可見,刑事附帶民事訴訟制度對簡易程序的沖擊是巨大的。
(三)與沉默權的沖突
現代意義的沉默權是1966年美國著名的米蘭達強奸案確立的“米蘭達忠告”。即犯罪嫌疑人有權拒絕提供可能用來自我控罪的證據,只有犯罪嫌疑人明白地并且理智地放棄這些權利后,才可以對其進行審訊,如果沒有進行預先的忠告就訊問,那么犯罪嫌疑人作出的任何陳述都不能接受為證據。雖然1996年我國修訂刑事訴訟法的過程中,立法者未采納賦予犯罪嫌疑人沉默權的主張,但隨著1998年我國政府對《公民權利與政治權利的國際公約》的簽署,沉默權遲早會在我國刑事訴訟法中得到反映。這是大勢所趨,因為它與無罪推定、辯護制度、舉證責任、程序價值、人權保障等現代訴訟司法理念相互依存,是刑事訴訟制度全面進步與文明的標志之一。我國刑事訴訟的現狀迫切需要沉默權的實施,僅有無罪推定是遠遠不夠的,要杜絕冤假錯案的發生必須實行沉默權。然而沉默權制度的確立與我國現行的刑事附帶民事訴訟會產生沖突。如在刑事附帶民事案件的開庭審理中,被告人在刑事部分行使沉默權,而在接下來的民事部分審理中,被告人仍然行使沉默權則會給自己帶來不利后果。因為民事訴訟的證據規則是優勢證據原則,被告人沉默意味著認可原告人的主張,民事部分就會敗訴。反推民事部分的證據確定是不是又會影響到刑事部分的證據認定呢?如果被告在民事訴訟中抗辯,放棄沉默,則必然要對事實陳述,對證據抗辯,這又是對刑事部分實行的沉默權自我否定。要在我國建立沉默權制度,就有必要改革現行的刑事附帶民事訴訟制度,以實現保障人權的價值目標,這也是現代司法理念的內在要求。
(作者:3COME未知本文來源于爬蟲自動抓取,如有侵犯權益請聯系service@立即刪除)
第四篇:基于ASP.NET技術動態IT培訓網站的設計與實現
開題報告
基于 ASP.NET 技術的動態 IT 培訓網站的設計與實現
一、選題的目的和意義
近幾年來,基于 TCP/IP 的 Internet/Intranet 技術以非同尋常的速度被廣泛應用于各級 企業及其他組織的信息發布與共享,其中一個很重要的手段就是建立 Web 站點發布信息。傳統的靜態網頁技術已越來越不能滿足用戶的需求,因此各種動態網頁技術應運而生。ASP 就是目前比較流行的動態網頁技術之一,而 ASP.NET 是微軟新一代的動態網頁技術,并且 相對于其他編程技術,它有如下的優勢。(1)面向對象性 ASP.NET 將 C#作為一種面向對象語言,在很多方面來看,C#將成為微軟的與 Java 相似 的語言。C#是 ASP.NET 開發中一個最重要的功能,微軟會將 C#發展成為 Java 的強勁對手。這 也是微軟.NET 框架的一個重要組成部分。我們認為 C#是微軟在編程市場上擊敗對手的主要 工具。我們期待著微軟能在這個產品后面傾注全力,這樣,C#可以成為許多程序員的又一 種選擇。C#的誕生無疑將進一步加劇微軟和 Sun 產品的戰線,但這對用戶是有利的,他們 可以選擇兩者之一來開發新的應用。(2)數據庫連接 ASP 另一個亮點是它使用 ADO 對象、ODBC、OLE-DB 和事務處理管理器。因此 ASP Web 數據庫應用開發特別簡單。ASP.NET 發展了更多的功能,因為有了 ADO.NET。ADO.NET 帶來了更強大更快速的功能。JSP 和 JDBC 目前在易用性和性能上同 ASP/ADO 相比已有些 落后,當新版本 ASP.NET/ADO.NET 出現后這樣的差別會更明顯。所以我們希望 SUN 應盡 快能花大力氣來追趕 ASP.NET/ADO.NET 的組合。(3)大型站點應用 ASP.NET 將對大型站點(Web Farms)有更好的支持。事實上,微軟已經在這方面付出 了巨大的努力。ASP.NET 可以讓用戶考慮到多服務器(Multiple Servers)的場合,當用戶需 要更強大的功能時,僅僅只需要增加一臺服務器。整個.NET 框架已經充分地提供了這個方 法。ASP.NET 提供了外部會話狀態(External Session State)來提供內置式 Web Farm 的支持。另外,由于請求的各組件相互間經過了充分的優化,所以速度很快。(4)ASP.NET 還提供更多的其他方面的新特性,例如: 內置的對象緩存和頁面結果緩存。內置的 XML 支持,可用于 XML 數據集的簡單處理。服務器控制提供了更充分的交互式控制。
二、國內外發展動態和趨勢
微軟新一代平臺的正式名稱叫做“新一代 Windows 服務”(NGWS),現在微軟已經給 這個平臺注冊了正式的商標——Microsoft.NET。在.NET 環境中,微軟不僅僅是平臺和產品 的開發者,并且還將作為架構服務提供商、應用程序提供商,開展全方位的 Internet 服務。在談及這個平臺中使用的新技術
,微軟透露,它將在.NET 環境中提供更多新產品和全套的 服務。Microsoft.NET 將開創互聯網的新局面,基于 HTML 的顯示信息將通過可編程的基于 XML 的信息得到增強。XML 是經“萬維網聯盟”定義且受到廣泛支持的行業標準,Web
瀏覽器標準也是由該組織創建的。微軟公司為開發它投入了大量精力,但它并不是 Microsoft 的專有技術。XML 提供了一種從數據的演示視圖分離出實際數據的方式。這是新一代互聯 網的關鍵,提供了開啟信息的方式,以便對信息進行組織、編程和編輯;可以更有效地將數 據分布到不同的數字設備;允許各站點進行合作,提供一組可以相互作用的“Web 服務”。根據.NET 構想,未來微軟所有產品都將走向“服務化”,而消費者將通過租借的方式使 用 Office 軟件,或通過 MSN 用戶身份,獲得網絡音樂服務。然而,根據種種跡象表明,微軟早已為.NET 戰略后新的劃時代戰略做了準備,這個新 戰略將會比.NET 戰略更可怕,因為它將可能壟斷未來所有的軟件市場!如果將 PC 時代分 為 DOS平臺時代和 Windows平臺時代的話,按照微軟的意思,網絡時代將會分為.NET平臺時代和這個新的平臺時代。ASP.NET 又叫 ASP+,但并不僅僅是 ASP 的簡單升級,而是 Microsoft 推出的新一代 Active Server Pages 腳本語言。ASP.NET 作為微軟公司發展的新的體系結構 Microsoft.NET 的一部分,其中全新的技術架構會使編程變得更簡單。ASP.NET 是在抓住 ASP 的最大優點 并全力使其擴大化的基礎上開發出來的,同時也修復了許多 ASP 運行時會發生的錯誤。目前支持 ASP.NET 開發的平臺只有 Windows XP、Windows 2000/2003、Windows NT4(Service Pack 6a),其中的 Web Service 除去這些還在 Windows 98、Windows ME、Windows SE 上獲得支持。隨著 Internet/Intranet 技術的不斷發展,只有服務器的動態網頁技術才能 滿足各種 Web 應用程序日益提高的要求,因此各種動態網頁技術先后出現。相對于 ASP.NET 而言,ASP 技術較為熟悉,使用簡單便利。但由于 ASP 本語言自身的局限性,使其功能受 到了很大的限制。而 ASP.NET 的強大功能恰好彌補了 ASP 的不足,因此,ASP.NET 技術代 替 ASP 是一種必然的趨勢。ASP.NET 從現有的 ASP 結構體系上跨出了一大步,其整個構造 體系使開發結構化的應用程序變為可能。Web 表單帶來了一種更加直接和易于使用的開發 模式;服務器控件增加了提供公共功能的能力,從而使擴展和加強現有功能變得容易;數據 捆綁使創建數據約束型應用程序變得十分簡單。它不但具有許多很棒的新功能,而且還有一 個用于開發 Web 應用程序的真正框架。越來越多的開發者開始使用這種技術,它的出
現給 Internet 的發展帶來了一次新的浪潮。
三、課題研究的基本內容
該課題為設計并實現一個基于 ASP.NET 技術的動態 IT 培訓網站。該網站具有如下模塊: 登錄注冊模塊:用來識別用戶身份信息的必要手段,用以在線報名、在線咨詢以及 學員論壇; 課程信息發布模塊: 做為網站介紹自己、宣傳自己培訓課程的不可或缺的手段之一,讓用戶第一時間了解該網站推出的培訓課程; 在線報名模塊:通過該模塊,實現學員與培訓學校之間的零距離報名; 在線咨詢模塊: 能為用戶解答各種與網站的信息有關的問題,使用戶和學校進一步 拉近距離。學員論壇:回答學員問題,提供各個學員之間互相交流的一個平臺,是促進培訓學 校教學質量提高的一個重要手段。
四、研究內容及擬采用的方法和手段
1.在充分調研和需求分析的基礎上,完成網站的如下設計工作。總體功能規劃設計。數據庫的邏輯設計。
網頁框架的規劃設計。2.利用 ASP.NET、C#語言、ADO.NET、SQL Server 2000 數據庫技術來實現一個動態交 互式的 IT 培訓網站。
五、預期達到的水平及所需的科研條件
(1)網站建設的基本目標為: 用戶登錄注冊: 用戶通過注冊個人信息來設置自己的登錄名和密碼。通過用戶的登 錄,來實現網站對用戶更好的服務和管理。用戶個人服務:用戶登錄后,出現用戶的個人服務界面,包括個人密碼修改、自己 的信息修改、個人所報課程的列表信息和提問咨詢信息,以及通過網站統計出來的 該用戶的喜愛課程類別的一個推薦列表等。課程信息發布模塊: 通過后臺發布課程信息對數據庫進行操作修改,來實現前臺對 各個課程信息的發布,讓各個用戶能在最短的時間內了解網站的各個課程的詳細信 息。新聞信息發布模塊:通過發布一些教育業內新聞,以及其相關的一些信息,讓用戶 了解目前的一些情況。在線報名模塊:用戶登錄網站后,通過網頁尋找和選擇適合自己的課程,然后填寫 自己的詳細信息以及報名的方式來報自己所要進行培訓的課程。通過該模塊,用戶 可以很方便的查詢該課程的任何信息以及報名。教師管理模塊: 介紹各個教師的信息及其所教的課程,讓用戶通過網站了解自己所 喜愛的教師,選擇該教師所教的課程。學員管理模塊: 介紹該網站培訓出來的優秀學員的信息以及他們的個人照片,通過 介紹他們成功的經歷和一些經驗來激發用戶對該網站培訓課程的興趣,讓他們覺得 學習該網站的某一課程對他們來說是多么必要。企業招聘信息發布模塊: 通過發布一些合適企業的招聘信息讓學員能更快地找到工 作。信息咨詢
模塊:讓用戶能通過在網頁上以留言的方式快速地提出自己不明白的問 題,以便讓管理員及時解決。學員論壇:讓學員有一個能夠互相交流和學習的平臺,通過論壇,讓他們之間能夠 互相交流學習經驗,解決學習中不懂得問題,以及一些成功的經驗心得。用戶訪問追蹤: 讓網站能通過用戶對該網站課程的點擊次數以及時間來判斷大部分 用戶的需求,以便網站能根據他們的需求進一步改善網站的各個服務。(2)開發平臺 操作系統:Windows Server 2003。數據庫開發工具:SQL Server 2000。網頁開發工具:Dreamweaver MX。動態網頁技術:ASP.NET。Web 服務器:Internet 信息服務(IIS)管理器。
六、進度安排
3 月 15 日----3 月 31 日 收集資料,閱讀文獻,完成開題報告 4 月 1 日---4 月 7 日 系統分析階段 4 月 8 日----4 月 20 日 系統設計階段
4 月 21 日----5 月 20 日 系統實施與編程。5 月 21 日---5 月 27 日 系統調試與改進 5 月 28 日---6 月 5 日 畢業論文撰寫 6 月 5 日---6 月 10 日 畢業論文打印、畢業答辯準備及 PPT 制作。
參 考 文 獻
[1] 鄭淑芬,許嘉仁,張書源.新一代 C#與 ASP.NET 權威指南.北京:中國青年出版社.2001 [2] 杜軒華,袁方.web 開發技術.上海:上海大學出版社.2005 [3] 求是科技.ASP.NET 數據庫管理系統開發實例導航.北京:人民郵電出版社.2005 [4] 劉浩,陳曙東.C#編程實例與技巧.北京:清華大學出版社.2002 [5] Jesse Liberty.C#程序設計.北京:中國電力出版社.2002 [6] 劉杰,陳發吉,孫維煜,胡方霞.C#案例開發.北京:中國水利水電出版社.2005 [7] 張智毅.Visual Studio.NET+SQL Server 數據庫開發從基礎到實踐.北京:電子工業出版社.2006 [8] 王珊.數據庫系統簡明教程.北京:高等教育出版社出版.2004 [9] 劉方鑫.數據庫原理與技術.北京:電子工業出版社.2002 [10] 章立民.SQL Server 2000 Transact-SQL 程式設計.臺北:臺灣出版社.2002 [11] 肖建.ASP.NET 編程實例與技巧集粹.北京:北京希望電子出版社出版.2003 [12] Jeffrey Richter.Microsoft.NET 框架程序設計.北京:清華大學出版社.2003 [13] 陳安全,劉莉譯.Visual Studio.NET 高效編程.北京:清華大學出版社.2002 http://chs.gotdotnet.com/quickstart/ [14] 微軟.NET 技術的快速入門網站
[15] 微軟官方.NET 指導站點 http:/// [16] 中國 DotNet 俱樂部 http:/// [17] DOTNET 中華網 http:/// [18] 孟憲會之精彩世界 http://dotnet.aspx.cc/ [19] CSDN 文檔中心 http://dev.csdn.net/
第五篇:畢業設計(論文)題目網絡動態同學錄系統的設計與實現
畢業設計(論文)題目:網絡動態同學錄系統的設計與實現
要求:1.WEB服務器端的開發環境采用ASP+SQL server2005;
2.采用B/S的體系結構;
3.要完整的一套設計(開題報告、論文、答辯PPT),其中論文要做到以下
1正文包括需求分析、幾點:○系統模塊功能設計、系統的實現、調試運行;2調試運行必須寫明整個系統開發時遇到的問題以及怎樣解決,○用了些什么比較好的方法技術解決了些什么困難問題,重要體現自己做的過程,其
3整個論文不能出現大量的代碼和截圖,他內容由投標人適當寫;○只能粘
4摘要3000字(英貼必要的代碼和截圖,正文字數要一萬一千字以上;○
譯漢)。
4.把整個系統的文件打包發給我,我把它放到相關目錄下,在IE輸入地址可以運行,不要EXE文件;
5.不要把網上的東西直接擋給我,必須修改來符合我的要求才給我,界面必須改,當然原創最好;
6.整個系統的模塊不需要多,只要相應的功能強大一點就好;
7.純屬個人要求,希望投標的人有點耐心,在后期如果有問題的話,能夠通過QQ提供點幫助;
8.5月1日前必須給我,能夠提前也好。
本人QQ:497474286.有什么疑問通過QQ發給我,加QQ時,注明:畢業設計。