計算機(jī)支持的協(xié)同工作中的并發(fā)控制研究.pdf

1、隨著計算機(jī)技術(shù)、網(wǎng)絡(luò)技術(shù)和分布式技術(shù)的發(fā)展，計算機(jī)用戶正從單用戶工作模式向多用戶協(xié)同工作方向發(fā)展。計算機(jī)支持的協(xié)同設(shè)計(ComputerSupportedCooperativeDesign)就是在這種背景下產(chǎn)生的，其思想體現(xiàn)了信息時代人們的工作方式的群體性、交互性、分布性和協(xié)同性要求。協(xié)同設(shè)計充分發(fā)揮了計算機(jī)網(wǎng)絡(luò)作為通信媒體的潛在能力和優(yōu)越性，為設(shè)計組成員間相互交流和協(xié)調(diào)工作創(chuàng)造了條件，支持群體工作，進(jìn)一步提高了人們的工作效率和工作質(zhì)量

2、。 多個設(shè)計者對共享信息進(jìn)行并行操作必然會產(chǎn)生沖突，從而處理分布數(shù)據(jù)的一致性成為許多協(xié)同系統(tǒng)的關(guān)鍵問題。在一個共享的多用戶環(huán)境中，為了避免沖突、增強(qiáng)有效性、確保成功的協(xié)作，協(xié)調(diào)用戶的行為是至關(guān)重要的。 本論文通過深入研究協(xié)同設(shè)計過程中的多個用戶同時訪問共享資源時所采用的并發(fā)控制機(jī)制，總結(jié)國內(nèi)外著名協(xié)同設(shè)計平臺在開發(fā)過程和設(shè)計實(shí)踐中遇到的普遍問題，對于協(xié)同設(shè)計并發(fā)控制的關(guān)鍵機(jī)制進(jìn)行了探討，豐富和發(fā)展了相關(guān)的關(guān)鍵技術(shù)。主要包

3、括以下內(nèi)容： 1、協(xié)同設(shè)計系統(tǒng)框架 在協(xié)同工作過程中，各部門之間工作趨于并行一體化，面向并行工程的協(xié)同設(shè)計系統(tǒng)要求在設(shè)計過程中按照設(shè)計者的實(shí)際需求定制，滿足開放性和靈活性?；谶@種要求，本論文通過分析協(xié)同支持環(huán)境、協(xié)同設(shè)計特點(diǎn)、協(xié)同工作模式和協(xié)作方式，及對面向并行工程的協(xié)同設(shè)計要求，建立了一個面向并行工程協(xié)同設(shè)計開放式的系統(tǒng)框架模型。 2、協(xié)同設(shè)計中的并發(fā)控制機(jī)制 本論文研究了傳統(tǒng)并發(fā)控制策略的優(yōu)缺點(diǎn)，結(jié)

4、合工程設(shè)計的具體特點(diǎn)，設(shè)計實(shí)現(xiàn)了基于約束網(wǎng)絡(luò)的沖突管理體系結(jié)構(gòu)和基于規(guī)則推理的沖突消解體系結(jié)構(gòu)。在沖突檢測方面，分析以約束網(wǎng)絡(luò)為基礎(chǔ)的協(xié)同設(shè)計沖突檢測方法，建立約束網(wǎng)絡(luò)，通過對約束滿足求解確定設(shè)計過程是否一致。由于約束滿足問題求解是一個搜索問題，因此在確定最終優(yōu)化解的過程中，采用混沌優(yōu)化策略，從而快速找到全局最優(yōu)解，迅速判斷沖突發(fā)生的時間和位置，提高搜索速度，實(shí)現(xiàn)簡單，維護(hù)一致性，提高協(xié)同設(shè)計效率。 在沖突消解方面，分析協(xié)同設(shè)計

5、中沖突產(chǎn)生的原因和沖突消解的技術(shù)，建立沖突消解知識庫，運(yùn)用規(guī)則推理機(jī)制解決沖突。并在規(guī)則推理過程中運(yùn)用了一種快速的規(guī)則匹配算法，提高規(guī)則匹配效率，同時降低沖突消解的時間及空間復(fù)雜度。 3、訪問控制模型 協(xié)同設(shè)計過程也必須提供安全機(jī)制，防止數(shù)據(jù)的非法獲取和修改。本論文探討了協(xié)同設(shè)計中訪問控制機(jī)制的具體需求，在傳統(tǒng)的訪問控制機(jī)制RBAC模型基礎(chǔ)上，引入客體集概念，將設(shè)計者按不同屬性分成不同集合，在設(shè)計中獲得不同的訪問授權(quán)，降

6、低系統(tǒng)復(fù)雜性。 4、數(shù)據(jù)交換模型 在協(xié)同設(shè)計中，異地設(shè)計者之間需要實(shí)現(xiàn)有效的資源共享，因此需要在各站點(diǎn)之間進(jìn)行數(shù)據(jù)交換。本論文通過討論XML技術(shù)的優(yōu)點(diǎn)，設(shè)計實(shí)現(xiàn)了基于XML技術(shù)的增量式協(xié)同設(shè)計數(shù)據(jù)管理。此外，通過研究目前實(shí)際的網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)及現(xiàn)有的網(wǎng)絡(luò)拓?fù)浒l(fā)現(xiàn)技術(shù)，探討從網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)方面進(jìn)行優(yōu)化來增強(qiáng)網(wǎng)絡(luò)健壯性和易控性，采用綜合結(jié)構(gòu)建立了一種保證安全與快速的網(wǎng)絡(luò)模型。 最后，對全文工作進(jìn)行了總結(jié)，并提出了今后的工作