Atomic Electronic Contract Protocol Based on Convertible Signature

A new class of atomicity, namely contract atomicity is presented. A new technical strategy based on convertible signature and two-phase commitment is proposed for implementing atomicity of electronic contract protocol. A new atomic contract signing protocol is given out by using EIGamal like convertible undeniable signature and commitment ofconversion key, and another new atomic contract signing protocol is brought forward by using RSA based convertible undeniable signature scheme and commitment of conversion key. These two new protocols are proved to be of atomicity, fairness, privacy, non repudiation.     

非欧姆氧化锌陶瓷的界面态和晶界势垒模型的探讨

本文对非欧姆氧化锌(ZnO)陶瓷的界面态进行了探讨,提出了控制非线性电导特性的界面态是由于晶界的深能级电子陷阱,且深能级电子陷阱的形成是由于存在氧缺位缺陷和金属离子正电中心的观点.本文在实验分析的基础上提出了一种新的晶界势垒模型,认为晶界势垒分为主晶界势垒和次晶界势垒,两种势垒的物理性质相同,但形成和蜕变的温度不同。     

山东章丘明水地区二叠系“A”层硬质高岭土的研究

明水地区的硬质高岭土俗称焦宝石,即我国华北石炭二叠纪煤系地层申的“A”层铝土。明水地区的“A”层铝土具有耐火度高,化学成分稳定等特点,广泛用于日用陶瓷、电器、耐火材料等工业部门,是一种重要的工业原料。“A”层铝土在华北石炭二叠系煤系地层中分布普遍,层位稳定,其经济价值不低于煤,应当引起有关部门,特别是煤田地质勘探部门的重视。     

试论词义术语化流程中的转换机制及语义特征

本文从分析科技术语的基本特点入手,深入讨论了术语体系中兼容语词的语义特征及其转换机制。从而为揭示词义术语化流程的基本规律提供了重要的依据。     

铁路信号技术进步对铁路运输的贡献

本文用“等效长度”的概念研究并计算了铁路信号技术进步在换算周转量增长中的贡献.依据有关数据,分析并提出了具体的计算方法,算出了铁路信号技术进步的贡献占铁路运输各部门技术进步总贡献的16.49％～20.77％.其中,还未包括为确保行车安全所作出的贡献.     

基于荧光标记双向筛选的拟南芥CRISPR基因编辑突变体库构建

突变体库是研究基因功能的重要工具。拟南芥种质资源库(ABRC)储藏了几乎涵盖所有基因的突变体材料,其中T-DNA插入突变体占绝大多数。然而,当在T-DNA插入突变体中进行遗传转化或与其他转基因报告系统进行杂交时容易引起转基因沉默,阻碍了相关研究的开展,甚至产生错误结论。甲基磺酸乙酯(Ethyl Methane Sulfonate, EMS)诱变和快中子诱变技术可获得非转基因突变体,但这两种方法均为随机诱变技术,需要通过基因定位来确认突变位点,无法实现基因靶向敲除。CRISPR/Cas9可以对目的基因进行靶向编辑,获得不携带转基因的突变体。拟南芥中尚无利用CRISPR/Cas9进行高通量突变体库构建的报道。本研究共设计900条sgRNAs靶向300个RNA通路相关基因,通过合成sgRNA混池文库、引入DsRed2荧光筛选标记、将DNA条形码和二代测序技术相结合,实现了对转基因阳性苗的高通量鉴定和分型,并对T2代具有发育缺陷的无荧光植株进行负向筛选,成功鉴定到了不含转基因的smd3-b和rlua4突变体。     

基于 Swin Transformer 和 Style-based Generator 的盲人脸修复

盲人脸修复任务是从低质量的图像（例如模糊、噪声和压缩图像）中恢复高质量的图像.由于事先不知道低质量图像的退化类型和退化参数,因此盲人脸修复是一个高度病态的问题,在修复过程中严重依赖各种先验指导.然而,由于面部成分和面部标志等面部先验通常是从低质量图像中提取或估计的,可能存在不准确的情况,这直接影响最终的修复性能,因此难以有效利用这些先验知识.此外,目前的主流方法基本都是依赖ConvNets进行特征提取,没有很好地考虑长距离特征,导致最终结果缺乏连续一致性.本文提出了一种改进的StyleGAN模型,命名为SwinStyleGAN,应用在高级视觉任务上表现出色的Swin Transformer来提取长距离特征,并通过改进后的类StyleGAN合成网络逐步生成图像.本文设计了一个空间注意力转换模块SAT来重新分配每个阶段特征的像素权重,以进一步约束生成器.大量实验表明,本文提出的方法具有更好的盲人脸修复性能.     

福建省新生代玄武岩40Ar/39Ar年代学及地质意义

对福建省沿海至内陆出露的4件新生代玄武岩进行⁴⁰Ar/³⁹Ar年龄测试,对玄武岩中橄榄石斑晶进行电子探针测试;其中洋底和柳城玄武岩首次获得精确的⁴⁰Ar/³⁹Ar年龄数据.结果显示,闽西明溪⁴⁰Ar/³⁹Ar年龄数据为(1.44±0.11)Ma,柳城为(17.35±0.93)Ma;闽中洋底玄武岩年龄为(11.71±0.44)Ma;闽东厦门玄武岩年龄为(17.0±0.36)Ma.结合前人年龄数据,福建省新生代玄武岩整体表现出从闽东至闽西年龄逐渐减小的趋势.橄榄石斑晶电子探针数据显示闽东至闽西玄武岩碱性程度逐渐增加,可能指示岩浆熔融程度由沿海至内陆逐渐减少,岩石圈厚度由东向西逐渐增厚.最新获得的闽西柳城玄武岩⁴⁰Ar-³⁹Ar年龄为(17.35±0.93)Ma,与东部沿海玄武岩相似,推测可能是太平洋板块北西向俯冲时引起的岩浆扰动作用形成的.     

一种基于PVDAC描述子的RGB-D三维点云配准方法

利用RGB-D数据进行三维点云配准时容易陷入局部最优.针对这个难题,提出了一种基于多维特征的PVDAC描述子实现三维点云配准的方法.该方法首先通过ORB特征检测算法提取二维数据的关键点,并计算关键点在2D下的灰度特征,然后构建关键点在3D下的局部像素值距离、点云法线角度以及曲率特征,接着将2D特征和3D特征联合生成全新的PVDAC像素描述子,并利用PVDAC像素描述子描述关键点实现三维点云的粗配准,最后基于ICP算法完成三维点云的精细化配准.实验表明,本文算法在大场景点云配准时总体均方误差约为0.05 m2,在小场景单物体点云配准时达到了0.000 2 m2的较小误差,实现了三维点云的精确配准.     

“灰箱”的辩识与控制——一种简便实用的自适应控制方法

以在蒸汽机车锅炉减温群控系统中成功地实现自适应控制为例,介绍一种用单板机对“灰箱”进行在线辩识和自校正调节的方法,并提出了简化的自适应控制算式.