Atomic Electronic Contract Protocol Based on Convertible Signature

A new class of atomicity, namely contract atomicity is presented. A new technical strategy based on convertible signature and two-phase commitment is proposed for implementing atomicity of electronic contract protocol. A new atomic contract signing protocol is given out by using EIGamal like convertible undeniable signature and commitment ofconversion key, and another new atomic contract signing protocol is brought forward by using RSA based convertible undeniable signature scheme and commitment of conversion key. These two new protocols are proved to be of atomicity, fairness, privacy, non repudiation.     

关于方程组＝f（t，x）的零解的一致稳定性的一个充分条件

关于方程组＝ｆ（ｔ，ｘ）的零解的一致稳定性的一个充分条件刘朝杰（青岛大学，青岛２６６０７１）关键词：一致稳定性５！言考察方程组又设人ｆ，Ｘ）保证组（１）初值问题解的唯一性和对初值的连续性．设人ｃ，０）一０，定义纯量函数设ｘ（ｔ）一ｘ（ｔ，ｔ。，ｘ。...     

一致与非一致复杂类的模型论性质

自从1965年J.Edmonds和A.Cobham提出P-NP问题以来已有30年的研究历史。目前环绕这个问题的大量学术论文和研究专著已使它发展成为计算机科学中最新和最活跃的研究领域之一,近年来,人们除了对由各种类型的图灵机确定的复杂类(如P,NP,PSPACE等)进行研究外,对一些用其他方法定义的非一致复杂类(如P/poly,P/log,NP/poly等)也越来越有兴趣,而且许     

关于拉氏积分计算中的条件验证谈《微积分学教程》中的一处错误

菲赫金哥尔茨著《微积分学教程》中在计算拉普拉斯积分中称根据更序定理可施行积分次序的变更以求其值,原书未作验证。本文指出该积分不满足更序定理的条件,但在去掉积分变量t的下限O这一点后,积分就满足定理的条件了,然后通过极限步骤以求积分的值。     

具有变时滞的偏泛函微分方程平凡解的一致渐近稳定性

运用Ｒａｚｕｍｉｋｈｉｎ技巧．对两类具有变时滞的偏泛函微分方程进行了讨论．获得其平凡解一致渐近稳定的充分判别条件．     

以太网建设中的关键技术问题

以太网拥有最大广泛的用户,以太网新技术的不断出现又给传统以太网注入了活力。深入理解以太网技术,对改造原有以太网和构造新网都有重要意义,本文论述以太网建设中的重要技术问题及建网实务。     

基于H.263协议的极低码率视频编码系统的一种实现

提出了基于Ｈ．２６３协议的极低低码率视频编码系统的一种具体实现,详细地讨论了码率控制算法和运动估计的搜索算法。其中该系统采用的自适应码率控制方法,能够动态地控制码率到指定的数值。提出的一种局部最优搜索算法,与全局最优搜索相比,大大地减少了搜索时间,而信噪比相差不大。     

一致平滑可分的Banach空间中K-正定算子方程的逼近解(英文)

设Ｅ是可分的一致平滑Ｂａｎａｃｈ空间,Ａ：Ｄ（Ａ）Ｅ→Ｅ是一个Ｋ－正定算子。构造了一个迭代序列强收敛于算子方程Ａｘ＝ｆ（ｆ∈Ｅ）的唯一解。所做工作推广了Ｃｈｉｄｕｍｅ与Ｏｓｉｌｉｋｅ,Ｃｈｉｄｕｍｅ与Ａｎｅｋｅ等人的结果。     

俄、韩签署协议就太空探索展开合作

俄罗斯与韩国于前些时候签署了一项双边协议，批准在韩国建造一个航天中心，并训练一名在国际空间站上执行任务的韩国宇航员。     

无线局域网的Wardriving入侵检测

为了对无线网络进行入侵检测,设计并实现了无线网络安全监控系统.利用Libpcap函数对无线传输的原始包进行捕获;根据IEEE 802.11 MAC层协议,对原始包进行协议解码;利用统计分析检测方法,对基于主动扫描的Wardriving入侵进行检测.测试结果表明,该系统能及时发现Wardriving入侵.