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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

GD-约束集最小覆盖求解的研究

首先对GD－约束集中冗余的GD－约束进行了分类，然后给出了一个判断GD－约束是否冗余的充要条件。在此基础上，经出了一个CD－约束集成为最小覆盖的充要条件。最后，提出了一种求解GD－约束集最小覆盖的算法并对该算法进行了时间复杂性分析和算法正确性证明。     

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

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

拓扑传播学初探

本文将拓扑学方法应用传播学,开辟了传播学的一个新方向--拓扑传播学.本文给出了信息传播渠道的一个严格数学定义,分别讨论了不同传播渠道和不同传播空间之间的同伦关系,证明了渠道同伦和传播空间同伦都是等价关系.据此,可以对不同传播渠道和不同传播空间进行等价聚类.最后讨论了可形成"舆论点"与"舆论区域"的传播空间特点,得出了"舆论"的一个严格数学定义,提出了舆论是一种数学映射的观点,并给出了舆论形成的充分必要条件.本文把Osgood传播系统看作是一个拓扑空间,在此基础上建立了Osgood传播系统的基本群模型,较为详细地讨论了Osgood传播系统的拓扑性质,得出了两点重要推论:一是Osgood传播系统的基本解是拓扑不变量;二是可形成舆论的Osgood传播系统是单连通的.     

An architecture for mobile database management system

In order to design a new kind of mobile database management system (DBMS)more suitable for mobile computing than the existent DBMS, the essence of database systems in mobile computing is analyzed. An opinion is introduced that the mobile database is a kind of dynamic distributed database, and the concept of virtual servers to translate the clients' mobility to the servers' mobility is proposed. Based on these opinions, a kind of architecture of mobile DBMS, which is of versatility, is presented. The architecture is composed of a virtual server and a local DBMS,the virtual server is the kernel of the architecture and its functions are described. Eventually,the server kernel of a mobile DBMS prototype is illustrated.     

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.     

关于右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是Boole格的充要条件是格L是下连续的分配格,且任意非零元只有零超因子.     

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

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

Richart模

本文引入左Richart模的概念．设M是左R模,若EndR(M)中任意元φ在M中的左零化子是M的直和项,则称M是左Richart模．左Richart模是左Richart环的推广．在文章中我们给出了左Richart环和左Richart模的等价刻画条件．探讨了Baer模和左Richart模的关系及左Richart模的性质:Baer模是左Richart模,而左Richart模不一定是Baer模;左Richart模的直和项是左Richart模,但左Richart模的直和不一定是左Richart模,我们给出了左Richart模对直和封闭的等价条件;并且证明了有限生成的Abel群是左Richart模当且仅当它是半单模或无挠模．此外,我们还探讨了左Richart模与一些重要的环、模类之间的关系,得到了左Richart模的自同态环是左Richart环,以及左Richart环的中心是VN-正则环．特别地,当模的自同态环是交换环时,模是左Richart模当且仅当它的自同态环是VN-正则环．