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

计算机工程与应用 2003年第14期39卷 121-125页

作者：廖乐健史忠植曹元大北京理工大学人工智能研究所北京100081 中科院计算所智能信息处理开放实验室北京100080

约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。传统逻辑程序设计的基“计算即为定理证明”的计算风格虽获得了简洁优美的操作语义特性,但也付出了执行效率低的代价,当应用系统规模增... 详细信息

约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。传统逻辑程序设计的基“计算即为定理证明”的计算风格虽获得了简洁优美的操作语义特性,但也付出了执行效率低的代价,当应用系统规模增大时,其性能严重下降以致崩溃。针对传统逻辑程序设计的这种可伸缩性问题,设计了一个基于并发约束程序设计概念的说明性语言COPS,旨在从语言设计与执行模型两方面降低说明性程序的不确定性,提高搜索与运行效率。在语言设计方面,通过引入确定性语言成分,避免不确定计算用于确定性目标所浪费的系统开销;在执行模型方面,在目标的并发穿叉执行与数据驱动的并发同步机制的基础上,实现“优先执行确定目标”策略与“最少假定”策略,作为约束传播的延伸,最大幅度地剪枝搜索空间,降低搜索复杂性。COPS提供的知识表示、推理与并发机制使其成为构造agent程序的理想语言。论文给出COPS语言的语法规范与执行模型的操作语义描述。

关键词：并发约束程序设计约束满足约束逻辑程序设计

来源：评论

学校读者我要写书评

暂无评论

叉车整机稳定性分析专家系统

引用

武汉水运工程学院学报 1991年第3期15卷 285-293页

作者：白建东陈定方倪笃明武汉水运工程学院机械CAD研究室中科院计算所CAD开放研究实验室

本文所研究的专家系统可在IBM系列微机上进行叉车整机稳定性智能化分析。它包括叉车整机重心坐标计算和4项稳定性计算与校核。该系统是使用宏LISP语言编写的,以叉车稳定性计算校核为对象,运用知识工程中知识获取的方法,来体现叉车稳定... 详细信息

本文所研究的专家系统可在IBM系列微机上进行叉车整机稳定性智能化分析。它包括叉车整机重心坐标计算和4项稳定性计算与校核。该系统是使用宏LISP语言编写的,以叉车稳定性计算校核为对象,运用知识工程中知识获取的方法,来体现叉车稳定性分析中所需的专家知识;它以产生式规则和框架结构来进行专家知识的表示和数据的存储;该系统根据知识应用的方法,来选取推理机制以适合于叉车稳定性分析过程,采用了正向推理方式;并因此建立几个基本函数,记录知识库中的规则使用情况和知识推理过程,以便给用户一个基本解释。该系统采用模块化的结构,建立了知识库、数据库、推理机、知识获取模块和解释模块等子模块,初步形成了一个专家系统所需的基本结构。

关键词：叉车整机稳定性专家系统

来源：评论

学校读者我要写书评

暂无评论

支持主机移动的组播协议的性能评价

引用

计算机工程与应用 2003年第36期39卷 138-141,232页

作者：廖勇孙利民吴志美杨凯中科院软件所多媒体通信与网络研究中心北京100080 郑州防空兵学院计算机教研室郑州450054

使用移动IP协议可以使主机移动到Internet的任何区域都能够保持与其它节点之间的通信。IP组播能够高效传输大量数据到一组接收者,可有效利用网络带宽。随着大量移动设备接入Internet,支持主机移动的组播协议已成为人们研究的问题之一。... 详细信息

使用移动IP协议可以使主机移动到Internet的任何区域都能够保持与其它节点之间的通信。IP组播能够高效传输大量数据到一组接收者,可有效利用网络带宽。随着大量移动设备接入Internet,支持主机移动的组播协议已成为人们研究的问题之一。文章首先给出评价支持主机移动的组播协议性能的标准,然后详细介绍了目前已经提出的主要移动组播协议,并进行了性能分析和对比,最后探讨了移动组播的研究方向和发展趋势。

关键词： Internet 网络带宽组播协议性能评价 IP协议主机

来源：评论

学校读者我要写书评

暂无评论

