摘要：实时容错技术是实时系统中的关键技术之一,而实时容错调度算法则是实时容错研究领域中需要重点研究的问题.传统的实时容错调度算法的性能模拟是通过手工完成的,如果采用自动模拟方法,可以提高模拟实验的效率和准确性.首先给出一个实时容错调度算法的自动模拟系统模型,该模型定义了自动模拟系统中的关键参数.然后,提出了实时容错调度自动模拟算法.最后,研究了该自动模拟系统的软件结构.文章研究的自动模拟系统具重要的指导意义,可以参考该系统设计其他类型的调度算法的自动模拟系统.该系统的实现可大大节省用于研究实时容错调度算法的时间和费用.

摘要：针对信息不对称情形下保险市场上的逆向选择问题,基于委托代理理论建立非对称信息条件下的保险契约模型.该模型以可变赔付率作为信息甄别工具,使保险赔付率与风险损失呈负相关,降低投保人说谎时的效用,提升保险市场效率.研究表明,存在可变赔付率的保险契约不劣于传统部分保险契约,并给出前者是后者严格帕累托改进的充分条件.最后,结合一个算例进一步分析在存在分离均衡情形下该模型的改进效果.

摘要：虽然微软（Microsoft）、各运营商以及诺基亚（NOKIA）、三星（SAMSUNG）和HTC等厂商在市场营销、手机设计等方面做了很大努力，但消费者却对Android和iOS之外的第三种智能手机操作系统不感兴趣。

摘要：原肌球蛋白受体激酶(TRK)是蛋白酪氨酸激酶家族的一员,其可对哺乳动物神经系统突触的可塑性进行调节,并在多种肿瘤中表达。对于TRK生理作用的研究相对完全,现有多个TRK抑制剂处于临床研究阶段,其中部分药物(如larotrectinib、entrectinib)已获FDA批准上市,表明TRK抑制剂具有较好的开发前景。本文作者介绍了TRK和NTRK融合蛋白的生物学功能,并对不同类型的TRK小分子抑制剂的开发过程、活性、选择性以及耐药性进行了综述。

摘要：目的设计合成2,4-二取代-5-(三氟甲基)吡啶类局部黏着斑激酶(FAK)抑制剂,并对其酶抑制活性进行评价。方法以3-氰基-2-氟吡啶为起始原料,经过取代、还原、环合、酯化和偶联反应得到目标化合物Z1~Z8。采用HTRF技术测试目标化合物对FAK的体外酶抑制活性,以MTT法检测细胞增殖抑制活性。结果与结论合成了8个2,4-二取代-5-(三氟甲基)吡啶类化合物,目标化合物的结构经^(1)H-NMR和MS谱确证;初步体外酶活性测试和MTT法检测细胞增殖抑制活性结果表明,8个化合物均有良好的酶抑制活性和细胞增殖抑制活性,其中化合物Z6的体外酶抑制活性和细胞增殖抑制活性较强[FAK:IC_(50)=6.6 nmol·L^(-1),U87-MG:IC_(50)=(6.66±0.19)μmol·L^(-1),A549:IC_(50)=(7.68±3.41)μmol·L^(-1)],具有进一步研究价值。