OFDM系统相关矩阵的分块结构及同步算法

根据载波加权可增强OFDM系统周期平稳性,实现系统盲同步的基本原理,分析了OFDM系统相关矩阵的分块结构,给出相应系统的盲同步算法.该方法通过检测相关矩阵的分块Toep litz矩阵结构,实现系统定时和载频偏差的估计.同时,在特定系统同步性能交换误码率的情况下通过分析载波加权、系统误码率和载频同步误差之间的互相制约关系,进一步给出了载波加权的确定方法.实验仿真结果表明,采用分块相关矩阵的同步方案与采用循环谱的同步方案相比,可获得更好的系统载频和定时同步效果.     

关于某些特殊分块矩阵的群逆

分块矩阵的广义逆不仅在数学理论上有广泛研究而且在自动控制、系统理论、概率统计、数学规划等领域有着广泛的实际研究背景.该文对形如[A B/C 0]分块矩阵的群逆的表达式问题进行了研究.设P是复数域上的幂等阵.令矩阵A,B,C取自集合{P,PP*,PP*P },则可以得到27个形如[A B/C 0]的分块矩阵.给出了这27个分块矩阵群逆的存在性与表示形式.     

Optimal binary codes and binary construction of quantum codes

This paper discusses optimal binary codes and pure binary quantum codes created using Steane construction. First, a local search algorithm for a special subclass of quasi-cyclic codes is proposed, then five binary quasi-cyclic codes are built. Second, three classical construction methods are generalized for new codes from old such that they are suitable for constructing binary self-orthogonal codes, and 62 binary codes and six subcode chains of obtained self-orthogonal codes are designed. Third, six pure binary quantum codes are constructed from the code pairs obtained through Steane construction. There are 66 good binary codes that include 12 optimal linear codes, 45 known optimal linear codes, and nine known optimal self-orthogonal codes. The six pure binary quantum codes all achieve the performance of their additive counterparts constructed by quaternary construction and thus are known optimal codes.     

基于安全协议代码的形式化辅助建模研究

随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方案。首先,使用污点分析获取协议的通信流程,并且记录密码学原语操作;然后,根据通信流程之间的序列关系构建协议通信状态机;最终,根据目前主流的安全协议形式化分析工具Tamarin的模型语法生成形式化模型。实验结果表明,此方案可以生成形式化模型中的关键部分,提高了形式化建模的自动化程度,为形式化分析技术的推广作出贡献。     

基于物联网技术的小波域分块压缩感知算法的图像重构系统设计

针对低照明度重构图像分辨率不高、重构时间长的问题,提出了基于小波域分块压缩感知算法的图像重构系统。建立低照明度图像采样模型,采用图像的景深自适应调节方法进行小波域分块压缩感知和信息融合处理。利用多尺度的Retinex算法进行小波域分块压缩感知和信息提取,提取图像的信息熵特征量。采取图像自适应增强方法进行低照度图像增强处理,使用物联网技术进行低照明度图像的三维信息重构,结合细节增强方法进行低照度图像增强处理,完成重构系统设计,实现透射率图的轮廓检测和特征重构。仿真结果表明,采用该方法进行低照明度图像重构的分辨率较高,边缘感知能力较好,且重构耗时较短,实际应用效率较高。     

一种使用帧间差值的图像传感器片上视频压缩算法

为了减少图像传感器视频数据的输出,提出了一种通过编码相邻两帧之间差值的无损视频压缩算法.算法首先将基于差分脉冲编码调制原理的差分操作在模拟域实现,减小了电路的复杂度.然后两帧之间的差值被基于块的无损压缩方案编码.实验结果证明,压缩后的图像数据可以被无损失的还原.通过对7个具有代表性的8位深度1280×720@60 fps的样本视频进行测试,在块大小为4×4和模式切换阈值为63时实现了最佳的压缩效果.在几乎没有光的条件下压缩率高达78.5％.在复杂运动场景下该算法压缩率为43.5％.提出的压缩算法更适用于长时间处于静止场景的视频录制.     

代码搜索方法研究进展

