陈博
- 作品数:55 被引量:84H指数:5
- 供职机构:中国科学技术大学软件学院更多>>
- 发文基金:国家自然科学基金苏州市科技计划项目国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术理学机械工程一般工业技术更多>>
- 信任管理中凭证链发现算法研究
- 网格是下一代Internet的发展方向。由于它的开放性,所以无论是使用网格进行并行计算,或是资源共享等互操作,所涉及的安全问题都比传统网络中的问题复杂得多。在这种背景下,本文主要研究网格系统中信任管理的凭证链发现问题,以...
- 陈博
- 关键词:网格信任管理
- 文献传递
- 一种使用膜分离与变压吸附联合处理炼厂气的方法和系统
- 本发明提供了一种使用膜分离与变压吸附联合处理炼厂气的方法和系统。该方法是根据膜分离装置和变压吸附装置对原料气组成和压力要求的不同,将多股炼厂气分为:重整氢气、低压贫氢气体、低压富氢气体、高压贫氢气体、高压富氢气体。重整氢...
- 贺高红陈博阮雪华肖武姜晓滨李保军
- 文献传递
- 基于信任度与参数化约束的后向凭证链发现算法
- 2012年
- 提出一种将信任度与参数化身份约束相结合的凭证链发现算法.模拟实验表明,该算法可以有效地对不良实体的请求进行屏蔽,实现了较灵活的细粒度授权;同时该算法提高了计算效率,减少了建立凭证链所耗费的空间.
- 陈博席菁叶勇李明楚
- 关键词:信任管理信任度参数化
- X射线光栅相位成像的理论和方法被引量:16
- 2008年
- 通过对X射线光栅相位衬度成像实验装置的理论分析,提出了光栅位移曲线的表达式,推导出了X射线光栅相位衬度成像方程.根据该成像方程,提出了基于光栅成像相位提取方法.这些理论结果将简化光栅相位衬度成像实验步骤,提高信息获取效率,并为X射线光栅相位衬度成像和计算机断层成像的结合,进一步提出光栅相位衬度CT的简化理论奠定基础.
- 陈博朱佩平刘宜晋王寯越袁清习黄万霞明海吴自玉
- 关键词:X射线光栅衍射TALBOT效应
- 基于信任度的改进凭证链发现算法被引量:1
- 2008年
- 有效防止不良实体访问本地资源是信任管理中的研究重点。目前主流的凭证链发现算法均未考虑实体间的信任程度,该文给出基于信任度的改进凭证链发现算法,通过信任度阈值从另一个角度对不良实体的请求进行屏蔽。例证结果显示,该算法对不诚信实体的访问进行了有效的抑制,符合开放式环境中实体之间信任关系的主观性、模糊性,使系统的安全性有很大提高。
- 陈博李明楚任一支
- 关键词:信任管理信任度
- 安全关键的信息物理系统中时序行为的组合与精化
- 2023年
- 信息物理系统(cyber physical systems, CPS)通常被应用于安全关键的场景中,需要进行实时监控,并计算反馈信息,实现对外部环境的自动控制与管理.基于模型驱动的开发方法是针对实时的、异构的CPS进行开发的,而模型的可组合性是其中的核心关键点.针对时序行为的可组合问题,首先通过时序约束语言(clock constraint specification language, CCSL)建立系统的时序行为需求模型,在此基础上通过迁移系统描述CCSL的时序行为语义,并给出其组合操作方法及可组合性的形式化定义.进一步地,对时序行为进行精化操作,给出从时序行为需求模型到任务执行模型的转换方法.同时,基于L*方法对模型行为进行学习,实现组合验证以缓解状态爆炸问题,并验证精化后模型的可组合性.最后通过仿真实验及主从智能小车实例对精化与验证方法进行评估.相关数据显示,精化与组合验证方法在处理时间和内存使用上具有一定的性能优势.
- 陈博李曦周学海
- 关键词:信息物理系统
- 高性能热塑性上浆剂的制备和性能研究
- 碳纤维增强高性能热塑性树脂基复合材料(CFRTP)相比传统热固性复合材料具有高韧性、低成本、快速成型、二次加工、可回收利用等独特优势广泛,在航空航天、轨道交通等领域广泛应用。杂萘联苯共聚芳醚砜(PPBES)具有优异的耐热...
- 陈博
- 关键词:碳纤维杂萘联苯力学性能
- 面向工程型的阶梯式信息安全教学方案的研究
- 作为第一个开设信息安全工程硕士专业方向的高等院校,本学院在学生的培养目标上与科学学位硕士有着极大的不同,现有的信息安全教学方案已不能适应本学院的教学要求,基于此,在分析现有信息安全教学方案以及本院学生特点的基础上,提出了...
- 席菁余艳玮陈博
- 关键词:信息安全教学方案工程型
- 文献传递
- 一种使用膜分离与变压吸附联合处理炼厂气的方法和系统
- 本发明提供了一种使用膜分离与变压吸附联合处理炼厂气的方法和系统。该方法是根据膜分离装置和变压吸附装置对原料气组成和压力要求的不同,将多股炼厂气分为:重整氢气、低压贫氢气体、低压富氢气体、高压贫氢气体、高压富氢气体。重整氢...
- 贺高红陈博阮雪华肖武姜晓滨李保军
- 文献传递
- 一种提高油田伴生气分离效率并回收二氧化碳的方法
- 一种提高油田伴生气分离效率并回收二氧化碳的方法,属于化工技术领域。利用双膜分离器提高油气田伴生气的处理效率,并同时为油田驱油提供高效去油剂。其中双膜分离器分别对不凝气中轻烃和二氧化碳进行提纯,在同一装置内实现提高轻烃回收...
- 贺高红陈博阮雪华肖武
- 文献传递