【摘 要】
：
在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的。然而,针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法,该方法
【基金项目】
：
基金项目：国家自然科学基金资助项目（60673175）
论文部分内容阅读
在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的。然而,针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法,该方法使用时序行为逻辑(TLA)建模服务流程,然后,利用模型检验(model checking)技术验证模型的
其他文献
OFDM技术在无线衰落信道中传输高速数据时具有突出的优势。提出了一种以PN序列为前导的快速低复杂度的帧定时和整数倍频偏联合同步算法。理论分析和仿真表明,这种算法在低信噪比和大频偏下具有良好的性能。
为了收集、存储和组织计算机弱点信息，学者们纷纷开展了弱点数据库的研究工作，然而已有的工作存在无法体现弱点之间访问权限的提升关系等缺陷。为此，本文引入了特权集、机密性、完整性和可用性等量化属性，设计并实现了一个量化的多属性弱点数据库，同时对弱点数据进行了进一步的分析.实践表明，该弱点数据库能够为安全评估提供更细致、有力的弱点信息支持。
为了获得整体近似最优解,提出采用蚁群算法,搜索发电机可运行状态的最优组合,并对蚁群算法的数学模型进行分析,以参数的形式给出具有普遍意义的收敛性定理。在此求解过程中,以每只人工蚂蚁来表示符合限制条件的某个可运转状态的发电机组合并以序列二次规划法来求解传统的经济调度问题。以三部机组的数值模拟,验证该方法正确有效。
针对点云数据局部集中的特点,使用差值预测对点云数据进行预测处理;在预测的同时,根据IEEE-754浮点数标准,简化浮点数的尾数,使用3.5 Byte来表示一个浮点数,以提高压缩效果;然后对预测数据中连续重复的字节使用该字节加该字节重复的次数的方式存储;最后对经过以上处理的数据使用一阶自适应算术编码进行压缩。最终得到的程序在压缩比和内存占用两个方面远优于WinRAR、WinZip压缩软件。
提出了一种基于灰色关联分析的工程图像除噪预处理算法。该算法首先对含噪工程图像的特点进行分析,利用图像中噪声点与边缘点的空间分布连续性不同和图像为近似二值图像的特征,确定了两个非边缘点的参考序列和一组待比较序列;然后通过这两个参考序列与各比较序列之间的灰色关联度将含噪图像的像素重新分类,从而在保留尽可能多边缘的情况下除去噪声。实验表明该除噪方法具有简单易行、效果显著,而且能同时除去多种不同类型的噪声
提出一种基于活跃态的动态电源管理预测算法,充分利用了活跃态和空闲时间段的关系,并且加入动态自适应调节因子,不仅对较大变化的时间段预测误差小,而且能快速调整适应工作负载的变化。实验表明该算法优于传统算法。
将基于视图描述的形状特征和3D Zernike矩两种特征应用于三维模型检索,并且根据用户反馈在输出层进行融合。实验表明,采用混合形状特征在提高检索准确率的同时,也能保证检索效率。
除了技术因素以外,价格因素也会对网络的服务质量(QoS)产生较大的影响,根据排队论方法和经济学理论,假设价格的变化量与网络用户请求接入的变化量是确定关系,结合多优先级GPS调度模型,综合分析网络价格对网络性能以及对网络服务质量产生的影响,提出一种接近实际的网络QoS准入控制算法。仿真实验证明了算法的可行性。算法中价格的确定以适应各类流的丢包率指标和接入阻塞率指标为基础,得到了可以保证系统QoS性能
特洛伊木马作为一种新型的计算机网络入侵程序,比其他病毒对网络环境中计算机信息资源的危害都要大。提出利用木马的一个重要特征——自启动特性对其进行监控。通过挂接系统服务,对注册表和文件系统进行监控,从而实现木马检测。与传统的检测方法相比,这种方法能有效地检测已知的和新出现的木马。由于是在内核中实现监控,一般木马很难逃避这种检测。
随着我国电子政务建设的飞速发展,办公自动化软件在各级政府大量的推广应用,要求完备的办公自动化软件必须架构在一种高效而灵活的平台之上。以政务建设项目大连市委办公自动化系统为研究背景,以角色网络理论为技术基础,通过对政府办公自动化系统的需求分析,提出了一种基于角色网络理论的政府办公自动化开发平台的设计思想,并给出了实现该平台的关键技术。