數(shù)據(jù)類型范文
時(shí)間:2023-04-07 05:01:01
導(dǎo)語:如何才能寫好一篇數(shù)據(jù)類型,這就需要搜集整理更多的資料和文獻(xiàn),歡迎閱讀由公務(wù)員之家整理的十篇范文,供你借鑒。
篇1
首先,我知道這篇文章可能會引起一些觀點(diǎn)上的爭論。但我認(rèn)為,EMC作為一個(gè)以客戶為中心的公司,現(xiàn)在和以后都會以提供市場需要的技術(shù)和解決方案為己任。不要以為我們公司會僅僅因?yàn)槲业念A(yù)言就停止生產(chǎn)某種產(chǎn)品了,我們所采取的行為永遠(yuǎn)都是基于需求的。
在開始談?wù)摯鎯π枨笾?,我想先說說我關(guān)于數(shù)據(jù)和信息需求發(fā)展情況的觀點(diǎn)。因?yàn)閿?shù)據(jù)就是存儲的“客戶”,所以,要了解存儲的發(fā)展方向就必須從數(shù)據(jù)說起。
我認(rèn)為,未來的數(shù)據(jù)世界依然是分為兩種類型。以前我們一直分為結(jié)構(gòu)化數(shù)據(jù)和非結(jié)構(gòu)化數(shù)據(jù),但是事情并非這么簡單,因?yàn)楝F(xiàn)在人們必須行動起來,在他們的非結(jié)構(gòu)化數(shù)據(jù)中添加一些結(jié)構(gòu)化的成分,這樣才能使這些數(shù)據(jù)更便于使用。換句話說,數(shù)據(jù)和信息正在變得更加結(jié)構(gòu)化。因此,這些術(shù)語已經(jīng)不再適合形容這些數(shù)據(jù)類型了。而且,我認(rèn)為關(guān)于數(shù)據(jù)的分歧將越來越依賴于我稱為單事務(wù)處理時(shí)延的需求?,F(xiàn)在OLTP(聯(lián)機(jī)事務(wù)處理)系統(tǒng)已經(jīng)有了這方面的需求,其事務(wù)處理性能對相關(guān)的存儲系統(tǒng)是一個(gè)極為重要的屬性。單事務(wù)處理時(shí)延至關(guān)重要是因?yàn)榇蠖鄶?shù)OLTP系統(tǒng)的操作都只與單個(gè)關(guān)系型數(shù)據(jù)庫相關(guān),這主要是出于一致性方面的考慮。在這種情況下,總體帶寬和I/O容量就沒有時(shí)延那么重要了。這就像只有一個(gè)收費(fèi)站的高速公路,收費(fèi)站的性能很大程度上決定了系統(tǒng)的總體性能。
上面這種數(shù)據(jù)類型我稱之為OLTP數(shù)據(jù),大量的其他信息(估計(jì)現(xiàn)在已超過70%,而到2010年將上升到95%)可以劃歸為另一種類型―我稱之為Web數(shù)據(jù)。這種數(shù)據(jù)與前一種類型數(shù)據(jù)定義的區(qū)別在于,單事務(wù)處理時(shí)延并不是最重要的因素。比如說,一次Web搜索大概花費(fèi)半秒鐘的時(shí)間,人們會關(guān)注究竟是花了0.45秒還是0.55秒嗎?當(dāng)然不會。既然多個(gè)搜索可以并行執(zhí)行,那么這里需要的就是聚合性能。在高速公路上,也許收費(fèi)站都很慢,但由于有很多個(gè),那就不會成為瓶頸了。
我認(rèn)為我們將要看到的變化是非結(jié)構(gòu)化數(shù)據(jù)會變得更加結(jié)構(gòu)化。顯然,使用傳統(tǒng)關(guān)系型數(shù)據(jù)庫是不行的,使用傳統(tǒng)數(shù)據(jù)庫的應(yīng)用程序無法約束這些孤立Web數(shù)據(jù)。因?yàn)檫@些結(jié)構(gòu)可能是來自標(biāo)簽、索引、元數(shù)據(jù)或者定義本體的對象結(jié)構(gòu)的。
我們最近獲悉一家名為XHive的公司開發(fā)了一些很不錯的技術(shù)。其中最有意義的是,XHive開發(fā)了XML數(shù)據(jù)庫技術(shù)。這樣,結(jié)構(gòu)化數(shù)據(jù)的關(guān)系型方式更加靈活,而不受使用私有數(shù)據(jù)庫結(jié)構(gòu)的約束。
篇2
關(guān)鍵詞:數(shù)據(jù)結(jié)構(gòu);面向?qū)ο?;?shù)據(jù)類型;抽象數(shù)據(jù)類型
中圖分類號:TP311.12文獻(xiàn)標(biāo)識碼:A文章編號:1009-3044(2011)15-3628-04
Abstract Concept of the Data Type of Multiple Angles Teaching Explore
XING Dan1, YAO Jun-ming1, LI Qun1, GAO Ting2
(1. College of Information Engineering, Jining Medical College, Rizhao 276826, China; 2.The CBRC Rizhao Field Office, Rizhao 276826, China)
Abstract: This article aims at "the construction of data" in the curriculum the abstract data type concept this teaching difficulty, the analysis abstract data type concept introduction reason, and from mathematics angle, the programming angle as well as the object-oriented angle understood profoundly this concept, "the construction of data" the curriculum content's whole arrangement as well as the following curriculum's upholstery has laid the solid foundation for the student assurance.
Key words: data structure; object-oriented; data type; abstract data type
數(shù)據(jù)結(jié)構(gòu)課程是計(jì)算機(jī)科學(xué)技術(shù)專業(yè)的一門專業(yè)技術(shù)基礎(chǔ)課,而對計(jì)算機(jī)專業(yè)學(xué)生所要培養(yǎng)的目標(biāo)就是對學(xué)生進(jìn)行復(fù)雜程序設(shè)計(jì)的訓(xùn)練過程,同時(shí)也是培養(yǎng)他們的數(shù)據(jù)抽象能力。程序=算法+數(shù)據(jù)結(jié)構(gòu),由此可以看出這樣數(shù)據(jù)結(jié)構(gòu)課程的重要地位。同時(shí)也是進(jìn)行后續(xù)的操作系統(tǒng)、編譯原理及網(wǎng)絡(luò)等課程的一個(gè)前續(xù)課程。抽象數(shù)據(jù)類型是“數(shù)據(jù)結(jié)構(gòu)”課程中一個(gè)非常重要的概念,是各種數(shù)據(jù)結(jié)構(gòu)(線性表、棧、隊(duì)列、串、數(shù)組、樹以及圖)學(xué)習(xí)的脈絡(luò)線索,因此能夠充分的、多角度的理解該概念,不僅可以完成數(shù)據(jù)結(jié)構(gòu)課程的教學(xué)目標(biāo)――數(shù)據(jù)抽象的能力,樹立模塊化程序設(shè)計(jì)的思想,同時(shí)也能夠?yàn)楹罄m(xù)培養(yǎng)面向?qū)ο蟮乃枷胱饕凿亯|。
1 抽象數(shù)據(jù)類型概念引入的原因
抽象數(shù)據(jù)類型的引入要從數(shù)據(jù)結(jié)構(gòu)這一概念談起,雖然對數(shù)據(jù)結(jié)構(gòu)沒有統(tǒng)一的定義,但大多數(shù)都認(rèn)為數(shù)據(jù)結(jié)構(gòu)包括三個(gè)方面的內(nèi)容即數(shù)據(jù)的邏輯結(jié)構(gòu);數(shù)據(jù)的存儲結(jié)構(gòu);數(shù)據(jù)的相關(guān)操作。而數(shù)據(jù)的邏輯結(jié)構(gòu),指的是數(shù)據(jù)元素之間的關(guān)聯(lián)(鄰接)關(guān)系;只是從邏輯的角度來看待數(shù)據(jù)元素;對于數(shù)據(jù)的存儲結(jié)構(gòu),則指的是數(shù)據(jù)的邏輯結(jié)構(gòu)在計(jì)算機(jī)中的表示和實(shí)現(xiàn);數(shù)據(jù)的操作則是要建立在存儲結(jié)構(gòu)之上,如果直接以內(nèi)存地址來描述存儲結(jié)構(gòu),并且在其上定義操作,勢必學(xué)習(xí)就會陷入到具體細(xì)節(jié)的糾纏中,同時(shí)對于不同的語言所描述出來的操作都不盡相同,就不能從一個(gè)高視角來理解每一種數(shù)據(jù)結(jié)構(gòu)。而在高級程序設(shè)計(jì)語言中恰恰有這樣一個(gè)概念,數(shù)據(jù)類型,它是一個(gè)值的集合和定義在該值集上的一組操作。那就可以從數(shù)學(xué)的角度,也就可以從抽象的角度,也可以為今后的面向?qū)ο笏季S來考慮,而引入這樣一個(gè)概念。
2 抽象數(shù)據(jù)類型概念的數(shù)學(xué)角度理解
為了能夠從抽象的角度來描述數(shù)據(jù)結(jié)構(gòu)的三個(gè)方面的內(nèi)容,從整體把握每種數(shù)據(jù)結(jié)構(gòu),體現(xiàn)數(shù)據(jù)元素之間的關(guān)系和操作,將高級語言中的數(shù)據(jù)類型進(jìn)一步抽象便是抽象數(shù)據(jù)類型。
抽象數(shù)據(jù)類型的概念是Liskov和Guttay在70年代中期提出的,是指數(shù)學(xué)模型以及定義在該模型上的一組操作[1],抽象數(shù)據(jù)類型把數(shù)據(jù)結(jié)構(gòu)及其操作作為一個(gè)整體來研究,可以用一個(gè)三元組表示(D,S,P),其中D是數(shù)據(jù)對象,S是D上的關(guān)系集,P是對D的基本操作集??梢姵橄髷?shù)據(jù)類型是把一個(gè)數(shù)據(jù)結(jié)構(gòu)和它上面的操作結(jié)合成一個(gè)統(tǒng)一的單元進(jìn)行討論。可以采用以下格式來定義抽象數(shù)據(jù)類型:
ADT 抽象數(shù)據(jù)類型名{
數(shù)據(jù)對象:
數(shù)據(jù)關(guān)系:
基本操作:
} ADT抽象數(shù)據(jù)類型名
抽象的含義還指它的定義僅取決于:
數(shù)據(jù)對象:一組性質(zhì)相同的數(shù)據(jù)元素的集合。
數(shù)據(jù)關(guān)系:數(shù)據(jù)關(guān)系的定義。
基本操作定義格式為:
基本操作名(參數(shù)表)
初始條件:
操作結(jié)果:
通過對抽象數(shù)據(jù)類型三元組的定義的講解來培養(yǎng)學(xué)生的抽象能力。
ADT Triplet {
數(shù)據(jù)對象: D = {e1,e2,e3|e1,e2,e3 ∈ElemSet}
數(shù)據(jù)關(guān)系: R1 = {, }
基本操作:
InitTriplet(&T, v1, v2, v3)
操作結(jié)果:構(gòu)造一個(gè)三元組T, 元素e1, e2和 e3
分別被賦以參數(shù)v1, v2 和v3的值。
DestroyTriplet(&T)
操作結(jié)果:三元組T被銷毀。
Get (T, i, &e)
初始條件:三元組T已存在, 1≤i≤3 。
操作結(jié)果:用 e 返回 T 的第 i 個(gè)元的值。
Put (&T, i, e)
初始條件:三元組T已存在 。
操作結(jié)果:改變 T 的第 i 個(gè)元的值為e 。
IsAscending(T)
初始條件:三元組T已存在 。
操作結(jié)果:若T的3個(gè)元素按升序排列,則返回1 ,
否則返回0。
IsDecending(T)
初始條件:三元組T已存在 。
操作結(jié)果:若T的3個(gè)元素按降序排列,則返回1 ,
否則返回0。
Max(T, &e)
初始條件:三元組T已存在 。
操作結(jié)果:用 e 返回 T 的3 個(gè)元素的最大值。
Min(T, &e)
初始條件:三元組T已存在 。
操作結(jié)果:用 e 返回 T 的3 個(gè)元素的最小值。
} ADT Triplet
3 抽象數(shù)據(jù)類型概念的程序設(shè)計(jì)角度理解
從程序設(shè)計(jì)角度,數(shù)據(jù)對象可定義為數(shù)據(jù)類型的結(jié)構(gòu)定義,在基本操作中只有對該種數(shù)據(jù)類型基本操作功能的初始條件,返回結(jié)果的描述,這種描述就是從整體上考慮了數(shù)據(jù)類型的相關(guān)功能。
為了提高軟件的復(fù)用性,在近代程序設(shè)計(jì)方法學(xué)中指出,一個(gè)軟件系統(tǒng)的框架應(yīng)建立在數(shù)據(jù)之上,而不是建立在操作之上,即在構(gòu)成軟件系統(tǒng)的每個(gè)相對獨(dú)立的模塊上,定義一組操作,并在模塊內(nèi)部給出這些數(shù)據(jù)的表示及其操作的細(xì)節(jié),而在模塊外部使用的只是抽象的數(shù)據(jù)和抽象的操作,顯然,所定義的數(shù)據(jù)類型的抽象層次越高,含有該抽象數(shù)據(jù)類型的軟件模塊的復(fù)用程度也就越高。
通過對抽象數(shù)據(jù)類型三元組采用動態(tài)分配順序存儲結(jié)構(gòu)來看程序設(shè)計(jì)。
抽象數(shù)據(jù)類型Triplet的表示與實(shí)現(xiàn)
//---采用動態(tài)分配順序存儲結(jié)構(gòu)----typedef ElemType * Triplet;//
//---基本操作的函數(shù)原型說明-----
Status InitTriplet (Triplet &T, ElemType v1,
ElemType v2, ElemType v3 );
//操作結(jié)果:構(gòu)造三元組T, 元素和e1, e2和 e3分別被賦以參數(shù)v1, v2和v3的值。
Status DestroyTriplet(Triplet &T);
//操作結(jié)果:三元組T被銷毀。
Status Get(Triplet T, int i, ElemType &e);
//初始條件:三元組T已存在, 1≤i≤3。
操作結(jié)果:用 e 返回 T 的第 i 個(gè)元的值。
Status Put (Triplet &T, int i, ElemType e);
//初始條件:三元組T已存在 。
//操作結(jié)果:改變 T 的第 i 個(gè)元的值為e。
Status IsAscending(Triplet T);
//初始條件:三元組T已存在。
//操作結(jié)果:若T的3個(gè)元素按升序排列,則返回1,
否則返回0。
Status IsDecending(Triplet T);
//初始條件:三元組T已存在。
//操作結(jié)果:若T的3個(gè)元素按降序排列,則返回1,
否則返回0。
Status Max(Triplet T, ElemType &e);
//初始條件:三元組T已存在。
//操作結(jié)果:用e返回T的3個(gè)元素的最大
Status Min(Triplet T, ElemType &e);
//初始條件:三元組T已存在 。
//操作結(jié)果:用e返回T的3個(gè)元素的最小值。
Status InitTriplet(Triplet &T, ElemType v1, ElemType v2, ElemType v3){
T= (ElemType *) malloc (3*sizeof (ElemType));
if (!T) exit (OVERFLOW);
T[0]= v1;T[1]= v2;T[2]= v3;
return OK;} // InitTriplet
Status DestroyTriplet (Triplet &T){
free(T);T=NULL;
return OK;} // DestroyTriplet
Status Get (Triplet T, int i, ElemType & e) {
if (i3) return ERROR;
e = T [i-1];
return OK;} // Get
Status Put (Triplet &T, int i, ElemType e) {
if (i3) return ERROR;
T [ i-1 ] = e;
return OK;} // Put
Status IsAscending(Triplet T ){//
return (T[0]
} // IsAscending
Status IsDecending(Triplet T ){//
return (T[0] >= T[1] && T[1] >= T[2]);
} // IsDecending
Status Max(Triplet T, ElemType &e) {//
e = (T[0]>=T[1]) ?((T[0] >=T[2]) ?T[0] :T[2])
:((T [1] >=T [2]) ?T[1]:T[2]);
return OK;} // Max
Status Min(Triplet T, ElemType &e) {//
e = (T[0]
:((T[1]
return OK;} // Min
4 抽象數(shù)據(jù)類型概念的面向?qū)ο蠼嵌壤斫?/p>
面向?qū)ο蟮乃拇筇卣鳛槌橄?、封裝、繼承和多態(tài)。
抽象是從許多十五中,舍棄個(gè)別的、非本質(zhì)的屬性,抽取出共同的、本質(zhì)的屬性的過程。抽象分成過程抽象和數(shù)據(jù)抽象。過程抽象是功能抽象,舍棄個(gè)別的功能,抽取共同擁有的功能。數(shù)據(jù)抽象是一種更高級別的抽象,把現(xiàn)實(shí)世界中存在的客體作為抽象單元。在抽象數(shù)據(jù)類型中不僅有抽象還有數(shù)據(jù)抽象,用ADT描述程序處理的實(shí)體時(shí),只有操作的定義,沒有具體實(shí)現(xiàn),強(qiáng)調(diào)的是其本質(zhì)的特征,其所能完成的功能,以及它的外部用戶的接口。
數(shù)據(jù)封裝:將實(shí)體的外部特征和其內(nèi)部實(shí)現(xiàn)細(xì)節(jié)分離,并且對外部用戶隱藏其內(nèi)部細(xì)節(jié)實(shí)現(xiàn)。在面向?qū)ο笾蟹庋b是將現(xiàn)實(shí)世界中存在的某個(gè)客體的屬性與行為綁定在一起,并放置在邏輯單元中。該邏輯單元負(fù)責(zé)將所描述的客體屬藏起來,客體外界對客體內(nèi)部屬性的所有訪問只能通過提供用戶的接口實(shí)現(xiàn)。這樣做既可以對客體屬性起到保護(hù)作用,又可以提高軟件系統(tǒng)的可維護(hù)性。只要用戶接口不改變,任何封裝體內(nèi)部的改變都不會對軟件系統(tǒng)的可維護(hù)性造成影響。在抽象數(shù)據(jù)類型中,將操作的功能描述封裝在一個(gè)封裝體內(nèi)。
繼承和多態(tài),在抽象數(shù)據(jù)類型中沒有具體體現(xiàn),但是對基本操作只有定義,而沒有具體實(shí)現(xiàn),至于每種不同的該抽象數(shù)據(jù)類型的實(shí)現(xiàn)到底如何去做暫不管,只要遵循對外提供的接口即可,間接的使用了繼承和多態(tài)的技術(shù)。
還可將抽象數(shù)據(jù)類型看成是類,數(shù)據(jù)對象則為類中的屬性,方法則為基本操作,而且方法還是只有定義沒有具體實(shí)現(xiàn)的,那么可以看成是接口。
5 結(jié)束語
從教學(xué)實(shí)踐中,深刻理解和把握了“抽象數(shù)據(jù)類型”這一概念的重要性,從多角度的講解有助于學(xué)生正確理解這一概念的實(shí)質(zhì)和內(nèi)涵,為后續(xù)課程的鋪墊奠定了堅(jiān)實(shí)的基礎(chǔ)。
參考文獻(xiàn):
[1] 嚴(yán)蔚敏,吳偉民.數(shù)據(jù)結(jié)構(gòu)(C語言版)[M].北京:清華大學(xué)出版社,1997.
[2] 杜瑩,于靜洋.抽象數(shù)據(jù)類型概念的教學(xué)探索[J].教育與教學(xué)研究,2006(5):231-232.
[3] 徐孝凱.數(shù)據(jù)結(jié)構(gòu)實(shí)用教程(C/C++描述)[M].北京:清華大學(xué)出版社,1999.
[4] 汪詩林,孫曉東.數(shù)據(jù)結(jié)構(gòu)、算法與應(yīng)用(C++語言描述)[M].北京:國防工業(yè)出版社,2000.
[5] 張銘,許卓群.數(shù)據(jù)結(jié)構(gòu)課程的知識體系和教學(xué)實(shí)殘[J].計(jì)算機(jī)教育,2004:123-124.
[6] 唐策善,黃劉生.?dāng)?shù)據(jù)結(jié)構(gòu)[M].合肥:中國科學(xué)技術(shù)大學(xué)出版社,1992.
篇3
關(guān)鍵詞:可空類型數(shù)據(jù);Null;類型轉(zhuǎn)換
是一個(gè)全新和強(qiáng)大的服務(wù)器控件結(jié)構(gòu),環(huán)境中提供的訪問接口,通過它連接SQL Server。兩家軟件公司對可空類型數(shù)據(jù)的定義存在著差異,所以在程序設(shè)計(jì)過程中會出現(xiàn)類型數(shù)據(jù)轉(zhuǎn)換不符的系統(tǒng)錯誤。
一、可空類型數(shù)據(jù)和不可空類型數(shù)據(jù)
1.SQL Server中的可空類型數(shù)據(jù)和不可空類型數(shù)據(jù)
SQL Server數(shù)據(jù)庫中對表結(jié)構(gòu)進(jìn)行定義時(shí),任何一種類型都可以設(shè)置為可空類型或不可空類型。如下圖1所示:
■
允許空值選中。這代表著id這個(gè)列名的數(shù)據(jù)類型是可空的,反之,數(shù)據(jù)的類型是不可空的。所以判斷SQL Server中的數(shù)據(jù)類型是可空的只要看允許空選項(xiàng)是否選中。
2.在中的可空類型數(shù)據(jù)與不可空類型數(shù)據(jù)
中提供多種編程語言環(huán)境。以C#為例,C#中基本的數(shù)據(jù)類型為值類型和引用類型。C# 2.0以上版本中新增加了可空類型,即包含Null值的值類型。而不可空類型數(shù)據(jù)一般是值類型,如int,boolean,decinal,datetime等。當(dāng)我們最終把數(shù)據(jù)庫表映射到一個(gè)對象時(shí),此時(shí)如datetime等值類型在C#語言中是不能為Null。
3.Null與"",0的區(qū)別
“Null”和數(shù)據(jù)空不是同一個(gè)概念。實(shí)際上,Null代表是空值,是“可以讓它是空的”的數(shù)據(jù)值,數(shù)據(jù)空可能是數(shù)字“0”,也有可能是空格數(shù)據(jù)"",它所呈現(xiàn)的值取決于數(shù)據(jù)庫表中的數(shù)據(jù)類型定義,如是整型或其他數(shù)值類型,則數(shù)據(jù)空為默認(rèn)數(shù)字的“0”。但不能輸入Null。如是String字符串類型,默認(rèn)值為Null,可以輸入"",也可能輸入字符0。
4.可空類型數(shù)據(jù)的實(shí)際應(yīng)用
C#程序設(shè)計(jì)中,常用到可空類型數(shù)據(jù)與不可空類型數(shù)據(jù)。C#中的其他值類型數(shù)據(jù)都可能在程序運(yùn)行的過程出現(xiàn)“不顯示”或“不設(shè)置”這種情況。這些需通過類型數(shù)據(jù)的轉(zhuǎn)換,符合設(shè)計(jì)和應(yīng)用人員的要求。如何解決值類型也能為可空類型?用什么方法進(jìn)行類型數(shù)據(jù)轉(zhuǎn)換?
二、可空類型數(shù)據(jù)轉(zhuǎn)換
1.可空類型數(shù)據(jù)的轉(zhuǎn)換方法
C#中的不可空類型數(shù)據(jù)如何轉(zhuǎn)換為可空類型數(shù)據(jù)。它的轉(zhuǎn)換格式如下如示:
int?nullable=null;
或Nullablenullable=null;
兩者的表示是等效的。常用第一種方式。
在類型數(shù)據(jù)定義符后面加上一個(gè)“?”,就可把C#中不可空類型數(shù)據(jù)轉(zhuǎn)換為可空類型類型。
2.整數(shù)類型的轉(zhuǎn)換
下面以例1來加強(qiáng)認(rèn)識。
例1:整數(shù)的互相賦值
INT I1=5;I1賦值為5
INT?I2=I1;//可以賦值int賦值給int?
INT?I3=5;I3賦值為5
INT I4=I3;//不可以賦值int?賦值給int
從上面的幾個(gè)賦值可知,可空類型數(shù)據(jù)可以接受同類型的不可空類型的數(shù)據(jù)。不可空類型數(shù)據(jù)不能接受可空類型數(shù)據(jù)。
3.日期類型數(shù)據(jù)的轉(zhuǎn)換
■
C#中WPF窗口拖入一個(gè)按鈕控件和一個(gè)日期控件,并對按鈕進(jìn)行設(shè)計(jì),如圖2所示。
C#中日期類型dateTime是一個(gè)不可空的類型數(shù)據(jù)。datePicker是WPF是一個(gè)日期選擇控件,其中SelecteDate屬性是一個(gè)可空的類型。要把datePicker控件所選擇的日期數(shù)據(jù)傳遞出去。需要進(jìn)行類型轉(zhuǎn)換??捎靡韵鲁绦虼a解決。
dateTime?value=datePicker1.Selecteddate;
同樣的原理,其他的不可空類型數(shù)據(jù)可以通過在類型標(biāo)志前加“?”解決可空類型數(shù)據(jù)的轉(zhuǎn)換。
4.注意事項(xiàng)
(1)因?yàn)榭煽疹愋涂赡転榭?,于是很多運(yùn)算法則將不再簡單適用,如A+B,如果A或者B當(dāng)中有一個(gè)或者兩個(gè)為可空類型,那么它們便不能簡單相加,因?yàn)樗鼈兛赡軙榭?,這時(shí)結(jié)果也就可能會為空,所以一定要了解該數(shù)據(jù)的類型。如果程序編譯出現(xiàn)未能轉(zhuǎn)換類型錯誤,則要考慮該數(shù)據(jù)類型是否可為空。
(2)可空類型可強(qiáng)制轉(zhuǎn)換為對應(yīng)的基礎(chǔ)類型,但在轉(zhuǎn)換之前一定要知道是否不為空,如果為空的話就會出錯。
(3)不要隨意使用可空類型,使用時(shí)一定要小心,隨時(shí)了解數(shù)據(jù)類型是否為空。
可空類型允許變量包含未定義的值。使用SQL Server數(shù)據(jù)庫設(shè)計(jì)可使用可空類型。而在C#設(shè)計(jì)環(huán)境中這種限制使得我們在開發(fā)過程中要相當(dāng)小心,要考慮的內(nèi)容較多。通過合理設(shè)置可空類型,或進(jìn)行類型數(shù)據(jù)的轉(zhuǎn)換,把一些潛在的麻煩或錯誤消除。
參考文獻(xiàn):
[1]吳晨2.0+SQL Server2005數(shù)據(jù)庫開發(fā)與實(shí)例.清華大學(xué)出版社,2008.
[2]李春葆,金昌,曾平葆.數(shù)據(jù)庫原理與應(yīng)用:基于SQL Server
篇4
一、考查分段函數(shù)中自變量的取值集合或取值范圍
例1已知函數(shù)f(x)=2,x∈[0,1],x,x[0,1],則使f[f(x)]=2成立的實(shí)數(shù)x的集合為 .
解若x∈[0,1]時(shí),f[f(x)]=f(2)=2,說明0≤x≤1滿足題意.若x[0,1],f[f(x)]=f(x)=x,而已知條件,f[f(x)]=2,故x=2符合要求.所以答案是:{2}∪[0,1].
點(diǎn)評求解此類問題的方法是由內(nèi)向外逐層進(jìn)行,在代入求函數(shù)值時(shí)要注意自變量所在的是哪一段范圍.
二、考查分段函數(shù)中參數(shù)的取值或取值范圍
例2已知實(shí)數(shù)a≠0,函數(shù)f(x)=2x+a,x
解①當(dāng)1-a0時(shí),此時(shí)a+1>1,由f(1-a)=f(1+a)得2(1-a)+a=-(1+a)-2a,解得a=-32(舍去).
②當(dāng)1-a>1,即a
點(diǎn)評分段函數(shù)里含有參數(shù)的問題,通常用到函數(shù)的性質(zhì)(如單調(diào)性、最值等)及轉(zhuǎn)化、分類討論和數(shù)形結(jié)合等數(shù)學(xué)思想.
三、考查分段函數(shù)的零點(diǎn)問題
例3已知函數(shù)f(x)=(2x-x2)ex,-x2+4x+3,x≤0,x>0,g(x)=f(x)+2k,若函數(shù)g(x)恰有兩個(gè)不同的零點(diǎn),則實(shí)數(shù)k的取值范圍為 .
解當(dāng)x≤0時(shí),f ′(x)=(2-x2)ex,當(dāng)x=-2時(shí)取得極小值f(-2)=-2(2+1)e-2.當(dāng)x
,即k∈(-72,-32)∪(0,2+1e2).
點(diǎn)評分段函數(shù)的零點(diǎn)問題,一般也是利用數(shù)形結(jié)合轉(zhuǎn)化為兩個(gè)函數(shù)圖象的交點(diǎn)個(gè)數(shù),這種數(shù)形結(jié)合的思想方法能夠幫助我們直觀解題.
四、考查分段函數(shù)的周期性問題
例4定義在R上的函數(shù)f(x)滿足f(x)=21-x,f(x-1)-f(x-2),x≤0,x>0,則f(33)= .
解由已知f(-1)=4,f(0)=2,f(1)=f(0)-f(-1)=-2,f(2)=f(1)-f(0)=-4,f(3)=f(2)-f(1)=-2.因x>0時(shí),f(x)=f(x-1)-f(x-2)①,所以當(dāng)x>-1時(shí),x+1>0,有f(x+1)=f(x)-f(x-1)②.故由①②,當(dāng)x>0時(shí),f(x+1)=-f(x-2);于是當(dāng)x>-2時(shí),x+2>0,所以f(x+3)=-f(x)③,則當(dāng)x>-5時(shí),x+5>0,所以f(x+6)=-f(x+3)④,由③④知f(x+6)=f(x).即知在(0,+∞)上,函數(shù)f(x)的周期為6,從而f(33)=f(5×6+3)=f(3)=-2.
點(diǎn)評分段函數(shù)中有些問題表面上看與周期毫無關(guān)系,但實(shí)際上隱含著周期性,一旦揭示了周期,問題便迎刃而解了.要注意變量代換法揭示函數(shù)周期的應(yīng)用.
五、考查分段函數(shù)的值域
例5設(shè)f(x)=x2,x,|x|≥1,|x|
A.(-∞,-1]∪[1,+∞)
B.(-∞,-1]∪[0,+∞)
C.[0,+∞)
D.[1,+∞)
解由題意知f(x)的值域?yàn)閇-1,+∞),若f(g(x))的值域是[0,+∞),只需g(x)∈(-∞,-1]∪[0,+∞),作出f(x)的圖象,如圖2,可知g(x)的值域必然包含[0,1]且不包含(-1,0),又因?yàn)間(x)是二次函數(shù),故y=g(x)圖象開口向上,且其最小值為0.所以g(x)∈[0,+∞).
點(diǎn)評分段函數(shù)的值域的求法通常從兩個(gè)方面入手:一是先分段求值域,然后取并集;二是作出函數(shù)圖象,觀察即得.
六、考查分段函數(shù)的單調(diào)性
例6函數(shù)f(x)=a2(x
解由題意可知f(x)是R上的單調(diào)減函數(shù),故有0
篇5
(訊)8月12日消息北斗智庫工作室獨(dú)家了第三期網(wǎng)頁游戲產(chǎn)品發(fā)展報(bào)告,報(bào)告顯示,自2011年3月以來,RPG游戲和SLG游戲在產(chǎn)品數(shù)量和市場份額中仍占較大比重,ARPG在RPG類型游戲中已成為主流。同時(shí),該工作室還對網(wǎng)頁游戲ARPG趨勢明顯的現(xiàn)象做了點(diǎn)評。
北斗智庫工作室認(rèn)為,休閑競技類游戲上升勢頭明顯,ARPG在RPG游戲已經(jīng)成為主流。雖然目前網(wǎng)頁游戲中RPG游戲和SLG游戲仍為主流,但隨著時(shí)間推移,新的市場爆發(fā)點(diǎn)極有可能在休閑競技領(lǐng)域;同時(shí),北斗智庫工作室預(yù)測,ARPG在RPG游戲的熱度將會持續(xù)到明年10月份。
北斗智庫工作室分析,網(wǎng)頁游戲ARPG趨勢明顯的主要原因是方便易上手。相較于傳統(tǒng)的網(wǎng)頁游戲,APRG具有極強(qiáng)的互動性,精美的畫面可以與2D MMORPG客戶端一較長短;同時(shí),高強(qiáng)度互動性的MMO角色扮演游戲在中后期玩家流失大,玩家逐步倒向相對輕松的休閑競技游戲。
北斗智庫工作室還預(yù)測,部分研發(fā)團(tuán)隊(duì)或?qū)L試?yán)溟T題材和類型的游戲開發(fā)。由于目前頁游市場產(chǎn)品主要集中在ARPG、SLG上,制作團(tuán)隊(duì)在降低競爭風(fēng)險(xiǎn)的同時(shí)也造成了游戲類型的重復(fù)。因此,將會有研發(fā)團(tuán)隊(duì)?wèi){借冷門的游戲進(jìn)軍市場,希望藉此打破自身的僵局,贏得用戶市場的認(rèn)可。(編選:
來源:DoNews)
篇6
[關(guān)鍵詞]數(shù)字化;數(shù)字證據(jù);視聽資料;書證;數(shù)字證據(jù)規(guī)則
STUDYONTHEDIGITALEVIDENCE
YUHai-fang,JIANGFeng-ge
(LawschoolofYantaiuniversity,YantaiShandon,264005)
Abstract:Inordertoacceleratethedevelopmentoftheprocedurallaw,weshouldstudytheeffectsofdigitaltechnologyonthesystemofevidence.Asfortheconcept,digitalevidenceshouldbeadopted,insteadofcomputerevidenceorelectronicevidence;asforthesortofevidence,digitalevidenceshouldbeanewsortofevidencethroughthecomparisonwithdocumentaryevidenceandaudio-visualreferencematerial.Asfortherules,theremustbesomespecialrulesfordigitalevidence.Whendosomeresearchonthenewproblemsasaresultofhi-technology,weshouldconnectthetechnologicalcharactersofitandthefeatureofit.
Keywords:digitalization;digitalevidence;documentaryevidence;audio-visualreferencematerial;rulesofevidence
[中圖分類號]D925.1[文獻(xiàn)標(biāo)識碼]A
具有相輔相承關(guān)系的自然科學(xué)與人文社會科學(xué)是人類文明不可分割的整體,自然科學(xué)成就以及其所積累起來的大量實(shí)證科學(xué)知識,為社會科學(xué)提供新的思維方式與研究方法,而社會科學(xué)不僅要思考具體社會關(guān)系中人與人的關(guān)系問題,還要回答自然科學(xué)發(fā)展中出現(xiàn)的一系列制度層面和道德層面的問題。包括法律在內(nèi)的社會科學(xué)往往隨著自然科學(xué)的發(fā)展,在對自然科學(xué)所引導(dǎo)的社會關(guān)系進(jìn)行調(diào)整的同時(shí)獲得了自身的進(jìn)一步發(fā)展與完善。從法律縱向發(fā)展歷史來看,每次重大技術(shù)進(jìn)步都會在刺激生產(chǎn)力飛躍提升的同時(shí)促進(jìn)法律進(jìn)步,工業(yè)革命時(shí)代如此,當(dāng)前以數(shù)字技術(shù)為主導(dǎo)技術(shù)的信息革命時(shí)代也是如此。數(shù)字技術(shù)推促環(huán)境迅速發(fā)展、改變,使法律不得不正面回答其所提出的問題。在這個(gè)過程中,首先進(jìn)行的一般是實(shí)體法的擴(kuò)展與新創(chuàng),隨之而來的則是程序法的映射修正。但是由于目前研究正處于伊使?fàn)顟B(tài),許多問題并沒有得到有效解決。
面對數(shù)字技術(shù)對法律提出的不同以往的挑戰(zhàn),體現(xiàn)于合同法、知識產(chǎn)權(quán)法、行政法的一些程序流程中,我國在一些實(shí)體法中已開始逐漸進(jìn)行解決,但在程序法上卻仍未開始這方面的嘗試。在當(dāng)前已經(jīng)出現(xiàn)的大量技術(shù)含量極高的案例中,作為程序的核心——證據(jù)制度,①不論是民事,還是刑事、行政證據(jù)制度在面對新問題時(shí)都處于一種尚付闕如的尷尬境地,這種尷尬在目前沸沸揚(yáng)揚(yáng)的新浪與搜狐的訴訟之爭中又一次被重演。不僅當(dāng)前制定證據(jù)法的學(xué)者們所提出數(shù)稿中有的根本就沒有此方面的規(guī)定,即使作為對以往司法實(shí)踐的總結(jié)與最新的證據(jù)規(guī)則的《最高人民法院關(guān)于民事訴訟證據(jù)的若干規(guī)定》,對數(shù)字技術(shù)引發(fā)出現(xiàn)的愈來愈多的問題也依然未給予應(yīng)有的注意。數(shù)字技術(shù)引發(fā)的種種問題現(xiàn)下可謂已漸有燎原之勢,卻仍不進(jìn)行解決,可謂欠缺,因此為避免這種脫節(jié),理應(yīng)在數(shù)字技術(shù)環(huán)境下對括民事、刑事、行政證據(jù)制度進(jìn)行新的研究。
一、數(shù)字證據(jù)的可采性與可行性分析
數(shù)字技術(shù)推動出現(xiàn)的社會經(jīng)濟(jì)關(guān)系提出新的要求,體現(xiàn)于法律之上,在實(shí)體法上表現(xiàn)為,要求重新確認(rèn)這種新技術(shù)指示的新類型社會關(guān)系當(dāng)事人間的權(quán)利義務(wù)關(guān)系;在程序法上表現(xiàn)為,當(dāng)這種社會關(guān)系的當(dāng)事人因權(quán)利義務(wù)關(guān)系發(fā)生糾紛時(shí),應(yīng)當(dāng)存在與之相適應(yīng)的相關(guān)程序,或者對已有程序進(jìn)行完善,能夠滿足這種糾紛不同以往而與其技術(shù)特征相適應(yīng)的要求。而在程序法證據(jù)制度上的一個(gè)基本表現(xiàn)就是,要求數(shù)字化過程中所產(chǎn)生的一些數(shù)據(jù)資料等能夠納入到證據(jù)體系中,得到證據(jù)規(guī)則的認(rèn)可,能夠被法庭接受成為證明案件事實(shí)的證據(jù)。
自20世紀(jì)90年代起,EDI數(shù)據(jù)交換方式以其便捷、高效、準(zhǔn)確而備受青睞。一些重要的國際組織針對電子商務(wù)等進(jìn)行大量的立法工作,歐美各國在實(shí)體上早已承認(rèn)以數(shù)據(jù)電文方式訂立合同、申報(bào)納稅與以信件、電報(bào)、傳真等傳統(tǒng)方式具有相同效力,在程序法上也作了相應(yīng)的規(guī)定。美國《聯(lián)邦證據(jù)規(guī)則》通過重申現(xiàn)行判例和成文法的形式肯定了數(shù)據(jù)電文無論是人工做成的還是計(jì)算機(jī)自動錄入的,都可作為訴訟證據(jù)。英國1968年《民事證據(jù)法》規(guī)定,在任何民事訴訟程序中,文書內(nèi)容只要符合法庭規(guī)則就可被接受成為證明任何事實(shí)的證據(jù),而不論文書的形式如何。[8]在1988年修正《治安與刑事證據(jù)法》(ThePoliceandCriminalEvidenceAct)也作出了類似的規(guī)定。加拿大通過R.v.McMullen(Ont.C.A.,1979)一案確立了新證據(jù)在普通法上的相關(guān)規(guī)則。聯(lián)合國貿(mào)法會在《電子商務(wù)示范法》中規(guī)定,“不得僅僅以某項(xiàng)信息采用數(shù)據(jù)電文形式為理由而否定其法律效力、有效性和可執(zhí)行性?!庇殖姓J(rèn)了以數(shù)據(jù)電文方式訂立的合同的有效性,并且認(rèn)為,在一定情況下數(shù)據(jù)電文滿足了對原件的要求,在訴訟中不得否認(rèn)其為原件而拒絕接受為證據(jù)。這些規(guī)定運(yùn)用功能等同法(functional-equivalent),認(rèn)為只要與傳統(tǒng)方式具有相同的功能,即可認(rèn)定為具有同等效力。我國也與這一國際立法趨勢相靠攏,例如我國新修訂的海關(guān)法中規(guī)定了電子數(shù)據(jù)報(bào)關(guān)方式。更為重要的是,我國在合同法中已承認(rèn)以電子數(shù)據(jù)交換方式訂立的合同的有效性,承認(rèn)其符合法律對合同書面形式的要求。要使實(shí)體法的修改有實(shí)際意義,就必須設(shè)定相應(yīng)的程序規(guī)則,使在以實(shí)體規(guī)定為依據(jù)在訴訟中尋求救濟(jì)時(shí)具有程序法基礎(chǔ),否則實(shí)體法上的修改不啻一紙空文。
雖然數(shù)字證據(jù)并不單純只是在電子商務(wù)關(guān)系中產(chǎn)生,其還可在其他社會關(guān)系中產(chǎn)生,①但數(shù)字證據(jù)問題主要是由于電子商務(wù)的飛速發(fā)展而提出。由于電子商務(wù)交易追求交易的快速便捷、無紙化(paperlesstrading)流程,在很多交易過程中很少有甚至根本就沒有任何紙質(zhì)文件出現(xiàn),電子商務(wù)交易中所存在的與交易相關(guān)的資料可能完全是以數(shù)字化形式存在于計(jì)算機(jī)等存儲設(shè)備中。一旦產(chǎn)生糾紛,如果在程序法上不承認(rèn)數(shù)字證據(jù)的證據(jù)力,當(dāng)事人將沒有任何證據(jù)來支持自己的權(quán)利主張,無法得到法律救濟(jì),商人對電子交易就難以產(chǎn)生依賴感,不利于電子商務(wù)的發(fā)展。
縱觀證據(jù)法的發(fā)展歷程,各種證據(jù)類型是在隨著經(jīng)濟(jì)社會的發(fā)展中逐漸得到法律承認(rèn)的,目前作為主要證據(jù)形態(tài)的紙質(zhì)文件經(jīng)歷了很長的時(shí)間方得到法律認(rèn)可,視聽資料也經(jīng)歷了類似的過程。電子技術(shù)在20世紀(jì)大行其道,導(dǎo)致證據(jù)法上接受了電子資料的證據(jù)效力,而數(shù)字技術(shù)在20世紀(jì)末便開始獲得了極大進(jìn)步,對經(jīng)濟(jì)與社會有著深遠(yuǎn)影響,在新世紀(jì)之初所取得的發(fā)展與對社會發(fā)展的促進(jìn)作用有目共睹。雖然法院尚未正式使用數(shù)字技術(shù)形成的數(shù)字證據(jù),但法院卻早已開始使用數(shù)字技術(shù)方便案件的處理,雖然不能肯定數(shù)字技術(shù)會否在某一天取代電子技術(shù),但卻能肯定數(shù)字技術(shù)必將搶占電子技術(shù)所占據(jù)的社會份額,其對社會的影響必將超越電子技術(shù)。任何一種技術(shù)新出現(xiàn)時(shí)都會有其欠缺之處,但正如電子資料最終成為證據(jù)法上的證據(jù)類型一樣,不能因?yàn)閿?shù)字證據(jù)在目前所具有的脆弱性等消極因素而拒絕直面技術(shù)的發(fā)展、社會的進(jìn)步,對于其之消極方面可以通過立法技術(shù)來加以調(diào)整,保障其在訴訟中的可采性,從而揚(yáng)長避短,在程序法上充分發(fā)揮數(shù)字技術(shù)的作用。
并且,承認(rèn)數(shù)字證據(jù)在我國法律上也是可行的。在法律上承認(rèn)數(shù)字證據(jù)的可行性就在于法律能否將數(shù)字證據(jù)容納進(jìn)去,而與法律的價(jià)值理念不相沖突,并可與原有的法律規(guī)定相協(xié)調(diào),重新建立的規(guī)則與原有的體系也并不矛盾。各國在證據(jù)立法上有三種模式:一是自由式,原則上不限制所有出示的有關(guān)證據(jù);二是開列清單式,明確列舉可作為證據(jù)的種類,此為我國所采;三是英美判例法證據(jù)模式。承認(rèn)數(shù)字證據(jù),在我國訴訟法中并不存在不可逾越的障礙,我國并不存在英美判例法國家由判例中長期以來形成的例如“最佳證據(jù)規(guī)則”與“傳聞規(guī)則”的束縛,以至于由于與根本性原則不相符合而使程序法容納數(shù)字證據(jù)大費(fèi)周折。①我國訴訟法對證據(jù)采取列舉式的規(guī)定,只要立法將新的證據(jù)類型予以確認(rèn),即可使之成為合法的證據(jù),可以在訴訟中有效使用。將原有的一些規(guī)則進(jìn)行重新闡釋或者進(jìn)行規(guī)則的另行制定,即可建立起數(shù)字證據(jù)制度。法律是個(gè)不斷進(jìn)化、發(fā)展的而不是僵化的封閉體系,在有完善的必要時(shí),或者修改立法,或者在未修改前對這種新證據(jù)以司法解釋的形式進(jìn)行擴(kuò)大解釋,予以訴訟上的許可也是合理的,既符合立法者意圖,也不違反我國程序法的相關(guān)規(guī)定,所以在我國法律上是可行的。
二、數(shù)字證據(jù)概念的比較研究
使用精確的概念,進(jìn)行內(nèi)涵的準(zhǔn)確界定與外延的清晰延展,對于一個(gè)科學(xué)體系的建立極具方法論意義,并且也符合社會學(xué)方法的規(guī)則,因此,建立一個(gè)體系首先進(jìn)行的便應(yīng)是概念的歸納。同時(shí),一個(gè)精確的概念必須能夠抽象歸納出所有客體的本質(zhì)共性所在,必須能夠把表現(xiàn)相同性質(zhì)的所有現(xiàn)象全部容納進(jìn)去。對數(shù)字證據(jù)進(jìn)行概念歸納,基于其之鮮明的技術(shù)特征,在歸納時(shí)要回歸到數(shù)字技術(shù)層面,在其所使用的數(shù)字技術(shù)與存在的社會經(jīng)濟(jì)基礎(chǔ)的結(jié)合中尋找恰當(dāng)?shù)耐黄泣c(diǎn)。
對于所采用的概念,在國際上至今未有定論,如computerevidence(計(jì)算機(jī)證據(jù))、electronicevidence(電子證據(jù))、digitalevidence(數(shù)字證據(jù))都有其之使用者。我國采取數(shù)字證據(jù)概念大多數(shù)是IT業(yè)界,法律學(xué)者采用的概念主要是:計(jì)算機(jī)證據(jù)與電子證據(jù),進(jìn)而在這些概念基礎(chǔ)上分析證據(jù)的性質(zhì)、效力、類型等。②這些概念以及在此基礎(chǔ)上的分析存在一些問題,之所以如此,或者是因?yàn)閱渭冏⒅貙ι鐣?jīng)濟(jì)層面的考查卻忽略對技術(shù)層面的透徹分析,或者是因?yàn)殡m進(jìn)行了技術(shù)的分析,但卻未深入到進(jìn)行法律歸納所需要的足夠程度。因而有必要從與這些概念、定義的多維比較中分析數(shù)字證據(jù)概念的內(nèi)涵與外延。
(一)與計(jì)算機(jī)證據(jù)、電子證據(jù)概念相比較
首先必須明確的是,雖各概念所使用的語詞雖不同,但在內(nèi)涵上,計(jì)算機(jī)證據(jù)、電子證據(jù)都是針對不同于傳統(tǒng)的數(shù)字化運(yùn)算過程中產(chǎn)生的證據(jù),在外延上一般都試圖囊括數(shù)字化運(yùn)算中產(chǎn)生的全部信息資料。不過,計(jì)算機(jī)證據(jù)與電子證據(jù)這兩種概念并不妥貼,不能充分表現(xiàn)該種證據(jù)的本質(zhì)內(nèi)涵,由此而容易導(dǎo)致概念在外延上不能涵蓋該種證據(jù)的全部表現(xiàn)。
1、“計(jì)算機(jī)證據(jù)”概念有人認(rèn)為,“計(jì)算機(jī)證據(jù),是指在計(jì)算機(jī)或計(jì)算機(jī)系統(tǒng)運(yùn)行過程中產(chǎn)生的以其記錄的內(nèi)容來證明案件事實(shí)的電磁記錄物?!盵1]采取“計(jì)算機(jī)證據(jù)”概念來表述數(shù)字化過程中形成的證據(jù)具有一定合理性,因?yàn)橛?jì)算機(jī)及以計(jì)算機(jī)為主導(dǎo)的網(wǎng)絡(luò)是數(shù)字化運(yùn)算的主要設(shè)備,并且目前數(shù)字化信息也大多存儲于電磁性介質(zhì)之中。從數(shù)字化所倚靠的設(shè)備的角度來歸納此類證據(jù)的共性,在外延上能夠涵蓋絕大多數(shù)此類證據(jù)。然而,雖然計(jì)算機(jī)設(shè)備是當(dāng)前數(shù)字化處理的主要設(shè)備,計(jì)算機(jī)中存儲的資料也是當(dāng)前此類證據(jù)中的主要部分,但是進(jìn)行數(shù)字化運(yùn)算處理的計(jì)算機(jī)這一技術(shù)設(shè)備并不是數(shù)字化的唯一設(shè)備,例如掃描儀、數(shù)碼攝像機(jī)這些設(shè)備均是數(shù)字化運(yùn)算不可或缺的設(shè)備,但并不能認(rèn)為這些也屬.于計(jì)算機(jī)之列。從國外立法來看,沒有國家采取computerevidence,采用這種概念的學(xué)者在論述中也往往又兼用了其他的概念。
迪爾凱姆認(rèn)為,研究事物之初,要從事物的外形去觀察事物,這樣更容易接觸事物的本質(zhì),但卻不可以在研究結(jié)束后,仍然用外形觀察的結(jié)果來解釋事物的實(shí)質(zhì)。所以,“計(jì)算機(jī)證據(jù)”概念從事物外形上進(jìn)行定義具有一定合理性,但是“計(jì)算機(jī)證據(jù)”概念未能歸納出數(shù)字化過程中形成的可以作為證明案件事實(shí)情況的證據(jù)共性,其不僅僅只是能夠涵蓋當(dāng)前數(shù)字化過程中產(chǎn)生的大多數(shù)卻不是全部的信息資料,而且在法律上也不能對將來出現(xiàn)的證據(jù)類型預(yù)留出彈性空間。
2、“電子證據(jù)”概念目前,采用“電子證據(jù)”者甚眾,其存在各種各樣的定義。有人認(rèn)為:“電子證據(jù),又稱為計(jì)算機(jī)證據(jù),是指在計(jì)算機(jī)或計(jì)算機(jī)系統(tǒng)運(yùn)行過程中產(chǎn)生的以其記錄的內(nèi)容來證明案件事實(shí)的電磁記錄物?!盵2]有人認(rèn)為:“電子證據(jù),是指以數(shù)字的形式保存在計(jì)算機(jī)存儲器或外部存儲介質(zhì)中,能夠證明案件真實(shí)情況的數(shù)據(jù)或信息?!盵3]“電子證據(jù)是指以儲存的電子化信息資料來證明案件真實(shí)情況的電子物品或電子記錄,它包括視聽資料和電子證據(jù)?!盵4]加拿大明確采取了電子證據(jù)概念,在《統(tǒng)一電子證據(jù)法》(UniformElectronicEvidenceAct)的定義條款中規(guī)定,“電子證據(jù),指任何記錄于或產(chǎn)生于計(jì)算機(jī)或類似設(shè)備中的媒介中的資料,其可以為人或計(jì)算機(jī)或相關(guān)設(shè)備所讀取或接收。”[5]
綜合起來,各種電子證據(jù)的定義主要有這樣兩種:第一,狹義上的電子證據(jù),等同于計(jì)算機(jī)證據(jù)概念,即自計(jì)算機(jī)或計(jì)算機(jī)外部系統(tǒng)中所得到的電磁記錄物,此種內(nèi)涵過于狹小,不能涵蓋數(shù)字化過程中生成的全部證據(jù),不如第二種定義合理。第二,廣義上的電子證據(jù),包括視聽資料與計(jì)算機(jī)證據(jù)兩種證據(jù),在內(nèi)容上包含了第一種定義,并且還包括我國訴訟法中原有的視聽資料。但我們認(rèn)為,這些定義中不僅所使用的“電子”一詞不妥,而且所下定義亦為不妥,理由如下:
第一,將電子證據(jù)或者計(jì)算機(jī)證據(jù)定性為電磁記錄物未免過于狹隘。雖然數(shù)字設(shè)備的整個(gè)運(yùn)作過程一般由電子技術(shù)操控,各個(gè)構(gòu)件以及構(gòu)件相互之間以電子運(yùn)動來進(jìn)行信息傳輸,但是仍然不可以認(rèn)為該種證據(jù)即為自電子運(yùn)動過程中得到的資料。美國《統(tǒng)一電子交易法》2(5)中規(guī)定:“電子(electronic),是指含有電子的、數(shù)據(jù)的、磁性的、光學(xué)的、電磁的或類似性能的相關(guān)技術(shù)?!睌U(kuò)大解釋了電子的語詞內(nèi)涵,使用各種不同的技術(shù)載體來表達(dá)擴(kuò)大的電子語義,已經(jīng)失去了“電子”一詞的原義,原本意義上的電子只是其使用的“電子”概念中的一種技術(shù)而已,從而能夠涵蓋大多數(shù)此類證據(jù)。不過,既然如此,還不如直接使用能夠涵蓋這些技術(shù)特性的“數(shù)字”概念,在工具價(jià)值方面更有可取之處。加拿大《統(tǒng)一電子證據(jù)法》解釋中解釋之所以采取“電子”,“因?yàn)樾畔橛?jì)算機(jī)或類似設(shè)備所記錄或存儲”,但這個(gè)理由并不充分。并且接下來又承認(rèn)有些數(shù)字信息(digitalform)未涵蓋于本法,因?yàn)橛衅渌姆蛇M(jìn)行調(diào)整。第二,電子證據(jù)概念不能揭示此類證據(jù)的本質(zhì)特征。電子運(yùn)動只是數(shù)字化運(yùn)算的手段,而非本質(zhì),并且也并不是所有數(shù)字設(shè)備的運(yùn)算全都采取電子運(yùn)動手段。進(jìn)行數(shù)字化運(yùn)算的計(jì)算機(jī)設(shè)備及其他數(shù)字設(shè)備的共同之處在于這些設(shè)備的運(yùn)算均采取數(shù)字化方式,而非在于均采取電子運(yùn)動手段。第三,不論是將視聽資料這種已存的證據(jù)類型納于電子證據(jù)中,還是將電子證據(jù)納入視聽資料中,會致使“電子證據(jù)”與我國訴訟法中的“視聽資料”相混淆,而此類證據(jù)與視聽資料證據(jù)的本質(zhì)共性并不相同。視聽資料中主要為錄音、錄像資料,其信息的存儲以及傳輸?shù)纫捕疾扇‰娮舆\(yùn)動手段。錄音、錄像采取模擬信號方式,其波形連續(xù);而在計(jì)算機(jī)等數(shù)字設(shè)備中,以不同的二進(jìn)制數(shù)字組合代表不同的脈沖,表達(dá)不同信號,信息的存儲、傳輸采取數(shù)字信號,其波形離散、不連續(xù)。二者的實(shí)現(xiàn)、表現(xiàn)、存儲、轉(zhuǎn)化都不相同。傳統(tǒng)的電話、電視、錄音、錄像等都采取模擬信號進(jìn)行通訊,這是視聽資料的共性,而計(jì)算機(jī)與網(wǎng)絡(luò)信息技術(shù)則采取數(shù)字化方式通信,這是數(shù)字化運(yùn)算中生成的證據(jù)的共性,兩者不同,不應(yīng)混淆。
可見,狹義上的電子證據(jù)在外延上只能容納數(shù)字化過程中產(chǎn)生的部分證據(jù),失之過狹;廣義上的電子證據(jù)確實(shí)能夠在外延上容納數(shù)字化過程中產(chǎn)生的全部證據(jù),但卻失之過寬,如將視聽資料與計(jì)算機(jī)證據(jù)這兩種差別極大的證據(jù)容于同一種證據(jù)類型中,將不得不針對兩種證據(jù)進(jìn)行規(guī)則的制定,從而導(dǎo)致同種證據(jù)類型的證據(jù)規(guī)則不相統(tǒng)一,很難建立起一個(gè)和諧有致的體系。
(二)數(shù)字證據(jù)①概念的內(nèi)涵與外延
我們認(rèn)為,數(shù)字證據(jù)就是信息數(shù)字化過程中形成的以數(shù)字形式讀寫的能夠證明案件事實(shí)情況的資料。
這里使用的“數(shù)字”(digital,digitspl.)與日常用語中的“數(shù)字”語義并不相同,雖并不如“電子”更為人們熟悉和容易理解,但重要的是根據(jù)科學(xué)的需要和借助于專門術(shù)語的表達(dá),使用科學(xué)的概念來清晰的定義相關(guān)事物,況且“數(shù)字”概念在現(xiàn)今信息時(shí)代也并不是一個(gè)新概念,早已為人們廣泛接受和使用?,F(xiàn)代計(jì)算機(jī)與數(shù)字化理論認(rèn)為,數(shù)是對世界真實(shí)和完全的反映,是一種客觀實(shí)在。人類基因組的破譯說明,甚至代表人類文明最高成就的人自身也可以數(shù)字化。[6]來勢洶涌的全球信息化潮流實(shí)際上就是對事物的數(shù)字化(digitalization)處理過程,區(qū)別于紙質(zhì)信件、電話、傳真等傳統(tǒng)信息交流方式,這種采用新的信息處理、存儲、傳輸?shù)臄?shù)字方式在現(xiàn)代社會包括日常交往與商業(yè)貿(mào)易中逐步建立了其不可替代的地位。毋庸置疑的是,數(shù)字技術(shù)還會不斷的發(fā)展,因此在進(jìn)行法律調(diào)整之時(shí)就更不能限定所使用的技術(shù)與存儲的介質(zhì),從而在法律上為技術(shù)的發(fā)展留存一個(gè)寬松的空間。
1、數(shù)字證據(jù)有其數(shù)字技術(shù)性。信息數(shù)字化處理過程中,數(shù)字技術(shù)設(shè)備以“0”與“1”二進(jìn)制代碼進(jìn)行數(shù)值運(yùn)算與邏輯運(yùn)算,所有的輸入都轉(zhuǎn)換為機(jī)器可直接讀寫而人并不能直接讀寫的“0”、“1”代碼在數(shù)字技術(shù)設(shè)備中進(jìn)行運(yùn)算,然后再將運(yùn)算結(jié)果轉(zhuǎn)換為人可讀的輸出。數(shù)字證據(jù)以數(shù)字化為基礎(chǔ),以數(shù)字化作為區(qū)別于其他證據(jù)類型的根本特征。數(shù)字證據(jù)具有依賴性,其生成、存儲、輸出等都需借助于數(shù)字化硬件與軟件設(shè)備;具有精確性,數(shù)字證據(jù)能準(zhǔn)確的再現(xiàn)事實(shí);具有易篡改性,數(shù)字化技術(shù)特性決定了數(shù)字資料可以方便的進(jìn)行修正、補(bǔ)充,但這優(yōu)點(diǎn)在數(shù)字資料作為證據(jù)使用時(shí)成為缺點(diǎn),使其極易被篡改或被銷毀,從而降低了數(shù)字證據(jù)的可靠性,這個(gè)特點(diǎn)也決定了在對數(shù)字證據(jù)進(jìn)行規(guī)則的制定時(shí)應(yīng)當(dāng)切實(shí)保障其之真實(shí)性。SWGDE(ScientificWorkingGrouponDigitalEvidence)與IOCE(InternationalOrganizationonDigitalEvidence)在1999年在倫敦舉辦的旨在為各國提供數(shù)字證據(jù)交換規(guī)則的會議IHCFC(InternationalHi-TechCrimeandForensicsConference)上提交了一份名為《數(shù)字證據(jù):標(biāo)準(zhǔn)與原則》的報(bào)告也對數(shù)字證據(jù)從技術(shù)方面進(jìn)行了定義,“數(shù)字證據(jù)是指以數(shù)字形式存儲或傳輸?shù)男畔⒒蛸Y料。”[7]在接下來的規(guī)則中則重點(diǎn)闡述了如何對數(shù)字證據(jù)的真實(shí)性進(jìn)行保障。
2、數(shù)字證據(jù)有其外延廣泛性。數(shù)字證據(jù)概念在外延上既可以容納目前以數(shù)字形式存在的全部證據(jù),又具有前瞻性,可以容納以后隨著技術(shù)與社會發(fā)展而出現(xiàn)的此類證據(jù)。數(shù)字證據(jù)可以產(chǎn)生于電子商務(wù)中,也可以產(chǎn)生于平時(shí)的日常關(guān)系中,表現(xiàn)為電子郵件、機(jī)器存儲的交易記錄、計(jì)算機(jī)中的文件、數(shù)碼攝影機(jī)中存儲的圖片等,從美國FBI目前的犯罪執(zhí)法中可以看到,現(xiàn)在專家越來越喜歡用數(shù)字技術(shù)對一些其他證據(jù)進(jìn)行處理,例如用AvidXpress視頻編輯系統(tǒng)、Dtective圖像增強(qiáng)處理軟件對取得的錄像進(jìn)行處理,并且這種處理也往往得到法庭的承認(rèn)。這種對原始證據(jù)進(jìn)行數(shù)字技術(shù)加工后形成的證據(jù)也可看作是一種傳來數(shù)字證據(jù),即形成了一種證據(jù)類型向另一種證據(jù)類型的轉(zhuǎn)化,例如對我國視聽資料中的錄音、錄像進(jìn)行數(shù)字處理后可以認(rèn)為是數(shù)字證據(jù),適用數(shù)字證據(jù)規(guī)則。這一點(diǎn)很重要,因?yàn)椴煌淖C據(jù)類型往往適用不同的證據(jù)規(guī)則,從而在真實(shí)性等方面可能作出不同的認(rèn)定。
數(shù)字證據(jù)一般有兩種存在形式:一是機(jī)器中存儲的機(jī)器可讀資料,二是通過輸出設(shè)備輸出的人可讀資料,如顯示設(shè)備顯示出來或者打印設(shè)備打印出來的資料。前種作為數(shù)字證據(jù)毫無疑問,而后者從表面看來似乎可以認(rèn)定為書證。其實(shí),此種人可讀的輸出資料仍然屬于數(shù)字證據(jù),因?yàn)檫@些資料來源于數(shù)字化設(shè)備,是在設(shè)備運(yùn)行過程中取得的,其之產(chǎn)生完全依賴于前者,人可讀的資料是由機(jī)器可讀的資料經(jīng)過了一個(gè)技術(shù)轉(zhuǎn)化過程而取得的,在內(nèi)容上保持了一致性。這兩種資料具有同質(zhì)性,只是表現(xiàn)方式不同而已。后者的真實(shí)性等因素依賴于前者,在如何確保證據(jù)的合法性、真實(shí)性等方面,不可以因?yàn)槠浔憩F(xiàn)為紙面形式就適用書證規(guī)則,而應(yīng)適用數(shù)字證據(jù)的證據(jù)規(guī)則。
三、數(shù)字證據(jù)在證據(jù)體系中的地位
由前文所述,我國應(yīng)承認(rèn)數(shù)字化過程中產(chǎn)生的信息資料的證據(jù)力,而數(shù)字證據(jù)要想在訴訟中具有可采性,得到有效使用,首先應(yīng)在法律上得到認(rèn)可。對于以列舉方式來進(jìn)行證據(jù)分類的立法而言,一般是先確認(rèn)合法的證據(jù)類型,將證據(jù)分類,然后將資料歸入到確認(rèn)的證據(jù)類型中去,形成一個(gè)證據(jù)體系。我國現(xiàn)有的民事、行政、刑事證據(jù)體系都由各自的證據(jù)類型與相應(yīng)的證據(jù)規(guī)則組合而成。①確認(rèn)數(shù)字證據(jù),將之納入到程序法證據(jù)體系中,自然會對原有證據(jù)體系產(chǎn)生影響:首先,要在程序法上承認(rèn)其之合法性,具有可采性;其次,應(yīng)確定其之證據(jù)類型;再次,需制定數(shù)字證據(jù)規(guī)則。這就需要解決兩個(gè)問題:一是是否可以擴(kuò)大解釋原有概念,將數(shù)字證據(jù)包含于原有體系之中,從而保持原有體系與規(guī)則的穩(wěn)定性;二是如果擴(kuò)大解釋并不足以一勞永逸,而應(yīng)將之視為一種新的證據(jù)類型納入到證據(jù)體系中,那么如何設(shè)定相應(yīng)的證據(jù)規(guī)則。
(一)數(shù)字證據(jù)類型分析
數(shù)字證據(jù)并非以其物理狀態(tài),而是以其記載的內(nèi)容來證明案件事實(shí),這與我國程序法中七種現(xiàn)有證據(jù)類型中的物證等并不相同,而與視聽資料與書證非常相似,因此關(guān)于數(shù)字證據(jù)類型的問題,主要圍繞于應(yīng)將數(shù)字證據(jù)歸于視聽資料、書證中,還是應(yīng)當(dāng)獨(dú)立出來成為一種新的證據(jù)類型展開,這三種觀點(diǎn)都有其支持者。所以應(yīng)當(dāng)對數(shù)字證據(jù)與視聽資料、書證的關(guān)系進(jìn)行比較,從而分析數(shù)字證據(jù)是應(yīng)當(dāng)劃歸原有證據(jù)類型之中,還是應(yīng)當(dāng)成為一種新的證據(jù)類型。
1、視聽資料不僅現(xiàn)在有許多觀點(diǎn)認(rèn)為應(yīng)將計(jì)算機(jī)存儲的資料等數(shù)字證據(jù)歸屬于視聽資料之中,而且在此之前的一些學(xué)者著述中,也認(rèn)為視聽資料包括計(jì)算機(jī)存儲的資料。[9]不過這種主張并不像將數(shù)字證據(jù)納入書證的主張那樣有國外立法例作為支持,而只是一味的希望將數(shù)字證據(jù)納入原有規(guī)定中,以維持原體系的穩(wěn)定性。
數(shù)字證據(jù)與視聽資料之間,一個(gè)直觀印象便是兩者均須借助于機(jī)器中介方可存儲或顯示信息,似乎相同。但視聽資料一般采取電子技術(shù),采取模擬信號進(jìn)行信息的存儲、傳遞、顯示,從而會導(dǎo)致信息的流失,因此存在原件與復(fù)制件之分。而數(shù)字證據(jù)采取數(shù)字技術(shù),與電子技術(shù)間存在較大的不同,復(fù)制過程一般不會導(dǎo)致信息的丟失,原件與復(fù)制件的區(qū)分對于數(shù)字證據(jù)而言已無大的法律意義。就表面看來,數(shù)字證據(jù)的表現(xiàn)與視聽資料似乎是非常相同,但是我們認(rèn)為,正如上文所述,在物理性質(zhì)與表現(xiàn)手段上,數(shù)字證據(jù)與視聽資料存在的環(huán)境與據(jù)以生成的方式存在非常大的不同;數(shù)字證據(jù)與視聽資料在證據(jù)規(guī)則上存在非常大的不同,同歸一種證據(jù)類型中,規(guī)則的科學(xué)性很難保證;并且更為關(guān)鍵的問題在于,在我國訴訟中,視聽資料一般不能成為獨(dú)立定案的依據(jù)。但是,電子商務(wù)交易中往往只存在數(shù)字證據(jù),少有其他類型的證據(jù),而根據(jù)最高院的民事訴訟證據(jù)解釋,視聽資料的證據(jù)力仍然很弱,一旦將數(shù)字證據(jù)歸屬于視聽資料之列,會致使案件中沒有證據(jù)力強(qiáng)大的可獨(dú)立定案的證據(jù),于現(xiàn)實(shí)不利。這也是不能將數(shù)字證據(jù)歸入證據(jù)力較弱的視聽資料中的最關(guān)鍵的理由。將視聽資料納入數(shù)字證據(jù)之列固不可取,卻也不可以將數(shù)字證據(jù)納入視聽資料之列。
2、書證書證是指以文字、圖畫、符號等表達(dá)的思想內(nèi)容來證明案件事實(shí)的資料,[10]與數(shù)字證據(jù)的相同之處在于兩者都以其表達(dá)的思想內(nèi)容來證明案件事實(shí)情況,不同之處主要在于載體與證明手段之上。將數(shù)字證據(jù)歸于書證之列在目前的學(xué)界論述中頗占上風(fēng),以書證規(guī)則對數(shù)字證據(jù)進(jìn)行規(guī)制的聲音也遠(yuǎn)多于以視聽資料進(jìn)行規(guī)制的聲音,并有國外的立法例作為有力的論據(jù),但是書證與數(shù)字證據(jù)雖有相同之處,但迥異遠(yuǎn)大于相同。
從程序法角度來看,一般意義上的書證一般通過紙質(zhì)文件、布片或者其他有形物體所載的文字、圖畫或其他符號來證明案件的事實(shí)情況,具有原件與副本之分,法庭一般會在提供書證原件的情況下方承認(rèn)其之效力。數(shù)字證據(jù)則一般存儲于數(shù)字化技術(shù)設(shè)備之中,以磁盤或者光盤等為存儲介質(zhì),所存信息在復(fù)制、傳遞、顯示過程中保持了一致性,產(chǎn)生上雖有先后之分,但并不存在書證意義上的原件與副本之分。在證明手段上,數(shù)字證據(jù)不同于書證,常常表現(xiàn)為各種文字、圖形、圖畫、動畫等多媒體資料。并且,只要保存方式得當(dāng),數(shù)字證據(jù)可以永久保存,卻不像書證會隨著時(shí)間的經(jīng)過而變得暗淡不清。再者,較之于書證,數(shù)字證據(jù)更易被偽造或者篡改,致使現(xiàn)在很多國家的法院仍然懷疑數(shù)字技術(shù)不當(dāng)使用的可能,從而使數(shù)字證據(jù)在法律上的不確定性與不可靠性大大增加。
從實(shí)體法角度來看,實(shí)體法的一些規(guī)定,尤其是合同法將以數(shù)據(jù)電文訂立的合同歸于書面形式為將數(shù)字證據(jù)歸于書證的觀點(diǎn)似乎是提供了實(shí)體法上有力的佐證,但是我們應(yīng)當(dāng)看到,書證不一定就是紙質(zhì)形態(tài),書面形式并不等于紙面形式,數(shù)據(jù)電文為書面形式并不等于數(shù)據(jù)電文就是書面文件。在對書證與數(shù)字證據(jù)進(jìn)行比較時(shí),應(yīng)當(dāng)對紙質(zhì)形態(tài)、書面文件、書面形式幾個(gè)概念進(jìn)行理性的區(qū)分:書證不等同于紙質(zhì)形態(tài),不等同于書面文件,反過來看,紙質(zhì)形態(tài)與書面文件形式的證據(jù)也并不一定就是書證,所以,數(shù)據(jù)電文為書面形式也不等于其可歸于書證一列。并且,合同法所運(yùn)用的在電子商務(wù)立法中為各國普遍認(rèn)可的功能等同法,只是在功能上將數(shù)據(jù)電文與傳統(tǒng)的紙面形式同歸為實(shí)體法意義上的書面形式,但卻不是承認(rèn)此兩者在證據(jù)類型上為相同類型,即同為書證。
《電子商務(wù)示范法》在第8條與第9條中對電子商務(wù)中產(chǎn)生的信息作為證據(jù)的可接受性作出了明確規(guī)定:信息自首次生成之時(shí)起,除加上背書及在通常傳遞、存儲、顯示中發(fā)生的正常變動外,并無其他變動,則始終保持了完整性(integrity),并根據(jù)生成信息的目的來評定所要求的可靠性標(biāo)準(zhǔn),依此來判斷是否為原件。①這種規(guī)定排除了數(shù)字證據(jù)歸入書證之列的最大障礙——書證對于原件的要求,使數(shù)字證據(jù)歸屬于書證之列不存在大的矛盾。但是,兩者的不同性導(dǎo)致如果將數(shù)字證據(jù)歸屬于書證之列,勢必會引起書證原有證據(jù)規(guī)則的變更,例如證據(jù)的出示、原件與副本、真實(shí)性的鑒定、證據(jù)保全等。我國訴訟法上的數(shù)種證據(jù)類型中除物證、視聽資料外都可表現(xiàn)為書面形式,但這并不妨礙它們因其自身的特征而成為一種新的證據(jù)類型,建立起自身的證據(jù)規(guī)則。而數(shù)字證據(jù)很明顯有區(qū)別于其它證據(jù)的顯著特征,同時(shí),其使用的數(shù)字技術(shù)與存在的社會經(jīng)濟(jì)基礎(chǔ)又區(qū)別于其他種證據(jù)類型,為了解決數(shù)字證據(jù)本身證據(jù)力強(qiáng)弱的問題,不必一定要將之歸于書證中。
包括英、美、加拿大在內(nèi)的許多判例法國家將這種證據(jù)歸于書證之中,但我國不能采取同樣的方式,因?yàn)槭紫龋⒚赖倪@種規(guī)定是與其原有的證據(jù)規(guī)則相一致的,例如在新的證據(jù)規(guī)則中結(jié)合了對microfilm與oralevidence等的規(guī)定,又新發(fā)展了最佳證據(jù)規(guī)則與傳聞證據(jù)規(guī)則,我國不存在這樣作的基礎(chǔ);其次,我國不存在判例法中已存和不斷補(bǔ)充的新判例規(guī)則可以及時(shí)有效的對之進(jìn)行調(diào)整;再次,數(shù)字技術(shù)的飛速發(fā)展也決定了數(shù)字證據(jù)規(guī)則需要根據(jù)技術(shù)的發(fā)展步伐不斷調(diào)整,而一旦歸入書證中,為保持書證原有規(guī)則的穩(wěn)定必然會犧牲數(shù)字證據(jù)規(guī)則的完整,而嚴(yán)格的立法程序又不會使證據(jù)規(guī)則的修訂很容易。對這個(gè)問題的討論當(dāng)然要參考國外的立法,但是又必須考慮到本國的法律沿革與現(xiàn)狀,而不可盲目的吸納國外規(guī)定卻不顧難以將之本土化的現(xiàn)實(shí),以至于出現(xiàn)消化不良的可能。
3、數(shù)字證據(jù)為新的證據(jù)類型。數(shù)字證據(jù)在目的上與其他證據(jù)一樣都是為了證明案件事實(shí)情況,但在存在形態(tài)上與證明方式上與以往的證據(jù)類型頗不相同,不論歸屬于何種已存證據(jù)類型中均不合適。數(shù)字證據(jù)具有獨(dú)自的社會經(jīng)濟(jì)基礎(chǔ),具有本身的顯著特性,具有與其他證據(jù)類型相區(qū)別的特征,在證明方式與書證有一定的相似性。因此,在修改立法前為了解決目前比較急切的問題,可以司法解釋明確數(shù)字證據(jù)的證據(jù)力,將之歸于書證之中,并作出適應(yīng)數(shù)字證據(jù)自身特點(diǎn)的一些證據(jù)規(guī)則,保持書證原有規(guī)則的穩(wěn)定。而最好的方式為將之視為一種新的證據(jù)類型——數(shù)字證據(jù),同時(shí)還應(yīng)制定與其特征相應(yīng)的證據(jù)規(guī)則。
(二)數(shù)字證據(jù)規(guī)則設(shè)計(jì)
對數(shù)字證據(jù)的證據(jù)規(guī)則進(jìn)行設(shè)計(jì)時(shí)應(yīng)充分考慮到數(shù)字證據(jù)產(chǎn)生的環(huán)境、生成方式、存儲手段等技術(shù)性特點(diǎn)以及法律的傳統(tǒng)與體系的內(nèi)在邏輯。數(shù)字證據(jù)具有許多優(yōu)點(diǎn),但也有其較之于傳統(tǒng)證據(jù)類型的缺點(diǎn),尤其是對其真實(shí)性的保證相對較難。對數(shù)字證據(jù)的真實(shí)性保障,在技術(shù)上可以推進(jìn)安全技術(shù)手段的發(fā)展,嚴(yán)格系統(tǒng)操作流程,以及網(wǎng)絡(luò)服務(wù)中心中轉(zhuǎn)存、電子簽名、網(wǎng)絡(luò)認(rèn)證等一系列信用保證手段來提升其安全性和可信度。不過,對數(shù)字證據(jù)真實(shí)性的保證主要應(yīng)從法律角度著手,不過,在法律上保證數(shù)字證據(jù)的真實(shí)性時(shí),不應(yīng)對數(shù)字證據(jù)所使用的技術(shù)進(jìn)行限制,而應(yīng)采取功能等價(jià)與技術(shù)中性原則,從而不至于使法律成為阻礙技術(shù)發(fā)展的桎梏。我們認(rèn)為,在確認(rèn)了數(shù)字證據(jù)類型實(shí)現(xiàn)了證據(jù)合法性的前提下,在滿足程序法例如舉證分擔(dān)、舉證時(shí)限等一般規(guī)則的條件下,數(shù)字證據(jù)自身規(guī)則的設(shè)計(jì)主要應(yīng)放在對其真實(shí)性的保障之上,這一點(diǎn)在各國相關(guān)立法上均得到了體現(xiàn),例如TheCivilEvidenceAct,1968U.K.、SouthAustraliaEvidenceAct(1929-1976)、SouthAfricanComputerEvidenceAct,1983主要規(guī)定的是數(shù)字證據(jù)的可接受性,其中便以大量篇幅來規(guī)定其之真實(shí)性。不論數(shù)字證據(jù)是作為書證,還是作為一種新的證據(jù)類型,基于其自身特征,我們認(rèn)為都應(yīng)當(dāng)至少確立以下證據(jù)規(guī)則:
1、保證數(shù)字證據(jù)的真實(shí)性。(1)審查數(shù)字資料的來源,包括形成的時(shí)間、地點(diǎn)、制作過程等;①采用數(shù)字簽名的數(shù)字證據(jù)的證據(jù)力強(qiáng)于無數(shù)字簽名的數(shù)字證據(jù);使用的簽名技術(shù)安全性更高的數(shù)字證據(jù)的證據(jù)力大;保密性強(qiáng)的數(shù)字證據(jù)的證據(jù)力強(qiáng)于保密性弱的數(shù)字證據(jù)。(2)審查數(shù)字證據(jù)的收集是否合法;(3)審查數(shù)字證據(jù)與事實(shí)的聯(lián)系;正如不能說物證是直接證據(jù)還是間接證據(jù)一樣,也不能簡單的說數(shù)字證據(jù)是直接證據(jù)還是間接證據(jù),對此應(yīng)根據(jù)數(shù)字證據(jù)與案件本身的聯(lián)系來區(qū)分,但是目前許多學(xué)者的論述中卻脫離案件來談數(shù)字證據(jù)是直接證據(jù)還是間接證據(jù)。[11]證據(jù)的證明力決定于證據(jù)同案件事實(shí)的客觀內(nèi)在聯(lián)系及其聯(lián)系的緊密程度,同案件事實(shí)存在著直接的內(nèi)在聯(lián)系的證據(jù),其證明力較大,反之則證明力較小。因此,如果查明一項(xiàng)數(shù)字證據(jù)自生成以后始終以原始形式顯示或留存,同時(shí)如果該證據(jù)與案件事實(shí)有著內(nèi)在的、密切的聯(lián)系,則其為直接證據(jù);反之,若該證據(jù)不足以單獨(dú)證明待證事實(shí),則屬于間接證據(jù)。(4)審查數(shù)字證據(jù)的內(nèi)容是否真實(shí),是否有偽造、篡改情形;可以審查數(shù)字證據(jù)產(chǎn)生的硬件與軟件運(yùn)行環(huán)境、系統(tǒng)的安全性,內(nèi)部管理制度;要考慮生成、儲存或傳遞該數(shù)據(jù)信息的方法的可靠性,保護(hù)信息完整性的方法的可靠性,以及偽造、篡改情形出現(xiàn)的可能性大小等因素。①(5)結(jié)合其他證據(jù)進(jìn)行判斷;尤其可以考慮無關(guān)第三方、CA認(rèn)證機(jī)構(gòu)、網(wǎng)絡(luò)服務(wù)商提供的數(shù)字證據(jù)。例如《廣東對外貿(mào)易實(shí)施電子數(shù)據(jù)交換暫行規(guī)定》規(guī)定,在進(jìn)行電子數(shù)據(jù)交換的協(xié)議,雙方發(fā)生爭議的,以電子數(shù)據(jù)中心提供的數(shù)據(jù)為準(zhǔn)。[12]
2、數(shù)字證據(jù)可以成為獨(dú)立定案的依據(jù)。尤其是在目前無紙化的電子商務(wù)中,在不存在其他證據(jù)類型時(shí),應(yīng)當(dāng)認(rèn)可數(shù)字證據(jù)可以成為獨(dú)立定案的依據(jù)。在數(shù)字證據(jù)與其他證據(jù)相矛盾時(shí),由于數(shù)字資料較易篡改,所以在現(xiàn)階段一般要承認(rèn)物證、書證的證據(jù)力強(qiáng)于數(shù)字證據(jù)。不過,任何證據(jù)都有偽造的可能,因此還要重視發(fā)揮法官在具體案件中的自由心證。
3、當(dāng)事人可對數(shù)字證據(jù)的真實(shí)性進(jìn)行證明。當(dāng)事人提供數(shù)字證據(jù),如無相反事項(xiàng)證明其不真實(shí),則其為真實(shí);對方當(dāng)事人可對其之真實(shí)與否進(jìn)行舉證。②即使數(shù)字證據(jù)變換了形式,只要在內(nèi)容上保持了一致,仍可認(rèn)可其之證據(jù)力。
4、當(dāng)事人可申請有關(guān)專家對數(shù)字證據(jù)進(jìn)行證明。這種證明可以認(rèn)為是專家證人性質(zhì)的證據(jù),用來對數(shù)字證據(jù)的真實(shí)性等進(jìn)行證明。在有關(guān)數(shù)字證據(jù)的認(rèn)定等問題較為復(fù)雜時(shí),法院可依當(dāng)事人申請而進(jìn)行調(diào)查取證,也可指派或聘請專業(yè)人士或機(jī)關(guān)進(jìn)行鑒定。美國存在一個(gè)影響較大的EED(Electronicevidencediscovery)公司,其在為數(shù)據(jù)的認(rèn)證、定位、處理、刪除數(shù)據(jù)的恢復(fù)等方面提供專家證人領(lǐng)域得到了法院的認(rèn)可,該公司為美、英、加拿大、歐洲提供這種服務(wù)。專家在對受到懷疑的數(shù)字證據(jù)的真實(shí)性進(jìn)行作證時(shí),按照美國的聯(lián)邦證據(jù)規(guī)則,其需對所采技術(shù)、處理流程等進(jìn)行詳細(xì)的說明,并接受交叉詢問。
5、數(shù)字證據(jù)原始載體與復(fù)制件具有同等的證據(jù)力。數(shù)字信息在經(jīng)過多次復(fù)制、傳輸以后仍然保持了一致性,而不似其他證據(jù)會有信息的丟失、缺損。數(shù)字證據(jù)的原始載體與復(fù)制件不相吻合并不能說明復(fù)制件為偽造,但應(yīng)當(dāng)說明其來源和制作經(jīng)過,從多方面綜合判斷數(shù)字證據(jù)的真實(shí)性。美國《聯(lián)邦證據(jù)規(guī)則》對“復(fù)制件的可采性”作出了這種規(guī)定。[13]
6、數(shù)字證據(jù)公證。允許當(dāng)事人請求公證機(jī)關(guān)對數(shù)字證據(jù)進(jìn)行公證,在訴訟中進(jìn)行使用,不過,進(jìn)行公證的公證機(jī)關(guān)必須具備進(jìn)行數(shù)字證據(jù)公證的能力,同時(shí)應(yīng)規(guī)定相應(yīng)的公證程序規(guī)則。
7、數(shù)字證據(jù)保全。數(shù)字資料的存儲不同于其他證據(jù),且常常是有關(guān)證據(jù)存儲于當(dāng)事人或者網(wǎng)絡(luò)服務(wù)中心的服務(wù)器中,因此在對證據(jù)進(jìn)行保全時(shí),法院如何進(jìn)行保全,如何尋找到存儲的數(shù)字資料,不能尋找到而當(dāng)事人拒不提供,以及采取證據(jù)保全會影響當(dāng)事人的服務(wù)器的正常運(yùn)作而影響其正常的業(yè)務(wù)活動時(shí),對當(dāng)事人商業(yè)秘密的保護(hù)等,都應(yīng)當(dāng)設(shè)計(jì)相應(yīng)的規(guī)則。①
8、確定網(wǎng)絡(luò)服務(wù)中心進(jìn)行資料保存、證明的義務(wù)。信息在網(wǎng)絡(luò)上進(jìn)行傳輸需要服務(wù)器,服務(wù)器在傳輸信息時(shí)一般都對信息進(jìn)行存儲、中轉(zhuǎn),這些服務(wù)器大多由信息服務(wù)提供者與網(wǎng)絡(luò)接入服務(wù)提供者控制。尤其在電子商務(wù)中,交易當(dāng)事人一般是通過網(wǎng)絡(luò)服務(wù)中心進(jìn)行信息數(shù)據(jù)的傳遞與交換。在訴訟中,網(wǎng)絡(luò)服務(wù)中心為中立的第三方機(jī)構(gòu),且無論技術(shù)與設(shè)備,還是資信狀況,均比較可靠。在當(dāng)事人提供的證據(jù)相互矛盾無法認(rèn)定時(shí),法院可要求網(wǎng)絡(luò)服務(wù)中心提供其留存的相關(guān)資料。在當(dāng)事人的提供的證據(jù)與網(wǎng)絡(luò)服務(wù)中心提供的證據(jù)不相符合時(shí),應(yīng)認(rèn)定網(wǎng)絡(luò)服務(wù)中心提供的證據(jù)。在法律上要求網(wǎng)絡(luò)服務(wù)中心在一定期限內(nèi)留存相關(guān)交易資料備查,同時(shí)又要注意對交易當(dāng)事人商業(yè)秘密的保護(hù)?!稄V東省對外貿(mào)易實(shí)施電子數(shù)據(jù)交換暫行規(guī)定》就規(guī)定,EDI服務(wù)中心應(yīng)有收到報(bào)文和被提取報(bào)文的回應(yīng)和記錄。凡是法律、法規(guī)規(guī)定文件、資料必須長期保存的,其表現(xiàn)形式的電子報(bào)文要給予存貯,存貯期最短不得少于5年。進(jìn)行電子數(shù)據(jù)交換的協(xié)議雙方發(fā)生爭議時(shí),以EDI服務(wù)中心提供的信息為準(zhǔn),雙方可依照協(xié)議申請仲裁或按照法律、法規(guī)規(guī)定向人民法院。②
四、結(jié)語
數(shù)字技術(shù)對法律的影響是間接的,其首先影響社會經(jīng)濟(jì)關(guān)系,然后以此為中介影響法律。數(shù)字技術(shù)對從實(shí)體到程序的各個(gè)法律部門法都產(chǎn)生作用,數(shù)字證據(jù)問題只是在程序證據(jù)制度上的一個(gè)反映而已。
一個(gè)科學(xué)的體系應(yīng)當(dāng)建立在精確的概念基礎(chǔ)之上,應(yīng)以數(shù)字證據(jù)概念作為基礎(chǔ)概念來對此制度進(jìn)行建構(gòu),對其的研究應(yīng)當(dāng)結(jié)合其之經(jīng)濟(jì)性、技術(shù)性特點(diǎn)。數(shù)字證據(jù)是信息數(shù)字化過程中形成的以數(shù)字形式讀寫的能夠證明案件事實(shí)情況的資料,其外延廣泛,并不僅限于電子商務(wù)中產(chǎn)生的資料,也并不僅指計(jì)算機(jī)數(shù)據(jù);在證據(jù)類型上,數(shù)字證據(jù)與視聽資料差別顯著,不可同歸一種證據(jù)類型中,與書證存在相同之處,也存在差異之處,目前可以以司法解釋的方式將之明確于書證之列,同時(shí)規(guī)定一些與之相應(yīng)的符合現(xiàn)實(shí)需要的證據(jù)規(guī)則,以作應(yīng)付當(dāng)前現(xiàn)實(shí)問題的權(quán)宜之計(jì),而長遠(yuǎn)看來還是應(yīng)將數(shù)字證據(jù)確立為一種新的證據(jù)類型,同時(shí)制定與其特點(diǎn)相應(yīng)的證據(jù)規(guī)則,在對數(shù)字證據(jù)規(guī)則進(jìn)行設(shè)計(jì)時(shí),重點(diǎn)應(yīng)當(dāng)主要放在對真實(shí)性的保障之上。
數(shù)字技術(shù)、電子商務(wù)以及知識經(jīng)濟(jì)在我國的充分、完全發(fā)展只是時(shí)間的早晚,實(shí)體法對此已開始進(jìn)行調(diào)整,而程序法卻仍未開始這種嘗試,要求不可謂不迫切。程序法律在解決科技引發(fā)的問題的同時(shí),也必然會隨著科技導(dǎo)引的社會發(fā)展而相應(yīng)進(jìn)步,是以,對數(shù)字技術(shù)對程序法的影響的研究應(yīng)當(dāng)?shù)玫綄W(xué)界足夠的重視,以使程序法獲得在數(shù)字時(shí)代的發(fā)展。
[參考文獻(xiàn)]
[1]張西安.論計(jì)算機(jī)證據(jù)的幾個(gè)問題[N].人民法院報(bào)2000-11-7(3).
[2]白雪梅、孫占利.電子證據(jù)中的法律問題[EB/OL]./falv/wenji/fnsx/fnsx100.htm2001-12-6.
[3]韓鷹.對電子證據(jù)的法律研究[A].中國律師2000年大會論文精選上卷[C].北京:法律出版社2001.284—290.
[4]程.電子證據(jù)體系及法律定位[EB/OL].
/law/Special_show.asp?SpecialID=42001-12-6.
[5]Definitions1,UniformElectronicEvidenceAct,Canada.
[6]蔡曙山.論數(shù)字化[J].中國社會科學(xué)2001,(4).33—42.
[7]See,"Digitalevidence:PrinciplsandStandards"in2002-5-12
[8]TheCivilEvidenceAct,1968(U.K.1968c.64)Section5.Admissibilityofstatementsproducedbycomputers
[9]江偉.民事訴訟法學(xué)[M].北京:中國人民大學(xué)出版社,2000.155.
蔣志培.網(wǎng)絡(luò)與電子商務(wù)法[M].北京:法律出版社2001.564.
張梅.電子郵件能否作為訴訟證據(jù)[J].華東政法學(xué)院學(xué)報(bào)2001,(03).
游偉、夏元林.計(jì)算機(jī)數(shù)據(jù)的證據(jù)價(jià)值[J].法學(xué)2001,(3).45.
[10]江偉.民事訴訟法[M].中國人民大學(xué)出版社2000.154.
[11]沈木珠.論電子證據(jù)的法律效力[J].河北法學(xué)2002,(2).15—19.
[12]蔣志培.網(wǎng)絡(luò)與電子商務(wù)法[M].北京:法律出版社2001.564.
[13]Rule1003.AdmissibilityofDuplicates,FederalRulesofEvidence.
①程序法中,證據(jù)制度往往比其他制度與社會發(fā)展和科學(xué)技術(shù)進(jìn)步之間具有更為緊密的關(guān)聯(lián),可以說,證據(jù)制度的穩(wěn)定性較諸其他程序制度為弱,因?yàn)槠涑3P枰S著科學(xué)、技術(shù)等的發(fā)展不斷作出相應(yīng)的調(diào)整,在證據(jù)種類、法庭質(zhì)證等方面,證據(jù)制度需要很快的反映各種技術(shù)的發(fā)展。
①以數(shù)字化設(shè)備為基礎(chǔ)而生成的數(shù)字形式讀寫的證據(jù)均可認(rèn)為是數(shù)字證據(jù),其可以為民事程序法上的證據(jù),也可以為刑事、行政程序法上的證據(jù),不過,在現(xiàn)階段,電子商務(wù)關(guān)系中產(chǎn)生的這類證據(jù)的數(shù)量多于其他類型社會關(guān)系,但不可以認(rèn)為數(shù)字證據(jù)即為電子商務(wù)中產(chǎn)生的證據(jù),例如內(nèi)部局域網(wǎng)、個(gè)人計(jì)算機(jī)中存儲的資料也可成為數(shù)字證據(jù)。
①英美判例法中,在這兩項(xiàng)原則的制約下,起初由計(jì)算機(jī)數(shù)字設(shè)備中取得的資料并不能夠成為訴訟中有效的證據(jù),但是法官通過擴(kuò)大解釋一些本已存在的例外性規(guī)定,使這些資料成為法庭可以接受的證據(jù)。對此,可參見沈達(dá)明先生的《比較民事訴訟法初論》上冊,中信出版社1991版,第331—334頁。
②還有的學(xué)者在論述中并未對其使用的概念進(jìn)行定義,如吳曉玲載于《計(jì)算機(jī)世界》1999年第7期的《論電子商務(wù)中的電子證據(jù)》中使用電子證據(jù),游偉、夏元林載于《法學(xué)》2001年第3期《計(jì)算機(jī)數(shù)據(jù)的證據(jù)價(jià)值》中使用計(jì)算機(jī)數(shù)據(jù)電訊,呂國民載于《法律科學(xué)》2001年第6期的《數(shù)據(jù)電文的證據(jù)問題及解決方法》所使用的數(shù)據(jù)電文都未進(jìn)行明確的法律上的界定。
①數(shù)字證據(jù)可以出現(xiàn)于三大程序法中,本文針對民事、行政、刑事程序法中的數(shù)字證據(jù)問題的共性進(jìn)行討論,并不涉及基于不同程序性質(zhì)而產(chǎn)生的細(xì)節(jié)問題的不同。同時(shí),我們無意在此對我國原有證據(jù)體系的分類模式與合理性等進(jìn)行論證,那并不是本文所主要研究的問題。
①三大程序法的證據(jù)類型主要有書證、物證、視聽資料、證人證言、當(dāng)事人陳述、鑒定結(jié)論、勘驗(yàn)筆錄七種,同時(shí),行政訴訟法中還有一種現(xiàn)場筆錄,刑事訴訟法中還有一種犯罪嫌疑人、被告人的供述與辯解。實(shí)際上,主要證據(jù)類型基本相同,不同之處產(chǎn)生的原因是不同程序在操作層面有不同的情況。
①根據(jù)這種已為許多國家所采的有關(guān)原件認(rèn)定的規(guī)定,對于數(shù)字證據(jù)而言,在技術(shù)平臺之上初次產(chǎn)生的數(shù)字證據(jù)可以認(rèn)為是原始證據(jù),在經(jīng)過復(fù)制、傳輸之后則為傳來證據(jù)了,但此兩者在證明力上并無二致,原始證據(jù)與傳來證據(jù)這種確定證據(jù)證明力大小的劃分在數(shù)字證據(jù)規(guī)則中已無意義。這也表明了數(shù)字技術(shù)的出現(xiàn)使得法律上原有的一些規(guī)則在對這些新技術(shù)導(dǎo)引的社會關(guān)系進(jìn)行調(diào)整時(shí)已不再如以往那么有效了。
①包括聯(lián)合國貿(mào)法會在內(nèi),各國一般考慮生成、存儲或傳遞該數(shù)據(jù)的辦法的可靠性,保護(hù)信息完整性的辦法的可靠性,用于鑒別發(fā)端人的辦法,以及任何其他相關(guān)因素。
①美國法院在《聯(lián)邦證據(jù)規(guī)則》修正以前經(jīng)常采取的一個(gè)判例中確立了這些原則,Kingv.exrelMurdockAcceptanceCorp,222So.2d.393at398,(1969)(Miss.Sup.Ct),而這些原則在另一個(gè)判例中又得以充實(shí),MonarchFederalSavingsandLoanAssociationv.Genser,383A.2d475at487-88,1977(N.J.SuperiorCt,Ch.Div.
②英國1988年修正的《治安與刑事證據(jù)法》采取這種反面列舉的規(guī)定。
篇7
機(jī)械化深耕深松是指旱作農(nóng)業(yè)節(jié)水技術(shù)和機(jī)械化保護(hù)性耕作技術(shù)的重要內(nèi)容,是在保持原土壤土層結(jié)構(gòu)不變的情況下,利用深深耕松作業(yè)松動土壤,打破犁底層,增加耕作深度,形成虛實(shí)并存土壤結(jié)構(gòu)的一種機(jī)械化耕作技術(shù)。機(jī)械化深耕深松能有效改善土壤的通透性,形成土壤鼠道結(jié)構(gòu),提高土壤蓄水保墑能力,促進(jìn)作物根系生長發(fā)育,提高農(nóng)作物產(chǎn)量和效益
二、實(shí)施深耕深松的作用和意義[1]
機(jī)械化作業(yè)實(shí)現(xiàn)上翻下松不亂土層的耕作技術(shù)稱為深耕深松機(jī)械化技術(shù)。深耕深松是土壤耕作的重要內(nèi)容之一,也是農(nóng)業(yè)生產(chǎn)過程中經(jīng)常采用的增產(chǎn)技術(shù),目的是為作物的播種發(fā)芽、生長發(fā)育提供 良好的土壤環(huán)境。首先,利用機(jī)械深耕深松可以使耕層疏松綿軟, 結(jié)構(gòu)良好,活土層厚,平整肥沃,使固相、液相、氣相比例相互協(xié)調(diào),適應(yīng)作用生長發(fā)育的要求。其次,可以創(chuàng)造一個(gè)良好的發(fā)芽種床或苗床。對旱作來說,要求播種部位的土壤比較緊實(shí),以利提墑,促進(jìn)種子萌動;而覆蓋種子的土層則要求松軟,以利透水透氣,促進(jìn)種子發(fā)芽出苗,即所 謂“硬床軟被”。第三,可以清理田間殘茬雜草,掩埋肥料,消滅寄生在土壤和殘茬上的病蟲害等等。農(nóng)作物生長需要一定的耕作深度。以小麥為例,它的根系主要分布在0~40cm的土層內(nèi)。一般0~20cm土層 內(nèi)的根系占總根量的60~70%,20~40cm 土層內(nèi)的根系占20~30%,40cm以下土層內(nèi)的根系占10%。高產(chǎn)小麥的耕作深度一般應(yīng)大于20cm。用畜力步犁耕地,犁底不平,耕作深度一般只有12cm左右,而且不能很好地翻土。小型拖拉機(jī)帶單鏵或雙鏵犁耕地,耕作質(zhì)量雖然比畜力步犁好,但耕深一般也只有14~16cm。長此以往,熟土層厚度減少,犁底層厚度增加,很難滿足農(nóng)作物生長發(fā)育時(shí)對土壤的要求,糧食產(chǎn)量就會受到影響。為此,大力提倡和推廣深耕深松機(jī)械化技術(shù),對廣大農(nóng)業(yè) 區(qū)(特別是以人畜力和小型拖拉機(jī)為主要耕作動力的農(nóng)業(yè)區(qū)) 具有十分重要的現(xiàn)實(shí)意義。
三、作業(yè)技術(shù)要求[2]
1.土壤
深松作業(yè)應(yīng)根據(jù)土壤墑情 耕層土壤質(zhì)地和農(nóng)藝要求來確定 對耕層內(nèi)無石塊等硬質(zhì)物的地塊宜深些,否則宜淺些 適合深松作業(yè)的土壤含水率一般為 15-22%,土壤含水量較大的粘重土壤地塊不宜進(jìn)行全面深松作業(yè),尤其不宜采用全方位深松機(jī)作業(yè),以防出現(xiàn)堅(jiān)硬大土塊,影響整地效果 對土壤比阻較大及犁底層較厚的地塊,應(yīng)采用淺松鏟與深松鏟相結(jié)合的復(fù)式深松機(jī)作業(yè),分層打破犁底層,以達(dá)到較好的整地效果 土層薄或沙土地不宜進(jìn)行深松作業(yè)。
2作業(yè)時(shí)間
深松作業(yè)主要在秋季進(jìn)行,也可以在春播前進(jìn)行深松作業(yè)主要適用于旱田整地,春季深松起壟作業(yè)后要及時(shí)對土地鎮(zhèn)壓,確保墑情。
3.作業(yè)周期
根據(jù)土壤條件和機(jī)具進(jìn)地強(qiáng)度,一般 2~3年深松 1次。
4.深松深度
深松深度因農(nóng)藝要求而定,以打破犁底層為原則,一般為 2535cm,最深可達(dá) 40cm。
5.深松質(zhì)量
深松作業(yè)要求耕層深度一致,各行深度誤差為2cm,要求行距一致,對于壟作地塊,要按壟距要求確定行距 全面深松地塊深松行距一般為 35cm,間隔深松一般為 70cm,深松后的裂溝要合墑?wù)?/p>
6.配套措施
深松機(jī)作業(yè)阻力大,一般配套動力在 75kW以上 實(shí)施深松作業(yè)的地塊,由于土層加厚,土壤養(yǎng)分缺乏,最好配施有機(jī)肥,以促進(jìn)土壤微生物活動,加速土壤肥力的恢復(fù)為克服不能翻埋肥料 秸稈 雜草和病蟲害的弊端,深松后,最好進(jìn)行旋耕或旋播作業(yè),同時(shí)建議使用聯(lián)合整地機(jī)械進(jìn)行耕整作業(yè)。
7.機(jī)具作業(yè)安全要求
深松機(jī)提升中不得轉(zhuǎn)彎和倒退作業(yè)時(shí)深松機(jī)上嚴(yán)禁站人 深松作業(yè)中,若發(fā)現(xiàn)機(jī)組負(fù)荷變大,應(yīng)立即減小作業(yè)深度,找出原因及時(shí)排除故障 運(yùn)輸時(shí)必須將機(jī)具提升到運(yùn)輸狀態(tài) 機(jī)組穿越村莊時(shí)須減速慢行,注意觀察周邊情況。
四、深松整地效果
1.提升土壤蓄水保墑能力
機(jī)械深松作業(yè)的深度一般為25~35cm,個(gè)別可達(dá)40cm以上,是傳統(tǒng)耕作方式所不能達(dá)到的深度 因此,機(jī)械深松能有效打破長期以來傳統(tǒng)耕作形成的堅(jiān)硬犁底層,防止了水土流失,增加了土壤的透水 透氣能力。
2.促進(jìn)作物根系發(fā)育,提高作物產(chǎn)量
深松作業(yè)可打破犁底層,疏松土壤,降低土壤的容質(zhì),改善土壤通氣狀況,促進(jìn)根系生長,使深層土壤中作物根量比例增加,擴(kuò)大根系營養(yǎng)范圍,提高作物根系的營養(yǎng)吸收能力,促進(jìn)作物生長發(fā)育,提高作物產(chǎn)量。
3.保護(hù)環(huán)境
機(jī)械深松作業(yè)不翻動土壤,可以保持地表植被覆蓋,防止土壤風(fēng)蝕與水土流失,有利于生態(tài)環(huán)境保護(hù),減少因翻地使土壤造成的揚(yáng)沙和浮塵天氣,減少環(huán)境污染。
4.機(jī)械深松可提高地溫
深松深度一般為 25~30cm,不但能夠打破犁底層,疏松土壤而且加厚了活土層,增加了土壤的通透性 便于吸光吸熱,提升地溫,便于作物生長。
五、作業(yè)種類及機(jī)具
1.作業(yè)種類
深松作業(yè)分全方位深松和局部深松兩種方式 全方位深松作業(yè)主要用于松動土壤,打破犁底層,深松深度為25~35cm 局部深松主要是打破犁底層,創(chuàng)造虛實(shí)結(jié)合的耕層結(jié)構(gòu),增加土壤蓄水保墑能力。
2.機(jī)具
按類型,深松機(jī)具可分單機(jī)、聯(lián)合作業(yè)機(jī);按作業(yè)方式,可分全方位深松機(jī)和局部(間隔)深松機(jī) 不同類型機(jī)具的特點(diǎn)和作業(yè)性能有所不同,可根據(jù)土壤類型及耕作農(nóng)藝要求選擇 如全方位深松機(jī) 振動深松機(jī)等,具有犁耕阻力小 松土效果好 蓄水保墑能力強(qiáng)和松土深度大等特點(diǎn),近年來被廣泛應(yīng)用深松聯(lián)合整地機(jī)能一次完成深松 耕作等多項(xiàng)作業(yè),整地效果好,越來越受農(nóng)民的歡迎。
參考文獻(xiàn):
篇8
1、模糊數(shù)據(jù)庫,指能夠處理模糊數(shù)據(jù)的數(shù)據(jù)庫。用數(shù)量來描述模糊事件并能進(jìn)行模糊運(yùn)算。這樣就可以把不完全性、不確定性、模糊性引入數(shù)據(jù)庫系統(tǒng)中,從而形成模糊數(shù)據(jù)庫;
2、 統(tǒng)計(jì)數(shù)據(jù)庫,管理統(tǒng)計(jì)數(shù)據(jù)的數(shù)據(jù)庫系統(tǒng)。數(shù)據(jù)庫包含有大量的數(shù)據(jù)記錄,其目的是向用戶提供各種統(tǒng)計(jì)匯總信息,而不是提供單個(gè)記錄的信息;
3、網(wǎng)狀數(shù)據(jù)庫,處理以記錄類型為結(jié)點(diǎn)的網(wǎng)狀數(shù)據(jù)模型的數(shù)據(jù)庫。處理方法是將網(wǎng)狀結(jié)構(gòu)分解成若干棵二級樹結(jié)構(gòu),稱為系;
4、演繹數(shù)據(jù)庫,是指具有演繹推理能力的數(shù)據(jù)庫。用一個(gè)數(shù)據(jù)庫管理系統(tǒng)和一個(gè)規(guī)則管理系統(tǒng)來實(shí)現(xiàn)。將推理用的事實(shí)數(shù)據(jù)存放在數(shù)據(jù)庫中,稱為外延數(shù)據(jù)庫。主要研究內(nèi)容為,如何有效地計(jì)算邏輯規(guī)則推理。
(來源:文章屋網(wǎng) )
篇9
例1 已知數(shù)列{an}滿足
a1=33,an+1-an=2n,則
ann的最小值為.
解析:an=(an-an-1)+(an-1-an-2)+…+(a2-a1)+a1=2[1+2+…(n-1)]+33=33+n2-n,
所以ann
=33n+n-1.
設(shè)f (x)=33x+x-1,令
f ′(x)=
-33x2+1,則
f (x)在
(33,+∞)上是單調(diào)遞增,在
(0,33)上是遞減的.
因?yàn)閚∈N+,所以當(dāng)n=5或6時(shí) 有最小值.
又因?yàn)閍55
=535
,a66
=212,而535
>212
,
所以ann的最小值為
a66=212.
小結(jié):形如an+1-an=f (n)類型
①當(dāng)f (n)為n的函數(shù)時(shí)(如例1)求通項(xiàng)是采用迭加法.
②當(dāng)f (n)為常數(shù)時(shí),即
an+1-an=d,此時(shí)數(shù)列{an}為等差數(shù)列,
an=a1+(n-1)d.
類型二 利用迭乘法求數(shù)列通項(xiàng)
例2 在數(shù)列{an}中,
a1=1,
(n+1)?an+1=n?an,求an的表達(dá)式.
解:由
已知得an+1an
=nn+1.
ana1=
a2a1?
a3
a2?a4a3?
…?anan-1
=12?23
?34?…?n-1n=
1n,
所以an=1n.
小結(jié):形如an+1=f (n)?an類型
① 當(dāng)f (n)為n的函數(shù)時(shí)(如例2)求通項(xiàng)是采用迭乘法.
② 當(dāng)f (n)為常數(shù)時(shí),即
an+1an=q(q≠0),此時(shí)數(shù)列{an}為等比數(shù)列,
an=a1qn-1.
類型三 利用an與Sn的關(guān)系求數(shù)列通項(xiàng)
若已知數(shù)列的前n項(xiàng)和 Sn,求數(shù)列{an}的通項(xiàng)an,可用公式
an=
S1(n=1),
Sn-Sn-1(n≥2)
求解.
例3
(2012年江西理16題)已知數(shù)列{an}的前n項(xiàng)和
Sn=-12n2+kn(其中k∈N*),且
Sn的最大值為8.
(1)確定常數(shù)k,求an;(2)略
解:因?yàn)?/p>
Sn=-12n2+kn=-12
(n-k)2+12k2,
所以當(dāng)n=k∈N*時(shí),Sn取最大值,即
8=Sk=-12
k2+k2=12k2,
故k2=16.又k∈N*,則k=4,
即Sn=-12n2+4n.
當(dāng)n=1時(shí),a1=S1=72 ;
當(dāng)n≥2時(shí), an=Sn-Sn-1=
92-n,
因?yàn)閚=1適合n≥2的情況,則
an=92-n.
小結(jié):利用an與Sn的關(guān)系求數(shù)列通項(xiàng)時(shí),注意要先分n=1和
n≥2兩種情況分別進(jìn)行運(yùn)算,然后驗(yàn)證能否統(tǒng)一.
類型四 引入?yún)?shù)構(gòu)造新數(shù)列求數(shù)列通項(xiàng)
1.形如:an+1=kan+d(k≠1,k≠0,d≠0)類型求數(shù)列通項(xiàng)
例4 (根據(jù)2014新課標(biāo)卷二Ⅱ17題改編):已知數(shù)
{an}的遞推關(guān)系為
an+1=2an+1
且a1=1,求通項(xiàng)an.
解:因?yàn)閍n+1=2an+1
(an+1+λ)=2(an+λ),所以λ=1.
所以an+1+1=2(an+1).令bn=an+1,
則數(shù)列{bn}是公比為2的等比數(shù)列,
所以bn=b1qn-1,即
an+1=(a1+1)qn-1=2n.所以an=2n-1.
2.形如
an+1=kan+qn(k≠0且k≠1;q≠0,且q≠1)類型求數(shù)列通項(xiàng)
例5 (2012年廣東理19)設(shè)數(shù)列{an}的前n項(xiàng)和為Sn,滿足
2Sn=an+1-2n+1+1,n∈N*, 且
a1,a2+5,a3成等差數(shù)列.
(1)求a1的值;(2)求數(shù)列{an}的通項(xiàng)公式;(3)略.
解:(1)在
2Sn=an+1-2n+1+1中,
令n=1得:2S1=a2-22+1a2=2a1+3. ①
令n=2 得:2S2=a3-23+1a3=2(a1+a2)+7. ②
又因?yàn)閍1,a2+5,a3成等差數(shù)列,則2(a2+5)=a1+a3 ③
解①②③得,
a1=1,a2=5,a3=19.
故a1=1.
(2)由2Sn=an+1-2n+1+1. ①
令n-1代替n得:n≥2時(shí),2
Sn-1=an-2n+1. ②
①-②得:n≥2時(shí), an+1=3an+2n對n∈N*成立,
所以an+1+2n+1=3(an+2n).
令bn=an+2n,故上式化為
bn+1=3bn(n≥2),
所以數(shù)列{bn}是以b2=a2+22=9為首相,公比為3的等比數(shù)列.
故bn=b2×3n-2=3n(n≥2),
所以an+2n=3n,所以an=3n-2n(n≥2),
又a1=1也滿足an=3n-2n,
故an=3n-2n.
類型五 取倒數(shù)法求數(shù)列通項(xiàng)
例6 數(shù)列{an}滿足
a1=1,an+1=anan+1,求
an.
解:因?yàn)閍n+1=an
an+1,
所以1an+1=
an+1an=
1an+1.
設(shè)bn=1an,則
bn+1=bn+1.
故{bn}是以
b1=1a1=1為首項(xiàng),1為公差的等差數(shù)列.
所以bn=1(n-1)=n,所以an=1bn
=1n.
小結(jié):數(shù)列遞推關(guān)系形如
an+1=ranpan+q(p、q、r是不為0的常數(shù))時(shí),一般采用取倒數(shù)法求通項(xiàng)公式.
注:取倒數(shù)求通項(xiàng)的題型還有以下變形.
例7 數(shù)列{an}滿足
a1=2,
an+1?an+3?an+1=an,求an.
解:
an+1?an+3?an+1=an等式兩邊同時(shí)除以
an+1?an得
1+31an
=1an+1.令 bn=
1an
,則 1+3?bn=bn+1.
參考例4,易得bn=3n-1
-12,
故an=1bn
=22×3n-1
-1.
例8 (2014年安徽(文)18題改編) 數(shù)列
{an}滿足
a1=1,nan+1=(n+1)an+n(n+1),n∈N*),
求數(shù)列{an}的通項(xiàng)公式.
解:因?yàn)閚an+1=(n+1)an+n(n+1),兩邊同時(shí)除以
n(n+1)變形為
an+1n+1
=ann
+1.
所以{ann}為等差數(shù)列,
a11=1為首項(xiàng),1為公差,
ann
=n,an=n2.
類型六 取對數(shù)法求數(shù)列通項(xiàng)
例9 數(shù)列{an}滿足
an>0,且a1=3,an+1=a2n,求
an.
解: 因?yàn)閍n>0,所以an+1=a2n
兩邊取以10為底的對數(shù)得: lgan+1=2lgan.
令bn=lgan,則
bn+1=2bn,
數(shù)列{bn}是以lg3為首項(xiàng),2為公比的等比數(shù)列,
所以bn=lg3?2n-1.
故
an=10bn
=(10lg3)2n-1
=32n-1,
即 an=32n-1.
小結(jié):數(shù)列遞推關(guān)系形如
an+1=parn(p、r為常數(shù),且p>0,an>0)時(shí),求通項(xiàng)公式一般采用兩邊取對數(shù)法.
類型七 解方程法求數(shù)列通項(xiàng)
例10 已知:函數(shù)f (x)=log2x-logx2 (0
f (2an)=2n,求an.
解:由f (2an)=2n可得
log22an -log2an2=2n,
an-1an=2n,
a2n-2nan-1=0.
由求根公式得,an=n±n2+1 .
因函數(shù)f (x)的定義域?yàn)?
篇10
中圖分類號:G642
摘要:分析高校文科專業(yè)數(shù)據(jù)庫教學(xué)存在的問題,以培養(yǎng)應(yīng)用型人才為目標(biāo),對數(shù)據(jù)庫教學(xué)內(nèi)容和方法進(jìn)行探討,提出一些改革措施:以學(xué)生為主體,引導(dǎo)創(chuàng)新性學(xué)習(xí)和實(shí)踐;充分發(fā)揮學(xué)生的主觀能動性,從理論教學(xué)、實(shí)驗(yàn)教學(xué)和考核制度上轉(zhuǎn)變觀念,提高教學(xué)質(zhì)量,促進(jìn)學(xué)生綜合學(xué)習(xí)能力和應(yīng)用實(shí)踐能力的提高。
關(guān)鍵詞:應(yīng)用型人才;數(shù)據(jù)庫;任務(wù)驅(qū)動
應(yīng)用型人才是指具有一定復(fù)合型和綜合性特征的技術(shù),能將專業(yè)知識和技能應(yīng)用于所從事專業(yè)的一種專門的人才類型。隨著以計(jì)算機(jī)和網(wǎng)絡(luò)為代表的信息技術(shù)無處不在地影響著各個(gè)領(lǐng)域,掌握一定的計(jì)算機(jī)知識和應(yīng)用則是培養(yǎng)應(yīng)用型人才必要且重要的環(huán)節(jié)。因此,如何使得非專業(yè)的學(xué)生以計(jì)算機(jī)作為工具從事與本學(xué)科相關(guān)的工作則是計(jì)算機(jī)基礎(chǔ)教育工作者需要認(rèn)真思考的問題。目前大多數(shù)高校實(shí)施的是教育部針對計(jì)算機(jī)基礎(chǔ)教育提出的“1+X”方案,即一門計(jì)算機(jī)基礎(chǔ)課程和其他計(jì)算機(jī)應(yīng)用課程。以魯東大學(xué)為例,我們結(jié)合學(xué)生的專業(yè)特點(diǎn),對文史哲、經(jīng)濟(jì)管理等文科專業(yè)學(xué)生開設(shè)了數(shù)據(jù)庫應(yīng)用技術(shù)作為計(jì)算機(jī)應(yīng)用課程。
1 數(shù)據(jù)庫教學(xué)中的問題
對于計(jì)算機(jī)專業(yè)的學(xué)生來說,數(shù)據(jù)庫應(yīng)用技術(shù)是重要的必修課或?qū)I(yè)基礎(chǔ)課,學(xué)生大都掌握了數(shù)據(jù)結(jié)構(gòu)、編程語言等先行課。而非計(jì)算機(jī)專業(yè),尤其是文科類的學(xué)生,由于學(xué)習(xí)的計(jì)算機(jī)基礎(chǔ)知識較少,邏輯思維能力和動手能力較弱,綜合考慮各種因素,魯東大學(xué)選擇Access數(shù)據(jù)庫作為學(xué)生學(xué)習(xí)的對象。Access簡單易學(xué),學(xué)生能快速掌握信息時(shí)代數(shù)據(jù)的處理方法,進(jìn)一步培養(yǎng)計(jì)算機(jī)的應(yīng)用能力;Access是最流行的桌面數(shù)據(jù)庫管理系統(tǒng),在教學(xué)、餐飲、交通等多個(gè)領(lǐng)域具有廣泛的應(yīng)用,為學(xué)生以后的繼續(xù)學(xué)習(xí)和工作打下基礎(chǔ)。
為了更好地提高數(shù)據(jù)庫教學(xué)質(zhì)量,我們首先從目前教學(xué)中存在的問題進(jìn)行分析。
1)學(xué)生興趣不高。
以魯東大學(xué)經(jīng)濟(jì)類專業(yè)為例,我們在開學(xué)初對330名經(jīng)濟(jì)類學(xué)生學(xué)習(xí)Access數(shù)據(jù)庫的目的進(jìn)行了問卷調(diào)查。
通過這次調(diào)查發(fā)現(xiàn),40%的學(xué)生存在思想誤區(qū),認(rèn)為該課程和本專業(yè)無關(guān),考試及格拿到學(xué)分就行,沒有給予足夠的重視;24%的學(xué)生以考計(jì)算機(jī)二級證為目的,只想學(xué)習(xí)與考證有關(guān)的知識;只有36%的學(xué)生希望提高計(jì)算機(jī)應(yīng)用技能,將來能利用數(shù)據(jù)庫技術(shù)解決本專業(yè)領(lǐng)域中的一些問題。
2)教學(xué)方法陳舊。
理論課的課堂教學(xué)方法通常是以講授為主,教師控制教學(xué)過程,學(xué)生缺乏學(xué)習(xí)自主性,教師權(quán)力過大,學(xué)生權(quán)利過小,教學(xué)結(jié)構(gòu)過于單一;教師照本宣科導(dǎo)致學(xué)生知識面狹窄、學(xué)習(xí)興趣不大。
實(shí)驗(yàn)課以重復(fù)練習(xí)教師的講課內(nèi)容為主。雖然實(shí)驗(yàn)過程較順利,但是極易導(dǎo)致學(xué)生基礎(chǔ)不牢固、知識遷移能力差,束縛了學(xué)生獨(dú)立思考和獨(dú)立創(chuàng)新能力的發(fā)揮。
3)考核制度不完善。
考核是檢驗(yàn)教學(xué)成果的最有效的方法和手段,不同的考核方式能激發(fā)學(xué)生不同的學(xué)習(xí)動機(jī)。目前的考試以紙質(zhì)試題和上機(jī)考試為主,客觀題較多,分析題較少,偏重于理論知識的檢測,輕操作;同時(shí),由于考試時(shí)間有限導(dǎo)致考查內(nèi)容片面,區(qū)分度不高,不能準(zhǔn)確地反映學(xué)生對知識的掌握程度和應(yīng)用數(shù)據(jù)庫技術(shù)的綜合能力。
綜上所述,文科專業(yè)的數(shù)據(jù)庫教學(xué)活動要解決以下兩個(gè)問題:如何充分調(diào)動學(xué)生的積極性,使學(xué)生在教學(xué)過程中變被動接受為主動學(xué)習(xí);如何改革教學(xué)方法和考核制度使教學(xué)效果達(dá)到最優(yōu)。
2 數(shù)據(jù)庫教學(xué)探討
2.1 轉(zhuǎn)變教學(xué)理念
在教學(xué)理念上,一要堅(jiān)持以學(xué)生為主體,學(xué)生不再是知識的被動接受者,而應(yīng)成為信息加工的主體、知識意義的主動建構(gòu)者,而教師也不再是簡單的知識傳授者,而應(yīng)成為幫助學(xué)生自主學(xué)習(xí)的領(lǐng)路人和導(dǎo)師;二要結(jié)合學(xué)生專業(yè)知識,引導(dǎo)創(chuàng)新性學(xué)習(xí)和實(shí)踐,培養(yǎng)學(xué)生發(fā)現(xiàn)問題、分析問題和解決問題的能力。
2.2 開展豐富的理論教學(xué)
以學(xué)生為主體、教師為主導(dǎo)開展豐富的課堂教學(xué)活動。
1)激發(fā)學(xué)生的興趣。
第一次授課要摒棄傳統(tǒng),不再講授Access數(shù)據(jù)庫的歷史和特點(diǎn),取而代之要分析該課程的地位和作用、學(xué)習(xí)完該課程可以做些什么、如何學(xué)習(xí)該課程,讓學(xué)生意識到所學(xué)知識在社會中的重要性;通過典型案例和學(xué)生作品的演示滲透Access的七大對象,讓學(xué)生產(chǎn)生學(xué)習(xí)的好奇心。只有對這門課程產(chǎn)生了興趣,內(nèi)心重視了,才會有學(xué)習(xí)的動力。
2)案例驅(qū)動的理論教學(xué)。
所謂的案例驅(qū)動是通過對具體實(shí)例的演示、講解,讓學(xué)生對案例進(jìn)行閱讀、思考、分析、討論和交流,進(jìn)而達(dá)到高層次認(rèn)知學(xué)習(xí)目標(biāo)的一種啟發(fā)式教學(xué)法。在案例驅(qū)動教學(xué)中,選取和設(shè)計(jì)的案例應(yīng)具有以下特點(diǎn):①典型性和系統(tǒng)性。教學(xué)案例應(yīng)涵蓋課程絕大部分知識點(diǎn),并且相互聯(lián)系、前后連貫。②實(shí)踐性。教學(xué)案例應(yīng)來源于實(shí)際應(yīng)用,而不是虛無縹緲的。③專業(yè)相關(guān)性。教學(xué)案例應(yīng)和學(xué)生的專業(yè)密切相關(guān),這樣學(xué)生可以利用已有的專業(yè)知識來理解數(shù)據(jù)庫系統(tǒng)的設(shè)計(jì),進(jìn)一步激發(fā)探索新知識的好奇心。例如,我們?yōu)榻?jīng)濟(jì)類學(xué)生設(shè)計(jì)了小型超市管理系統(tǒng),而針對文學(xué)類學(xué)生則選擇古詩文管理系統(tǒng)。
在教學(xué)過程中,首先根據(jù)每節(jié)課的教學(xué)目的和要求完成數(shù)據(jù)庫案例的部分功能,接著講解所用到的知識,最后是知識提高、引出新問題,讓學(xué)生從實(shí)際操作中總結(jié)原理,循序漸進(jìn)地掌握每個(gè)章節(jié)分散的課程知識點(diǎn),逐步建立起“系統(tǒng)開發(fā)”的整體概念。
3)發(fā)揮學(xué)生的主動性。
每次在理論課上,教師會鼓勵學(xué)生設(shè)計(jì)并講解5~10分鐘的PPT,可以是上節(jié)理論課或?qū)嶒?yàn)課上的重點(diǎn)難點(diǎn),也可以是自己在學(xué)習(xí)中的收獲或沒有解決的問題,同時(shí)教師可以對知識進(jìn)行補(bǔ)充,解答學(xué)生的疑難問題;適當(dāng)?shù)卦黾訉W(xué)生上講臺講課的次數(shù),例如對于表的維護(hù)等章節(jié)可以通過學(xué)生教學(xué)生的方法來實(shí)現(xiàn),在學(xué)生講解過程中教師可以看到他們對知識的掌握程度和理解深度。這樣既有助于學(xué)生樹立發(fā)現(xiàn)問題、分析問題和解決問題的信心,又有利于學(xué)習(xí)能力的培養(yǎng)和主動性的發(fā)揮。
2.3 案例和任務(wù)驅(qū)動相結(jié)合的實(shí)驗(yàn)教學(xué)
成立學(xué)習(xí)小組,加強(qiáng)團(tuán)結(jié)協(xié)作意識,互幫互助共同進(jìn)步。學(xué)生自由組成8~10人的學(xué)習(xí)小組,由成員推選一名組長,負(fù)責(zé)小組成員的問題收集、與教師的溝通和反饋。
每次實(shí)驗(yàn)教學(xué)分兩大階段同步進(jìn)行:以訓(xùn)練基本知識和技能為出發(fā)點(diǎn)的案例教學(xué);以培養(yǎng)實(shí)際應(yīng)用能力和創(chuàng)新能力為目標(biāo)的任務(wù)驅(qū)動式教學(xué)。
1)第1階段圍繞學(xué)生比較熟悉的案例完成驗(yàn)證性實(shí)驗(yàn)。
教師制作完整的數(shù)據(jù)庫系統(tǒng)案例并撰寫對應(yīng)的實(shí)驗(yàn)內(nèi)容和步驟。該案例可以是類似于理論課或是學(xué)生比較熟悉的案例,如“小型圖書管理系統(tǒng)”或“學(xué)生管理系統(tǒng)”等。根據(jù)理論課的進(jìn)度學(xué)生依照操作步驟練習(xí)相應(yīng)的知識點(diǎn),知識點(diǎn)全部練習(xí)完了,數(shù)據(jù)庫系統(tǒng)也制作成功了。學(xué)生既可以較容易地接受和鞏固所學(xué)的理論知識,增加數(shù)據(jù)庫應(yīng)用技巧,又可以把所學(xué)的理論及時(shí)地運(yùn)用于實(shí)際,為第2階段打下堅(jiān)實(shí)的基礎(chǔ)。
2)第2階段采取任務(wù)驅(qū)動的教學(xué)方法完成課程設(shè)計(jì)。
所謂的任務(wù)驅(qū)動是指“以任務(wù)為主線,以教師為主導(dǎo),以學(xué)生為主體”,其核心是任務(wù)的設(shè)計(jì)。任務(wù)應(yīng)貫穿于整個(gè)教學(xué)過程。筆者在教學(xué)過程中將其分為總?cè)蝿?wù)和階段性任務(wù)來實(shí)現(xiàn)。
(1)總?cè)蝿?wù)的提出。第1次理論課或?qū)嶒?yàn)課中提出總?cè)蝿?wù),即課程設(shè)計(jì)的要求和評分標(biāo)準(zhǔn),每名學(xué)生以自己的興趣為出發(fā)點(diǎn),或者跟專業(yè)方向相結(jié)合選擇數(shù)據(jù)庫應(yīng)用題目。在選題的過程中,學(xué)習(xí)小組可以相互交流和討論,分析自己要設(shè)計(jì)的數(shù)據(jù)庫應(yīng)用系統(tǒng)的功能。對于一些自信心不足或基礎(chǔ)較弱的學(xué)生,教師可以給出指導(dǎo)性的建議。由于該課程設(shè)計(jì)也是作為課程考核的項(xiàng)目之一,因此數(shù)據(jù)庫題目的選擇要盡量避免重復(fù)。
(2)階段性任務(wù)的完成。課程設(shè)計(jì)即總?cè)蝿?wù)需要數(shù)據(jù)庫各部分知識點(diǎn)的支撐,在教學(xué)活動中要循序漸進(jìn)地完成,因此我們將總?cè)蝿?wù)分解為階段性任務(wù)來實(shí)現(xiàn)。每個(gè)階段性任務(wù)都有自己的生命周期,最重要的是要和教學(xué)進(jìn)度緊密結(jié)合。圖1所示為階段性任務(wù)的劃分。
經(jīng)過第1階段的驗(yàn)證性實(shí)驗(yàn),學(xué)生已經(jīng)有一定的知識積累,因此在各階段任務(wù)中教師不要急于示范和講解,而應(yīng)啟發(fā)和引導(dǎo)普遍存在的問題,及時(shí)講授擴(kuò)展知識或新知識。例如在表設(shè)計(jì)階段,首先讓學(xué)生對自己所選的題目進(jìn)行需求分析,然后引導(dǎo)學(xué)生從“數(shù)據(jù)庫以什么作為研究對象,可以提供哪些功能”人手。例如:小型圖書管理系統(tǒng)的主要研究對象是圖書,那么就應(yīng)該包括圖書所屬類別、圖書信息的詳細(xì)描述、讀者的信息、借閱情況等,根據(jù)這些信息,啟發(fā)學(xué)生設(shè)計(jì)出數(shù)據(jù)庫中的表、字段及字段的屬性等。而對于涉及VBA(Visual Basic Application)編程語言較多的模塊,教師可適當(dāng)?shù)赝卣龟P(guān)于事件驅(qū)動的編程機(jī)制、數(shù)據(jù)庫連接技術(shù)等知識以完善學(xué)生的設(shè)計(jì),從而增強(qiáng)學(xué)生探索知識的興趣,提高對知識綜合應(yīng)用的能力。
由于兩個(gè)階段同步進(jìn)行且每次實(shí)驗(yàn)時(shí)間有限,對于一些知識點(diǎn)較多且復(fù)雜的章節(jié)如查詢、宏和模塊等,應(yīng)適當(dāng)增加課外實(shí)驗(yàn),對于相對簡單的章節(jié)如數(shù)據(jù)訪問頁,應(yīng)縮短第1階段的案例驗(yàn)證時(shí)間,直接進(jìn)入第2階段的課程設(shè)計(jì),這樣學(xué)生就不用花大量時(shí)間完成已經(jīng)會的知識,從而提高了學(xué)習(xí)效率。
2.4 探索合理的考核制度
考試是學(xué)習(xí)的指揮棒,為了使學(xué)生更好的夯實(shí)理論基礎(chǔ),激發(fā)其學(xué)習(xí)興趣,增強(qiáng)其操作能力和創(chuàng)新能力,我們實(shí)行階段考查和小組答辯相結(jié)合的考核形式。
1)階段考查由自評和小組互評構(gòu)成,二者各占50%。
每次階段任務(wù)完成后要進(jìn)行階段考查,根據(jù)學(xué)生對課程內(nèi)容的掌握及階段任務(wù)的進(jìn)展情況打分,學(xué)習(xí)小組根據(jù)成員的出勤情況、討論問題的積極性和實(shí)際操作能力等相互打分,并及時(shí)公布階段考查成績。通過階段考查,不僅能及時(shí)發(fā)現(xiàn)學(xué)生在分析設(shè)計(jì)中存在的問題,而且能有效地檢查學(xué)生的學(xué)習(xí)效果,促進(jìn)學(xué)生相互學(xué)習(xí)和改進(jìn)。
2)小組答辯。
課程結(jié)束時(shí),學(xué)生需要提交數(shù)據(jù)庫系統(tǒng)和設(shè)計(jì)說明書。設(shè)計(jì)說明書闡述設(shè)計(jì)思想、所使用的知識、完成的效果及自己的收獲。最后,各組抽簽組合答辯,由學(xué)生闡述自己的設(shè)計(jì),其他人可以針對其實(shí)現(xiàn)的功能或涉及的知識等分別提問,最后依據(jù)評分標(biāo)準(zhǔn)給出分?jǐn)?shù)。這樣既檢驗(yàn)了每個(gè)學(xué)生的設(shè)計(jì)成果,又為全體學(xué)生提供了取長補(bǔ)短的機(jī)會,極大地增強(qiáng)了學(xué)生的自信心和成就感。
本課程的最終成績=階段考查×30%+課程設(shè)計(jì)×40%+答辯成績×30%。其中,學(xué)生的數(shù)據(jù)庫系統(tǒng)及設(shè)計(jì)說明書會到公共郵箱,由教師和其他學(xué)生給出分?jǐn)?shù)及評價(jià)。
2.5 課程的具體授課內(nèi)容和實(shí)施方法
魯東大學(xué)數(shù)據(jù)庫應(yīng)用技術(shù)課程共72課時(shí),其中36課時(shí)的理論,36課時(shí)的實(shí)驗(yàn)。表1所列為該課程的課時(shí)安排、授課內(nèi)容及實(shí)施方法。
在整個(gè)教學(xué)過程中,學(xué)生和教師的接觸時(shí)間畢竟有限,我們常常利用郵件、QQ等網(wǎng)絡(luò)工具及時(shí)教學(xué)大綱、課件、上課用的案例及每個(gè)階段的任務(wù)。這樣,學(xué)生能隨時(shí)鞏固所學(xué)知識并提前準(zhǔn)備新任務(wù)。同時(shí),學(xué)生在學(xué)習(xí)中遇到的問題可以通過網(wǎng)絡(luò)及時(shí)同教師和學(xué)習(xí)小組的學(xué)生進(jìn)行交流、討論。
3 結(jié)語
通過魯東大學(xué)經(jīng)濟(jì)類、文學(xué)類和外語類專業(yè)2009—2012學(xué)年3個(gè)學(xué)期的教學(xué)活動,發(fā)現(xiàn)學(xué)生的積極性提高,主動學(xué)習(xí)和相互學(xué)習(xí)的能力大大增強(qiáng),能夠較好地將數(shù)據(jù)庫技術(shù)結(jié)合到本專業(yè)的學(xué)習(xí)中。高校文科專業(yè)學(xué)生數(shù)據(jù)庫能力的培養(yǎng),不僅是應(yīng)用型人才培養(yǎng)的重要任務(wù)之一,更是當(dāng)今信息社會時(shí)展的要求。在數(shù)據(jù)庫教學(xué)實(shí)踐活動中,我們以新的教學(xué)理念為指導(dǎo),對理論教學(xué)、實(shí)驗(yàn)教學(xué)和考核制度等各方面進(jìn)行了有益的嘗試和探索。學(xué)生變被動灌輸為主動學(xué)習(xí)、學(xué)習(xí)興趣和積極性明顯提高,綜合學(xué)習(xí)能力和實(shí)際應(yīng)用能力增強(qiáng),極大地促進(jìn)了本專業(yè)的學(xué)習(xí)和工作。今后,我們要加強(qiáng)課程網(wǎng)站建設(shè),并進(jìn)一步總結(jié)經(jīng)驗(yàn),從學(xué)生的專業(yè)出發(fā)探索更適合的教學(xué)方法和手段,最大程度的提高教學(xué)質(zhì)量,為培養(yǎng)應(yīng)用型人才貢獻(xiàn)自己的一份力量。
參考文獻(xiàn):
[1]教育部高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)教學(xué)指導(dǎo)委員會.關(guān)于進(jìn)一步加強(qiáng)高等學(xué)校計(jì)算機(jī)基礎(chǔ)教學(xué)的意見暨計(jì)算機(jī)基礎(chǔ)課程教學(xué)基本要求[M].北京:高等教育出版社,2006:9-14.
[2]童啟,朱艷輝,劉強(qiáng),等.面向文科專業(yè)的數(shù)據(jù)庫技術(shù)及應(yīng)用課程教學(xué)改革及實(shí)踐[J].計(jì)算機(jī)教育,2013(3):7-9.
[3]彭晏飛,沈?qū)W利,張全貴.計(jì)算機(jī)軟件系列課程實(shí)驗(yàn)教學(xué)研究與實(shí)踐[J].實(shí)驗(yàn)技術(shù)與管理,2012,29(4):173-174.
熱門標(biāo)簽
數(shù)據(jù)分析論文 數(shù)據(jù)挖掘論文 數(shù)據(jù)安全論文 數(shù)據(jù)管理論文 數(shù)據(jù)庫論文 數(shù)據(jù)挖掘總結(jié) 數(shù)據(jù)誤差 數(shù)據(jù)采集 數(shù)據(jù)通信論文 數(shù)據(jù) 心理培訓(xùn) 人文科學(xué)概論
相關(guān)文章
1政務(wù)數(shù)據(jù)協(xié)同治理的分析
3建筑業(yè)統(tǒng)計(jì)數(shù)據(jù)質(zhì)量探討