普适计算的曙光

当前的十年可能被称为普适计算的曙光，pc被几乎所有东西都嵌入计算机的技术所取代。现有的硬件可以为服装或汽车增加人工智能和无线连接等功能。多亏了研究人员，软件正在迅速赶上。“硬件的发展已经达到了这样一个阶段:在一块口香糖大小的电路板上，就有可能拥有一台拥有处理器、内存和操作系统的成熟计算机。马德里工业大学．“但到目前为止，还缺乏易于编程、能尽可能有效地利用普适计算设备有限的硬件和能量资源的软件。”

普埃布拉协调了ASAP项目，该项目旨在解决创建和调整软件以在普适计算系统上高效运行的问题，在普适计算系统中，计算机被集成到日常物品和环境中。

其结果是一个突破性的开源编程、分析和优化工具包，用于使用约束逻辑编程(CLP)语言的普及计算系统，该工具包已在一系列案例研究中得到验证。

在ASAP之前，使用高级CLP语言(它简化了编程并使软件更易于跨不同平台移植)还没有被认为是普及系统的可行解决方案，因为它们为程序员提供的便利是以成本为代价的:通常是效率较低和更需要资源的代码。

因此，研究人员传统上使用低层次语言，如C语言，这种语言效率更高，但代码也更复杂，限制了软件的通用性和复杂性，通常迫使程序员针对不同平台手动重写程序。

由于普及计算涉及到多个不同的分布式平台之间的通信，因此软件需要可互操作，但是，由于普及设备的处理和电力资源有限(其中大多数是电池供电的)，软件也必须尽可能高效。

ASAP的工具包提供了一种解决方案，通过使用高级声明性语言Ciao来优化以减少资源消耗。

“如果是为了做同样的事情而设计的，那么用工具包创建的软件在资源需求方面可以与用C编写的代码相媲美。但Ciao程序也可以完成更复杂的任务，有了我们的工具包，它们可以在普及系统上运行，”Puebla解释说。“Ciao使用也容易得多。程序员不必在每次需要创建或修改一个程序时都重新发明轮子。”

自调优、资源感知分析和专门化算法允许被称为CiaoPP的工具包生成专门的程序，这些程序可以自动优化，以满足特定的处理和资源约束。CLP分析和转换工具还可以充当广泛范围的高级和低级语言之间的元语言，以优化和验证普适计算的程序。

由于工具的自动特性和手工编程的有限需求，将错误引入代码的风险也降低了。

普埃布拉指出:“如果我们着眼于微型计算机无处不在的未来，这一点就尤为重要。”

在项目的一个案例研究中，用Ciao编写的普及应用内核在gumstix单板计算机上运行，这是一个口香糖片大小的计算机，是由ASAP项目合作伙伴布里斯托大学开发的可穿戴计算机系统的一部分。他们已经使用ASAP工具包开发了一种可以模拟声音的空间和方向效果的听觉设备软件，例如，在虚拟现实游戏中，模拟我们在现实生活中体验来自不同来源的噪音的方式。

在工业领域，监控有害物质或工人防护服的普遍系统将提高安全和保障。欧洲杯足球竞彩在医疗保健领域，无处不在的设备可以远程检查病人的健康状况。在家里，嵌入日常电器中的微型电脑可以打开暖气、调暗灯光，甚至在牛奶快喝光的时候提醒你。

普埃布拉指出:“普及系统的用途几乎是无限的，市场潜力巨大。”

http://istresults.cordis.europa.eu/