HI,歡迎來到學術點評,咨詢熱線:400-888-7501 訂閱咨詢:400-888-7502 股權代碼 102064
計算機研究與發展雜志社
分享到:

計算機研究與發展雜志

《計算機研究與發展》由中國科學院計算技術研究所、中國計算機學會主辦,統計源期刊,綜合影響因子:0.864。計算機研究與發展報道我國計算機領域最高水平的學術論文和最新科研成果。
  • 主管單位:中科院出版委員會
  • 主辦單位:中國科學院計算技術研究所
  • 國際刊號:1000-1239
  • 國內刊號:11-1777/TP
  • 出版地方:北京
  • 郵發代號:2-654
  • 創刊時間:1958
  • 發行周期:月刊
  • 期刊開本:A4
  • 復合影響因子:2.649
  • 綜合影響因子:1.865
相關期刊
期刊征稿導航
期刊榮譽
百種重點期刊
國家期刊獎獲獎期刊
全國優秀社科期刊
全國優秀科技期刊
Caj-cd規范獲獎期刊
中國核心期刊遴選數據庫
中國期刊全文數據庫(CJFD)
中國學術期刊(光盤版)全文收錄期刊
中科雙高期刊
中科雙獎期刊
中科雙百期刊
中科雙效期刊
社科雙高期刊
社科雙獎期刊
社科雙百期刊
社科雙效期刊
軍隊雙獎期刊
軍隊雙效期刊
中國優秀期刊獎
中國精品科技期刊
全國優秀社科學報
全國百強社科學報
民族學類核心期刊
中國法學類核心期刊
全國法律類核心期刊
全國新聞學核心期刊
國家科技期刊一等獎
全國性建材科技期刊
全國畜牧類核心期刊
中國教育類核心期刊
全國高職院校優秀學報
全國高校百強社科期刊
全國教育學院優秀學報
全國教育學院十佳學報
全國煤炭系統優秀期刊
RCCSE中國核心學術期刊
全國化學化工類核心期刊
中國生物醫學類核心期刊
國內貿易部優秀科技期刊
全國貿易經濟類核心期刊
中國城市經濟十佳期刊
全國優秀經濟期刊
中國科技期刊核心期刊
國家雙百期刊
國家雙效期刊
國家雙獎期刊
全國中文核心期刊
全國農業科技期刊
全國農機科技期刊
全國百刊工程期刊
國際養蜂銀獎期刊
農機類中文核心期刊
農業部優秀科技期刊
建設部優秀科技期刊
全國農業學會優秀期刊
中國期刊方陣雙獎期刊
國家期刊提名獎期刊
中國百種杰出學術期刊
全國高校優秀科技期刊
全國中醫藥優秀期刊
中國期刊方陣期刊
社會科學類一級期刊
中國生物學核心期刊
中國熱作學會優秀期刊
中國期刊方陣雙百期刊
中國期刊方陣雙高期刊
中國期刊方陣雙效期刊
全國畜牧獸醫優秀期刊
全國高職高專優秀學報
全國中文體育核心期刊
全國自然建筑類核心期刊
全國戲劇藝術類核心期刊
全國計算機類中文核心期刊
中國社會科學院優秀期刊獎
全國農機系統優秀科技期刊
國家新聞出版總署優秀期刊
中國人文社科學報核心期刊
全國石油和化工行業優秀期刊
RCCSE中國核心(擴展版)期刊
全國百家優秀圖書閱覽增閱期刊
全國高校人文社科學報質量進步獎
全國民族地區自然科學版優秀期刊
全國中文綜合性農業科學類核心期刊

計算機研究與發展 2005年1期雜志 文檔列表

計算機研究與發展雜志計算機軟件技術

工作流過程建模中的形式化驗證技術

摘要:工作流過程建模是一個復雜且易錯的過程.若過程定義在投入運行之后被發現有錯,則修復錯誤的代價相當高,這個問題引起了研究界和工業界的高度重視.因此,在建模階段進行有效的過程驗證是十分必要的.綜述了工作流過程驗證技術的發展現狀,包括強調驗證的重要性,敘述了需要驗證的問題和復雜度;介紹了對驗證方法的要求;討論了過程合理性驗證和化簡驗證技術等;并通過對研究現狀的分析和對比,提出了仍然沒有解決的問題和將來的工作.
1-9

