微带贴片背射天线的设计与分析

介绍一种采用微带贴片天线作为馈源的新式天线.从理论上阐述了微带贴片天线、背射天线的工作原理并且详细介绍了天线的具体设计过程.通过实验,测试了天线的性能参数.使用微波信号发生器、HP8593频谱分析仪以及天馈仪实测了天线的输入阻抗、方向图、方向性系数和输入驻波比.用比较法获得天线增益.结果表明该天线增益高、频带宽、方向性好、主瓣对称、抗干扰性能强.     

基于.NET的实验预约管理系统的实现

针对高等院校开放性实验管理上的不足,利用Microsoft.NET、SQL Server 2005等软件构建了基于Web的实验预约管理系统.讨论了Web系统体系结构、数据库设计以及程序实现的方法.并利用ASENET、C#,ADO.NET等技术,实现了实验预约、审核、查询和管理等功能.采用了存储过程、XML、命名空间、连接池、数据缓存等技术对系统性能进行了优化,提高了系统的安全性、可靠性和浏览速度.     

基于.NET实现分布式数据库查询

随着网络技术的发展,基于数据库的网络教学系统得到了广泛的发展.然而这些系统之间无法实现数据共享和信息交换,形成了一个个信息孤岛.为了整合这些系统,实现数据的共享,分布式的数据库设计成为了必然.然而由于其设计、开发、部署等非常复杂困难,在一定程度上制约了它的发展.通过对.NET的Web Services、.NET Remoting、ADO.NET等技术的研究与分析,提出了基于.NET技术的分布式数据库查询方法,实现了各个网络教学系统之间的数据共享.     

小型全天候自动测距定位仪

介绍用于海域和内河的微波测距仪.该仪器体积小、重量轻、携带方便.就仪器的研制方案进行了论述,并作了设计计算.提出了研制中的难点及其处理方法.给出了样机使用测试结果.仪器的重要指标绝对误差小于±2m.     

基于空间八叉剖分的面聚类网格简化算法

提出了双机同步播控系统的体系结构.建立了SPN模型,对实时切换各环节对系统可用性的影响进行了分析.给出了实时切换系统的几个关键问题如切入、切出、时钟同步、故障自监测的解决方案.通过故障仿真验证了系统设计的有效性.     

基于DSP的H.324可视电话研究与实现

介绍了H.324可视电话的基本框架,并在分析视音频编解码所需要的计算量和存储容量的基础上,针对H.324标准下的H.263、G.723.1、H.245、H.223、V.34各标准,采用AD公司的DSP芯片,设计了基于DSP的可视电话系统。     

基于.NET Remoting框架的分布式车辆调度系统

分布式组件技术是当前软件开发领域的重要研究方向之一.主要研究基于.NET Remoting框架的分布式应用,简要介绍了代理、应用程序域、通道、激活模式、对象生命期、宿主服务器等核心技术和概念.并比较了和Web服务的区别.最后给出了基于.NET Remoting的分布式车辆调度管理系统的详细实现.事实证明,使用该技术可以极大地简化分布式系统的开发过程,并且具有较高的通信效率和可扩展性.     

基于EPA标准的温湿度变送器开发

该文阐述了温湿度测量技术的研究现状,分析了温湿度变送器的工作原理,提出了系统设计方案、硬件设计和软件开发流程.结合SHl-75温湿度传感嚣特性.对所开发的温湿度变送器在EPA标准网络中进行了测试.测试结果表明.该设备不仅全部达到了温湿度检测的相关技术指标.还通过了EPA协议一致性、互操作性和通信性能测试,具备了总线供电、低功耗、异常报警等特点.     

Foxmail没有附件邮件就不发

你兴冲冲地给编辑发了一篇新近力作,然而几天后你却收到编辑的回复:你忘发附件了(如图1)。尴尬了吧!最新的Foxmail7.0让这种尴尬不再发生。实际上,当你撰写新邮件完毕并立即发送时,如果新邮件中包含"附件"、"文档"、attachment、.doc、.docx、.xls、.xlsx、.ppt、.pptx、.wps     

面向交通干线无线宽带覆盖的WMN路由协议研究

系统地比较分析了常用的WMN路由协议,包括基于三层的AODV、OLSR、B.A.T.M.A.N.、Babel以及基于二层的B.A.T.M.A.N.adv和HWMP路由协议,搭建了基于B.A.T.M.A.N.adv协议的WMN实验平台,对该协议在传输带宽、传输时延、路径切换以及重新组网方面的性能进行了深入的实验研究与分析,实验结果表明,B.A.T.M.A.N.adv协议基本可以满足交通干线无线宽带网络覆盖的性能需求,但在连接丢失后的重新组网时间约为5 s,因此其无线宽带网络覆盖需要配置足够的重叠覆盖区域以实现无缝的路径切换。     

元计算环境中任务调度的深入分析

文章主要对元计算环境中任务调度进行了深入分析与研究。先概述了元计算系统对于科学领域的贡献,分析了元计算环境的特点;然后对元计算环境中的调度算法进行了分类说明,并对几种典型的调度算法行了具体的分析,评价了其特点与不足之处;最后分析了新兴的元计算环境—校园级元计算环境面临的挑战,借鉴各种调度算法,提出了与之相适应的任务调度策略,对其可行性进行了分析,并简要概括了其创新性。     

