论文部分内容阅读
该文介绍了ＳＥＴ的付费业务流程，对ＮＤＬ的逻辑框架进行了扩展，即针对ＳＥＴ协议，增加了新的公理，重新给出积累规则的定义。在此基础上，用对ＳＥＴ中的几个重要的范例进行的逻辑验证，说明了ＮＤＬ在验证电子商务协议上的重要性，并初步提出了积累规则中需要进一步研究的问题。
电子商务安全协议及其非单调动态逻辑验证
【摘 要】
：
该文介绍了ＳＥＴ的付费业务流程，对ＮＤＬ的逻辑框架进行了扩展，即针对ＳＥＴ协议，增加了新的公理，重新给出积累规则的定义。在此基础上，用对ＳＥＴ中的几个重要的范例进行的逻辑验证，说明了ＮＤＬ在验证电子商务
【出 处】
：
软件学报
【发表日期】
：
2000年2期
【基金项目】
：
国家 8 6 3高科技项目基金! (No.86 3- 30 6 - ZD- 10 - 0 2 )资助
其他文献
该文提出了基于多 Agent的面向任务集成的自组织结构 IRASO(intelligent robotic architecture withself- organization) .该系统利用事件 -势态估计 -状态变化协调多 Agent
复合床生态滤池(MMEEF)是利用由微生物和蚯蚓为代表的微型动物共同组成的人工生态系统,是对城镇污水中的污染物进行降解处理的新型污水处理技术.滤床由植物性填料层和惰性填
提出了广义模糊ＣＭＡＣ（ｃｅｒｅｂｅｌｌａｒ ｍｏｄｅｌ ａｒｔｉｃｕｌａｔｉｏｎ ｃｏｎｔｒｏｌｌｅｒ）神经网络，并导出了其学习的充分条件。最后，证明了广义模糊ＣＭＡＣ在平方误差意义下的学习收敛性，研究结果为广义模糊ＣＭＡＣ的广泛应用提供了基础。
提出一种基于正则化方法的高效图像复原技术.正则化残量的能量越小,则恢复效果越好,基于此,利用小波变换定性地分析如何选取正则化算子,利用随机理论得到正则化残量的能量期望值,通过最小化这个期望模型确定正则化参数,从而得到正则化图像.定性分析表明,在通常情况下应选取低阻高通的正则化算子.实验结果表明,该恢复技术比传统方法的恢复性能要好,恢复效果接近最佳且性能稳定.
全国技工学校电工类通用教材《数学》与全国技工学校通用教材《数学》第二版相比,突出了数学课为专业基础课、为专业课服务的特点,更密切地配合了电工专业基础课、电工专业课
给出了上下文无关文法（ｃｏｎｔｅｘｔ－ｆｒｅｅ ｇｒａｍｍａｒ，简称ＣＦＧ）产生式集的一种划分方法，可将产生式分为两类，使用一类产生式进行推导时，推导过程将无限进行下去；使用另一类进行推导时，推导过程将迅速结束。证明了ＣＦＧ句
Ｓ－盒是许多密码算法的唯一非线性部件，它的密码强度决定了整个密码算法的安全强度。但是对于大的Ｓ－盒的构造比较困难，而且软硬件实现也比较难，目前比较流行的是８×８的Ｓ－盒。基于ｍ－序列
以赣江流域为例,对稀疏数据条件下复杂流域水质模型的建立和参数识别进行了探讨.采用了结构相对比较简单的CSTR模型,将其参数划分为水文参数和水质参数,并分别进行识别.水文