VAR-Tree——一種新的高維數據索引結構

摘要:在多媒體信息檢索和數據挖掘等應用領域,實現高維矢量的K近鄰搜索是非常具有挑戰性的研究課題,為此人們提出了很多種索引結構.然而,現有研究成果表明,隨著矢量維數的增加,基于樹狀索引結構的查詢性能急劇下降,例如在R-Tree,X-Tree和SS-Tree中都會出現"維數災難".為此,又引入近似壓縮的思想,即通過壓縮數據來減少查詢過程中的磁盤讀寫代價,例如VA-File等,不過,VA-File沒有對近似矢量數據做任何的排序或層次處理.提出了一種新的索引結構VAR-Tree,它將VA-File與R-Tree有機結合起來,用R-Tree管理和組織VA-File中的近似數據,并用已提出的R-Tree類相似查詢算法實現基于VAR-Tree的查詢.實驗結果表明,VAR-Tree較好地提高了檢索性能.
10-17
計算機研究與發展雜志編者專欄
17-17
計算機研究與發展雜志計算機軟件技術

一種面向混合實時事務調度的并發控制協議

摘要:首先給出了一個兩層結構的混合實時數據庫系統模型,其中支持采用非定期任務調度算法來改進系統的性能.進一步,針對這種模型下混合事務的數據一致性問題,提出了一種新的并發控制協議--MCC-DATI.該協議采用動態優先級驅動的調度算法,通過限制非定期的軟實時事務對硬實時事務的阻塞時間,保證硬實時事務的可調度性;同時,采用非定期任務調度算法以及基于時間戳間隔的動態串行化順序調整機制來減少軟實時事務的截止期錯失率.仿真實驗表明,相對于先前的混合事務的并發控制協議,該協議在不同的系統負載與截止期約束下都能夠改進系統的性能.
18-29

一種基于DTD的XML索引方法

摘要:路徑查詢是XML查詢的一個主要特征,現已提出了多種XML索引方法.DTD的結構信息對于XML索引的建立及查詢效率的提高很重要,但現有的大部分索引方法沒有利用DTD這一有效資源.提出一種利用DTD的XML索引方法--DBXI(DTD-based XML indexing),該方法采用了新的編碼方法,可使路徑查詢具備如下特征:對于由N個元素/屬性組成的具有1個謂詞約束的路徑表達式,DBXI處理每個XML文檔僅需0次或1次元素/屬性結點集的結構連接操作;對于在XML文檔中不存在匹配結構的路徑查詢,DBXI能夠在比現有的XML索引方法較短的時間內給出無查詢結果的判斷.實驗表明,與Lore,SphinX和XISS等索引方法相比,DBXI能夠縮短路徑查詢的響應時間.
30-37

LDPChecker——一個實時和混成系統模型檢驗工具

摘要:混成系統是一類復雜系統,線性混成系統作為其重要子類,在形式方法中,人們通常使用線性混成自動機來對它建模.雖然線性混成自動機的模型檢驗問題總的來說還是不可判定的,但對于其中的正環閉合自動機,其對于線性時段性質的滿足性能夠通過線性規劃方法加以檢驗.為了實現自動檢驗正環閉合自動機對線性時段性質的滿足性,設計并實現了工具LDPChecker.工具LDPChecker能夠識別正環閉合自動機并對其進行相應的檢驗,其主要特色在于它能夠對實時和混成系統檢驗包含可達性在內的許多實時性質,并且能夠自動給出診斷信息.
38-46
計算機研究與發展雜志人工智能與模式識別

文本分類中結合評估函數的TEF-WA權值調整技術