Petri网与数字系统设计

引用

电子测量与仪器学报 1994年第2期8卷 16-21页

作者：赵不贿黄建文江苏工学院中科院计算所CAD开放研究实验室

日益复杂的数字系统设计,须由各种专业的设计人员分工完成。他们之间需要一种描述系统的“共同语言”来沟通,这对于提高设计质量、缩短设计周期、减少设计费用具有积极意义。Petri网十分适合担任这一“共同语言”的角色。文章给出了数... 详细信息

日益复杂的数字系统设计,须由各种专业的设计人员分工完成。他们之间需要一种描述系统的“共同语言”来沟通,这对于提高设计质量、缩短设计周期、减少设计费用具有积极意义。Petri网十分适合担任这一“共同语言”的角色。文章给出了数字电路测试仪器中的硬件设计的部分实例。

关键词： Petri网数字系统随机测试

来源：评论

学校读者我要写书评

暂无评论

搪瓷产品CAD系统的实现技术

引用

工程图学学报 1995年第1期16卷 62-69页

作者：詹永照陈天滋李峰薛安荣江苏工学院中科院计算所CAD开放研究实验室

本文介绍了产品ＣＡＤ系统的交互实现技术和真实感图形生成技术，根据微机和搪瓷产品的特点，其中着重介绍了改进的材质感表示，花纹图案映射以及提出采用投影区域缓冲器法加快真实感图形生成技术。并把这些技术应用于搪瓷产品ＣＡＤ系... 详细信息

本文介绍了产品ＣＡＤ系统的交互实现技术和真实感图形生成技术，根据微机和搪瓷产品的特点，其中着重介绍了改进的材质感表示，花纹图案映射以及提出采用投影区域缓冲器法加快真实感图形生成技术。并把这些技术应用于搪瓷产品ＣＡＤ系统中，该系统不仅能绘制产品造型图和模具图，也能绘制产品的三维逼真图形．

关键词： CAD 图形搪瓷造型设计

来源：评论

学校读者我要写书评

暂无评论

体绘制中的快速插值方法

引用

系统仿真学报 2001年第S2期13卷 8-10页

作者：魏峰王文成吴恩华中科院软件所计算机科学开放研究实验室北京100080 澳门大学科技学院

插值运算是体绘制中的基本运算,其操作量很大。为此,本文提出一种的新的插值方法,减少每次插值运算的计算量,并根据样点位置及其附近的资料情况减少插值运算的次数。由此可以加快体绘制的成象,而对图像质量没有影响。与已有的快速插值... 详细信息

插值运算是体绘制中的基本运算,其操作量很大。为此,本文提出一种的新的插值方法,减少每次插值运算的计算量,并根据样点位置及其附近的资料情况减少插值运算的次数。由此可以加快体绘制的成象,而对图像质量没有影响。与已有的快速插值方法相比,新方法更有效。

关键词：插值体绘制可视化

来源：评论

学校读者我要写书评

暂无评论

Java虚拟机中的动态锁cache优化

引用

中国科学技术大学学报 2013年第4期43卷 271-277页

作者：林传文顾乃杰蔡嵩松中国科学技术大学计算机科学技术学院安徽合肥230027 安徽省计算与通信软件重点实验室安徽合肥230027 中国科学技术大学中科院沈阳计算所网络与通信联合实验室安徽合肥230027 中国科学院计算技术研究所北京100190

Java虚拟机在运行过程中使用即时编译器编译Java程序的热点方法,然后直接执行热点方法的本地代码.锁cache机制允许Java虚拟机将编译方法的本地代码锁在cache中,以提高编译执行时的指令cache命中率.通过分析Java虚拟机中编译方法的调用规... 详细信息

Java虚拟机在运行过程中使用即时编译器编译Java程序的热点方法,然后直接执行热点方法的本地代码.锁cache机制允许Java虚拟机将编译方法的本地代码锁在cache中,以提高编译执行时的指令cache命中率.通过分析Java虚拟机中编译方法的调用规律,得到编译方法的活跃时间段、平均大小和内存分布情况.基于编译方法的调用规律,给出Java虚拟机中的动态锁cache优化方法.在Java热点方法的活跃期将其本地代码段锁在cache中,以减少cache失效.最后,在龙芯3A的HotSpot虚拟机上实现了动态锁cache优化方法.实验结果表明,Java虚拟机中的动态锁cache优化方法能够使SPECjvm2008运行时的cache失效次数平均降低8.5%,性能平均提升4%.

