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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于误差控制的网格多分辨模型生成算法

引用

计算机学报 2005年第9期28卷 1534-1540页

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

提出一种网格多分辨模型生成算法.该算法以最大误差L∞控制的网格简化算法为基础,通过删除边和拆分点操作进行向下和向上采样,将网格模型表示为由一个低分辨率的网格和一系列修改操作组成的多分辨模型.同其它算法相比,该算法在初始向下... 详细信息

提出一种网格多分辨模型生成算法.该算法以最大误差L∞控制的网格简化算法为基础,通过删除边和拆分点操作进行向下和向上采样,将网格模型表示为由一个低分辨率的网格和一系列修改操作组成的多分辨模型.同其它算法相比,该算法在初始向下采样时,重点考虑了简化误差对模型精度的影响.在生成网格多分辨模型时,该算法将细化操作分解为对网格模型的几何修改信息和各细化操作之间的关系信息,确保了多分辨模型的健壮性.该算法可通过三角片数和简化误差两种方法来调整网格模型分辨率,实验结果证明了本算法的有效性.

关键词：三角网格网格简化多分辨模型层次细节模型几何造型

来源：评论

学校读者我要写书评

暂无评论

基于移动代理的网络管理计费系统模型研究

引用

通信学报 2005年第3期26卷 80-85,98页

作者：陈志王汝传李捷南京邮电学院计算机科学与技术系南京大学计算机软件新技术国家重点实验室江苏南京210093

提出了一种基于移动代理的网络管理计费系统模型,对其构成、计费管理过程和安全机制进行了详细的研究。该系统利用移动代理的移动性和智能性,能够基于不同的计费模式对网络进行持续、高效、灵活、实时和准确的计费管理。实验表明该系统... 详细信息

提出了一种基于移动代理的网络管理计费系统模型,对其构成、计费管理过程和安全机制进行了详细的研究。该系统利用移动代理的移动性和智能性,能够基于不同的计费模式对网络进行持续、高效、灵活、实时和准确的计费管理。实验表明该系统能够减轻网络负载,具有良好的应变能力和实时处理能力。

关键词：网络管理计费系统移动代理简单网络管理协议

来源：评论

学校读者我要写书评

暂无评论

基于Ontology的网页关系识别研究

引用

计算机科学 2005年第11期32卷 46-49页

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

对万维网上大量的网页之间进行特定语义关系的分析,将这样的工作用于搜索引擎中,可以实现智能化的查询,和提供其它个性化服务。本文借助于Ontology中的关系实例,在网页分类的基础上对网页之间的关系进行自动识别,同时提出了网页关系识... 详细信息

对万维网上大量的网页之间进行特定语义关系的分析,将这样的工作用于搜索引擎中,可以实现智能化的查询,和提供其它个性化服务。本文借助于Ontology中的关系实例,在网页分类的基础上对网页之间的关系进行自动识别,同时提出了网页关系识别规则的自动生成和优化方法。

关键词： Ontology 网页关系识别万维网内容挖掘网页分类自动识别个性化服务语义关系搜索引擎自动生成识别规则

来源：评论

学校读者我要写书评

暂无评论

一个基于策略机制的文件免疫模型FIX及其实现

引用

计算机应用与软件 2005年第1期22卷 6-9,71页

作者：吴琨刘岸吕志军陈伍军仲海骏曾庆凯南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

本文提出一个基于策略机制的文件免疫模型FIX。该模型融合文件完整性检查、系统恢复等技术 ,根据用户制定的完整性策略 ,检查文件系统中违反完整性策略的行为 ,并对文件或目录进行自动恢复 ,以维持文件系统的完整性。基于该模型 ,采用... 详细信息

本文提出一个基于策略机制的文件免疫模型FIX。该模型融合文件完整性检查、系统恢复等技术 ,根据用户制定的完整性策略 ,检查文件系统中违反完整性策略的行为 ,并对文件或目录进行自动恢复 ,以维持文件系统的完整性。基于该模型 ,采用一个专用服务器保护多个主机的文件系统 ,构成了一个基于策略的分布式实时文件免疫系统。本文介绍该模型的形式化描述、体系结构以及实现方法 ,并分析了系统的安全性和性能。

关键词：文件系统免疫模型文件完整性检查 FIX 形式化描述系统恢复实时策略机制用户

来源：评论

学校读者我要写书评

暂无评论

基于Globus的流媒体网格信息服务系统

引用

小型微型计算机系统 2005年第12期26卷 2074-2077页

