摘要：安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。

摘要：该文在基于对象的分布式实时系统调度模型研究的基础上,对G-Net模型进行了扩展,即给出了一种基于时间约束G-Net的分布式实时系统容错模型。该模型提供了容错和模块化机制,降低了分布式实时系统设计的复杂性,提高了系统的可维护性,有助于大型复杂可靠的分布式实时系统的设计。最后,该文还给出了基于时间约束G-Net模拟器的结构。

摘要：在分析国内外平衡所存在的优缺点的基础上,设计了一种新的平衡头和自动平衡控制系统。它具有结构简单,在运行中进行自动平衡,平衡速度快、平衡精度高等优点。适用于运行中,不平衡情况经常发生变化的旋转机械中。

摘要：对Web日志关联规则挖掘算法进行了研究,普通的关联规则挖掘算法发现的规则数量太多,里面含有大量用户不感兴趣的规则,规则知识很难为用户所使用。根据网站拓扑结构和矩阵迭代技术实现了一种有趣关联规则(IMIA)算法,能够快速迭代求解任意两个页面间的关联概率,对关联规则进行有趣度评价,得出有趣度高的规则。实验结果表明,该算法是有效的,可以进一步改善网站性能,提高智能服务质量和性能,从而很好地应用到电子商务领域。

摘要："数字化管道"是当前国内外油气管道管理技术应用的热点。通过引进ArcGIS和skyline两款国际领先的软件,并利用3S(RS、GPS、GIS)技术构建了集管道完整性数据管理、GIS业务应用、管道智能巡检、应急分析决策及站场三维可视化于一体的华东成品油数字化管道系统。该系统采用先进的技术架构和设计理念进行规划设计,强调数据的服务共享;关键技术包括基于SOA的服务体系、松耦合方式集成及OPC接口支持。华东成品油管道覆盖江浙沪两省一市,其海量数据库是否完备是系统建设成败的关键。通过该系统的实施,为数字化管道提供了数据规范和管理规范,实现了管道全生命周期内各类资源的有效利用以及完整性数据管理,为管道运维提供了科学的管理和有力的支持。未来将重点从管道完整性的风险识别、高后果区分析、风险综合治理方案设计等方面对系统进一步完善。

摘要：在应用中,当关键原子值发生多次形式转换时,需要进行多次认证测试。鉴于此,本文引入了关键分量(Key Component)的概念,提出了多重认证测试(Multiple Authentication Test)方法。使用该方法重新设计了Woo-Lam协议,通过两个"挑战-响应"回合,确保主体角色的非对称性和响应者对发起者的身份认证。设计出的Woo-Lam协议不仅避免了原协议经认证测试方法改进后存在的缺少主体标识的缺陷,而且避免了Abadi和Buttyan等人分别对原协议改进后存在的两个重放攻击。

摘要：为了解决通信范围建模为圆形区域且存在相互重叠的无线传感器网络中移动sink路径规划这一NP难问题,提出了一种新的基于萤火虫群的路径规划方法.首先依据问题的特性对可行解空间进行了压缩;然后为提高算法在高维解空间的搜索效率,对离群萤火虫粒子设计了变异操作并设计了个体逐维移动的方式,提高了算法的求解精度并加快了算法的收敛速度.通过仿真实验分析及与其他算法的对比,验证了该方法的有效性.

摘要：针对落铁台车液压阀站采用节流调速方式改变执行机构速度所存在的问题,利用三维建模软件Solidedge设计阀站整体模型,提出改进措施。经技术改造新设计了液压阀站,主要通过改变比例溢流阀的阀口大小来适应不同工况所需要设定的最高压力值、改造后的液压阀站不但提升了技术水平,降低了整机设备的运行及维修成本,缩减了维修时间,而且节约了能源。