刘政
- 作品数：12 被引量：6H指数：2
- 供职机构：中国科学技术大学更多>>
- 发文基金：中国科学院院长基金国家教育部博士点基金国家高技术研究发展计划更多>>
- 相关领域：电子电信文化科学核科学技术一般工业技术更多>>
- 一种聚合物及其制备方法、阳离子交换膜
- 本发明公开了一种聚合物及其制备方法、阳离子交换膜，属于离子交换膜技术领域。所述聚合物的结构如式1、式2或式3所示；其中，m、n、x、y、a、b、c、d为聚合度；m选自1，1≤n≤5；x选自1，y=5；0.4≤a≤1,1≤...
- 徐铜文李兴亚葛亮刘政叶巧云陈乾
- 基于构造类别代数的协议形式化描述语言的研究
- 该论文提出了一种基于并发的构造类别代数的协议形式化描述模型及其语言,这种模型基于代数规范和条件重写逻辑的理论,它是面向属性的,相比于其他模型具有灵活、面向协议、易于实现的特点,并且提供了相应的测试生成和验证推导的方法.该...
- 刘政
- 关键词：形式化描述模型形式化描述语言协议一致性测试安全协议验证代数规范
- 文献传递
- 一种基于可调太赫兹阵列源的太赫兹近场鬼成像系统
- 本申请公开了一种基于可调太赫兹阵列源的太赫兹近场鬼成像系统，通过飞秒激光器，第一聚光镜，设置于所述飞秒激光器之后，用于将所述飞秒激光器产生的红外光转换成平行光；可调太赫兹阵列源，设置于所述第一聚光镜之后；成像目标，设置于...
- 陆亚林黄秋萍程浩汪扬凯刘政
- 选区激光熔化Ti-6Al-4V合金在模拟乏燃料后处理环境中的腐蚀行为被引量：2
- 2024年
- 研究选区激光熔化(SLM)制备的Ti-6Al-4V合金在乏燃料后处理环境中的腐蚀行为。借助光学显微镜、X射线衍射、扫描电子显微镜、电子背散射衍射以及电化学测试等手段研究SLMTi-6Al-4V合金的显微组织及耐蚀性。结果表明,相较于铸造合金,SLM Ti-6Al-4V合金在含氧化性离子的6 mol/L热硝酸溶液中的耐腐蚀性更好。进一步分析表明,SLMTi-6Al-4V合金具有α'+β的微观结构,β-Ti相含量较高且分布均匀,同时其晶粒尺寸较小、晶界密度较高,这种微观结构可提高其在含氧化性离子的硝酸中的钝化能力以及耐腐蚀性。SLM Ti-6Al-4V合金有望在乏燃料后处理过程中得到广泛应用。
- 刘政刘政任德春马爱利马爱利吉海宾
- 关键词：乏燃料后处理选区激光熔化TI-6AL-4V合金
- 一种描述安全协议的形式化规范语言被引量：4
- 2004年
- 安全协议的设计和分析是复杂而且容易出错的 .使用形式化的语言有利于安全协议的正确性和完整性 .现有的安全协议的描述方法大多很复杂而且容易导致二义 ,从而导致协议隐含着种种的安全隐患 .引入了基于构造类别代数的形式化规范语言来规范安全协议 ,通过规则集合和公理集合对安全协议进行精确地描述 ,有利于协议设计地规范化和协议漏洞地发现 ,同时对 Needham-
- 刘政赵保华屈玉贵
- 关键词：安全协议形式化描述语言
- 一种太赫兹波发射器及其制作方法
- 本申请公开了一种太赫兹波发射器及其制作方法，所述制作方法包括：提供一衬底，具有相对的第一表面和第二表面；在所述第一表面形成功能层；在所述功能层背离所述衬底的一侧形成铁磁金属层；其中，所述功能层用于提高所述太赫兹波发射器的...
- 陆亚林黄秋萍汪扬凯程浩王建林傅正平黄浩亮刘政
- 一种太赫兹波发射器及其制备方法、调控方法
- 本申请公开了一种太赫兹波发射器及其制备方法、调控方法，涉及太赫兹波发射器技术领域，该太赫兹波发射器包括层叠的柔性衬底层、铁磁金属层和重金属层，铁磁金属层预先被面内磁化而具有磁性，使用时，入射的飞秒激光脉冲透过柔性衬底层照...
- 陆亚林程浩黄秋萍刘政李威威汪扬凯王承岳张一茜
- 一种通孔冷壁矢量磁体结构及强磁场太赫兹近场测量系统
- 本发明公开了一种通孔冷壁矢量磁体结构及强磁场太赫兹近场测量系统，包括矢量磁体，矢量磁体开设有贯穿其顶部和底部的磁体贯通孔，矢量磁体包括由外至内依次间隔且共轴套接的多层壳体，多层壳体均与磁体贯通孔轴线同轴，多层壳体之间依次...
- 李子豪王纪浩代广斌黄秋萍刘政陆轻铀陆亚林
- 一种聚合物及其制备方法、阳离子交换膜
- 本发明公开了一种聚合物及其制备方法、阳离子交换膜，属于离子交换膜技术领域。所述聚合物的结构如式1、式2或式3所示；其中，m、n、x、y、a、b、c、d为聚合度；m选自1，1≤n≤5；x选自1，y=5；0.4≤a≤1,1≤...
- 徐铜文李兴亚葛亮刘政叶巧云陈乾
- 一种超宽带超表面聚光器
- 本申请公开了一种超宽带超表面聚光器，包括衬底和位于衬底一侧依次层叠的反射层、第一超表面层、多层膜分色镜层、二氧化硅透射层以及第二超表面层；当入射光从第二超表面层一侧垂直入射时，多层膜分色镜层对第一波段范围的光高透射，并对...
- 陆亚林黄秋萍贾翔宇汪扬凯程浩刘政王承岳
