论文部分内容阅读
文中将形式化方法,即有穷自动机理论分析方法应用到电子商务支付协议的研究中,证明了ISI协议不满足支付过程的公平性,在此基础上提出了具体的修改办法。
基于有穷自动机模型的电子商务支付协议公平性研究
【摘 要】
：
文中将形式化方法,即有穷自动机理论分析方法应用到电子商务支付协议的研究中,证明了ISI协议不满足支付过程的公平性,在此基础上提出了具体的修改办法。
【机 构】
：
武汉大学,武汉大学
【出 处】
：
计算机应用
【发表日期】
：
2004年06期
其他文献
在对文本扫描输入的过程中,文本图像不可避免地会发生倾斜,倾斜校正将为图文分割、文字识别等后续处理工作创造良好的条件。提出了一种基于Hough变换的检测图像倾斜度的方法,为了克服Hough变换计算量大的缺点,该方法首先选取局部代表性子区域并提取其图像水平边缘,然后对提取的水平边缘进行两级Hough变换,从而实现了准确性与快速性的很好结合。
传统的图像滤波器在抑制噪声的同时会丢失图像中的边缘和细节。借鉴遥感图像聚类方法,并对其加以改进,提出空间聚类方法。空间聚类方法重视图像空间分布模式的判别与保护,可有效分离出有噪图像中对视觉效果影响较大的噪声。在信噪分离的基础上,对噪声点加以滤波操作,对相对无噪声像元点则采用加权均值融合处理。实验证明,此方法一方面保证了图像的去噪效果,另一方面最大可能地保存了图像中没有被噪声污染的边缘和细节信息,并
通过文献法、问卷法和走访调查,分析了江西东北部体育旅游资源开发的现状和存在的问题,提出进一步开发与利用体育旅游文化资源的战略与对策,积极推动体育旅游文化资源的创新,