自认证消息可恢复签名

消息可恢复签名是指验证人在验证签名正确性的同时能够恢复出签名消息,从而使得签名人把签名发送给验证人的时候不需要把被签的消息也一起传送过去．本文提出的自认证消息可恢复签名方案具有消息可以从签名中恢复出来的特点;计算量小,通信代价低;在电子商务的应用中,具有更安全、更实用的优点．     

关于诣零n-内射环

主要探讨了两种环的扩张的诣零n-内射性.首先证明了R∝R是左诣零n-内射的当且仅当对任意的δ,γ∈Rn,其中δ的每一个分量是幂零的,均有rRn(lRn(δ)∩(Rnδ:γ))=δR+γrR(δ).其次,证明了对任意的α,β∈Rn,并且α的每一个分量是幂零的,假设从αRn+βrRn(α)到R的每一个同态都能扩张到R的一个自同态,那么S=R∝R是右诣零n-内射的.最后,得到了如下的结果:如果n≥2,并且Tn(R)是右诣零n-内射的,那么R没有非零的幂零元.     

用HOARE逻辑证明C^＋＋程序的正确性

讨论了将ＨＯＡＲＥ逻辑应用于面向对象的程序设计语言Ｃ＾＋＋程序的正确性证明的相关问题,如类的正确性以及软件系统的正确性。     

个性化信息过滤技术

本文分析了个性化信息过滤及其实现系统的体系结构,讨论了用户需求文档及其应用的机制,分析了当前主要的过滤算法,并总结了国内外信息过滤的研究进展情况,提出了个性化信息过滤研究的重点问题。     

循环界函数的应用及求取方法

讨论了循环界函数在程序正确性证明和程序推导技术中的应用问题，提出了求取几类已知循环程序的界函数和面向目标的程序推导中循环界函数的方法．     

Power Builder的数据处理及其实例

讨论了Ｐｏｗｅｒ Ｂｕｉｌｄｅｒ中的数据窗口在编程中的作用，详细讨论了数据窗口的各种操作及利用ＳＱＬ实现数据的操作。