摘要：神经鞘氨醇激酶1(SphK1)在鞘脂类代谢中起关键作用.研究表明,SphK1在肝癌等多种肿瘤细胞中过度表达,促进肿瘤细胞生长与转移,而阻断SphK1促进肿瘤细胞凋亡.因此,SphK1可以作为肝癌治疗的潜在靶点,但到目前为止,SphK1蛋白质降解调控机制并不清楚.采用Western blot、RT-PCR和siRNA干扰等方法研究SphK1蛋白质降解机制,发现β-arrestin1/2可能通过泛素化途径促进SphK1蛋白质降解.蛋白酶体抑制剂MG132能明显上调外源性和内源性SphK1蛋白水平,过表达β-arrestin1/2显著下调人源胚胎肾细胞HEK293T细胞和人肝癌细胞HepG2细胞中SphK1蛋白水平,且呈剂量依赖性,MG132可以缓解β-arrestin1/2对SphK1的降解作用;β-arrestin1/2干扰片段处理后,HEK293与HepG2细胞内内源性SphK1蛋白表达显著升高.证明β-arrestin1/2可以通过蛋白质泛素化方式促进SphK1降解,这为设计SphK1特异性抑制剂提供理论依据.

摘要：针对一种扭簧驱动的双绳控固面天线,建立了基于欧拉-拉格朗日方程的天线展开动力学模型,研究了绳索张力对天线展开运动参数的影响。对绳控天线反射面系统的完整展开过程进行动力学仿真,得到仿真中的展开情况与数值计算结果相符,验证了理论模型的正确性。为了使天线反射面充分展开,采用序列二次规划算法(sequential quadratic programming,SQP)分别在无绳和有绳控制系统中,对驱动扭簧进行优化设计,通过优化使得展开更为合理并减少了反射面的展开包络空间。研究表明,通过引入绳索系统能够提高天线展开过程的稳定性,有效降低了各铰链关节处的负载峰值。研究结果可为绳控固面天线的展开过程设计提供理论指导,并具有实际工程意义。

摘要：验证是FPGA开发流程和IC芯片设计流程中不可或缺的环节,文章首先分析了当前数字仿真验证用例设计无法跨越的不完备性和不充分性,并详细探讨了为什么功能仿真会错过一些角落案例场景。在此基础上,介绍了形式化验证中FPGA的主要应用场景以及硬件逻辑功能验证语言SVA,并以实际工程案例阐述了基于SVA的形式化验证方法如何更好地在验证关键设计中发挥作用。

摘要：MTF(调制传递函数)是反映测绘相机性能的重要指标,研究MTF对测绘高程精度的影响可以对相机的设计指标提出要求,对提高测绘精度具有极其重要的意义。文章通过计算机仿真的方法进行研究,利用3D Studio Max软件构建三维模型与模拟成像、用Harris算子提取图像特征点,并用奇异值分解与最小二乘法进行特征点的匹配,通过前方交会的知识计算得出高程值。文中采用刃边法与脉冲法对图像MTF值进行定量获取与相互验证,建立了MTF与高程精度之间的关系。