关键词： Java虚拟机 cache 锁cache机制即时编译

来源：评论

学校读者我要写书评

暂无评论

工作流系统中基于角色的访问控制模型

工作流系统中基于角色的访问控制模型

引用

中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会

作者：耿晖赵卓峰王海波中科院计算技术研究所软件研究室北京100080

在世界经济全球化发展趋势的影响下,各企业之间的协作活动日益扩大和加强.工作流技术凭借特有的整合功能,其应用范围逐渐由支持企业内部不同部门之间相互合作扩展到企业之间的协作.如何安全、灵活地整合和控制企业资源(主要是数据资源,... 详细信息

在世界经济全球化发展趋势的影响下,各企业之间的协作活动日益扩大和加强.工作流技术凭借特有的整合功能,其应用范围逐渐由支持企业内部不同部门之间相互合作扩展到企业之间的协作.如何安全、灵活地整合和控制企业资源(主要是数据资源,人力资源),发挥企业的功能是工作流系统中访问控制模型的核心.本文针对当前工作流系统中访问控制模型的不足,提出了改进模型,并给出了这种模型的形式化描述.

关键词：工作流角色访问控制

来源：评论

学校读者我要写书评

暂无评论

基于信息几何构建朴素贝叶斯分类器

引用

通讯和计算机（中英文版） 2005年第2期2卷 1-6页

作者：黄友平史忠植中科院研究生院北京100080 中科院计算所智能信息处理重点实验室北京100080

朴素贝叶斯分类器是机器学习中一种简单而又有效的分期方法。但是由于它的属性条件独立性假设在实际应用中经常不成立，这影响了它的分类性能。本文基于信息几何和Fisher分，提出了一种新的创建属性集的方法。把原有属性经过Fisher分映... 详细信息

朴素贝叶斯分类器是机器学习中一种简单而又有效的分期方法。但是由于它的属性条件独立性假设在实际应用中经常不成立，这影响了它的分类性能。本文基于信息几何和Fisher分，提出了一种新的创建属性集的方法。把原有属性经过Fisher分映射成新的属性集，并在新属性集上构建贝叶斯分类器。我们在理论上探讨了新属性间的条件依赖关系，证明了在一定条件下新属性间是条件独立的。试验结果表明，该方法较好地提高了朴素贝叶斯分类器的性能。

关键词：朴素贝叶斯分类器信息几何 Fisher分条件独立

来源：评论

学校读者我要写书评

暂无评论

基于网页结构的自适应Web缓存（英文）

引用

中国科学技术大学学报 2013年第10期43卷 799-810页

作者：张开敏中国科学技术大学计算机科学与技术学院安徽合肥230027 安徽省计算与通信软件重点实验室安徽合肥230027 中国科学技术大学中科院沈阳计算所网络与通信联合实验室安徽合肥230027

消除Web应用中冗余的数据传输可以有效地提升Web应用的响应能力,已有的算法没有充分利用网页的结构信息,因而会降低缓存数据的命中率.针对这种情况,提出了一种全新的Web缓存方案,称为基于网页结构的自适应Web缓存(SBAWC).SBAWC充分利用... 详细信息

消除Web应用中冗余的数据传输可以有效地提升Web应用的响应能力,已有的算法没有充分利用网页的结构信息,因而会降低缓存数据的命中率.针对这种情况,提出了一种全新的Web缓存方案,称为基于网页结构的自适应Web缓存(SBAWC).SBAWC充分利用了网页本身的结构和语义信息,同时仅缓存Web数据中稳定的部分,以更好地消除冗余数据,提升缓存命中率.在真实网页上进行的实验结果表明,与现有的方案相比,SBAWC可以更加高效地消除Web应用网络传输中的冗余数据.

关键词：缓存超文本标记语言冗余数据消除差分编码

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：