【摘 要】
：
本文首先探讨"形式语言与自动机"课程的教学改革,包括:教学中存在的主要问题与对策,教学目标探讨,现有教材的比较,教学内容和组织方法.然后重点论述使用图论的方法来提供形象的直观教学,包括表示正则文法,使用图方法证明非正则语言,使用树方法证明上下文无关语言等,并一并给出建设性的教学建议.
【机 构】
：
中国地质大学(武汉)计算机学院信息安全系,武汉 430074 海军工程大学信息安全系,武汉 430
【出 处】
：
2009年中国高校通信类院系学术研讨会
论文部分内容阅读
本文首先探讨"形式语言与自动机"课程的教学改革,包括:教学中存在的主要问题与对策,教学目标探讨,现有教材的比较,教学内容和组织方法.然后重点论述使用图论的方法来提供形象的直观教学,包括表示正则文法,使用图方法证明非正则语言,使用树方法证明上下文无关语言等,并一并给出建设性的教学建议.
其他文献
目前基于ZigBee技术的无线传感器网络发展迅速,数据采集及分析是当前应用实现中非常重要的一项内容,而无线嗅探器是进行数据采集捕获分析的重要工具.本文对ZigBee无线网络数据传输物理层和MAC层协议及无线通信机收发数据机制进行了深入研究分析,利用MC13213设计并实现了一种可行的ZigBee无线传感器网络嗅探器.实验数据结果显示该嗅探器捕获性能较佳.
本文以可信平台模块TPM(Trusted Platform Module)为基础,利用其提供的信任链技术以及各种密码学功能,并结合PKI(Public Key Infrastructure)技术提出了一套针对SIP(Session Initiation Protocol)协议的VOIP(Voice over IP)安全解决方案,实现了身份认证,密钥交换以及加密通信功能,有效地解决了SIP通信中存在
软件无线电使用可升级、可配置的应用软件来实现各种无线电功能.为了增强信号实时处理能力、降低系统功耗、提高资源利用率,使用动态局部可重构的实现方法——EAPR(Early Access Partial Reconfiguration)技术改进了传统的软件无线电模型.通过动态局部可重构技术和软件无线电模型结合的尝试,为软件无线电系统的设计提供一种新的思路.
文中提出了一种基于直接数据域算法的稳健波束形成方法.该方法仅需处理一次快拍数据,不需要通过辅助样本数据估计协方差矩阵,避免了矩阵求逆运算,特别适合于剧烈变化的环境.采用实数加权,进一步减小了运算量,可实时运行.在系统存在误差的情况下,采用多约束的方法,避免了波束方向图的畸变,具有较好的稳健性.仿真结果验证了文中方法的可行性、有效性及实用性.
本文针对MAS系统的安全需求,提出一种MAS端到端加密通信方案.为了提供一种高效、安全的密钥管理机制,本文在研究了GKMP三级密钥结构和传统逻辑密钥树基础上,结合密钥树的思想提出一种新的MAS端到端通信的密钥管理机制,在适量增加移动终端的密钥存储空间需求的基础上显著地提高了系统的密钥管理性能,为组播加密通信在MAS系统中的大规模应用提供了基础.
为改进主颜色特征在反映空间分布信息方面的不足,提出一种基于主颜色及其空间分布特征的图像检索方法,利用主颜色的矩特征来描述其空间分布信息.给出了主颜色和主颜色空间分布信息的提取方法,详细介绍了MPEG-7标准的颜色评价准则,并以此作为评判检索结果优劣的依据.实验结果表明,综合利用两种特征对图像进行描述及检索,获得了比使用单一特征更好的检索效果.
为了减小视频镜头关键帧提取过程中数据量,本文提出一种基于压缩域视频的关键帧提取方法.本文算法利用亮度DCT DC值、宏块类型和运动向量来确定MPEG压缩视频中运动活动和视觉内容变化.本文算法的优点是有效利用低复杂度的反向量化和可变长解码从MPEG压缩域中获得需要的信息并且精确度高.试验结果表明本文方法提取的关键帧能够充分代表视频镜头的内容.
随着DSP技术的发展,美国模拟器件公司(ADI) Blackfin 53x系列微处理器以其优越的性能,在嵌入式系统中得到了越来越广泛的应用,本文完成了基于Blackfin 53x处理器的ATA IDE硬盘的驱动程序的设计.ATA IDE硬盘的总线接口方式与控制时序和ADSP-BF53x的EBIU接口的总线控制时序一致,可将EBIU直接与硬盘的DE接口相连.文中给出了硬件电路设计方案和对IDE硬盘读
频谱传感是认知无线电的关键问题,由于传播衰落与阴影,单CR用户不能可靠检测主用户信号,分布式检测可以大幅提高传感性能.局部传感器向融合中心传送多比特信息,比通常的硬判决融合具有更好的性能,融合中心对各局部传感器接收到的多比特信息进行函数处理与判决.对于似然比检验中目标函数非凸多峰等困难问题,提出了一种基于带约束SNTO的优化方法,可有效收敛到总体极值点,数值仿真结果表明是可行的.
文章结合作者教学经验,对《3ds Max》课程的传统教学中存在的问题进行了深入的分析,并针对于这些问题在教材选择、讲授内容的组织、教学方法和课程考核方式等几个方面进行了详细的叙述.