程序切片技术在并发程序模型检查中的应用

模型检查技术在硬件和协议设计方面已经取得很大成功,但在软件验证方面仍存在很多困难。其主要问题是如何从源代码中自动抽取验证所要模型并精简其状态空间。文中通过对程序切片技术的研究,来解决并发程序验证的建模问题,包括把验证公式映射到切片准则．并把得到的程序切片转化为验证所需的模型。经程序切片处理后,软件模型检查效率得到提高。     

面向对象的巢湖遥感考古信息系统设计研究

随着科技的进步和考古学研究的深入,传统的考古资料收集和处理方法已越显不足。遥感和GIS作为大范围空间数据采集管理和分析的先进工具,为科技考古的发展带来强力的支持。巢湖遥感考古信息系统是基于对遥感和GIS技术分析的基础上建立的系统,它能够为考古工作的开展和海量的资料管理分析提供有效的帮助,进而为考古工作者提供便利。     

基于P2P的点播服务系统的设计

P2P技术是一种比较成熟的技术,在实际中有着广泛的应用。通过分析研究常见P2P技术的应用即视频直播和文件传输,结合实际需求将视频点播系统与P2P技术相关联,提出了一种基于P2P技术的边下边看的视频点播系统。阐述了系统的构成,对服务器端视频文件格式,客户端结点的选取和存储空间的开辟等问题进行了分析讨论。     

基于对象的并发模型

为了研究和发展分布式人工智能,探讨一种新的计算模型,利用面向对象技术提出了一个基于对象的并发模型（OBCM）。讨论了它的两种通讯机制,即同步和异步通讯方式,异步通讯方式又分为过去型消息传递和将来型消息传递,而同步通讯方式则包括现在型消息传递和等待方式。证明了它们可归约为过去型消息传递和等待状态。另外,OBCM为了增强其表达能力,提供了响应目的地机制。在OBCM中,对象的独立自治特点对模拟分布式问题求解尤为适用。最后以一个分布式问题求解的具体实例说明了OBCM的思想。     

基于JND门限的小波域彩色图像数字水印算法

提出了一种基于小波域的彩色图像数字水印算法,先将图像从RGB色彩空间转化到YIQ色彩空间,在YIQ模型中取其亮度分量Y,依据块能量的大小选取合适的嵌入点,结合JND自适应地嵌入水印,然后再反变回RGB色彩空间。理论分析与仿真结果表明应用该算法实现的水印具有很好的不可见性和鲁棒性。     

改进的D_时刻表算法在大学课程表问题中的应用

课程表的自动生成是大学课程表编排中最复杂的一个环节,是一个典型的时间规划问题。针对这一问题。本文设计了一种全新的使用改进的D_时刻表的设计方法,提出一套大学课程表白动生成方法。该方法是以文献[5]中介绍的有效解决时间规划问题的D_时刻表算法为基础,并通过试验说明了该方法具有一定的可行性和有效性。     

基于服务总线和动态代理的信息集成模式

面向服务架构下的企业信息集成的方式逐渐从传统的以应用服务器为中心的点对点交互模式,演变为基于企业服务总线（ESB）的总线式消息交换模式。本文首先提出了一个通用的企业服务总线的参考模型;论述了ESB的关键功能和特性;最后给出了借助Java反射机制和XStream设计并实现的一个基于Mule ESB的动态服务代理的关键实现。结果表明基于企业服务总线和动态服务代理的设计模式能够显著降低开发工作量,简化配置,同时提供良好的性能和可扩展性,可以有效地用于企业级的信息集成项目中。     

基于单元尺度的自适应码率控制算法

随着信息技术的快速发展,压缩编码已成为多媒体存储和传输领域的研究热点。针对视频压缩的编码效率问题,ITU-T与ISO/IEC两大标准组织于2003年联手推出了H.264/AVC视频编码标准。为了能够在目标带宽上有效地传输视频,就必须合理地控制码流的波动强度,以使其尽可能地接近目标带宽。其中码率控制虽然不是标准中的一部分,但由于其一直在视频编码标准的发展过程中占有举足轻重的地位,为此,针对H.264/AVC编码的视频序列码率控制问题,在JVT-G012算法的基础上,提出了一种基于STGS图的自适应地选择基本单元大小的码率控制算法。该算法在编码时产生的码率波动总是与G012算法产生的最小码率波动相当。而且具有较小的运算复杂度,易于实时实现。     

基于LMS的网络流量预测

通过对网络流量的考察．提出使用自适应最小均方误差方法（LMS）对网络流量进行预测,以及如何针对网络流量特性对LMS预测效果进行优化的方法．并分别使用网络仿真实验和实际IP流量数据对LMS的预测效果进行实验研究。实验表明．使用LMS对网络流量进行预测是可行的。     

基于PIC单片机的测井系统激励信号源研制

设计了一种基于HC单片机的井下仪器发射信号源,单片机利用内部功能模块产生PWM脉冲序列,经过D类功放放大,然后将滤波解调出的标准正弦波作为微电阻率扫描成像（简称FMI）测井系统极板的激励信号源。该基于PIC单片机的集成化模块为测井仪器中信号源的研制提供了新的方法。