改进的不使用双线性对无证书签密方案

签密可以在一个逻辑步骤内实现加密和签名2个功能,与传统的先加密后签名或先签名后加密相比,节省了计算量。与使用双线性对的密码方案相比,不使用双线性对的密码方案在计算效率上有着很大的提升。提出了一种改进的不使用双线性对的无证书签密方案,在随机预言模型下对方案的安全性进行了证明,并对方案进行了实验分析。     

全息存储通道中的一种有效维特比检测器的设计

基于现有的在全息存储通道中使用的6：8等重调制码的维特比检测器(Viterbi detector,VD)方案,提出了一种能显地降低2码元交换错误事件发生率的VD方案(称之为PVD方案)．仿真实验结果显示,与原VD方案相比,使用3比特量化器的PVD方案,在原始误码率为10^-3处能获取3．4dB的检测增益．此外,在软件平台MAX Plus Ⅱ上验证了用硬件描述语言设计的PVD方案,为使用复杂可编程逻辑器件实现PVD方案奠定了基础．     

基于身份的代理多重签名方案

设计了一个使用双线性对的基于身份的代理多重签名方案,并对此方案的正确性和安全性进行了分析.该方案具备了基于身份的密码系统的证书管理和存储开销小的优点,并且由于双线性对的使用,具有短签名和短密钥的优点.     

基于XML的网上数学表达式显示技术

提出了一种WEB上数学表达式显示技术的实现方案。该方案克服了以前网上数学表达式多为图形或使用特殊插件的弊端,使用IBM公司的XML4J解析器解析MathML描述的文档,用Java语言实现方案,以Java Applet的形式完成了与常用网页开发工具的集成。     

股票交易方案评估系统的设计与实现

描述一个使用Matlab6.1的金融时序工具箱来实现的股票交易方案评估系统,该系统提供一套易于使用的交易方案描述语言,投资者可以使用该语言将交易方案程序化.     

一种不使用陷门单向函数的公平电子货币方案

本文提出了一种新的公平电子货币方案.该方案的优点是不使用陷门单向函数,不同于一般的电子货币方案.新方案使用了知识签名的方法,所构造的电子货币满足不可伪造性,不可联系性,对合法消费满足匿名性,对非法重复消费利用匿名的可撤销性可以实现追踪性.电子货币的支付可以在线也可以离线执行.     

生产方和使用方博弈行为的计数1次抽检方案

通过对两类错误说明,定义出生产方和使用方风险率,运用博弈论思想分析双方的博弈行为,找出了博弈行为的结果对抽样检验方案的影响,用计数1次抽检方案的基本原理和推导过程,展示博弈结果对抽检方案的定量描述.解释了在现实生活中抽样检验方案实施合同中的合格质量水平和不合格质量水平以及生产方和使用方风险率的不同,是由于生产方和使用方的博弈能力不同所造成的,提供了一种分析的思路.     

软件UART在储罐测量系统中的应用

介绍了在储罐测量系统中使用软件UART的实现方案。使用该方案实现的软件UART,不但通信可靠性高,程序的移植性好,而且因无需选用多串口单片机,降低了系统硬件的开发成本。     

营口港装船机机器房吊装工艺研究

针对营口港装船机总装过程中装船机机器房的吊装难题,根据营口港装船机现场总装进度安排,结合现有的机器房总装方案,提出使用1600T浮吊吊装和1300T浮吊吊装两种方案,分析两种方案的合理性,结合现场总装条件,合理调整总装方案,创新提出了双门机吊装机器房方案,并对方案进行理论分析和模拟。通过现场跟踪,最终方案成功实施,从而大大节约了使用浮吊吊装成本,为以后项目大机器房吊装方案提供参考。     

一种基于测试数据两维压缩的BIST新方案

为压缩内建自测试(BIST)期间所需测试数据存储容量,提出了一种新的基于测试数据两维压缩的BIST方案。建议方案首先使用多扫描链相容及重排的方法对测试集进行宽度压缩,然后使用折叠计数器方案进行长度压缩,该建议方案的结构与标准的扫描设计是相容的;试验结果表明,与其他BIST方案相比,建议方案的测试数据存储容量和测试时间都大量减少。     

