论文部分内容阅读
时序逻辑语言XYZ／E在统一的逻辑框架下既能表示静态语义又能表示动态语义，可以实现从抽象描述到可执行程序的平滑过渡。本文建立了CA认证系统组件求精模型，对CA和RA组件用XYZ／E进行了描述和求精。
基于XYZ／E的CA认证系统描述与求精
【摘 要】
：
时序逻辑语言XYZ／E在统一的逻辑框架下既能表示静态语义又能表示动态语义，可以实现从抽象描述到可执行程序的平滑过渡。本文建立了CA认证系统组件求精模型，对CA和RA组件用XYZ／E进
【机 构】
：
无锡商业职业技术学院信息工程系,苏州大学计算机科学与技术学院,暨南大学深圳旅游学院计算机中心,重庆师范大学数学与计算机科学学院
【出 处】
：
计算机科学
【发表日期】
：
2006年8期
其他文献
疾病不仅侵犯人的身体，而且也影响人的精神。具备语言能力的人可能随时讲述自己的病情和各种要求，积极配合治疗和护理，而非语言患者，如气管切开气管插管患者、失语患者等，则无法用
随着正畸治疗的不断发展,各类矫治器、各种矫治方法层出不穷.但最早面世的Hawley氏保持器,现在仍普遍适用于临床.我们对这种保持器进行了改进 ,于1998- 1999年用于 38例患者
红斑狼疮细胞(LEC)检查是临床诊断全身性红斑狼疮疾病的方法之一,其阳性准确率可用来正确指导临床的治疗.LEC检查的重要环节,浓集方法采集白细胞是非常关键的,如不理想,可导
1 临床资料 患者男性，48岁，主因粘液血便伴肛门下坠感、消瘦2年于1999年5月18日入院。查体：全身一般情况好，肛门外观正常。肛诊：于直肠右后壁距肛缘约8cm处触及一菜花样肿物，约
包头市二次供水卫生现状调查王增瑾娜日苏孙元威（包头市卫生防疫站，包头０１４０３０，）近年来，二次供水是高层建筑供水的重要手段，但由于法规和标准不健全，管理不到位，二次供水的卫生状况令人担犹
在药物设计中，可以利用药物分子的构效关系模型进行药物活性的预报，从而降低药物开发的成本、缩短开发的周期。本文尝试结合Co-Training方法和嵌入式特征选择方法，提出了一种新
目的：探讨抗核抗体在甲型病毒性肝炎中的检测及意义。方法：用间接免疫荧光法对５８例正常献血员和３９例甲型病毒性肝炎患者进行抗核抗体（ＡＮＡ）的检测。结果：甲型肝炎中抗核抗体阳性率为７．７％（３／３９），３例阳性