简介：在软件模型检测中,系统所对应的状态数会随着系统大小成指数级增长,即状态空间爆炸问题。为了研究近年来该问题的解决方法,按照系统综述的方法,归类整理近年来对近年来解决状态空间爆炸的方法,并对每类方法的应用、限制以及该领域的未来发展方向进行分析和总结。

简介：视频场景变动检测是监控视频智能分析的基础,光流法是常用方法之一,但现有方法容易由于前景目标的运动而误检。针对该问题,提出一种基于背景光流分析的视频场景变动检测方法。该方法首先将图像划分为背景和前景目标两部分,然后通过计算背景部分光流的像素占比以及分析其分布的均匀性来判断视频场景是否发生变动。实验结果表明,该方法简单实用,在实现对视频场景变动检测的同时能够避免前景运动目标导致的误检。

简介：水平集方法（LevelSetMethod）是一种用于计算曲线演化位置的有效方法。该文针对传统LevelSetMethod进行图像检测中需要重复初始化水平集函数的缺点，研究了不需要重复设置水平集函数的图像检测方法，实验表明，该方法能更好的检测多目标图像轮廓。

简介：听说善于制造经典的金山公司又制造了一款经典产品,它是一款与众不同的素材软件——《金山图典》。到底是怎么与众不同呢?你有兴趣吗?跟我一起来吧!首先是图片。既然是素材软件,素材图片肯定是主体。我给《金山图典》里的素材图片归纳了几大特点:“多”,图片数量多。《金山图典》精心挑选了三千多张精美别致、怪趣灵气的图片。“全”,素材内容全。《金山图典》考虑到不同消费者的不同喜好,图片内容非常丰富齐全。分为影像和手绘两大部分,共十个系列。“广”,产品用途广。你可以把《金山图典》里的素材用在电子邮件里,或

简介：3D游戏已经成为电脑游戏的主流产品。在3D游戏开发过程中引擎程序设计的一个重要环节就是需要确定运动着的物体和环境之间,物体和物体之间在什么时候发生碰撞,从而有效地控制物体运动的过程。该文从环境碰撞和实体碰撞二个方面论述了游戏引擎程序设计中碰撞检测的数学基本方法,为游戏开发中的引擎程序设计的碰撞检测算法的提供数学解决方案。

简介：

简介：通常我们对于数码产品的选购过于盲目，买回家后才发现它实际上并不适合自己。《数码》给你的建议是，“因地制宜”，适合自己的才是最好的。来．跟我一起来看看《数码》是如何冷眼观潮，帮你选择最适合你的数码产品。

简介：相信不少朋友喜欢一边BT下载，一边欣赏已经下载完成的影片，这些都是要大量的内存和CUP资源来提供保证的；选样有时候可能会出现声音和画面不匹配，造可能是由于系统分配给音频的缓存被占用了，这时可以通过增加音频缓存来解决。

简介：QQ自定义现在已经越来越流行，而腾讯公司也在很早以前就推出了皮肤制作工具，可是这似乎还不够，要发场DIY精神，我们当然不能放过每一个可以自定义的角落。最近笔者获得个自定义QQ登录面板的方法，现在就和大家一起来制作新的QQ登录面板。Let＇sgo！

简介：键盘除了是主要的输入设备外，更是用户与电脑、用户与用户交流的工具与桥梁。在键盘的敲击声中，人们可以寻找到属予心灵的空间，体验虚拟世界的乐趣。每个人都有自己的思想、独特的个性，每个人也应该有一块属于自己的键盘！

简介：目前，市场上有一种所谓的“专用内存”，但你了解“专用内存”的真面目吗？你想让“专用内存”在各个平台间自由转换吗？本文将为你分析得通通透透。

简介：入侵:是对信息系统的非授权访问以及未经许可在信息系统中进行的操作。它可以造成系统数据的丢失和破坏,甚至会造成系统拒绝对合法用户服务等后果。入侵检测:是对企图入侵、正在进行的入侵或者己经发生的入侵进行识别的过程。具体就是通过检查操作系统的审计数据或网络数据包信息来检测系统中违背安全策略或危及系统安全的行为或活动,从而保护信息系统的资源不受拒绝服务攻击,防止系统数据的泄漏、篡改和破坏等。入侵检测系统:所有能够执行入侵检测任务和功能的系统,都可以称为入侵检测系统,其中包括软件系统和软硬件结合系统。

简介：文章介绍了一个运行在Windows下的网络检测软件Windump，详细描述了Windump的使用方法及参数，并通过实例介绍了Windump在网络管理中的实际应用。

简介：用文字处理软件对自己的文本编辑后，希望能在页眉处加上个性图标．显示出与众不同．比如自己的名字和个性图标，效果很不错下面我就来教大家实现的方法。

简介：

简介：传统的信息安全方法是采用严格的访问控制和数据加密策略来防护，但在复杂系统中，这些策略是不充分的。虽然访问控制和数据加密是系统安全不可或缺的部分，但在保证系统的安全方面仍存在很多局限。入侵检测系统通过分析、审计消息记录与系统日志，识别系统中任何不应该发生的活动，向管理员报警，并采取措施制止入侵活动，从而有效地阻止一些网络入侵行为。

简介：分析贴片天线工作原理，通过推导公式计算出天线参数，运用Ansoft公司的有限元分析软件HFSS优化修正参数的设置。并分析在不同的的馈电方式以及不同的介质材料下贴片天线在s参数，带宽，占用面积以及增益等参数。背馈式贴片天线拥有较宽带宽，占用面积较小，阻抗匹配也较好，而侧馈式天线方向性好，增益较大。在选择材料时采用硅基底比FR4有较低S参数和较小的占用面积，但是方向性较弱。

简介：微博立场检测是一个新兴的研究课题,具有很大的研究价值和应用价值。鉴于此,该研究课题受到越来越多国内外研究机构的重视。首先针对立场检测主流方法和前沿进展进行介绍;接着介绍国内外主流的评测会议;最后,总结并展望立场检测技术的发展趋势。

简介：今年3．15曝光了免费WiFi（指无加密WiFi，无需登录密码即可直接使用，WiFi信号旁边没有小锁头标志）的各种风险，通过无加密的WiFi黑客可以直接收集手机中的照片、用户邮箱、各种明文密码。

简介：如果我们拥有一台媒体中心电脑……