基于背景估计的运动检测算法

为了有效检测出运动目标静止后的轮廓和抑制视频抖动给运动检测带来的影响,提出了基于背景估计的运动检测算法。采用带模板遮罩的背景更新策略来避免目标前景区域被更新,同时根据纹理相似性,对目标遮挡区域的背景进行估算,使得在光照变化下遮挡区域得到同步更新。通过视频稳定算法得到全局运动参数和局部运动参数,然后利用全局运动参数稳定视频,利用局部运动参数作为运动目标检测的输入,最后利用高斯模型来检测运动目标。通过对多段抖动视频做实验,结果验证了该算法的准确性和有效性。     

基于xMAS模型的SpaceWire信誉逻辑的形式化验证

空间总线(SpaceWire)协议是应用于航空航天领域的高速通信总线协议, 保证其可靠性至关重要。但是由于通信系统具有队列量、分布控制和并发性等特点,传统仿真模拟的验证方法存在不完备性的问题,采用模型检测方法对高层次属性进行验证时,通常会出现状态爆炸的问题。基于xMAS模型对SpaceWire通信系统中的信誉逻辑进行形式化建模、验证,xMAS模型既保留了底层的结构信息,又可以验证高层次的属性。对通信系统中信誉逻辑进行抽象进而建立了xMAS模型,提取了可发送性、可接收性和数据一致性等3个关键属性,运用定理证明工具ACL2对关键属性的正确性进行了自动验证。该方法为验证指导下的系统设计提供了有效的参考。     

决战四六级市场!电脑四六级市场实地调查报告

“我们的眼界不能只局限于中国一二线城市和发达地区,事实上它们也并不能代表整个中国的PC市场。在中国4-6级市场仍然有着广阔的空间,那里的PC市场才刚刚起步,那里有着中国PC市场的未来。”     

人物亲历PC 30周年之三 我的OC（超频）18年追忆！

超频这个DIY领域经久不衰的话题,让一代又一代的DIYer为它疯狂。这个早在DIY还未进入国内的上世纪90年代初就被海外媒体热炒的“玩家”话题,更是在90年代中期深刻地影响了中国的第一代DIYer。这种通过自己动手让PC更出色,更超值的行为方式,更是奠定了DIY“性价比”的思想精髓。而这也间接促进了国内DIY在90年代末爆发式的增长。     

便于VC++进行图像编程的几个实用类

为了方便ＶｉｓｕａｌＣ＋＋的图形、图像编程,提出了几个简单而较为实用的类,并给出了其中的一些类方法的实现。     

数百万元 中百超市更新信息系统

中百集团旗下的中百便民超市的60家门店前不久更新了商业信息系统。这套基于互联网建设的I—POS商业系统由富基旋风科技有限公司提供,门店系统全部联网,即时地向总部转送数据及各类信息,节省了大量的人力、物力,从而达到减少运营成本的目的。据悉,这一项目的软硬件投资额约数百万元。     

走过春夏秋冬——医院信息化促进医院管理现代化

信息技术的飞速发展不仅使医务工作者逐渐摆脱了繁重的手工劳动、提高了工作效率,而且推动着医院向现代化管理迈进。虽然我国的医院信息化建设相对于发达国家还比较落后,但是伴随着我国医疗体制改革的不断深入,我国的医院信息化建设已经从简单地购买几台PC发展到今天构造较为完善的网络环境,其发展前景极为广阔——     

新经济 新商业——商业信息化的三大跨越

从一谈到商业信息化就津津乐道商业收款机、POS系统建设,到如今对整个商业管理、营销过程的全面信息化,国内传统商业伴随着信息技术的飞速发展正力图以崭新的面貌出现。从单纯的POS系统到MIS系统再到智能决策系统,我国的商业企业开始摆脱简单的技术应用阶段,从管理、营销及提高企业市场竞争力的战略高度实施商业信息化。     

Hilbert变换地震波主特征参数误差分析

复数道分析技术出现使地震勘探由构造解释向构造岩性解释和储层预测跨进了一步.而主特征参数是指在时间频率域提取的可表征反射波主特征或频谱特征的地震动力学参数,是对三瞬参数处理的改进,突出反映岩性组合性质的特征值,本文在Hilbert变换提取三瞬参数的基础上,给出主特征参数的提取方法,并分析了影响主特征参数计算精度的因素和寻找提高计算精度的方法,达到增强该方法解决地震勘探中的地质问题的能力,对油气预测和油藏综合分析有较大的指导意义.     

三唑酮防治水稻穗期三种病害的药效试验

亩用15%三唑酮粉剂50克与40%多菌灵胶悬剂50克混合防治水稻纹枯病效果仅次于井冈霉素单用25克和三唑酮单用100克的防效,差异不显著。但能提高防治稻粒黑粉病和稻叶黑粉病的效果,且对水稻早衰有一定的延缓作用,降低空秕率、增加千粒重、提高产量。因此,适用于以纹枯病为主,稻粒、稻叶黑粉病同时发生的稻田。