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

南京大学学报（自然科学版） 2005年第Z1期41卷 333-339页

作者：金浩王守芳樊闻斌潘金贵南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

近年来,软件设计模式得到了广泛的关注,作为高级别的概念模型,成为软件体系结构相关的重要理论.作为在软件体系结构级别支持复用的通用方法,传统设计模式在性能和灵活性之间偏重后者.在当前资源有限的移动设备和嵌入式环境下主要面临了... 详细信息

近年来,软件设计模式得到了广泛的关注,作为高级别的概念模型,成为软件体系结构相关的重要理论.作为在软件体系结构级别支持复用的通用方法,传统设计模式在性能和灵活性之间偏重后者.在当前资源有限的移动设备和嵌入式环境下主要面临了三个方面的限制:计算能力、存储能力以及电源供应能力.针对移动设备的通讯特点,为移动设备定制的网络软件必须高效、可靠、灵活.主要介绍在EMXE(Extensible Multifunctional XML Engineer)中,我们设计的一种面向多协议网络通讯的模式语言,并展示了这个模式系统如何产生适合移动设备网络通讯的体系结构模型.

关键词：多协议设计模式模式语言面向对象网络通讯复用

来源：评论

学校读者我要写书评

暂无评论

一种新的网络故障诊断方法——FTFD

引用

计算机研究与发展 2005年第11期42卷 1928-1933页

作者：李千目许满武杨云张宏刘凤玉南京大学计算机软件新技术国家重点实验室南京210003 南京理工大学计算机科学与技术系南京210094

通过对网络状态和故障指标进行形式化分析,提出一种基于模糊事件的故障检测方法(FTFD),该方法通过建立状态检测函数,能将比较复杂、模糊性强的网络故障问题用精确的数学转换方法来解决,从而获得比较精确的结果·应用FTFD诊断网络故... 详细信息

通过对网络状态和故障指标进行形式化分析,提出一种基于模糊事件的故障检测方法(FTFD),该方法通过建立状态检测函数,能将比较复杂、模糊性强的网络故障问题用精确的数学转换方法来解决,从而获得比较精确的结果·应用FTFD诊断网络故障不仅能有效降低漏报率和误报率,而且使实时故障诊断成为可能·原型系统证实了该方法的可行性,获得了在实时环境中网络故障诊断的技术效果·

关键词：网络故障诊断模糊事件实时检测

来源：评论

学校读者我要写书评

暂无评论

行动推理中循环因果关系的研究

引用

计算机学报 2005年第5期28卷 829-837页

作者：骆斌戈也挺朱朝晖陈世福南京大学计算机软件新技术国家重点实验室南京210093 南京航空航天大学计算机科学与工程系南京210016

近年来行动推理的研究成为人工智能领域的热门问题,而结果问题是目前行动推理研究的核心问题之一.该文针对许多行动推理系统不能处理循环因果关系的问题,提出了解决方法.基于适当修改后的McCain和Turner的因果理论,该文提出了一种能处... 详细信息

近年来行动推理的研究成为人工智能领域的热门问题,而结果问题是目前行动推理研究的核心问题之一.该文针对许多行动推理系统不能处理循环因果关系的问题,提出了解决方法.基于适当修改后的McCain和Turner的因果理论,该文提出了一种能处理循环依赖的理论转化方法.转化后的因果理论消除了循环依赖,而且可以采用单调推理方法.基于因果闭包语义,证明了转化前后的因果理论具有相同的模型.当因果关系不存在循环依赖时,该文方法得到与McCain,Turner方法(1997)相同的结果.

关键词：因果关系结果问题行动推理非单调推理规划因果理论

来源：评论

学校读者我要写书评

暂无评论

一种任意网格模型的选择细化算法

引用

计算机辅助设计与图形学学报 2005年第1期17卷 28-33页

作者：唐杰张福炎南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

以基于最大误差L∞ 控制的网格简化算法为基础 ,通过删除边操作对网格模型进行向下采样 ,同时建立各删除操作的依赖关系在进行网格选择细化时 ,将细化操作分解为对网格模型的几何修改信息和各细化操作之间的关系信息 ,确保了网格模型... 详细信息

以基于最大误差L∞ 控制的网格简化算法为基础 ,通过删除边操作对网格模型进行向下采样 ,同时建立各删除操作的依赖关系在进行网格选择细化时 ,将细化操作分解为对网格模型的几何修改信息和各细化操作之间的关系信息 ,确保了网格模型选择细化结果的正确性

关键词：三角网格多分辨模型几何造型

来源：评论

学校读者我要写书评

暂无评论

基于本体的Web服务组合异构消息的转换

引用

电子学报 2005年第B12期33卷 2472-2475页

作者：钱柱中戚玉松陆桑璐谢立南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093 南京理工大学光电学院江苏南京210094

Web服务的动态组合中所面临的一个重要问题是不同Web服务之间的消息格式的异构，这使得服务组合的流程定义和服务的选择有了很大的耦合性，因而动态组合变得困难．本文分析了Web服务组合中消息传递的异构现象，提出了一种基于本体的异... 详细信息

