【摘 要】
：
摘要：本文介绍一种基于断言的形式验证与仿真验证相结合的面向SOC的新的混合验证方法，并简要介绍其在数据完整性验证方面的应用实例。 关键词：形式验证；断言验证；混合验证；数据完整性 中图分类号：TP311文献标识码：A文章编号：1009-3044(2006)17-0102-03
论文部分内容阅读
摘要：本文介绍一种基于断言的形式验证与仿真验证相结合的面向SOC的新的混合验证方法，并简要介绍其在数据完整性验证方面的应用实例。
关键词：形式验证；断言验证；混合验证；数据完整性
中图分类号：TP311文献标识码：A文章编号：1009-3044(2006)17-0102-03
其他文献
展会时间：2006年5月8日－11日 展展会介绍：英国伯明翰国际展会览中心 展会介绍：英国国际安全与消防技术及设备展览会首创于1973年，迄今已有32年的历史。2004年的展会有来自22个国家和地区的六百多家厂商参展，吸引了来自124个国家和地区的采购团和买家共计25，631专业观众前来参观洽谈。据不完全统计，每一家到场的买家平均年采购额达到162万英镑，展览会总成交量已达一千五百多亿英镑，75
80年代初，智能建筑的概念出现了。此后，其内含也不断的扩展和深化，同时现代化建筑向智能建筑发展已成为当今建筑技术领域的一大趋势。特别是信息技术的迅速发展，更促进了智能建筑的发展和推广。现在智能建筑出现了两大趋势：
摘要：对SQL中的查询结果进行分组情况下DBMS的执行过程进行分析，并对查询结果分组进行设计。 关键词：DBMS；分组；查询；过程分析 中图分类号：TP311文献标识码：A文章编号：1009-3044(2006)17-0022-01
摘要：目前许多数据库应用系统都使用SQL Server作为后台数据库，在这样一个数据库应用系统中，数据库的性能对整个软件的性能有着决定性作用。本文就文件组在SQL Server数据库性能优化方面的问题进行分析。 关键词：数据库；数据文件；文件组；性能 中图分类号：TP311文献标识码：A文章编号：1009-3044(2006)17-0034-02
摘要：Web上有海量的数据信息，对这些数据进行复杂的应用成了现今数据库技术的研究热点。这里对数据挖掘的基本概念、Web数据挖掘步骤、Web数据挖掘在三个研究领域的研究现状、发展及常用Web数据挖掘工具做了简单介绍，希望起到抛砖引玉作用。 关键词：Web数据挖掘；KDD；web数据挖掘工具 中图分类号：TP311文献标识码：A文章编号：1009-3044(2006)17-0027-02
摘要：根据流程型企业生产过程的特点和CIPS安全管理的目标，探讨了安全信息集成的有关问题，提出了CIPS安全保证系统的框架设计模型、关键技术和解决方案，并将其应用于NGIE安全保证系统的设计中。 关键词：计算机集成处理系统(CIPS)；安全保证系统；流程重组 中图分类号：TP393文献标识码：A文章编号：1009-3044(2006)17-0074-02
摘要：下一代计算机网络NGN（Next Generation Network）的研究、探讨已经成为当前的潮流，NGN是目前电信、互联网运营商和设备厂商都在讨论的热点技术，也是国外许多标准化组织和论坛的研究工作重点。文章介绍了NGN的由来、定义、主要特点、体系结构、协议、核心技术、进展情况、应用前景等。 关键词： NGN；网络融合；软交换 中图分类号：TP393文献标识码：A文章编号：1009-
摘要：基于WEB的信息管理系统，其程序设计过程中安全策略需要从多个方面着手，一是页面程序设计中的安全问题，二是角色的权限等级策略，三是程序设计中数据库访问的安全问题。安全策略使用的好坏决定了MIS的安全性能。 关键词：角色等级；层次；安全策略 中图分类号：TP393文献标识码：A文章编号：1009-3044(2006)17-0076-03
摘要：本文采用模糊优选算法(BP)算法来训练前馈人工神经网络(BPN)，用BP算法进行精确训练，使网络收敛速度加快和避免局部极小。 关键词：神经网络；裸井眼；BP算法 中图分类号：TP311 文献标识码：A文章编号：1009-3044(2006)17-0099-02
摘要：如何实现高效的、动态的资源共享和开放式协作，并有效地解决其集成性、智能性和开放性的不足将是协同电子商务的核心问题。移动Agent为解决这一些问题提供了一种新的方案，为此本文设计一种分布式的基础应用模型，并给出一个应用的案例。 关键词：协同电子商务；移动Agent；分布式应用 中图分类号：TP393文献标识码：A文章编号：1009-3044(2006)17-0087-02