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

2002全国软件与应用学术会议(NASAC)

作者：崔萌袁海李宣东郑国梁南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

统一建模语言(UML)自从成为OMG规范后,应用越来越广泛.但UML没有精确的、形式化的语义阻碍了它的进一步发展.本文基于Petri网,给出带时间约束的UML活动图的形式化描述.与Petri网不同的是,Petri网的时间约束是在跃迁(transition)上,而我... 详细信息

统一建模语言(UML)自从成为OMG规范后,应用越来越广泛.但UML没有精确的、形式化的语义阻碍了它的进一步发展.本文基于Petri网,给出带时间约束的UML活动图的形式化描述.与Petri网不同的是,Petri网的时间约束是在跃迁(transition)上,而我们将UML活动图的时间约束放在活动状态上.在此基础上,用整型时间的验证技术对实时活动图的时间性质加以分析,为实时系统的建模打下了基础.

关键词：统一建模语言活动图实时系统实时活动图活动图模型 Petri网

来源：评论

学校读者我要写书评

暂无评论

一种基于汉语格关系表示的日语生成策略

一种基于汉语格关系表示的日语生成策略

引用

第二届中日自然语言处理专家研讨会

作者：戴新宇陈家骏王启祥南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

本文简单介绍了日汉翻译系统中汉语的分析结果树,主要论述日语生成的基本策略以及生成系统的设计与实现.汉语分析树是一棵基于格关系的依存关系树,依存树采用多值标记函数,用以表示结点的语法语义信息.日语是一种粘着语,分析了日语的语... 详细信息

本文简单介绍了日汉翻译系统中汉语的分析结果树,主要论述日语生成的基本策略以及生成系统的设计与实现.汉语分析树是一棵基于格关系的依存关系树,依存树采用多值标记函数,用以表示结点的语法语义信息.日语是一种粘着语,分析了日语的语法,我们设计了一套日语生成系统.给出了日语生成的基本策略,包括译词的生成选择、用言的活用,附属成分的生成等.生成器以后根遍历依存关系树,自底向上归并部分结果,最终生成日语句子.

关键词：格语法汉语分析树日语生成日汉翻译机器翻译

来源：评论

学校读者我要写书评

暂无评论

基于消息的汇率趋势预测方法

基于消息的汇率趋势预测方法

引用

第十九届全国数据库学术会议

作者：柏文阳何瑗马耀华肖建华徐洁磐南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南大谷元石油软件研究所有限公司

1.引言在国际金融外汇市场上,各个国家的金融机构或个人投资者通过对各国货币的买卖行为来获取投资利益。随着我国国内金融市场的进一步开放,越来越多的银行或个人开展了外汇买卖业务。如何在外汇交易中抓住投资机会,规避可能出现的交... 详细信息

1.引言在国际金融外汇市场上,各个国家的金融机构或个人投资者通过对各国货币的买卖行为来获取投资利益。随着我国国内金融市场的进一步开放,越来越多的银行或个人开展了外汇买卖业务。如何在外汇交易中抓住投资机会,规避可能出现的交易风险,获取较高的投资收益,是每个投资者或银行机构最为关心的问题。为了控制风险,交易员(或客户)要随时了解各种货币的汇率及其变化趋势的实时行情,

关键词： Source Language Bayesian Language Machine Translation Bayesian network

来源：评论

学校读者我要写书评

暂无评论

数据仓库工具集NGDW-1的设计与实现

数据仓库工具集NGDW-1的设计与实现

引用

第十九届全国数据库学术会议

作者：唐蕾张剡柏文阳徐洁磐南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南大谷元石油软件研究所有限公司

1.引言随着数据仓库技术的兴起,越来越多的企业开始建设自己的数据仓库系统,希望取得较高回报率,增强企业的竞争力。数据仓库的概念一经出现,就首先被用于金融、电信、保险等主要传统数据处理密集型行业,使这些企业获得了比原来更多的... 详细信息

1.引言随着数据仓库技术的兴起,越来越多的企业开始建设自己的数据仓库系统,希望取得较高回报率,增强企业的竞争力。数据仓库的概念一经出现,就首先被用于金融、电信、保险等主要传统数据处理密集型行业,使这些企业获得了比原来更多的效益。但各个企业的业务、数据、应用各不相同,而在数据仓库系统的实现中,也采用了多种不同的解决方案,出现了形形色色的数据仓库建模工具、分析工具和展示

关键词： Data warehouse Data extraction and refresh Data warehouse model

来源：评论

学校读者我要写书评

暂无评论

一种基于三值逻辑的关系演算

一种基于三值逻辑的关系演算

引用

第十九届全国数据库学术会议

作者：毛宇光徐洁磐韩波南京大学计算机软件新技术国家重点实验室南京航空航天大学信息科学与技术学院南京航空航天大学计算机科学研究所

1引言不完全信息数据库是数据库理论的一个重要研究方向。现实世界中不完全信息是普遍存在的。数据库是对客观世界的模拟,必须考虑不完全信息的处理。关系数据库中一般采用空值来表示不完全信息,由于空值的存在,比较运算和逻辑运算的结... 详细信息

1引言不完全信息数据库是数据库理论的一个重要研究方向。现实世界中不完全信息是普遍存在的。数据库是对客观世界的模拟,必须考虑不完全信息的处理。关系数据库中一般采用空值来表示不完全信息,由于空值的存在,比较运算和逻辑运算的结果可能为真(T)、假(F)和未知(U)三个值,经典的以二值逻辑为基础的关系数据库理论难以适应这种情况。为适应不完全信息的处理,基于二值逻辑的关系演算必须扩充。本文在三值谓词演算系统

