下载频道  >  weixin_38687539的资源
  • Coq数学定理的机器证明系统– Hausdorff最大原理和Zermelo假设的机器证明

    Coq数学定理的机器证明系统– Hausdorff最大原理和Zermelo假设的机器证明

    2021-03-01
    5
  • 基于复数域网络编码的下行传输方案设计

    <span xss=removed>为进一步提高无线中继网络的信息传输速率,提出了一种基于复数域网络编码的有效下行传输方案。不同于传统的信息传输方案,该下行传输方案采用时间维复数域网络编码,中继节点对接收到的多个时隙的信源符号进行复数域网络编码并将编码符号同时发送给用户节点。用户节点接收到所有中继节点的编码符号,采用联合最大似然多用户检测恢复信源符号。性能分析和仿真结果表明,该下行传输方案的符号错误概率明显低于传统中继传输方案,且该方案将获得更高的信息传输速率和网络吞吐量。</span>

    2021-03-01
    5
  • 如何重构代码-简单、灵活的实现对象复制

    前两篇(思路和方法、重构计划)从大的方面上谈了关于重构的话题,这次从小的代码上来看。我们来看下一个的代码如何从简单到复杂,然后重构这些代码。单个对象复制在初步的需求中有个很简单的业务,就是定义销售合同,并且合同中可以配置产品设备数据,如下:其中有个业务功能就是需要对已经存在的销售合同进行复制、剪贴和粘贴的工作。对于程序来说,它其实就需要实现IClone接口就可以了,代码/// <summary>/// 复制/// </summary>public object Clone(){    TestObj copiedObj = new TestObj();    copiedObj.Parent 

    2021-02-27
    5
  • 含Yb / Er(Tm):NaLuF4纳米晶体的相分离控制结晶玻璃陶瓷中增强的上转换发光

    镧系元素激活的立方NaLuF4纳米晶体从具有特殊设计组成的硼硅酸盐玻璃中沉淀出来。 前体玻璃在熔融淬火后已经相分离,这有利于实现可控的玻璃结晶,以提供所需的尺寸,形态和活化剂分配。 使用Eu 3+作为结构探针,通过激发/发射和时间分辨光谱证明了镧系元素活化剂在NaLuF4晶格中的分配。 结果,这种掺有Yb 3+ / Er 3+ (或Yb 3+ / Tm 3+ )活化剂的玻璃陶瓷表现出强烈的上转换发光,比相应的高约10,000(或2000)倍。前体玻璃,归因于富含纳米晶体的镧系元素离子的低声子能量环境以及有效的Yb 3+ -Er 3+ (或Yb 3+ -Tm 3+ )离子间相互作用。 可以预期,这种对玻璃陶瓷纳米结构进行精确控制的相分离合成策略为设计其他具有宽范围可调光学性能的高度透明的纳米复合材料提供了巨大的机会。

    2021-02-26
    5
  • 在0-g纯超长态Cs2分子的长程旋转静涡流水平振动水平的实验确定

    在0-g纯超长态Cs2分子的长程旋转静涡流水平振动水平的实验确定

    2021-02-26
    5
  • Linux平台QT开发环境搭建

    直接下载使用我上面提供的编译好的Qt库,需要正确配置才能正常使用。可能出现的问题:问题1:移入我编译的QT库至Ubuntu下的QTCreator中时,可能QTCreator中会提示“Qtversionisnotproperlyinstalled,pleaserunmakeinstall”的问题。该提示就是说,Qt没有被正确安装,请运行makeinstall这个问题是比较常见的一个。出现此问题的原因就是:qmake.exe是在Qt安装编译时生成的,里面内嵌了Qt相关的一些路径。如果直接拷贝过来使用,自己的路径结构与原来不同,则Qt库就不能正常使用。提示就是Qtversionisnotproper

    2021-02-24
    5
  • 关于最小化概率和量子自动机的复杂性

    关于最小化概率和量子自动机的复杂性

    2021-02-24
    5
  • 美空军LVC训练系统集成策略浅析

    本文主要介绍了美空军LVC训练系统的概念与内涵、操作标准、集成系统策略及应用案例等。来自于沈阳所扬州院,由火龙果软件Linda译、推荐。众所周知,飞行员在和平时期开展空战训练是提高其空战技能最有效的方式,飞速发展的仿真技术为参训成员提供了经济高效的训练模式,使部队保持高度战备状态。美空军基于多种网络技术和协议标准/架构,将已有真实的(Live,L)、虚拟的(Virtual,V)、构造的(Constructive,C)系统/武器装备进行集成,构建了LVC训练系统,主要目的是使参训成员能够像作战一样进行训练,有效缩短空战人员的观察-判断-决策-执行(OODA)循环,同时大幅度降低空战训练效费比。美

    2021-02-24
    5
  • 衬底温度对掺锆酸钡高温超导YBCO薄膜结构和超导电性能的影响

    高温超导氧化物YBCO 外延薄膜在掺入少量锆酸钡(BaZrO3 ,BZO) 后,其超导性能会得到较大幅度的提高。研究了不同衬底温度对掺BZO 的YBCO 薄膜的外延特性及超导性能的影响。以固相反应法制备了YBCO 及BZO 原材料,利用固相烧结工艺制备了BZO 含量为2 %(质量分数) 的YBCO2BZO 复合靶材,采用脉冲激光沉积技术( PLD) 在LaAlO3 (100) 基片上外延生长YBCO 薄膜。以不同的衬底温度制备了YBCO 薄膜,用X 射线衍射和高分辨透射电子显微技术对所制备的YBCO 薄膜的外延特性进行了分析。最后比较了在不同衬底温度下制备的YBCO薄膜的超导性能,得到了最佳衬底温度。

    2021-02-23
    5
  • 基于结构光的多投影显示系统图像对准算法

    为了解决多投影显示系统的图像对准问题,提出了一种基于结构光投影技术的对准算法.该算法通过求取等相位线的交点来建立投影机图像与相机拍摄图像间的映射关系,对于投影机图像上任一像素点,有水平和垂直2个相位值.在相机图像的水平相位展开图中找出与该点水平相位值相等的离散坐标点的位置,拟合出一条水平等相位线,同理,可以得到它的一条垂直等相位线;求出水平和垂直等相位线的交点,即为该点对应于相机图像中的像素点.该算法无需知道显示墙的解析表达式和相机的内部参数,适用于任意光滑的曲面显示墙.对准后图像与原始图像的对比实验表明:峰值信噪比达到27.904,结构相似度为0.972 4,说明该算法能有效提高图像的对准精度.

    2021-02-23
    5
  • 至尊王者

    成功上传501个资源即可获取
关注 私信 TA的资源