首页

混成建模语言HyML及其语义理论研究 10月13日

【摘要】信息物理融合系统是一种融合了感知、计算、通信、控制能力的物理设备系统,通过系统内物理进程与计算进程相互影响的反馈循环从而实现自治。随着信息技术的更新换代与不断发展,信息物理融合系统的应用领域也不断扩展,大到核工业复杂控制系统、国家智能电网等涉及国家乃至世界的复杂系统,小到自主感控与计算的植入式家庭医生设备、自动巡航系统。这些系统与我们的正常生产与生活密切相关,一旦出现问题可能会带来不可估量 […]

【论文下载 - 中国知网/万方数据/维普/读秀/超星/国研/龙源/博看等资源库】

面向无线网络的形式化方法研究 09月15日

【摘要】无线网络己经被广泛运用于人们日常生活中的许多方面。尤其是在缺少固定基础设施的情况下,无线网络和无线技术是合适的通信解决方案,并且正在被广泛应用于实现信息传输的各种通讯场景中。构成无线网络的基础物理器件是无线网络节点设备,这些无线节点设备为无线网络应用的实现提供了基础的通信功能。无线网络节点设备通常是以无线电波为载体进行广播式的信息发送,这种无线网络的广播信息发送模式与传统的有线以太网络中的 […]