并行程序验证的调度策略

针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法。通过引入依赖图和依赖集概念,以形式化方式描述程序语句间的依赖关系,然后给出了从语法分析树构造依赖图和依赖集的算法;最后在此基础上设计了并行调度算法并应用于计算机辅助程序验证系统。实验结果表明,该方法具有较高的并行效率。     

零极点配置智能PID控制器在系统控制中的应用

为解决未知系统的PID控制问题,根据PID控制及零极点配置控制理论,详细讨论了零极点配置PID控制器、智能PID控制器的构成过程.该控制器结构简单,实用性强,控制器的阶数仅与被控系统的传递函数分子多项式阶数m有关,而与分母多项式阶数n无关,可以用低阶控制器控制高阶系统,通过大量的仿真试验研究,说明该智能控制器具有良好的自适应性和鲁棒性.     

跨尺度混合注意力的遥感图像超分辨率重建

为了解决现有遥感图像超分辨率重建模型对长期特征相似性和多尺度特征相关性关注不足的问题, 提出了一种基于跨尺度混合注意力机制的遥感图像超分辨率重建算法. 首先提出了一个全局层注意力机制(global layer attention, GLA), 利用层注意力机制加权融合不同层级的全局特征, 建模低分辨率与高分辨率图像特征间的长期依赖关系. 同时, 设计了跨尺度局部注意力机制(cross-scale local attention, CSLA), 在多尺度的低分辨率特征图中寻找与高分辨率图像匹配的局部信息补丁, 并融合不同尺度的补丁特征, 以优化模型对图像细节信息的恢复能力. 最后, 提出一种局部信息感知损失函数来指导图像的重建过程, 进一步提高了重建图像的视觉质量和细节保留能力. 在UC-Merced数据集上的实验结果表明, 本文方法在3种放大倍数下的平均PSNR/SSIM优于大多数主流方法, 并在视觉效果方面展现出更高的质量和更好的细节保留能力.     

全台网非线性编辑设备选用与研究

分析了中小电视台在构建高效、实用的非编网时需要考虑的问题,根据实际情况阐述了非编设备的选用要求,并对实现的非编网络系统进行了介绍.     

高压旋喷工艺中喷射流切割效果影响因素的研究

高压旋喷工艺中高压喷射流对土体介质的切割破坏是其核心技术,但以往对该问题的认识与研究仍然停留在定性阶段.借助物理模拟试验和数值模拟两种手段,对影响高压喷射流的切割效果有关因素进行了定量研究,得出了有益的结论,研究思路与成果可为同类问题提供借鉴与参考.     

一种基于模式的集中控制软件架构的设计

为适应各种控制管理类系统的发展,传统的软件设计开发方式已不能满足需求。为此,研究并设计了一种基于模式的集中控制系统软件架构。实际应用结果表明,该软件架构具有较强的可复用性和扩展性。     

一种LabVIEW环境下的语音跟踪系统

针对室内应用场合,提出了一种基于时延的传声器阵列定位模型.该模型由4个三角阵列组成并根据每个阵列的估计角度按面积逼近方式求得说话人的位置.最后在LabVIEW环境下给出了系统实现方案.实验结果表明,该系统能弥补传统基于时延的定位方法在测距性能上的不足,对说话人进行有效跟踪定位.     

基于粒子熵的参数自适应变异PSO算法研究

为了避免普通粒子群算法（PSO）可能出现的局部收敛及精度不高现象,围绕影响PSO算法性能的两个重要参数[w]和[pgd],提出了一种面向全局优化的参数自适应变异PSO改进算法。算法定义了粒子熵集概念,可以精确反映粒子群数据的全局聚集特性,由粒子群各维数据的熵值大小决定是否对各维数据的惯性权重[w]进行回归变异,对全局变量[pgd]进行随机变异,并采取引入变异次数因子等方法来避免寻优发散。仿真研究表明该算法比常用算法在寻优精度、摆脱局部陷阱、稳定性等方面均有明显提高,在求解复杂多峰问题上有着良好的表现。     

面向科学基金管理数据数据仓库概念模型设计

国家自然科学基金委员会在促进科技进步方面正发挥着越来越多的作用。多年来,国家自然科学基金委员会产生大量的数据,为便于更好地管理和理解数据,建立数据仓库就非常有必要。利用面向对象的概念模型建立了国家自然科学基金委员会管理数据数据仓库,并通过数据仓库的建立以及面向科学基金管理数据的展示系统的建立验证了模型。     

TA-chord2:基于分层DHT的拓扑感知流媒体体系

针对目前DHT系统较高的维护开销、应用层网络与物理网络的拓扑失配等不足,提出一种基于分层DHT的拓扑感知流媒体体系TA-chord2。分层的设计使节点根据其服务能力对系统做出相应的贡献;PNS原则和Vivaldi坐标减少了节点的查询延迟和媒体数据的传播延迟;多个邻近的供应者同时给一个请求者提供流服务,提高了流媒体系统的传输效率和服务质量。实验仿真结果表明该体系有更低的维护开销、更好的路由性能和更高的服务效率。