基于高斯字典原子稀疏表示的高精度宽角SAR成像方法

为了提高从宽角合成孔径雷达(synthetic aperture radar, SAR)图像中提取目标后向散射各向异性特性的性能,在宽角SAR字典稀疏表示模型的基础上,提出一种基于高斯字典原子的高精度宽角SAR成像方法。在字典构造上,采用不同中心位置、相同方差的高斯函数。在求解稀疏表示系数上,采用广义最小最大凹惩罚稀疏重构算法求解。最后，根据稀疏表示系数的重构结果以及构造的字典得到目标的后向散射各向异性特性。通过仿真实验和Backhoe数据对算法进行验证,结果表明,该方法能够高精度地提取目标的后向散射各向异性特性。     

煤矿瓦斯抽采泵站自动化系统的研究与应用

我国煤矿多为井工开采,瓦斯灾害严重,特别是贵州省。目前,瓦斯抽采泵站仍以人工操作为主,效率低下,监管难度大,安全生产压力巨大。本文以贵州豫能轿子山煤矿为例,对该矿瓦斯抽采泵站实施自动化改造,使得瓦斯抽采泵站可以自动化抽放泵站环境瓦斯。同时,实时监测抽放流量、抽放瓦斯浓度、温度和管道压力等数据,利用视频进行实时监控。另外,集控室可以远程控制现场设备,实现无人值守,大大提高了该矿瓦斯抽采效率及管理水平。     

六角螺系统的 Harmonic 指标

图G的 Harmonic指标定义为图G 中所有边uv 的权重2du＋dv 的和，用 H（G）表示；二阶Harmonic指标被定义为图G中所有二长路uvw的权重3du＋dv＋dw 的和，用2H（G）表示；其中du表示G中点u的度数。该文研究了六角螺链和六角螺系统的 Harmonic 指标，发现它们的极图不唯一。通过研究二阶 Harmonic指标，确定了六角螺链的极图，发现六角螺系统的极图是一类特定的图。并且找到一个关于Harmonic 指标的极图和二阶 Harmonic 指标的极图的关系。最后，提出一个关于 Harmonic 指标的开放新问题。     

霍比特人3:五军之战

<正>中土系列最后问世的一部电影——《霍比特人3:五军之战》终于上映了。从承上启下的意义上来讲,它像一块色泽璀璨的拼图,最终被嵌入两大三部曲中间后,一幅中土世界的雄伟蓝图便完整铺展在了眼前:111岁的比尔博是如何与甘道夫白首相见,甘道夫与凯兰崔尔有着怎样的难舍情愫,精灵和矮人的世纪基情为何缘定前生……整个六部电影的故事脉络变得通透明白,绝大部分人物都将在战场上相会。《霍比特人3》的副片名原本     

单自由度状态下SMA-KBF耗能减震能力研究

SMA和隅撑支撑(KBF)分别为近些年发现的有超弹性力学性能的一种金属材料和新型结构框架,并被国内外学者广泛关注,应用在了很多的工程试验中。以此为基础该文的主要研究在地震荷载下,通过实验模拟SMA阻尼器隅撑构件的耗能以达到结构减震的目的。     

煤与瓦斯突出过程中温度变化的实验研究

介绍了通过实验方法测定在煤与瓦斯突出过程中的温度变化，测定结果证实了在煤与瓦斯突出过程中，瓦斯的膨胀做功过程并非绝热过程，而是一个接近于等温过程的多变过程。     

Banach空间中二阶Volterra型积分微分方程边值问题解的存在性

利用上、下解法在正规锥上证明了二阶非线性Volterra型积分微分方程边值问题解的存在性。     

集成电路设计产业产品创新趋势研究——国际片上系统（SOC）IP核发展现状及对策分析

基于国际集成电路设计产业的分析，系统阐述了国际SOCIP核的发展状况，指出SOC设计将是集成电路设计企业技术创新的发展方向。提出了一些国际SOCIP核发展的对策，包括口核标准化、SOC技术平台开发及加强与Foundry的合作。     

三对角方程组行处理法并行算法模拟

给出一个串行模拟在分布式存储ＭＩＭＤ一级３叉树机上求解任意三对角线性代数方程组的分布式迭代算法的Ｃ语言程序。