基于模型的應用軟件的靜態(tài)檢測方法研究
格式:pdf
大?。?span id="2wnrri89hn" class="single-tag-height" data-v-09d85783>1.7MB
頁數:2P
人氣 :57
4.7
該文把靜態(tài)分析技術與基于模型的演繹驗證結合起來提供了一個框架,分析應用源代碼,自動生成一個分析器,它能夠推斷關于給定程序行為的邏輯約束方面的信息。該文引入了一階邏輯斷言來描述API調用語義。這些斷言構成分析器使用的模型。通過實驗,該方法可被用來識別Java程序中的關于安全的邏輯錯誤。
如何構建應用軟件造價評估模型
格式:pdf
大小:1.2MB
頁數:2P
通信行業(yè)競爭愈發(fā)激烈,集約化、精確化成本管理已成為公司市場轉型的必修課,而應用軟件投資結構、投資管理模式仍顯粗放,缺乏科學指導,應用軟件造價評估缺少標準化、可量化、可評估的軟件開發(fā)工作量衡量工具,在此背景下,筆者建議構建可量化、可評估、標準化的軟件開發(fā)投資造價評估模型,提高應用軟件投資估算的精細化管控程度,以從一定程度上起到支撐網絡規(guī)劃、年度投資計劃、工程項目投資預算和綜合造價分析的作用。
基于模型的網構軟件可達性檢測方法研究
格式:pdf
大?。?span id="2wnrri89hn" class="single-tag-height" data-v-09d85783>1.8MB
頁數:11P
針對網構軟件(internetware)可達性檢測中存在狀態(tài)空間\"爆炸\"等問題,提出了一種基于網構軟件代數模型的可達性檢測方法.根據網構軟件特性建立其代數模型,通過引入網構相關和網構空間概念,進一步擴展網構軟件代數模型.通過明確網構軟件可達性與網構組合運算表達式的關系,把可達性判定轉化成遞歸表達式(網構線性相關)判定上來;通過建立網構空間到線性空間映射,把網構線性相關判定問題轉化成齊次線性方程組非零解的判定上來.轉換過程把線性相關的網構進行壓縮,從而有效地抑制了狀態(tài)空間的增長.給出了可達性檢測算法,并討論了該方法的實際應用.
基于決策樹模型的策略沖突檢測方法??
格式:pdf
大小:255KB
頁數:5P
4.7
針對當前沖突檢測算法中存在的大量順序比較運算導致沖突檢測性能不高的問題,提出采用決策樹模型的分類思想來提高策略沖突檢測效率的方法。首先,為實現對規(guī)則中存在的復合型維度進行分類,采用分解算法分解復合型維度為集合;其次,為減少策略規(guī)則之間的順序比較,通過切割規(guī)則中的各個維度來構造決策樹,實現對規(guī)則的分類;最后僅對決策樹葉子節(jié)點中的規(guī)則進行順序比較來檢測所有規(guī)則之間可能存在的沖突。通過對規(guī)則進行分類,把可能存在沖突的規(guī)則切割到同一個葉子節(jié)點中,從而減少了不必要的順序比較。實驗結果表明,當策略規(guī)則達到2000條時,沖突檢測速度提高20倍以上,且規(guī)則越多,檢測速度提升越明顯。另外,沖突檢測采用順序比較,能保證沖突檢測的準確性為100%。
基于云模型與決策樹的入侵檢測方法
格式:pdf
大小:1019KB
頁數:6P
4.6
針對入侵檢測系統(tǒng)中傳統(tǒng)決策樹分類算法僅能處理離散化數據的情況,提出一種改進的入侵檢測方法。通過云模型對數據集連續(xù)屬性進行離散化,利用遺傳算法引入加權選擇概率函數,使得決策樹分類算法能檢測出dos、r2l、u2r、prb攻擊。kddcup99數據集上的實驗結果表明,與基于貝葉斯、支持向量機與云模型離散化的檢測方法相比,該方法具有更好的入侵檢測與分類性能。
短缺水電資源Fuzzy分配模型與應用軟件研究
格式:pdf
大?。?span id="2wnrri89hn" class="single-tag-height" data-v-09d85783>141KB
頁數:6P
4.6
利用fuzzy集的方法,建立了短缺水電資源分配的數學模型。該模型在剔除申報額“水份”,確定承擔資源短缺后比率等方面做了較好的工作。將模型設計成計算機軟件包,。通過模擬運行,獲得使用單位的好評。
太陽熱反射涂料的反射率檢測方法研究及其數學模型
格式:pdf
大?。?span id="2wnrri89hn" class="single-tag-height" data-v-09d85783>576KB
頁數:4P
4.3
太陽熱反射涂料是一種可以降低太陽輻射引起升溫的節(jié)能型涂料。通過對美國軍標太陽熱反射涂層反射率測試裝置和方法的改進,測試了不同太陽熱反射涂層的熱反射率,建立了相應的數學模型并進行可靠性分析。該模型可用于不同涂層太陽熱反射率相對值的比較。通過帶積分球的紫外-可見-紅外分光光度計的測試數據和模擬儲油罐在實際大氣環(huán)境之下的溫度變化曲線,驗證了改進方法和數學模型的正確性?;诖朔椒ê湍P脱兄频男滦吞枱岱瓷渫苛?在200~2600nm波段范圍內的反射率明顯優(yōu)于銀粉漆和常規(guī)白色涂料,熱反射降溫效果顯著。
演化算法中近似模型構造方法及其工程應用
格式:pdf
大?。?span id="2wnrri89hn" class="single-tag-height" data-v-09d85783>340KB
頁數:5P
4.4
演化算法在求解大型、復雜的工程優(yōu)化問題時,由于大量耗時的詳細分析計算,導致算法的優(yōu)化效率很低。文中將均勻設計、徑向基神經網絡技術以及演化算法結合起來,發(fā)展了一種“基于均勻設計的逐步修正近似模型構造方法”。利用該方法可以建立目標及約束的近似模型,不僅避免了耗時的詳細分析計算,而且提高了演化算法的效率。演化算法采用粒子群優(yōu)化算法,以六峰值駝背測試函數以及某載人返回艙氣動布局優(yōu)化設計作為算例,驗證了該方法的有效性。
三維地質應用模型構建方法研究及應用
格式:pdf
大?。?span id="2wnrri89hn" class="single-tag-height" data-v-09d85783>410KB
頁數:7P
4.8
當前國內外對地質體應用模型研究較多,由于專業(yè)方向不同、各類數據間的差異,其構建方法眾多.本文選擇兩種方式,一是基于dem插值曲面構建應用模型,動態(tài)演示年際地面沉降和地下水位變化,并對其成因、發(fā)展趨勢等進行分析評價.二是選擇具有空間插值性質的地質數據—視電阻率數值,構建應用模型,可以顯示數據的空間展布,進行切割、開挖,以及等值面追蹤等功能,進而根據其分布規(guī)律反向驗證地質體模型中地層劃分的正確與否.總之,應用模型與地質體模型的耦合,在地下資源的管理、展示、分析,地質災害的風險評價,以及輔助管理部門決策等具體工作方面,有較強的應用性和實踐意義.
基于GIS應用軟件的交互設計方法研究
格式:pdf
大?。?span id="2wnrri89hn" class="single-tag-height" data-v-09d85783>986KB
頁數:4P
4.6
軟件交互設計是當前it業(yè)界的熱門領域與主流方向之一。針對當前一些地理信息系統(tǒng)gis(geographyinformationsys-tem)應用軟件產品設計上的不足,把以用戶良好感受為中心的交互設計方法引入到gis應用軟件的設計中來,詳細闡述了具體的設計思路、方法和過程。并探討了gis應用軟件交互設計的新發(fā)展,揭示出gis應用軟件交互設計極大的發(fā)展前景與潛力。
CMG軟件-組分模型高壓物性實驗方法
格式:pdf
大?。?span id="2wnrri89hn" class="single-tag-height" data-v-09d85783>318KB
頁數:13P
4.6
1 地層巖石與流體(包括注入流體)之間的相互作用,以及流體與流體間 的相互作用是油藏數值模擬研究的重要內容之一。而相態(tài)模擬是研究流體(包 括地層流體和注入流體)間相互作用的必要手段,也是油藏數值模擬能否正 是準確地表征油藏流體流動的前提。為了研究油藏流體在注入氣前后的物理 化學性質變化,首先要對所確定的油氣井進行取樣和配樣,然后模擬計算飽 和壓力、恒組成膨脹(cce)、定容衰竭(cvd)、多級脫氣(dlt)分離 等實驗。將此配樣作為基礎,注入一定比例的氣體,研究在不同溫度和壓力 下流體混合物相態(tài)的變化。 1、原油組分的劈分與合并 表2-1為肇44-26井油藏區(qū)塊原始地層流體組成(數據來自西南石油 學院《n2、空氣-地層原油體系相態(tài)特征綜合研究》),由表可以看出,該流體 中c1含量為12.17%,c2~c6中間烴含量為25.69%,c7+重質組分含量較高, 摩
計算機應用軟件的學習方法總結范文
格式:pdf
大?。?span id="2wnrri89hn" class="single-tag-height" data-v-09d85783>9KB
頁數:5P
4.4
——文章來源網,僅供分享學習參考~1~ 計算機應用軟件的學習方法總結范文 【摘要】對于計算機來講,其誕生于1946年,至今已經已有 60多個年頭。伴隨著現今社會經濟的不斷發(fā)展,人們生活質量及生 活水平的不斷提高,電子計算機被越來越多人所認可及喜愛,被廣泛 應用到日常的工作及生活中,發(fā)揮了十分重要的作用??梢哉f,當前 掌握計算機常用軟件已經成為了每個人不可或缺的本領。本文簡要針 對計算機應用軟件學習的相關內容進行探討,目的在于提高人們的計 算機應用水平,為學生以后成長夯實基礎。 【關鍵詞】計算機應用軟件學習方法總結 伴隨著現今計算機軟件及硬件技術的不斷發(fā)展,計算機已經在人 們生活、工作中發(fā)揮了重要的作用,對民眾的生活質量、學習質量、 工作質量等都產生影響。所以,能夠熟練掌握并應用計算機軟件就成 為了當代人們所要具備的基本能力。然而當前,部分人在進行計算機 學習期
磁性液位計(模擬法)檢測方法
格式:pdf
大?。?span id="2wnrri89hn" class="single-tag-height" data-v-09d85783>110KB
頁數:3P
4.3
國內統(tǒng)一刊號cn31-1424/tb2014/4總第242期 磁性液位計(模擬法)檢測方法 章天霈 張忠立 羅佳駿/上海市計量測試技術研究院 摘 要 在分析“實液法”的基礎上,提出一種新的針對磁性液位計的“模擬法”檢測方法。介紹其 檢測過程,探討了通過精確標記v形磁鐵移動距離提高測量準確度的關鍵方法,并對其可行性與準確 性進行實驗驗證。 關鍵詞 磁性液位計;模擬法;磁場;v形塊 0 引言 “液位計”是測量“液位”量的儀表,在貿易結算、 安全防護、環(huán)境監(jiān)測和保證產品質量中起到重要作 用。眾多類型液位計中,磁性液位計因其顯示直觀、 價廉物美和可靠耐用而被廣泛應用于各種儲罐與槽 的液位測量 [1] 。 根據jjg971-2002《液位計檢定規(guī)程》的規(guī)定, 量程小于2m的液位計一般采用實液進行檢定,量 程大于2m的液位計,采用模擬的方法
CAD模型轉布局方法
格式:pdf
大?。?span id="2wnrri89hn" class="single-tag-height" data-v-09d85783>13.5MB
頁數:20P
4.8
CAD模型轉布局方法
高性能涂料的新型檢測方法
格式:pdf
大?。?span id="2wnrri89hn" class="single-tag-height" data-v-09d85783>2.8MB
頁數:7P
4.7
**資訊http://www.***.*** **資訊http://www.***.*** **資訊http://www.***.*** **資訊http://www.***.*** **資訊http://www.***.*** **資訊http://www.***.*** **資訊http://www.***.***
一種多線程軟件并發(fā)漏洞檢測方法
格式:pdf
大小:317KB
頁數:7P
4.5
多線程軟件由于進程間共享使用資源而極易發(fā)生死鎖這一嚴重的并發(fā)漏洞.通過petri網模型對多線程軟件進行建模,并利用混合整數規(guī)劃技術檢測其漏洞.目前,使用互斥鎖的多線程軟件可通過gadara網建模和檢測.而使用信號量的多線程軟件,雖可用s*pr網建模,但是尚未有理論支撐混合整數規(guī)劃用于其漏洞檢測.定義了s*pr網的一個子類——sem-s*pr網,它允許資源庫所初始標志大于1且分支可對稱地使用資源,進而可建模一類使用信號量的多線程軟件.依據結構特點,證明了該網保持活性的充分必要條件是網運行過程中所有信標始終非空.此結論是混合整數規(guī)劃用于sem-s*pr網建模的多線程軟件的并發(fā)漏洞檢測的理論基礎.
IGBT模塊的檢測方法
格式:pdf
大?。?span id="2wnrri89hn" class="single-tag-height" data-v-09d85783>294KB
頁數:8P
4.6
測試方法(晶川):萬用表只能測量不全面:若igbt損壞一般可以測 出;但是若igbt是好的,它無法肯定是好的。 igbt損壞:ge,eg,ce,gc,cg任意一組出現二極管檔有讀數,即損壞。 (ge表示g接正表筆,e接負表筆;其他雷同) igbt的ec之間接有二極管,所以為導通態(tài),電壓為0.34v左右。 若想完整測試igbt需要用晶體管圖示儀。 igbt損壞:ge,eg,ce,gc,cg任意一組出現電阻檔有讀數,即損壞。(ge 表示g接正表筆,e接負表筆;其他雷同) 新igbt 紅表筆-黑表筆電阻檔二極管檔 1-2無窮大斷路 2-1無窮大斷路 4-3無窮大斷路 3-4無窮大斷路 8-10無窮大斷路 10-80.447mω0.324 9-8無窮大斷路 8-90.448mω0.324 5-4無窮大斷路 4-5無窮
基于Android系統(tǒng)的手機惡意軟件檢測模型
格式:pdf
大?。?span id="2wnrri89hn" class="single-tag-height" data-v-09d85783>263KB
頁數:3P
4.7
為提高手機應用軟件的安全性,提出一種基于android系統(tǒng)的手機惡意軟件檢測模型;模型利用數據挖掘的方法對惡意軟件中的敏感api調用進行數據挖掘,進而得到惡意軟件檢測規(guī)則;針對檢測規(guī)則在檢測非惡意軟件時,產生較高誤報率的問題,設計了加權fp-growth關聯(lián)規(guī)則挖掘算法,算法在數據挖掘的兩個步驟中,對敏感api調用加權,利用支持度閾值去除一些出現次數頻繁而權重小的規(guī)則,降低了非惡意軟件的誤報率;實驗結果表明,模型對惡意軟件檢測率達到81.7%,非惡意軟件的檢錯率降低到11.3%。
Android平臺應用軟件安全檢測系統(tǒng)研究
格式:pdf
大?。?span id="2wnrri89hn" class="single-tag-height" data-v-09d85783>1.4MB
頁數:1P
4.5
近年來,我國的移動互聯(lián)網技術得到了快速發(fā)展,android操作系統(tǒng)也隨之變得日益完善,android系統(tǒng)的手機被越來越多的人所認可和使用,成為了當前移動終端設備的重要組成部分。隨著使用android操作系統(tǒng)用戶的增加,android平臺的安全問題就成為了人們關注的重要問題。為了更好地確保android系統(tǒng)的安全,保護人們的私密信息和財產不受非法侵害,對android平臺應用軟件進行安全檢測系統(tǒng)研究就變得十分重要。
基于反匯編的智能電表軟件功能檢測模型
格式:pdf
大?。?span id="2wnrri89hn" class="single-tag-height" data-v-09d85783>188KB
頁數:5P
4.7
電力企業(yè)在智能電表的生產過程中發(fā)現制造商用于招標展示的樣品表和競標成功后大量投產的批量表存在顯著差異。由于檢測不足,許多投入實際使用的批量表出現工作狀態(tài)異常、質量不合格的情況,對這些電表的維護造成了不必要的花費。針對此問題制定了一種智能電表軟件功能檢測方案,設計了一種嵌入式智能電表代碼逆向模型。模型以分析智能電表核心程序從而獲取系統(tǒng)運行特征為思路,以反匯編算法分析電表固件代碼功能為手段,對嵌入式智能電表進行軟件功能差異測試。模型包括固件代碼提取、固件代碼反匯編和軟件功能比較三大模塊,在反匯編模塊中基于現有的線性掃描和遞歸遍歷算法使用了一種改進的單步掃描算法(sda)。實際應用時對智能電表批量產品和樣品進行比較鑒別,對系統(tǒng)功能的差異測量效果明顯;同時使用該模型在維護電力企業(yè)已使用電表時可控制擬投產電表與已使用電表功能和質量誤差在±20%范圍內。
涂料及涂層檢測方法
格式:pdf
大小:25KB
頁數:6P
4.7
涂料及涂層檢測方法復習題 一、填空題 1.涂料檢測內容包括涂料本身性能和涂膜性能。 2.涂料性能的檢測大多是在相應的底材上進行的,因此底材的選 擇和試驗結果有一定的關系。 3.取樣工作是檢測工作的第一步,它直接影響檢測結果的準確性。 4.比重瓶是用來測定涂料密度。 5.涂料細度是用刮板細度計來檢測的。 6.最常見的涂料黏度檢測設備包括滾球粘度計和旋轉黏度計。 7.涂料的流平性是指涂料施工后,涂膜由不規(guī)則不平整表面向平坦光滑 表面發(fā)展的能力。 8.涂料的流掛性是指涂刷在垂直表面,漆膜易形成上部薄下部 厚現象的能力。 9.漆膜制備方法主要有刷涂法、噴涂法、浸涂法和刮涂法。 10.濕膜厚度的檢測用輪規(guī)和梳規(guī)。 11.鉛筆硬度測試漆膜硬度時,9h最硬,6b最軟。 12.軸棒測定器是檢測涂膜的柔韌性。 13.漆膜附著力的檢測常用劃
涂料性能檢測方法
格式:pdf
大小:947KB
頁數:47P
4.4
1 第9章涂料、染料和顏料的檢驗 9.1涂料的檢驗 涂料,即俗稱的“油漆”,是涂于物體表面能形成具有保護、裝飾或特殊性能的固態(tài)膜 的一類液體或固體的總稱。這種材料可以用不同工藝經過施工涂布在被涂物表面,干燥固化 后,形成一層高分子聚合物薄膜即涂膜,粘附牢固且具有一定強度。 涂料的分類方法有很多,目前,在我國涂料工業(yè)中按成膜物質(基料)分類,可將涂料 分為17類,如醇酸樹脂涂料、環(huán)氧樹脂涂料、聚氨酯涂料、酚醛樹脂涂料、丙烯酸樹脂涂 料等。 涂料除了具有裝飾外觀、防止腐蝕的作用外,還具有許多特殊功能,如防火涂料、防霉 涂料、示溫涂料、飛機的防雷達波涂料以及示芥子毒氣涂料等等不勝枚舉,是一種用途廣泛 的精細化工產品。因此,對涂料產品的檢驗顯得尤為重要。 9.1.1涂料產品的取樣 為了得到適當數量的涂料的代表性樣品,gb3186—82對產品類型、盛樣容器及取樣器 械
樁基檢測方法
格式:pdf
大?。?span id="2wnrri89hn" class="single-tag-height" data-v-09d85783>1.6MB
頁數:5P
4.7
基樁檢測主要有動測和靜測 動測主要是高、低應變,高應變測試承載力,低應變測試樁身完整性 一般來說,在對本地區(qū)地質情況比較熟悉的情況下,有一定實際經驗的技術人員采用高應變 (實測曲線擬合法)能比較準確的測定樁身承載力。低應變(反射波法)對于基樁樁身完整 性檢測是一種很直觀很經濟的方法。 靜測當然是指靜載荷試驗(包括豎向抗壓、水平、抗拔)。 對于灌注樁(或地下連續(xù)墻)測定完整性還可以有預埋聲測管超聲波檢測和抽芯檢測。 比較復雜一些的還有預埋鋼筋計樁身側摩阻及樁端阻力測試。 動測方法是高應變和低應變,高應變可檢測樁身的完整性還有樁的承載力。低應變主要檢測 樁身完整性,有效范圍為50d(樁的直徑),高應變比低應變貴,但低應變基本上只能檢測 樁身質量,承載力檢測是不準的。 小應變的主要有基樁檢測的儀器,再就是常見的大、小錘和接頭的傳感器。 大應變除了檢測儀器外,傳感器外,還要有吊
文輯推薦
知識推薦
百科推薦
職位:機電造價工程師
擅長專業(yè):土建 安裝 裝飾 市政 園林