共查询到18条相似文献,搜索用时 93 毫秒
1.
2.
3.
基于混合自动机的PSL模型研究 总被引:1,自引:1,他引:1
基于SPICE的计算机仿真方法在混合信号电路验证应用中具有较大的计算开销,讨论基于属性描述的建模方法减小计算开销的问题。通过分析PSL(property specification language)对系统属性的形式化描述方法,并分析混合自动机理论对混合信号系统抽象能力,提出了适合于混合信号电路系统快速验证的PSL模型。结合混合自动机对PSL进行了基于混合自动机语义特点的扩展,使用巴克斯—诺尔范式对其拓展后语法进行规范,提出具有描述混合信号电路行为特性的HAPSL(hybrid automata-base 相似文献
4.
5.
基于混合自动机的随机噪声电路动态特性分析 总被引:1,自引:0,他引:1
在集成电路非线性随机噪声的分析中应用Petri网技术,需要对原有的Petri网从定义和变迁发射规则方面等进行统计特性与连续特性的拓展研究和补充.并且基于噪声的随机非线性特性分析目的需求,拓展了传统的Petri网,提出了混合随机Petri网(Hybrid Statistical Petri Net,HSPN)模型分析方法.通过分析非线性电路的混合自动机模型,增加Petri网随机参数变迁描述能力,针对电路噪声特点,确定适合HSPN的随机动态特性分析模型.通过实例电路说明验证HSPN的建模方法,并与SPICE仿真软件进行比较,验证了该方法的精度和可行性. 相似文献
6.
良好的核心机房环境条件对于各类园区网络的正常运行至关重要,因此配备环境监测系统已经成为核心机房的一项妊备措施。针对传统监测系统布线的灵活性差等问题,本文提出了一种具有能量感知的节能无线传感器网环境监;受4系统。节点设计采用Jennic公司的JN5139SOC芯片,集成编译环境采用开源软件Code::Blocks,其内部运行由简单任务调度器BOS来统一管理。最后结合本单位核心机房实际情况,经过实际测试,给出了恰当的节点布置方案、节点节能发射功率值,实现了能量监测预警功能。此方法不仅可以用于机房环境监测,对于其他环境监测,如现代化养殖场的环境监测同样适用。 相似文献
7.
9.
10.
11.
为了提高动态无线传感器网络在目标跟踪、入侵检测、姿态检测、环境监控等应用中的准确性,文章提出了一种移动节点的定位机制,运用概率栅格方案确定移动节点在监测区域的概率分布,由带权重的离散采样集估计出考察时刻移动节点的概率分布,并通过统计实验方法完成移动节点的自定位。该定位机制无需对无线传感器网络的先验知识和节点移动方向进行假设,利用低密度的锚节点即可得到较高的定位精度,能够有效地利用移动节点的移动性,降低不确定性因素的影响。仿真实验结果验证了该定位机制的有效性。 相似文献
12.
13.
对无线传感器网络的设计和布局中,多Sink 节点的布局是其拓扑设计的关键,对网络通信的能量控制至关重
要。本文通过分析其Sink 节点布局模型,提出一种改进的三链混合遗传算法对Sink 节点布局求取最优解。实验表明,三链混
合遗传算法在针对Sink 节点的布局算法中相对于枚举算法,具有较优解,并且算法效率高,可降低无线传感器网络的能耗,改
善网络性能。 相似文献
14.
随着传感网络和3G网络的融合,物联网已经成为新世纪最重要的技术之一,如何延长传感节点的工作时间已成为物联网研究的一个重要课题。传统的电源管理规范如APM(Advanced Power Management)和ACPI(Advanced Configuration and Power Interface)主要针对PC设计,因其复杂性和对BIOS层要求等因素,在无线传感节点中并不适用。为了解决此问题,针对传感节点计算和存储能力有限的特点,我们首先开发了精简的signalslot框架,基于signal-slot框架,并设计了简单有效的电源管理方案SPM(Simple Power Management),并将SPM在流行的传感节点操作系统Contiki中实现。 相似文献
15.
16.
作为近年来的一个研究热点,无线传感网 (wireless sensor network, WSN)是一项可能改变现有工作与生活方式的技术.一个无线传感网系统可能由几十个到上万个节点组成.每个节点在保证具有足够的信息处理和通信能力的前提下,还需要满足低功耗和低成本的要求.从高效能计算的角度看,以FPGA为代表的可重构硬件已经被证明是提高系统计算效能的重要方式.传统上,在嵌入式系统中,FPGA被认为并不适用于低功耗设计.然而,FPGA的可重构不仅包括静态可重构还包括远程的部分动态可重构(partial dynamic reconfiguration, PDR).通过对芯片的某一特定区域的时分复用,在所需芯片面积减小的情况下,芯片的功耗可以大大减少.除此之外,WSN部署后的维护和功能的更新也可以通过FPGA芯片的远程PDR来实现.描述了基于远程硬件PDR技术的WSN节点.通过对几个典型算法(IIR,GPSR,SHA-2,FFT)的PDR实现,得出节点的功耗、面积与存储消耗,并与软件实现方式进行了比较.实验结果表明,通过采用 PDR技术,在计算时间减少的情况下,所需的芯片面积减少27%,运行时功耗最多可减少60%(829mW). 相似文献
17.
鉴于无线传感器网络能源受限的显著特征,有必要讨论其有效的能量管理机制。目前,大多数研究成果仅考虑到拓扑控制、路由、数据融合等某一方面的节能问题,往往缺乏对网络活动整体能耗的测控,因而缺乏完整性。本文应用移动Agent技术,从多个角度探讨了传感器网络的节能问题,包括拓扑和簇的生成、数据采集等。提出了若干基于移动A-gent的能量管理算法,并通过仿真实验和算法性能比较,立足于平均能耗、通信流量和负载、网络生命周期等几个方面,分别总结了其优缺点及可行性。 相似文献
18.
针对无线传感器网络研究领域中能量均衡性难以控制的问题,在LEACH协议的基础上提出了一种功率控制的分簇路由算法(PCRA算法).该算法基于最优连通功率,同时考虑节点的剩余能量、相对距离以及最优的邻居节集合对簇头的选择机制进行优化,从而实现网络稳定成簇和数据传输方式上的优化.通过结合距离、路径损耗和剩余能量等因数,使用权值来选择下一跳节点,实现了簇间通信,有效地避免了分簇协议应用被网络区域大小局限的问题.仿真数据显示,PCRA算法可使全网节点间的冲突区间变少,降低节点之间的竞争强度,进一步提高网络能量的有效性和吞吐量. 相似文献