陈锐
- 作品数:2 被引量:6H指数:2
- 供职机构:西北工业大学计算机学院更多>>
- 发文基金:国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于异构模型融合的CPS系统仿真建模方法研究被引量:3
- 2012年
- 单一的离散系统仿真或连续系统仿真已无法满足复杂的CPS系统仿真需求。结合CPS一体化模型的3类实体,对计算实体构建基于事件驱动的离散事件仿真模型(UML模型),对物理实体构建基于动态连续时间坐标的连续时间仿真模型(Simulink模型),并以刻画计算实体和物理实体的交互接口和行为特征为目的,进行协同仿真,构建交互实体模型。给出并分析了UML/Simulink协同建模的优点,研究并分析了3种不同的模型融合方法,结合无人机模型,从模型级对CPS一体化模型的融合进行了分析设计。
- 梁东方王宇英周兴社刘厦陈锐
- 关键词:信息物理融合系统UML
- 基于Credential Provider的身份认证模型的研究与实现被引量:3
- 2010年
- 身份认证是系统安全的第一道门户,采用强身份认证技术能极大的提高系统的安全性。通过对现有的强身份认证技术的分析,在对微软新推出的身份认证模型——凭据提供(Credential Pro-vider)模型进行研究的基础上,设计并实现了一个基于动态口令的双因素身份认证系统,对操作系统用户身份进行强认证,有效地提高了系统的安全级别。
- 陈锐蒋泽军陈福
- 关键词:身份认证动态口令