两两NQD列部分和的不等式及弱大数律

对两两NQD列的部分和Sn，通过建立其尾概率不等式，得到了Sn的p阶矩的上界估计和Sn尾概率的指数上界，对不同分布两两NQD列，研究了服从弱大数律的充分条件，使独立同分布情形的相应结果成为推论或特例。     

涉及差分分担值的整函数唯一性

研究了Brücke猜想的差分模拟.利用Borel引理以及Nevanlinna值分布理论中关于周期函数的性质,将满足条件的整函数级大于等于1时可能出现的各类情况一一排除,再通过已证明的有限级整函数唯一性结论,得到了超级小于1且具有Picard例外函数的整函数及其差分CM分担0时这个整函数所具有的形式.此外,还利用了Nevanlinna值分布理论关于级的一些结论,从而使Borel引理可以在定理证明中反复应用,此方法适用于分担值以及某些差分分担周期函数的情况.     

基于胶囊网络和注意力机制的智能合约漏洞检测方法

近年来,随着智能合约的数量越来越多,因合约漏洞而造成的经济损失愈发严重,智能合约的安全性越来越受到广泛的关注。基于深度学习的漏洞检测方法能够解决早期传统智能合约漏洞检测方法检测效率低、准确率不足的问题,但大多现有基于深度学习的漏洞检测方法都是直接使用智能合约源代码、操作码序列或字节码序列作为深度学习模型的输入,会因引入过多无效信息而削弱有效信息。为此,文中提出了一种基于胶囊网络和注意力机制的智能合约漏洞检测方法。考虑到程序的执行时序信息,文中通过提取智能合约的关键操作码序列作为源代码特征,然后利用胶囊网络和注意力机制的混合网络进行训练,其中胶囊网络模块用于提取智能合约的上下文信息以及局部与整体的联系,注意力机制用于给不同的操作码按照其重要程度分配不同的权重。实验结果表明,文中提出的算法在智能合约数据集中的F₁分数和准确率分别为94.48%和97.15%,与其他传统检测方法和深度学习方法相比有较明显的性能提升。     

桥式起重机的变频调速新方法

本文介绍了一个控制桥式起重机的变频调速系统，它根据桥吊的特殊性能要求，采用矢量控制方式，具备平滑调速、能量回馈、顺序制动等功能。本控制系统已在某电厂发电机房桥吊上投入使用，运行效果良好，完全满足用户要求。     

代数表示型的判定

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

从EST出发克隆人基因组Xq13区段一个候选基因的初步研究

人类基因组表达序列筛选是寻找候选基因的重要路线之一，外显子陷阱法，ｃＤＮＡ直接筛筛选法，它们可分别根据表达序列的结构及表达特点进行筛选，ＥＳＴ是表达图的位标，它们是一些位点专一的表达序列位标，根据ＥＳＴ的特征，在国内首次建立了一种从ＥＳＴ出发的筛选候选基因的新方法，用睦方法已在人Ｘ染色体Ｘｑ１３区段筛选得到了一个新的ｃＤＮＡ，总测序徇的１３９８ｂｐ包含了完整的３末端。     

几个具有相同收敛序列的局部凸拓扑的极拓扑构造

用极拓扑的方法讨论了局部凸Ｈａｕｓｄｏｒｆｆ线性拓扑空间（Ｘ，Ｔ）上几个特殊的与拓扑Ｔ有相同收敛序列的局部凸拓扑。主要结果是：（Ｔｃ０）ａ是Ｘ上最大的与Ｔ有相同收敛序列且与Ｔ相容的１．ｃ．ｓ拓扑；（Ｔｃ０）＾０是Ｘ上最大的与Ｔ有相同收敛序列且关于偶对（Ｘ，Ｘ＇）是允许的１．ｃ．ｓ拓扑，同时给出了Ｘ上最大的与Ｔ有相同收敛序列的１．ｃ．ｓ拓扑的极拓扑构造。     

亚纯函数的Borel可去集

证明如下结果：设｛Ｒｍ｝是一正实数序列，满足ｌｉｍｍ→∞Ｒｍ＾＋１／ｒＭ＝∞，并且｛ψｍ｝是一实数序列和ηＳ是两个常数，设Ｄ＝Ｕ（∞，，＝１）Ｄｍ，其中Ｄｍ＝｛Ｒｍ≤│Ｚ│≤ＳＲｍ｝／｛Ｚ：ψｍ－｝〈ａｒｇＺ〈ψｍ＋η｝设ψ是级为非零有穷的亚纯函数族，县以∞为Ｂｏｒｅｌ可去集。     

组合网络中最优施工顺序的算法

对组合网络中几种常用的施工顺序化化算法的原理阐述、方法步骤等作适当改进与深化，并加以分析比较，应用于工程实践，取得良好的经济效益。     

桂北南丹地区石炭纪斜坡相层序地层分析

以层序地层学理论为指导，在地层学和沉积学研究的基础上，对桂北南丹地区石炭纪斜坡相地层进行了沉积层序分析，共识别出１１个三级层序，其中鹿寨组２个，巴平组３个，南丹组６个，它们均可与黔南独山地区石炭纪台地相所识别出的１１个三级层序对比．同时探讨了较深水斜坡乃至盆地沉积环境下层序的表现形式，斜坡相层序地层的建立是联系台地相和盆地相沉积层序的纽带．