分布式通用测试结构的形式化研究

随着分布式系统的不断发展更新,ＣＴＭＦ（ＩＳＯ／ＩＥＣ９４６４）所给出的测试方法不能满足的需要。提出了用于分布式系统的一致性没试互操作测试和性能测试的通用测试结构 ,并建立了用测试结构和形式化模人出了各部件的操作语义,为设计开发具有灵活动态的通信结构的分布测试系统提供了理论基础和依据,分布式系统通用测试结构扩展,当前基于被测系统类型的测试方法,它可以对实际的分布式系统进行整体测试。     

TMN中网元即插即用接入方式的研究

在ＴＭＮ系统中,网元具体的接入方式没有规范可遵循。提出了一种网元即插即用的接入方式,并详细阐述了其实现原理和方法。     

格空间上算子方程组新的不动点定理

在u0-r完备Archimedean型向量格中利用半序的方法研究了一类带有次线性扰动的算子方程组,在非紧非连续的假设下证明了不动点的存在唯一性,并给出了迭代误差估计式.     

基于状态空间精细积分法的闸室底板 结构动力响应分析

基于瞬时势能原理建立闸室底板结构动力微分方程,利用控制论中的状态空间理论对动力方 程进行降价处理,把精细积分法与高斯数值积分法结合起来,分析闸室底板的动力响应量,形成状态 空间精细积分法,在计算过程中,不解线性方程组,程序简单,效率高。算例表明本文方法是可靠与 有效的。     

始终将支持水利改革发展摆在财政支农工作的重要位置

过去的10年,是我国水利事业实现跨越发展,水利公共服务水平明显提升的10年,也是公共财政对水利投入显著增长,财政支持政策逐步完善的10年.中央财政始终将支持水利改革发展作为加快转变经济发展方式的重要抓手和促进粮食稳产增产的重要措施,大幅度增加投入,完善支持政策,推动深化改革,加强资金监管,为水利事业又好又快发展提供了有力支撑.     

改进的二维典型相关分析及其人脸识别应用

针对二维典型相关分析(2DCCA)中类标矩阵维数较大及算法耗时过多的问题,提出一种改进的2DCCA特征提取方法。利用图像的频谱性质定义低维的类标矩阵,从有利于模式分类的角度构造出新的准则函数,采用二维主成分分析对所得特征进一步降维,得到更具分类判别能力的低维特征。在ORL和组合人脸数据库上的实验结果表明,该特征具有较好的分类能力。     

基于机器视觉的工业产品表面缺陷检测算法研究

目前机器视觉在工业产品缺陷检测中的应用越来越广泛,针对目前常用的几种非纹理图像缺陷检测算法进行了研究分析,结合纸杯表面的缺陷特征,针对模板匹配法提出了两种改进的方法,即统计平均差影法,粗放型灰度相关法。最后进行了试验分析比较,检测结果达到了预期效果。     

基于SWE的网络通告服务研究与实现

传感观察服务是无线传感器网络中的核心服务之一。文章首先基于SWE详细分析了网络通告服务应完成的核心操作,然后重点阐述了基于SWE的网络通告服务原型系统的设计,包括系统的数据交互和系统体系结构,并针对WNS体系结构的每层设计做了进一步说明,最后基于一个红外楼宇监控无线传感器网络实现了一个WNS原型系统,并进行了实验,实验结果表明该原型系统中实现的WNS核心操作能够较好地完成网络通告服务。     

控制能量约束时不稳定过程最优控制与仿真

在最优控制问题的研究中,工业过程控制领域中不稳定系统的控制难度比较大,且在许多控制系统设计中控制能量可能成为重要的性能指标。对控制能量存在约束时不稳定过程的最优控制问题进行了研究与仿真,优化问题的难点在于性能指标的表示与最小化。首先基于不稳定过程的互质分解,由敏感度函数和控制敏感度函数定义了一个包含跟踪误差和控制能量在内的性能指标,采用谱分解最小化该性能指标,从而为不稳定系统导出了一种最优的控制器设计方法,可使系统获得最优的控制性能。仿真结果进一步说明了方法的有效性。     

NJG型真空激光准直系统在山口水库大坝监测中的应用

本文在介绍NJG型真空激光准直系统工作原理、系统组成、主要性能及技术指标的基础上,对该系统在山口水库运行阶段大坝变形监测资料进行了分析,得出结论：应用NJG型真空激光准直法监测大坝变形,能够实现水平和垂直位移同步自动监测,精度高,故障率低,便于维护,具有推广价值。