基于BPELJ的分层工作流管理系统研究与实现

BPELJ（Business Process Execution Langtmge for Java）允许同时使用BPEL与Java这两种编程语言来构建业务流程应用。通过实现BPEL和Java的协同工作,BPELJ最大限度地发挥了每种语言的长处。针对目前工作流产品在柔性、互操作性和跨平台能力的不足,提出了一个基于BPELJ的分层工作流管理系统,系统引入代理的机制和分层的思想,将过程定义推迟到运行时完成,具有较好的柔性。详细讨论了系统的体系结构和工作原理,最后给出了系统的设计和实现。     

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

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

一种SVPWM简化算法的设计与实现

针对传统空间矢量脉宽调制（SVPWM）算法需要进行求反正切、求正弦、求余弦等三角运算,造成其在嵌入式MCU中实现较为复杂、计算量大的问题,介绍了一种简化的SVPWM算法。设计了一种和（a,b,c）三相参考系成逆时针90°夹角的（a'',b'',c''）参考系,使新的三相参考系和SVPWM扇区边界垂直,将（α,β）正交坐标系下的合成电压空间矢量U_s映射到（a'',b'',c''）参考系,根据a''、b''、c''轴分量的正负号直接判断矢量所在扇区。将PWM模块设置为中心对齐模式,跳过基本矢量维持时间的计算,根据标幺化的a''、b''、c''轴分量和U_s所在扇区直接计算PWM模块的占空比,采用七段式SVPWM方法实现对a、b、c三相相电压的SVPWM。所提算法简化了SVPWM中的空间矢量扇区判断和占空比计算,缩短了SVPWM的运算时间,为进一步提升逆变器的开关频率提供了空间。     

嵌入式高可靠星务管理软件设计与验证

针对某型号小卫星在空间飞行可能面临的硬件和软件故障,设计星载计算机星务管理软件,分析其可靠性。该星载计算机采用双机冗余设计,使用双机通信保持主备份机切换时的系统运行状态,通过软件可靠性技术实现空间环境下部分硬件暂态错误的容错。空间飞行测试结果证明该星务管理软件安全可靠,使卫星完成了预定的任务。     

P2P环境下基于语义的Web服务组合研究

利用OWL-S语言描述Web服务,在组合操作中加入语义信息,实现了Web服务组合的自动化。为了提高Web服务的搜索速度,采用Chord路由算法。构建了一个P2P环境下基于Chord网络的Web服务组合模型,在其上实现了基于语义的Web服务组合,最后通过实例给出了语义Web服务自动组合过程。     

一种结合DWT和FARIMA的网络拥塞控制机制

针对自相似流量具有的长相关和突发性特征,结合离散小波变换(DWT)和时间序列分析中的FARIMA过程,提出构建一种混合的网络流量预测模型来对网络行为的发展趋势进行分析和预测,并以预测结果辅助AQM的REM显式拥塞标记,从而提高流量控制的动态性以实现对传统网络协议策略的优化.实验表明该方案可有效改善协议性能,具有良好的稳定性和低丢失率特征.     

差分分析方法在HAVAL中的应用

差分分析方法是攻击迭代密码最有效的方法之一,它可以用来攻击任何一个用轮函数迭代的方法构造的密码系统。为此,描述差分分析方法在Hash函数HAVAL-128算法中的应用,并给出选择消息差分、确定差分路径、推导保证差分路径成立的充分条件等方法,诠释了利用差分分析方法攻击Hash函数的理论依据及步骤。     

向量空间模型中结合句法的文本表示研究

为增强向量空间模型(VSM)中项的语义描述性,克服VSM中各语义单元相互独立的缺陷,提出一种基于短语的特征粒度描述方法。该方法从文本的表示及特征项之间的组织方式入手,通过句法规则识别基本短语,构建特征与中心动词的关系树,利用基本短语代替BOW中的词。实验结果表明,采用基本短语的文本表示可提高分类的性能,增加项之间的联系,克服特征项相互独立的缺陷,在特征数量较少的情况下仍能保持良好的分类效果。     

基于双线性对的无证书签名与群签名方案

传统数字签名方案的证书存储和管理开销较大,基于身份的数字签名方案无法解决其固有的密钥托管问题,而无证书签名方案无需使用公钥证书,且没有密钥托管问题。为此,提出一个基于双线性映射的无证书签名方案,并在随机预言机模型下证明其安全性。在此基础上设计一个无证书群签名方案,其安全性建立在计算Diffie-Hellman问题的困难性假设上。性能分析表明,2种签名方案在保证安全性的前提下,具有较高的执行效率。