网络环境下航天器交会对接系统的鲁棒H_∞滤波

以航天器空间交会对接为背景,探讨了其网络环境下的鲁棒H?滤波问题。基于传统的C-W方程,重新构建网络环境下航天器交会对接系统的数学模型。选取时滞相关Lyapunov函数并结合自由权矩阵处理方法,给出网络化滤波误差系统渐近稳定且满足H?性能的充分条件,进而将滤波器的设计转化为受线性矩阵不等式约束的凸优化求解问题。仿真表明,最劣情况下最优的H?扰动抑制水平达到??1.4142,得到的相对位置和速度估计误差分别为0.07与0.02,证明该算法是可行且有效的。     

冰箱用扭转制冰机的设计研究

通过参考国内外的相关文献,对制冰机进行分类,并且根据实际工作经历,着重介绍了扭转式制冰机的工作原理与设计注意事项,同时也为专业技术人员设计扭转式制冰机提供参考依据。     

自动石墨消解–电感耦合等离子体质谱法同时测定左氧氟沙星胶囊中7种金属元素

建立自动石墨消解-电感耦合等离子体质谱法(ICP-MS)同时测定左氧氟沙星胶囊中铅、铬、砷、镉、锡、铝、铁7种金属元素含量的方法。以HNO3-H2O2()体积比为1∶1为消解体系,采用自动石墨消解法消解左氧氟沙星胶囊样品,消解液除酸后,用5%硝酸溶液定容至50 mL,采用电感耦合等离子体质谱法对消解液进行测定,以内标法定量。铅、铬、砷、镉、锡、铝、铁的质量浓度在0.05~20.0μg/mL范围内与质谱响应值成良好的线性关系,相关系数均大于0.998,方法检出限为0.119~1.323μg/kg。样品加标回收率为91.2%~105.5%,测定结果的相对标准偏差为1.67%~3.46%(n=6)。该方法样品前处理简单,检出限低,测定结果准确,适用于左氧氟沙星胶囊等沙星类抗生素中多种金属元素残留的测定。     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

吡嗪类碳酰肼化合物与CT-DNA相互作用及体外抑菌

以5-氯吡嗪-2-羧酸甲酯和水合肼为原料,经亲核取代和脱水缩合反应合成了3种新型吡嗪类碳酰肼化合物C13H14N6O(a)、C13H14N6O2(b)和C12H12N6O2(c)。采用元素分析与核磁共振氢谱对化合物a~c进行了表征,结果表明合成的产物即为目标化合物。通过溶剂挥发法培养得到了化合物a的单晶并利用X-射线单晶衍射测定化合物a的晶体结构为单斜晶系。根据紫外-可见光谱可知,化合物a~c均以插入模式与CT-DNA作用。利用微量热实验测定了化合物a~c与CT-DNA的相互作用,发现反应过程放热,热效应ΔH依次为-5.77×103、 -5.50×103和-5.96×103 kJ·moL-1,反应时间均小于40 min。通过分子对接模拟计算明确了化合物a和b与DNA的具体结合位点包括A链DC4和DG5以及B链DC4、 DG5和DA6,化合物c与DNA的具体结合位点包括A链DC4和DG5以及B链DC4和DG5。采用牛津杯法测定了化合物a~c对枯草芽孢杆菌、金黄色葡萄球菌、铜绿假单胞菌以及大肠杆菌四种细菌的抑菌活性,结果表明化合物a~c均对铜绿假单胞菌表现出优于阳性对照组四环素的抑菌活性。     

巴马汀/非洲防己碱的合成及其降糖活性的研究

巴马汀和非洲防己碱是原小檗碱类生物碱,具有广泛的生物活性,然而其在自然界中含量较少影响了其应用。为了扩大巴马汀和非洲防己碱的来源,提高黄连的综合开发利用价值,以黄连地上部位合成巴马汀和非洲防己碱。运用¹H NMR和HR-MS对其结构进行表征,通过细胞实验和分子对接研究其降糖活性及作用机制。结果表明：黄连地上部位总生物碱提取率为1.4%,由总生物碱合成巴马汀和非洲防己碱的产率分别为43.0%和29.8%,二者总收率分别为0.6%和0.4%;经过100μmol/L浓度药物处理,巴马汀和非洲防己碱能够显著提高HepG2细胞的葡萄糖消耗,与MAPK1、 AKT1、 TP53、 RELA和TNF受体靶蛋白的结合能均小于-5 kcal/mol。本研究以黄连地上部位成功合成具有降糖活性的巴马汀和非洲防己碱,MAPK1、 AKT1、 TP53、 RELA和TNF可能是其潜在靶标基因,其中非洲防己碱可作为先导化合物进行深入研究。     

