一个完善的秘密分享方案

可验证秘密分享在实用密码学领域内是一个非常重要的工具,它在密钥管理协议、门限或分布式签名协议、电子商务、多方安全计算及团体式密码系统等许多方面都有极为广泛的应用。针对一类突发事务须及时、安全解决的特点, 利用离散对数问题的难解性,在假设初始化阶段和秘密恢复阶段始终有一位值得信赖的分发者参与的情况下,提出了一个可公开验证的门限秘密分享方案。     

基于素性检验思想的不可约多项式判断

论文将Fermat素性检验的思想运用于不可约多项式的判断,给出了一个对于不可约判断问题的Monte Carlo 算法,分析了该算法的计算复杂度问题,并且给出了次数在200以内的检验结果。     

大米检验中的染色法

对大米加工精度、糯性米与非糯性米、稻米新陈度的染色法汇编成卡片。     

陆东凹陷油气藏烃类组成非均质性及其意义

陆东凹陷原油和油砂抽提物中烃类的宏观组成存在着明显的非均质性。在高孔隙度(>15%)储层单元中,饱和烃的含量高,占总组成的含量均大于40%,而极性化合物则相对较低,一般不足40%;相反,在低孔隙度(<15%)储层单元中,饱和烃的含量明显降低,而极性化合物则显著增加。此外,陆东凹陷原油和油砂抽提物中烃类成熟度亦存在着非均质性:在高孔隙度储层中,原油和油砂烃类的成熟度参数高,而在低孔隙度储层中原油和油砂烃类的成熟度参数低。根据原油和油砂抽提物中烃类的宏观组成特征和成熟度参数的变化规律,提出了陆东凹陷油气聚集模式。     

圭谷十日行（二）

Verisity Design是一家专注于设计验证的EDA软件公司，提供解决客户验证电子系统和复杂集成电路的软件以及IP，在功能验证领域的市场份额达65％以上，所有知名设计公司都将Verisity的验证方法和系统SpecMan作为标准验证平台。Verisity还与ARM、Cadence、Synopsys、Mentor Graphic等IP提供商和EDA软件厂商保持紧密合作，共同     

对象族可镇定半径的计算

本文采用优化方法把计算对象族的可镇定半径问题转化成优化问题。2范数定义下的可镇定半径采用了Lagrange乘子法求解；无穷范数意义下的可镇定半径采用了最小范数解方法求解。本文方法对可镇定半径的定义形式和不确定参数结构没有要求，因此更具有一般性。     

AOTF红外光谱测量系统及其设计分析

介绍了一种以声光可调谐滤光器(AOTF)为色散元件的新型红外光谱测量系统。系统采用计算机控制下的直接数字频率合成(DDS)技术，实现电调谐波长扫描。采用双光束相关检测技术，改善了系统的信噪比。文中对红外光谱测量系统的有关设计问题进行了论述。     

抗真菌蛋白Rs-AFP2基因定点突变及其对大肠杆菌中表达的影响

为了研究遗传密码子对表达调控的影响,利用PCR重叠延伸法,对萝卜抗真菌蛋白Rs-AFP2基因编码序列区的部分核苷酸进行沉默突变,构建突变体Rs-AFPm.序列分析表明,PCR产物全长240bp,有一个阅读框,编码的蛋白由29个氨基酸的信号肽和51个氨基酸的抗真菌蛋白组成.突变体与突变前的Rs-AFP2基因相比,在编码区第3号氨基酸Lys相差一个碱基(TTG→TTA),第5号氨基酸Gln相差一个碱基(CAG→CAA),第6号稀有密码子Arg相差两个碱基(CAG→CGA).重新合成引物,将切除信号肽的Rs-AFP2基因和Rs-AFPm基因与原核表达载体pET-21b(+)分别重组到大肠杆菌BL21菌株.IPTG诱导后,二者均得到了表达.软件分析显示,突变前pETAFPo表达产物占全菌蛋白的3%,突变后pETAFPm的表达产物占全菌蛋白含量的8%;表达蛋白主要以包涵体的形式存在,包涵体经超声波破碎后,蛋白质复性,抑菌结果表明,pETAFPm表达产物的抑菌半径大于pETAFP2表达产物的抑菌半径.这些都说明改造后的Rs-AFPm基因与Rs-AFP2基因相比,已有效地提高表达量.