论文部分内容阅读
Research on Technology of Formal Analysis and Verification for Smart Contract-Based System
【机 构】
：
兰州理工大学
【出 处】
：
兰州理工大学
【发表日期】
：
2021年期
【基金项目】
：
其他文献
基于高轨照射源的双基合成孔径雷达(Synthetic Aperture Radar, SAR)，采用高轨SAR卫星(GEO SAR)作为照射源、机载或低轨卫星(LEO SAR)等平台作为接收站，是一种新型的双基SAR体制，具有照射波束覆盖范围广、双多基构型灵活、接收站反侦测能力强等优势，在军事和民用领域具有十分重要的应用价值。 GEO双基SAR的分辨能力与双基构型、回波特性、成像算法，是实现成像
学位
自适应光学(Adaptive Optics，AO)技术通过改变波前校正器相位来补偿入射畸变波前，从而改善光学系统的性能，被广泛应用于天文观测、激光通信系统、视网膜成像、激光光束净化等光学系统。AO系统作为有效的主动补偿技术，虽然在各领域取得了很好的校正效果，但传统闭环控制方法将AO控制系统视为线性时不变系统，这使得传统控制方法无法处理各类误差带来的不确定性，无法发挥系统潜力获得最优性能。本文从传统
学位
谱估计与谱感知技术是信号处理与无线通信领域的研究热点。该技术基于原始信号的有限观测样本，旨在对原始信号的频谱或空间谱进行估计或感知。例如，宽带频谱感知是认知无线电(Cognitive Radio, CR)中的一项关键技术，其旨在对大带宽下一系列窄带信源的频域分布情况进行掌握。若以传统方式实现宽带频谱感知，则无线信号接收机需要对接收到的模拟信号以奈奎斯特速率进行采样。当感知带宽到达一定数量级时，例如
学位
本文对音频数字水印技术进行了研究,在以下两方面作了创新:水印算法方面,提出了一种基于心理声学模型的小波包域音频数字水印方案;音质评价标准方面,提出了一种基于心理声学模型的音质评价标准.在水印算法方面,根据HAS模型,计算载体音频信号的掩蔽阈值,并利用人耳听觉的临界频率与小波包子带间的相似特性,将DFT域掩蔽阈值映射到小波包域,然后将水印信号嵌入到中低频小波包系数中,嵌入强度由掩蔽阈值自适应控制.在
学位
本论文包括如下内容:首先,介绍了数字水印研究的背景,然后,提出了两种数字水印方案:一种是基于人类视觉特性的图像数字水印算法,利用视觉熵对块进行分类的DCT域自适应水印算法,对"不可感知性"和"鲁棒性"两个主要性能进行折衷,该水印算法对常用的图像处理、噪声干扰以及打印扫描处理有很好的鲁棒性;另一种是基于均值量化的DWT域脆弱水印方案,这种水印技术采用了均值量化的方法把数字水印嵌入到图像的离散小波域,
学位
入侵检测系统的关键在于其安全模式规则的准确性.网络系统中存在大量的审计数据,这些审计数据中含有许多与安全有关的信息.由于这些审计数据非常庞大,因此采用数据挖掘技术从中进行安全模式的提取.该文研究了如何对审计数据进行数据挖掘,描述了全套的步骤.传统的由安全专家手工构造入侵检测规则的方法在新攻击频繁出现的今天越来越暴露其工作量大、响应慢的局限性.利用数据挖掘对海量数据进行挖掘,得出入侵模型后由系统自动
学位