【摘 要】
：
摘 要 电子商务的流行与接受主要取决于下述属性：安全、原子、匿名和不可否认性。文章对现在流行的安全电子交易SET标准进行分析，指出SET协议存在不满足数字商品交易的原予性以及确认发送原子性等缺陷。井在原有SET基础上对其协议流程进行改进，使其不仅具有交易原予性，而且还使用交易双方具有不可否认性以及公平交易等特点。 关键词 电子商务 公平交换 交易原予性 SET协议 文章编号1002—
论文部分内容阅读
摘 要 电子商务的流行与接受主要取决于下述属性：安全、原子、匿名和不可否认性。文章对现在流行的安全电子交易SET标准进行分析，指出SET协议存在不满足数字商品交易的原予性以及确认发送原子性等缺陷。井在原有SET基础上对其协议流程进行改进，使其不仅具有交易原予性，而且还使用交易双方具有不可否认性以及公平交易等特点。
关键词 电子商务 公平交换 交易原予性 SET协议
文章编号1002—8331—(2003)20—0137—02 文献标识码A 中图分类号TN918
其他文献
摘 要 文章提出了可视化的基于事务流程的符号定义和描述方法，即单证流，控制流和数据流，三流合一的方法，用以扩展UML中的用例分析，以此推动特定行业的应用系统的需求描述和建模： 关键词 UML 事物流程 需求描述 OOA OOD 文章编号1002—8331—(2003)20—0062—04 文献标识码A 中图分类号TP31
摘 要 文章提出了一种改进的适合MPEC—4视频传输区分服务的模型。根据MPEC—4视频流特点和网络的拥塞程度，视频服务器中，采用笔者提出的区分服务标记算法。边缘路由器中，采用笔者提出的区分服务调度算法”，设计了一种新的区分服务调度器，它动态调节加权服务量，适合在lP区分服务网络中运用，降低实时变比特率突发业务的延时和抖动。实验结果表明，在网络带宽不能保证实时MPEG—4传输所需带宽时，采用该丈
摘 要 为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一，在这方面也有了不少探索。文章在过去的研究的基础上，给出了UML模型到COOZ规约的一种系统的转化方法。将UML模型转换到COOZ规约后，UML模型的推理验证就可以通过相应COOZ规约的推理验证实现。该方法不但为UML提供了精确的形式化语义基础，而且，提供了一种UMk模型推理的合理的机制。 关键词 统一建模语言UML CO
摘 要 音频场景分析技术对机器自动感知环境特征具有重要的意义。考虑到Mel频率倒谱系数MFCC(Mel frequen-cy cepstral coefficient)在一定程度上可以模拟人耳的听觉感知特性，因此，提出用MFCC作为音频识别特征，通过隐马尔可欠模型进行音频场景分析的方法，该方法对7种典型场景的识别率在90％以上。 关键词 场景分析 音频信号 HMM模型 MeI频率倒谱系
摘 要 敏捷制造对传统的工艺设计提出了异地协同设计的要求。为此，文章提出了工艺设计的三层体系结构，在此基础上，通过软件Agent技术的引入，设计了一个能有效实现异地协同设计的虚拟工艺设计系统，并构造了可嵌套的A肛nt联邦结构，来增强系统的柔性和可扩展性。关键技术在自主开发的商品化软件GS—CAPP系统中得以实现，并在实际应用中取得了良好的效果。 关键词 CAPP Agent Agent联
摘 要 文章主要是对MPEG—4校验模型(VM)关键技术中的运动编码和解码进行研究，并实现了运动编码和解码的算法。运动编码与解码对“无限运动估计”、“高级预测”、“重叠运动补偿”技术完全实现，并加入了MPEG—4独有的“重复填充技术”和“多边形匹配”。文中还对运动中遇到的问题做了详释，并提出了一些新的观点。 关键词 MPEC—4 运动 编码 解码 文章编号1002—8331—(200
摘 要 该文提出了一个判定作业车间调度(JSP)不可行解的简单方法，讨论了其在瓶颈移动排序方法(SBP)中的应用。给出瓶颈移动排序方法能求解JSP的充分必要条件，提出并证明了一种可求解任意JSP的简单有效的修正瓶颈移动排序方法。 关键词 作业车间调度 不可行解判定 瓶颈移动排序方法 环 修正瓶颈移动排序方法 文章编号1002—8331—(2003)20—0097—03 文献标识码
摘 要 Chent”和李凡[2]分别研究了Vague集之间的相似度量。笔者也在文献[3]中定义了一种新的相似度量。但这些相似度量均定义在有限论域上，对无限论域的情况均未作讨论。该文给出了Vague集之间的相似度的统一概念，基于信息处理的背景，给出了论域X=[a,b]上Vague集之间相似度的积分表示，这些结果可以在模式识别、决策科学等领域中得到应用。 关键词 Vague集 相似度 积分表
摘 要 文章根据排列与组合可计数的特点，给出了利用位序法求标准拉丁方的算法。在实现此算法时，构造了一套字符化的大整数运算系统，解决了随拉丁方阶数增大位序值剧增在计算机上无法表示或处理的问题。通过在分布式并行计算环境MPIBD中的实验，给出了所有4阶与5阶标准拉丁方。 关键词 位序算法 拉丁方 标准拉丁方 分布式并行计算环境 文章编号1002—8331—(2003)20—0107—03
摘 要 文章介绍了微焦点X射线成像扫描控制与数据获取系统的原理、软硬件结构以及实现技术。该系统通过串口通讯协议，实现了实时图像采集的乎动扫描控制、自定义扫描轨迹的自动控制，通过图像采集卡采集和存储微焦点X射线图像，为微焦点成像分析处理的研究提供了良好的实验平台。 关键词 X射线成像 微焦点 扫描控制 串口通讯 图像采集 文章编号1002—8331—(2003)20—0113—02