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

计算机应用与软件 2003年第3期20卷 30-32页

作者：李俊包亮吴海涛荣国平潘金贵南京大学计算机软件新技术国家重点实验室南京210093 南京大学多媒体计算技术研究所南京210093

运用Java和XML技术开发的应用软件平台有很多优点,而来用电子邮件代替网络连接作为信息交换的载体能够增强系统的安全性。本文介绍了一个基于电子邮件的Java-XMI工作引擎—XMLInterchange。重点描述XMLInterchange的设计、实现;并给出... 详细信息

运用Java和XML技术开发的应用软件平台有很多优点,而来用电子邮件代替网络连接作为信息交换的载体能够增强系统的安全性。本文介绍了一个基于电子邮件的Java-XMI工作引擎—XMLInterchange。重点描述XMLInterchange的设计、实现;并给出了一个XMLInterchange作为电子商务平台的应用实例——电子传单。

关键词： Java 多功能XML工作引擎 XMLInterchange 电子邮件 XSL 电子商务文档软件格式 Internet 网络软件平台

来源：评论

学校读者我要写书评

暂无评论

密码协议的秘密性证明

引用

计算机学报 2003年第3期26卷 367-372页

作者：胡成军郑援沈昌祥中国科学院研究生院信息安全国家重点实验室海军潜艇学院青岛266071 海军潜艇学院海军计算技术研究所

在Paulson的归纳方法基础上提出一种新的密码协议秘密性的证明方法 .该方法在消息事件结构中引入会话标识符 ,给出协议满足秘密性的充要条件 ,大大简化了协议秘密性的证明。

关键词：密码协议秘密性证明密码学随机数定理证明信息安全

来源：评论

学校读者我要写书评

暂无评论

具有层次关系目标的显示控制方法

引用

计算机辅助设计与图形学学报 2003年第10期15卷 1315-1320页

作者：商建云方家骐王常武刁联旺刘明业北京理工大学计算机科学与工程学系北京100081 华北计算技术研究所指挥自动化研究室北京100083 南京理工大学计算机科学与工程学系南京200094

针对具有层次关系目标的特殊性 ,提出通过推拉镜头实施多分辨率智能显示控制的一种LOD方法首先模拟人眼摄取信息的特点 ,提出人眼角分辨率及目标重叠率的概念 ;然后给出层次聚合和分裂的智能显示控制准则 ;最后提出LOD智能显示控制的... 详细信息

针对具有层次关系目标的特殊性 ,提出通过推拉镜头实施多分辨率智能显示控制的一种LOD方法首先模拟人眼摄取信息的特点 ,提出人眼角分辨率及目标重叠率的概念 ;然后给出层次聚合和分裂的智能显示控制准则 ;最后提出LOD智能显示控制的方法 ,从而使大量目标集显示的同时具有全局综合和局部放大的视觉效果该方法在某C3I系统中做了实验。

关键词：层次关系目标显示控制方法可视化图形处理计算机

来源：评论

学校读者我要写书评

暂无评论

离散时间Hopfield网络的动力系统分析

引用

计算机研究与发展 2003年第10期40卷 1414-1418页

作者：叶世伟郑宏伟王文杰马琳史忠植中国科学院研究生院信息科学与工程学院北京100039 四川师范大学数学系成都610066 中国科学院计算技术研究所智能信息处理重点实验室北京100080

离散时间的Hopfield网络模型是一个非线性动力系统对网络的状态变量引入新的能量函数 ,利用凸函数次梯度性质可以得到网络状态能量单调减少的条件对于神经元的连接权值且激活函数单调非减 (不一定严格单调增加 )的Hopfield网络 ,若... 详细信息

离散时间的Hopfield网络模型是一个非线性动力系统对网络的状态变量引入新的能量函数 ,利用凸函数次梯度性质可以得到网络状态能量单调减少的条件对于神经元的连接权值且激活函数单调非减 (不一定严格单调增加 )的Hopfield网络 ,若神经元激活函数的增益大于权值矩阵的最小特征值 ,则全并行时渐进收敛 ;而当网络串行时 ,只要网络中每个神经元激活函数的增益与该神经元的自反馈连接权值的和大于零即可同时 ,若神经元激活函数单调 ,网络连接权值对称 ,利用凸函数次梯度的性质 ,证明了离散时间的Hopfield网络模型全并行时收敛到周期不大于

关键词： Hopfield网络凸函数次梯度共轭函数

来源：评论

学校读者我要写书评

暂无评论

离散时间的Hopfield网络稳定性研究

引用

软件学报 2003年第5期14卷 930-935页

作者：叶世伟郑宏伟王文杰马琳史忠植中国科学院计算技术研究所智能信息处理重点实验室北京100080 四川师范大学数学系四川成都610066 中国科学院研究生院信息科学与工程学院北京100039

主要讨论离散时间连续状态的Hopfield网络模型中当神经元的激活函数为单调增函数(不一定严格单调增)时,并行和串行收敛的充分条件以及具有全局惟一稳定点的充分条件.通过定义新的能量函数和研究单调增函数(不一定严格单调增)的性质,给... 详细信息

