基于扩展Petri网的动态服务聚合流程描述模型及其BPEL4WS表示方法

针对现有服务聚合流程建模方法的不足,基于扩展Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了动态服务聚合流程模型中不确定路径选择和服务的动态变化性问题。给出了WSCP/R-net模型向BPEL4WS的转换算法,并以城市应急处理为例说明了转换算法的有效性。     

Rayleigh衰落信道下一种实用的Turbo解码算法

通过理论和仿真实验证明:无论Rayleigh衰落信道是否完美估计,Max-Log-MAP算法都与信噪比无关,而且还与其他信道参数无关.通过缩放Max-Log-MAP算法输出软信息的幅度,在没有增加运算量的前提下,解码性能提高到了与Log-MAP算法相当的程度.由于缩放软信息的Max-Log-MAP算法不需要任何信道参数...     

磁镜中哨声波加热等离子体研究

本文研究了在产生晃荡电子的特定磁镜磁场位形中。使用哨声波加热等离子体的机制,并对等离子体的参数和等离子体共振区结构进行了测量研究,研究结果表明:(1) 在磁镜基频共振层附近存在等离子体密度峰和电子温度峰;(2) 该峰随着磁镜中心磁场的变化与基频共振层一起移动;(3) 等离子体加热的物理机制为:大量的电子在基频共振层吸收微波,并在此处反弹。     

R-C系统中由表面散射引起的视场内杂散光分布

推导了R-C系统焦平面上由主镜和次镜表面散射引起的视场内杂散光分布的近似解析表达式.针对典型R-C系统的视场内杂散光分布,由近似表达式得到的计算结果与利用商业光学仿真软件得到的模拟结果具有较好的一致性,说明了近似表达式的正确性.与焦平面上无像差衍射光分布相比较,可以方便地分析强光入射时R-C系统焦平面上不同区域的饱和机制.研究结果表明,对于典型的R-C系统,探测器表面上以几何像点为中心,半径为2.5mm的范围内,衍射光是引起探测器饱和的主要因素;在此范围外,表面散射造成探测器的饱和.该结果为进一步研究强光饱和实验,解释有关现象提供理论分析基础.     

一种面向语义正确性的关系数据库访问方法

从异构关系数据源中获取语义正确的信息是当前利用数据资产辅助决策所面临的一大难题.为解决这一问题,提出了一种研究面向语义正确性的关系数据库访问方法(SCORDA).SCORDA方法采用DL -LiteNOWL本体作为支持数据访问任务的概念视图,在本体的表达能力和推理复杂度之间做了一定折中;SCORDA方法通过LAV+ GAV的映射方式建立本体与关系数据源之间的语义关联,兼顾了模式异构和阻抗失配问题;此外,SCORDA方法采用了一种动态ABox结构,即时从异构关系数据源中恢复虚拟对象,并且利用动态ABox进行实例检测推理任务,通过本体的模型语义来保证数据访问的正确性.通过原型系统验证了该方法的可行性.     

红外图像序列运动小目标检测的预处理算法研究

就如何检测复杂背景下低信噪比的运动小目标展开讨论,提出了用空间高通滤波方法改善图像质量,达到抑制背景噪声,增强小目标的效果,随后用似然比检测理论进行目标的初步分离,接着采用邻域判决的方法实现运动目标的进一步分离,最后用图像流分析法进行目标的最终检测。实验结果表明,该算法能够对小目标甚至是点目标的运动进行可靠的检测     

基于CPU-GPU混合计算平台的RNA二级结构预测算法并行化研究

RNA二级结构预测是生物信息学领域重要的研究方向,基于最小自由能模型的Zuker算法是目前该领域最典型使用最广泛的算法之一。本文基于CPU GPU的混合计算平台实现了对Zuker算法的并行和加速。根据CPU和GPU计算性能的差异,通过合理的任务分配策略,实现二者之间的并行协作计算和处理单元间的负载平衡;针对CPU和GPU的不同硬件特性,对Zuker算法在CPU和GPU上的实现分别采取了不同的并行优化方法,提高了混合加速系统的计算性能。实验结果表明,CPU处理单元在混合系统中承担了14%以上的计算任务,与传统的多核CPU并行方案相比,采用混合并行加速方法可获得15.93的全局加速比;与最优的单纯GPU加速方案相比,可获得16%的性能提升,并且该混合计算方案可用于对其它生物信息学序列分析应用的并行和加速。     

二维凹槽过渡流的DSMC方法模拟

采用DSMC (DirectSimulationMonte -Carlo)方法模拟二维凹槽过渡流动 ,给出了在不同Knudsen数、不同展弦比、不同壁温条件下凹槽流的速度和温度分布 ,并对DSMC方法在模拟全速度域流场时存在的局限性进行了讨论。     

并联机构中奇异性的稳定性问题

将映射理论中的临界点稳定性概念引入并联机构的奇异性分析中 ,提出稳定奇异性和非稳定奇异性的概念 ,研究了低维并联机构奇异性的稳定性情况 ,对几种典型机构的分析验证了这种分类的合理性。提出的分析方法可以为并联机构的机构设计和控制等方面提供理论依据。     

智能化电子对抗装备发展

当前,智能化武器装备成为世界各国发展的重点,而电子对抗作为新型作战力量将直接影响战争的胜负。文章分析当前电子对抗装备存在的显著不足,论证发展智能化电子对抗装备的迫切性和必要性,明确提出发展智能化电子对抗装备的若干关键技术,阐述智能化电子对抗装备对未来信息化战争的直接影响,以及智能化电子对抗装备未来的发展方向。