耐酸酵母的分离鉴定及在丢糟发酵中的应用

从白酒丢糟及酒醅中分离得到2株酵母菌YP2、YZ13,两株菌均能在pH 3.0条件下正常生长,经鉴定YP2为Candida属,与Candida pseudolambica(KM384061.1)相似度98%;YZ13为Pichia属,与Pichia kudriavzevii(LC014798.1)相似度100%.2株酵母(种子液体积比1∶1)应用于丢糟发酵中,接种量100 mL/kg,在鲜丢糟870 g/kg、麸皮100 g/kg、硫酸铵15 g/kg、生石灰15 g/kg,28 ℃混合固态发酵60 h,丢糟(干样)的真蛋白含量达172.30 g/kg,比发酵前丢糟(干样)提高了28.29%,丰富了丢糟饲料蛋白,为丢糟发酵和高效饲料提供了依据.     

微积分第一基本定理和积分中值定理的新证法

首先用Newton-Leibniz公式证明了微积分第一基本定理,然后又将变上限积分函数Ф（x）=∫a^xf（t）dt,在[a,b]上应用Lagrange中值定理,证明了积分中值定理,变证明了积分中值定理的中间点与徽分中值定趣的中间点是相一致的,从而可使微积分教学更加灵活。     

Kevlar纤维叠层织物防弹机理和性能研究

选取多种形状的冲击体对Kevlar纤维叠层织物进行了弹道冲击实验.研究了Kevlar纤维受冲击时的表观破坏形态和微观损伤机理.结果表明:纤维的变形破坏随冲击物的形状和速度变化呈现出多形态、多阶段模式;纤维的微观变形形态为:除拉伸破坏外,断口处产生大量的侧向劈裂,并且呈现明显的塑性流动.同时研究了试样面密度、冲击速度等因素对材料防弹性能的影响规律.构建了材料防弹性能的一般方程.     

压力自控技术在大型高炉除尘装置中的应用

根据自动控制理论及钢厂大型炼铁高炉 ( 1 350 m3)所采用的煤气干式除尘系统装置的实际工况 ,剖析日方专家实现炉顶煤气压力自动控制所基于的控制思想和控制策略     

一类多项式不等式的证明研究

综述性地介绍了最近几年来不等式机器证明领域的新近成果,比较了现有的几种方法,提出了一个新的研究方法。并以此方案寻找一类非负三元六次对称多项式空间的极小多项式。     

公共可验证秘密共享方案中多用户注册方案

公共可验证秘密共享方案在完成秘密分发后,管理者将会离开,新用户若想分享主秘密,需要k个原有用户承担管理者功能,给新用户分发秘密分存。该文在公共可验证秘密共享方案基础上,利用非交互的零知识证明,给出了有t(t≥1)个新用户注册时由(k,n)方案到(k,n+t)方案的构造,并讨论了t的适用范围。新的(k,n+t)秘密共享方案具有公共可验证功能,且不改变原有用户的分存和访问结构。和已有具有注册功能的公共可验证秘密共享方案相比,新方案允许多个新用户加入秘密共享,具有更加灵活的性质,而且减少了公开参数,降低了计算复杂度。     

连续归纳法的新证明及其应用举例

 关于实数的连续归纳法类似于数学归纳法,它与Dedekind公理等价。基于现有的研究成果,本文给出了连续归纳法的一个新的较为简单的证明方法;举例说明了连续归纳法的广泛应用,同时也为分析推理的机械化作了一些准备。     

一种零知识证明算法及其应用

提出了一种基于模运算的新的零知识证明算法,分析表明,该算法同其他零知识证明算法相比原理简单、运算速度快、欺骗的可能性小,只需要一次证明,就可以满足其他零知识证明需要多次证明才能保证的安全性要求,该算法尤其适合中文、日文等非字母文字信息的零知识证明,同时对各种信息的零知识证明具有普遍意义。     

后方弹药仓库防直击雷建设中存在的问题

通过对某后方弹药库防雷安全设施设备检查和测试结果的分析,发现仓库在防雷设备的建设与设置方面的不足和问题,提出防雷装置设置的改进措施,以期为弹药仓库防雷安全提供理论和技术的参考。     

一种高效的基于智能卡的离线电子现金系统

提出了一个基于智能卡的高效的离线电子现金系统,该系统大大减少了智能卡端的计算量与存储量,从而解决了取款和支付协议中由于智能卡的计算能力和存储空间极为有限而在智能卡端存在的处理瓶颈问题．在本系统中,可信第三方只在必要时才参与协议,对电子现金或取款人进行跟踪。