不确定型逻辑程序的综合

本文提出了基于演绎和知识相结合的通过构造性证明综合程序的方法,进而讨论了不确定型逻辑程序的综合和自动综合的有关问题。用append程序的综合展示了这些方法。     

高光谱图像的同步彩色动态显示

高光谱数据的CMF加权封装方法是目前由高光谱数据获取近真彩色图像的主要方法,同时也因其计算简便而受到广泛关注。针对CMF图像分辨率较低问题进行改进,加入时间维,采用位移循环加权方法,变静止图像为动态图像,建立了一种适用于高光谱图像的同步彩色动态显示模型,使观察者在相同观察时间内获得尽可能多的信息。实验表明,生成的图像不仅能够产生接近于真彩色的图像,而且使得不同地物呈现不同色彩和不同的色彩变化率,增强了视觉感官效果。同时该方法也满足计算简便这一设计目标,适用于对高光谱数据进行实时性观察。     

于桥水库大坝坝基质量分析及评价

在分析于桥水库大坝坝基地址条件的基础上,通过对大坝设计、施工、勘探试验资料、安全监测与隐患探测资料的分析,揭示了在特定区段或坝基存在渗流安全隐患的问题,为做好水库大坝坝基处理提供了参考。     

约束系统优化控制的LMI方法及其滚动时域实现

研究了系统存在控制量约束时的优化控制问题.在线性矩阵不等式(LMI)优化和多目标控制的框架下,融合预测控制的滚动优化原理提出了一种滚动时域H∞性能控制方法.通过滚动优化在线协调控制性能要求和系统约束,充分利用有限的控制量提高控制性能.     

EPLD在LED大屏幕扫描电路中的应用

介绍了LED大屏幕扫描电路的设计方法,阐述了可编程逻辑器件在高速数字系统应用中的优点.给出了Altera公司的EPM7128芯片的应用实例和编程方法.     

Speed-up for N-FINDR algorithm

N-FINDR is a very popular algorithm of endmember (EM) extraction for its automated property and high efficiency. Unfortunately, innumerable volume calculation, initial random selection of EMs and blind searching for EMs lead to low speed of the algorithm and limit the applications of the algorithm. So in this paper two measures are proposed to speed up the algorithm. One of the measures is substituting distance calculation for volume calculation. Thus the avoidance of volume calculation greatly decreases the computational cost. The other measure is resorting dataset in terms of pixel purity likelihood based on pixel purity index (PPI) concept. Then, initial EMs can be selected well-founded and a fast searching for EMs is achieved. Numerical experiments show that the two measures speed up the original algorithm hundreds of times as the number of EMs is more than ten.     

基于NS2的组播路由协议实现及仿真

组播是一个源节点将同一信息传送到多个目的节点的通信方式,IP组播技术减少了网络不必要的带宽开销、网络资源的消耗以及大大减轻了源主机的负担。网络仿真是网络研究者验证网络协议在各种情况下是否具有健壮性和可靠性的有效手段。NS2是面向对象的大型离散事件仿真器,它不仅能实现复杂的网络数据传输和拓扑结构的仿真,还能近乎真实地模拟各种IP网络环境。用NS2实现了一个20个节点网络拓扑的组播路由协议PIM—SM仿真,并获取数据对PIM—SM组播网络性能进行了分析。仿真结果表明了组播网络性能的优越性。     

HHT在电网谐波分析中的应用研究

Hilbert-Huang变换(HHT)以经验模态分解(empirical mode decomposition,EMD)为理论基础,尤其适用于强干扰背景下的瞬时有用信号的提取.本文以某10 kV电力母线谐波实测数据为基础,研究HHT在谐波电流分析中的应用.对10 kV电力母线谐波电流信号应用EMD分解得到的固有模态函数IMF(Intrinsic Mode Function),与小波分析结果相比较表明,HHT能够从复杂的背景谐波中获得较为理想的无畸变谐波信号.     

从端元选择到光谱解混的距离测算方法

提出了基于支持向量机(SVM)的单纯形增长算法(SGA)新实现方法,该方法无需降维预处理,且采用低复杂度的距离尺度代替复杂的体积尺度;证明了线性SVM与传统线性光谱混合模型(LSMM)在光谱解混中的等效性,并探索了前者在信息的扩展利用和模型的非线性推广两方面的优势.实验结果表明,基于SVM的SGA实现方法在保证选择结果不变的前提下复杂度大大降低,SVM模型下解混精度明显提高.