普适设备资源有限且极端异构，普适用户高度移动且需求各异，导致普适情境复杂且多变。因此，普适软件必须基于设备的能力和变化的环境进行动态定制。本项目以普适软件为研究目标，以自适应为主线，系统研究了高可靠普适软件动态构建与验证的理论和关键技术，实现了技术创新。项目取得的主要成果包括：(1) 提出了情境敏感的移动事务模型；设计了自适应规则和情境驱动的动态事务管理方法；研究实现了自适应的普适事务服务。(2) 研究了情境建模、管理与推理方法；提出了情境元语言，统一刻画普适情境；设计了高可靠普适软件的构造模型与编程模板，实现了软件自适应构建策略和软件动态生成框架。(3) 提出了情境敏感的Petri网，研究了基于情境Petri网的软件建模和正确性验证方法。(4) 研究了基于SVMTorch的普适情境分析方法，设计实现了基于半稀疏矩阵的快速矩阵相乘算法，扩展了SVMTorch以支持多标签分类，实现了一个高效的分类器并将其并行化到多处理器系统，在WebKB和20-newsgroup两个语料库上的训练时间分别只有传统SVMTorch的54.32％和74.95％。在此基础上，研究了相关支撑技术，提出了移动普适环境中基于认知协作的网络资源调度与自适应分配模型、高效的数据传输方法和动态的负载均衡机制。研究工作实现了理论与技术创新，突破了部分关键技术，为个性化、自适应软件的研究与应用提供了重要支持。相关研究成果在重要的国际期刊和国际学术会议上发表（录用）了论文26篇，其中国际期刊论文14篇（含SCI论文12篇），包括CCF A类IEEE TPDS期刊论文3篇、IEEE TII论文1篇、CCF B类论文1篇。5项国家发明专利获得授权；申请发明专利3项。编辑了SCI/EI国际期刊特辑4期、IEEE国际会议论文集1本。此外，项目组还参与主办和承办了国际学术会议FFC 2013，与众多国内外知名学者交流了研究工作。