论文部分内容阅读
本文研究电子商务系统的支付问题,讨论了简单网络支付协议(SNPP),应用时间自动机(TA)对该协议进行建模,目标是对其性质进行分析并保证支付系统的可靠实现.
简单网络支付协议的形式模型
【摘 要】
：
本文研究电子商务系统的支付问题,讨论了简单网络支付协议(SNPP),应用时间自动机(TA)对该协议进行建模,目标是对其性质进行分析并保证支付系统的可靠实现.
【机 构】
：
北京邮电大学计算机科学与技术学院
【出 处】
：
北京邮电大学学报
【发表日期】
：
2002年4期
其他文献
对滇西地区采集到的三种蝗虫突缘拟凹背蝗 Pseudooptygonotus prominemaginis Zheng et Mao 昆明拟凹背蝗 P.kunmingensis Cheng 和苍山拟裸蝗 Conophymacris canshanensis Z
运用神经网络的基本原理，结合闽北地区气象和环境因子及松墨天牛发生量的实测数据，建立神经网络模型．结果表明：所建立的BP神经网络模型，具有满意的拟合精度和预测精度．2个预留调查
荧光法是一种专一性强、灵敏度高、选择性好的分析方法,其激发光源广泛,发光方式较多,可以对多项参数进行分析.有效地利用荧光法研究啤酒领域中的一些微量成分或指标,有利于
目的:探讨颈椎病X线诊断价值.方法:收集33例经临床及X线确诊的颈椎病病例,采用颈椎六位片,结合文献进行分析.结果:①骨质增生33例;②生理曲度改变33例;③椎间隙变窄24例;④韧