论文部分内容阅读
时序逻辑语言XYZ/E在统一的逻辑框架下既能表示静态语义又能表示动态语义，支持软件体系结构从高层到低层的逐步过渡。该文建立了CA认证系统组件模型，采用基于组件的逐步求精方法，用XYZ/E描述了CA认证系统的体系结构。
XYZ／E在CA认证系统的一个初步应用
【摘 要】
：
时序逻辑语言XYZ/E在统一的逻辑框架下既能表示静态语义又能表示动态语义，支持软件体系结构从高层到低层的逐步过渡。该文建立了CA认证系统组件模型，采用基于组件的逐步求精方
【机 构】
：
苏州大学计算机科学与技术学院,无锡商业职业技术学院信息工程系,暨南大学深圳旅游学院计算机中心,重庆师范大学数学与计算机科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2005年26期
其他文献
2005年10月22日消息，北京市公安局宣布，北京东方微点信息技术有限责任公司为研制生产防御病毒软件，违规操作，擅自从国家明令屏蔽的、危险度极高的国外病毒网站上直接下载大量计算
科学、完善的教学质量评价体系,是提升人才培养质量、促进教师专业发展、增强高校综合实力的重要保障。基于激励理论对教学质量评价的指导作用,针对新建应用型本科院校教学质
有些人常说：“我其实吃得特别少，没办法，喝水都长肉!”$$ 在此澄清：水是没有热量的，因此喝水不会让人长胖。那为什么吃得少还长胖呢？$$ 通过大量随访发现，很多易胖的人只注意到自
报纸
飞利浦不断剥离IT业务，其追求的目标很明显，转向稳定且利润丰厚的医疗保健等行业，以避免因某些业务的市场波动而影响其整体发展
本文基于粗糙集理论和模糊聚类的方法对图书馆的用户评价数据进行了分析．旨在寻找用户评价指标之间的关联规则，确定用户评价的关键性指标。
搭配是汉语自动句法分析的重要知识源，而动词是句法分析的核心和前提。论文面向中文信息处理．通过对真实文本的统计分析归纳了用于自动获取搭配的规则，研究了动词一动词搭配中各
该文分类是信息处理的重要研究方向，现在应用较多的都是基于统计的分类系统，本文介绍了一种新型的文本分类理念，通过概念符号化，使用数字化的概念而非词汇来组成特征项，能最大限度