含有强迫项的高阶非线性中立型微分方程的振动性

考虑了一类含有强迫项的高阶非线性中立型微分方程,通过运用Krasnoselskii's不动点定理和分析技巧, 得到了该方程每一个有界解振动或趋于零的充要条件.所得结果改进了一些已知结论, 并给出了实例验证.     

不同轮压与厚度下的半刚性橡胶沥青路面结构受力变形与仿真分析

随着国家雄安新区城市建设规划实施,按照雄安新区道路建设15年不小修的建设标准,河北省启动了全域路面加速加载试验装置开发与试验路评价研究专项.本研究采用全域路面加速加载试验装置测试直道半刚性橡胶沥青路面结构性能的各项指标,结合力学分析法与有限元建模计算分析层底弯拉应力与层厚.通过构建有限元模型,分析不同轮压下(0.7、0.9、1.1 MPa)的半刚性橡胶沥青路面各结构层间的应力应变变化规律及相同结构层不同轮压下的受力变形规律.结果表明,沥青路面作为粘弹性体,路面结构受力同时遵循能量耗散原理,自上而下逐渐减小.提出了半刚性胶粉改性沥青路面结构层在不同轮压、不同深度下的应力变化规律,得出了半刚性胶粉改性沥青路面各层在不同荷载下的应力值变化范围与半刚性水泥稳定碎石基层在不同荷载下的应力值变化范围.这些研究成果对今后雄安新区耐久性沥青路面建设起到了重要的理论支撑与技术指导价值.     

经典古方中生姜药材的考证

以历代本草、医籍方书为基础,对经典名方中所用生姜药材其名称、基原、产地、采收加工与炮制历史沿革等方面进行了本草考证,为经典名方的开发与利用提供参考与依据.考证可知,生姜有悠久的应用历史,可追溯至秦汉时期.历代本草中所记载以及含有生姜的古代经典名方中所用的生姜,均为姜科植物姜的新鲜根茎.四川犍为从南北朝时期以来,即为药用姜道地产区,所产姜味辣,粉性足,质量佳;其它主要产地还有四川沐川、荣县、宜宾,贵州兴义、兴仁、安顺,浙江衢州等地.其炮制方法主要为取鲜姜洗净、晾干,置阴凉处贮藏,或埋于湿砂内,以防有效成分挥发和脱水干燥,临用时切厚片.     

海底观测网络数据管理系统设计

针对海底观测网数据管理的需求，建立了数据管理系统的功能模型，设计了数据通信、设备管理、故障诊断及数据质量控制等关键技术的相关实现算法。综合运用Socket网络编程、MySQL数据库技术，依据模块化的设计思想，开发了海底观测网数据管理系统。海试结果表明，该系统实现了对海底观测网的实时数据采集、状态监控、数据分类存储和数据共享等功能，具有长期运行稳定可靠、可扩展性强的优点。     

微粒受介电泳效应的动力学建模和仿真

Velocity-Verlet或ODE算法分析微粒的运动特征，涉及的偏微分方程存在求解困难、运算量大和使用效率低的难点.采用COMSOL Multiphysics 5.3a有限元软件，通过AC/DC模块中的边界条件设定可快速求解Laplace方程，为介电泳力的求解提供先决条件.后期根据软件提供的粒子追踪模块，将介电泳力、斯托克斯拖曳力、排斥力和浮力内联进粒子追踪模块的应力参数表中，设定固定的时间步长和范围对介电泳芯片的粒子受力运动问题进行了仿真.结果表明，该方法可以有效模拟微粒受介电泳效应的运动行为，并且与Velocity-Verlet或ODE算法模拟结果相似，能有效降低计算程序的繁琐程度，提高动态模拟的人机可视化效果.     

退火时间对中锰热轧TRIP钢组织演变的影响

为了研究热轧Fe-6Mn-3Al TRIP钢组织演变和力学性能,对实验钢采用淬火+不同时间退火(ART)的热处理工艺.研究发现,随着退火时间的增加,奥氏体晶粒尺寸增大、稳定性降低,冷却过程中部分奥氏体相变为马氏体;其中退火10 min后,实验钢性能最优,其残余奥氏体体积分数能达到50.3%,抗拉强度765 M Pa,总延伸率达到49.1%;拉断后实验钢中的奥氏体含量减少,马氏体含量增加,其中,退火10 min后的实验钢TRIP效应最为明显,奥氏体体积分数由变形前的50.3%降低到变形后的11%,奥氏体转化率为78%.     

航空术语语义知识库ATHowNet的构建

语义知识库在自然语言处理的许多领域中起着重要的作用。现有的语义知识库主要面向常识知识,特定领域的语义知识库则很少。文章将知网(HowNet)的理论体系与概念表示方法扩展至航空领域,提出了一个航空领域术语语义知识库——ATHowNet,并介绍了构建过程。该知识库包含3700个概念、3959个概念关系和3864个术语。在航空术语相似度计算及词类比任务上应用与验证了ATHowNet,结果证实了其在航空领域概念语义描述及基于概念关系推理上的有效性。     

图的某些特殊性质的谱条件

图的邻接矩阵的最大特征值被称为图的谱半径,它是分析图的结构性质的重要概念.图的不同性质具有相应的稳定性,进行闭包运算得到相应闭包,对闭包补图的结构进行恰当分类,得出当补图谱半径小于等于某个数时,给定大的最小度的图G是s-哈密尔顿-连通图、S-泛圈图或α(G)≤s的充分条件.这为研究图的某些性质提供了一种全新的方法.     

新型Atorvastatin类HMGR抑制剂的3D-QSAR和分子对接

羟甲基戊二酰辅酶A还原酶(HMGR)是内源性胆固醇合成的重要催化限速酶,通过抑制HMGR的活性可以降低内源性胆固醇的合成.HMGR抑制剂(他汀类)是治疗心血管疾病的最佳药物之一.运用计算机辅助药物设计(CADD)方法,综合三维定量构效关系(3D-QSAR)和分子对接分析研究已合成的HMGR抑制剂的结构与抑制活性之间的关系.根据最优3D-QSAR模型,再结合分子对接分析,设计出新型活性高的HMGR抑制剂分子.