不确定型逻辑程序的综合

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

高温季节泵站大体积混凝土温控技术措施

排涝泵站为现浇大体积钢筋混凝土结构,除必须满足强度、耐久性、抗渗性和稳定性的要求外,防止混凝土因水泥水化热引起的温度差所产生的温度应力裂缝是大体积混凝土施工要点。以实际工程为例,对大体积混凝土施工工艺进行了详细介绍,从结构设计、原材料选择、配合比、施工安排、施工质量、混凝土温度控制、养护和表面保温等方面采取了综合控制措施。实践证明,可有效控制混凝土裂缝的产生,施工效果良好。     

基于相关向量机的高光谱图像解混方法

针对传统的高光谱数据解混方法中存在的解混精度不高、丰度图模糊的缺陷,提出一种基于相关向量机的高光谱图像解混方法(unmixing algorithm based on relevance vector machine,UARVM)。其核心思想是采用改进的一对余型的相关向量机将多分类问题转化为多个二分类的问题,且求取出每个样本所对应的归属类别的概率值,即丰度值来完成图像的解混。理论研究和仿真结果表明:相对于传统解混方法,UARVM解混精度高,丰度分布图效果好。     

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

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

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

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

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

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

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.     

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

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

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

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