摘要：物联网（Internet of things，10T）是近年来的研究热点之一，然而传感设备只提供了比较底层的访问接口，通...物联网（Internet of things，10T）是近年来的研究热点之一，然而传感设备只提供了比较底层的访问接口，通过接口所获得的数据与应用层所需的数据在概念上存在较大的差异。针对这一问题，提出一种无线传感设备及其数据的对象化访问方法。该方法通过UML（unifiedmodeling language）类图建立设备模型与应用模型，利用SM@RT（supportingmodels at mntime）工具建立设备访问模型，将设备接口与设备模型进行关联，并用QVT（query／view／transformation）关联设备模型和应用模型。实验结果验证了该方法的可行性和有效性。显示全部
摘要：传统范畴论与共代数等方法在分析语义行为与描述共归纳规则方面存在不足，应用Fibrations理论对程序语言中...传统范畴论与共代数等方法在分析语义行为与描述共归纳规则方面存在不足，应用Fibrations理论对程序语言中索引共归纳数据类型（indexed co-inductive data type，ICDT）进行了研究。通过基变换构造索引Fibration，建立索引Fibration的等式函子与商函子等工具，应用伴随性质与保持等式的提升深入分析ICDT的语义行为；以此为基础，构造ICDT上参数化的共递归操作，在Fibrations理论框架内抽象描述具有普适意义的共归纳规则，并以实例分析简要介绍Fibrations理论在ICDT中的应用。与传统研究方法相比，Fibrations理论具有简洁的描述性与灵活的扩展性，可以精确分析ICDT的语义行为，具有高度的抽象性且不依赖特定的计算环境，描述了ICDT具有普适意义的共归纳规则。显示全部
