检索结果-内蒙古大学图书馆

模型检验中迁移关系的分组策略

引用

计算机辅助设计与图形学学报 2003年第9期15卷 1101-1104页

作者：邵明李光辉李晓维中国科学院计算技术研究所信息网络研究室浙江林学院信息系杭州311300

迁移关系的构建是基于BDD模型检验中的一个重要环节 ,而建立占内存尽可能小且运算高效的迁移关系一直是难点 ,通常做法是对迁移关系进行分割提出一种的对按位分割后的迁移关系进行分组的方法通过对IS CAS 89中时序电路的试验表明。

关键词：集成电路设计模型检验迁移关系分组策略 BDD模型

来源：评论

学校读者我要写书评

暂无评论

软件信息集成框架研究与实现

引用

制造业自动化 2003年第z1期25卷 33-36页

作者：胡小亮朱美正艾中良华北计算技术研究所地理信息与数据库研究室北京100083 华北计算技术研究所地理信息与数据库研究室北京100083 华北计算技术研究所地理信息与数据库研究室北京100083

本文首先介绍信息集成的现状和存在问题,并对相关概念进行了界定;接着简单介绍了目前信息集成的层次和应用集成实现技术,并从中选择组件技术和Web Services技术作为软件信息集成框架的主要实现技术.最重要的是提出了一种可行的软件信息... 详细信息

本文首先介绍信息集成的现状和存在问题,并对相关概念进行了界定;接着简单介绍了目前信息集成的层次和应用集成实现技术,并从中选择组件技术和Web Services技术作为软件信息集成框架的主要实现技术.最重要的是提出了一种可行的软件信息集成框架,使各种信息源能在一个统一的框架中充分共享、协调工作并对数据能进行直观的表示.

关键词：信息集成框架内容管理 web Services 网格

来源：评论

学校读者我要写书评

暂无评论

在关系数据库中存储RDF元数据

在关系数据库中存储RDF元数据

引用

全国2003年网络化制造与系统集成及标准化高级研讨会

作者：周豫齐朱美正艾中良华北计算技术研究所(北京)

为了充分利用企业内部网以及因特网上的信息资源,元数据正日益得到广泛的应用.资源描述框架(RDF)是W3C制订的一个推荐规范,其目的就是为了促进Web元数据的创建及交换.随着Web中可用信息资源的不断增多,用于描述和组织信息资源的RDF元数... 详细信息

为了充分利用企业内部网以及因特网上的信息资源,元数据正日益得到广泛的应用.资源描述框架(RDF)是W3C制订的一个推荐规范,其目的就是为了促进Web元数据的创建及交换.随着Web中可用信息资源的不断增多,用于描述和组织信息资源的RDF元数据的数量也在急剧增长.因此,仅仅基于文件系统来管理RDF元数据已无法快速部署和轻松维护现实中的RDF应用.为此,该文提出了一种在关系数据库中存储RDF元数据的存储模型,并且除存储RDF元数据之外,该模型还能够存储RDF Schema信息.

关键词：元数据资源描述框架关系数据库

来源：评论

学校读者我要写书评

暂无评论

异或门低功耗优化展开方法

引用

计算机辅助设计与图形学学报 2003年第1期15卷 107-110,117页

作者：骆祖莹李晓维杨士元清华大学自动化技术与工程系北京100084 中国科学院计算技术研究所信息网络室北京100080

异或门实际输出信号具有空间相关性 ,为了便于进行低功耗优化的研究 ,现有方法将异或门输出信号假设为随机信号 ,并以异或门输入信号的置 1概率为依据进行低功耗优化 .文中不仅从概率的角度指出现有方法的局限性 ,而且推导出直接用输入... 详细信息

异或门实际输出信号具有空间相关性 ,为了便于进行低功耗优化的研究 ,现有方法将异或门输出信号假设为随机信号 ,并以异或门输入信号的置 1概率为依据进行低功耗优化 .文中不仅从概率的角度指出现有方法的局限性 ,而且推导出直接用输入信号的跳变密度计算 2输入端异或门输出信号跳变密度的计算公式 ,进而提出用输入信号跳变密度对异或门进行低功耗优化展开的新方法 .实验结果表明 :文中方法的功耗降幅为现有方法的 3倍多 ;同时 ,文中方法优化展开后与异或门功耗的实际模拟结果相比 ,其理论计算值的误差比较小 (平均仅为0 97% ) 。

关键词：异或门低功耗优化展开方法超大规模集成电路逻辑门 CMOS 计算模型

来源：评论

学校读者我要写书评

暂无评论

智能互联网

引用

计算机科学 2003年第9期30卷 1-4,10页

作者：史忠植董明楷蒋运承盛秋戬张海俊中国科学院计算技术研究所智能信息处理重点实验室北京100080

1引言互联网最早出现在20世纪60年代,但是直到90年代中期才真正引起公众注意并迅速普及.1994年,全世界仅有1300万人使用互联网,但今天这一数字已超过3.5亿.互联网从诞生到现在短短几十年的时间,其爆炸式的技术发展速度远远超过了人类历... 详细信息

1引言互联网最早出现在20世纪60年代,但是直到90年代中期才真正引起公众注意并迅速普及.1994年,全世界仅有1300万人使用互联网,但今天这一数字已超过3.5亿.互联网从诞生到现在短短几十年的时间,其爆炸式的技术发展速度远远超过了人类历史上任何一次技术革命.然而,从长远发展趋势来看,现在的互联网尚处于发展的初级阶段,互联网技术存在很大的发展空间和发展潜力.

