基于角色及语义相似性的语义Web服务发现

在Web服务发现过程中由于容易忽视用户角色的作用,往往导致难以发现到合适的Web服务. 在传统本体语义Web服务发现的基础上,结合RGPS（Role-Goal-Process-Service）元模型框架,文中提出了将用户的角色加入服务发现本体中,使用KM算法计算采用二分图最优匹配获得的词汇语义间的相似度,同时结合使用“WordNet”进一步计算词汇语义的相似性,进而提高查找的准确率,最终找到能够满足不同用户需求的语义Web服务. 实验结果表明服务发现方法在查准率和查全率方面相比传统基于关键词的方法有一定的改善.     

局域演化的加权网络模型

在BA模型的基础上研究了兼顾局域演化、增长，以及局域与局域外存在较弱连接等3方面因素的加权网络。在这个模型中，引入了参数a，P1，P2，P3，通过理论分析，导出了这个加权网络模型的节点的强度分布，发现它服从幂律指数为2～3的幂律分布。数值仿真验证了理论分析的正确性；并通过调节参数，分析了该模型的内在特征和结构。这个改进的模型具有更为广泛的实际背景。     

一种求解函数优化的混合差分演化算法

为了解决传统遗传算法易陷入局部最优解的问题,在多父体杂交算法和差分进化算法的基础上,提出了混合差分演化算法.该算法的核心在于,采用多父体杂交算子保证算法的遍历性,通过淘汰相同个体来保持群体的多样性,并以较小概率随机选取部分个体进行差分进化操作,从而充分利用最优个体的信息达到了加快收敛速度的目的.对复杂函数的寻优实验验证了混合差分演化算法的有效性.     

基于J2EE架构的电子商务B2C模式研究

文章以UML为工具,将电子商务B2C模式和J2EE有机地融合在一起,提出了电子商务B2C模式的先进的技术方案,结合J2EE平台和国际标准的统一建模语言UML,对技术方案进行描述、分析,并建立了电子商务的UML模型.该技术方案在研究过程中不断改进,提高了服务器的使用效率,缩短了用户请求的响应时间,特别适合应用于大型电子商务系统的B2C模式中.     

演化硬件平台的数字电路仿真算法

在构建演化硬件的软硬件协同设计平台中,提出了一种数字电路仿真算法。这种仿真算法根据数字电路的拓扑结构,将电路的仿真过程分为两个阶段:第一阶段主要是对数字电路结构化,并将每个宏实体(模块)置于激活或挂起状态;第二阶段则使用两种方法仿真激活的宏实体。此外,根据软硬件协同设计平台的需求,对电路进行优化度和复杂性评价。实验表明这种数字电路仿真算法能较好地满足该系统平台的要求,有效地指导下一步的演化策略。     

电动助力转向系统对汽车操纵稳定性的影响

采用多体系统动力学(MBD)与计算机辅助控制系统设计(CACSD)相结合的方法,分析电动助力转向(EPS)系统对汽车操纵稳定性的影响.在多体系统动力学(以MSC.ADAMS软件为支撑)基础上建立包括转向系统、前后悬架系统和前后轮胎的整车动力学模型,作为考察EPS系统对整车性能影响的外部环境;在CACSD(以Matlab/Simulink软件为支撑)基础上建立EPS系统控制模型,研究其助力特性和控制策略.经试验验证,联合仿真模型相对误差在6 %以内,准确地反映了整车的实际情况.     

iSCSI环境下的RAID技术及性能研究浅析

分析传统RAID的4种常见模式的技术特点,指出在iSCSI环境中运用RAID技术的重要性。比较传统RAID和iSCSIRAID的异同,讨论在iSCSI RAID中如何解决小写问题,并对iSCSI RAID的安全性进行初步研究。     

基于COM技术的DirectShow视频采集的研究

介绍了DirectShow的体系结构,并介绍了COM技术在其中的应用,对基于COM技术的DirectShow视频采集进行了研究与实现。     

浅析网络存储技术

信息量的飞速发展使得存储容量也飞速增长,发展一种具有成本效益和可管理和先进存储方式就成为必然。本文就几种传统的网络存储框架进行探讨,之后介绍了新的存储技术,并分析了网络存储体系结构的发展趋势。     

面向命题投影时序逻辑的安全协议模型检测

针对无条件安全通信协议,特别是Russian Cards协议的安全性验证问题,提出基于命题投影时序逻辑(PPTL)的模型检测方法.根据协议构造规则建立了Russian Cards协议的ProMeLa模型;利用chop算子将多个交互事件进行顺序复合,以表达协议所期望的通信序列;由projection算子定义了协议在该序列上的安全性质,再将该性质转为Never Claim语法结构并连同协议模型作为模型检测器SPIN的输入,以完成验证工作.验证结果表明,由协议规则构造的Russian Cards通信协议是安全可靠的,该方法也适用于一般的无条件安全通信协议的验证.