摘要:文本自動分類面臨的難題之一是如何從高維的特征空間中選取對文本分類有效的特征,以適應文本分類算法并提高分類精度.針對這一問題,在分析比較特征選擇和權值調整對文本分類精度和效率的影響后,提出了一種結合評估函數的TEF-WA權重調整技術,設計了一種新的權重函數,將特征評估函數蘊含到權值函數,按照特征對文本分類的辨別能力調整其在分類器中的貢獻.實驗結果證明了TEF-WA權值調整技術在提高分類精度和降低算法的時間復雜度方面都是有效的.
47-53
計算機研究與發展雜志學術活動
53-53
計算機研究與發展雜志人工智能與模式識別

BDI模型信念特性研究

摘要:Agent計算的典型模型是BDI(belief,desire,intention),信念是Agent計算的重要屬性.把信念拓展為知識性信念和可實現信念.Agent的知識性信念是指Agent當前具有或掌握的知識,具有知識的進化和繼承特性.Agent的可實現信念是指當前不成立而在將來會成立的事情,是Agent被意識到的個性傾向和目標.用非標準世界的模態邏輯為形式化工具描述兩種信念,將可能世界的可達關系作為認識的不同階段和達到可實現信念的不同階段,避免了"邏輯全知問題"和邏輯蘊涵的副作用問題.可實現信念滿足KD公理,知識性信念滿足KDT4公理.兩種信念適合描述Agent的意識狀態和意識模型.
54-59

SAT問題中局部搜索法的改進

摘要:局部搜索方法在求解SAT問題的高效率使其成為一研究熱點.提出用初始概率的方法對局部搜索算法中變量的初始隨機指派進行適當的約束.使在局部搜索的開始階段,可滿足的子句數大大增加,減少了翻轉的次數,加快了求解的速度.用該方法對目前的一些重要的SAT問題的局部搜索算法(如WSAT,TSAT,NSAT,SDF等)進行改進,通過對不同規模的隨機3-SAT問題的實例和一些不同規模的結構性SAT問題的實例,以及利用相變現象構造的難解SAT實例測試表明,改進后的這些局部搜索算法的求解效率有了很大的提高.該方法對其他局部搜索法的改進具有參考價值.
60-65

基于最小不確定性神經網絡的茶味覺信號識別

摘要:提出了一種基于最小不確定性神經網絡方法的味覺信號識別模型,使用貝葉斯概率理論和粒子群優化算法(PSO),快速而有效地確定網絡結構參數,實現了對10種茶味覺信號的識別,實驗結果表明了將該模型引入到茶味覺信號識別的可行性和有效性.
66-71

基于分段時間彎曲距離的時間序列挖掘

摘要:在時間序列庫中的數據挖掘是個重要的課題,為了在挖掘的過程中比較序列的相似性,大量的研究都采用了歐氏距離度量或者其變形,但是歐氏距離及其變形對序列在時間軸上的偏移非常敏感.因此,采用了更魯棒的動態時間彎曲距離,允許序列在時間軸上的彎曲,并且提出了一種新的序列分段方法,在此基礎上定義了特征點分段時間彎曲距離.與經典時間彎曲距離相比,大大提高了效率,而且保證了近似的準確性.
72-78
計算機研究與發展雜志信息處理

一種改進的自適應文本信息過濾模型

摘要:自適應信息過濾技術能夠幫助用戶從Web等信息海洋中獲得感興趣的內容或過濾無關垃圾信息.針對現有自適應過濾系統的不足,提出了一種改進的自適應文本信息過濾模型.模型中提供了兩種相關性檢索機制,在此基礎上改進了反饋算法,并采用了增量訓練的思想,對過濾中的自適應學習機制也提出了新的算法.基于本模型的系統在相關領域的國際評測中取得良好成績.試驗數據說明各項改進是有效的,新模型具有更高的性能.
79-84

一種實用高效的文本分類算法

摘要:在模式識別研究領域已有的分類算法中,大多數都是基于向量空間模型的算法,其中使用范圍最廣的是kNN算法.但是,其中的大多數算法都因為計算復雜度太高而不適用于大規模的場合.而且,當訓練樣本集增大時都需要重新生成分類器,可擴展性差.為此,提出了互依賴和等效半徑的概念,并將兩者相結合,提出新的分類算法--基于互依賴和等效半徑、易更新的分類算法SECTILE.SECTILE計算復雜度較低,而且擴展性能較好,適用于大規模場合.將SECTILE算法應用于中文文本分類,并與kNN算法和類中心向量法進行比較,結果表明,在提高分類精度的同時,SECTILE還可以大幅度提高分類速度,有利于對大規模信息樣本進行實時在線的自動分類.
85-93
計算機研究與發展雜志讀者專欄
93-93
計算機研究與發展雜志信息處理

