计算机科学与软件研究 李未院士七十华诞纪念文集2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

计算机科学与软件研究 李未院士七十华诞纪念文集PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

综述3

面向网络的软件技术：现状与趋势&梅宏，刘譞哲3

人工智能发展趋势：混合智能研究&吴朝晖，潘纲，郑能干21

SMT及其扩展问题&马菲菲，张健29

Service-Oriented Development&WANG Andy,ZHENG Guangzhi36

Intelligent Transportation Systems for Smart Cities:A Progress Review&XIONG Zhang,SHENGHao,RONG Wenge,COOPER Dave E52

浅谈跨学科计算思维教学的认识与实践&李晓明61

基础与理论67

New Algorithmic Techniques in Parameterized Computation&CHEN Jian'er67

Simultaneous Maximal Contractions and Simultaneously Maximally Consistent Subsets of Theories&SUI Yuefei,LI Wei76

Local Search with Edge Weighting and Configuration Checking Heuristics for Minimum Vertex Cover&CAI Shaowei,SU Kaile,SATTAR Abdul86

Automata-Based Analysis of Stage Suspended Boom Systems&HE Anping,WU Jinzhao,ZHOU Yongquan,YANG Shihan122

一类异步连接的消息序列图规约的时间性质分析&潘敏学，李宣东134

中介真值程度的度量及其应用的回顾&洪龙146

On the Decidability of Open Logic&ZHANG Wei156

From Quantum Computing Device to Quantum Software&WU Nan,HU Haixing,SONG Fangmin,ZHENG Huimin,LI Xiangdong167

Formal Semantics and Verification of AADL Modes in Timed Abstract State Machine&YANG Zhibin,HU Kai,MA Dianfu,PI Lei,BODEVEIX Jean-Paul178

安全苛刻系统自动化测试的形式化语义模型及性质&吕江花，马世龙，李先军190

R-calculus without the Cut Rule&LUO Jie,LI Wei207

系统与结构225

桌面虚拟化：探索与实现&廖小飞，金海，刘海坤，邓莉225

Using Kernel Coupling to Predict the Performance of Parallel Applications&WU Xingfu,TAYLOR Valerie,GEISLER Jonathan,STEVENS Rick238

一种基于光谱空间几何特性的高光谱图像快速鲁棒解混方法&张艳宁，张海超，段锋259

Adaptive Controller for Dynamic Power and Performance Management in the Virtualized Computing Systems&WEN Chengjian,LONG Xiang,MU Yifen269

A Flexible Attribute Based Access Control Method for Grid Computing&LANG Bo,FOSTER Ian,SIEBENLIST Frank,ANANTHAKRISHNAN Rachana,FREEMAN Tim284

Simulation of Power Consumption of Cloud Data Centers&LUO Liang,WU Wenjun,TSAI Wei-Tek,DI Dichen,ZHANG Fei298

软件技术327

A Tetrahedral Data Model for Unstructured Data Management&LI Wei,LANG Bo327

Intemetware:A Shift of Software Paradigm&LV Jian,MA Xiaoxing,HUANG Yu,CAO Chun,XU Feng343

StarBus+:Distributed Object Middleware Practice for Intemet Computing&WANG Huaimin,WANG Yufeng,TANG Yangbin359

XML语义定义语言&林作铨，刘升平，李未374

Crosstalk Aware Register Reallocation Method for Green Compiling&CHEN Yong,HE Yanxiang,XU Chao,CHEN Nian,WU Wei,LI Qing'an397

Automated Program Debugging via Multiple Predicate Switching&LIU Yongmei,LI Bing409

使用PTCCS的Web服务组合功能性和非功能性方面的统一建模&黄志球，肖芳雄420

面向特征的软件分析与测试方法研究&刘超，晏海华，何智涛446

Examining the Potentially Confounding Effect of Class Size on the Associations between Object-Oriented Metrics and Change-Proneness&ZHOU Yuming,LEUNG Hareton,XU Baowen462

A Revisit of Fault Class Hierarchies in General Boolean Specifications&CHEN Zhenyu,CHEN Tsongyueh,XU Baowen489

网络与大数据503

(∈,δ)-Approximate Aggregation Algorithms in Dynamic Sensor Networks&LI Jianzhong,CHENG Siyao503

Graph Pattern Matching Revised for Social Network Analysis&FAN Wenfei523

The Small-Community Phenomenon in Networks&LI Angsheng,PENG Pan548

制造网格中的自动双赢服务协商模型&孟祥旭，潘丽578

基于模型检测的无线传感网安全协议形式化分析与改进&陈铁明，何卡特，江颉587

Block Compressive Sensing in Data Gathering for Large-Scale Wireless Sensor Networks&LIU Yanlei,LI Huan597

Distributed Graph Pattern Matching&MA Shuai,CAO Yang,HUAI Jinpeng,WO Tianyu611

Inconsistency between Maximum Information Entropy and Homophily in Social Networks&ZHAO Jichang,LIANG Xiao,XU Ke630

应用技术639

Region-Based Rate-Control for H.264/AVC for Low Bit-Rate Applications&HU Haimiao,LI Bo,LIN Weiyao,LI Wei,SUN Mingting639

A Heuristic Path-Estimating Algorithm for Large-Scale Real-Time Traffic Information Calculating&LV Weifeng,ZHU Tongyu,WU Dongdong,DAI Hong,HUANG Jian662

Combining Tensor Space Analysis and Active Appearance Models for Aging Effect Simulation on Face Images&WANG Yunhong,ZHANG Zhaoxiang,LI Weixin,JIANG Fangyuan672

TL-Tree:Flash-Optimized Storage for Time-Series Sensing Data on Sensor Platforms&LI Huan,LIANG Dong,XIE Lihui,ZHANG Gong,RAMAMRITHAM Krithi693

Three-Dimensional Deformable-Model-Based Localization and Recognition of RoadVehicles&ZHANG Zhaoxiang,TAN Tieniu,HUANG Kaiqi,WANG Yunhong708

Robust Multiple-Vehicle Tracking via Adaptive Integration of Multiple Visual Features&SHENG Hao,WEI Qi,LI Chao,XIONG Zhang731

Model Order Selection in Reversible Image Watermarking&CHEN Ming,CHEN Zhenyong,ZENG Xiao,XIONGZhang753

3-D Face Recognition Using eLBP-Based Facial Description and Local Feature Hybrid Matching&HUANG Di,ARDABILIAN Mohsen,WANG Yunhong,CHEN Liming775