在复杂构件化软件的设计和实现过程中,由于安全属性的可组合性难以实现,使得系统整体的安全需求难以得到有效保证,因而安全属性的规约和验证问题是构件化软件开发过程中关注的关键问题.针对当前构件化软件设计过程中,信息流安全属性仅局限于二元安全级格模型的问题,在现有安全接口结构基础上提出广义安全接口结构,在广义安全接口结构上定义精化关系,并利用这一精化关系定义了能够支持任意有限格模型的基于安全多执行的无干扰属性,首次将安全多执行的思想应用于构件化系统的信息流安全属性验证.使用Coq定理证明工具实现了接口自动机程序库以及对精化关系的判定过程,并用实例验证说明了无干扰属性定义的特点及判定方法的有效性.
2021-03-28 17:07:05
1.78MB
1
作为小波变换和短时傅里叶变换的继承和发展， S 变换采用高斯窗函数且窗宽与频率的倒数成正比，免去了窗函数的选择和改善了窗宽固定的缺陷，并且时频表示中各频率分量的相位谱与原始信号保持直接的联系，使其在 PQD 分析中可以采用更多的特征量，同时， S 变换提取的特征量对噪声不敏感，因此，近年来众多学者纷纷采用 S 变换并结合其他分析工具应用于 PQD 的分析，产生了大量研究成果。
2021-03-28 10:08:43
2KB
1
为保证煤矿补偿设备的精确稳定补偿,需要准确、快速地跟踪电网电压,所以锁相技术对煤矿补偿设备极为重要。在传统基于二阶广义积分器单相锁相环的基础上,提出了一种采用三阶积分模块,对整个系统进行离散化。该改进的二阶广义积分器配合瞬时无功功率理论的单相锁相环,提高了单相锁相环的整体性能和精度。通过仿真与实验验证了该方法的有效性。
2021-03-24 08:56:50
312KB
1
现有的信道估计算法大多是基于高斯噪声模型假设。然而在实际无线通信环境中，常常出现脉冲噪声使得噪声不再满足高斯模型，而是满足一种广义高斯分布（GGD）噪声模型。采用传统的自适应信道估计算法（如递归最小二乘（RLS）算法）无法抑制这种非高斯噪声的干扰。对此提出一种可抑制非高斯噪声干扰的RLS信道估计算法。该算法通过在标准RLS算法中引入两种稀疏约束函数（L1-范数和L0-范数）来有效地挖掘稀疏结构信息。通过蒙特卡罗仿真，验证了提出的信道估计算法的估计性能比标准RLS算法更好。
2021-03-21 14:34:09
536KB
1
针对来波信号功率不同情形下的波达方向估计问题,构建广义斜投影算子自适应抑制接收数据中非期望方向的接收信号,同时自适应调节空间谱加权系数,平衡强弱信号的空间谱峰。通过干扰抑制和空间谱估计的同步处理,实现信号源波达方向(direction of arrival,DOA)的高分辨估计,且避免弱信号的谱峰被强信号谱峰遮盖的问题。理论分析与仿真表明,所提方法在信号功率不同时,对弱信号的DOA估计具有更强的鲁棒性,可有效地实现对不同方向来波信号的高分辨DOA估计,降低信号功率不同带来的影响。且随着快拍数及信噪比的增加,DOA估计方差逐渐逼近相应的克拉美罗界下限。
2021-03-16 18:10:25
435KB
1
流行的强度-色相饱和度（IHS）泛锐化方法可以在遭受某些光谱失真的同时提供较高的空间质量，这主要是因为它无法估计准确的强度图像来替代IHS空间中的原始强度图像。 为了克服这一缺点，本文特别采用变分互补数据融合的建模思想，提出了一种在广义IHS（GIHS）变换域中采用变分Hessian转移的新型高效泛锐化方法。更准确的强度图像。 更具体地说，所提出的方法的新颖性在于在GIHS变换域中建立变分的Hessian传递模型，以将基于Hessian的全色（Pan）图像的空间几何信息传递到新的强度图像，同时考虑到保留光谱信息。 最后，实验结果证明了该方法的有效性，与某些最新方法相比，该方法具有更高的光谱和空间质量以及更高的效率。
2021-03-15 16:08:37
2.47MB
1
20170622-华泰证券-华泰人工智能系列之二：人工智能选股之广义线性模型.pdf
2021-03-15 12:12:43
2.56MB
1