摘要：在深入分析研究、归纳总结各种传统网络服务的共性机理与理论的基础上,设计构思基于一体化网络的普适服务总体模型体系,创建了服务标识机制与理论,完成对各种网络服务的统一描述和标识,以实现多种服务的统一处理;建立连接标识机制与理论,有效解决了普适服务的移动性和安全性问题,并在此基础上给出新传输协议,以支持语音、数据等多种服务;提出服务标识解析映射和连接标识解析映射机理与理论,实现了一体化网络下的服务多连接建立和多路径传输;最后通过原型系统实现和仿真分析证明普适服务机理和理论的正确性、有效性和可行性.

摘要：针对集成电路前端设计中的定点小数乘法器,提出一种既能够优化其内部加法器数量又能优化各级加法结果位宽的低功耗算法,而且在算法的实现技术上,解决目前低功耗设计中算法自身逻辑单元引入被优化系统从而降低系统优化效果的问题。在介绍该算法的理论基础和实现细节后,为了取得更加客观、更具有统计特性的低功耗优化效果,以该算法对某含有大量不同类型小数乘法器的射频模块进行优化。优化后FPGA测试结果显示逻辑占用率降低了39.3%,寄存器总数降低了45.0%,内存占用率降低了36.9%。该算法是一种高效的低功耗算法,并且解决了一般算法实现技术的缺陷与不足,其适用于对含有大量小数乘法运算的系统进行低功耗优化,例如数字信号处理和数字滤波器等。

摘要：无线网络视频传输是当前网络研究的热点方向,真实视频流是进行网络协议性能评价的最佳业务,然而当前主流网络仿真软件都不支持真实视频流业务。在网络仿真软件Qualnet中设计实现了无线网络视频传输评测系统VtPet。该系统将视频编解码器集成到Qualnet中,支持真实视频流的实时编码、传输、解码以及播放。收集统计多种视频传输性能参数,除了常用的网络性能参数(如吞吐率、延迟等)外,还有能反映接收端视频主、客观质量的性能参数及手段。VtPet简单易用,性能参数评价全面,是进行无线网络视频传输评测的有效工具。

摘要：首先对网络节点的度和核数进行了幂律分析.基于Internet拓扑演化分析,融合层次模型和ARIMA模型,提出了预测IPv6演化过程的模型.选取CAIDA授权的IPv6 2008-01～2010-04三年期间的数据对模型进行了验证,并用该模型对2012年IPv6网络的各特征量进行了预测.结果表明:IPv6网络具有复杂网络的演化规律;预测模型不仅能够重现过去三年IPv6网络的演化过程,而且也与近一年的IPv6网络演化一致,因此可以推断,该模型能够用于IPv6网络未来演化趋势的预测.以2012年为例,届时IPv6网络的规模将上升到9 729左右,连接数将上升到17 108.

摘要：提出了一种针对定点小数乘法器位宽的低功耗优化算法,阐述了其基本原理及实现方案,并通过现场可编程门阵列(FPGA)测试,验证了该算法的低功耗优化效果.在算法上,其优化指标为小数乘法器内部寄存中间运算结果的寄存器位宽;而在实现技术上,解决了目前低功耗设计中算法自身逻辑单元引入被优化系统,从而降低了系统优化效果的问题.该算法适用于对含有大量小数乘法运算的系统进行低功耗优化,例如数字信号处理、数字滤波器等.

摘要：以非对称压电惯性驱动器为研究对象,提出一种可形成双向驱动能力的新型非对称惯性压电驱动器。该驱动器通过压电振子的非对称夹持结构,使其向两侧振动时具有不同的系统刚度,当以对称信号驱动时,驱动器在一个振动周期内向两侧的转角不同,连续的往复振动使驱动器可以实现定向转动。根据其运动特征,运用能量守恒定律对压电振子的运动过程进行理论分析,推导出双向旋转驱动器步距角与频率之间的关系式,提出通过采用对称波形、不同频率的电源激励信号,使驱动器实现双向运动的方案。设计制作了旋转驱动器试验样机,搭建了驱动器的测试系统,在不同电压幅值、频率的正弦波激励下对驱动器步距角、转速等进行了测试。试验结果表明,可以通过频率控制实现非对称惯性压电驱动器的双向驱动,在100V正弦电压信号激励下,当频率分别为65Hz和83Hz时,驱动器在两个方向上的最大转速分别为5.23rad/s和0.56rad/s。

摘要：将ARM与DSP相结合,设计并实现了一套嵌入式实时视频传输跟踪系统;该系统以集成ARM和DSP双内核的OMAP3730作为核心处理器,首先通过ARM上搭载的Linux操作系统实现基于V4L2的图像采集功能,然后调用DSP完成H.264视频编码,压缩后的图像由基于实时流传输协议的流媒体服务器传输至远程计算机端解码并显示,最后利用camshift跟踪算法实现对运动目标物体的实时跟踪。该系统是小型无人机自主导航与控制的视觉导航以及以无人机为平台的运动目标检测的基础,有很好的应用前景。

摘要：随着程序设计复杂性的增加,并行性成为当今软件的一个显著特点,对微处理器性能的要求也越来越高。多核处理器的出现符合了这种趋势,但随之而来出现了处理器能耗增加和局部热点问题。以前的功率控制技术往往是在对程序执行历史分析的基础上,静态地在程序中设置功率调整点,不能实现处理器能量感知。本文借助控制理论,分析了PID控制技术在多核处理器中的应用,使性能和能量节省都得到了满足。

摘要：将嵌入式和Linux相结合,设计并实现了一套双路图像的采集与传输系统。该系统以CM-T3530核心板为硬件核心,首先根据系统要求编译并安装Linux嵌入式操作系统,并利用视频接口V4L2实现红外图像和彩色图像的双路采集。然后举例说明如何在核心板上利用有效的进程通信方式将两路图像的优势结合,最后将处理过的图像信息利用套接口传输到远程计算机上显示。该系统是小型无人机自主导航与控制的视觉导航以及以无人机为平台的灾害检测的基础,有很好的应用前景。

摘要：自动推理是人工智能中最成功的部分．自动推理的基本思想就是希望对一类一类问题分别给出一个一个确定的、能够机械地执行的解决方案．凡是用到计算机的地方，或多或少都要用到自动推理．自动推理在数学教育中的应用主要表现在几何作图、符号运算、几何证明、动画设计和机器学习等方面．我国在数学机械化的应用上有一些先进成果，但是在自动推理平台方面，还远远落后于世界先进水平，智能软件的开发需要长期努力．