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

计算机研究与发展 2009年第6期46卷 979-987页

作者：蒋运承唐素勤王驹周生明广西师范大学计算机科学与信息工程学院广西桂林541004 中国科学院计算机科学国家重点实验室北京100190

分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能同时处理传递关系和存在量词的不足,研究了带传递关系和存在量词的描述逻辑εL+的MSC推理问题.提出了一种新的εL+-描... 详细信息

分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能同时处理传递关系和存在量词的不足,研究了带传递关系和存在量词的描述逻辑εL+的MSC推理问题.提出了一种新的εL+-描述图,利用描述树和描述图给出了描述逻辑εL+的MSC近似推理算法,并利用εL+-描述树同态和εL+-描述树描述图同态证明了MSC近似推理算法的正确性.作为一个附带的结果,利用εL+-描述树描述图同态给出了εL+的实例推理算法,也证明了实例推理算法的正确性.

关键词：描述逻辑传递关系存在量词 MSC 描述树描述图

来源：评论

学校读者我要写书评

暂无评论

实时模拟固体燃烧现象

实时模拟固体燃烧现象

引用

第八届中国计算机图形学大会

作者：朱鉴鲍凯常元章柳有权吴恩华澳门大学科技学院电脑与资讯科学系电脑图形及多媒体实验室，澳门特别行政区中国科学院软件研究所计算机科学国家重点实验室，北京长安大学信息工程学院计算机科学系，陕西省西安市澳门大学科技学院电脑与资讯科学系电脑图形及多媒体实验室，澳门特别行政区中国科学院软件研究所计算机科学国家重点实验室，北京

@@水、烟雾、火焰等自然现象的模拟，已经引起了计算机图形学界学者们的极大研究兴趣。在过去20年里，火焰的模拟已经取得长足进步，但其成果只局限于对火焰自身的模拟，当火焰熄灭时燃物的几何结构和外观并无任何变化。

关键词：火焰模拟物质分解移动网格 marching cubes 计算统一设备架构

来源：评论

学校读者我要写书评

暂无评论

带n-元存在量词的描述逻辑MSC推理

引用

计算机学报 2009年第8期32卷 1500-1510页

作者：蒋运承唐素勤华南师范大学计算机学院广州510631 中国科学院计算机科学国家重点实验室北京100190 广西师范大学计算机科学与信息工程学院广西桂林541004

分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC(Most Specific Concept)推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题.提出了一种新... 详细信息

分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC(Most Specific Concept)推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题.提出了一种新的εL(n)-描述图,利用描述树和描述图给出了描述逻辑εL(n)的MSC近似推理算法,并利用εL(n)-描述树嵌套和εL(n)-描述树描述图同态证明了MSC近似推理算法的正确性.作为一个附带的结果,利用εL(n)-描述树描述图同态给出了εL(n)的实例推理算法,也证明了实例推理算法的正确性.

关键词：描述逻辑 n-元存在量词描述树描述图非标准推理 MSC

来源：评论

学校读者我要写书评

暂无评论

一种新的软件可靠性增长模型

引用

系统工程与电子技术 2009年第8期31卷 2024-2028页

作者：吴彩华朱小冬刘俊涛王毅刚空军雷达学院信息对抗系信息作战指挥教研室湖北武汉430019 军械工程学院装备指挥与管理系维修工程研究所河北石家庄050003 军械工程学院计算机工程系软件工程教研室河北石家庄050003

在软件测试阶段,由于加速测试的影响,用软件可靠性增长模型测得的运行阶段可靠性很难真实反映实际运行时的可靠性。因此,修正了软件测试环境与运行环境相同的假设,针对测试阶段排错过程的延迟性,提出在测试阶段要把软件检错过程和排错... 详细信息

