随着时代的不断发展,计算机软硬件系统的复杂度不断提高,形式化验证在计算机科学中的应用也越来越广泛。互模拟作为软件形式化验证......

计算机视觉是用计算机去实现人类的视觉功能,来实现对周围三维场景的感知、识别和理解。立体视觉作为计算机视觉的一个重要分支,其......

雨生红球藻(Haematococcus pluvialis)和寇氏隐甲藻(Crypthecodinium cohnii)是两种重要的价值微藻。其中,雨生红球藻是天然虾青素......

随着我国建筑业的蓬勃发展，对建筑物质量也提出了更高的要求，超声波检测作为一种非常实用的无损检测手段得到了不断的应用，特别是在建......

投资组合选择问题是现代金融学的一个重要组成部分，主要研究如何在各种可供选择的金融产品中，对投资者持有的资产进行合理的配置，使得......

NP难问题在工程领域存在大量应用,研究求解此类问题的方法具有重大的理论意义和实际应用价值.本文研究一类NP难的圆形几何布局优化......