Web服务的动态组合中所面临的一个重要问题是不同Web服务之间的消息格式的异构，这使得服务组合的流程定义和服务的选择有了很大的耦合性，因而动态组合变得困难．本文分析了Web服务组合中消息传递的异构现象，提出了一种基于本体的异构消息自动匹配和转换方法．该方法将上游Web服务输出信息通过本体匹配的方式有效的提取出来，并根据对应操作转换为与当前Web服务的输入参数格式相匹配的形式．这样，简化了Web服务组合的过程定义，也能够支持Web服务的替换和过程的动态演化．

关键词： Web服务组合本体匹配转化

来源：评论

学校读者我要写书评

暂无评论

基于生产线方式的软件开发

引用

计算机科学 2005年第4期32卷 209-211页

作者：屈庆明赵昊翔潘金贵南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

计算机在不同行业的广泛使用,需要大量的软件作为支撑。越来越多的软件企业发现按照传统的方式即一次开发一个软件的方式已经不能够满足需求,它们需要提高软件开发的效率,而基于生产线方式的软件开发可以较好地解决这个问题。本文介绍... 详细信息

计算机在不同行业的广泛使用,需要大量的软件作为支撑。越来越多的软件企业发现按照传统的方式即一次开发一个软件的方式已经不能够满足需求,它们需要提高软件开发的效率,而基于生产线方式的软件开发可以较好地解决这个问题。本文介绍了基于生产线方式开发软件的基本概念及其优点,软件生产线与软件成熟度模型集成的关系,以及实施软件生产线过程中可能用到的度量标准,最后指出实施软件生产线过程中可能引入的风险。

关键词：软件开发生产线软件成熟度软件企业开发软件模型集成度量标准计算机

来源：评论

学校读者我要写书评

暂无评论

访问控制策略描述和应用

引用

计算机工程与应用 2005年第26期41卷 136-140页

作者：吴强梁昌宇姚立哲曾庆凯南京大学计算机科学与技术系南京210093 南京大学软件新技术国家重点实验室南京210093

访问控制是重要的信息系统安全机制。在日趋复杂的应用中有效利用访问控制成为一个难题。该文提出了一种访问控制描述方法和服务域的概念。这种方法以服务域作为访问控制策略的组织单元,简化访问控制的管理和使用。

关键词：访问控制策略描述服务域

来源：评论

学校读者我要写书评

暂无评论

接口自动机——一种用于组件组合的形式系统

引用

计算机科学 2005年第11期32卷 212-217页

作者：张岩胡军于笑丰李宣东郑国梁南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算科学与技术系南京210093

接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具.接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进... 详细信息

接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具.接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。在同其它形式化方法比较的基础上,指出了接口自动机的长处和局限。文中总结了接口自动机在理论上和实际中的意义并对其应用前景做了展望。

关键词：接口自动机时间接口自动机资源接口乐观方法博弈形式系统自动机接口组件种用

来源：评论

学校读者我要写书评

暂无评论

基于Ontology的语义检索技术

引用

计算机工程与应用 2005年第28期41卷 156-159页

作者：栾艳丁二玉骆斌南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

基于Ontology的语义检索是建立在语义网的基础上的检索技术。与传统的检索技术相比,它能提高检索的精度和覆盖率,减少了不相关的返回结果。文章首先介绍了语义网和Ontology的基本概念及如何创建基于Ontology的语义网,然后详细讨论了基于... 详细信息

基于Ontology的语义检索是建立在语义网的基础上的检索技术。与传统的检索技术相比,它能提高检索的精度和覆盖率,减少了不相关的返回结果。文章首先介绍了语义网和Ontology的基本概念及如何创建基于Ontology的语义网,然后详细讨论了基于Ontology的语义检索的基本思想,基本结构及语言,最后描述了基于Ontology语义检索的应用系统,并分析了基于Ontology语义检索技术下一步的发展方向。

关键词：本体语义网搜索引擎语言

来源：评论

学校读者我要写书评

暂无评论

一种基于中介的适应性软件协同环境的设计与实现

引用

计算机科学 2005年第10期32卷 200-203页

作者：许婷俞春陶先平吕建南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

Internet平台的发展为软件协同带来了巨大的挑战。Internet平台要求软件协同及中间件能够适应Internet之上软件的多样性,复杂性和多变性。而传统的软件协同存在协同模式单一的不足,不具有适应性和灵活性的特点,难以适应网络环境和用户... 详细信息

Internet平台的发展为软件协同带来了巨大的挑战。Internet平台要求软件协同及中间件能够适应Internet之上软件的多样性,复杂性和多变性。而传统的软件协同存在协同模式单一的不足,不具有适应性和灵活性的特点,难以适应网络环境和用户需求的变化。本文在Internet软件协同研究背景下,基于共享空间协同技术,设计并实现了一个基于中介的适应性协同环境,为Internet平台提供了良好的中介协同支撑。

关键词：协同中介适应性元组匹配 Internet软件协同环境适应性中介设计 net平台用户需求网络环境协同技术

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：