基于模型的應用軟件的靜態檢測方法研究
格式:pdf
大小:1.7MB
頁數:2P
人氣 :57
4.7
該文把靜態分析技術與基于模型的演繹驗證結合起來提供了一個框架,分析應用源代碼,自動生成一個分析器,它能夠推斷關于給定程序行為的邏輯約束方面的信息。該文引入了一階邏輯斷言來描述API調用語義。這些斷言構成分析器使用的模型。通過實驗,該方法可被用來識別Java程序中的關于安全的邏輯錯誤。
如何構建應用軟件造價評估模型
格式:pdf
大小:1.2MB
頁數:2P
通信行業競爭愈發激烈,集約化、精確化成本管理已成為公司市場轉型的必修課,而應用軟件投資結構、投資管理模式仍顯粗放,缺乏科學指導,應用軟件造價評估缺少標準化、可量化、可評估的軟件開發工作量衡量工具,在此背景下,筆者建議構建可量化、可評估、標準化的軟件開發投資造價評估模型,提高應用軟件投資估算的精細化管控程度,以從一定程度上起到支撐網絡規劃、年度投資計劃、工程項目投資預算和綜合造價分析的作用。
基于模型的網構軟件可達性檢測方法研究
格式:pdf
大小:1.8MB
頁數:11P
針對網構軟件(internetware)可達性檢測中存在狀態空間\"爆炸\"等問題,提出了一種基于網構軟件代數模型的可達性檢測方法.根據網構軟件特性建立其代數模型,通過引入網構相關和網構空間概念,進一步擴展網構軟件代數模型.通過明確網構軟件可達性與網構組合運算表達式的關系,把可達性判定轉化成遞歸表達式(網構線性相關)判定上來;通過建立網構空間到線性空間映射,把網構線性相關判定問題轉化成齊次線性方程組非零解的判定上來.轉換過程把線性相關的網構進行壓縮,從而有效地抑制了狀態空間的增長.給出了可達性檢測算法,并討論了該方法的實際應用.
基于決策樹模型的策略沖突檢測方法??
格式:pdf
大小:255KB
頁數:5P
4.7
針對當前沖突檢測算法中存在的大量順序比較運算導致沖突檢測性能不高的問題,提出采用決策樹模型的分類思想來提高策略沖突檢測效率的方法。首先,為實現對規則中存在的復合型維度進行分類,采用分解算法分解復合型維度為集合;其次,為減少策略規則之間的順序比較,通過切割規則中的各個維度來構造決策樹,實現對規則的分類;最后僅對決策樹葉子節點中的規則進行順序比較來檢測所有規則之間可能存在的沖突。通過對規則進行分類,把可能存在沖突的規則切割到同一個葉子節點中,從而減少了不必要的順序比較。實驗結果表明,當策略規則達到2000條時,沖突檢測速度提高20倍以上,且規則越多,檢測速度提升越明顯。另外,沖突檢測采用順序比較,能保證沖突檢測的準確性為100%。
基于云模型與決策樹的入侵檢測方法
格式:pdf
大小:1019KB
頁數:6P
4.6
針對入侵檢測系統中傳統決策樹分類算法僅能處理離散化數據的情況,提出一種改進的入侵檢測方法。通過云模型對數據集連續屬性進行離散化,利用遺傳算法引入加權選擇概率函數,使得決策樹分類算法能檢測出dos、r2l、u2r、prb攻擊。kddcup99數據集上的實驗結果表明,與基于貝葉斯、支持向量機與云模型離散化的檢測方法相比,該方法具有更好的入侵檢測與分類性能。
短缺水電資源Fuzzy分配模型與應用軟件研究
格式:pdf
大小:141KB
頁數:6P
4.6
利用fuzzy集的方法,建立了短缺水電資源分配的數學模型。該模型在剔除申報額“水份”,確定承擔資源短缺后比率等方面做了較好的工作。將模型設計成計算機軟件包,。通過模擬運行,獲得使用單位的好評。
太陽熱反射涂料的反射率檢測方法研究及其數學模型
格式:pdf
大小:576KB
頁數:4P
4.3
太陽熱反射涂料是一種可以降低太陽輻射引起升溫的節能型涂料。通過對美國軍標太陽熱反射涂層反射率測試裝置和方法的改進,測試了不同太陽熱反射涂層的熱反射率,建立了相應的數學模型并進行可靠性分析。該模型可用于不同涂層太陽熱反射率相對值的比較。通過帶積分球的紫外-可見-紅外分光光度計的測試數據和模擬儲油罐在實際大氣環境之下的溫度變化曲線,驗證了改進方法和數學模型的正確性。基于此方法和模型研制的新型太陽熱反射涂料,在200~2600nm波段范圍內的反射率明顯優于銀粉漆和常規白色涂料,熱反射降溫效果顯著。
演化算法中近似模型構造方法及其工程應用
格式:pdf
大小:340KB
頁數:5P
4.4
演化算法在求解大型、復雜的工程優化問題時,由于大量耗時的詳細分析計算,導致算法的優化效率很低。文中將均勻設計、徑向基神經網絡技術以及演化算法結合起來,發展了一種“基于均勻設計的逐步修正近似模型構造方法”。利用該方法可以建立目標及約束的近似模型,不僅避免了耗時的詳細分析計算,而且提高了演化算法的效率。演化算法采用粒子群優化算法,以六峰值駝背測試函數以及某載人返回艙氣動布局優化設計作為算例,驗證了該方法的有效性。
三維地質應用模型構建方法研究及應用
格式:pdf
大小:410KB
頁數:7P
4.8
當前國內外對地質體應用模型研究較多,由于專業方向不同、各類數據間的差異,其構建方法眾多.本文選擇兩種方式,一是基于dem插值曲面構建應用模型,動態演示年際地面沉降和地下水位變化,并對其成因、發展趨勢等進行分析評價.二是選擇具有空間插值性質的地質數據—視電阻率數值,構建應用模型,可以顯示數據的空間展布,進行切割、開挖,以及等值面追蹤等功能,進而根據其分布規律反向驗證地質體模型中地層劃分的正確與否.總之,應用模型與地質體模型的耦合,在地下資源的管理、展示、分析,地質災害的風險評價,以及輔助管理部門決策等具體工作方面,有較強的應用性和實踐意義.
基于GIS應用軟件的交互設計方法研究
格式:pdf
大小:986KB
頁數:4P
4.6
軟件交互設計是當前it業界的熱門領域與主流方向之一。針對當前一些地理信息系統gis(geographyinformationsys-tem)應用軟件產品設計上的不足,把以用戶良好感受為中心的交互設計方法引入到gis應用軟件的設計中來,詳細闡述了具體的設計思路、方法和過程。并探討了gis應用軟件交互設計的新發展,揭示出gis應用軟件交互設計極大的發展前景與潛力。
CMG軟件-組分模型高壓物性實驗方法
格式:pdf
大小:318KB
頁數:13P
4.6
1 地層巖石與流體(包括注入流體)之間的相互作用,以及流體與流體間 的相互作用是油藏數值模擬研究的重要內容之一。而相態模擬是研究流體(包 括地層流體和注入流體)間相互作用的必要手段,也是油藏數值模擬能否正 是準確地表征油藏流體流動的前提。為了研究油藏流體在注入氣前后的物理 化學性質變化,首先要對所確定的油氣井進行取樣和配樣,然后模擬計算飽 和壓力、恒組成膨脹(cce)、定容衰竭(cvd)、多級脫氣(dlt)分離 等實驗。將此配樣作為基礎,注入一定比例的氣體,研究在不同溫度和壓力 下流體混合物相態的變化。 1、原油組分的劈分與合并 表2-1為肇44-26井油藏區塊原始地層流體組成(數據來自西南石油 學院《n2、空氣-地層原油體系相態特征綜合研究》),由表可以看出,該流體 中c1含量為12.17%,c2~c6中間烴含量為25.69%,c7+重質組分含量較高, 摩
計算機應用軟件的學習方法總結范文
格式:pdf
大小:9KB
頁數:5P
4.4
——文章來源網,僅供分享學習參考~1~ 計算機應用軟件的學習方法總結范文 【摘要】對于計算機來講,其誕生于1946年,至今已經已有 60多個年頭。伴隨著現今社會經濟的不斷發展,人們生活質量及生 活水平的不斷提高,電子計算機被越來越多人所認可及喜愛,被廣泛 應用到日常的工作及生活中,發揮了十分重要的作用。可以說,當前 掌握計算機常用軟件已經成為了每個人不可或缺的本領。本文簡要針 對計算機應用軟件學習的相關內容進行探討,目的在于提高人們的計 算機應用水平,為學生以后成長夯實基礎。 【關鍵詞】計算機應用軟件學習方法總結 伴隨著現今計算機軟件及硬件技術的不斷發展,計算機已經在人 們生活、工作中發揮了重要的作用,對民眾的生活質量、學習質量、 工作質量等都產生影響。所以,能夠熟練掌握并應用計算機軟件就成 為了當代人們所要具備的基本能力。然而當前,部分人在進行計算機 學習期
磁性液位計(模擬法)檢測方法
格式:pdf
大小:110KB
頁數:3P
4.3
國內統一刊號cn31-1424/tb2014/4總第242期 磁性液位計(模擬法)檢測方法 章天霈 張忠立 羅佳駿/上海市計量測試技術研究院 摘 要 在分析“實液法”的基礎上,提出一種新的針對磁性液位計的“模擬法”檢測方法。介紹其 檢測過程,探討了通過精確標記v形磁鐵移動距離提高測量準確度的關鍵方法,并對其可行性與準確 性進行實驗驗證。 關鍵詞 磁性液位計;模擬法;磁場;v形塊 0 引言 “液位計”是測量“液位”量的儀表,在貿易結算、 安全防護、環境監測和保證產品質量中起到重要作 用。眾多類型液位計中,磁性液位計因其顯示直觀、 價廉物美和可靠耐用而被廣泛應用于各種儲罐與槽 的液位測量 [1] 。 根據jjg971-2002《液位計檢定規程》的規定, 量程小于2m的液位計一般采用實液進行檢定,量 程大于2m的液位計,采用模擬的方法
高性能涂料的新型檢測方法
格式:pdf
大小:2.8MB
頁數:7P
4.7
**資訊http://www.***.*** **資訊http://www.***.*** **資訊http://www.***.*** **資訊http://www.***.*** **資訊http://www.***.*** **資訊http://www.***.*** **資訊http://www.***.***
一種多線程軟件并發漏洞檢測方法
格式:pdf
大小:317KB
頁數:7P
4.5
多線程軟件由于進程間共享使用資源而極易發生死鎖這一嚴重的并發漏洞.通過petri網模型對多線程軟件進行建模,并利用混合整數規劃技術檢測其漏洞.目前,使用互斥鎖的多線程軟件可通過gadara網建模和檢測.而使用信號量的多線程軟件,雖可用s*pr網建模,但是尚未有理論支撐混合整數規劃用于其漏洞檢測.定義了s*pr網的一個子類——sem-s*pr網,它允許資源庫所初始標志大于1且分支可對稱地使用資源,進而可建模一類使用信號量的多線程軟件.依據結構特點,證明了該網保持活性的充分必要條件是網運行過程中所有信標始終非空.此結論是混合整數規劃用于sem-s*pr網建模的多線程軟件的并發漏洞檢測的理論基礎.
IGBT模塊的檢測方法
格式:pdf
大小:294KB
頁數:8P
4.6
測試方法(晶川):萬用表只能測量不全面:若igbt損壞一般可以測 出;但是若igbt是好的,它無法肯定是好的。 igbt損壞:ge,eg,ce,gc,cg任意一組出現二極管檔有讀數,即損壞。 (ge表示g接正表筆,e接負表筆;其他雷同) igbt的ec之間接有二極管,所以為導通態,電壓為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系統的手機惡意軟件檢測模型
格式:pdf
大小:263KB
頁數:3P
4.7
為提高手機應用軟件的安全性,提出一種基于android系統的手機惡意軟件檢測模型;模型利用數據挖掘的方法對惡意軟件中的敏感api調用進行數據挖掘,進而得到惡意軟件檢測規則;針對檢測規則在檢測非惡意軟件時,產生較高誤報率的問題,設計了加權fp-growth關聯規則挖掘算法,算法在數據挖掘的兩個步驟中,對敏感api調用加權,利用支持度閾值去除一些出現次數頻繁而權重小的規則,降低了非惡意軟件的誤報率;實驗結果表明,模型對惡意軟件檢測率達到81.7%,非惡意軟件的檢錯率降低到11.3%。
Android平臺應用軟件安全檢測系統研究
格式:pdf
大小:1.4MB
頁數:1P
4.5
近年來,我國的移動互聯網技術得到了快速發展,android操作系統也隨之變得日益完善,android系統的手機被越來越多的人所認可和使用,成為了當前移動終端設備的重要組成部分。隨著使用android操作系統用戶的增加,android平臺的安全問題就成為了人們關注的重要問題。為了更好地確保android系統的安全,保護人們的私密信息和財產不受非法侵害,對android平臺應用軟件進行安全檢測系統研究就變得十分重要。
基于反匯編的智能電表軟件功能檢測模型
格式:pdf
大小:188KB
頁數:5P
4.7
電力企業在智能電表的生產過程中發現制造商用于招標展示的樣品表和競標成功后大量投產的批量表存在顯著差異。由于檢測不足,許多投入實際使用的批量表出現工作狀態異常、質量不合格的情況,對這些電表的維護造成了不必要的花費。針對此問題制定了一種智能電表軟件功能檢測方案,設計了一種嵌入式智能電表代碼逆向模型。模型以分析智能電表核心程序從而獲取系統運行特征為思路,以反匯編算法分析電表固件代碼功能為手段,對嵌入式智能電表進行軟件功能差異測試。模型包括固件代碼提取、固件代碼反匯編和軟件功能比較三大模塊,在反匯編模塊中基于現有的線性掃描和遞歸遍歷算法使用了一種改進的單步掃描算法(sda)。實際應用時對智能電表批量產品和樣品進行比較鑒別,對系統功能的差異測量效果明顯;同時使用該模型在維護電力企業已使用電表時可控制擬投產電表與已使用電表功能和質量誤差在±20%范圍內。
含水率檢測方法
格式:pdf
大小:19KB
頁數:2P
4.8
含水率的測定方法 含水率的測定方法含水率測定方法很多,如烘干法、酒精燃燒法、比重法、 微波加熱法及核子射線法等1.烘干法:是將試樣放入溫度保持在105~110°的 烘箱中烘烤至恒重。該方法試驗簡便,結果穩定,精度高,是測定含水率通用 的標準方法,本方法適用于粗粒土、細粒土、有機質土和凍土。2.酒精燃燒法: 是在試樣中加入酒精,利用酒精燃燒使試樣中水分蒸發將試樣烤干。這是快速 測定法中較準確的一種,適用于沒有烘箱及電源設備情況下,一般用于現場或 測定試樣風干含水率供制樣參考。3.炒干法:是利用火爐或電爐將試樣翻炒至 表面干燥的方法。主要在工地使用,適用于砂類土及含礫較多的土,所測含水 率略大于烘干法。4.相對密度法:根據相對密度試驗測定試樣體積,利用估算 土粒相對密度剪接計算試樣含水率。該法所測結果的準確度較差,只適用于砂 土。5.碳化鈣減量法:在反應器中通過加入的碳化
水泥檢測方法
格式:pdf
大小:17KB
頁數:9P
4.5
水泥檢測方法作業指導書 jw-03.3 一.適用范圍: 適用于通用硅酸鹽水泥和白色硅酸鹽水泥試驗方法,包括強膠砂度、細度、 膠砂流動度,標準稠度用水量、凝結時間、安定性檢測方法。 二.引用標準 gb175-2007《通用硅酸鹽水泥》 gb/2015-2005《白色硅酸鹽水泥》 gb1346-2011《水泥標準稠度用水量、凝結時間、安定性檢驗方法》 gb/t17671-1999《水泥膠砂強度檢驗方法(iso法)》 gb/t1345-2005《水泥細度檢驗方法篩析法》 gb/t2419-2005《水泥膠砂流動度測定方法》 gb/t8074-2008《水泥比表面積測定方法勃氏法》 三.檢測儀器 3.1水泥標準稠度用水量、凝結時間、安定性試驗儀器設備 試驗篩0.9mm方孔篩 水泥凈漿攪拌機, 凈漿標準稠度儀與凝結時間測定儀, 沸煮箱, 雷氏夾,雷氏夾膨脹值測定儀,標尺最
燒結磚檢測方法
格式:pdf
大小:8KB
頁數:4P
4.8
淺談燒結磚檢測方法 摘要:近年來,隨著行業技術進步,及國外先進技術的逐漸引入, 燒結磚類產品的生產工藝、機械設備、窯爐等裝備也有了長足的進 步,薄壁多孔、高孔洞率,具有良好保溫隔熱性能的大塊型磚,及 各類從外觀到內在品質都有優良的裝飾性新型燒結制品的生產,在 國內成為可能,這些產品以前都只能在國外的有關科技期刊上才能 看到。 關鍵詞:燒結磚強度檢測 隨著其應用面越來越廣,建筑行業對其技術檢關注之一,提高燒 結磚磚檢測數據的準確性成為質監部門研究探討的重要議題。 一、燒結磚簡介 燒結磚是指以粘土、頁巖、煤矸石、粉煤灰為原料,經過該高溫 焙燒而制成的是心或孔洞率小于或等于規定價值要求的磚,其規格 為240mm*115mm*53mm*。從燒結磚的分類來看有兩種分類標準,按 照原料分為粘土磚、頁巖磚、煤矸石磚、粉煤灰磚,按照焙燒火候 分為正火磚、欠火磚、過火磚。 二、燒結磚的檢測方法 2.
文輯推薦
知識推薦
百科推薦
職位:機電造價工程師
擅長專業:土建 安裝 裝飾 市政 園林