搜索结果: 1-2 共查到“计算机科学技术 PCL”相关记录2条 . 查询时间(0.031 秒)
基于PCL的高超飞行器结构参数化建模
高超声速 参数化 Patran建模
2009/8/6
在复杂的高超飞行器总体设计中,参数化建模起关键作用。该文根据结构分析软件MSC.Patran提供的二次开发语言PCL的特点,利用PCL实现参数化的高超飞行器结构建模功能。程序提供总体集成的接口便于总体集成优化。静应力与模态计算的结果显示出网格的有效性和计算的正确性。
WAPI密钥管理协议的PCL证明
无线局域网 无线局域网鉴别与保密基础结构 密钥管理协议
2009/5/8
该文利用协议合成逻辑(PCL),对WAPI密钥管理协议进行了模块化正确性证明。首先,分析了相对独立的单播密钥协商与组播密钥通告协议,在满足一定的工作环境下,证明其分别具有SSA与KS特性,且与协议的实体与会话个数无关;接着,根据顺序合成规则与阶段合成定理,由于参与协议运行的实体避免了基于同一BK担当AE和ASUE两种角色,且每个子协议的运行都不干扰或不破坏其他子协议的环境条件,故WAPI密钥管理协...