在软件测试阶段,由于加速测试的影响,用软件可靠性增长模型测得的运行阶段可靠性很难真实反映实际运行时的可靠性。因此,修正了软件测试环境与运行环境相同的假设,针对测试阶段排错过程的延迟性,提出在测试阶段要把软件检错过程和排错过程结合起来建模。通过采用不同的故障检错率函数减少了测试与运行环境的差别,并结合移动点技术,提出了一个新的考虑测试环境和运行环境不同的可靠性增长模型(TDO-SRGM)。在两个公开发表的数据集上进行的拟合试验和预测试验证明,该模型具有很好的拟合效果和预测能力。

关键词：软件可靠性增长模型移动点检错过程排错过程

来源：评论

学校读者我要写书评

暂无评论

基于模糊积分的多模糊决策树融合

引用

计算机研究与发展 2009年第3期46卷 470-477页

作者：翟俊海王熙照张素芳河北大学数学与计算机学院河北省机器学习与计算智能重点实验室河北保定071002 河北省信息工程学校数学教研室河北保定071000

给定一个模糊信息系统,可能找到多个重要的模糊属性子集,而且这些重要的模糊属性子集对决策有不同的贡献,会产生不同的影响.如果仅选择其中一个模糊属性子集进行决策,即使是最重要的一个,也会丢失隐含在其他重要的模糊属性子集中的可用... 详细信息

给定一个模糊信息系统,可能找到多个重要的模糊属性子集,而且这些重要的模糊属性子集对决策有不同的贡献,会产生不同的影响.如果仅选择其中一个模糊属性子集进行决策,即使是最重要的一个,也会丢失隐含在其他重要的模糊属性子集中的可用信息.为了充分利用模糊信息系统中每个重要的模糊属性子集所提供的信息,提出了一种基于模糊积分的多模糊决策树融合方法.这种方法分3个步骤:1)通过模糊等价关系找到几个重要的模糊属性子集;2)对每个模糊属性子集,利用模糊ID3算法生成一棵模糊决策树;3)用模糊积分融合几棵模糊决策树.实验结果证明了用多模糊决策树融合方法比单模糊决策树分类效果更好.

关键词：模糊信息系统模糊决策树模糊ID3算法模糊熵模糊积分信息融合

来源：评论

学校读者我要写书评

暂无评论

描述逻辑μALCIO的语义及推理

引用

计算机学报 2009年第7期32卷 1280-1290页

作者：蒋运承王驹邓培民汤庸周生明华南师范大学计算机学院广州510631 中国科学院软件研究所计算机科学国家重点实验室北京100190 广西师范大学计算机科学与信息工程学院广西桂林541004 中山大学计算机科学系广州510275

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,基于混合μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCIO中,提出了一... 详细信息

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,基于混合μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCIO中,提出了一种允许包含循环术语集的描述逻辑μALCIO.给出了μALCIO的语法和语义,证明了μALCIO的可满足性推理等价于混合μ-演算的可满足性推理,并利用树自动机理论给出了μALCIO的可满足性推理算法以及给出了推理算法正确性证明和复杂性定理.

关键词：描述逻辑 μALCIO 混合μ-演算树自动机不动点构造算子

来源：评论

学校读者我要写书评

暂无评论

一种基于信息检索技术的网络新闻影响力分析方法

引用

软件学报 2009年第9期20卷 2397-2406页

作者：杨伟杰戴汝为崔霞北京工商大学计算机与信息工程学院北京100048 中国科学院自动化研究所复杂系统与智能科学重点实验室北京100190

利用信息检索领域中的相关算法,分析研究通过信息检索相关技术得到的相关信息,建立了一个网络新闻影响力模型来定量地计算一则新闻的影响力,从而估计它对社会安全产生影响的程度.在对大量实验结果的统计分析中发现,此方法可以有效地对... 详细信息

利用信息检索领域中的相关算法,分析研究通过信息检索相关技术得到的相关信息,建立了一个网络新闻影响力模型来定量地计算一则新闻的影响力,从而估计它对社会安全产生影响的程度.在对大量实验结果的统计分析中发现,此方法可以有效地对新闻文章进行排序,发现不同新闻类型中最值得关注的新闻,其结果与人的定性判断结果具有较高的一致性.

