专栏评述

◆吴尽昭◆

◎评《面向传感网的服务构建与并发控制》

复杂网络的研究及应用涉及工程、生物、自然与社会等多个领域，可以为真实复杂系统的分析与设计提供方法论和指导。无线传感器网络是由具有信息采集、通信等能力的节点自组织形成的网络，是复杂网络理论研究的重要应用领域之一。《面向传感网的服务构建与并发控制》一文充分利用了无线传感器网络的通信、计算能力等有限的特点，提出了基于推理的工作流技术来构建服务，进而改进了Web服务请求的并发控制。该方法具有创新性，实验充分。与其他已有工作相比，该文首先通过提取传感器数据的语义信息，实现了上层业务逻辑和底层传感数据的松耦合以及有限的传感网资源的重用；其次，通过扩展SOAP消息，引入服务请求的重复和冲突检测，避免重复和冲突的服务执行，实现了更有效的传感器网络并发控制。

◎评《软硬件协同设计复杂问题的计算模型和算法》

软硬件划分是嵌入式和片上复杂系统软硬件协同设计的关键步骤，其基本任务是在满足某些约束的条件下，将系统的功能、行为最优地分配到一定的软硬件系统结构上。软硬件划分问题具有相当的复杂性。近年来，很多研究者就该问题进行了多角度的深入研究。《软硬件协同设计复杂问题的计算模型和算法》一文就软硬件划分计算模型及算法领域，对近年来典型的研究成果进行了系统的分析，总结了各种模型和算法的特点、优点及其未来研究方向。

专家简介：吴尽昭，男，1965年生。博士、教授、博士生导师。计算机软件与理论专业，长期从事高效能、高可信计算与推理理论和工具的研究和开发，研究领域涉及符号计算、自动推理、逻辑程序设计及推理数据库、复杂并发系统形式化分析与验证及其交叉、融合与应用。在《中国科学》《Acta Informatica》《ISSAC》《ICFEM》等国内外重要学术刊物和国际会议论文集上发表科研论文103篇、研究报告16篇，出版学术专著3部，获得软件著作权6项，申请专利3项，近年来承担国家自然科学基金、973计划、863计划等国家、省部级科研项目10余项，指导毕业博士研究生14名。德国“马普学会奖学金”获得者，中国科学院“百人计划(国外引入杰出人才)”入选者，国家首批“新世纪百千万人才工程国家级人选”，四川省学术和技术带头人，获国务院政府特殊津贴。