使用最大熵模型進行中文文本分類

摘要:隨著WWW的迅猛發展,文本分類成為處理和組織大量文檔數據的關鍵技術.由于最大熵模型可以綜合觀察到各種相關或不相關的概率知識,對許多問題的處理都可以達到較好的結果.但是,將最大熵模型應用在文本分類中的研究卻非常少,而使用最大熵模型進行中文文本分類的研究尚未見到.使用最大熵模型進行了中文文本分類.通過實驗比較和分析了不同的中文文本特征生成方法、不同的特征數目,以及在使用平滑技術的情況下,基于最大熵模型的分類器的分類性能.并且將其和Bayes,KNN,SVM三種典型的文本分類器進行了比較,結果顯示它的分類性能勝于Bayes方法,與KNN和SVM方法相當,表明這是一種非常有前途的文本分類方法.
94-101
計算機研究與發展雜志計算機網絡

應用于計算機網絡協議一致性測試的傳輸機制

摘要:測試傳輸在很大程度上影響測試系統實現和測試集設計.良好的傳輸方法能夠對測試集設計者屏蔽被測協議實現的相關信息,同時簡化測試配置.根據測試集設計和測試傳輸分離的思想,采用通信實體和網絡接口相結合的機制實現測試傳輸,網絡接口用于定義邏輯測試接口的類型和相應的參數,相當于一臺邏輯測試器;通信實體用于向邏輯測試器屏蔽下層服務提供者的類型,完成測試數據的發送/接收工作.該傳輸機制在IPv6協議一致性測試系統中獲得了成功.
102-108

基于Small-World網絡的非結構化DHT算法

摘要:目前,非結構化的P2P路由算法面臨著搜索效率低下的嚴峻問題,這嚴重影響了非結構算法的應用領域.提出一種基于關鍵字聚類的分布式哈希表算法,主要思路是將環狀關鍵字空間分成上下兩層,下層(AUT層)負責關鍵字管理,上層(HUB層)負責節點路由.每個節點用一個隨機數值作為它的聚類中心,從過往的路由消息中本地節點將抽取文件關鍵字和節點聚類中心,以聚類原則將這些數據記錄到本地路由表中.除了改進非結構化算法的數據組織無序性,另一個目標是提高搜索效率.于是,上述算法的增強算法利用了small-world理論,在HUB層中加入遠距離節點的聚類中心,將確定性聚類轉化為概率性聚類,故能保證路由長度為O(log2N).
109-117
計算機研究與發展雜志分布式處理技術

同構計算環境中一種快速有效的靜態任務調度算法

摘要:快速有效的調度任務是多處理器計算環境中的一個關鍵問題.目前任務調度算法中刻畫任務依賴關系最流行的模型是DAG.在以前的文獻中,提出了一種新的更實際、更普遍的TTIG模型及其相應的MATE算法(基于同構計算環境).延伸了TTIG模型,并提出基于同構系統的新的算法及兩種啟發式方法(GBHA1和GBHA2).GBHA以組的形式盡量消除圖中回路,因而能獲得任務圖的全局信息,具有更好的調度性能.在模擬實驗中,將此算法與MATE和其他同構環境中基于DAG的有效調度算法,在不同測試條件下進行了比較,結果顯示GBHA在性能上明顯優于MATE,與基于DAG模型的調度算法比較而言,在性能方面各有千秋,但在算法時間復雜度方面具有顯著的優勢.
118-125
計算機研究與發展雜志學術活動
125-125
計算機研究與發展雜志分布式處理技術

分布式數據庫服務器系統及其自適應配置管理策略