基于结构虚拟筛选发现蛋白质精氨酸甲基转移酶5抑制剂

蛋白质精氨酸甲基转移酶5(PRMT5)是蛋白质甲基转移酶家族(PRMTs)的重要一员,其主要生理功能是催化精氨酸单对称二甲基化。PRMT5的上调发生在不同类型的肿瘤中,并与不良预后密切相关,已被视为肿瘤治疗中的潜在靶点。近年来,已有多种PRMT5抑制剂进入临床试验,但目前尚未有药物获批上市。本研究基于Glide对接的虚拟筛选和生物活性实验,发现化合物8018-1271对PRMT5酶的抑制活性IC₅₀值为13.56±0.86μmol/L,并通过分子动力学揭示其与PRMT5蛋白结构域的相互作用模式。本研究所得化合物8018-1271可作为进一步改造的先导化合物,为新型PRMT5抑制剂的发现提供参考。     

基于虚拟现实的分子对接教学软件*

由于其强大的沉浸性和交互性等特征,虚拟现实技术在教育教学方面有着独特的优势。基于分子建模工具和虚拟现实技术构建了一种关于分子对接的教学软件,该软件将语音讲解、动画演示、分子可视化、交互操作等内容有机整合在虚拟现实环境中,从理论知识讲解和VR实验操作2个方面展开,深入浅出地讲解了分子对接的知识点,达到辅助教学的目的。     

新型嘧啶单环类非经典叶酸拮抗剂的合成及抗肿瘤活性研究

以课题组前期设计合成的非经典叶酸拮抗剂6-(4'-甲基苯乙基)-N5-氯乙酰基-2,4-二氨基哌啶并[3,2-d]嘧啶(wm-8.2)为先导化合物,将wm-8.2中的哌啶并嘧啶双环结构简化为嘧啶单环结构,以提高分子柔韧性并简化分子结构,根据6-位空间占位设计6-H和6-甲基两个系列,考察了不同桥链长度和不同芳香杂环侧链对抗肿瘤活性的影响.同时对具有叶酸抑制剂分子结构特征的关键中间体进行活性对比测定,研究了N(5)位氯乙酰基对活性的影响.两个系列目标化合物和关键中间体共36个化合物的结构均经1H NMR,13C NMR和MS确证.生物活性测定表明,6位为甲基的化合物中,具有三碳桥链及对甲基苯环侧链的6-甲基-2,4-二氨基-5-(N-(4-甲基苯基)丙基-N-(2-氯乙酰基))氨基嘧啶(6b-3)具有最好的HL-60、A549和HCT116细胞增殖抑制活性,IC50分别为0.25,0.83和0.63μmol?L^-1.化合物6b-3在N(5)位氯乙酰基取代之前的关键中间体6-甲基-2,4-二氨基-5-(N-(4-甲基苯基)丙基)氨基嘧啶(5b-3)具有最优的二氢叶酸还原酶抑制活性.总结了化合物的构效关系,并用计算机模拟进行了阐释.     

自动快速燃烧－离子色谱测定铜精矿中的氟

建立了自动快速燃烧（AQF）－离子色谱联用测定铜精矿中氟的方法。将 AQF 的自动化特性和离子色谱的灵敏度高、准确性好的特点结合起来,能够实现操作过程的连续自动化。结果表明,线性范围内（1.0?50.0 μg )校准曲线相关系数 r >0. 999,氟的检出限为0.0004%。按照实验方法测定铜精矿样品中氟,结果的相对标准偏差（ RSD ,n =6)为2.14 % ?4.24 %。将实验方法用于铜精矿标准样品氟含量测定,测定值与认定值吻合较好;方法对照试验表明,实验方法对氟含量的测定值与国家标准 GB/T 3884. 12—2010的测定值基本一致。