模型论弱力迫的证明论特征

推广形式的模型论弱力迫关系适合Ｇｅｎｔｚｅｎ证明的一些右规则，因而模型论弱力迫关系可以用证明论性质刻画。     

光学算符法与矩阵法的等效性

本文从光学位置坐标算符和正则动量算符的定义以及理想光学元件的作用算符的幺正性假设出发,根据理想光学元件的矩阵表示导出光学算符(?)的表达式。又指出由(?)的表达式也可以得到相应的矩阵表示,从而证明了光学算符法与矩阵法的等效性。最后说明了光学算符(?)的物理意义。     

Another ID-Based Proxy Signature Scheme and Its Extension

So fur, the security of many proxy signatures has seldom been considered in a formal way and most of them cannot satisfy nonepudiation. In this work, a novel ID-based （Identity-based） proxy signature scheme is proposed by combining the proxy signature with ID-based public cryptography, and they formalize the notion of security for ID-based proxy signature schemes. And show that the security of the proposed scheme is secure. Compured with other proxy signature schemes, it does not need a secure channel. Thus, it is particularly suitable for the unreliable network computation environment. Finally, they extend proposed scheme to a proxy multi-signature which has the following advantages （1） the size of proxy multi- signature is independent of the number of delegating users; （2） the computation cost of proxy multi-signature only need two Weil paring.     

以反权威之名行用权威之实——从西方修辞的角度看王朔批判话语

痞子文学代表人物王朔在世纪之交的再次走红常常被贬斥或轻描淡写为“自我炒作”或“哗众取宠”。但是,如何“争众赢宠”却不仅是西方修辞学关注的中心议题,也是包括王朔批评者在内的话语实践者孜孜以求的目标。王朔看似只有“骂”味的话语实践中其实蕴含了“以反权威之名行利用权威之实”这一修辞策略。王朔高调批判诸权威的同时,却通过投射适当的修辞人格消抹其自身同样具有的权威身份,并通过诉诸“事实”这一国人广泛认同的权威、主动承担“举证责任”、利用权威分裂又互相借重的状态而实际上利用了权威来使自己的话语获得“授权,”最终实现“自我确立”。     

基于串空间的Kao Chow加密协议形式化验证

Kao Chow加密协议是由Kao和Chow提出的,他们利用BAN逻辑证明了该协议的认证性,但没有证明该协议的保密性,而且没有说明协议参与实体间得到的新会话密钥是否一致.事实上,由于BAN逻辑自身的缺陷,它无法用于证明加密协议的保密性.基于此,给出了Kao Chow加密协议的串空间模型,这个模型不仅验证了该协议的认证性,还验证了它的保密性及新会话密钥的一致性.     

存在刚体模态的杆、梁连续系统某些振荡性质的补充证明

针对存在刚体运动形态的杆和Euler梁,借助共轭系统的概念和性质,本文证明了它们都具有如下定性性质：设ui（x）是存在刚体运动形态的杆或Euler梁的连续系统的第i（i ＝1,2,…）阶位移振型,则对任意的2≤p≤q和不全为零的实常数ci（i ＝p,p ＋1,…,q）,函数u（x）＝cpup（x）＋cp＋1up＋1（x）＋…＋cquq（x）,0＜x ＜l在区间（0,l）内的节点不少于p -1个,而其零点不多于q -1个。     

基于背包和椭圆曲线相结合的签名方案

背包问题和离散对数问题都是著名难解问题,椭圆曲线密码体制具有很高的安全性.本文根据背包问题的特性和椭圆曲线公钥密码体制的特点提出了一种基于背包和椭圆曲线相结合的签名方案,该方案经过改动后还可以用于零知识证明,在实际应用中该方案具有很高的安全性、可靠性.