了得網計算機/網絡_計算機科學與軟件研究—

內容簡介

為慶祝李未院士七十華誕，本書收錄國內外學者撰寫的計算機科學與軟件研究領域的論文49篇，主要反映這些學者近年來在計算機基礎與理論、計算機繫統與結構、軟件技術、網絡與大數據、計算機應用技術等方面所取得的研究成果，以及對相關領域的綜述與總結。

本書可供從事計算機科學和軟件研究的科研人員、工程技術人員參考，也可供相關學科的研究人員、大專院校師生閱讀。

問學求道五則(代序)
綜述
面向網絡的軟件技術:現狀與趨勢梅宏,劉譞哲
人工智能發展趨勢:混合智能研究吳朝暉,潘綱,鄭能干
SMT及其擴展問題馬菲菲,張健
Service-Oriented Development WANG Andy,ZHENG Guangzhi
Intelligent Transportation Systems for Smart Cities:A Progress Review XIONG Zhang,SHENG Hao,RONG Wenge,COOPER Dave E
淺談跨學科計算思維教學的認識與實踐李曉明
基礎與理論
New Algorithmic Techniques in Parameterized Computation CHEN Jian?er
Simultaneous Maximal Contractions and Simultaneously Maximally Consistent Subsets of Theories SUI Yuefei,LI Wei
Local Search with Edge Weighting and Configuration Checking Heuristics for Minimum Vertex Cover CAI Shaowei,SU Kaile,SATTAR Abdul
Automata-Based Analysis of Stage Suspended Boom Systems HE Anping,WU Jinzhao,ZHOU Yongquan,YANG Shihan
一類異步連接的消息序列圖規約的時間性質分析潘敏學,李宣東問學求道五則(代序)
綜述
面向網絡的軟件技術:現狀與趨勢梅宏,劉譞哲
人工智能發展趨勢:混合智能研究吳朝暉,潘綱,鄭能干
SMT及其擴展問題馬菲菲,張健
Service-Oriented Development WANG Andy,ZHENG Guangzhi
Intelligent Transportation Systems for Smart Cities:A Progress Review XIONG Zhang,SHENG Hao,RONG Wenge,COOPER Dave E
淺談跨學科計算思維教學的認識與實踐李曉明
基礎與理論
New Algorithmic Techniques in Parameterized Computation CHEN Jian?er
Simultaneous Maximal Contractions and Simultaneously Maximally Consistent Subsets of Theories SUI Yuefei,LI Wei
Local Search with Edge Weighting and Configuration Checking Heuristics for Minimum Vertex Cover CAI Shaowei,SU Kaile,SATTAR Abdul
Automata-Based Analysis of Stage Suspended Boom Systems HE Anping,WU Jinzhao,ZHOU Yongquan,YANG Shihan
一類異步連接的消息序列圖規約的時間性質分析潘敏學,李宣東
中介真值程度的度量及其應用的回顧洪龍
On the Decidability of Open Logic ZHANG Wei
From Quantum Computing Device to Quantum Software WU Nan,HU Haixing,SONG Fangmin,ZHENG Huimin,LI Xiangdong
Formal Semantics and Verification of AADL Modes in Timed Abstract State Machine YANG Zhibin,HU Kai,MA Dianfu,PI Lei,BODEVEIX Jean-Paul
安全苛刻繫統自動化測試的形式化語義模型及性質呂江花,馬世龍,李先軍
R-calculus without the Cut Rule LUO Jie,LI Wei
繫統與結構
桌面虛擬化:探索與實現廖小飛,金海,劉海坤,鄧莉
Using Kernel Coupling to Predict the Performance of Parallel Applications WU Xingfu,TAYLOR Valerie,GEISLER Jonathan,STEVENS Rick
一種基於光譜空間幾何特性的高光譜圖像快速魯棒解混方法張艷寧,張海超,段鋒
Adaptive Controller for Dynamic Power and Performance Management in the Virtualized Computing Systems WEN Chengjian,LONG Xiang,MU Yifen
A Flexible Attribute Based Access Control Method for Grid Computing LANG Bo,FOSTER Ian,SIEBENLIST Frank,ANANTHAKRISHNAN Rachana,FREEMAN Tim
Simulation of Power Consumption of Cloud Data Centers LUO Liang,WU Wenjun,TSAI Wei-Tek,DI Dichen,ZHANG Fei
軟件技術
A Tetrahedral Data Model for Unstructured Data Management LI Wei,LANG Bo
Internetware:A Shift of Software Paradigm LV Jian,MA Xiaoxing,HUANG Yu,CAO Chun,XU Feng
StarBus+:Distributed Object Middleware Practice for Internet Computing WANG Huaimin,WANG Yufeng,TANG Yangbin
XML語義定義語言林作銓,劉升平,李未
Crosstalk Aware Register Reallocation Method for Green Compiling CHEN Yong,HE Yanxiang,XU Chao,CHEN Nian,WU Wei,LI Qing’an
Automated Program Debugging via Multiple Predicate Switching LIU Yongmei,LI Bing
使用PTCCS 的Web 服務組合功能性和非功能性方面的統一建模黃志球,肖芳雄
面向特征的軟件分析與測試方法研究劉超,晏海華,何智濤
Examining the Potentially Confounding Effect of Class Size on the Associations between Object-Oriented Metrics and Change-Proneness ZHOU Yuming,LEUNG Hareton,XU Baowen
A Revisit of Fault Class Hierarchies in General Boolean Specifications CHEN Zhenyu,CHEN Tsongyueh,XU Baowen
網絡與大數據
(ε,δ)-Approximate Aggregation Algorithms in Dynamic Sensor Networks LI Jianzhong,CHENG Siyao
Graph Pattern Matching Revised for Social Network Analysis FAN Wenfei
The Small-Community Phenomenon in Networks LI Angsheng,PENG Pan
制造網格中的自動雙贏服務協商模型孟祥旭,潘麗
基於模型檢測的無線傳感網安全協議形式化分析與改進陳鐵明,何卡特,江頡
Block Compressive Sensing in Data Gathering for Large-Scale Wireless Sensor Networks LIU Yanlei,LI Huan
Distributed Graph Pattern Matching MA Shuai,CAO Yang,HUAI Jinpeng,WO Tianyu
Inconsistency between Maximum Information Entropy and Homophily in Social Networks ZHAO Jichang,LIANG Xiao,XU Ke
應用技術
Region-Based Rate-Control for H.264/AVC for Low Bit-Rate Applications HU Haimiao,LI Bo,LIN Weiyao,LI Wei,SUN Mingting
A Heuristic Path-Estimating Algorithm for Large-Scale Real-Time Traffic Information Calculating LV Weifeng,ZHU Tongyu,WU Dongdong,DAI Hong,HUANG Jian
Combining Tensor Space Analysis and Active Appearance Models for Aging Effect Simulation on Face Images WANG Yunhong,ZHANG Zhaoxiang,LI Weixin,JIANG Fangyuan
TL-Tree:Flash-Optimized Storage for Time-Series Sensing Data on Sensor Platforms LI Huan,LIANG Dong,XIE Lihui,ZHANG Gong,RAMAMRITHAM Krithi
Three-Dimensional Deformable-Model-Based Localization and Recognition of Road Vehicles ZHANG Zhaoxiang,TAN Tieniu,HUANG Kaiqi,WANG Yunhong
Robust Multiple-Vehicle Tracking via Adaptive Integration of Multiple Visual Features SHENG Hao,WEI Qi,LI Chao,XIONG Zhang
Model Order Selection in Reversible Image Watermarking CHEN Ming,CHEN Zhenyong,ZENG Xiao,XIONG Zhang
3-D Face Recognition Using eLBP-Based Facial Description and Local Feature Hybrid Matching HUANG Di,ARDABILIAN Mohsen,WANG Yunhong,CHEN Liming

