陳淑珍
(1.福建警察學(xué)院計(jì)算機(jī)與信息安全管理系, 福建福州 350007;2.福建警察學(xué)院網(wǎng)絡(luò)安全與電子物證研究所, 福建福州 350007)
偵查工作中證據(jù)的獲取與對(duì)犯罪嫌疑人的排查是一個(gè)動(dòng)態(tài)過(guò)程。 初始的案件數(shù)據(jù)與證據(jù)獲取是不完備的、表面的、凌亂的,它們是案件數(shù)據(jù)與數(shù)據(jù)證據(jù)獲取的入口和基礎(chǔ);在隨后的偵查中,新證據(jù)的不斷獲取,得到案件數(shù)據(jù)的證據(jù)鏈,對(duì)證據(jù)鏈中的證據(jù)去偽存真,分析認(rèn)定證據(jù),進(jìn)而完備證據(jù)鏈。 這個(gè)動(dòng)態(tài)過(guò)程與具有動(dòng)態(tài)特征的數(shù)學(xué)模型相吻合。 事實(shí)上,偵查工作的每一步都包含著一定的數(shù)學(xué)理論與方法的應(yīng)用,這些數(shù)學(xué)理論與方法都隱藏在偵查工作中。 利用具有動(dòng)態(tài)特征的數(shù)學(xué)模型與方法認(rèn)識(shí)偵查工作中的案件數(shù)據(jù)與證據(jù)獲取的動(dòng)態(tài)過(guò)程,利用完備的數(shù)學(xué)過(guò)程形式認(rèn)識(shí)偵查工作是文章的主題。
圖1 中XF,XF分別是X動(dòng)態(tài)生成的內(nèi)-P集合,外P-集合;(XF,XF)是X動(dòng)態(tài)生成的P-集合;XF與XF用實(shí)線表示,X用虛線表示。
圖1 P-集合與有限普通元素集合X 的二維關(guān)系
圖1 的直觀意義:(1) ~(3) 表示在屬性集合α內(nèi)補(bǔ)充屬性的條件下,X內(nèi)元素被刪除,X動(dòng)態(tài)生成XF,XF?X,XF包含在X內(nèi)。 (4) ~(6)表示在屬性集合α內(nèi)刪除屬性的條件下,X外的元素被補(bǔ)充到X內(nèi),X動(dòng)態(tài)生成XF,X?XF;X包含在XF內(nèi);(1) ~(7)表示在屬性補(bǔ)充、屬性刪除同時(shí)存在的條件下,X動(dòng)態(tài)生成(XF,XF)。
圖1 的直觀應(yīng)用意義:案件初始證據(jù)獲取,它們構(gòu)成證據(jù)集合α;在α存在的條件下,獲取案件的初數(shù)據(jù)(x),?xi∈(x)表示犯罪嫌疑人。 在(1) ~(3)的內(nèi)P-集合中,當(dāng)新證據(jù)αi不斷獲取,(x)逐漸縮小,嫌疑人范圍不斷縮小,主犯逐步被挖掘與發(fā)現(xiàn)。在(4) ~(6)的外P-集合中,當(dāng)證據(jù)αi不斷被排除,(x)逐漸增加,犯罪嫌疑人范圍不斷擴(kuò)大。 (1) ~(6)刻畫(huà)了辦案過(guò)程,體現(xiàn)了案件偵破和宣判過(guò)程中包含的數(shù)學(xué)邏輯與方法。
約定:在論文第2 部分、第3 部分的討論中,第1 部分中的X,XF,XF與(XF,XF)分別記作(x),(x)F,(x)F,((x)F,(x)F);或者(x) =X,(x)F=XF,(x)F=XF,((x)F,(x)F) =(XF,XF),它們稱(chēng)作數(shù)據(jù);論文第1 部分中的元素xi∈X(或xj∈XF,xk∈XF)稱(chēng)作數(shù)據(jù)元;第1 部分中的屬性集合α稱(chēng)作證據(jù)集合α;αi∈α稱(chēng)作證據(jù)。 這些符號(hào)與名稱(chēng)將在第2 部分、第3 部分中直接被使用,不產(chǎn)生誤解與混亂。
利用論文第1 部分中的模型與概念,第2 部分將給出數(shù)據(jù)的證據(jù)特征與未知數(shù)據(jù)獲取的關(guān)系。
這些簡(jiǎn)單的理論結(jié)果隱藏在偵查人員的長(zhǎng)途奔波對(duì)案件的證據(jù)取證的全過(guò)程中,偵查人員取證的每一步都有數(shù)學(xué)模型與方法的依據(jù)。
利用論文第1 部分中的概念與第2 部分中的簡(jiǎn)單理論結(jié)果,將在論文第3 部分中給出案件數(shù)據(jù)分析與數(shù)據(jù)篩選和認(rèn)證的數(shù)學(xué)方法流程。
圖2 是案件數(shù)據(jù)(x)F的分析與數(shù)據(jù)篩選和認(rèn)證的數(shù)學(xué)方法流程,它是完整流程的子流程,是對(duì)子流程經(jīng)過(guò)簡(jiǎn)化得到的(完整流程略)。
圖2 數(shù)據(jù)(x)F分析與數(shù)據(jù)篩選和認(rèn)證的數(shù)學(xué)方法流程
利用論文第1 部分中的數(shù)學(xué)模型與概念,第2部分中的簡(jiǎn)單理論結(jié)果與第3 部分中的數(shù)據(jù)(x)F分析與數(shù)據(jù)篩選和認(rèn)證流程,論文第4 部分給出它們的應(yīng)用。
例子取自某市案件W,案件數(shù)據(jù)(嫌疑人集合)用(x)表示,證據(jù)集合用α表示;因?yàn)橐恍┰?(x),α的名稱(chēng)略,例子是案件W的簡(jiǎn)化與壓縮的結(jié)果。 案件W現(xiàn)場(chǎng)獲取嫌疑人數(shù)據(jù)集合(x),(x)的證據(jù)α如下:
本文是偵查學(xué)與數(shù)學(xué)學(xué)科交叉研究的成果。 將偵查工作上升到用數(shù)學(xué)理論與方法層面來(lái)認(rèn)識(shí),以P-集合動(dòng)態(tài)數(shù)學(xué)模型與方法為尺度,刻畫(huà)偵查工作中的案件數(shù)據(jù)與證據(jù)獲取的動(dòng)態(tài)過(guò)程,揭示偵查工作中隱含的數(shù)學(xué)模型,這一發(fā)現(xiàn)對(duì)建立案件數(shù)據(jù)和證據(jù)獲取的數(shù)學(xué)模型具有一定的啟發(fā)意義,對(duì)促進(jìn)學(xué)科間交叉融合也有一定幫助。