作者：李文中周俊顾铁成李春洪陆桑璐陈道蓄南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

流媒体网格系统信息服务需要整合网格系统中各种静态、动态的资源信息,提供统一的信息访问接口.G lobus M DS提供了一种网格信息服务系统,适用于计算网格的信息服务,但不能完全适用于流媒体网格.介绍了G lobus的信息服务模型,讨论如何基... 详细信息

流媒体网格系统信息服务需要整合网格系统中各种静态、动态的资源信息,提供统一的信息访问接口.G lobus M DS提供了一种网格信息服务系统,适用于计算网格的信息服务,但不能完全适用于流媒体网格.介绍了G lobus的信息服务模型,讨论如何基于G lobus M DS构建适合流媒体网格的信息服务系统.针对G lobus M DS的层次式查询机制,使用信息缓存和哈希查询技术对其进行改进.实验表明,改进的查询机制可以提高信息的查询效率,满足实时流媒体服务要求.

关键词：流媒体网格信息服务 Globus MDS LDAP

来源：评论

学校读者我要写书评

暂无评论

均匀颜色空间中的免疫荧光图像分析

引用

计算机应用与软件 2005年第11期22卷 79-81页

作者：杨大刚窦万春孙娟蔡士杰南京大学计算机软件新技术国家重点实验室计算机科学与技术系江苏南京210093

分析彩色免疫荧光图像可以获得细胞免疫信息,用于辅助研究和医疗诊断。视觉上图像前景荧光区域和背景之间存在明显的颜色差异,在CIE(L*,a*,b*)均匀颜色空间中利用该颜色差异给出了一种像素生长算法用于获取荧光区域。在区域提取的基础上... 详细信息

分析彩色免疫荧光图像可以获得细胞免疫信息,用于辅助研究和医疗诊断。视觉上图像前景荧光区域和背景之间存在明显的颜色差异,在CIE(L*,a*,b*)均匀颜色空间中利用该颜色差异给出了一种像素生长算法用于获取荧光区域。在区域提取的基础上,根据同一细胞不同区域之间的相关性初步识别细胞并计数。

关键词：区域提取像素生长均匀颜色空间免疫荧光图像分析色差

来源：评论

学校读者我要写书评

暂无评论

水利决策支持系统SLDSS的研究和实现

引用

微型机与应用 2005年第1期24卷 44-46页

作者：樊国柱柏文阳徐洁磐南京大学计算机科学与技术系计算机软件新技术国家重点实验室江苏南京210093

根据水利行业业务管理决策支持的特殊需要,设计并实现了一种基于数据仓库的水利决策支持系统———SLDSS。

关键词：水利行业决策支持系统业务管理数据仓库设计

来源：评论

学校读者我要写书评

暂无评论

基于MDA的UML模型转换:从功能模型到实现模型

引用

计算机应用与软件 2005年第11期22卷 1-4,138页

作者：周颖郑国梁李宣东南京大学计算机软件新技术国家重点实验室计算机科学与技术系江苏南京210093

MDA(Model Drive Architecture)是OMG(Object Management Group)提出的解决系统集成问题的新途径,它以UML、MOF、CWM为核心,定义软件开发过程中的模型组织管理框架。本文探讨了MDA框架下在元模型层定义模型转换的方法。引入模型转换规... 详细信息

MDA(Model Drive Architecture)是OMG(Object Management Group)提出的解决系统集成问题的新途径,它以UML、MOF、CWM为核心,定义软件开发过程中的模型组织管理框架。本文探讨了MDA框架下在元模型层定义模型转换的方法。引入模型转换规则描述语言,给出模型转换规则应遵循的部分原则。以CORBA平台为例说明在元模型层用既定语言定义模型转换规则,从功能模型到实现模型的模型转换方法。基于以上方法构建相应的工具原型。

关键词： MDA 模型转换元模型 UML 系统集成软件模型

来源：评论

学校读者我要写书评

暂无评论

基于情境演算的时序Agent语言TAOPLID的语义

引用

微电子学与计算机 2005年第2期22卷 46-50,54页

作者：李斌张东摩吕建扬州大学计算机科学与工程系南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机软件新技术国家重点实验室

文章对经典情境演算进行适当改造,使之能描述含时间变元的行动。在此基础上,对意向驱动式面向a鄄gent程序设计语言AOPLID进行时序扩充,使之能表达并处理带时间参数的并发行动。最后。

关键词：面向agent程序设计语言情境演算并发行动语义

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：