关键词： Incomplete information Three-valued logic Null Relational calculus

来源：评论

学校读者我要写书评

暂无评论

TV-Anytime服务器网络中一个映射问题的启发式算法

引用

计算机学报 2001年第10期24卷 1009-1017页

作者：杜鹏周笑波谢立南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

介绍了一个称为 TV - Anytim e的新型宽带媒体服务 ,提出了一个基于层次型服务器网络之上的大规模TV- Anytime系统模型 .着重地研究了其中一个关键问题——服务器网络的影像对象映射问题 ,并形式化地将其定义为一个组合优化问题 .基于... 详细信息

介绍了一个称为 TV - Anytim e的新型宽带媒体服务 ,提出了一个基于层次型服务器网络之上的大规模TV- Anytime系统模型 .着重地研究了其中一个关键问题——服务器网络的影像对象映射问题 ,并形式化地将其定义为一个组合优化问题 .基于服务器网络的总存储容量、连接服务器结点之间的主干网通信带宽、用户的服务请求模式 ,来考虑尽大化服务器网络可提供的总服务质量 .给出了基于模拟退火的启发式算法集 ,并基于一套映射问题的基准集实例对算法进行了模拟和性能分析 .算法得到近似最优的方案 .

关键词： TV-Anytime 影像对象映射编码比特率层次型服务器网络启发式算法

来源：评论

学校读者我要写书评

暂无评论

单向ad-hoc移动网络路由协议UAOR

引用

计算机学报 2001年第10期24卷 1018-1025页

作者：臧婉瑜于勐谢立南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

单向 ad- hoc移动网络是一种完全由移动主机构成的网络 ,传统的路由协议由于基于 DBF方式其路由更新开销大 ,对网络拓扑结构改变收敛慢 ,不适合 ad- hoc移动网络拓扑变化快和带宽有限等特点 .文中提出了一种支持单向 ad- hoc移动网络的... 详细信息

单向 ad- hoc移动网络是一种完全由移动主机构成的网络 ,传统的路由协议由于基于 DBF方式其路由更新开销大 ,对网络拓扑结构改变收敛慢 ,不适合 ad- hoc移动网络拓扑变化快和带宽有限等特点 .文中提出了一种支持单向 ad- hoc移动网络的路由协议 U AOR,它采用按需方式查找路由 ,并根据主机之间的邻接关系和距离矢量来选择相对最稳定且最短的路由 ,具有路由更新开销小 ,快速适应网络拓扑结构改变等特点 .

关键词： ad-hoc移动无线网络单向链路路由协议 UAOR 移动通信

来源：评论

学校读者我要写书评

暂无评论

静态图像编码研究进展

引用

计算机研究与发展 2001年第11期38卷 1315-1326页

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

多媒体及 Internet的迅速发展导致了对图像编码技术更高的要求 .首先以波形编码、第二代编码技术和分形编码技术为线索对静态图像编码技术的发展及编码技术中所存在的一些问题进行了讨论 ,并从图像编解码的观点讨论了图像在有噪信道上... 详细信息

多媒体及 Internet的迅速发展导致了对图像编码技术更高的要求 .首先以波形编码、第二代编码技术和分形编码技术为线索对静态图像编码技术的发展及编码技术中所存在的一些问题进行了讨论 ,并从图像编解码的观点讨论了图像在有噪信道上传输的误码率情况和适应于网上传输的一些图像编码技术 ;同时对即将成为新的静态图像编码标准的 JPEG- 2 0 0 0的目标、编码机制、ROI编码的 Maxshift方法以及对码流的直接操作等情况进行了讨论 .尽管压缩效果一直是任何编码方案所追求的目标 ,但其它特性 ,像基于内容的编码、可分级性编码以及鲁棒性编码等也是选择一个好的编码方案时应该考虑的 ,据此最后对图像编码技术的发展方向进行了展望 .

关键词：误码率 JPEG-2000 静态图像编码多媒体波形编码 Internet

来源：评论

学校读者我要写书评

暂无评论

Linux安全性能改进研究

引用

计算机工程 2001年第10期27卷 59-62页

作者：周昕刘勇沈熙谢俊元南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室南京210093

自由软件功能强大移植性好与兼容但随着的发展人们对信息安全的要求越来越高目前普通的无法满足这一Linux,,Unix,Internet,,Linux需求。文章介绍了几种安全技术以改进的安全性能并讨论了增强后的安全性能。

关键词： Linux 操作系统安全性能 Internet 信息安全

来源：评论

学校读者我要写书评

暂无评论

对XPath模式定位能力的扩充

引用

计算机研究与发展 2001年第6期38卷 674-678页

作者：王强武港山南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

基于一般结构模式的定位手段对一个完备的面向 XML文档内容的定位机制来说是重要的 ,而 XPath在这方面还有所欠缺 .首先通过实例分析阐明了 XPath提供基于一般结构模式的定位手段的必要性 ,随后通过一些扩充定义来改善它的表示能力 .扩... 详细信息

基于一般结构模式的定位手段对一个完备的面向 XML文档内容的定位机制来说是重要的 ,而 XPath在这方面还有所欠缺 .首先通过实例分析阐明了 XPath提供基于一般结构模式的定位手段的必要性 ,随后通过一些扩充定义来改善它的表示能力 .扩充从概念、语法描述和执行机制 3个方面展开 ,概念上 ,引入了结点序列模式和结点正则表达式的定义 ;语法描述上 ,为 XPath扩充了数据类型 N Regex Type和结点序列模式匹配函数 match;执行机制上 ,定义了一个用于分析结点序列模式匹配过程的形式化自动机 .

关键词：结点序列模式正则表达式模式匹配函数自动机 XPath

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：