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

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

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

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

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

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

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

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

(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带宽的变窄,自旋-极化效应逐渐加强.     

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

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

福州大跨浅埋暗挖地下通道的修建

乌山主通道是福州市重点工程 ,文中介绍了采用浅埋暗挖技术设计和施工的工程特点、结构设计、施工方法及通道地面沉降的控制方法和原因分析     

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

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

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

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