摘要:服務器冗余技術在解決傳統分布式環境的可用性和性能瓶頸問題的同時,給系統的管理帶來了新的挑戰.介紹了一種分布式數據庫服務器DDSS的構成原理及工作模型.為了解決當前冗余服務系統的配置管理中存在的冗余資源動態可擴展性不強的問題,針對服務器DDSS(模型把系統中的每種服務抽象成為一個對象類,并提出同一個服務對象類的多個實例互為冗余服務),對冗余資源的配置管理問題進行討論,并提出基于移動代理技術的自適應配置管理ACM(adaptive configuration management)策略,在保證系統可用性的前提下提高系統的性能,減少資源浪費.在ACM中,通過定義獎懲函數(對于靜態配置)和用戶請求到達率(對于動態配置)來作為配置依據,對冗余實例進行動態增加或刪除.最后,對算法的性能進行了分析、測試,并與傳統算法進行了比較.
126-133
計算機研究與發展雜志圖形與圖像處理

基于遺傳算法的B樣條曲線和Bézier曲線的最小二乘擬合

摘要:考慮用B樣條曲線擬合平面有序數據使得最小二乘擬合誤差最小.一般有兩種考慮,一種是保持B樣條基函數的節點不變,選擇參數使得擬合較優.參數的選擇方法包括均勻取值、累加弦長法、centripetal model、Gauss-Newton迭代法等.另一種則是先確定好參數值(一般用累加弦長法),然后再用某一算法計算出節點,使得擬合較優.同時把兩者統一考慮,用遺傳算法同時求出參數、節點使得擬合在最小二乘誤差意義下最優.與Gauss-Newton迭代法、Piegl算法相比,本方法具有較好的魯棒性(擬合曲線與初始值無關)、較高的精度及控制頂點少等優點.實驗結果說明采用遺傳算法得到的曲線逼近效果更好.用遺傳算法對Bezier曲線擬合平面有序數據也進行了研究.
134-143
計算機研究與發展雜志學術活動
143-143
計算機研究與發展雜志圖形與圖像處理

建筑工程圖識別與理解——模型與算法

摘要:建筑工程圖采用二維示意式表達方式,識別和三維精確還原相對困難.提出了一種基于軸網、結構語義驅動的層次式自生長識別模型(SINEHIR模型),在融合結構語義的基礎上從先導建筑構件開始,在削減后的識別空間中結合當前識別層次的特點,分別采用基于特征的建筑符號識別方法、基于符號的軸網識別方法、基于輪廓的結點構件識別方法、基于關聯語義的段構件識別方法、基于幾何的組合構件識別方法和基于繼承的信息傳遞方法,在模型約束下完成后繼識別,以較小的計算量有效排除繪圖噪音、提高識別率.
144-152
計算機研究與發展雜志研究熱點

SOC可測試性設計與測試技術

摘要:超深亞微米工藝和基于芯核的設計給芯片系統(system-on-a-chip,SOC)測試帶來了新的問題.對SOC可測試性設計與測試技術的國際研究現狀及進展進行了廣泛而深入的綜述.從芯核級綜述了數字邏輯、模擬電路、存儲器、處理器4類芯核的可測試性設計與測試技術,從系統級綜述了測試激勵、測試響應和測試訪問機制等SOC測試資源的設計以及壓縮/解壓縮與測試調度等測試資源劃分、優化技術,并介紹了2個標準化組織開展的SOC測試標準工作.最后,展望了SOC測試未來的發展方向.
153-162

無線傳感器網絡研究進展

摘要:無線傳感器網絡因其巨大的應用前景而受到學術界和工業界越來越廣泛的重視.介紹了無線傳感器網絡的基本概念以及具有應用代表性的研究項目,總結提出了網絡協議體系結構框架并簡要介紹了各主要研究方向的最新進展,本文還針對最受關注的數據鏈路層協議、網絡層路由協議、協議棧優化、能耗管理以及網絡仿真技術等幾個研究熱點做了比較詳細的研究進展綜述.
163-174
計算機研究與發展雜志研發動態

甲骨文推出應用服務軟件

