在第54届美国质谱学会年会上，Waters公司发布了全球第一款可通过质量、尺寸和形状来区分样品离子的质谱技术，Waters Synapt^TM High Definition MS^TM（HDMS^TM）系统。这一技术的问世，将突破传统质谱的极限，可对复杂样品进行更为...在第54届美国质谱学会年会上，Waters公司发布了全球第一款可通过质量、尺寸和形状来区分样品离子的质谱技术，Waters Synapt^TM High Definition MS^TM（HDMS^TM）系统。这一技术的问世，将突破传统质谱的极限，可对复杂样品进行更为深入的表征和鉴定。展开更多
反应堆一回路中部分管道长期承受冷热流体的交替冲刷,局部可能出现的热分层现象使管道中的热应力进一步加大,由此产生的应力集中及疲劳问题可能危害反应堆的安全运行。基于热流固多物理场耦合方法结合ASME(American Society of Mechanic...反应堆一回路中部分管道长期承受冷热流体的交替冲刷,局部可能出现的热分层现象使管道中的热应力进一步加大,由此产生的应力集中及疲劳问题可能危害反应堆的安全运行。基于热流固多物理场耦合方法结合ASME(American Society of Mechanical Engineers)规范中适用于核一级承压设备的相关标准和分析流程,对某型号反应堆的管道系统开展了结构强度校核及疲劳分析,数值结果表明:当前工况参数及出现次数叠加作用下管道系统的应力分类结果满足规范要求,不会出现不可逆的结构损伤,且关键结构不连续位置的疲劳累积使用因子均小于1,未出现累积使用因子超限问题。展开更多
A new semantic model in Abstract State Model (ASM) for authentication protocols is presented. It highlights the Woo-Lam's ideas for authentication, which is the strongest one in Lowe's definition hierarchy for...A new semantic model in Abstract State Model (ASM) for authentication protocols is presented. It highlights the Woo-Lam's ideas for authentication, which is the strongest one in Lowe's definition hierarchy for entity authentication. Apart from the flexible and natural features in forming and analyzing protocols inherited from ASM, the model defines both authentication and secrecy properties explicitly in first order sentences as invariants. The process of proving security properties with respect to an authentication protocol blends the correctness and secrecy properties together to avoid the potential flaws which may happen when treated separately. The security of revised Helsinki protocol is shown as a case study. The new model is different from the previous ones in ASMs.展开更多
文摘反应堆一回路中部分管道长期承受冷热流体的交替冲刷,局部可能出现的热分层现象使管道中的热应力进一步加大,由此产生的应力集中及疲劳问题可能危害反应堆的安全运行。基于热流固多物理场耦合方法结合ASME(American Society of Mechanical Engineers)规范中适用于核一级承压设备的相关标准和分析流程,对某型号反应堆的管道系统开展了结构强度校核及疲劳分析,数值结果表明:当前工况参数及出现次数叠加作用下管道系统的应力分类结果满足规范要求,不会出现不可逆的结构损伤,且关键结构不连续位置的疲劳累积使用因子均小于1,未出现累积使用因子超限问题。
基金国家自然科学基金，国家高技术研究发展计划(863计划)，国家重点基础研究发展计划(973计划)，the Foundation for Extraordinary Young Researchers under
文摘A new semantic model in Abstract State Model (ASM) for authentication protocols is presented. It highlights the Woo-Lam's ideas for authentication, which is the strongest one in Lowe's definition hierarchy for entity authentication. Apart from the flexible and natural features in forming and analyzing protocols inherited from ASM, the model defines both authentication and secrecy properties explicitly in first order sentences as invariants. The process of proving security properties with respect to an authentication protocol blends the correctness and secrecy properties together to avoid the potential flaws which may happen when treated separately. The security of revised Helsinki protocol is shown as a case study. The new model is different from the previous ones in ASMs.
