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

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

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

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

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

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

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）。     

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

美国国家标准与技术研究院(NIST)于2018年开始征集轻量级认证加密和哈希算法标准,其中Subterranean 2.0密码套件是晋级到第二轮的32个候选算法之一.Subterranean-SAE是Subterranean 2.0密码套件中的一种认证加密工作模式.2019年,刘富康等人对4轮空白轮(4 blank r...