冠状系统R-旋转图连通的充要条件

六角系统的R-旋转图是1棵有向根树,但冠状系统的R-旋转图是一个有向森林.其底图不一定连通.如果冠状系统是基本的,已经证明其R-旋转图至少包含2棵有向根树.利用有向根树问的一种乘法运算,证明了一个冠状系统的R-旋转图为1棵有向根树当且仅当该冠状系统的每个基本分支都是六角系统.     

Some Characterizations of GVNL Rings

A ring R is called a GVNL-ring if a or 1-a is π-regular for every a∈R,as a common generalization of local and π-regular rings.It is proved that if R is a GVNL ring,then either(1-e)R(1-e) or eRe is a π-regular ring for every idempotent e of R.We prove that the center of a GVNL ring is also GVNL and every abelian GVNL ring is SGVNL.The formal power series ring R[x] is GVNL if and only if R is a local ring.     

命题逻辑中极大和谐理论之集上的拓扑与Cantor三分集

从结构上清楚地描述了极大和谐理论的构造,证明了一个理论是极大和谐的当且仅当它是文字序列的逻辑闭包;在全体极大和谐理论之集上通过自然的方式引入了一种紧Hausdorff拓扑,证明了所得拓扑空间与Cantor三分集同胚.作为应用,给出了命题逻辑系统完备性的一个简单证明.     

强p-闭群

设p为一素数,群G称为强p 闭群,如果G之子群Gp正规于G且商群G／Gp又是幂指数整除p 1的交换群.讨论了强p 闭群的性质并且得到了以下定理.若群G为强p 闭群,则如果p∈π(G),那么p为π(G)的最大素因子,如果p π(G),那么p>q( q∈π(G));如果G／Φp为强p 闭群,则Gp G且G／Gp是幂指数整除p 1的群;G是强p 闭群充要条件是G／Φp是强p 闭群且G′是p 群.     

有限群是E．R．群的两个充分条件

设G是有限群，文章中给出了G是E．R．群的两个充分条件。证明了若G的一个Sylow—P群P是循环群，且G’≤P，则G是E．R．群。研究结果推广了著名的定理。     

完备格中的超因子

给出了超因子元的概念,然后讨论了完备格中超因子的性质,得到了一个超因子元是连续并既约元的一些等价条件.运用超因子刻画了有补模格的部分结构,并得到了一个完备格L是Boole格的充要条件是格L是下连续的分配格,且任意非零元只有零超因子.     

Morphic环的一些研究

主要刻画了在一定条件下的morphic环与其他一些环的关系,证明了如下的主要结果:1.若R是左拟duo环,且R是GP-V-环,则R是morphic环.2.若R是GP-V-环,则以下等价:(1)R是强正则环(2)R是约化的morphic环(3)R是半交换的morphic环(4)R是2-素的morphic环.     

关于右Serial环是Goldie环的几个结果

本文主要证明了下列结果：1设R是半素右Serial环，且满足下列条件之一：1）R是右非奇异环;2）R是Duo环;则R是右Goldie环。2、设R是右Serial环，若R又是VonNeumann正则环，则R是右Goldie环。3、设R是右Serical环，且是右非奇异的，若任意单在R-模是P-内射模，则R是右Goldie环。     

L-双拓扑空间中的B-配仿紧性

在L-双拓扑空间中引入B-配仿紧性,证明这种仿紧性是B-配紧性的推广,并且具有一些好的性质.比如,对双闭子集遗传,在双强同胚映射下保持不变,在一定条件下B-配紧集与B-配仿紧集的乘积是B-配仿紧集,同时证明了B-配仿紧的双T2-空间既是双正则空间也是配正则空间.     

关于幂零群的两个结果

可解群是有限群的一个重要研究领域,幂零群是一类特殊的可解群.利用幂零群和可解群的性质,将可解群的一个结论进行推广,给出了幂零群的一个充分条件.此外,对于幂零群的一个已知结果,本文提供了一个新的证明方法.