數據類型范文
時間:2023-04-07 05:01:01
導語:如何才能寫好一篇數據類型,這就需要搜集整理更多的資料和文獻,歡迎閱讀由公務員之家整理的十篇范文,供你借鑒。
篇1
首先,我知道這篇文章可能會引起一些觀點上的爭論。但我認為,EMC作為一個以客戶為中心的公司,現在和以后都會以提供市場需要的技術和解決方案為己任。不要以為我們公司會僅僅因為我的預言就停止生產某種產品了,我們所采取的行為永遠都是基于需求的。
在開始談論存儲需求之前,我想先說說我關于數據和信息需求發展情況的觀點。因為數據就是存儲的“客戶”,所以,要了解存儲的發展方向就必須從數據說起。
我認為,未來的數據世界依然是分為兩種類型。以前我們一直分為結構化數據和非結構化數據,但是事情并非這么簡單,因為現在人們必須行動起來,在他們的非結構化數據中添加一些結構化的成分,這樣才能使這些數據更便于使用。換句話說,數據和信息正在變得更加結構化。因此,這些術語已經不再適合形容這些數據類型了。而且,我認為關于數據的分歧將越來越依賴于我稱為單事務處理時延的需求?,F在OLTP(聯機事務處理)系統已經有了這方面的需求,其事務處理性能對相關的存儲系統是一個極為重要的屬性。單事務處理時延至關重要是因為大多數OLTP系統的操作都只與單個關系型數據庫相關,這主要是出于一致性方面的考慮。在這種情況下,總體帶寬和I/O容量就沒有時延那么重要了。這就像只有一個收費站的高速公路,收費站的性能很大程度上決定了系統的總體性能。
上面這種數據類型我稱之為OLTP數據,大量的其他信息(估計現在已超過70%,而到2010年將上升到95%)可以劃歸為另一種類型―我稱之為Web數據。這種數據與前一種類型數據定義的區別在于,單事務處理時延并不是最重要的因素。比如說,一次Web搜索大概花費半秒鐘的時間,人們會關注究竟是花了0.45秒還是0.55秒嗎?當然不會。既然多個搜索可以并行執行,那么這里需要的就是聚合性能。在高速公路上,也許收費站都很慢,但由于有很多個,那就不會成為瓶頸了。
我認為我們將要看到的變化是非結構化數據會變得更加結構化。顯然,使用傳統關系型數據庫是不行的,使用傳統數據庫的應用程序無法約束這些孤立Web數據。因為這些結構可能是來自標簽、索引、元數據或者定義本體的對象結構的。
我們最近獲悉一家名為XHive的公司開發了一些很不錯的技術。其中最有意義的是,XHive開發了XML數據庫技術。這樣,結構化數據的關系型方式更加靈活,而不受使用私有數據庫結構的約束。
篇2
關鍵詞:數據結構;面向對象;數據類型;抽象數據類型
中圖分類號:TP311.12文獻標識碼: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
數據結構課程是計算機科學技術專業的一門專業技術基礎課,而對計算機專業學生所要培養的目標就是對學生進行復雜程序設計的訓練過程,同時也是培養他們的數據抽象能力。程序=算法+數據結構,由此可以看出這樣數據結構課程的重要地位。同時也是進行后續的操作系統、編譯原理及網絡等課程的一個前續課程。抽象數據類型是“數據結構”課程中一個非常重要的概念,是各種數據結構(線性表、棧、隊列、串、數組、樹以及圖)學習的脈絡線索,因此能夠充分的、多角度的理解該概念,不僅可以完成數據結構課程的教學目標――數據抽象的能力,樹立模塊化程序設計的思想,同時也能夠為后續培養面向對象的思想作以鋪墊。
1 抽象數據類型概念引入的原因
抽象數據類型的引入要從數據結構這一概念談起,雖然對數據結構沒有統一的定義,但大多數都認為數據結構包括三個方面的內容即數據的邏輯結構;數據的存儲結構;數據的相關操作。而數據的邏輯結構,指的是數據元素之間的關聯(鄰接)關系;只是從邏輯的角度來看待數據元素;對于數據的存儲結構,則指的是數據的邏輯結構在計算機中的表示和實現;數據的操作則是要建立在存儲結構之上,如果直接以內存地址來描述存儲結構,并且在其上定義操作,勢必學習就會陷入到具體細節的糾纏中,同時對于不同的語言所描述出來的操作都不盡相同,就不能從一個高視角來理解每一種數據結構。而在高級程序設計語言中恰恰有這樣一個概念,數據類型,它是一個值的集合和定義在該值集上的一組操作。那就可以從數學的角度,也就可以從抽象的角度,也可以為今后的面向對象思維來考慮,而引入這樣一個概念。
2 抽象數據類型概念的數學角度理解
為了能夠從抽象的角度來描述數據結構的三個方面的內容,從整體把握每種數據結構,體現數據元素之間的關系和操作,將高級語言中的數據類型進一步抽象便是抽象數據類型。
抽象數據類型的概念是Liskov和Guttay在70年代中期提出的,是指數學模型以及定義在該模型上的一組操作[1],抽象數據類型把數據結構及其操作作為一個整體來研究,可以用一個三元組表示(D,S,P),其中D是數據對象,S是D上的關系集,P是對D的基本操作集??梢姵橄髷祿愋褪前岩粋€數據結構和它上面的操作結合成一個統一的單元進行討論??梢圆捎靡韵赂袷絹矶x抽象數據類型:
ADT 抽象數據類型名{
數據對象:
數據關系:
基本操作:
} ADT抽象數據類型名
抽象的含義還指它的定義僅取決于:
數據對象:一組性質相同的數據元素的集合。
數據關系:數據關系的定義。
基本操作定義格式為:
基本操作名(參數表)
初始條件:
操作結果:
通過對抽象數據類型三元組的定義的講解來培養學生的抽象能力。
ADT Triplet {
數據對象: D = {e1,e2,e3|e1,e2,e3 ∈ElemSet}
數據關系: R1 = {, }
基本操作:
InitTriplet(&T, v1, v2, v3)
操作結果:構造一個三元組T, 元素e1, e2和 e3
分別被賦以參數v1, v2 和v3的值。
DestroyTriplet(&T)
操作結果:三元組T被銷毀。
Get (T, i, &e)
初始條件:三元組T已存在, 1≤i≤3 。
操作結果:用 e 返回 T 的第 i 個元的值。
Put (&T, i, e)
初始條件:三元組T已存在 。
操作結果:改變 T 的第 i 個元的值為e 。
IsAscending(T)
初始條件:三元組T已存在 。
操作結果:若T的3個元素按升序排列,則返回1 ,
否則返回0。
IsDecending(T)
初始條件:三元組T已存在 。
操作結果:若T的3個元素按降序排列,則返回1 ,
否則返回0。
Max(T, &e)
初始條件:三元組T已存在 。
操作結果:用 e 返回 T 的3 個元素的最大值。
Min(T, &e)
初始條件:三元組T已存在 。
操作結果:用 e 返回 T 的3 個元素的最小值。
} ADT Triplet
3 抽象數據類型概念的程序設計角度理解
從程序設計角度,數據對象可定義為數據類型的結構定義,在基本操作中只有對該種數據類型基本操作功能的初始條件,返回結果的描述,這種描述就是從整體上考慮了數據類型的相關功能。
為了提高軟件的復用性,在近代程序設計方法學中指出,一個軟件系統的框架應建立在數據之上,而不是建立在操作之上,即在構成軟件系統的每個相對獨立的模塊上,定義一組操作,并在模塊內部給出這些數據的表示及其操作的細節,而在模塊外部使用的只是抽象的數據和抽象的操作,顯然,所定義的數據類型的抽象層次越高,含有該抽象數據類型的軟件模塊的復用程度也就越高。
通過對抽象數據類型三元組采用動態分配順序存儲結構來看程序設計。
抽象數據類型Triplet的表示與實現
//---采用動態分配順序存儲結構----typedef ElemType * Triplet;//
//---基本操作的函數原型說明-----
Status InitTriplet (Triplet &T, ElemType v1,
ElemType v2, ElemType v3 );
//操作結果:構造三元組T, 元素和e1, e2和 e3分別被賦以參數v1, v2和v3的值。
Status DestroyTriplet(Triplet &T);
//操作結果:三元組T被銷毀。
Status Get(Triplet T, int i, ElemType &e);
//初始條件:三元組T已存在, 1≤i≤3。
操作結果:用 e 返回 T 的第 i 個元的值。
Status Put (Triplet &T, int i, ElemType e);
//初始條件:三元組T已存在 。
//操作結果:改變 T 的第 i 個元的值為e。
Status IsAscending(Triplet T);
//初始條件:三元組T已存在。
//操作結果:若T的3個元素按升序排列,則返回1,
否則返回0。
Status IsDecending(Triplet T);
//初始條件:三元組T已存在。
//操作結果:若T的3個元素按降序排列,則返回1,
否則返回0。
Status Max(Triplet T, ElemType &e);
//初始條件:三元組T已存在。
//操作結果:用e返回T的3個元素的最大
Status Min(Triplet T, ElemType &e);
//初始條件:三元組T已存在 。
//操作結果:用e返回T的3個元素的最小值。
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 抽象數據類型概念的面向對象角度理解
面向對象的四大特征為抽象、封裝、繼承和多態。
抽象是從許多十五中,舍棄個別的、非本質的屬性,抽取出共同的、本質的屬性的過程。抽象分成過程抽象和數據抽象。過程抽象是功能抽象,舍棄個別的功能,抽取共同擁有的功能。數據抽象是一種更高級別的抽象,把現實世界中存在的客體作為抽象單元。在抽象數據類型中不僅有抽象還有數據抽象,用ADT描述程序處理的實體時,只有操作的定義,沒有具體實現,強調的是其本質的特征,其所能完成的功能,以及它的外部用戶的接口。
數據封裝:將實體的外部特征和其內部實現細節分離,并且對外部用戶隱藏其內部細節實現。在面向對象中封裝是將現實世界中存在的某個客體的屬性與行為綁定在一起,并放置在邏輯單元中。該邏輯單元負責將所描述的客體屬藏起來,客體外界對客體內部屬性的所有訪問只能通過提供用戶的接口實現。這樣做既可以對客體屬性起到保護作用,又可以提高軟件系統的可維護性。只要用戶接口不改變,任何封裝體內部的改變都不會對軟件系統的可維護性造成影響。在抽象數據類型中,將操作的功能描述封裝在一個封裝體內。
繼承和多態,在抽象數據類型中沒有具體體現,但是對基本操作只有定義,而沒有具體實現,至于每種不同的該抽象數據類型的實現到底如何去做暫不管,只要遵循對外提供的接口即可,間接的使用了繼承和多態的技術。
還可將抽象數據類型看成是類,數據對象則為類中的屬性,方法則為基本操作,而且方法還是只有定義沒有具體實現的,那么可以看成是接口。
5 結束語
從教學實踐中,深刻理解和把握了“抽象數據類型”這一概念的重要性,從多角度的講解有助于學生正確理解這一概念的實質和內涵,為后續課程的鋪墊奠定了堅實的基礎。
參考文獻:
[1] 嚴蔚敏,吳偉民.數據結構(C語言版)[M].北京:清華大學出版社,1997.
[2] 杜瑩,于靜洋.抽象數據類型概念的教學探索[J].教育與教學研究,2006(5):231-232.
[3] 徐孝凱.數據結構實用教程(C/C++描述)[M].北京:清華大學出版社,1999.
[4] 汪詩林,孫曉東.數據結構、算法與應用(C++語言描述)[M].北京:國防工業出版社,2000.
[5] 張銘,許卓群.數據結構課程的知識體系和教學實殘[J].計算機教育,2004:123-124.
[6] 唐策善,黃劉生.數據結構[M].合肥:中國科學技術大學出版社,1992.
篇3
關鍵詞:可空類型數據;Null;類型轉換
是一個全新和強大的服務器控件結構,環境中提供的訪問接口,通過它連接SQL Server。兩家軟件公司對可空類型數據的定義存在著差異,所以在程序設計過程中會出現類型數據轉換不符的系統錯誤。
一、可空類型數據和不可空類型數據
1.SQL Server中的可空類型數據和不可空類型數據
SQL Server數據庫中對表結構進行定義時,任何一種類型都可以設置為可空類型或不可空類型。如下圖1所示:
■
允許空值選中。這代表著id這個列名的數據類型是可空的,反之,數據的類型是不可空的。所以判斷SQL Server中的數據類型是可空的只要看允許空選項是否選中。
2.在中的可空類型數據與不可空類型數據
中提供多種編程語言環境。以C#為例,C#中基本的數據類型為值類型和引用類型。C# 2.0以上版本中新增加了可空類型,即包含Null值的值類型。而不可空類型數據一般是值類型,如int,boolean,decinal,datetime等。當我們最終把數據庫表映射到一個對象時,此時如datetime等值類型在C#語言中是不能為Null。
3.Null與"",0的區別
“Null”和數據空不是同一個概念。實際上,Null代表是空值,是“可以讓它是空的”的數據值,數據空可能是數字“0”,也有可能是空格數據"",它所呈現的值取決于數據庫表中的數據類型定義,如是整型或其他數值類型,則數據空為默認數字的“0”。但不能輸入Null。如是String字符串類型,默認值為Null,可以輸入"",也可能輸入字符0。
4.可空類型數據的實際應用
C#程序設計中,常用到可空類型數據與不可空類型數據。C#中的其他值類型數據都可能在程序運行的過程出現“不顯示”或“不設置”這種情況。這些需通過類型數據的轉換,符合設計和應用人員的要求。如何解決值類型也能為可空類型?用什么方法進行類型數據轉換?
二、可空類型數據轉換
1.可空類型數據的轉換方法
C#中的不可空類型數據如何轉換為可空類型數據。它的轉換格式如下如示:
int?nullable=null;
或Nullablenullable=null;
兩者的表示是等效的。常用第一種方式。
在類型數據定義符后面加上一個“?”,就可把C#中不可空類型數據轉換為可空類型類型。
2.整數類型的轉換
下面以例1來加強認識。
例1:整數的互相賦值
INT I1=5;I1賦值為5
INT?I2=I1;//可以賦值int賦值給int?
INT?I3=5;I3賦值為5
INT I4=I3;//不可以賦值int?賦值給int
從上面的幾個賦值可知,可空類型數據可以接受同類型的不可空類型的數據。不可空類型數據不能接受可空類型數據。
3.日期類型數據的轉換
■
C#中WPF窗口拖入一個按鈕控件和一個日期控件,并對按鈕進行設計,如圖2所示。
C#中日期類型dateTime是一個不可空的類型數據。datePicker是WPF是一個日期選擇控件,其中SelecteDate屬性是一個可空的類型。要把datePicker控件所選擇的日期數據傳遞出去。需要進行類型轉換。可用以下程序代碼解決。
dateTime?value=datePicker1.Selecteddate;
同樣的原理,其他的不可空類型數據可以通過在類型標志前加“?”解決可空類型數據的轉換。
4.注意事項
(1)因為可空類型可能為空,于是很多運算法則將不再簡單適用,如A+B,如果A或者B當中有一個或者兩個為可空類型,那么它們便不能簡單相加,因為它們可能會為空,這時結果也就可能會為空,所以一定要了解該數據的類型。如果程序編譯出現未能轉換類型錯誤,則要考慮該數據類型是否可為空。
(2)可空類型可強制轉換為對應的基礎類型,但在轉換之前一定要知道是否不為空,如果為空的話就會出錯。
(3)不要隨意使用可空類型,使用時一定要小心,隨時了解數據類型是否為空。
可空類型允許變量包含未定義的值。使用SQL Server數據庫設計可使用可空類型。而在C#設計環境中這種限制使得我們在開發過程中要相當小心,要考慮的內容較多。通過合理設置可空類型,或進行類型數據的轉換,把一些潛在的麻煩或錯誤消除。
參考文獻:
[1]吳晨2.0+SQL Server2005數據庫開發與實例.清華大學出版社,2008.
[2]李春葆,金昌,曾平葆.數據庫原理與應用:基于SQL Server
篇4
一、考查分段函數中自變量的取值集合或取值范圍
例1已知函數f(x)=2,x∈[0,1],x,x[0,1],則使f[f(x)]=2成立的實數x的集合為 .
解若x∈[0,1]時,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].
點評求解此類問題的方法是由內向外逐層進行,在代入求函數值時要注意自變量所在的是哪一段范圍.
二、考查分段函數中參數的取值或取值范圍
例2已知實數a≠0,函數f(x)=2x+a,x
解①當1-a0時,此時a+1>1,由f(1-a)=f(1+a)得2(1-a)+a=-(1+a)-2a,解得a=-32(舍去).
②當1-a>1,即a
點評分段函數里含有參數的問題,通常用到函數的性質(如單調性、最值等)及轉化、分類討論和數形結合等數學思想.
三、考查分段函數的零點問題
例3已知函數f(x)=(2x-x2)ex,-x2+4x+3,x≤0,x>0,g(x)=f(x)+2k,若函數g(x)恰有兩個不同的零點,則實數k的取值范圍為 .
解當x≤0時,f ′(x)=(2-x2)ex,當x=-2時取得極小值f(-2)=-2(2+1)e-2.當x
,即k∈(-72,-32)∪(0,2+1e2).
點評分段函數的零點問題,一般也是利用數形結合轉化為兩個函數圖象的交點個數,這種數形結合的思想方法能夠幫助我們直觀解題.
四、考查分段函數的周期性問題
例4定義在R上的函數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時,f(x)=f(x-1)-f(x-2)①,所以當x>-1時,x+1>0,有f(x+1)=f(x)-f(x-1)②.故由①②,當x>0時,f(x+1)=-f(x-2);于是當x>-2時,x+2>0,所以f(x+3)=-f(x)③,則當x>-5時,x+5>0,所以f(x+6)=-f(x+3)④,由③④知f(x+6)=f(x).即知在(0,+∞)上,函數f(x)的周期為6,從而f(33)=f(5×6+3)=f(3)=-2.
點評分段函數中有些問題表面上看與周期毫無關系,但實際上隱含著周期性,一旦揭示了周期,問題便迎刃而解了.要注意變量代換法揭示函數周期的應用.
五、考查分段函數的值域
例5設f(x)=x2,x,|x|≥1,|x|
A.(-∞,-1]∪[1,+∞)
B.(-∞,-1]∪[0,+∞)
C.[0,+∞)
D.[1,+∞)
解由題意知f(x)的值域為[-1,+∞),若f(g(x))的值域是[0,+∞),只需g(x)∈(-∞,-1]∪[0,+∞),作出f(x)的圖象,如圖2,可知g(x)的值域必然包含[0,1]且不包含(-1,0),又因為g(x)是二次函數,故y=g(x)圖象開口向上,且其最小值為0.所以g(x)∈[0,+∞).
點評分段函數的值域的求法通常從兩個方面入手:一是先分段求值域,然后取并集;二是作出函數圖象,觀察即得.
六、考查分段函數的單調性
例6函數f(x)=a2(x
解由題意可知f(x)是R上的單調減函數,故有0
篇5
(訊)8月12日消息北斗智庫工作室獨家了第三期網頁游戲產品發展報告,報告顯示,自2011年3月以來,RPG游戲和SLG游戲在產品數量和市場份額中仍占較大比重,ARPG在RPG類型游戲中已成為主流。同時,該工作室還對網頁游戲ARPG趨勢明顯的現象做了點評。
北斗智庫工作室認為,休閑競技類游戲上升勢頭明顯,ARPG在RPG游戲已經成為主流。雖然目前網頁游戲中RPG游戲和SLG游戲仍為主流,但隨著時間推移,新的市場爆發點極有可能在休閑競技領域;同時,北斗智庫工作室預測,ARPG在RPG游戲的熱度將會持續到明年10月份。
北斗智庫工作室分析,網頁游戲ARPG趨勢明顯的主要原因是方便易上手。相較于傳統的網頁游戲,APRG具有極強的互動性,精美的畫面可以與2D MMORPG客戶端一較長短;同時,高強度互動性的MMO角色扮演游戲在中后期玩家流失大,玩家逐步倒向相對輕松的休閑競技游戲。
北斗智庫工作室還預測,部分研發團隊或將嘗試冷門題材和類型的游戲開發。由于目前頁游市場產品主要集中在ARPG、SLG上,制作團隊在降低競爭風險的同時也造成了游戲類型的重復。因此,將會有研發團隊憑借冷門的游戲進軍市場,希望藉此打破自身的僵局,贏得用戶市場的認可。(編選:
來源:DoNews)
篇6
[關鍵詞]數字化;數字證據;視聽資料;書證;數字證據規則
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[文獻標識碼]A
具有相輔相承關系的自然科學與人文社會科學是人類文明不可分割的整體,自然科學成就以及其所積累起來的大量實證科學知識,為社會科學提供新的思維方式與研究方法,而社會科學不僅要思考具體社會關系中人與人的關系問題,還要回答自然科學發展中出現的一系列制度層面和道德層面的問題。包括法律在內的社會科學往往隨著自然科學的發展,在對自然科學所引導的社會關系進行調整的同時獲得了自身的進一步發展與完善。從法律縱向發展歷史來看,每次重大技術進步都會在刺激生產力飛躍提升的同時促進法律進步,工業革命時代如此,當前以數字技術為主導技術的信息革命時代也是如此。數字技術推促環境迅速發展、改變,使法律不得不正面回答其所提出的問題。在這個過程中,首先進行的一般是實體法的擴展與新創,隨之而來的則是程序法的映射修正。但是由于目前研究正處于伊使狀態,許多問題并沒有得到有效解決。
面對數字技術對法律提出的不同以往的挑戰,體現于合同法、知識產權法、行政法的一些程序流程中,我國在一些實體法中已開始逐漸進行解決,但在程序法上卻仍未開始這方面的嘗試。在當前已經出現的大量技術含量極高的案例中,作為程序的核心——證據制度,①不論是民事,還是刑事、行政證據制度在面對新問題時都處于一種尚付闕如的尷尬境地,這種尷尬在目前沸沸揚揚的新浪與搜狐的訴訟之爭中又一次被重演。不僅當前制定證據法的學者們所提出數稿中有的根本就沒有此方面的規定,即使作為對以往司法實踐的總結與最新的證據規則的《最高人民法院關于民事訴訟證據的若干規定》,對數字技術引發出現的愈來愈多的問題也依然未給予應有的注意。數字技術引發的種種問題現下可謂已漸有燎原之勢,卻仍不進行解決,可謂欠缺,因此為避免這種脫節,理應在數字技術環境下對括民事、刑事、行政證據制度進行新的研究。
一、數字證據的可采性與可行性分析
數字技術推動出現的社會經濟關系提出新的要求,體現于法律之上,在實體法上表現為,要求重新確認這種新技術指示的新類型社會關系當事人間的權利義務關系;在程序法上表現為,當這種社會關系的當事人因權利義務關系發生糾紛時,應當存在與之相適應的相關程序,或者對已有程序進行完善,能夠滿足這種糾紛不同以往而與其技術特征相適應的要求。而在程序法證據制度上的一個基本表現就是,要求數字化過程中所產生的一些數據資料等能夠納入到證據體系中,得到證據規則的認可,能夠被法庭接受成為證明案件事實的證據。
自20世紀90年代起,EDI數據交換方式以其便捷、高效、準確而備受青睞。一些重要的國際組織針對電子商務等進行大量的立法工作,歐美各國在實體上早已承認以數據電文方式訂立合同、申報納稅與以信件、電報、傳真等傳統方式具有相同效力,在程序法上也作了相應的規定。美國《聯邦證據規則》通過重申現行判例和成文法的形式肯定了數據電文無論是人工做成的還是計算機自動錄入的,都可作為訴訟證據。英國1968年《民事證據法》規定,在任何民事訴訟程序中,文書內容只要符合法庭規則就可被接受成為證明任何事實的證據,而不論文書的形式如何。[8]在1988年修正《治安與刑事證據法》(ThePoliceandCriminalEvidenceAct)也作出了類似的規定。加拿大通過R.v.McMullen(Ont.C.A.,1979)一案確立了新證據在普通法上的相關規則。聯合國貿法會在《電子商務示范法》中規定,“不得僅僅以某項信息采用數據電文形式為理由而否定其法律效力、有效性和可執行性?!庇殖姓J了以數據電文方式訂立的合同的有效性,并且認為,在一定情況下數據電文滿足了對原件的要求,在訴訟中不得否認其為原件而拒絕接受為證據。這些規定運用功能等同法(functional-equivalent),認為只要與傳統方式具有相同的功能,即可認定為具有同等效力。我國也與這一國際立法趨勢相靠攏,例如我國新修訂的海關法中規定了電子數據報關方式。更為重要的是,我國在合同法中已承認以電子數據交換方式訂立的合同的有效性,承認其符合法律對合同書面形式的要求。要使實體法的修改有實際意義,就必須設定相應的程序規則,使在以實體規定為依據在訴訟中尋求救濟時具有程序法基礎,否則實體法上的修改不啻一紙空文。
雖然數字證據并不單純只是在電子商務關系中產生,其還可在其他社會關系中產生,①但數字證據問題主要是由于電子商務的飛速發展而提出。由于電子商務交易追求交易的快速便捷、無紙化(paperlesstrading)流程,在很多交易過程中很少有甚至根本就沒有任何紙質文件出現,電子商務交易中所存在的與交易相關的資料可能完全是以數字化形式存在于計算機等存儲設備中。一旦產生糾紛,如果在程序法上不承認數字證據的證據力,當事人將沒有任何證據來支持自己的權利主張,無法得到法律救濟,商人對電子交易就難以產生依賴感,不利于電子商務的發展。
縱觀證據法的發展歷程,各種證據類型是在隨著經濟社會的發展中逐漸得到法律承認的,目前作為主要證據形態的紙質文件經歷了很長的時間方得到法律認可,視聽資料也經歷了類似的過程。電子技術在20世紀大行其道,導致證據法上接受了電子資料的證據效力,而數字技術在20世紀末便開始獲得了極大進步,對經濟與社會有著深遠影響,在新世紀之初所取得的發展與對社會發展的促進作用有目共睹。雖然法院尚未正式使用數字技術形成的數字證據,但法院卻早已開始使用數字技術方便案件的處理,雖然不能肯定數字技術會否在某一天取代電子技術,但卻能肯定數字技術必將搶占電子技術所占據的社會份額,其對社會的影響必將超越電子技術。任何一種技術新出現時都會有其欠缺之處,但正如電子資料最終成為證據法上的證據類型一樣,不能因為數字證據在目前所具有的脆弱性等消極因素而拒絕直面技術的發展、社會的進步,對于其之消極方面可以通過立法技術來加以調整,保障其在訴訟中的可采性,從而揚長避短,在程序法上充分發揮數字技術的作用。
并且,承認數字證據在我國法律上也是可行的。在法律上承認數字證據的可行性就在于法律能否將數字證據容納進去,而與法律的價值理念不相沖突,并可與原有的法律規定相協調,重新建立的規則與原有的體系也并不矛盾。各國在證據立法上有三種模式:一是自由式,原則上不限制所有出示的有關證據;二是開列清單式,明確列舉可作為證據的種類,此為我國所采;三是英美判例法證據模式。承認數字證據,在我國訴訟法中并不存在不可逾越的障礙,我國并不存在英美判例法國家由判例中長期以來形成的例如“最佳證據規則”與“傳聞規則”的束縛,以至于由于與根本性原則不相符合而使程序法容納數字證據大費周折。①我國訴訟法對證據采取列舉式的規定,只要立法將新的證據類型予以確認,即可使之成為合法的證據,可以在訴訟中有效使用。將原有的一些規則進行重新闡釋或者進行規則的另行制定,即可建立起數字證據制度。法律是個不斷進化、發展的而不是僵化的封閉體系,在有完善的必要時,或者修改立法,或者在未修改前對這種新證據以司法解釋的形式進行擴大解釋,予以訴訟上的許可也是合理的,既符合立法者意圖,也不違反我國程序法的相關規定,所以在我國法律上是可行的。
二、數字證據概念的比較研究
使用精確的概念,進行內涵的準確界定與外延的清晰延展,對于一個科學體系的建立極具方法論意義,并且也符合社會學方法的規則,因此,建立一個體系首先進行的便應是概念的歸納。同時,一個精確的概念必須能夠抽象歸納出所有客體的本質共性所在,必須能夠把表現相同性質的所有現象全部容納進去。對數字證據進行概念歸納,基于其之鮮明的技術特征,在歸納時要回歸到數字技術層面,在其所使用的數字技術與存在的社會經濟基礎的結合中尋找恰當的突破點。
對于所采用的概念,在國際上至今未有定論,如computerevidence(計算機證據)、electronicevidence(電子證據)、digitalevidence(數字證據)都有其之使用者。我國采取數字證據概念大多數是IT業界,法律學者采用的概念主要是:計算機證據與電子證據,進而在這些概念基礎上分析證據的性質、效力、類型等。②這些概念以及在此基礎上的分析存在一些問題,之所以如此,或者是因為單純注重對社會經濟層面的考查卻忽略對技術層面的透徹分析,或者是因為雖進行了技術的分析,但卻未深入到進行法律歸納所需要的足夠程度。因而有必要從與這些概念、定義的多維比較中分析數字證據概念的內涵與外延。
(一)與計算機證據、電子證據概念相比較
首先必須明確的是,雖各概念所使用的語詞雖不同,但在內涵上,計算機證據、電子證據都是針對不同于傳統的數字化運算過程中產生的證據,在外延上一般都試圖囊括數字化運算中產生的全部信息資料。不過,計算機證據與電子證據這兩種概念并不妥貼,不能充分表現該種證據的本質內涵,由此而容易導致概念在外延上不能涵蓋該種證據的全部表現。
1、“計算機證據”概念有人認為,“計算機證據,是指在計算機或計算機系統運行過程中產生的以其記錄的內容來證明案件事實的電磁記錄物?!盵1]采取“計算機證據”概念來表述數字化過程中形成的證據具有一定合理性,因為計算機及以計算機為主導的網絡是數字化運算的主要設備,并且目前數字化信息也大多存儲于電磁性介質之中。從數字化所倚靠的設備的角度來歸納此類證據的共性,在外延上能夠涵蓋絕大多數此類證據。然而,雖然計算機設備是當前數字化處理的主要設備,計算機中存儲的資料也是當前此類證據中的主要部分,但是進行數字化運算處理的計算機這一技術設備并不是數字化的唯一設備,例如掃描儀、數碼攝像機這些設備均是數字化運算不可或缺的設備,但并不能認為這些也屬.于計算機之列。從國外立法來看,沒有國家采取computerevidence,采用這種概念的學者在論述中也往往又兼用了其他的概念。
迪爾凱姆認為,研究事物之初,要從事物的外形去觀察事物,這樣更容易接觸事物的本質,但卻不可以在研究結束后,仍然用外形觀察的結果來解釋事物的實質。所以,“計算機證據”概念從事物外形上進行定義具有一定合理性,但是“計算機證據”概念未能歸納出數字化過程中形成的可以作為證明案件事實情況的證據共性,其不僅僅只是能夠涵蓋當前數字化過程中產生的大多數卻不是全部的信息資料,而且在法律上也不能對將來出現的證據類型預留出彈性空間。
2、“電子證據”概念目前,采用“電子證據”者甚眾,其存在各種各樣的定義。有人認為:“電子證據,又稱為計算機證據,是指在計算機或計算機系統運行過程中產生的以其記錄的內容來證明案件事實的電磁記錄物?!盵2]有人認為:“電子證據,是指以數字的形式保存在計算機存儲器或外部存儲介質中,能夠證明案件真實情況的數據或信息?!盵3]“電子證據是指以儲存的電子化信息資料來證明案件真實情況的電子物品或電子記錄,它包括視聽資料和電子證據?!盵4]加拿大明確采取了電子證據概念,在《統一電子證據法》(UniformElectronicEvidenceAct)的定義條款中規定,“電子證據,指任何記錄于或產生于計算機或類似設備中的媒介中的資料,其可以為人或計算機或相關設備所讀取或接收?!盵5]
綜合起來,各種電子證據的定義主要有這樣兩種:第一,狹義上的電子證據,等同于計算機證據概念,即自計算機或計算機外部系統中所得到的電磁記錄物,此種內涵過于狹小,不能涵蓋數字化過程中生成的全部證據,不如第二種定義合理。第二,廣義上的電子證據,包括視聽資料與計算機證據兩種證據,在內容上包含了第一種定義,并且還包括我國訴訟法中原有的視聽資料。但我們認為,這些定義中不僅所使用的“電子”一詞不妥,而且所下定義亦為不妥,理由如下:
第一,將電子證據或者計算機證據定性為電磁記錄物未免過于狹隘。雖然數字設備的整個運作過程一般由電子技術操控,各個構件以及構件相互之間以電子運動來進行信息傳輸,但是仍然不可以認為該種證據即為自電子運動過程中得到的資料。美國《統一電子交易法》2(5)中規定:“電子(electronic),是指含有電子的、數據的、磁性的、光學的、電磁的或類似性能的相關技術?!睌U大解釋了電子的語詞內涵,使用各種不同的技術載體來表達擴大的電子語義,已經失去了“電子”一詞的原義,原本意義上的電子只是其使用的“電子”概念中的一種技術而已,從而能夠涵蓋大多數此類證據。不過,既然如此,還不如直接使用能夠涵蓋這些技術特性的“數字”概念,在工具價值方面更有可取之處。加拿大《統一電子證據法》解釋中解釋之所以采取“電子”,“因為信息為計算機或類似設備所記錄或存儲”,但這個理由并不充分。并且接下來又承認有些數字信息(digitalform)未涵蓋于本法,因為有其他的法律進行調整。第二,電子證據概念不能揭示此類證據的本質特征。電子運動只是數字化運算的手段,而非本質,并且也并不是所有數字設備的運算全都采取電子運動手段。進行數字化運算的計算機設備及其他數字設備的共同之處在于這些設備的運算均采取數字化方式,而非在于均采取電子運動手段。第三,不論是將視聽資料這種已存的證據類型納于電子證據中,還是將電子證據納入視聽資料中,會致使“電子證據”與我國訴訟法中的“視聽資料”相混淆,而此類證據與視聽資料證據的本質共性并不相同。視聽資料中主要為錄音、錄像資料,其信息的存儲以及傳輸等也都采取電子運動手段。錄音、錄像采取模擬信號方式,其波形連續;而在計算機等數字設備中,以不同的二進制數字組合代表不同的脈沖,表達不同信號,信息的存儲、傳輸采取數字信號,其波形離散、不連續。二者的實現、表現、存儲、轉化都不相同。傳統的電話、電視、錄音、錄像等都采取模擬信號進行通訊,這是視聽資料的共性,而計算機與網絡信息技術則采取數字化方式通信,這是數字化運算中生成的證據的共性,兩者不同,不應混淆。
可見,狹義上的電子證據在外延上只能容納數字化過程中產生的部分證據,失之過狹;廣義上的電子證據確實能夠在外延上容納數字化過程中產生的全部證據,但卻失之過寬,如將視聽資料與計算機證據這兩種差別極大的證據容于同一種證據類型中,將不得不針對兩種證據進行規則的制定,從而導致同種證據類型的證據規則不相統一,很難建立起一個和諧有致的體系。
(二)數字證據①概念的內涵與外延
我們認為,數字證據就是信息數字化過程中形成的以數字形式讀寫的能夠證明案件事實情況的資料。
這里使用的“數字”(digital,digitspl.)與日常用語中的“數字”語義并不相同,雖并不如“電子”更為人們熟悉和容易理解,但重要的是根據科學的需要和借助于專門術語的表達,使用科學的概念來清晰的定義相關事物,況且“數字”概念在現今信息時代也并不是一個新概念,早已為人們廣泛接受和使用?,F代計算機與數字化理論認為,數是對世界真實和完全的反映,是一種客觀實在。人類基因組的破譯說明,甚至代表人類文明最高成就的人自身也可以數字化。[6]來勢洶涌的全球信息化潮流實際上就是對事物的數字化(digitalization)處理過程,區別于紙質信件、電話、傳真等傳統信息交流方式,這種采用新的信息處理、存儲、傳輸的數字方式在現代社會包括日常交往與商業貿易中逐步建立了其不可替代的地位。毋庸置疑的是,數字技術還會不斷的發展,因此在進行法律調整之時就更不能限定所使用的技術與存儲的介質,從而在法律上為技術的發展留存一個寬松的空間。
1、數字證據有其數字技術性。信息數字化處理過程中,數字技術設備以“0”與“1”二進制代碼進行數值運算與邏輯運算,所有的輸入都轉換為機器可直接讀寫而人并不能直接讀寫的“0”、“1”代碼在數字技術設備中進行運算,然后再將運算結果轉換為人可讀的輸出。數字證據以數字化為基礎,以數字化作為區別于其他證據類型的根本特征。數字證據具有依賴性,其生成、存儲、輸出等都需借助于數字化硬件與軟件設備;具有精確性,數字證據能準確的再現事實;具有易篡改性,數字化技術特性決定了數字資料可以方便的進行修正、補充,但這優點在數字資料作為證據使用時成為缺點,使其極易被篡改或被銷毀,從而降低了數字證據的可靠性,這個特點也決定了在對數字證據進行規則的制定時應當切實保障其之真實性。SWGDE(ScientificWorkingGrouponDigitalEvidence)與IOCE(InternationalOrganizationonDigitalEvidence)在1999年在倫敦舉辦的旨在為各國提供數字證據交換規則的會議IHCFC(InternationalHi-TechCrimeandForensicsConference)上提交了一份名為《數字證據:標準與原則》的報告也對數字證據從技術方面進行了定義,“數字證據是指以數字形式存儲或傳輸的信息或資料?!盵7]在接下來的規則中則重點闡述了如何對數字證據的真實性進行保障。
2、數字證據有其外延廣泛性。數字證據概念在外延上既可以容納目前以數字形式存在的全部證據,又具有前瞻性,可以容納以后隨著技術與社會發展而出現的此類證據。數字證據可以產生于電子商務中,也可以產生于平時的日常關系中,表現為電子郵件、機器存儲的交易記錄、計算機中的文件、數碼攝影機中存儲的圖片等,從美國FBI目前的犯罪執法中可以看到,現在專家越來越喜歡用數字技術對一些其他證據進行處理,例如用AvidXpress視頻編輯系統、Dtective圖像增強處理軟件對取得的錄像進行處理,并且這種處理也往往得到法庭的承認。這種對原始證據進行數字技術加工后形成的證據也可看作是一種傳來數字證據,即形成了一種證據類型向另一種證據類型的轉化,例如對我國視聽資料中的錄音、錄像進行數字處理后可以認為是數字證據,適用數字證據規則。這一點很重要,因為不同的證據類型往往適用不同的證據規則,從而在真實性等方面可能作出不同的認定。
數字證據一般有兩種存在形式:一是機器中存儲的機器可讀資料,二是通過輸出設備輸出的人可讀資料,如顯示設備顯示出來或者打印設備打印出來的資料。前種作為數字證據毫無疑問,而后者從表面看來似乎可以認定為書證。其實,此種人可讀的輸出資料仍然屬于數字證據,因為這些資料來源于數字化設備,是在設備運行過程中取得的,其之產生完全依賴于前者,人可讀的資料是由機器可讀的資料經過了一個技術轉化過程而取得的,在內容上保持了一致性。這兩種資料具有同質性,只是表現方式不同而已。后者的真實性等因素依賴于前者,在如何確保證據的合法性、真實性等方面,不可以因為其表現為紙面形式就適用書證規則,而應適用數字證據的證據規則。
三、數字證據在證據體系中的地位
由前文所述,我國應承認數字化過程中產生的信息資料的證據力,而數字證據要想在訴訟中具有可采性,得到有效使用,首先應在法律上得到認可。對于以列舉方式來進行證據分類的立法而言,一般是先確認合法的證據類型,將證據分類,然后將資料歸入到確認的證據類型中去,形成一個證據體系。我國現有的民事、行政、刑事證據體系都由各自的證據類型與相應的證據規則組合而成。①確認數字證據,將之納入到程序法證據體系中,自然會對原有證據體系產生影響:首先,要在程序法上承認其之合法性,具有可采性;其次,應確定其之證據類型;再次,需制定數字證據規則。這就需要解決兩個問題:一是是否可以擴大解釋原有概念,將數字證據包含于原有體系之中,從而保持原有體系與規則的穩定性;二是如果擴大解釋并不足以一勞永逸,而應將之視為一種新的證據類型納入到證據體系中,那么如何設定相應的證據規則。
(一)數字證據類型分析
數字證據并非以其物理狀態,而是以其記載的內容來證明案件事實,這與我國程序法中七種現有證據類型中的物證等并不相同,而與視聽資料與書證非常相似,因此關于數字證據類型的問題,主要圍繞于應將數字證據歸于視聽資料、書證中,還是應當獨立出來成為一種新的證據類型展開,這三種觀點都有其支持者。所以應當對數字證據與視聽資料、書證的關系進行比較,從而分析數字證據是應當劃歸原有證據類型之中,還是應當成為一種新的證據類型。
1、視聽資料不僅現在有許多觀點認為應將計算機存儲的資料等數字證據歸屬于視聽資料之中,而且在此之前的一些學者著述中,也認為視聽資料包括計算機存儲的資料。[9]不過這種主張并不像將數字證據納入書證的主張那樣有國外立法例作為支持,而只是一味的希望將數字證據納入原有規定中,以維持原體系的穩定性。
數字證據與視聽資料之間,一個直觀印象便是兩者均須借助于機器中介方可存儲或顯示信息,似乎相同。但視聽資料一般采取電子技術,采取模擬信號進行信息的存儲、傳遞、顯示,從而會導致信息的流失,因此存在原件與復制件之分。而數字證據采取數字技術,與電子技術間存在較大的不同,復制過程一般不會導致信息的丟失,原件與復制件的區分對于數字證據而言已無大的法律意義。就表面看來,數字證據的表現與視聽資料似乎是非常相同,但是我們認為,正如上文所述,在物理性質與表現手段上,數字證據與視聽資料存在的環境與據以生成的方式存在非常大的不同;數字證據與視聽資料在證據規則上存在非常大的不同,同歸一種證據類型中,規則的科學性很難保證;并且更為關鍵的問題在于,在我國訴訟中,視聽資料一般不能成為獨立定案的依據。但是,電子商務交易中往往只存在數字證據,少有其他類型的證據,而根據最高院的民事訴訟證據解釋,視聽資料的證據力仍然很弱,一旦將數字證據歸屬于視聽資料之列,會致使案件中沒有證據力強大的可獨立定案的證據,于現實不利。這也是不能將數字證據歸入證據力較弱的視聽資料中的最關鍵的理由。將視聽資料納入數字證據之列固不可取,卻也不可以將數字證據納入視聽資料之列。
2、書證書證是指以文字、圖畫、符號等表達的思想內容來證明案件事實的資料,[10]與數字證據的相同之處在于兩者都以其表達的思想內容來證明案件事實情況,不同之處主要在于載體與證明手段之上。將數字證據歸于書證之列在目前的學界論述中頗占上風,以書證規則對數字證據進行規制的聲音也遠多于以視聽資料進行規制的聲音,并有國外的立法例作為有力的論據,但是書證與數字證據雖有相同之處,但迥異遠大于相同。
從程序法角度來看,一般意義上的書證一般通過紙質文件、布片或者其他有形物體所載的文字、圖畫或其他符號來證明案件的事實情況,具有原件與副本之分,法庭一般會在提供書證原件的情況下方承認其之效力。數字證據則一般存儲于數字化技術設備之中,以磁盤或者光盤等為存儲介質,所存信息在復制、傳遞、顯示過程中保持了一致性,產生上雖有先后之分,但并不存在書證意義上的原件與副本之分。在證明手段上,數字證據不同于書證,常常表現為各種文字、圖形、圖畫、動畫等多媒體資料。并且,只要保存方式得當,數字證據可以永久保存,卻不像書證會隨著時間的經過而變得暗淡不清。再者,較之于書證,數字證據更易被偽造或者篡改,致使現在很多國家的法院仍然懷疑數字技術不當使用的可能,從而使數字證據在法律上的不確定性與不可靠性大大增加。
從實體法角度來看,實體法的一些規定,尤其是合同法將以數據電文訂立的合同歸于書面形式為將數字證據歸于書證的觀點似乎是提供了實體法上有力的佐證,但是我們應當看到,書證不一定就是紙質形態,書面形式并不等于紙面形式,數據電文為書面形式并不等于數據電文就是書面文件。在對書證與數字證據進行比較時,應當對紙質形態、書面文件、書面形式幾個概念進行理性的區分:書證不等同于紙質形態,不等同于書面文件,反過來看,紙質形態與書面文件形式的證據也并不一定就是書證,所以,數據電文為書面形式也不等于其可歸于書證一列。并且,合同法所運用的在電子商務立法中為各國普遍認可的功能等同法,只是在功能上將數據電文與傳統的紙面形式同歸為實體法意義上的書面形式,但卻不是承認此兩者在證據類型上為相同類型,即同為書證。
《電子商務示范法》在第8條與第9條中對電子商務中產生的信息作為證據的可接受性作出了明確規定:信息自首次生成之時起,除加上背書及在通常傳遞、存儲、顯示中發生的正常變動外,并無其他變動,則始終保持了完整性(integrity),并根據生成信息的目的來評定所要求的可靠性標準,依此來判斷是否為原件。①這種規定排除了數字證據歸入書證之列的最大障礙——書證對于原件的要求,使數字證據歸屬于書證之列不存在大的矛盾。但是,兩者的不同性導致如果將數字證據歸屬于書證之列,勢必會引起書證原有證據規則的變更,例如證據的出示、原件與副本、真實性的鑒定、證據保全等。我國訴訟法上的數種證據類型中除物證、視聽資料外都可表現為書面形式,但這并不妨礙它們因其自身的特征而成為一種新的證據類型,建立起自身的證據規則。而數字證據很明顯有區別于其它證據的顯著特征,同時,其使用的數字技術與存在的社會經濟基礎又區別于其他種證據類型,為了解決數字證據本身證據力強弱的問題,不必一定要將之歸于書證中。
包括英、美、加拿大在內的許多判例法國家將這種證據歸于書證之中,但我國不能采取同樣的方式,因為首先,英美的這種規定是與其原有的證據規則相一致的,例如在新的證據規則中結合了對microfilm與oralevidence等的規定,又新發展了最佳證據規則與傳聞證據規則,我國不存在這樣作的基礎;其次,我國不存在判例法中已存和不斷補充的新判例規則可以及時有效的對之進行調整;再次,數字技術的飛速發展也決定了數字證據規則需要根據技術的發展步伐不斷調整,而一旦歸入書證中,為保持書證原有規則的穩定必然會犧牲數字證據規則的完整,而嚴格的立法程序又不會使證據規則的修訂很容易。對這個問題的討論當然要參考國外的立法,但是又必須考慮到本國的法律沿革與現狀,而不可盲目的吸納國外規定卻不顧難以將之本土化的現實,以至于出現消化不良的可能。
3、數字證據為新的證據類型。數字證據在目的上與其他證據一樣都是為了證明案件事實情況,但在存在形態上與證明方式上與以往的證據類型頗不相同,不論歸屬于何種已存證據類型中均不合適。數字證據具有獨自的社會經濟基礎,具有本身的顯著特性,具有與其他證據類型相區別的特征,在證明方式與書證有一定的相似性。因此,在修改立法前為了解決目前比較急切的問題,可以司法解釋明確數字證據的證據力,將之歸于書證之中,并作出適應數字證據自身特點的一些證據規則,保持書證原有規則的穩定。而最好的方式為將之視為一種新的證據類型——數字證據,同時還應制定與其特征相應的證據規則。
(二)數字證據規則設計
對數字證據的證據規則進行設計時應充分考慮到數字證據產生的環境、生成方式、存儲手段等技術性特點以及法律的傳統與體系的內在邏輯。數字證據具有許多優點,但也有其較之于傳統證據類型的缺點,尤其是對其真實性的保證相對較難。對數字證據的真實性保障,在技術上可以推進安全技術手段的發展,嚴格系統操作流程,以及網絡服務中心中轉存、電子簽名、網絡認證等一系列信用保證手段來提升其安全性和可信度。不過,對數字證據真實性的保證主要應從法律角度著手,不過,在法律上保證數字證據的真實性時,不應對數字證據所使用的技術進行限制,而應采取功能等價與技術中性原則,從而不至于使法律成為阻礙技術發展的桎梏。我們認為,在確認了數字證據類型實現了證據合法性的前提下,在滿足程序法例如舉證分擔、舉證時限等一般規則的條件下,數字證據自身規則的設計主要應放在對其真實性的保障之上,這一點在各國相關立法上均得到了體現,例如TheCivilEvidenceAct,1968U.K.、SouthAustraliaEvidenceAct(1929-1976)、SouthAfricanComputerEvidenceAct,1983主要規定的是數字證據的可接受性,其中便以大量篇幅來規定其之真實性。不論數字證據是作為書證,還是作為一種新的證據類型,基于其自身特征,我們認為都應當至少確立以下證據規則:
1、保證數字證據的真實性。(1)審查數字資料的來源,包括形成的時間、地點、制作過程等;①采用數字簽名的數字證據的證據力強于無數字簽名的數字證據;使用的簽名技術安全性更高的數字證據的證據力大;保密性強的數字證據的證據力強于保密性弱的數字證據。(2)審查數字證據的收集是否合法;(3)審查數字證據與事實的聯系;正如不能說物證是直接證據還是間接證據一樣,也不能簡單的說數字證據是直接證據還是間接證據,對此應根據數字證據與案件本身的聯系來區分,但是目前許多學者的論述中卻脫離案件來談數字證據是直接證據還是間接證據。[11]證據的證明力決定于證據同案件事實的客觀內在聯系及其聯系的緊密程度,同案件事實存在著直接的內在聯系的證據,其證明力較大,反之則證明力較小。因此,如果查明一項數字證據自生成以后始終以原始形式顯示或留存,同時如果該證據與案件事實有著內在的、密切的聯系,則其為直接證據;反之,若該證據不足以單獨證明待證事實,則屬于間接證據。(4)審查數字證據的內容是否真實,是否有偽造、篡改情形;可以審查數字證據產生的硬件與軟件運行環境、系統的安全性,內部管理制度;要考慮生成、儲存或傳遞該數據信息的方法的可靠性,保護信息完整性的方法的可靠性,以及偽造、篡改情形出現的可能性大小等因素。①(5)結合其他證據進行判斷;尤其可以考慮無關第三方、CA認證機構、網絡服務商提供的數字證據。例如《廣東對外貿易實施電子數據交換暫行規定》規定,在進行電子數據交換的協議,雙方發生爭議的,以電子數據中心提供的數據為準。[12]
2、數字證據可以成為獨立定案的依據。尤其是在目前無紙化的電子商務中,在不存在其他證據類型時,應當認可數字證據可以成為獨立定案的依據。在數字證據與其他證據相矛盾時,由于數字資料較易篡改,所以在現階段一般要承認物證、書證的證據力強于數字證據。不過,任何證據都有偽造的可能,因此還要重視發揮法官在具體案件中的自由心證。
3、當事人可對數字證據的真實性進行證明。當事人提供數字證據,如無相反事項證明其不真實,則其為真實;對方當事人可對其之真實與否進行舉證。②即使數字證據變換了形式,只要在內容上保持了一致,仍可認可其之證據力。
4、當事人可申請有關專家對數字證據進行證明。這種證明可以認為是專家證人性質的證據,用來對數字證據的真實性等進行證明。在有關數字證據的認定等問題較為復雜時,法院可依當事人申請而進行調查取證,也可指派或聘請專業人士或機關進行鑒定。美國存在一個影響較大的EED(Electronicevidencediscovery)公司,其在為數據的認證、定位、處理、刪除數據的恢復等方面提供專家證人領域得到了法院的認可,該公司為美、英、加拿大、歐洲提供這種服務。專家在對受到懷疑的數字證據的真實性進行作證時,按照美國的聯邦證據規則,其需對所采技術、處理流程等進行詳細的說明,并接受交叉詢問。
5、數字證據原始載體與復制件具有同等的證據力。數字信息在經過多次復制、傳輸以后仍然保持了一致性,而不似其他證據會有信息的丟失、缺損。數字證據的原始載體與復制件不相吻合并不能說明復制件為偽造,但應當說明其來源和制作經過,從多方面綜合判斷數字證據的真實性。美國《聯邦證據規則》對“復制件的可采性”作出了這種規定。[13]
6、數字證據公證。允許當事人請求公證機關對數字證據進行公證,在訴訟中進行使用,不過,進行公證的公證機關必須具備進行數字證據公證的能力,同時應規定相應的公證程序規則。
7、數字證據保全。數字資料的存儲不同于其他證據,且常常是有關證據存儲于當事人或者網絡服務中心的服務器中,因此在對證據進行保全時,法院如何進行保全,如何尋找到存儲的數字資料,不能尋找到而當事人拒不提供,以及采取證據保全會影響當事人的服務器的正常運作而影響其正常的業務活動時,對當事人商業秘密的保護等,都應當設計相應的規則。①
8、確定網絡服務中心進行資料保存、證明的義務。信息在網絡上進行傳輸需要服務器,服務器在傳輸信息時一般都對信息進行存儲、中轉,這些服務器大多由信息服務提供者與網絡接入服務提供者控制。尤其在電子商務中,交易當事人一般是通過網絡服務中心進行信息數據的傳遞與交換。在訴訟中,網絡服務中心為中立的第三方機構,且無論技術與設備,還是資信狀況,均比較可靠。在當事人提供的證據相互矛盾無法認定時,法院可要求網絡服務中心提供其留存的相關資料。在當事人的提供的證據與網絡服務中心提供的證據不相符合時,應認定網絡服務中心提供的證據。在法律上要求網絡服務中心在一定期限內留存相關交易資料備查,同時又要注意對交易當事人商業秘密的保護?!稄V東省對外貿易實施電子數據交換暫行規定》就規定,EDI服務中心應有收到報文和被提取報文的回應和記錄。凡是法律、法規規定文件、資料必須長期保存的,其表現形式的電子報文要給予存貯,存貯期最短不得少于5年。進行電子數據交換的協議雙方發生爭議時,以EDI服務中心提供的信息為準,雙方可依照協議申請仲裁或按照法律、法規規定向人民法院。②
四、結語
數字技術對法律的影響是間接的,其首先影響社會經濟關系,然后以此為中介影響法律。數字技術對從實體到程序的各個法律部門法都產生作用,數字證據問題只是在程序證據制度上的一個反映而已。
一個科學的體系應當建立在精確的概念基礎之上,應以數字證據概念作為基礎概念來對此制度進行建構,對其的研究應當結合其之經濟性、技術性特點。數字證據是信息數字化過程中形成的以數字形式讀寫的能夠證明案件事實情況的資料,其外延廣泛,并不僅限于電子商務中產生的資料,也并不僅指計算機數據;在證據類型上,數字證據與視聽資料差別顯著,不可同歸一種證據類型中,與書證存在相同之處,也存在差異之處,目前可以以司法解釋的方式將之明確于書證之列,同時規定一些與之相應的符合現實需要的證據規則,以作應付當前現實問題的權宜之計,而長遠看來還是應將數字證據確立為一種新的證據類型,同時制定與其特點相應的證據規則,在對數字證據規則進行設計時,重點應當主要放在對真實性的保障之上。
數字技術、電子商務以及知識經濟在我國的充分、完全發展只是時間的早晚,實體法對此已開始進行調整,而程序法卻仍未開始這種嘗試,要求不可謂不迫切。程序法律在解決科技引發的問題的同時,也必然會隨著科技導引的社會發展而相應進步,是以,對數字技術對程序法的影響的研究應當得到學界足夠的重視,以使程序法獲得在數字時代的發展。
[參考文獻]
[1]張西安.論計算機證據的幾個問題[N].人民法院報2000-11-7(3).
[2]白雪梅、孫占利.電子證據中的法律問題[EB/OL]./falv/wenji/fnsx/fnsx100.htm2001-12-6.
[3]韓鷹.對電子證據的法律研究[A].中國律師2000年大會論文精選上卷[C].北京:法律出版社2001.284—290.
[4]程.電子證據體系及法律定位[EB/OL].
/law/Special_show.asp?SpecialID=42001-12-6.
[5]Definitions1,UniformElectronicEvidenceAct,Canada.
[6]蔡曙山.論數字化[J].中國社會科學2001,(4).33—42.
[7]See,"Digitalevidence:PrinciplsandStandards"in2002-5-12
[8]TheCivilEvidenceAct,1968(U.K.1968c.64)Section5.Admissibilityofstatementsproducedbycomputers
[9]江偉.民事訴訟法學[M].北京:中國人民大學出版社,2000.155.
蔣志培.網絡與電子商務法[M].北京:法律出版社2001.564.
張梅.電子郵件能否作為訴訟證據[J].華東政法學院學報2001,(03).
游偉、夏元林.計算機數據的證據價值[J].法學2001,(3).45.
[10]江偉.民事訴訟法[M].中國人民大學出版社2000.154.
[11]沈木珠.論電子證據的法律效力[J].河北法學2002,(2).15—19.
[12]蔣志培.網絡與電子商務法[M].北京:法律出版社2001.564.
[13]Rule1003.AdmissibilityofDuplicates,FederalRulesofEvidence.
①程序法中,證據制度往往比其他制度與社會發展和科學技術進步之間具有更為緊密的關聯,可以說,證據制度的穩定性較諸其他程序制度為弱,因為其常常需要隨著科學、技術等的發展不斷作出相應的調整,在證據種類、法庭質證等方面,證據制度需要很快的反映各種技術的發展。
①以數字化設備為基礎而生成的數字形式讀寫的證據均可認為是數字證據,其可以為民事程序法上的證據,也可以為刑事、行政程序法上的證據,不過,在現階段,電子商務關系中產生的這類證據的數量多于其他類型社會關系,但不可以認為數字證據即為電子商務中產生的證據,例如內部局域網、個人計算機中存儲的資料也可成為數字證據。
①英美判例法中,在這兩項原則的制約下,起初由計算機數字設備中取得的資料并不能夠成為訴訟中有效的證據,但是法官通過擴大解釋一些本已存在的例外性規定,使這些資料成為法庭可以接受的證據。對此,可參見沈達明先生的《比較民事訴訟法初論》上冊,中信出版社1991版,第331—334頁。
②還有的學者在論述中并未對其使用的概念進行定義,如吳曉玲載于《計算機世界》1999年第7期的《論電子商務中的電子證據》中使用電子證據,游偉、夏元林載于《法學》2001年第3期《計算機數據的證據價值》中使用計算機數據電訊,呂國民載于《法律科學》2001年第6期的《數據電文的證據問題及解決方法》所使用的數據電文都未進行明確的法律上的界定。
①數字證據可以出現于三大程序法中,本文針對民事、行政、刑事程序法中的數字證據問題的共性進行討論,并不涉及基于不同程序性質而產生的細節問題的不同。同時,我們無意在此對我國原有證據體系的分類模式與合理性等進行論證,那并不是本文所主要研究的問題。
①三大程序法的證據類型主要有書證、物證、視聽資料、證人證言、當事人陳述、鑒定結論、勘驗筆錄七種,同時,行政訴訟法中還有一種現場筆錄,刑事訴訟法中還有一種犯罪嫌疑人、被告人的供述與辯解。實際上,主要證據類型基本相同,不同之處產生的原因是不同程序在操作層面有不同的情況。
①根據這種已為許多國家所采的有關原件認定的規定,對于數字證據而言,在技術平臺之上初次產生的數字證據可以認為是原始證據,在經過復制、傳輸之后則為傳來證據了,但此兩者在證明力上并無二致,原始證據與傳來證據這種確定證據證明力大小的劃分在數字證據規則中已無意義。這也表明了數字技術的出現使得法律上原有的一些規則在對這些新技術導引的社會關系進行調整時已不再如以往那么有效了。
①包括聯合國貿法會在內,各國一般考慮生成、存儲或傳遞該數據的辦法的可靠性,保護信息完整性的辦法的可靠性,用于鑒別發端人的辦法,以及任何其他相關因素。
①美國法院在《聯邦證據規則》修正以前經常采取的一個判例中確立了這些原則,Kingv.exrelMurdockAcceptanceCorp,222So.2d.393at398,(1969)(Miss.Sup.Ct),而這些原則在另一個判例中又得以充實,MonarchFederalSavingsandLoanAssociationv.Genser,383A.2d475at487-88,1977(N.J.SuperiorCt,Ch.Div.
②英國1988年修正的《治安與刑事證據法》采取這種反面列舉的規定。
篇7
1、《請回答1988》電視劇屬于家庭、青春、愛情、喜劇三者結合的一部電視劇。
2、該劇是“請回答”系列的第3部電視劇,以1988年漢城(今首爾)奧運會為背景,講述在首爾市道峰區雙門洞居住的五戶人家之間溫暖的親情和鄰里情的故事。
3、代表性質的事件作為背景使得1988更具有時代感。同樣最吸引我的不止是這部劇的事實情節,而是每個人的感情發現特別的真實,沒有特定的男女主角,每個都是這部劇的重點。
以上就是關于《請回答1988》電視劇屬于什么類型的相關內容介紹了,有興趣的朋友,一定不要錯過了這部收視率非常高的電視劇。
(來源:文章屋網 )
篇8
1、模糊數據庫,指能夠處理模糊數據的數據庫。用數量來描述模糊事件并能進行模糊運算。這樣就可以把不完全性、不確定性、模糊性引入數據庫系統中,從而形成模糊數據庫;
2、 統計數據庫,管理統計數據的數據庫系統。數據庫包含有大量的數據記錄,其目的是向用戶提供各種統計匯總信息,而不是提供單個記錄的信息;
3、網狀數據庫,處理以記錄類型為結點的網狀數據模型的數據庫。處理方法是將網狀結構分解成若干棵二級樹結構,稱為系;
4、演繹數據庫,是指具有演繹推理能力的數據庫。用一個數據庫管理系統和一個規則管理系統來實現。將推理用的事實數據存放在數據庫中,稱為外延數據庫。主要研究內容為,如何有效地計算邏輯規則推理。
(來源:文章屋網 )
篇9
一、利用最簡式相同解題
例1 取一定量的甲醛氣體溶于適量的冰醋酸中,再加入一定量的果糖得混合物甲;與含有一定量甲酸甲酯和葡萄糖的混合液乙以任意比例混合得丙.則丙中碳元素的質量分數是()
(A) 20% (B) 35%(C) 40% (D) 55%
解析:該題乍一看感覺很復雜,所含物質較多,且各物質的準確量值并未告訴,使得題目看起來無法解答.此時應注意尋找題目中隱藏的信息或規律.所求問題為碳元素的質量分數,應與各物質的最簡式有關.先寫出各物質的分子式后認真分析:甲醛(CH2O)、冰醋酸(C2H4O2)、果糖(C6H12O6)、甲酸甲酯(C2H4O2)、葡萄糖(C6H12O6).不難發現所含物質均具有相同的最簡式CH2O,所以各物質不論以何種比例混合,碳元素的質量分數均為40%.答案選(C).
變式1:常壓和100℃條件下,把乙醇汽化為蒸氣,然后和乙烯以任意比例混合,將其完全燃燒,相同條件下消耗氧氣的體積是原混合氣體體積的幾倍()
(A) 1倍(B) 2倍(C) 3倍 (D) 無法計算
解析:此題中將兩種不同類別的物質混合后計算耗氧量,而且對兩物質的比例未作限定,看似無法解答.但從耗氧量的角度對乙醇和乙烯進行分析后發現,乙醇和乙烯的耗氧量相同且均為其體積的3倍:C2H5OH+3O2=2CO2+3H2O、C2H4+3O2=2CO2+2H2O,所以答案選(C).
點評:遇到此類題目應緊抓問題,從所問問題入手整理出基本信息,然后認真分析尋找相同點或規律解題.
二、利用相等量解題
例2 在一定量的NaCl溶液中逐滴加入某濃度的AgNO3溶液至沉淀完全.對沉淀進行過濾、洗滌、干燥后,測得沉淀的質量與原NaCl溶液的質量恰好相等.求原NaCl溶液的質量分數()
(A) 34.5% (B) 40.8%(C) 45.8%(D) 無法計算
解析:發生反應:NaCl+AgNO3=AgCl+NaNO3
58.5 g 143.5 g
由題意:生成沉淀的質量與NaCl溶液的質量相等可知若將沉淀AgCl的質量取為143.5 g,則NaCl溶液的質量也為143.5 g,根據方程式中量的關系可知生成143.5 g AgCl沉淀時須消耗58.5 g的NaCl,即NaCl溶液中溶質NaCl的質量應恰好為58.5 g,則原NaCl溶液的質量分數為58.5/143.5×100%=40.8%.答案選(B).
變式2:把足量的鐵粉投入到硫酸和硫酸銅的混合溶液中,充分反應后,殘余固體的質量與原來加入的鐵粉的質量相等,則原溶液中H+和SO2-4的物質的量之比為()
(A) 1∶4(B) 2∶7
(C) 1∶2 (D) 8∶31
解析:根據題意殘余固體的質量與原來加入的鐵粉的質量相等,可知參加反應的鐵粉與生成銅的質量相等,可找出等量關系:n(Fe)×56=n(Cu)×64,分析發生的反應Fe+ H2SO4=FeSO4+H2、 Fe+ CuSO4=FeSO4+Cu可知:①n(Fe)=n(H2SO4)+n(CuSO4),②n(Cu)=n(CuSO4)代入相等關系解得:n(H2SO4) n(CuSO4)=
1 7,進而解得n(H+) n(SO2-4)=1 4.答案選(A).
點評:遇到此類題目應緊抓相等量,可用相等量中的數據代換所求問題中的數據,也可從相等量入手找出問題所需關系進行解答.
三、利用守恒規律解題
例3 已知某反應的離子方程式為:M2Ox-7+3S2-+14H+=2M3++3S+7H2O,則M2Ox-7中M的化合價為()
(A) +2(B) +3 (C) +4 (D) +6
解法1:根據得失電子守恒規律求解,設M2Ox-7中M的化合價為+a,
則有:2(a-3)=3×2 ,解得:a=6.
解法2:根據電荷守恒規律求解,-x+(-2×3)+14=2×3解得:x=2,,所以M的化合價為+6. 答案選(D).
變式3:V2O3和V2O5按不同的物質的量之比混合,可按化學計量數發生完全反應.今欲制備V8O17 ,則需V2O3和V2O5的物質的量之比應為()
(A) 1∶2 (B) 2∶1
(C) 3∶5(D) 5∶3
解析:設V2O3和V2O3 物質的量分別為x、y,則
根據V原子守恒得:2x+2y=8,
根據O原子守恒得:3x+5y=17,
解得:
x=15
y=2.5,則x∶y=3∶5,答案選(C).
點評:離子反應必須符合電荷守恒、氧化還原反應必須符合得失電子守恒、任何化學反應都必須符合原子守恒和質量守恒等等,若能訓練學生很好的掌握這些守恒關系并熟練應用于解題可起到事半功倍的效果.
四、取定某個量為恒量解題
例4 150 ℃時,碳酸銨完全分解生成氣態混合物,試求所得氣態混合物的密度是相同條件下氫氣密度的多少倍()
(A) 96(B) 48 (C) 24(D) 12
解析:該題中發生反應:(NH4)2CO3
2NH3+CO2+H2O
根據阿伏伽德羅定律的推論:同溫同壓下,任何氣體的密度之比等于摩爾質量之比,解此題須先計算出所得氣態混合物的平均摩爾質量.因題目未給出任何數據,可先入為主取定受熱分解的(NH4)2CO3的物質的量為1 mol,根據質量守恒可推知反應后氣態混合物的總質量與反應前(NH4)2CO3的總質量是相等的均為96 g,再根據反應方程式可得反應后生成的氣態混合物的總物質的量為4 mol,由此求出混合氣體的平均相對分子質量為24,所以其密度是相同條件下氫氣密度的12倍.答案選(D).
變式4:標準狀況下,用一充滿氨氣的燒瓶作噴泉實驗,當水充滿整個燒瓶后,燒瓶內氨水的物質的量濃度是()
(A) 0.045 mol/L(B) 1 mol/L
(C) 0.029 mol/L (D) 0.45 mol/L
篇10
中圖分類號:G642
摘要:分析高校文科專業數據庫教學存在的問題,以培養應用型人才為目標,對數據庫教學內容和方法進行探討,提出一些改革措施:以學生為主體,引導創新性學習和實踐;充分發揮學生的主觀能動性,從理論教學、實驗教學和考核制度上轉變觀念,提高教學質量,促進學生綜合學習能力和應用實踐能力的提高。
關鍵詞:應用型人才;數據庫;任務驅動
應用型人才是指具有一定復合型和綜合性特征的技術,能將專業知識和技能應用于所從事專業的一種專門的人才類型。隨著以計算機和網絡為代表的信息技術無處不在地影響著各個領域,掌握一定的計算機知識和應用則是培養應用型人才必要且重要的環節。因此,如何使得非專業的學生以計算機作為工具從事與本學科相關的工作則是計算機基礎教育工作者需要認真思考的問題。目前大多數高校實施的是教育部針對計算機基礎教育提出的“1+X”方案,即一門計算機基礎課程和其他計算機應用課程。以魯東大學為例,我們結合學生的專業特點,對文史哲、經濟管理等文科專業學生開設了數據庫應用技術作為計算機應用課程。
1 數據庫教學中的問題
對于計算機專業的學生來說,數據庫應用技術是重要的必修課或專業基礎課,學生大都掌握了數據結構、編程語言等先行課。而非計算機專業,尤其是文科類的學生,由于學習的計算機基礎知識較少,邏輯思維能力和動手能力較弱,綜合考慮各種因素,魯東大學選擇Access數據庫作為學生學習的對象。Access簡單易學,學生能快速掌握信息時代數據的處理方法,進一步培養計算機的應用能力;Access是最流行的桌面數據庫管理系統,在教學、餐飲、交通等多個領域具有廣泛的應用,為學生以后的繼續學習和工作打下基礎。
為了更好地提高數據庫教學質量,我們首先從目前教學中存在的問題進行分析。
1)學生興趣不高。
以魯東大學經濟類專業為例,我們在開學初對330名經濟類學生學習Access數據庫的目的進行了問卷調查。
通過這次調查發現,40%的學生存在思想誤區,認為該課程和本專業無關,考試及格拿到學分就行,沒有給予足夠的重視;24%的學生以考計算機二級證為目的,只想學習與考證有關的知識;只有36%的學生希望提高計算機應用技能,將來能利用數據庫技術解決本專業領域中的一些問題。
2)教學方法陳舊。
理論課的課堂教學方法通常是以講授為主,教師控制教學過程,學生缺乏學習自主性,教師權力過大,學生權利過小,教學結構過于單一;教師照本宣科導致學生知識面狹窄、學習興趣不大。
實驗課以重復練習教師的講課內容為主。雖然實驗過程較順利,但是極易導致學生基礎不牢固、知識遷移能力差,束縛了學生獨立思考和獨立創新能力的發揮。
3)考核制度不完善。
考核是檢驗教學成果的最有效的方法和手段,不同的考核方式能激發學生不同的學習動機。目前的考試以紙質試題和上機考試為主,客觀題較多,分析題較少,偏重于理論知識的檢測,輕操作;同時,由于考試時間有限導致考查內容片面,區分度不高,不能準確地反映學生對知識的掌握程度和應用數據庫技術的綜合能力。
綜上所述,文科專業的數據庫教學活動要解決以下兩個問題:如何充分調動學生的積極性,使學生在教學過程中變被動接受為主動學習;如何改革教學方法和考核制度使教學效果達到最優。
2 數據庫教學探討
2.1 轉變教學理念
在教學理念上,一要堅持以學生為主體,學生不再是知識的被動接受者,而應成為信息加工的主體、知識意義的主動建構者,而教師也不再是簡單的知識傳授者,而應成為幫助學生自主學習的領路人和導師;二要結合學生專業知識,引導創新性學習和實踐,培養學生發現問題、分析問題和解決問題的能力。
2.2 開展豐富的理論教學
以學生為主體、教師為主導開展豐富的課堂教學活動。
1)激發學生的興趣。
第一次授課要摒棄傳統,不再講授Access數據庫的歷史和特點,取而代之要分析該課程的地位和作用、學習完該課程可以做些什么、如何學習該課程,讓學生意識到所學知識在社會中的重要性;通過典型案例和學生作品的演示滲透Access的七大對象,讓學生產生學習的好奇心。只有對這門課程產生了興趣,內心重視了,才會有學習的動力。
2)案例驅動的理論教學。
所謂的案例驅動是通過對具體實例的演示、講解,讓學生對案例進行閱讀、思考、分析、討論和交流,進而達到高層次認知學習目標的一種啟發式教學法。在案例驅動教學中,選取和設計的案例應具有以下特點:①典型性和系統性。教學案例應涵蓋課程絕大部分知識點,并且相互聯系、前后連貫。②實踐性。教學案例應來源于實際應用,而不是虛無縹緲的。③專業相關性。教學案例應和學生的專業密切相關,這樣學生可以利用已有的專業知識來理解數據庫系統的設計,進一步激發探索新知識的好奇心。例如,我們為經濟類學生設計了小型超市管理系統,而針對文學類學生則選擇古詩文管理系統。
在教學過程中,首先根據每節課的教學目的和要求完成數據庫案例的部分功能,接著講解所用到的知識,最后是知識提高、引出新問題,讓學生從實際操作中總結原理,循序漸進地掌握每個章節分散的課程知識點,逐步建立起“系統開發”的整體概念。
3)發揮學生的主動性。
每次在理論課上,教師會鼓勵學生設計并講解5~10分鐘的PPT,可以是上節理論課或實驗課上的重點難點,也可以是自己在學習中的收獲或沒有解決的問題,同時教師可以對知識進行補充,解答學生的疑難問題;適當地增加學生上講臺講課的次數,例如對于表的維護等章節可以通過學生教學生的方法來實現,在學生講解過程中教師可以看到他們對知識的掌握程度和理解深度。這樣既有助于學生樹立發現問題、分析問題和解決問題的信心,又有利于學習能力的培養和主動性的發揮。
2.3 案例和任務驅動相結合的實驗教學
成立學習小組,加強團結協作意識,互幫互助共同進步。學生自由組成8~10人的學習小組,由成員推選一名組長,負責小組成員的問題收集、與教師的溝通和反饋。
每次實驗教學分兩大階段同步進行:以訓練基本知識和技能為出發點的案例教學;以培養實際應用能力和創新能力為目標的任務驅動式教學。
1)第1階段圍繞學生比較熟悉的案例完成驗證性實驗。
教師制作完整的數據庫系統案例并撰寫對應的實驗內容和步驟。該案例可以是類似于理論課或是學生比較熟悉的案例,如“小型圖書管理系統”或“學生管理系統”等。根據理論課的進度學生依照操作步驟練習相應的知識點,知識點全部練習完了,數據庫系統也制作成功了。學生既可以較容易地接受和鞏固所學的理論知識,增加數據庫應用技巧,又可以把所學的理論及時地運用于實際,為第2階段打下堅實的基礎。
2)第2階段采取任務驅動的教學方法完成課程設計。
所謂的任務驅動是指“以任務為主線,以教師為主導,以學生為主體”,其核心是任務的設計。任務應貫穿于整個教學過程。筆者在教學過程中將其分為總任務和階段性任務來實現。
(1)總任務的提出。第1次理論課或實驗課中提出總任務,即課程設計的要求和評分標準,每名學生以自己的興趣為出發點,或者跟專業方向相結合選擇數據庫應用題目。在選題的過程中,學習小組可以相互交流和討論,分析自己要設計的數據庫應用系統的功能。對于一些自信心不足或基礎較弱的學生,教師可以給出指導性的建議。由于該課程設計也是作為課程考核的項目之一,因此數據庫題目的選擇要盡量避免重復。
(2)階段性任務的完成。課程設計即總任務需要數據庫各部分知識點的支撐,在教學活動中要循序漸進地完成,因此我們將總任務分解為階段性任務來實現。每個階段性任務都有自己的生命周期,最重要的是要和教學進度緊密結合。圖1所示為階段性任務的劃分。
經過第1階段的驗證性實驗,學生已經有一定的知識積累,因此在各階段任務中教師不要急于示范和講解,而應啟發和引導普遍存在的問題,及時講授擴展知識或新知識。例如在表設計階段,首先讓學生對自己所選的題目進行需求分析,然后引導學生從“數據庫以什么作為研究對象,可以提供哪些功能”人手。例如:小型圖書管理系統的主要研究對象是圖書,那么就應該包括圖書所屬類別、圖書信息的詳細描述、讀者的信息、借閱情況等,根據這些信息,啟發學生設計出數據庫中的表、字段及字段的屬性等。而對于涉及VBA(Visual Basic Application)編程語言較多的模塊,教師可適當地拓展關于事件驅動的編程機制、數據庫連接技術等知識以完善學生的設計,從而增強學生探索知識的興趣,提高對知識綜合應用的能力。
由于兩個階段同步進行且每次實驗時間有限,對于一些知識點較多且復雜的章節如查詢、宏和模塊等,應適當增加課外實驗,對于相對簡單的章節如數據訪問頁,應縮短第1階段的案例驗證時間,直接進入第2階段的課程設計,這樣學生就不用花大量時間完成已經會的知識,從而提高了學習效率。
2.4 探索合理的考核制度
考試是學習的指揮棒,為了使學生更好的夯實理論基礎,激發其學習興趣,增強其操作能力和創新能力,我們實行階段考查和小組答辯相結合的考核形式。
1)階段考查由自評和小組互評構成,二者各占50%。
每次階段任務完成后要進行階段考查,根據學生對課程內容的掌握及階段任務的進展情況打分,學習小組根據成員的出勤情況、討論問題的積極性和實際操作能力等相互打分,并及時公布階段考查成績。通過階段考查,不僅能及時發現學生在分析設計中存在的問題,而且能有效地檢查學生的學習效果,促進學生相互學習和改進。
2)小組答辯。
課程結束時,學生需要提交數據庫系統和設計說明書。設計說明書闡述設計思想、所使用的知識、完成的效果及自己的收獲。最后,各組抽簽組合答辯,由學生闡述自己的設計,其他人可以針對其實現的功能或涉及的知識等分別提問,最后依據評分標準給出分數。這樣既檢驗了每個學生的設計成果,又為全體學生提供了取長補短的機會,極大地增強了學生的自信心和成就感。
本課程的最終成績=階段考查×30%+課程設計×40%+答辯成績×30%。其中,學生的數據庫系統及設計說明書會到公共郵箱,由教師和其他學生給出分數及評價。
2.5 課程的具體授課內容和實施方法
魯東大學數據庫應用技術課程共72課時,其中36課時的理論,36課時的實驗。表1所列為該課程的課時安排、授課內容及實施方法。
在整個教學過程中,學生和教師的接觸時間畢竟有限,我們常常利用郵件、QQ等網絡工具及時教學大綱、課件、上課用的案例及每個階段的任務。這樣,學生能隨時鞏固所學知識并提前準備新任務。同時,學生在學習中遇到的問題可以通過網絡及時同教師和學習小組的學生進行交流、討論。
3 結語
通過魯東大學經濟類、文學類和外語類專業2009—2012學年3個學期的教學活動,發現學生的積極性提高,主動學習和相互學習的能力大大增強,能夠較好地將數據庫技術結合到本專業的學習中。高校文科專業學生數據庫能力的培養,不僅是應用型人才培養的重要任務之一,更是當今信息社會時展的要求。在數據庫教學實踐活動中,我們以新的教學理念為指導,對理論教學、實驗教學和考核制度等各方面進行了有益的嘗試和探索。學生變被動灌輸為主動學習、學習興趣和積極性明顯提高,綜合學習能力和實際應用能力增強,極大地促進了本專業的學習和工作。今后,我們要加強課程網站建設,并進一步總結經驗,從學生的專業出發探索更適合的教學方法和手段,最大程度的提高教學質量,為培養應用型人才貢獻自己的一份力量。
參考文獻:
[1]教育部高等學校計算機科學與技術教學指導委員會.關于進一步加強高等學校計算機基礎教學的意見暨計算機基礎課程教學基本要求[M].北京:高等教育出版社,2006:9-14.
[2]童啟,朱艷輝,劉強,等.面向文科專業的數據庫技術及應用課程教學改革及實踐[J].計算機教育,2013(3):7-9.
[3]彭晏飛,沈學利,張全貴.計算機軟件系列課程實驗教學研究與實踐[J].實驗技術與管理,2012,29(4):173-174.