开源软件的成功推动了软件产业的蓬勃发展,大量代码资源为代码搜索创造了条件.如何通过代码搜索技术找到需求代码成为一个重要问题.为了更好地推进后续研究工作,首先对代码搜索相关概念及研究趋势进行介绍和说明;其次对使用不同技术的代码搜索研究工作进行综述,包括基于信息检索、查询和代码描述增强、程序特征分类以及深度学习等方面,并进一步总结归纳不同方法的优缺点;接下来针对代码搜索技术所应用的多个领域进行介绍,包括程序合成、代码推荐与补全和代码风格改善等方面;最后分析现阶段代码搜索面临的主要问题,为未来该方向的发展提供一定的参考与建议.     

模型学习与符号执行结合的安全协议代码分析技术

符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上不可行。结合安全协议程序自身特点,提出用模型学习得到的协议状态机信息指导安全协议代码符号执行思路;同时,通过将协议代码中的密码学逻辑与协议交互逻辑相分离,避免了因密码逻辑的复杂性导致路径约束无法求解的问题。在SSH协议开源项目Dropbear上的成功实践表明了所提方法的可行性;通过与 Dropbear 自带的模糊测试套件对比,验证了所提方法在代码覆盖率与错误点发现上均具有一定优势。     

Risk reduction in Sechahun iron ore deposit by geological boundary modification using multiple indicator Kriging

Uncertainty on the geological contacts and the block volumes of the models along boundaries is often a major part of the global uncertainty of reserve estimation.This work introduces a geostatistical technique that has been developed and tested in an iron ore deposit at Bafq mining district,in central Iran,and that,based on a probability criterion,helps to objectively model the geometry of this iron ore deposit.The main problem in reserve estimation of this ore body is its geometrical modeling and uncertainty in geological boundaries.This work deals with the geostatistical method of multiple indicator kriging,which is used to determine the real boundaries of ore body in different categories.This approach has potential to improve project performance and decrease operational risk.For this purpose,the ore body is separated into two categories including rich iron zone （w（Fe）〉45%） and poor iron zone （20%〈w（Fe）〈45%）.It significantly benefits to decrease the risk of reserve evaluation in the deposit.This case study also highlights the value of multiple indicator kriging as a tool for estimates the position of grade boundaries within the deposit.Comparison of the resultant probability maps with the real ore/waste contacts on the extracted levels shows that the first indicator model could separate the whole ore body （poor plus rich） from the waste zone by probability of more than 0.35,which concludes the total reserve of 53 million tons.The second indicator model applied to separate the rich and poor domains and the results show that the blocks with the estimated probability of equal to or more than 0.4 lay within the rich ore zone consisting of 15.8 million tons reserve.     

塔里木盆地塔中Ⅱ区奥陶系油气差异富集模式

针对塔里木盆地塔中Ⅱ区奥陶系油气多相态共存、产能差异和富集模式认识不清的问题,采用油藏地球化学方法分析了奥陶系流体性质、分布特征及成因。油藏pVT相态分析认为存在凝析气藏与轻质油藏沿走滑断裂共存的现象,原油的成熟度参数显示为成熟阶段的产物,天然气碳同位素和烃类比值揭示组分为原油伴生气和原油裂解气的混合,金刚烷化合物及天然气分析显示中寒武统盐下原油裂解气的充注是奥陶系凝析气藏形成的重要原因。结合高精度三维地震解释发现油气分布受到走滑断裂的控制,马尾、翼尾、走滑断裂带与逆冲断裂交汇部位具有较低的原油密度和含蜡量,以及较高的气/油比、干燥系数、4-MDBT/1-MDBT比值等,为油气充注的有利通道,走滑断裂周期性开启与膏盐层封堵机制耦合控制了塔中Ⅱ区奥陶系油气成藏。综合研究认为,塔中Ⅱ区油气具有侧生邻储、走滑断裂垂向输导、沿走滑断裂富集的特征,多期点状油气充注是造成奥陶系油气差异分布的重要原因。走滑断裂控制了奥陶系油气富集,马尾地堑、翼尾地堑、走滑断裂带与逆冲断裂交汇构造部位仍有较大的勘探潜力,中寒武统膏盐层下可能发育大规模气藏,需要进一步关注。