在線試讀

綜述
面向網絡的軟件技術：現狀與趨勢*
梅宏1,2 劉?哲1,2
（1．北京大學信息科學技術學院軟件研究所；
2．高可信軟件技術*重點實驗室）

摘要目前，以互聯網為主干，電信網、廣電網、傳感網等多種網絡正在不斷交叉滲透，信息世界、人類社會、物理世界之間趨於融合，為信息技術及其應用開闢了更為廣闊的發展空間。這對傳統軟件理論、方法和技術帶來了一繫列的挑戰。本文回顧了現有基於網絡的新型應用模式，探討了軟件模型、軟件運行支撐機制與平臺、軟件開發方法和軟件質量評價與保障體繫的現狀和發展趨勢，並介紹了國內的研究現狀。
關鍵詞網絡化軟件；軟件範型；軟件運行支撐機制與平臺；軟件開發方法；軟件質量度量與評估
1 引言
計算機軟件技術主要涉及四個方面的內容（見圖1）：軟件範型、軟件開發（構造）方法、軟件運行支撐及軟件質量度量與評估。其中，軟件範型是從軟件工程師（或程序員）視角看到的軟件模型及其構造原理，是軟件技術體繫的核心。回顧軟件技術發展歷程，軟件範型大致經歷了無結構、結構化、面向對像、面向構件/面向服務等的變遷，而每次軟件範型的變遷，都會引發軟件開發方法和運行支撐機制的相應變化，並導致新的軟件質量度量和評估方法的出現。
本質上，軟件範型及其支撐技術體繫的演變，反映了軟件技術發展的基本驅動力，即，追求更具表達能力、更符合人類思維模式、易構造、易演化的軟件模型；支持高效率和高質量的軟件開發；充分發揮硬件資源的能力，支持高效能、高可靠和易管理的軟件運行。綜述