摘要:甲骨文公司日前宣布推出Oracle Service 11i.10的應用軟件.Oracle Service 11i.10以獨特方式協調web、客戶服務中心和現場服務等所有服務手段,使各公司能夠對自己的客戶有一個整體全面的了解,從而建立更有效的客戶關系.作為Oracle電子商務套件的一部分,Oraclcj Service:11i.10建立在單一數據模型之上,允許信息在整個應用范圍內流動,從而使客戶服務代理商能夠更準確地理解客戶查詢的含意、縮短解決問題的時間并提高客戶滿意度.
175-175

微軟NET被評為最佳程序開發平臺

摘要:Microsoft.NET被《waters》雜志評為2004年度最佳程序開發平臺,《Waters》是一家對金融市場資料與技術進行深度報道的雜志.該雜志指出,微軟經過改進的基礎設施可以迅速提供支持、管理補丁、升級程序并解決安全問題.通過.NET用戶可以在擁有先進技術的同時得到技術投資回報.這一獎項說明微軟在證券與資本市場的投入得到合作伙伴和用戶們認可.
175-175

英特爾稱未來仍將領先處理器市場

摘要:英特爾公司日前表示,將通過對處理器增加各種各樣的功能以滿足不同平臺和特定應用.英特爾將其稱為“T family”,其中包括多線程和64位拓展技術(EM64T).同時,英特爾還計劃推出“LaGrande”安全技術和Vanderpool/Silverdale虛擬化技術.這兩項技術均是針對于微軟下一代操作系統Longhorn而設計.
175-175

4G移動通信系統研究進展

摘要:20世紀90年代早期,歐洲已開始4G移動通信系統的研究,其目標速率是100Mbps,預期在2010年左右投入商用.目前全球范圍內有多個組織正在進行4G系統的研究和標準化工作,如IPv6論壇、SDR論壇、3GPP、無線世界研究論壇(the Wireless World Research Forum)、IETF(The Internet Engineering Task Force)和MWIF(the Mobile Wireless Internet Forum)等.在3G方面發展良好的韓國為了在4G方面形成自己的標準,目前與中國政府簽訂了共同研發4G的協議,并和國內多所大學開展合作.我國政府明確表示,4G系統將在2008年進入試驗期,2010年后進入商用化試驗.
175-175

日本發布Web服務消息發布機制

摘要:富士通、NEC、日立已經發布了面向web服務的開放源代碼消息發布服務——網格服務可靠消息(RM4GS),實現了WS-Reliability標準,使Web服務能夠在不丟失數據的情況下相互通信.除了提供Web服務問可靠的通信外,RM4GS還允許異步通信,使消息在發送時接收服務無需處于運行狀態.在能夠發布前,消息發布服務將使消息進入一個隊列.這意味著,即使一個應用的一些部件沒有在運行,其他部件也照樣可以運行.
175-175

可直接“識讀”神經信號的植入式機器人

摘要:《新科學家》雜志日前載文稱,美國加利福尼亞工學院的研究人員已研制成功了一種能夠獨立地對大腦表層進行“診斷”的微型植入式機器人.借助配備的多個靈敏探頭,這種裝置能夠及時獲取腦神經元發出的信號并將其傳回電腦.這種植入式機器人將有可能對那些因撞擊或嚴重疾病而使脊髓受損的患者提供必要幫助.例如,行動不便的老年人植入該型機器人后,將可順利完成洗漱和刮臉等日常行為.
175-175
計算機研究與發展雜志讀者專欄

2005年度國家自然科學基金委員會信息科學二處重點項目指南(申請代碼統一為F02)

摘要:研究在嵌入式計算、無線通信和分布式計算技術的支持下,把由計算和通信結點及系統組成的信息空間與人類生活的物理空間集成為和諧的人機交互信息環境的理論和技術.主要研究內容包括:(1)空間人機交互方法和環境,突破傳統桌面計算的人機交互方法;(2)覺察狀態(contextaware)的軟件基礎設施.
176-177
計算機研究與發展雜志編者專欄
178-178
計算機研究與發展雜志人才招聘
-F002
-F003

計算機研究與發展雜志分期列表:

2018:
2017:
2016:
2015:
2014:
2013:
2012:
2011:
2010:
2009:
2008:
2007:
2006:
2005:
2004:
大发时时彩