插樁
- 基于PowerPC軟件的無源碼異常中斷定位方案
異常中斷定位進行插樁驗證。對于初始化過程,借助NVRAM進行插樁。當軟件運行到插樁代碼時,先從NVRAM讀取提前設(shè)置好的插樁代碼的激活碼。當軟件初始化到插樁位置時,先將NVRAM中該激活碼置為無效,然后運行插樁代碼觸發(fā)異常,如圖2所示。圖2 利用NVRAM的插樁驗證過程采用這種觸發(fā)方式的好處是,當軟件在初始化過程中由于異常中斷復(fù)位后,下次可以正常初始化,避免軟件因為插樁導(dǎo)致異常而不斷復(fù)位。此時,上位機會顯示上一次異常中斷發(fā)生的位置,與.map文件查詢結(jié)果一
工程與試驗 2023年3期2023-10-08
- 基于歷史覆蓋信息的回歸測試用例動態(tài)生成
的部分源程序進行插樁，并執(zhí)行所有已選擇的測試用例，由插樁語句獲取回歸測試用例選擇集的動態(tài)執(zhí)行信息；最后，整理并分析插樁得到的信息，找出未覆蓋的程序路徑，提取未覆蓋路徑的邏輯表達式組成該路徑下的路徑約束表達式，并對其進行求解，得到的結(jié)果即是新的測試用例。1 方法描述1.1 回歸測試用例集選擇由于已有的測試用例是已經(jīng)執(zhí)行過的，所以本文假設(shè)已經(jīng)獲得了已有測試用例覆蓋程序方法的信息，根據(jù)此信息構(gòu)建測試用例覆蓋程序方法的矩陣。而代碼經(jīng)過修改后，形成了代碼的變更信息，
智能計算機與應(yīng)用 2023年6期2023-06-21
- 模糊測試中的靜態(tài)插樁技術(shù)
實踐中，使用靜態(tài)插樁技術(shù)作為輔助已成為事實上的標準.靜態(tài)插樁技術(shù)包含2個階段；1）在源程序編譯的過程中，編譯器在程序的關(guān)鍵位點插入額外的邏輯（即樁點）；2）在程序運行時樁點被觸發(fā)，從而收集執(zhí)行的動態(tài)信息或改變程序的行為.在模糊測試的場景下，靜態(tài)插樁技術(shù)主要用于安全特性強化和導(dǎo)向信息收集.該技術(shù)能夠顯著提升軟件缺陷的發(fā)現(xiàn)能力，加快程序狀態(tài)空間的探索速度.安全特性強化插樁旨在提升軟件缺陷的發(fā)現(xiàn)能力.模糊測試檢測軟件缺陷的方法主要依賴程序崩潰等操作系統(tǒng)的信號機制
計算機研究與發(fā)展 2023年2期2023-03-02
- Plaxis 在碼頭前沿海工平臺插樁計算過程中的應(yīng)用
要在碼頭前預(yù)定的插樁位置就位升船，將樁腳緩慢的插入地基土中。平臺緊靠30000t滑道進行插樁對于碼頭的影響最大，此時平臺位置如圖1 所示，插樁位置平臺距離碼頭前沿線6m，樁靴外沿距離碼頭前沿線11m。平臺單樁樁靴等效圓直徑為17.8m，最大截面積為248.85 m2。樁靴最大接地比壓為27.7t/m2，考慮1.1 倍安全系數(shù)，單樁實際最大施加荷載30t/m2。圖1 平臺插樁位置在預(yù)定壓載情況下，當?shù)鼗恋臉O限承載力小于平臺樁腳對地基土施加的壓力時，平臺樁腳
中國水運 2022年12期2023-01-07
- 沉管隧道碎石基床平臺式整平船半漂浮插樁整平技術(shù)研究
船全漂浮整平技術(shù)插樁方式進行插樁整平施工，插樁過程中會出現(xiàn)大幅、高頻的穿刺，對整平船船機設(shè)備安全及長期使用造成影響。平臺式整平船在插樁過程中，出現(xiàn)樁腿突然下沉的情況時，通常稱之為發(fā)生“穿刺”現(xiàn)象。其原因一般是由于相對較“軟”地層位于較薄但較堅硬的地層之下。插樁過程中，隨著船體逐漸抬升，插樁力不斷增加，強度相對較高部分的DCM樁會被壓碎，由于DCM樁在豎向上存在強度不均勻的情況，樁腿可能會迅速穿過下方較“軟”部分，而發(fā)生“穿刺”現(xiàn)象[6]。在深中通道E1和E
中國港灣建設(shè) 2022年10期2022-10-27
- 外海深水整平船插樁施工工藝
況較多，為整平船插樁工作帶來極大困難與風(fēng)險。一般情況下，只有當四個樁腿全部處于密實的第四單元層時，整個船體穩(wěn)固，不會因作業(yè)受力等其他情況而導(dǎo)致平臺支撐不穩(wěn)定。若當整平船樁腿位于第一─三單元層或軟硬夾層時，即處于不穩(wěn)定狀態(tài)，樁腿可能出現(xiàn)突然下沉至中密層，即第四單元層。圖1 港珠澳大橋沉管隧道總覽港珠澳大橋海底隧道沉管段總長5664m，是目前為止世界上最長外海深埋采用“先鋪法”施工工藝沉管的海底隧道，隧道由33個管節(jié)組成，每個標準管節(jié)長180m，其碎石基床共6
珠江水運 2022年15期2022-09-02
- SiCsFuzzer:基于稀疏插樁的閉源軟件模糊測試方法
序執(zhí)行,通過程序插樁等技術(shù)跟蹤目標程序在該輸入下的代碼覆蓋率信息(如:節(jié)點覆蓋率、邊覆蓋率等),并根據(jù)所反饋的覆蓋率變化情況,對于覆蓋了新路徑的輸入,在后續(xù)的變異過程中賦給其更高的優(yōu)先級;(3)監(jiān)控:監(jiān)控程序執(zhí)行過程中的異常行為(如:程序崩潰等)以及觸發(fā)異常的輸入,作為漏洞分析及定位的依據(jù)。由此可見,跟蹤測試用例的代碼覆蓋率是決定模糊測試效能的關(guān)鍵環(huán)節(jié)之一。然而,跟蹤測試用例的代碼覆蓋率也會為模糊測試引入額外的性能開銷,甚至成為模糊測試性能開銷的主要來源。
信息安全學(xué)報 2022年4期2022-08-16
- 自升式平臺碼頭升降試驗安全性分析
式平臺在海上完成插樁升船后，要進行預(yù)壓操作。此階段可檢驗平臺的最大預(yù)壓載能力，根據(jù)平臺壓載能力可采用單樁預(yù)壓或多樁預(yù)壓方案。試驗時平臺氣隙要大于最大潮高，對平臺進行壓載直至樁靴的支反力達到平臺作業(yè)及自存時的最大支反力。保持靜止觀察，確保地基穩(wěn)定沒有下陷，完成最大預(yù)壓載試驗。1.2 階段2--壓載升降試驗此階段可檢驗在一定的壓載狀態(tài)下升降系統(tǒng)的提升能力。最大預(yù)壓載試驗完成后，泄放部分壓載水，重新配載至每個升降齒輪的負荷達到齒輪設(shè)定的壓載升降能力。平臺從適當?shù)?/div>
石油工程建設(shè) 2022年4期2022-08-15
- FEM-DEM耦合彈塑性土體插樁過程力學(xué)特性研究
滿足大規(guī)?；尤?span id="j5i0abt0b" class="hl">插樁工程的需要,越來越多的數(shù)值計算手段被用于插樁工程的分析中。插樁技術(shù)數(shù)值模擬方法在許多工程應(yīng)用中非常重要,并廣泛應(yīng)用于橋梁與海岸工程以及深部巖土工程的建設(shè)當中。隨著大型巖土工程建設(shè)的開展,小直徑鋼管樁難以滿足大型工程需求,因此大直徑鋼管樁逐漸被運用于橋梁工程、海岸工程、巖土工程中[1-3]。許多學(xué)者針對大直徑鋼管樁的承載特性的數(shù)值模擬、施工方案等開展了深入的研究工作。張明遠等[4]開展了基于ICA-SVM(independent comp甘肅科學(xué)學(xué)報 2022年4期2022-08-09
- 一種雞蛋殼地層穿刺監(jiān)測與預(yù)警結(jié)構(gòu)及其作業(yè)方法
臺在海上油田進行插樁就位作業(yè)時，經(jīng)常會遭遇插樁位置的地層上部為硬土層下面為軟土層——俗稱“雞蛋殼地層”[3]的情況，這種情況往往會引發(fā)穿刺事故[4]，造成平臺受損、作業(yè)進度受阻，嚴重情況下甚至發(fā)生船體傾覆和人員傷亡的風(fēng)險[5]。地層穿刺風(fēng)險預(yù)測與評價目前是通過海上工程地質(zhì)勘察作業(yè)[6]，然后根據(jù)鉆孔取樣參數(shù)進行插樁計算來完成的。而實際插樁時，由于樁靴排開土及對下部地層壓實與擠壓的影響，導(dǎo)致地層情況發(fā)生了改變，因此無法準確預(yù)測實際插樁過程中是否會發(fā)生穿刺[7海洋石油 2022年1期2022-08-09
- 基于CEL法的裙邊樁靴插樁數(shù)值分析
度上影響了樁靴的插樁阻力。 樁靴與海底土的相互作用，支持平臺在服役期間安全站立。自升式平臺結(jié)構(gòu)安全事故大多與地基失效密切相關(guān)，地基失效會導(dǎo)致樁腿突然下沉發(fā)生穿刺現(xiàn)象，進而導(dǎo)致平臺毀壞。 國內(nèi)外學(xué)者進行了大量樁土相互作用的研究工作，主要目的是獲得插樁過程中樁靴的插樁阻力，即獲得地基的承載能力。 研究方法主要有理論分析法、模型試驗法和數(shù)值仿真方法［1］。自升式平臺最容易發(fā)生的失效模式為穿刺，準確預(yù)估平臺在井位附近插樁的阻力有助于提前預(yù)判穿刺的可能性。 一旦在現(xiàn)化工機械 2022年2期2022-05-25
- 基于CEL法的海洋自升式平臺插樁研究*
樁靴[1～3]的插樁，對比分析CEL方法在模擬樁靴插樁作業(yè)的優(yōu)點。相較于傳統(tǒng)有限元法，CEL計算結(jié)果更容易收斂且更加準確。數(shù)值計算[4～5]的優(yōu)點在于它在計算中考慮到很多常規(guī)計算公式規(guī)范中沒有考慮到的問題，比如海洋中地質(zhì)土層的不確定性、土體回流[6～9]情況、樁靴的結(jié)構(gòu)外形、穿刺問題等。通過比例試驗驗證CEL數(shù)值方法的可靠性。建立四個等比縮放的樁靴模型，在上砂下黏[10～14]土體條件下進行模擬插樁。探究裙擺型樁靴以及開孔型樁靴相較于普通樁靴在插樁過程中的艦船電子工程 2022年4期2022-05-11
- 自升式鉆井平臺插樁對導(dǎo)管架樁腿承載力影響研究
鉆井平臺靠導(dǎo)管架插樁的過程中，影響導(dǎo)管架樁腿承載力的因素非常多，往往難以進行正確合理的評價。所以，非常有必要進行海底地層承載力模擬實驗，將難以評估的破壞效果量化成可評估的參數(shù)，為自升式鉆井平臺在導(dǎo)管架旁邊就位提供實驗支持。3.1 實驗原理自升式鉆井平臺插樁作業(yè)時，樁腿對周圍土體產(chǎn)生一定的擠壓，土體中的應(yīng)力會產(chǎn)生一定的變化，模擬實驗主要是測量插樁過程中土中應(yīng)力的變化，做出導(dǎo)管架樁腿周圍土的應(yīng)力變化曲線，根據(jù)土應(yīng)力變化曲線得出自升式鉆井平臺插樁時對導(dǎo)管架的影響大眾標準化 2022年4期2022-03-29
- IAST技術(shù)在DevOps開發(fā)模型下的實踐研究
服務(wù)端部署運行時插樁，收集、監(jiān)控Web應(yīng)用程序運行時的函數(shù)執(zhí)行和數(shù)據(jù)傳輸，并與分析引擎端進行實時交互，高效、準確地識別安全缺陷及漏洞.此外，IAST還可以準確定位安全漏洞所在的代碼文件、行數(shù)、函數(shù)及參數(shù).從某種程度上說，IAST是綜合DAST和SAST技術(shù)優(yōu)勢的一種運行時灰盒安全測試技術(shù)[7].3.1 主動插樁技術(shù)主動插樁技術(shù)需要在被測應(yīng)用程序中部署插樁探針，使用時需要外部掃描器去觸發(fā)探針.一個組件產(chǎn)生惡意攻擊流量，另一個組件在被測應(yīng)用程序中監(jiān)測應(yīng)用程序的信息安全研究 2021年12期2021-12-08
- 金融系統(tǒng)應(yīng)用精準測試技術(shù)的探索
代碼覆蓋率、代碼插樁、連接代碼和測試用例、測試用例智能選取、智能缺陷定位等技術(shù)。（二）相關(guān)技術(shù)1.代碼覆蓋率。代碼覆蓋率是指，至少被執(zhí)行了一次的條目數(shù)占整個條目數(shù)的百分比。最常用的度量代碼覆蓋率有四種方式。（1）語句覆蓋：又稱行覆蓋。語句覆蓋率指已經(jīng)被執(zhí)行到的語句占總可執(zhí)行語句的百分比。這是最常用也是要求最低的覆蓋率指標。實際項目中通常會結(jié)合判定覆蓋率或者條件覆蓋率一起使用。（2）判定覆蓋：又稱分支覆蓋，用以度量程序中每一個判定的分支是否都被測試到了，即代農(nóng)銀學(xué)刊 2021年4期2021-12-02
- 幾種穿刺分析法在自升式鉆井平臺插樁中的探討
刺分析是鉆井平臺插樁預(yù)測過程中分析的重點。對于海底層狀結(jié)構(gòu)地層,在計算時一般簡化為多個雙層地基的疊加。常用的成層地基極限承載力的計算方法有Hansen加權(quán)平均法[6]、Baglioni分析法[7]、3∶1穿刺分析法[8]和沖剪系數(shù)分析法[9]等方法,目前的研究仍難得到嚴格的理論解,所以這些方法大多為經(jīng)驗公式或半經(jīng)驗公式。海上工程地質(zhì)分析中應(yīng)用較多的穿刺分析法為3∶1穿刺分析法[8],該方法為《海洋井場調(diào)查規(guī)范》[10]中推薦的方法。雖然《海洋井場調(diào)查規(guī)范》海岸工程 2021年3期2021-10-09
- 面向大規(guī)模源代碼的內(nèi)存安全性動態(tài)分析技術(shù)
方法有二進制代碼插樁、中間代碼插樁、源代碼插樁[9-10]等。二進制代碼插樁是對可執(zhí)行程序進行插樁，優(yōu)點是不需要源代碼就可以對程序進行動態(tài)分析；中間代碼插樁是對編譯后的代碼插樁，可以利用優(yōu)化，減少不必要的插樁；源代碼插樁是指對源碼上進行修改，添加行為監(jiān)代碼，對程序進行檢測，優(yōu)點是可以獲取源代碼中的位置，準確地報告錯誤信息。為了能更準確有效地檢測程序的錯誤并能將錯誤的變量信息準確地反饋給用戶，該文采用了源代碼插樁技術(shù)進行插樁，并在基于指針技術(shù)[11-13]的計算機技術(shù)與發(fā)展 2021年7期2021-08-02
- 重復(fù)插拔樁引發(fā)粉質(zhì)海床擾動效應(yīng)研究
之間的轉(zhuǎn)換伴隨著插樁和拔樁過程，每次插拔樁后會在海底留下明顯的凹陷樁坑，周邊土體多被擾動，而擾動后的海床會對后續(xù)平臺作業(yè)活動產(chǎn)生影響，嚴重時甚至導(dǎo)致平臺插樁失敗，存在較大安全隱患[1-3]。目前海洋平臺樁靴插拔擾動效應(yīng)研究主要分為兩類：一是樁靴插拔對樁坑及其周圍土體的影響；另一類是樁靴插拔對臨近平臺樁基的影響。在樁靴插拔擾動土體方面，宋清峰等[4-5]利用物探、野外鉆探及室內(nèi)試驗等多種手段對比分析了黃河三角洲埕島海域平臺插樁后樁穴內(nèi)外土層的工程地質(zhì)性質(zhì)，發(fā)水利水運工程學(xué)報 2021年3期2021-07-05
- 混合破壞模式在自升式鉆井平臺插樁中的應(yīng)用
]。而在鉆井平臺插樁過程中，穿刺事故是鉆井平臺作業(yè)期間的最大風(fēng)險因素，根據(jù)挪威HSE統(tǒng)計資料表明，穿刺事故約占平臺總事故的53%[4]。自升式鉆井平臺插樁深度分析要求高，難度大，可檢驗性非常強。已有的工程實踐分析表明，鉆孔的布置、場地的地質(zhì)情況、土性評價和土質(zhì)參數(shù)選用、計算模型的選擇、地區(qū)經(jīng)驗、樁靴壓載速率和荷載增量是影響鉆井平臺插樁分析準確與否的關(guān)鍵[5]。根據(jù)國內(nèi)近海數(shù)百個井場的調(diào)查和分析發(fā)現(xiàn)，近海大部分區(qū)域插樁分析的預(yù)測結(jié)果與實際結(jié)果基本吻合，但是對海洋工程 2021年3期2021-07-01
- 一種基于C#的Cantata工具變更過程改進方法
取源碼信息，結(jié)合插樁器和自動封裝技術(shù)，實現(xiàn)測試腳本一鍵生成；通過提供測試用例管理器，實現(xiàn)測試用例便捷管理；通過運行結(jié)果自動比對、覆蓋結(jié)果樹形分析技術(shù)，縮短測試驗證時間，確保驗證結(jié)論的正確性和完整性。然而，由于Cantata工具在執(zhí)行單元測試活動時所有過程均需基于服務(wù)器執(zhí)行，而且工具對被測單元的隔離插樁過程與被測單元所屬文件有直接關(guān)聯(lián)。這就導(dǎo)致軟件升級時，若被測單元所屬文件發(fā)生變化，即使被測單元未發(fā)生更改，原有的單元測試用例也需要重新隔離插樁才能通過。由于隔測控技術(shù) 2021年4期2021-05-14
- 埕島油田海上自升式平臺反復(fù)插拔樁對地層的影響*
臺進行井下作業(yè)。插樁和拔樁過程是海上移動平臺在漂浮狀態(tài)和海底支撐狀態(tài)之間轉(zhuǎn)換的過程，對于平臺的作業(yè)性能和安全性十分重要。插拔樁過程中，土體受到擠壓、拖帶發(fā)生破壞。拔樁后，在海底會留下樁坑。平臺插拔樁后，由于受到擾動，坑內(nèi)土體的強度會降低[1-3]，無論在橫向和豎向都變得不均勻。通過模型試驗，掌握反復(fù)插拔樁造成的地基土強度喪失與恢復(fù)過程，明確自升式平臺反復(fù)插拔樁前后土體的強度變化和樁坑的影響范圍，以及平臺插拔樁過程中貫入力和起拔力的變化規(guī)律，對確保平臺插樁就油氣田地面工程 2021年4期2021-04-29
- 復(fù)雜地質(zhì)條件下鉆井平臺插樁就位可行性分析及應(yīng)對 ——以南海西部樂東區(qū)塊埋藏古河道為例
設(shè)以及鉆井平臺的插樁就位等都具有重要的影響[4-5]。之前的學(xué)者們對渤海、黃海、東海和南海的埋藏古河道都開展過許多研究，取得了很多重要研究成果，主要集中在埋藏古河道的沉積充填特征、古河流重建、古地理恢復(fù)、河道變遷演化模式以及對海上工程的影響等方面[1-12]。自升式鉆井平臺適用于不同海底地層條件和較大水深范圍，移動靈活方便并且易于建造，因此在海洋石油開采中得到了廣泛應(yīng)用[13-14]。自升式鉆井平臺的一個最大關(guān)注點就在于是否能夠準確預(yù)測其插樁深度[15-1海洋技術(shù)學(xué)報 2021年1期2021-04-25
- 舊樁坑對自升式平臺插樁穩(wěn)定性的影響及對策
樁坑對自升式平臺插樁穩(wěn)定性的影響因素，總結(jié)了防范二次插樁滑移風(fēng)險的措施，最后對作業(yè)流程提出建議。主要因素為樁坑幾何形狀、樁靴尺寸形態(tài)、偏心距、樁坑土體特性和平臺結(jié)構(gòu)。措施具體包括規(guī)避樁坑、整修樁坑、改進樁靴和調(diào)整平臺重心等手段，其目的多是減小樁坑和周邊土體之間地基承載力的差異，減小滑移載荷。平臺重復(fù)就位作業(yè)流程與初次就位有所不同，需要更詳細的勘察分析和復(fù)雜的安裝。關(guān)鍵詞：舊樁坑;自升式平臺;插樁;滑移0 前言近年來，隨著海上開發(fā)活動的增加，自升式鉆井平臺在中國化工貿(mào)易·下旬刊 2020年5期2020-11-09
- 我國首艘插樁式搶險打撈工程船“華祥龍”號正式入列
行設(shè)計制造的首艘插樁式搶險打撈工程船，標志著中國南海海域快速應(yīng)急打撈再添重器，中國救助打撈裝備建設(shè)再上新臺階?！叭A祥龍”號由中國船舶708所研發(fā)設(shè)計，黃埔文沖船廠建造。該船船長130m，型寬42m，型深9m，續(xù)航力3600nmile，全電力驅(qū)動，具有DP-2級動力定位能力，設(shè)計作業(yè)水深為55m，可無限航區(qū)航行?！叭A祥龍”號是該型系列船舶的首艘，船瞄準近海應(yīng)急清障搶險打撈作業(yè)，融合了國內(nèi)外自升式平臺、起重船和風(fēng)電安裝船的先進設(shè)計理念，在運載能力、吊裝能力、作航海 2020年5期2020-11-02
- 面向漏洞類型的Crash分類研究
。該框架在二進制插樁平臺Pin 上進行開發(fā)，使用基于污點分析的數(shù)據(jù)流引導(dǎo)分析技術(shù)直接對二進制可執(zhí)行程序進行分析，能夠識別二進制可執(zhí)行程序潛在的漏洞并對Crash 進行分類和可利用性判定，但效率低下。UC Berkely大學(xué)開發(fā)的BitBlaze[7]能通過二進制可執(zhí)行程序污點分析來確定程序崩潰時哪些寄存器和內(nèi)存地址來自攻擊者控制的輸入文件，對NULL指針切片的同時查看指針起始位置來快速判定二進制可執(zhí)行程序存在的漏洞類型和該Crash 是由何種類型漏洞引起的計算機工程與應(yīng)用 2020年13期2020-07-06
- 砂土中鉆井船插樁對鄰近群樁影響的模型試驗
要定量評價鉆井船插樁對鄰近平臺樁基礎(chǔ)的影響[1]。對于樁靴貫入土層時對鄰近平臺樁的影響問題，吳永韌等[2]進行了1g條件下的鉆井船插樁對鄰近平臺單樁影響的模型試驗，分析了不同參數(shù)對受影響樁響應(yīng)的影響。Xie等[3-4]通過100g條件下的離心模型試驗，測量了插樁階段、工作階段和拔樁階段的鄰近單樁樁身彎矩、軸力、樁頭位移、土體位移和插樁阻力等，考慮了樁間距、樁長、樁頭固定條件等的影響，揭示了周圍土體變形的機理。田兆豐等[5]在黏土中進行了1g條件下鉆井船插、水利水運工程學(xué)報 2020年3期2020-06-28
- 自升式風(fēng)電安裝船在不同土質(zhì)插樁深度研究
自升式風(fēng)電安裝船插樁深度預(yù)測的關(guān)鍵在于地基土極限承載力的計算，一般把自升式風(fēng)電安裝船樁腿的最大預(yù)壓載荷等于或小于地基極限承載力時所達到的入泥深度定義為插樁深度[1]，通過選取幾個土層層位（文中所選層位為3～4層，根據(jù)土質(zhì)特征進行判斷選?。?，計算每個土層底面的地基承載力，找到樁腿最大預(yù)壓載荷等于地基承載力時所在的土層深度來獲得。文中主要采用《SNAME》[2]和《海洋井場調(diào)查規(guī)范》修正公式[1]對地基土極限承載力進行計算。1 《海洋井場調(diào)查規(guī)范》修正公式目前中國港灣建設(shè) 2019年8期2019-07-25
- 基于QEMU的動態(tài)二進制插樁技術(shù)
焦點.其中，軟件插樁是一項十分重要的應(yīng)用于該領(lǐng)域的動態(tài)分析技術(shù).通過軟件插樁技術(shù)[1-2]可有效收集程序執(zhí)行過程信息，如路徑覆蓋信息、函數(shù)調(diào)用關(guān)系信息，能用于軟件性能分析、程序優(yōu)化、測試覆蓋分析、測試用例生成與約簡、軟件缺陷檢測與修復(fù).當前，軟件插樁技術(shù)包含源代碼級[3]和二進制級[4-6]2種插樁方式，其中二進制插樁技術(shù)又分為動態(tài)方式和靜態(tài)方式.研究表明[7]：源代碼級插樁技術(shù)對軟件具有很強的侵入性，無法應(yīng)用于逆向工程或軟件測試；在二進制插樁技術(shù)方面，靜計算機研究與發(fā)展 2019年4期2019-04-18
- 基于多線程監(jiān)控器的運行時驗證
監(jiān)控C程序，輸出插樁好監(jiān)控器的新C程序。并采用該方法實現(xiàn)了原型工具Movec[4]。該工具的基本框架主要由解析器、監(jiān)控器、插樁器構(gòu)成。其中形式化規(guī)約主要由以下幾部分組成：(1)形式化規(guī)約的頭部分，包含了修飾符、名字以及名字所帶的參數(shù)；(2)規(guī)約文件變量的聲明、定義，變量可由用戶自己操作；(3)切點聲明，采用了面向方面[5]編程思想，切點指函數(shù)調(diào)用、變量的賦值、函數(shù)執(zhí)行、變量設(shè)置等；(4)事件聲明，即匹配的連接點之前或者之后進行額外的操作，也可替換連接點的執(zhí)計算機技術(shù)與發(fā)展 2019年2期2019-02-25
- 海洋自升式鉆井平臺插樁風(fēng)險分析
位側(cè)均經(jīng)歷過多次插樁，樁腿坑越來越多，就位安全風(fēng)險加大。對鉆井平臺插樁作業(yè)過程中的相關(guān)風(fēng)險進行分析，為現(xiàn)場作業(yè)者提供參考，提高對風(fēng)險的認知程度和防范措施。關(guān)鍵詞：自升式鉆井平臺;插樁;刺穿;滑移1 引言中國大規(guī)模海上油氣勘探開發(fā)活動中，關(guān)于鉆井平臺事故已多有報道，其中以自升式鉆井平臺的插樁就位過程中事故為多。通過對現(xiàn)場實例進行分析，重點提出了作業(yè)面對各類風(fēng)險時的應(yīng)對措施，并提供參考。2 插樁主要存在的風(fēng)險分析按照海洋石油行業(yè)的通用作業(yè)流程，鉆井平臺就位作業(yè)山東工業(yè)技術(shù) 2019年3期2019-02-10
- 層狀土地基條件下具樁靴自升式鉆井船插樁深度分析研究
使得鉆井船在淺層插樁時易出現(xiàn)承載力不足、插樁速率突變或樁底刺穿等情況[4]。為解決該問題，目前工作于中國渤海的很多鉆井船都在樁端裝有樁靴，大部分樁靴的最大截面寬度在6～12 m，較大的與地層接觸面積降低了上部荷載的壓強，能夠充分利用淺部承載力，使鉆井船更適合于在軟土分布區(qū)插樁作業(yè)，樁基的自穩(wěn)性也得到進一步增強。新結(jié)構(gòu)的應(yīng)用需要相應(yīng)的理論、認識、方法等的更新完善。在具樁靴鉆井船的實際應(yīng)用中，尚存在一些概念不明確的地方：①承載力應(yīng)按淺基礎(chǔ)計算還是按樁基礎(chǔ)計算，水道港口 2018年6期2019-01-18
- 自升式平臺特殊工況插樁作業(yè)風(fēng)險分析
平臺移位。在平臺插樁之前，需要進行地質(zhì)勘探，根據(jù)平臺自身情況和地勘資料選擇持力層，否則容易形成穿刺，造成平臺失穩(wěn)和傾覆。隨著工程用平臺種類增加，插樁地基情況日趨復(fù)雜化，對平臺插樁作業(yè)的風(fēng)險分析難度加大，本文以某一不帶樁靴的圓筒式樁腿自升式平臺為例，選擇一種特殊巖石基礎(chǔ)插樁工況，對插樁作業(yè)風(fēng)險進行分析，為工程施工提供理論建議，為類似工況風(fēng)險分析提供參考。1 平臺簡介平臺主要參數(shù)見表1，平臺模型圖見圖1。表1 平臺主要參數(shù)圖1 平臺模型圖2 地基情況簡介經(jīng)過基中國水運 2018年11期2018-11-20
- 鉆井船插拔樁對鄰近樁影響的模型試驗
中阻力。在鉆井船插樁試驗中，樁靴豎直向下逐漸貫入土體內(nèi)部，在此過程中，樁靴擠壓土體，使樁靴周圍土體向外及向下運動。為了測量試驗過程中的土體水平位移，開發(fā)出土體位移測量系統(tǒng)，該系統(tǒng)主要包括：楔形端頭、測量單元、航空接頭、引線、USB接頭、橡膠套管及數(shù)據(jù)采集系統(tǒng)，測量設(shè)備豎直安裝在土體中，當樁靴插入土體時，土體產(chǎn)生變形，設(shè)備測量單元逐漸傾斜，其工作狀態(tài)如圖4所示。測量裝置核心構(gòu)件為8個測量單元，從底部到頂部依次編號為1號到8號，測量單元之間通過鉸接釘相連，保證水利水運工程學(xué)報 2018年5期2018-11-08
- Android應(yīng)用異步編程模型性能分析*
進制代碼進行動態(tài)插樁，向開發(fā)人員展示異步程序執(zhí)行的全部流程，最終構(gòu)建出程序執(zhí)行的關(guān)鍵路徑，給開發(fā)人員指向可能導(dǎo)致響應(yīng)性能異常的根源。利用這種方法，Ravindranath等人開發(fā)了App-Insight[3]，它準確地向開發(fā)人員展示了異步程序執(zhí)行的整體流程，并構(gòu)建出程序執(zhí)行關(guān)鍵路徑幫助開發(fā)人員識別性能瓶頸和異常根源。AppInsight是基于Windows編程框架中的指定接口實現(xiàn)的，因此只能對Windows平臺上的應(yīng)用進行性能監(jiān)測與分析，并不能直接應(yīng)用到A計算機與生活 2018年10期2018-10-12
- 基于性能分析的自適應(yīng)插樁框架
223)0 引言插樁是一種獲取軟件狀態(tài)的方法，是軟件性能管理工具的核心部分，常常使用于對大規(guī)模分布式系統(tǒng)的監(jiān)控和跟蹤［1］，一般實現(xiàn)方法是程序員對被監(jiān)控軟件系統(tǒng)進行代碼指令注入，這些被注入的代碼可以實現(xiàn)各種自定義功能，例如:記錄功能函數(shù)的執(zhí)行時間、調(diào)用序列、植入回調(diào)函數(shù)、收集所需的信息并將數(shù)據(jù)記錄到數(shù)據(jù)庫中等?，F(xiàn)如今大多數(shù)的插樁工具使用的是動態(tài)二進制插樁技術(shù)，例如DTrace［2］、Pin［3］等工具，但這些工具通常只提供插樁本身的實現(xiàn)，并不會提供選擇插樁計算機測量與控制 2018年9期2018-09-19
- Multi Offloading：支持多種資源借調(diào)的安卓應(yīng)用平臺*
給出了移動應(yīng)用的插樁方案，解決了移動設(shè)備計算能力不足和傳感器功能故障的問題。CoseDroid雖然是由移動設(shè)備提供計算資源和傳感器資源，但是設(shè)備之間建立連接的過程和資源借用的調(diào)控仍然需要一個獨立的服務(wù)器協(xié)調(diào)和維護，這使得在不同的局域網(wǎng)中需要維護不同的獨立服務(wù)器，降低了框架的實用性。一種直觀的想法是，移動設(shè)備之間不通過獨立的服務(wù)器，而是通過互相發(fā)現(xiàn)的方式建立連接，并且通過這種方式，移動設(shè)備間可以建立起一個互連網(wǎng)絡(luò)，網(wǎng)絡(luò)中每一個移動設(shè)備都可以作為資源的提供者，計算機與生活 2018年9期2018-09-12
- 具樁靴自升式鉆井船插樁過程有限元模擬研究
高了自升式鉆井船插樁就位時的作業(yè)效率，增強了其在深厚軟土海區(qū)的適用性，基礎(chǔ)的自穩(wěn)性也得到進一步增強。另外，較淺的插樁深度，一方面充分利用了淺部承載力，另一方面使得拔樁不再困難，易用性和安全性都顯著提高。新結(jié)構(gòu)的應(yīng)用需要相應(yīng)理論方法的更新完善。在評價具樁靴自升式鉆井船的插樁深度時，工程技術(shù)人員對于插樁作業(yè)中地基土的破壞機理、荷載影響深度等的認識并不明晰，在承載力計算時，有時將樁靴視作淺基礎(chǔ)考慮，有時又視作樁基礎(chǔ)考慮，這種疑惑甚至在具樁靴自升式鉆井船的使用手冊水道港口 2018年2期2018-05-10
- 基于持續(xù)集成的C/C++軟件覆蓋率測試
覆蓋率測試與軟件插樁技術(shù)1.1 代碼覆蓋率測試覆蓋率測試[6-10]是一種白盒測試方法。覆蓋率度量指標有多種，包括語句覆蓋、分支覆蓋、函數(shù)覆蓋、條件覆蓋、分支/條件覆蓋、路徑覆蓋等。其中語句覆蓋是最基本的覆蓋標準。覆蓋率測試以程序內(nèi)部的邏輯結(jié)構(gòu)為基礎(chǔ),設(shè)計若干測試用例，在這些測試用例運行時，提取相關(guān)的覆蓋率信息。1.2 軟件插樁技術(shù)插樁技術(shù)[11-14]是在源程序的某些位置插入語句或程序段，但并不破壞程序的完整性的一種技術(shù)。在插樁過程中，插樁的位置根據(jù)程序計算機技術(shù)與發(fā)展 2018年3期2018-03-20
- 嵌入式軟件測試技術(shù)綜述
分析覆蓋測試代碼插樁技術(shù)，結(jié)合測評機構(gòu)購置的嵌入式軟件測試工具，研究了這類工具的工作機理，最后構(gòu)建一個實時嵌入式軟件覆蓋測試環(huán)境，對于降低軟件測試難度，提高測試充分性具有重要的意義?！娟P(guān)鍵詞】嵌入式軟件 覆蓋測試由于嵌入式軟件具有功能性強，可靠性高，實時性強，體積功耗小等優(yōu)點，被主要應(yīng)用于航空航天、國防交通、醫(yī)療衛(wèi)生、消費電子和信息家電等重要領(lǐng)域。因此嵌入式軟件的開發(fā)與測試是目前計算機軟件發(fā)展的一個重點和難點。嵌入式軟件是指駐留運行在嵌入式計算機中的軟件，電子技術(shù)與軟件工程 2017年20期2018-01-17
- 基于記錄重播的嵌入式系統(tǒng)死鎖檢測方法
rt clock插樁記錄的嵌入式系統(tǒng)死鎖檢測方法——LPM（Lamport clock Pile Record Deadlock Detection Method）。首先利用Lamport clock對嵌入式程序線程關(guān)系、資源依賴關(guān)系進行記錄，然后離線提取日志記錄信息，獲取資源圖并進行死鎖檢測。仿真實驗表明，與經(jīng)典的插樁機制相比，該方法可有效降低插樁開銷并能準確檢測出死鎖。關(guān)鍵詞：嵌入式系統(tǒng)；LPM；Lamport clock；插樁；死鎖檢測DOIDOI：軟件導(dǎo)刊 2017年12期2018-01-09
- 嵌入式航天軟件匯編代碼覆蓋測試方案*
京100094從插樁策略、覆蓋率收集方法2個方面設(shè)計實現(xiàn)了一種匯編代碼覆蓋測試方案,解決了嵌入式航天軟件匯編代碼覆蓋測試沒有工具支持的問題。針對嵌入式系統(tǒng)資源緊張、時序相關(guān)性強的特點，在研究匯編語言指令結(jié)構(gòu)的基礎(chǔ)上，制定了一套基于比特位表征方式的匯編插樁策略；提出了一種基于JTAG接口的通用覆蓋率數(shù)據(jù)收集方案，解決了覆蓋信息輸出通道受限問題。實驗結(jié)果及工程應(yīng)用實例證明了方案的有效性和可行性。覆蓋測試；軟件測試；嵌入式軟件；代碼插裝覆蓋測試是軟件白盒測試的主航天控制 2017年5期2017-11-21
- 某自升式平臺在淺層氣區(qū)域插樁可行性分析與實踐
平臺在淺層氣區(qū)域插樁可行性分析與實踐和鵬飛中海油能源發(fā)展股份有限公司工程技術(shù)分公司，天津300452為實現(xiàn)某海區(qū)的探井評價作業(yè)任務(wù)，利用數(shù)字地質(zhì)勘查技術(shù)初步確定鉆井平臺就位區(qū)域內(nèi)淺層氣橫向和縱向分布情況；之后通過鉆孔試驗確定出淺層各段鉆孔過程中的出氣情況以及地層巖性，分析給出各層巖性參數(shù)；通過既定鉆井平臺樁腳形狀、預(yù)壓載噸位以及就位區(qū)域表層巖性參數(shù)，模擬計算出鉆井平臺壓載過程中的樁腿入泥情況。在上述基礎(chǔ)上，通過優(yōu)化鉆井平臺就位后插樁、壓載技術(shù)措施，最終實現(xiàn)石油工程建設(shè) 2017年2期2017-07-24
- “JU2000E”鉆井平臺在臨港前沿碼頭區(qū)域插拔樁分析
井平臺樁靴式基礎(chǔ)插樁深度及拔樁過量吃水深度，并對鉆井平臺插樁過程中土層刺穿效應(yīng)作出評價，為該區(qū)域內(nèi)樁靴式基礎(chǔ)插拔樁提供經(jīng)驗參數(shù)。關(guān)鍵詞：地基承載力；“JU2000E”自升式鉆井平臺；插樁深度；拔樁過量吃水深度；刺穿效應(yīng)引言上海某造船有限公司建造“JU2000E”自升式鉆井平臺[1][2]，將拖航至臨港碼頭進行設(shè)備吊裝。擬建“JU2000E”平臺為三條樁腿支撐的自升式鉆井平臺，每條樁腿下端配有一個樁腳箱（樁靴），其樁腳箱最大截面面積為254m2，有效直徑為1科技創(chuàng)新與應(yīng)用 2017年15期2017-05-31
- C程序變量錯誤檢測技術(shù)的設(shè)計與實現(xiàn)
基于C語言源代碼插樁檢測程序變量使用異常的實驗，對“變量使用前未賦初值”、“變量值溢出”等變量使用錯誤錯誤實現(xiàn)檢測和反饋。C語言；變量異常；代碼插樁；編譯器本文著錄格式：杭歡，杜世奇. C程序變量錯誤檢測技術(shù)的設(shè)計與實現(xiàn)[J]. 軟件，2016，37（11）：84-870 引言C語言誕生于1972年，以簡潔和功能強大而著稱于世，直到數(shù)十年后的今天仍被廣泛使用，具有十分重要的地位。目前C語言的應(yīng)用領(lǐng)域仍十分廣闊，當對性能有較高要求時，常常會選擇使用C語言實現(xiàn)軟件 2016年11期2016-12-15
- 鉆井船插樁對導(dǎo)管架平臺群樁影響的CEL有限元分析
0451)鉆井船插樁對導(dǎo)管架平臺群樁影響的CEL有限元分析何啟洪1, 賴 禺1,周松望2(1. 中海石油(中國)有限公司恩平油田群聯(lián)合開發(fā)項目組，廣東 深圳 518067; 2. 中海油田服務(wù)股份有限公司物探事業(yè)部，天津 300451)采用CEL大變形非線性有限元方法并結(jié)合非線性地基梁模型對海洋石油941鉆井船在番禺10-2平臺鉆井插樁時對鄰近導(dǎo)管架平臺群樁的影響進行了分析，并得到以下結(jié)論：1)鉆井船插樁過程中，樁身最大位移及出現(xiàn)的位置隨鉆井船插樁深度增加海洋工程 2016年6期2016-10-12
- 帶樁靴鉆井平臺插樁過程土壓力變化規(guī)律研究
）帶樁靴鉆井平臺插樁過程土壓力變化規(guī)律研究張寶平，楊旭才，王金明，段 鵬（中海油能源發(fā)展股份有限公司工程技術(shù)分公司，天津 300452）為了解決自升式鉆井平臺在實際插樁過程中實際插樁深度與預(yù)測深度誤差過大以及可能發(fā)生的穿刺問題，需要摸清自升式鉆井平臺插樁過程中樁靴周圍土壓力變化規(guī)律。為此，在渤海近岸處完成了多組插樁試驗，試驗利用土壓力計測量插樁時樁腿周圍應(yīng)力變化。按照合理方案埋設(shè)土壓力計，很好的完成了徑向、切向和垂向土壓力變化規(guī)律的研究，為海上鉆井平臺插樁海洋石油 2016年4期2016-03-22
- 基于動態(tài)插樁的緩沖區(qū)溢出漏洞檢測技術(shù)研究
065)基于動態(tài)插樁的緩沖區(qū)溢出漏洞檢測技術(shù)研究劉露平， 方勇， 劉亮， 龍剛(四川大學(xué) 電子信息學(xué)院，四川 成都 610065)緩沖區(qū)溢出漏洞是一類常見的軟件漏洞，其對計算機系統(tǒng)造成的危害非常大。本文針對這類漏洞提出一種基于二進制文件動態(tài)插樁并根據(jù)程序運行狀態(tài)來判定緩沖區(qū)溢出的檢測方法，并實現(xiàn)了基于該方法的檢測系統(tǒng)。通過分析緩沖區(qū)溢出的原理以及常見攻擊方法的特點，提出了基于覆蓋返回地址、虛函數(shù)表、異常處理鏈表以及溢出后執(zhí)行特定API的緩沖區(qū)溢出檢測方法。信息安全與通信保密 2015年4期2015-08-07
- 自升式平臺樁腿樁靴在多層土體插樁深度分析方法研究
腿樁靴在多層土體插樁深度分析方法研究祁 磊1,2，劉振紋1,2，吳航舟3，錢旭瑞3，許 浩1,2，李 光3，鄧海峰1,2(1. 中國石油集團工程技術(shù)研究院 天津 300451；2. 中國石油天然氣集團海洋工程重點實驗室 天津 300451；3. 中國石油集團海洋工程公司天津分公司 天津 300451)結(jié)合公司自升式平臺在勝利埕島油田的插樁作業(yè)分析，通過比較單層土體承載力計算方法與多層土體承載力計算方法的差別，提出了多層土體插樁深度計算分析方法，并優(yōu)化考慮了天津科技 2015年10期2015-06-27
- 插樁過程對臨近平臺樁基礎(chǔ)的影響研究①
300072)插樁過程對臨近平臺樁基礎(chǔ)的影響研究①郭紹曾1， 劉 潤1，2， 洪兆徽1， 郎瑞卿1(1.天津大學(xué)水利安全與仿真國家重點試驗室，天津 300072； 2.港口巖土工程技術(shù)交通行業(yè)重點實驗室，天津 300072)由于大型自升式鉆井船的插樁位置通常距離海上鉆井與采油平臺較近，樁靴的插入過程可能會對臨近平臺的樁基礎(chǔ)承載力和穩(wěn)定性產(chǎn)生不利影響。以實際工程為背景，運用球孔擴張理論推導(dǎo)擠土效應(yīng)產(chǎn)生的水平附加應(yīng)力大小及其范圍；提出一種近似考慮動力擠土效應(yīng)地震工程學(xué)報 2015年2期2015-06-09
- 基于順序塊的嵌入式白盒測試插樁技術(shù)研究
一種基于順序塊的插樁方法，能有效減少樁的個數(shù)，從而減少樁函數(shù)對測試過程的影響。針對分支覆蓋率測試，插樁后的被測程序運行在ARMulator上，樁獲取器分析樁信息，得出程序運行中的實時語句覆蓋率。實現(xiàn)了嵌入式軟件測試平臺ARM?Test，實驗證明：該模型能獲取實時的語句覆蓋率，有效進行白盒測試。關(guān)鍵詞： 嵌入式模擬器； 順序塊； 插樁； 白盒測試中圖分類號： TN710?34； TG335.58 文獻標識碼： A 文章編號： 1004?373X（2014）1現(xiàn)代電子技術(shù) 2014年18期2014-09-15
- 基于LDRA Testbed的民用機載軟件結(jié)構(gòu)覆蓋率分析流程研究
ed對源代碼進行插樁，然后在真實環(huán)境中執(zhí)行插樁后的代碼和選定的基于需求的測試程序，使用LDRA Testbed對通過串口傳送到宿主機上的歷史記錄文件進行分析，進而產(chǎn)生結(jié)構(gòu)覆蓋率分析的報告。本文以DO-178B《機載系統(tǒng)和設(shè)備合格審定中的軟件考慮》標準為依據(jù)，描述使用LDRA Testbed，對民用飛機機載軟件進行結(jié)構(gòu)覆蓋率分析的活動流程。1 要求DO-178B標準中定義軟件驗證過程通過評審、分析活動來驗證需求、軟件構(gòu)架和代碼的準確性、完全性和可測性；通過開航空標準化與質(zhì)量 2014年4期2014-03-04
- 基于程序不變量的載荷特征提取方法﹡
續(xù)處理。系統(tǒng)通過插樁控制模塊對應(yīng)用程序處理數(shù)據(jù)包的過程進行插樁，根據(jù)定制化的配置文件決定插樁時機、位置和插入的分析代碼等。在插樁后的應(yīng)用程序動態(tài)執(zhí)行的過程中，系統(tǒng)可以收集程序運行時的狀態(tài)，并且跟蹤經(jīng)過污點標記的數(shù)據(jù)包中字段的傳播路徑，分別生成程序狀態(tài)集和污點傳播記錄。對程序狀態(tài)集進行不變量檢測，獲得在動態(tài)執(zhí)行過程中的程序不變量。對污點傳播記錄進行過濾，得到精簡化的污點傳播軌跡。由于程序不變量與網(wǎng)絡(luò)數(shù)據(jù)包中字段間的關(guān)系存在對應(yīng)，通過分析程序不變量中的有關(guān)變量通信技術(shù) 2013年9期2013-09-17
- 樁靴基礎(chǔ)自升式鉆井平臺在砂土層下伏粘土層中的插樁分析
土。目前，在實際插樁計算分析中，YOUNG和FOCHT提出的3∶1(垂直方向:水平方向)荷載擴展分析法被廣泛應(yīng)用，這個方法假定施加在上層(硬土層)上的基礎(chǔ)荷載被擴展通過硬層，在軟弱層的頂面產(chǎn)生一假設(shè)的等效基礎(chǔ)。通過硬層的擴展比例為3∶1(垂直方向∶水平方向)，如果施加在等效基礎(chǔ)上的壓力超過下層土的承載力，則穿刺將會發(fā)生。然而，在很多插樁實例中，并沒有刺穿發(fā)生，若在砂土層下伏粘土層的層狀土中用這種方法進行計算就顯得過于保守，預(yù)測的插樁結(jié)果與實際的插樁結(jié)果相差船海工程 2013年2期2013-06-12
- 勝利埕島油田海上作業(yè)平臺插樁分析中的幾點誤區(qū)思考
油田海上作業(yè)平臺插樁分析中的幾點誤區(qū)思考安永寧1，閻錫臣2，楊 鯤1，李 晶1，王 凱3（1.交通運輸部天津水運工程科學(xué)研究所，天津 300456；2.天津海事局海測大隊，天津 300221；3.勝利油田海洋鉆井公司，東營 257055）文章通過闡述多個具體的插樁分析失誤案例，結(jié)合行業(yè)規(guī)范及土力學(xué)原理，對勝利埕島油田海上作業(yè)平臺插樁分析中的幾種常見誤區(qū)進行思考總結(jié)，分析了常見誤區(qū)的類型、產(chǎn)生原因及不利影響，并提出了應(yīng)對措施，以糾正一些認識上的錯誤，提高插樁水道港口 2013年6期2013-05-17
- 硬土-軟土插樁過程數(shù)值分析及驗證
，需要研究平臺的插樁性能，包括插樁過程中樁靴周圍土壤的流動特性、樁靴承載力（即插樁阻力）與插樁深度的關(guān)系、樁靴底部壓力分布規(guī)律等。插樁過程中樁靴和土壤間的固定度決定了樁腿、固樁架和船體在作業(yè)和自存工況下的力學(xué)響應(yīng)特性；插樁深度的大小決定了樁腿的設(shè)計總長；可靠的樁靴承載力設(shè)計是保證平臺安全工作、避免發(fā)生“刺穿”事故的重要保障；樁靴底部壓力分布規(guī)律不僅是樁靴強度校核的關(guān)鍵，也是對樁靴周圍土壤剪切失效和“刺穿”失效進行分析的重要信息[1-5]。近年來，數(shù)值方法逐石油勘探與開發(fā) 2013年4期2013-01-15
- 自升式鉆井平臺樁腿入泥深度計算研究
型，該模型考慮了插樁速度、樁靴上覆土壓力、群樁效應(yīng)等因素的影響。現(xiàn)場應(yīng)用表明，本文提出的自升式鉆井平臺樁腿承載力計算模型在預(yù)測樁腿入泥深度時具有非常高的準確度，相對誤差在10%以內(nèi)。自升式鉆井平臺 樁腿 承載力 入泥深度 計算模型目前自升式鉆井平臺是我國近海油氣勘探開發(fā)的主要鉆探裝備[1]，由于其受風(fēng)面積大、重心高且操作較其他類型平臺復(fù)雜，再加上目前平臺載荷逐漸增大，新油田的海況和海底情況比較復(fù)雜，在拖航、插拔樁、鉆井等作業(yè)環(huán)節(jié)中出現(xiàn)平臺傾斜、樁腿刺穿和拔中國海上油氣 2012年6期2012-01-23
- 自升式平臺穿刺計算方法探討
要對作業(yè)井位進行插樁穿刺安全性評估。在總結(jié)國內(nèi)外穿刺計算方法的基礎(chǔ)上,首先分析了接近穿刺狀態(tài)下上覆砂層的抗剪切能力,對樁基承載力公式進行了修正;然后對穿刺安全系數(shù)進行了探討,推薦了平臺作業(yè)期處于臺風(fēng)季時采用的安全系數(shù);最后提出了更完善的穿刺分析和作業(yè)流程,并以HYSY9××平臺在某井位插樁計算為例驗證了所提出的方法。自升式平臺;穿刺;安全系數(shù);最大承載力由于自升式鉆井平臺適用于不同海洋環(huán)境條件和較大范圍水深,移動靈活且便于建造,因此在海洋石油鉆采中得到了廣海洋石油 2011年1期2011-12-23
- 自升式鉆井平臺插樁深度探析＊
Peck公式進行插樁深度預(yù)測時所得的結(jié)果與實際插樁深度有較大出入。本文通過考慮樁靴尺寸,分析插樁過程中樁靴對地層物理力學(xué)性質(zhì)的影響,結(jié)合海調(diào)資料和平臺實際的插樁深度,運用最小二乘法求得樁靴對地層承載力的影響系數(shù),從而對Terzaghi和Peck公式進行修正,提高插樁深度預(yù)測的準確性。1 插樁深度計算自升式鉆井平臺以樁腿支撐平臺上部結(jié)構(gòu),提供軸向和橫向抗力。平臺的插樁深度與地層的極限承載力直接相關(guān),土質(zhì)條件(土的物理、力學(xué)性質(zhì))和樁靴的尺寸、形狀和埋深是影響海岸工程 2011年1期2011-02-26
- FEM-DEM耦合彈塑性土體插樁過程力學(xué)特性研究