面向網絡的軟件技術：現狀與趨勢*

梅宏1,2 劉?哲1,2

（1．北京大學信息科學技術學院軟件研究所；

2．高可信軟件技術*重點實驗室）

摘要目前，以互聯網為主干，電信網、廣電網、傳感網等多種網絡正在不斷交叉滲透，信息世界、人類社會、物理世界之間趨於融合，為信息技術及其應用開闢了更為廣闊的發展空間。這對傳統軟件理論、方法和技術帶來了一繫列的挑戰。本文回顧了現有基於網絡的新型應用模式，探討了軟件模型、軟件運行支撐機制與平臺、軟件開發方法和軟件質量評價與保障體繫的現狀和發展趨勢，並介紹了國內的研究現狀。

關鍵詞網絡化軟件；軟件範型；軟件運行支撐機制與平臺；軟件開發方法；軟件質量度量與評估

1 引言

計算機軟件技術主要涉及四個方面的內容（見圖1）：軟件範型、軟件開發（構造）方法、軟件運行支撐及軟件質量度量與評估。其中，軟件範型是從軟件工程師（或程序員）視角看到的軟件模型及其構造原理，是軟件技術體繫的核心。回顧軟件技術發展歷程，軟件範型大致經歷了無結構、結構化、面向對像、面向構件/面向服務等的變遷，而每次軟件範型的變遷，都會引發軟件開發方法和運行支撐機制的相應變化，並導致新的軟件質量度量和評估方法的出現。

本質上，軟件範型及其支撐技術體繫的演變，反映了軟件技術發展的基本驅動力，即，追求更具表達能力、更符合人類思維模式、易構造、易演化的軟件模型；支持高效率和高質量的軟件開發；充分發揮硬件資源的能力，支持高效能、高可靠和易管理的軟件運行。

在計算技術發展的較長時期，軟件技術研究主要針對單機繫統，軟件範型從無結構演變到結構化和面向對像，為軟件解空間和問題空間的復雜性控制提供了有效機制和手段；軟件開發技術則主要圍繞相應的軟件範型，研究大型軟件繫統高質量高效率開發的方法、技術和工具；在運行支撐方面，面向單機的操作繫統主要隨著計算機硬件的發展而進步，追求更高效地發揮底層硬件資源所提供的計算能力，不斷凝練應用共性並沉澱為操作繫統的固有成分，同時更好地滿足用戶對易用性的需求；軟件質量度量和評估方面則主要關注繫統質量。

近年來，以互聯網為主干，電信網、廣電網、傳感網等多種網絡正在不斷交叉滲透，信息世界、人類社會、物理世界之間趨於融合，為信息技術及其應用開闢了更為廣闊

商品搜索

商品分类

【醫學】

【各大出版社】