主要讨论离散时间连续状态的Hopfield网络模型中当神经元的激活函数为单调增函数(不一定严格单调增)时,并行和串行收敛的充分条件以及具有全局惟一稳定点的充分条件.通过定义新的能量函数和研究单调增函数(不一定严格单调增)的性质,给出了并行和串行收敛的充分条件.通过研究能量函数成为凸函数的条件,将Hopfield 网络的运行看作约束凸优化问题求解,从而得出了仅有全局惟一极小点的充分条件.当网络神经元的自反馈大于该神经元激活函数导数的倒数时,串行运行收敛.当网络连接权值矩阵的最小特征值大于激活函数导数的倒数时,网络并行收敛.如果网络的能量函数为凸函数,则网络将仅有惟一一个全局稳定点.这些结果在应用Hopfield 网络求解优化问题和联想记忆时拓广了神经元激活函数的选择范围.

关键词： Hopfield网络稳定性离散时间人工神经网络

来源：评论

学校读者我要写书评

暂无评论

提取不可满足问题核

提取不可满足问题核

引用

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

作者：邵明李光辉李晓维中国科学院计算技术研究所信息网络室中国科学院研究生院中国科学院计算技术研究所信息网络室

自动测试产生技术,以及形式验证中的模型检验,等价性检验中的很多关键问题可以借助可满足问题得到有效的解决,本文研究了提取不可满足问题核的算法问题,并对目前存在的识别极小不可满足问题以及提取不可满足问题核的各种算法进行了回顾... 详细信息

自动测试产生技术,以及形式验证中的模型检验,等价性检验中的很多关键问题可以借助可满足问题得到有效的解决,本文研究了提取不可满足问题核的算法问题,并对目前存在的识别极小不可满足问题以及提取不可满足问题核的各种算法进行了回顾,并重点分析了怎样利用可满足问题的完全算法求解过程中产生的分解图来进行提取不可满足核的算法.

关键词：形式验证可满足问题极小不可满足子式自动测试等价性检验

来源：评论

学校读者我要写书评

暂无评论

基于概率分析的扫描测试功耗研究

基于概率分析的扫描测试功耗研究

引用

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

作者：陈治国徐勇军李晓维电子科技大学物理电子学院中国科学院计算技术研究所信息网络室中国科学院计算技术研究所信息网络室

本文通过对扫描测试期间扫描链跳变统计分析,建立了基于概率统计的扫描链功耗模型。该模型可以对扫描链的动态功耗进行快速准确的估计;在此基础上,依据扫描单元的置1 概率重排扫描链可以有效地降低扫描功耗。实验结果表明,这种方法是有... 详细信息

本文通过对扫描测试期间扫描链跳变统计分析,建立了基于概率统计的扫描链功耗模型。该模型可以对扫描链的动态功耗进行快速准确的估计;在此基础上,依据扫描单元的置1 概率重排扫描链可以有效地降低扫描功耗。实验结果表明,这种方法是有效可行的。

关键词：测试功耗扫描测试概率分析法

来源：评论

学校读者我要写书评

暂无评论

支持Web服务组合、面向业务用户的可视化编程语言VINCA的设计与实现

支持Web服务组合、面向业务用户的可视化编程语言VINCA的设计与实...

引用

2003中国计算机大会

作者：熊锦华耿晖李厚福韩燕波李刚刘浩中国科学院计算技术研究所软件室(北京)

针对服务网格环境的动态、开放等特征,如何针对即时构建企业应用的需求,特别是让业务用户按需创建个性化应用的需求,即时地组合服务,仍然是一个没有得到很好解决的挑战性问题.为此,本文提出了一种新的支持Web服务组合、面向业务用户的... 详细信息

针对服务网格环境的动态、开放等特征,如何针对即时构建企业应用的需求,特别是让业务用户按需创建个性化应用的需求,即时地组合服务,仍然是一个没有得到很好解决的挑战性问题.为此,本文提出了一种新的支持Web服务组合、面向业务用户的可视化编程语言VINCA,以及基于VINCA的应用即时构建方法,即业务端编程方法.利用VINCA,业务用户通过配置可利用的服务资源来即时创建和用户个性化信息、上下文相关的业务应用.在此基础上,我们实现了和个相应的支撑环境并进行了初步的验证.

关键词：业务建模服务组合即时应用构造业务端编程 VINCA 网络计算

来源：评论

学校读者我要写书评

暂无评论

移动IPv6技术的实验系统

引用

通信技术 2003年第7期36卷 80-83页

作者：王淼李军石晶林李忠诚中国科学院计算机技术研究所网络研究室北京100080

介绍了移动IPv6的工作原理及目前在Windows、FreeBSD和Linux操作系统上开发出来的各种移动IPv6实验系统,并建立了实验环境,对Linux下的MIPL移动IPv6实验系统进行了测试。

关键词：移动IPv6 Windows FreeBSD Linux

来源：评论

学校读者我要写书评

暂无评论

基于概率分析的扫描测试功耗研究

基于概率分析的扫描测试功耗研究

引用

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

作者：陈治国徐勇军李晓维电子科技大学物理电子学院(成都) 中国科学院计算技术研究所信息网络室(北京) 中国科学院计算技术研究所信息网络室(北京)

本文通过对扫描测试期间扫描链跳变统计分析,建立了基于概率统计的扫描链功耗模型.该模型可以对扫描链的动态功耗进行快速准确的估计;在此基础上,依据扫描单元的置1概率重排扫描链可以有效地降低扫描功耗.实验结果表明,这种方法是有效... 详细信息

本文通过对扫描测试期间扫描链跳变统计分析,建立了基于概率统计的扫描链功耗模型.该模型可以对扫描链的动态功耗进行快速准确的估计;在此基础上,依据扫描单元的置1概率重排扫描链可以有效地降低扫描功耗.实验结果表明,这种方法是有效可行的.

关键词：测试功耗扫描测试概率分析法电路功耗

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：