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

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

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

为了筛选高产脂肪酶菌株并探究其对高含油废水的降解能力,采用传统的微生物筛选法从餐厨废水中分离筛选菌株,考察菌株对高含油废水（油脂含量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株细菌具有高含油废水降解能力,具备广阔的应用前景。     

一种检测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维立方并以此构造条件立方攻击,...     

填土强度对埋地钢塑复合缠绕管受力影响分析

钢塑复合缠绕管是一种用于市政工程埋地排污排水的新型管道,在诸多性能方面优于传统的混凝土排水管,目前正在我国的城市建设中进行推广应用。这种管道外层为缠绕钢带,内层为高密度聚乙烯塑胶,是一种新型结构,在埋地受力机理方面,目前的研究做得尚不多。本文采用有限元的数值分析方法,针对不同的回填土情况,对这种管道的管土共同作用受力进行了分析,得出了填土强度对钢塑复合缠绕管管土共同作用受力的影响规律,可供相关的工程设计和施工参考。     

组合锤强夯法在山区回填土地基加固中的应用

结合工程实例,从山区回填土地基地质条件、深度、加固机理、夯点布置、施工工序等方面,对组合锤强夯法的应用进行了详细阐述,并通过载荷试验分析,评价了场地处理后的地基承载力,证实了组合锤强夯法地基处理技术对山区回填土地基加固的可行性。     

Bent函数的一种迭代构造

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

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

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

一种适应山区填土地基沉降的轻钢厂房柱基础

针对山区填土地基上的轻钢厂房结构,本文提出了一种适应填土地基沉降的钢结构柱下浅基础,该柱基础包括连接钢筋以及从上到下依次设置的柱底板、钢垫板、预制垫块和柱下独立基础,其中连接钢筋包括顶部螺杆钢筋、中部螺杆钢筋和底部锚栓螺杆钢筋。该钢结构柱基础结构合理,施工方便,安全可靠,可以根据需要随时调节柱底高度,能有效解决地基沉降对现有轻钢厂房柱基础施工及结构正常使用所带来的不利影响,在相应的工程建设中具有良好的经济效益和时间效益。