VC编程中的消息机制及关键函数

首先陈述消息在VC编程中的作用、理解消息机制的重要性;然后介绍消息的分类,包括其作用、产生方式和处理方式的不同。重点举出VC编程中的关键的机制作为例子,一方面对消息机制的实质有深刻理解,另一方面也对VC编程中的基本模式有所领会。最后给出几个实用小技巧和VC编程中容易出现的问题及其解决办法。基本概括了VC编程中基本技能。     

基于粘贴模型的两类全排问题的DNA算法

基于粘贴模型的巨大并行性,分别给出了线性全排列和圆周全排列问题的粘贴DNA算法;分析了两类问题的DNA算法的不同之处;通过一个实例给出了实验操作步骤,并对生化实验进行了模拟,得出了正确的结果,从而证明了算法的可行性。最后,对算法的操作复杂度进行了分析。     

数字喷泉码及网络喷泉码的最新进展

数字喷泉码和网络编码都是提高网络传输效率的有效技术方法,两者的有机结合形成的网络喷泉码具有重要的理论意义和应用价值。本文首先对数字喷泉码的最新研究进展进行了综述,分别介绍了几类常见的数字喷泉码的相关研究工作;其次对当前网络喷泉码的研究现状进行了系统的总结,重点介绍了同构网络喷泉码、异构网络喷泉码和无线网络喷泉码的相关理论及其最新研究成果,并分析了研究中存在的问题;最后对网络喷泉码的相关理论及其应用的发展趋势进行了分析和展望。     

基于Horn逻辑扩展模型的安全协议反例的自动构造

根据安全协议的Horn逻辑扩展模型和相应的安全协议验证方法,提出了自动构造不满足安全性质的安全协议反例的求解策略,并给出了重要定理的证明,设计了一系列自动构造协议攻击的构造算法,并在基于函数式编程语言Objective Caml开发的安全协议验证工具SPVT中实现了这些算法,给出了主要算法的优化方法,详细分析了主要算法的时间复杂度,从理论上证明了算法是线性时间算法.最后,用SPVT对一些典型的安全协议进行了验证,得到了不安全协议的反例,并对反例进行了分析.得到的反例非常方便于阅读,与Alice-Bob标记非常接近,从而使任何领域的专家都可以用这种形式化的方法检查安全协议是否存在真实的反例.     

粒子滤波算法综述

对粒子滤波算法的原理和应用进行综述．首先针对非线性非高斯系统的状态滤波问题．阐述粒子滤波的原理;然后在分析采样-重要性-重采样算法基础上．讨论粒子滤波算法存在的主要问题和改进手段;最后从概率密度函数的角度出发．将粒子滤波方法与其他非线性滤波算法进行比较．阐明了粒子滤波的适应性．给出了粒子滤波在一些研究领域中的应用．并展望了其未来发展方向．     

自然场景图像中的文本检测综述

本文对自然场景文本检测问题及其方法的研究进展进行了综述.首先,论述了自然场景文本的特点、自然场景文本检测技术的研究背景、现状以及主要技术路线.其次,从传统文本检测以及深度学习文本检测的视角出发,梳理、分析并比较了各类自然场景文本检测方法的优缺点,并介绍了端对端文本识别技术.再次,论述了自然场景文本检测技术所面临的挑战,探讨了相应的解决方案.最后,本文列举了测试基准数据集、评估方法,将最具代表性的自然场景文本检测方法的性能进行了比较,本文还展望了本领域的发展趋势.     

扰动模糊有限转换状态机

引入了扰动模糊有限转换状态机和扰动模糊有限状态机的（强）同态的概念,研究了它们的相关性质。给出了[Σ]的元素构成所有长度有限的词集上的两种同余关系,讨论商结构问题,证明了相应的所有等价类构成具有单位元的有限半群,并且这两个有限半群是同态的。给出了[Q]上容许关系及强同态的核的概念,研究了它们的相关性质。     

基于UG 的定型模工程图自动标注研究

针对定型模板块形状复杂不规则,内部孔特征多,尺寸标注工作量大且布局混乱等 问题,分析了定型模的结构特征,基于UG NX(Unigraphics NX)平台,开发了定型模工程图自动 标注系统。总结了定型模工程图标注需求,创建了工程图模板;基于特征提取,对定型模三维模 型自动转二维工程图时产生的冗余边线进行自动删除;基于提取的标注基准,对工程图中气孔、 水孔、定位键等特征的定位尺寸、定形尺寸进行了自动标注,并根据其位置,对工程图标注进行 合理布局。通过实例分析验证了该工程图自动标注系统的实用性。该研究简化了定型模工程图设 计流程,提高了其设计效率。     

几种三层小波提升方案及其在图像压缩中的应用

1 引言小波理论在图像压缩中已有成功的应用。在小波压缩系统中,有两个因素是至关重要的:一是小波滤波器,二是压缩编码算法。随着小波变换进入JPEG2000,与小波变换相配套的零树编码算法写进MPEG-4,小波理论在图像压缩中也占有越来越重要的地位。基于提升算法的第二代小波变换也日益受到研究者的广泛关注。与第一代小波变换相比,提升算法具有快速、高效的优点,并且提升滤波器的设计可直接在空域中完成。第一代小波变换可通过因数分解转换为提升方案,例如著名的Cohen和