Bent函数的一种迭代构造

对于不小于4的偶数n,建立了由4个n-元Bent函数构造(n+2)-元Bent函数的一个充要条件.提出了由n-元Bent函数构造(n+2)-元Bent函数的一种迭代构造方法,也对所构造的Bent函数的代数次数进行了分析.这种迭代方法统一并推广了以前的两种Bent函数的构造.     

群体感应抑制剂调控食源性微生物生物膜形成的研究进展

食源性微生物的生物膜是附着在固体表面上形成的具有空间组织的群落,因其能够附着在食品工业环境中的生物或非生物表面,且对消毒剂和抗菌剂能产生抗药性,通常难以控制,被认为是造成设备损坏、能源成本增加、食物变质和引起食源性疾病的原因之一,给食品工业带来了巨大的挑战.研究发现群体感应在生物膜的形成中起至关重要的作用,可以通过阻断...     

基于Illumina Hiseq高通量测序分析酱香型白酒大曲曲皮和曲心的细菌群落差异

为探究酱香型白酒大曲曲皮和曲心细菌群落结构的差异,采用Illumina Hiseq高通量测序技术对某酱香型白酒大曲曲皮和曲心两个部位的细菌群落多样性及菌群结构进行研究。结果表明,曲皮样品中细菌群落的多样性高于曲心样品,但其物种丰富度低于曲心样品。曲皮和曲心样品中的细菌菌群归属于7个门、13个纲、19个目、29个科和55个属,共有优势细菌门为厚壁菌门（Firmicutes）、放线菌门（Actinobacteria）,曲皮样品的特有优势细菌门为变形菌门（Proteobacteria）;共有优势细菌属为枝芽孢杆菌属（Virgibacillus）、芽孢杆菌属（Bacillus）、芽孢链菌属（Desmospora）、乳杆菌属（Lactobacillus）、糖多孢菌属（Saccharopolyspora）,除Desmospora外,其他优势细菌属在曲皮和曲心中的含量差异较大。曲皮样品的特有优势细菌属为链霉菌属（Streptomyces）、鞘氨醇单胞菌属（Sphingo- monas）、片球菌属（Pediococcus）;曲心样品的特有优势细菌属为火山渣芽孢杆菌属（Scopulibacillus）、葡萄球菌属（Staphylococcus）。     

(La1-xYx)2/3Ca1/3MnO3体系单电子eg带宽对输运性质的影响

通过实验研究了零场下La位上Y掺杂对(La1-xYx)2/3Ca1/3MnO3(x=0.10,0.15,0.20)系统输运性质的影响.实验结果表明,所有样品高温时呈半导体导电,低温时呈金属导电;随La位上Y掺杂含量的增加,峰值电阻温度向低温方向移动,并且转变温度附近的峰值电阻大大增加.基于Zhang S的自旋-极化理论,对实验观察进行了定量分析,结果显示随La位上Y掺杂含量的增加理论曲线和实验数据符合越来越好.这表明随单电子eg带宽的变窄,自旋-极化效应逐渐加强.     

一种检测TAL-freeness的代数方法

时间动作锁(Ti me-Action-Lock,TAL)指的是实时系统处于一种时间无法继续同时又没有任何动作能够发生的状态.Behzad和Kozo在时间自动机的几何学基础上提出了一种针对TAL-freeness的检测方法.但该方法要求必须将需要检测的模型转化为一种逻辑语言Rational Presburger Sentences后才能进行检测,因此使得验证过程比较繁琐.文中提出了一种检测TAL-freeness的代数方法,能够直接对系统模型进行直接验证,并且能够定位死锁原因.针对该方法,文中还给出了相应算法并提供了正确性证明与性能分析.     

Subterranean-SAE算法的条件立方攻击

美国国家标准与技术研究院(NIST)于2018年开始征集轻量级认证加密和哈希算法标准,其中Subterranean 2.0密码套件是晋级到第二轮的32个候选算法之一. Subterranean-SAE是Subterranean2.0密码套件中的一种认证加密工作模式. 2019年,刘富康等人对4轮空白轮(4 blank rounds)的Subterranean-SAE算法进行了基于条件立方的密钥恢复攻击,此攻击有效的前提假设是:当条件变量满足条件时输出代数次数为64,否则为65.但刘富康等人并没有验证该假设是否成立.借助三子集可分性理论,本文首次提出了在初始状态未知场景下评估输出代数次数的新技术,并将该技术成功应用于4轮空白轮Subterranean-SAE算法.实验结果表明, 4轮空白轮Subterranean-SAE算法32个输出比特的代数次数上界为63,因此刘富康等人的密钥恢复攻击实际为区分攻击.进一步,本文提出降低立方维数、扩展立方变量选取范围的策略,并成功改进了Subterranean-SAE算法条件立方的搜索方法.利用此方法我们共搜索到24组33维立方并以此构造条件立方攻击,...     

基于对等网络的构件库互联设计

为提升构件库之间的互操作和资源共享能力,提出了基于对等网络的构件库互联技术。在分析了互联必须解决的基本问题的基础上,扩展了BIDM标准数据模型使其支持构件分类和接口信息的描述,建立了可适应网络拓扑动态变化的结构管理机制,提出了实现构件库相互协作需要满足的约束条件,并在此基础上实现了构件的高效跨库检索和查询。     

La0.5Ca0.5MnO3中Ca位上Ba掺杂效应研究

用固态反应法制备了具有单相的Ｌａ０．５Ｃａ０．５－ｘＢａｘＭｎＯ３系列样品,其结构随Ｂａ含量增加由立方晶系转变为典型的正交晶系。零场下运输性质实验表明,在较低掺杂量时,系统在整个温区显示半导体型导电特征,而当掺杂量超过０．１４时,系统发生由半导体到金属的转变,且转变的温度随掺杂量增加而移向高温端,基于对实验结果的分析,就Ｃａ位上Ｂａ的掺杂所起的作用进行了初步探讨。     

基于高含油废水降解的产脂肪酶菌株的 筛选及发酵工艺优化

为了筛选高产脂肪酶菌株并探究其对高含油废水的降解能力,采用传统的微生物筛选法从餐厨废水中分离筛选菌株,考察菌株对高含油废水（油脂含量20 g/L）的油脂降解率和产脂肪酶酶活,并对产脂肪酶酶活较高的菌株进行鉴定。采用单因素实验和响应面实验对鉴定菌株发酵产脂肪酶的工艺条件进行优化。结果表明：从餐厨废水中筛选出3株细菌、2株酵母菌,其中2株细菌可在高含油废水中快速生长代谢,油脂降解率和产脂肪酶酶活均较高,经鉴定1株为解淀粉芽孢杆菌（Bi）,1株为鲁氏不动杆菌（Bu）;Bi产脂肪酶最优发酵工艺条件为pH 6.69、氯化钠含量301 g/L、蛋白胨含量6.01 g/L;Bu产脂肪酶最优发酵工艺条件为pH 5.07、氯化钠含量6.10 g/L、蛋白胨含量9.38 g/L;在最优发酵工艺条件下,Bi和Bu产脂肪酶酶活分别为（222.83±0.91）U/mL和（231.50±2.28）U/mL,优化后的Bu产脂肪酶酶活甚至高于初始脂肪酶酶活更高的Bi。综上,2株细菌具有高含油废水降解能力,具备广阔的应用前景。