摘要：饮食记录是饮食管理的关键环节。为了简化记录过程,研究者提出了基于食物图片的食谱检索技术,通过拍摄的图片检索到对应食谱,并据此生成营养信息,从而提高了记录的便捷性。食谱检索是典型的跨模态检索问题,但与一般问题相比,其主要难点是食谱描述了从原材料到成品的一系列变化过程,而非直接可见的特征,因此模型需要深入理解原材料的处理过程。而当前食谱检索研究工作采用线性方式处理文本,导致其捕捉食谱处理过程中的远距离依赖现象的能力较差。针对这个问题,设计了一种基于自注意力机制的跨模态食谱检索模型。该模型借助Transformer模型中的自注意力机制,捕捉食谱中远距离的依赖关系,同时改进了传统方法中的注意力机制,可以更好地挖掘食谱中的语义。实验结果表明,该模型在食谱检索任务的召回率上比基线方法提高了22%。

摘要：本文主要研究面向对象软件系统的自动化测试代码的复用问题。复用测试代码是基于建立的方法测试用例。当创建了一个方法的测试用例之后,可以发现这个用例可在其他相关方法的测试过程中起到多种作用。这个生成的测试用例可以作为另一个方法测试输入的对象参数,或者作为一个主测试对象以调用其方法。我们设计了一个可自动生成复用测试代码的算法,并应用于一个微软平台上的对象测试自动化工具的研发过程中。

摘要：WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程部署。本文主要给出了WSCI的分析方法,基于文献[1]给出了形式化模型,提出了该形式化模型下的一种网融合方法。该方法将表示进程的网模型与其表示例外处理和子流程的网模型进行合并,形成统一的网模型。本文最后还给出了在该网模型下的可达图分析方法,从而达到分析带有例外处理的WSCI形式化模型的目的。

摘要：随着传感器的普及,智慧城市、普适计算等领域应用不断涌现,对时序数据处理的需求也在不断增长。时序数据中反复出现的高度相似的模式被称为主题模式。时序数据的主题模式蕴含有了大量的信息,对主题模式的识别是时序数据处理的重要分支领域。现有主题模式识别算法无法根据特定应用或领域的知识来指定主题模式识别的偏好,从而难以发现对分析领域问题最具价值的模式。针对这一问题,文中给出了一种可以根据领域偏好定义子序列相似性的机制,并设计了一种针对上述相似性度量机制的可变时间窗口主题模式识别加速剪枝算法。实验证明,所提方法在多个公开数据集上,能高效且准确地发现具有领域偏好的主题模式。

摘要：复杂水下环境中水下机器人的感知与探测技术亟待突破,基于微弱电场的水下仿生感知是一类很有潜力的技术路径。自然界中,一类鱼可在身体周围产生电场并通过电场变化来感知环境和其它生物,被称为弱电鱼。受弱电鱼感知行为启发,国内外学者展开了基于微弱电场的水下感知原理、方法与智能水下机器人方面的应用研究。综述了弱电鱼的生物学机理、水下电场的建模和感知理论、水下电场感知技术及其应用方面的研究进展,并展望了水下仿生电场感知技术的未来发展趋势。

摘要：复合事件检测是复杂事件处理的一个核心技术。基于同步网和C_net研究了复合事件检测的形式化模型,并以该模型为基础设计了一个灵活的复合事件检测算法框架。该算法框架使得复合事件检测算法中的事件消费策略、事件存储策略以及运行时优化策略等可以简单高效的实现和集成。

摘要：在所提出的程序设计方法中,赋值是物理对象上的操作,而程序则是这种操作的表达式。给出了此类表达式(O-表达式)的安全性和进展性性质的形式化定义,用实例说明了基于这些性质的形式化程序规范的模式。具有明确运行目标的O-表达式称为独立O-表达式(stand-alone O-expression,saloe)。一个完整的程序可能由若干个saloe组成。给出了一个定理,指出如何从这些saloe的性质导出完整性程序的性质。用大量实例阐明了程序性质的形式定义。

摘要：设计并实现了基于CANBus的智能数据采集系统。系统主要由主站与从站2个部分组成。主站以S3C6410为核心处理器,运行WindowsCE;从站以STM32为核心处理器。S3C6410、STM32与CANBus的搭配及以此为基础的应用层协议赋予了此系统智能性。运用马尔可夫决策模型对系统的状态进行了描述,同时对系统协议的正确率进行了估算。该系统是物联网底层数据采集技术的一种实现方案。

摘要：设计并实现了基于CANBus的智能数据采集系统.系统主要由主站与从站2个部分组成.主站以S3C6410为核心处理器,运行WindowsCE;从站以STM32为核心处理器.S3C6410、STM32与CANBus的搭配及以此为基础的应用层协议赋予了此系统智能性.运用马尔可夫决策模型对系统的状态进行了描述,同时对系统协议的正确率进行了估算.该系统是物联网底层数据采集技术的一种实现方案.

摘要：在RFID信息服务网络中，设计了一种支持复合订阅的可靠的路由算法：在订阅转发阶段，我们将每一个复合订阅按照其语法结构进行分解，并将每个复合订阅成份分配给多个RFID信息服务（构成一个复合订阅存储单元）去维护，而事件则按照订阅分解的反方向和匹配的结果进行转发与合并.由于每个复合订阅存在多个副本，因而会显著减少因某个副本失效而产生的事件丢失.本文也给出了复合订阅存储单元内部多个复合订阅副本一致性的保持方法，以及核心信息服务的选举方法.实验结果表明，该路由算法有较高的容错性，性能可以满足实际应用的需要.