一种序列线性方程组滤子算法的收敛性分析

笔者曾提出一种不可行序列线性方程组滤子方法.它将不可行无需二次规划(QP-free)方法与滤子技巧结合,可以避免罚参数的选取.只需求解两个具有相同系数矩阵的线性方程组以得到搜索方向.在一定程度上克服了序列二次规划方法的缺点.在以上算法的基础上,增加了一个同系数矩阵的线性方程组以计算二阶校正步,使得算法避免了Maratos效应.在一定的条件下,证明了该算法的局部超线性收敛性.     

一种基于密度的数据流检测算法SWKLOF

总结目前数据流在线检测算法的优缺点,提出了一种新的数据流在线检测算法—SWKLOF。该算法采用滑动时间窗口对数据流进行封装,用k-距离进行剪枝,剔除大部分正常数据,对剩余疑似异常数据采用局部离群因子LOF(local outlier factor)进一步精确筛选。理论分析和实验结果表明该算法降低了时间复杂度,提高了检测准确性。     

基于偏微分方程的户外图像去雾方法

户外图像的雾化往往导致色彩降质和对比度降低,有效的去除图像中天气效果对提高视觉系统的可靠性和鲁棒性具有重要意义。根据大气散射物理模型以及有雾图像的色彩与对比度降质同场景点的景深成指数关系的先验知识,分别建立了户外图像全局去雾和局部去雾的能量最优化模型,推导了相应的求解偏微分方程。利用用户提供的简单附加信息,实现了仅从单幅图像恢复清晰图像的去雾算法。实验结果表明：去雾图像的色彩清晰度和对比度有较大改善,具有很好的应用前景。     

广西中直粮库管理信息系统局域网设计与应用

采用Windows NT做为系统平台,使用Windows SQL Server7.0数据库系统、Web数据库服务器、应用软件系统、网络备份恢复系统设计广西中直粮库管理信息系统,建成上连国家储备粮管理公司,下与各市县的中央直属储备粮库连接的网络。该系统包括12个子系统。并利用电子监测温控技术监测粮食的温度和湿度。     

关于一类随机变量序列的局部收敛定理

利用停时技术的方法,建立一类随机变量序列的局部收敛定理。作为推论,得到了一类鞅差序列的强大数定律和若干经典的独立随机变量序列的强大数定律。     

奇围长为5的本原对称有向图的局部指数集

设D是一个本原有向图且u∈V（D）,D在u点的指数,记作expD(u),定义为这样的一个最小正整数k,它使得对任意v∈V（D）,D中均有u到v的长为k的有向通道。设V（D）＝{1,2,…,n}使得expD(1)≤expD(2)≤…≤expD(n)。本文研究了奇围长为5的n阶本原对称有向图,并得到其局部指数集的完全刻划。     

增强YCbCr图像色度信息的一种方法

ＹＣbCr是一种有效的彩色图像述格式,但它引入了人工彩色,给出一种当图像再现时部分去除人工彩色的方法,以此增强二次抽样的图像,增强的基本原理是根据亮度住处和色度信息之间存在高度的相关,用高分辨率亮度住处制导重建高分辨率色度信息。     

抓住高新生物技术发展契机,全面推进大连市农业现代化

20世纪 70年代以来 ,基因的体外重组和克隆技术的诞生 ,使以 DNA重组技术为核心的现代生物技术蓬勃发展 ,从而推动了农业现代化的发展 .传统的农业生产技术被高新的生物技术取代 ,基因药物、具有优良性状的转基因作物、克隆动物等出现使农业进入前所未有的现代化时代 .同时 ,计算机技术的迅猛发展 ,也使农业发展走向信息化时代 .农业的现代化、信息化使农业发展前景广阔 .大连是地处环渤海地区的主要发展城市 ,需要抓住高新生物技术所带来的巨大经济效益这一契机 ,根据实际情况致力于本市农业发展 ,走科技兴农之路 ,在农业生物、医药生物、蓝色农业、白色农业等方面取得突破 ,以获得更大的经济效益     

基于小波变换的彩色图像编码方法

将小波变换系数的等级树集分割（ＳＰＩＨＴ）编码方法推广应用到彩色图像压缩中,分析了在红绿蓝（ＲＧＢ）三基色空间和亮度、色度（ＹＵＶ）空间进行编码压缩的效果。理论分析和仿真实验表明：无论从压缩比还是从解码图像质量来看,在ＹＵＶ空间的压缩效率都比在ＲＧＢ空间的高;与分形编码压缩效果相比,小波变换系数的等级树集分割编码方法优于分形编码方法。     

一种基于有色Petri网的知识库验证方法

以有色Petri网为基础,在经过了必要的功能扩充后,针对知识验证的主要内容,建立了有色Petri网的知识表示模型,提出了一种简洁有效的、基于有色Petri网的知识库验证方法,并给出了相应的判定准则,最后给出了一个说明知识表示模型和知识验证准则的实例。