关键词：智能互联网网格计算互联网计算机网络网站网络资源

来源：评论

学校读者我要写书评

暂无评论

冒险共振现象及其在CMOS电路最大功耗估计中的应用

引用

微电子学与计算机 2003年第5期20卷 28-32页

作者：徐勇军骆祖莹李晓维中国科学院计算技术研究所信息网络室北京100080 清华大学计算机科学与技术系北京100084

随着集成电路工艺的不断提高,CMOS电路规模不断增大,功耗成为集成电路设计主要指标之一。文章首先以多位比较器为例,阐述了存在于部分多位电路功能块中的冒险共振现象;然后给出其在VLSI电路最大功耗估计中的应用。ISCAS85电路集实验结... 详细信息

随着集成电路工艺的不断提高,CMOS电路规模不断增大,功耗成为集成电路设计主要指标之一。文章首先以多位比较器为例,阐述了存在于部分多位电路功能块中的冒险共振现象;然后给出其在VLSI电路最大功耗估计中的应用。ISCAS85电路集实验结果证实了文章思路的有效性。

关键词： CMOS电路超大规模集成电路最大功耗估计冒险共振现象 VLSI

来源：评论

学校读者我要写书评

暂无评论

软件信息集成框架研究与实现

软件信息集成框架研究与实现

引用

先进制造技术论坛暨第二届制造业自动化与信息化技术交流会

作者：胡小亮朱美正艾中良华北计算技术研究所地理信息与数据库研究室华北计算技术研究所地理信息与数据库研究室华北计算技术研究所地理信息与数据库研究室

本文首先介绍信息集成的现状和存在问题,并对相关概念进行了界定;接着简单介绍了目前信息集成的层次和应用集成实现技术,并从中选择组件技术和Web Services技术作为软件信息集成框架的主要实现技术。最重要的是提出了一种可行的软件信... 详细信息

本文首先介绍信息集成的现状和存在问题,并对相关概念进行了界定;接着简单介绍了目前信息集成的层次和应用集成实现技术,并从中选择组件技术和Web Services技术作为软件信息集成框架的主要实现技术。最重要的是提出了一种可行的软件信息集成框架,使各种信息源能在一个统一的框架中充分共享、协调工作并对数据能进行直观的表示。

关键词：信息集成框架内容管理 Web Services 网格

来源：评论

学校读者我要写书评

暂无评论

基于数据分组的软件可靠性参数评估

基于数据分组的软件可靠性参数评估

引用

第十届全国容错计算学术会议

作者：张广梅李晓维中国科学院计算技术研究所网络室中国科学院计算技术研究所网络室

随着软件应用的越来越广泛,计算机软件的可靠性变得越来越重要,据统计,在硬件软件混合系统中,系统失效的主要原因来源于计算机软件的失效,因此,系统中的软件的可靠性是提高系统可靠性的一个重要因素。尽管软件可靠性模型有很多,但是,由... 详细信息

随着软件应用的越来越广泛,计算机软件的可靠性变得越来越重要,据统计,在硬件软件混合系统中,系统失效的主要原因来源于计算机软件的失效,因此,系统中的软件的可靠性是提高系统可靠性的一个重要因素。尽管软件可靠性模型有很多,但是,由于这些模型是建立在一系列难以验证正确性的假设之下,因此限制了这些模型在实际中的应用,造成了软件可靠性参数计算上的困难。本文在提出了一种基于软件功能结构的软件测试数据分组方法,在此基础上,提出了一种基于软件功能问依赖的软件可靠性参数评估方法。

关键词：软件可靠性分析数据分组功能依赖功能结构分析

来源：评论

学校读者我要写书评

暂无评论

软件故障暴露率的计算方法

引用

计算机辅助设计与图形学学报 2003年第6期15卷 751-754,759页

作者：宫云战高文玲李晓维装甲兵工程学院信息工程系北京100072 中国科学院计算技术研究所信息网络研究室北京100080

软件的故障暴露率是软件测试和软件可靠性测试的一个重要参数 ,对高可靠性软件特别是军用软件的可靠性评估有关键的作用根据PIE分析技术 ,给出软件单个故障或多个故障随机测试的效率分析 ,并以此为基础 ,给出软件故障暴露率的计算方法。

关键词：故障暴露率软件测试可靠性军用软件检测概率

来源：评论

学校读者我要写书评

暂无评论

银行间资金传输安全控制的研究

银行间资金传输安全控制的研究

引用

2003中国计算机大会

作者：余川云李伟张素伟华北计算技术研究所(北京市)

现代的金融机构利用英特网电子商务开发了数量众多的适应不同支付服务需求的支付系统.先进的计算机系统和电子通信技术在服务和安全层面上提供了快速,方便和安全的方式处理金融事务,而这些是传统的支付系统很难或从来没有实现的目标.文... 详细信息

现代的金融机构利用英特网电子商务开发了数量众多的适应不同支付服务需求的支付系统.先进的计算机系统和电子通信技术在服务和安全层面上提供了快速,方便和安全的方式处理金融事务,而这些是传统的支付系统很难或从来没有实现的目标.文中介绍了一个标准的,领导性的银行间支付系统——环球同业银行金融电讯系统,以此来分析电子通信和数据安全技术在银行间资金传输的应用,并详细研究了其中的安全特性.最后提出了一个改进的模型来提高系统的安全性.

关键词：安全控制电子资金传输 SWIFT 电子货币网络安全加密算法

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：