一种二进制域非相邻表示型的生成算法

为了节约存储空间,通过分析非相邻表示型的定义与性质,提出一种二进制域基于字存储的非相邻表示型的多位生成算法。该算法将数字生成非相邻表示型的同时重点记录非零值及其在传统序列中所在位置,且将一个或多个非零值及其位置信息存储在一个存储字中,减少了存储字。结果表明,当窗口宽度为3,标量k的二进制长度为283时,存储k的非相邻表示型平均可节省75%左右的存储单元,访问内存71次。窗口宽度越大,需要的存储单元个数越少,访问内存的次数也越少。

关于代数的分离扩张和表示型

研究了代数的分离扩张和表示型;证明了:如果A和B是Artinian代数且 B／A是双分离扩张,则A是极小无限表示型的当且仅当B是极小无限表示型的．

代数表示型的判定

确定一个代数的表示型是代数表示论中的主要任务之一．本文给出了无限表示型代数的某些判定方法，通过一个代数的ＡｕｓｌａｎｄｅｒＲｅｉｔｅｎ箭图的某个分支上仅仅一小部分的一些特性来推断该代数的表示型．

关于极小无限表示型的incidence代数

设k是一个代数闭域,A是一个有限维k-代数,利用quiver方法给出了极小无限表示型incidence代数的分类并讨论了它的单连通性.

基于二进制的相邻表示型多位生成算法研究

信息安全一直是研究热点,而椭圆曲线加密在该领域占有举足轻重的作用,椭圆曲线的标量乘又是快速实现的关键点,其中二进制数的非相邻表示型(NAF)被应用在该点运算上,通常的NAF算法是一位一位的生成相应数位,而这在时间上产生极大的浪费.为了节省运算时间,分析NAF定义与性质,提出一种基于二进制的NAF多位生成算法,一次生成多位NAF值,减少了操作次数,替换了费时运算,从而节省了运行时间.经过分析及建模验证多位生成算法较原算法时间效率提高50%左右.

无限表示型代数的判定

判定代数表示型是代数表示论中的一个重要课题。本文给出了无限表示型代数的某些判定方法，根据代数的某既约映射链和路来推断代数的表示型。

可驯表示型与野表示型bocs

简化了Drozd关于极小野bocs的一个著名定理的证明,这使得该证明中所构造的矩阵的阶数由43降低到20.为了刻画可驯表示型bocs的微分,给出了所有可能的极小野bocs,并讨论了可驯表示型bocs的首箭的微分形式.

具1-关系的正规乘基的有限表示型连通基本代数

本文确定了所有的具有１关系的正规乘基的有限表示型连通基本代数．

在C^n空间有界域上具有全纯核的第Ⅰ型积分表示的拓广

本文得到Ｃ~ｎ空间中有界域上全纯函数的一个积分在示，它是第Ⅰ型积分表示的拓广，其特点是在积分核中含有ｎ—１个固定点，且积分核关于变量Ｚ是全纯的。

广义Calderon型表示定理及其应用

给出 Rn 上一个 Calderon型表示定理 ,利用这一定理得到 Hardy空间的广义面积积分特征 .

结合意图与关键词的句子级交互文本匹配模型

文本语义匹配作为自然语言处理中的基础任务之一,在检索、问答和推荐等许多领域中都有所应用。传统的文本匹配大致分为基于表示的结构和基于交互的结构,其中基于表示的结构往往缺乏两个句子之间的信息交互,而基于交互的结构容易忽视句子全局的表征信息。针对以上问题,提出了一种结合意图与关键词的句子级交互文本匹配模型,首先采用基于表示的模型得出两个句子的全局匹配概率,其次利用远程监督将两个句子中的意图与关键词分离,两两分别进行匹配,而后引入基于注意力的交互模块对两个句子整体进行句子级的语义信息交互,最后结合三个模块得出最终的匹配结果。实验结果表明,模型在数据集MRPC上准确度提升0.3%,QQP上准确度提升0.4%,验证了所提出的模型相较于基线模型能够提取更丰富的语义特征,提高文本匹配任务的效果。

ZQB-2004型转辙机表示缺口监测报警系统

随着铁路列车的提速, 提速道岔及转辙机设备大批上道。作为铁道部大力推广的新项目———转辙机表示缺口监测报警设备, 现已有5家单位的产品正式批准上道使用。本刊集中了这5家生产研制单位, 分别就其各自产品的结构、特点以及运维方法等进行介绍, 以便运营、维护单位选型、应用, 管好、用好。

SI-NS程序图型化表示方法

“程序图型化表示”是旨在提高程序可读可理解性的一项极具潜力和应用前景的技术 ,其研究得到了发达国家政府和有关部门的大力资助 .提出了 SI- NS图表示方法 ,并与日本的 PAD、德国的 NS图及美国的 CSD作了比较 . SI- NS图技术在软件开发和教学实践中得到良好应用 .希望能引起软件界等有关部门对这项技术的关注和重视 .

手性碳原子构型判断和表示——手模型法

介绍一种以手为模型来判断手性碳原子构型的方法和表示,从而简化了使用原子次序规则来对光活性物质的命名。方法简单、实用、便于掌握。效果很好。

关于立体异构体的构型表示方法及其相互转换规律

本文系统地论述了立体异构体的几种构型表示方法。归纳了迄今尚未完全条理化的有关各种构型表达式间的相互转换规律。澄清了目前文献中某些表达方式的错误。

A型代数的多重张量代数表示有限的充分必要条件

本文考虑A型代数的多重张量代数的表示型,给出多重张量代数表示有限的判定条件.此外,本文还为一些表示有限张量代数提供了用于计算不可分解模同构类数的计数公式.