期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
基于断言语言SVA的设计验证方法 被引量:3
1
作者 查欣 《现代电子技术》 2010年第10期5-7,14,共4页
基于断言SVA的验证是一种有价值的主流验证技术。断言特别适合于描述时序特性和因果特性。作为Sys-tem Verilog的重要组成部分,SVA提供了丰富的断言指令,能有效地提高验证测试工作的质量和效率。在此,首先介绍断言验证语言SVA,通过与Ver... 基于断言SVA的验证是一种有价值的主流验证技术。断言特别适合于描述时序特性和因果特性。作为Sys-tem Verilog的重要组成部分,SVA提供了丰富的断言指令,能有效地提高验证测试工作的质量和效率。在此,首先介绍断言验证语言SVA,通过与Verilog验证对比,说明SVA在时序特性和因果特性验证上的优势,证明基于断言的验证是SoC设计验证的一种有效方法,能够有效地提高验证效率。 展开更多
关键词 验证方法 SVA 时序特性 因果特性
下载PDF
Multi-timescale Collaborative Optimization of Distribution, Distributed Generation and Load in Microgrid
2
作者 Wen Hu Yun-lian Sun +2 位作者 Yang Wang Yang-jun Zhou Meng-ying Wang 《Open Journal of Applied Sciences》 2013年第2期12-17,共6页
The distribution loads, output of distributed generations (DGs) and dynamic power price present obvious time-sequence property, the typical property is studied in this paper. The model of microgrid (including adjustab... The distribution loads, output of distributed generations (DGs) and dynamic power price present obvious time-sequence property, the typical property is studied in this paper. The model of microgrid (including adjustable load, DGs, storage and dynamic power price) is studied. A multi-timescale collaborative optimization model is built towards microgrid;main measures in different timescale optimization are realized. An improved adaptive genetic algorithm is used to solve the optimization problem, which improved the efficiency and reliability. The proposed optimization model is simulated in IEEE 33 node system;the results show it’s effective. 展开更多
关键词 MICROGRID Multi-timescale COLLABORATIVE Optimization time-sequence property Improved Adaptive
下载PDF
随机环境中生灭过程首击间隔随机序列的性质 被引量:1
3
作者 田俊忠 胡迪鹤 《应用数学》 CSCD 北大核心 2003年第3期31-35,共5页
本文研究了随机环境中生灭过程首击间隔随机序列的性质 ,假设环境独立同分布 ,证明了 {τn}∞n =1是 φ 混合随机序列 ,但不是平稳序列 ,并求得期望E(τn)及其极限 。
关键词 随机环境 生灭过程 首击间隔随机序列 随机过程 φ-混合随机序列
下载PDF
跳时序列对UWB系统多址性能的影响 被引量:2
4
作者 张振宇 曾凡鑫 葛利嘉 《电讯技术》 北大核心 2003年第4期15-19,共5页
通过变换超宽带(UWB)无线电通信系统的信号模型,分析了该通信系统的多址性能,给出了跳时序列与其所产生的多址干扰之间的关系,从而明确了跳时序列的相关性能对该通信系统误码率的影响。
关键词 跳时序列 UWB系统 多址性能 变换超宽带 无线电通信 多址干扰 误码率
下载PDF
基于HMM-PNN模型的助推段目标类型识别
5
作者 王普 樊建鹏 +1 位作者 程洪玮 司马端 《航天电子对抗》 2015年第4期22-25,35,共5页
针对卫星视野下导弹目标的识别问题,将经典隐马尔科夫模型(HMM)识别算法应用在助推段目标类型识别上并加以改进。首先,分析了通用弹道助推段运动特性,确定了不同射程导弹的分类依据。其次,针对HMM模型时序特性差异较小而引起的识别率低... 针对卫星视野下导弹目标的识别问题,将经典隐马尔科夫模型(HMM)识别算法应用在助推段目标类型识别上并加以改进。首先,分析了通用弹道助推段运动特性,确定了不同射程导弹的分类依据。其次,针对HMM模型时序特性差异较小而引起的识别率低的问题,引入概率神经网络(PNN)与HMM模型相结合的结构算法,该方法整合了HMM模型的时间序列数据处理能力和PNN的自学习能力、贝叶斯决策理论,对不同射程导弹目标实现了分类识别。仿真实验结果表明该算法是一种有效的导弹目标识别算法,识别率优于传统的HMM模型方法,误判率较低,且易于工程实现。 展开更多
关键词 HMM-PNN模型 助推段弹道模型 时序特征 目标识别
下载PDF
超宽带冲激无线电中跳时序列的构造 被引量:1
6
作者 张振宇 曾凡鑫 +1 位作者 葛利嘉 施志勇 《重庆邮电学院学报(自然科学版)》 2003年第3期9-13,共5页
超宽带冲激无线电 ( U WB- IR:ultra wideband impulse radio)是当前军事通信和民用短距离高速无线通信的一个新的发展方向 ,它的一种主要的实现方式是跳时扩谱冲激无线电 ,跳时技术是它的重要组成部分 ,跳时序列性能的好坏直接决定了... 超宽带冲激无线电 ( U WB- IR:ultra wideband impulse radio)是当前军事通信和民用短距离高速无线通信的一个新的发展方向 ,它的一种主要的实现方式是跳时扩谱冲激无线电 ,跳时技术是它的重要组成部分 ,跳时序列性能的好坏直接决定了整个系统的性能。正是基于这种背景之下 ,该文系统地综合分析了现有的性能优良的跳时序列 。 展开更多
关键词 超宽带冲激无线电 跳时序列 相关性能
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部