基于着色petri网的安全协议验证方法

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议．     

A Structure-activity Relationship （SAR） Study of Fluoroquinolones with Biological Activity against Anti-S.pneumoniae

1INTRODUCTION Streptococcus pneumoniae is a key pathogen in many respiratory tract infections.In a Canada-wide surveillance study published in1999,it was reported that21.2%of pneumococcal tested were interme-diately susceptible or resistant to penicillin.As the newer respiratory fluoroquinolones are active aga-inst both penicillin-susceptible and penicillin-resis-tant isolates of S.pneumoniae,they will be increa-singly important in the future treatment of infections caused by this pathoge…     

Theoretical Investigation of Detailed Thermodynamic Character of Possible Difunctional Adducts Model

1 INTRODUCTION Since cisplatin was recognized as an active sub- stance in the antitumor treatment in 1960s, many studies have been devoted to the exploitation of pla- tinum complexes, focusing on the influence of dif- ferent ligands and conformers on the cancer acti- vity[1~7]. Thousands of Pt complexes evaluated for antitumor activity adhered to the set of structure- activity relationship summarized by Cleare and Ho- eschele[1, 8], for instance, cispaltin, carboplatin and oxaliplatin pos…     

悬浮培养肿瘤细胞的生物钟同步化细胞模型建立及其在择时给药研究中的应用

生物钟与肿瘤的发生和治疗都密切相关,但目前体外培养的肿瘤细胞同步化方法欠佳,导致体外培养的肿瘤细胞很难表现出生物钟节律现象.针对上述问题,采用悬浮培养的方法,同时进行同步化处理,定时取样分析,在体外细胞培养体系中可获得良好的周期性生物钟节律.将该同步化培养方法用于不同的生物钟节律阶段给药,能引起肿瘤细胞的差异反应,即择...     

毛细管电泳测定甲芬那酸制剂及体液中的甲芬那酸

建立了制剂和体液中甲芬那酸毛细管电泳高频电导分析法,并用于甲芬那酸胶囊及血清、尿液中甲芬那酸含量的测定。对电泳介质的种类、浓度以及操作电压和进样量等影响因素进行了优化。实验采用3.0 mmol/L环己胺 3.0 mmol/LH3BO3 5.0mmol/Lβ-CD 0.17 mol/L乙醇作为电泳介质,20.0 kV为分离电压,可在7 min内实现对甲芬那酸的分离检测。在优化实验条件下,测定甲芬那酸的线性范围为0.8~550μg/mL,检出限为0.1μg/mL,回收率范围为98.3%~101.0%。     

安全防范工程专业发展方向探讨

文章介绍了安全防范工程专业发展的历史沿革,根据当今社会生活的变革以及现实公安工作的迫切需求,提出了安全防范工程专业的四个主要发展方向,即安全技术防范工程专业方向、传感与入侵探测技术专业方向、安全检查技术专业方向、安全防范系统工程专业方向。并对安全防范工程专业发展方向的具体实施方法进行了探讨.     

广播电视安全播出风险管理研究

以电视播出域为例,对广播电视安全播出风险管理进行了研究。使用文献分析法和因果分析法对风险因素进行了识别,利用德尔菲法、层次分析法和风险矩阵分析法对风险因素进行了分析评价,根据评价结果提出了相应的风险应对策略和措施。该风险管理模型可以实现对风险因素的有效管理,为广播电视安全播出提供有力保障。     

表面等离子体子共振技术用于分析手性药物与蛋白作用差异的研究

利用自行设计组装的一套以白色发光二极管为光源的新型表面等离子体子共振传感器实验装置测量了手性药物D-苯甘氨酸与L-苯甘氨酸与人血清白蛋白和鼠血清白蛋白的结合程度, 可以看到这一对手性药物与血清蛋白的结合程度的差异, 通过这种方法可以区分一对手性药物中的不同异构体. 与现在的手性分析方法比较, 这种方法具有不用标记、样品用量少、仪器易于自动化及小型化等优点.     

泵站触电事故分析及安全用电措施

从分析泵站常见的触电事故出发,介绍几种泵站安全用电措施,以防止泵站发生人身伤亡事故,提高安全生产率,保证泵站运行人员生命安全。     

内核驱动的轻量级动态二进制程序分析框架

如今网络攻击活动越来越复杂,为更好地实现防御与溯源等目标,需对攻击代码进行深度分析。同时攻击影响也从桌面终端扩大到路由器、智能家居等物联网设备,新场景需要有轻量化和易部署的程序分析方法。为应对攻击活动分析新形势,提出一种系统内核驱动的轻量级二进制程序分析框架,通过合理利用操作系统实现机制对程序进行动态拦截,从而对目标程序进行细粒度动态分析。在此基础上结合内核特性提出一种优化的动态数据流分析方法,可进一步提升程序细粒度分析能力。通过采用基准程序和实际程序进行大量实验,验证了所提出方法的有效性和较好的分析性能,实验表明分析框架具有较好的可部署性和应用价值。