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