基于XYZ／E的CA认证系统描述与求精

来源 :计算机科学 | 被引量 : 0次 | 上传用户：qwc198762

【摘要】

：

时序逻辑语言XYZ／E在统一的逻辑框架下既能表示静态语义又能表示动态语义，可以实现从抽象描述到可执行程序的平滑过渡。本文建立了CA认证系统组件求精模型，对CA和RA组件用XYZ／E进

【作者】

：

【机构】

：

无锡商业职业技术学院信息工程系,苏州大学计算机科学与技术学院,暨南大学深圳旅游学院计算机中心,重庆师范大学数学与计算机科学学院

【出处】

：

计算机科学

【发表日期】

：

2006年8期

【关键词】

：

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

时序逻辑语言XYZ／E在统一的逻辑框架下既能表示静态语义又能表示动态语义，可以实现从抽象描述到可执行程序的平滑过渡。本文建立了CA认证系统组件求精模型，对CA和RA组件用XYZ／E进行了描述和求精。

其他文献

随着正畸治疗的不断发展,各类矫治器、各种矫治方法层出不穷.但最早面世的Hawley氏保持器,现在仍普遍适用于临床.我们对这种保持器进行了改进 ,于1998- 1999年用于 38例患者

期刊

在药物设计中，可以利用药物分子的构效关系模型进行药物活性的预报，从而降低药物开发的成本、缩短开发的周期。本文尝试结合Co-Training方法和嵌入式特征选择方法，提出了一种新

期刊