【摘 要】
：
信息-物理融合系统（Cyber-Physical System,CPS）作为一系列物理过程和计算过程的紧密集成,体现为物理世界和信息世界的交互与融合。针对CPS的时空及非功能属性,提出一种面向方
【机 构】
：
苏州大学计算机科学与技术学院,中国科学院计算机科学国家重点实验室
论文部分内容阅读
信息-物理融合系统（Cyber-Physical System,CPS）作为一系列物理过程和计算过程的紧密集成,体现为物理世界和信息世界的交互与融合。针对CPS的时空及非功能属性,提出一种面向方面的时空Petri网建模方法,在保证时空一致性的前提下,分离系统中的核心关注点和横切关注点,将横切关注点单独作为方面进行分析,并将构建规则方面重新织入系统。该方法在系统设计阶段可以对不同的非功能属性进行形式化分析,提高了系统的可靠性和可维护性。最后通过实例说明了该方法的可行性。
其他文献
D2D（device-to-device）通信是一种允许终端用户通过共享小区资源进行直接通信的新技术,数据无需经过基站或核心网络。目前相关的D2D通信研究工作多集中于单跳D2D通信,而多跳D2D
针对目前网络级节能方案中存在的链路状态切换频繁的问题,提出了一种平滑的基于链路排序的启发式节能算法。该算法使用了一种新的排序机制,使得连续两次节能策略下的链路状态
针对设施农业无线传感器网络节点分布不均匀、能量约束严格的特点,为降低网络总能耗,提出一种改进的遗传粒子群算法,构建一棵树高受限且网络总能耗最小的数据收集树。首先,随
由于混源软件包含自主代码、开源代码等不同来源代码,从而具有更高的多样性和复杂性,对其质量的度量评估与传统软件存在极大区别。为了度量混源软件质量,建立混源软件质量度
针对现有无线传感器网络分簇路由算法的网络生命周期短、能量消耗不均衡等问题，结合节点的能量采集技术，提出了一种带有能量自补给节点的异构传感器网络分簇路由算法。考虑到实