关键词：信息检索社会安全新闻影响力 HITS(hypertext induced topic selection)算法中国互联网指数系统(CIIS)

来源：评论

学校读者我要写书评

暂无评论

面向范畴类型数据的sIB算法

引用

电子学报 2009年第10期37卷 2165-2172页

作者：叶阳东何锡点贾利民郑州大学信息工程学院计算机科学系河南郑州450052 北京交通大学轨道交通控制与安全国家重点实验室北京100044

本文针对sIB算法仅适用于共现数据的问题,提出了一种能够自动进行范畴类型数据分析的sIB算法:CD-sIB.该算法根据范畴类型数据的离散化表示、不同属性值有限的特征,进行数据的属性的拓展和二元化处理,基于属性值的出现进行X,Y的联合分布... 详细信息

本文针对sIB算法仅适用于共现数据的问题,提出了一种能够自动进行范畴类型数据分析的sIB算法:CD-sIB.该算法根据范畴类型数据的离散化表示、不同属性值有限的特征,进行数据的属性的拓展和二元化处理,基于属性值的出现进行X,Y的联合分布的计算,使得sIB算法可有效应用于范畴类型数据的分析.实验结果表明:CD-sIB算法相对于现有的面向范畴类型数据聚类模式分析的算法GAClust和K-modes具有明显的优势;CD-sIB算法在进行数据属性概化程度高、类数据分布相对平衡的范畴类型数据的分析中,在效率和精确度方面均很突出.

关键词： IB理论 sIB算法范畴类型数据概化聚类

来源：评论

学校读者我要写书评

暂无评论

一种动态环境下的互联网服务故障诊断算法

引用

软件学报 2009年第9期20卷 2520-2530页

作者：褚灵伟邹仕洪程时端田春岐王文东北京邮电大学网络与交换国家重点实验室北京100876 同济大学电子与信息工程学院计算机科学与技术系上海200092

服务环境中的动态性会对故障诊断算法性能造成影响.为了降低这种影响,分析了服务环境中的动态性,提出多层管理模型建模服务系统:二分贝叶斯网络建立依赖模型和二元对称信道建模噪声.针对故障自动修复机制导致的动态故障集环境,在故障持... 详细信息

服务环境中的动态性会对故障诊断算法性能造成影响.为了降低这种影响,分析了服务环境中的动态性,提出多层管理模型建模服务系统:二分贝叶斯网络建立依赖模型和二元对称信道建模噪声.针对故障自动修复机制导致的动态故障集环境,在故障持续时间统计的基础上修正当前窗口内先验故障概率;针对动态模型环境,基于当前窗口内原始模型和观察症状时间建立期望模型.仿真结果显示,算法可以有效地诊断动态环境下的互联网服务故障.

关键词：动态系统故障管理故障诊断依赖模型二分贝叶斯网络

来源：评论

学校读者我要写书评

暂无评论

基于Ajax技术的虚拟Web信息集成系统

引用

计算机工程 2009年第17期35卷 280-282页

作者：张辰旭吕令保孙林北京工商大学计算机与信息工程学院北京102488 国防大学信息作战与指挥训练教研部北京100091

在当前战略模拟中,高层战略决策训练实时生成的动态虚拟Web信息需要及时、异步集成到综合信息服务系统。针对该问题提出构建虚拟Web信息集成系统,其中采用构建Ajax引擎、虚拟Web信息空间映射和建立Web/XML服务器的方法。结果证明,系统... 详细信息

在当前战略模拟中,高层战略决策训练实时生成的动态虚拟Web信息需要及时、异步集成到综合信息服务系统。针对该问题提出构建虚拟Web信息集成系统,其中采用构建Ajax引擎、虚拟Web信息空间映射和建立Web/XML服务器的方法。结果证明,系统实现数据与呈现方式的分离,减轻服务器的负担,使用户得到了更快、交互能力更强的信息及服务。

关键词：战略模拟异步通信信息服务空间映射

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：