数理逻辑的若干应用

研究了数理逻辑的若干应用,即利用数理逻辑证明某些数学证明方法的合理性,证明集合论中的某些关系,证明数学分析中的"一致"与"处处"的关系,证明某些推理形式的正确性,证明命题的等价性及在社会科学中的应用.     

碳纤维行业专利现状分析及建议

利用数据库对碳纤维专利现状进行了分析,特别是专利权人的分布和应用领域等方面,为提高碳纤维技术发展、促进工程化产业化进程和我国碳纤维行业发展提出了专利布局的建议。     

一类具有时滞负反馈项的离散型网络拥塞模型的稳定性分析

研究了一类加入负反馈项的时滞离散型网络拥塞模型。首先给出了正不动点渐近稳定的条件,其次以时滞作为参数,给出了产生Neimark-Sacker分支的延迟临界值序列,最后,利用Hassard的思想,分析了分支方向和周期解稳定性,幵采用数值模拟验证了所得结果的正确性。     

在线清洗对管壳式换热器传热性能的影响

为提高除垢效率和管壳式换热器的传热性能,以一台燃气溴化锂吸收式制冷机组为研究对象,通过加装胶球在线清洗系统,研究了胶球在线清洗对吸收器和换热器传热性能的影响.结果表明,在无胶球线清洗工况下换热器污垢热阻随运行时间的增加而逐渐增大,直燃机组的性能系数(COP)随时间的增加而逐渐下降;在线清洗系统运行参数对投球率、发球泵运行时间及启停比对管壳式换热器污垢热阻有显著影响.当投球率为10％、20％和30％时,污垢热阻分别增加了32.8％、20.8％和5.7％;当运行时间分别为20 s、40 s和60 s时,污垢热阻分别增加了-20.8％、17.9％和10.7％;当启停比为1:1、1:2和1:3时,污垢热阻分别增加了16.1％、23.0％和29.0％.综合考虑运行费用和胶球的使用寿命等因素,当在线清洗系统的投球率为20％、运行60 s间隔120 s和启停比为1:2时,运行工况最佳.     

gfp融合的甲基对硫磷水解酶基因mph在E. coli中的表达

依照大肠杆菌密码子的偏爱性将来源于Pseudomonas sp. M6的有机磷水解酶基因mph设计合成了新的有机磷水解酶基因,然后将其与GFP融合进行表达,构建一株具有全细胞催化活性的大肠杆菌工程菌.设计优化后所合成的mph-r基因全长927 bp,然后将基因克隆到p ET23a-gfp大肠杆菌表达型质粒上,成功构建了重组表达质粒p ET23a-gfpmph-r,转化大肠杆菌感受态Rosetta blue.经过诱导剂IPTG的低温诱导24 h后,收集细胞,通过SDS-PAGE和Western Blot检测融合蛋白的表达.实验结果显示,融合蛋白的表达量大大提高,且通过酶活分析测定,全细胞酶活达到了11. 2 U/m L.     

供应链中社会资本、不确定性与机会主义行为关系的实证研究

供应链中普遍存在机会主义行为风险，而关于此类研究成果主要基于交易成本理论而缺乏对供应链中的社会关系的考量。深入分析了社会资本的结构、认知和关系维度的内在关系，给出了社会资本抑制机会主义行为的作用路径。建立了社会资本-不确定性-机会主义行为的结构方程模型，通过采集制造业、石油化工业等不同行业的300份供应链成员有效问卷对模型假设进行检验。研究结果表明：社会资本结构维度中信息交换对认知维度中的文化理解与过程集成均有显著正向相关性，文化理解与关系维度中的信任与合作规范均有显著正向相关性，过程集成与关系维度中的信任有显著负相关性、与合作规范呈现显著正相关性。认知维度中文化理解与供应链成员内部不确定性显著负相关，关系维度中信任与供应链成员行为不确定性显著负相关，而供应链中不确定性显著提升其机会行为发生的可能性。     

丙硫醇辅助合成石墨化碳载Pt纳米颗粒以提高燃料电池启停性能（英文）

石墨化碳作为质子交换膜燃料电池的阴极催化剂载体，虽然在增强催化剂抗腐蚀性方面具有显著优势，但由于其孔隙率低，缺乏缺陷结构，在石墨化碳载体上制备小尺寸Pt纳米颗粒依然面临挑战。本文报道了一种使用丙硫醇辅助浸渍法，来实现石墨化碳上Pt纳米颗粒的尺寸控制。研究表明，丙硫醇在浸渍过程中与Pt配位形成的配位络合物，在随后的热还原过程转化为硫掺杂碳涂层，从而保证了石墨化碳上小尺寸Pt纳米颗粒的合成。由于有效的尺寸控制，相比于传统浸渍法，此方法所制备的阴极催化剂具有更高的燃料电池性能。我们使用美国能源部(DOE)推荐的耐久性测试方案对所合成的催化剂进行了加速应力测试。在1.0–1.5 V电压区间循环5000圈后，所制备催化剂在1.5 A·cm^-2电流密度处的电压损失仅为10 mV，可以忽略不计，达到了DOE载体耐久性目标(30 mV)。     

中医药治疗非小细胞肺癌临床研究核心指标分析

分析2014—2019年发表的中医药治疗非小细胞肺癌的随机对照试验（RCT）结局指标，为构建中医药治疗非小细胞肺癌临床试验的核心指标集和选择临床研究测量指标提供借鉴。分别在中国知网（CNKI）、万方数据库、中国生物医学文献服务系统（Sino Med）、Pub med、Cochrane Library、Embase和Web of Science进行检索，检索并筛选出相关RCT，整理指标域、统计频次排前10位的指标，利用R语言绘制年份和结局指标的折线图，利用VOS viewer软件对结局指标进行聚类分析。不良反应是最受关注的结局指标类型，关注免疫分子的研究基本不关注中医症状、生活质量和生存期；对于中医特色指标关注度不高，今后可以增加对中医特色指标的关注。     

裂解多糖单加氧酶在毕赤酵母中的异源表达

裂解多糖单加氧酶(lysate polysaccharide monooxygenase,LPMO)是一类含铜氧化酶,在还原型辅因子存在下可氧化裂解纤维素,对纤维素的降解起重要作用.优化并合成黄孢原毛平革菌(Phanerochaete chrysosporium)lpmo基因,构建pPICZ_αA-Pclpmo表达载体,电转毕赤酵母GS115实现了分泌表达,重组蛋白表达量为450 mg/L.重组PcPLMO对微晶纤维素催化活性为14 U/mL,对碱预处理的秸秆纤维活性较高,为24 U/mL.PcPLMO具有较好的热稳定性,分别在80、90、100℃保温60 min,残留活性为80%、62%与48%.经Endo H脱糖基化分析,PcLPMO发生了高度糖基化修饰,从而促进了酶的高温热稳定.相关结果可为LPMO协同纤维素酶降解纤维素的应用提供参考.     

铝钢电阻单元焊接头力学性能模拟

电阻单元焊接头综合了熔化焊和机械连接的效果,其力学性能由2种连接方式共同决定,而三维有限元模型是研究铝钢电阻单元焊接头力学性能的有效手段.通过金相试验接头宏观形貌,结合硬度实验和经验公式确定接头各区域材料的力学性能,以此作为模型输入.通过该模型,对试验过程中接头断面的几何形貌演化规律以及应力分布特征进行了分析,并结合试验结果研究了接头的失效模式,为揭示接头失效机理提供了借鉴.