基于Pi演算的Web服务建模与WSDL转换

为顺利地执行Web复合服务,实现服务的自动组合,对基于Pi演算的Web服务组合模型与WSDL语言程序段转换的正确性进行了论证,运用进程代数对Web服务及其组合进行建模,提出并建立了PICM2WSDL模型,通过形式化的方法验证,基于Pi演算的Web服务建模经过PIC2WSDL模型转换可自动生成正确的.wsdl文件。     

基于PI-演算的移动通信过程建模

针对现今移动通信中不同SP提供的业务无法互通的弊端,提出了用Web Service的思想来改进移动通信服务的方法。该方法主要以Internet为发展平台,把通信过程封装成多个Web Service,并用PI-演算来描述这些Web Service及服务组合,使每个通信过程的实现都是调用相关Web Service或Web Service组合。最后通过4个具体的实例说明了在移动通信过程中如何用PI-演算来建模Web Service。     

工程数据库动态版本管理模型的研究

本文研究了工程数据库中动态版本管理模型及实现方法,包括设计版本管理,约束及约束传递与控制,版本一致性的管理与控制,完成版的判定等动态版本管理中的基本问题.介绍了一个已投入使用的动态版本管理系统DVMS的结构和设计思想.     

基于负载预测的无线接入策略

提出了一种预测模型并根据该模型测量负载的变化,进而针对这些变化调整QoS参数,期望产生较好的QoS效果,但是并不盲目追求QoS最高值,在资源最坏情况下适当牺牲QoS来换取系统的正常运行.     

一种基于贝叶斯测度的有监督离散化方法

传统的朴素贝叶斯不能处理连续属性,文中基于贝叶斯测度提出一种有监督离散化方法。它能够在无先验知识的前提下,自动寻求最佳的离散子区间数目和区间划分。在此基础上根据MDL准则控制离散化子区间的数目,使学习方法的精确度和复杂度达到均衡。在UCI机器学习数据集上对该方法进行了验证,取得了良好的效果。     

DCT域盲嵌入的正态实数伪随机序列水印方案探讨

本文实现了一种DCT域数字图像水印.将实数伪随机序列作为水印添加到图像的DCT系数中,使用了水印分量的强度控制阈值来控制加入水印分量的能量;通过调整水印嵌入的位置、长度来保证水印透明性和鲁棒性的平衡;并通过相关性运算来实现不依靠原图像信息的盲检测.试验结果表明,实现的水印算法具有很好的透明性,而且对于常见的图像压缩和噪声干扰等攻击具有很好的鲁棒性.     

一种基于DSP的嵌入式伺服控制系统设计

数字信号处理器(DSP芯片)适宜应用在大量数据处理又强调实时性的场合.文章介绍了一种直流脉宽调制伺服控制系统的基本框架,给出了相应的软、硬件设计思路.实验表明,整个系统可以实现复杂的控制算法,具有较高的响应速度,而且硬件电路设计简单、可靠.     

基于二维离散小波变换的数字图像水印方案

本文实现了一种小波域低频数字图像水印.图像经过L级的小波分解后得到的低频子图集中了原始图像的绝大部分能量,其系数分布、统计特性与原始图像相似,有较好的稳定性.使用扩频的方法将m序列作为水印加入到图像的小波低频子图中,在保证透明性的前提下,提高了算法的鲁棒性;并使用相关性计算实现了水印的盲检测.     

求解正则表达式方程组高斯消元法的矩阵方法

本文在分析现有求解正则表达式方程组最小不动点的高斯消元法基础上。提出了一种利用系数矩阵进行消元变换求解正则表达式方程组的高斯消元法，并给出易编程的实现算法。