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

电子学报 2006年第5期34卷 804-809页

作者：周俊生戴新宇尹存燕陈家骏南京大学计算机软件新技术国家重点实验室

中文机构名的自动识别是自然语言处理中的一个比较困难的问题.本文提出了一种新的基于层叠条件随机场模型的中文机构名自动识别算法.该算法在低层条件随机场模型中解决对人名、地名等简单命名实体的识别,将识别结果传递到高层模型,为高... 详细信息

中文机构名的自动识别是自然语言处理中的一个比较困难的问题.本文提出了一种新的基于层叠条件随机场模型的中文机构名自动识别算法.该算法在低层条件随机场模型中解决对人名、地名等简单命名实体的识别,将识别结果传递到高层模型,为高层的机构名条件随机场模型实现对复杂机构名的识别提供决策支持.文中为机构名条件随机场模型设计了有效的特征模板和特征自动选择算法.对大规模真实语料的开放测试中,召回率达到90.05%,准确率达到88.12%,性能优于其它中文机构名识别算法.

关键词：命名实体中文机构名识别条件随机场

来源：评论

学校读者我要写书评

暂无评论

基于Petri网的Web服务自动组合研究

引用

计算机学报 2006年第7期29卷 1057-1066页

作者：钱柱中陆桑璐谢立南京大学计算机软件新技术国家重点实验室

根据Web服务中消息和行为的关系,Web服务被描述为面向消息的基于行为Petri网模型(Moap)．该模型包括消息域和服务过程,前者是服务协同以及和用户通信的通道,后者是基于Petri网的Web服务行为过程描述．Moap支持组合服务的重用,可以很好... 详细信息

根据Web服务中消息和行为的关系,Web服务被描述为面向消息的基于行为Petri网模型(Moap)．该模型包括消息域和服务过程,前者是服务协同以及和用户通信的通道,后者是基于Petri网的Web服务行为过程描述．Moap支持组合服务的重用,可以很好地描述可用服务的并行调用,另外元消息机制也有利于服务的自动组合．在Moap基础上,定义了服务组合系统和服务的协同;给出了服务自动组合规则,并证明了其有效性和完备性．最后,通过一个实例直观描述了服务组合系统的工作方式．

关键词： Web服务 Petri网 Web服务自动组合

来源：评论

学校读者我要写书评

暂无评论

En-Route Transcoding缓存的优化放置和替换

引用

软件学报 2008年第4期19卷 956-966页

作者：李春洪冯国富顾铁成陆桑璐陈道蓄南京大学计算机软件新技术国家重点实验室

对en-route transcoding缓存中的缓存路由和协同放置及替换问题进行了研究.提出了CCRA(cost-aware cache routing algorithm)缓存路由算法,能以可控的探测开销来发现潜在的、具有最小访问开销的缓存对象.在此基础上,建立了en-route tran... 详细信息

对en-route transcoding缓存中的缓存路由和协同放置及替换问题进行了研究.提出了CCRA(cost-aware cache routing algorithm)缓存路由算法,能以可控的探测开销来发现潜在的、具有最小访问开销的缓存对象.在此基础上,建立了en-route transcoding缓存的分析模型,将缓存放置和替换问题形式化为一个最优化问题,并利用一种基于动态规划的方法来求解最佳缓存放置策略.仿真结果表明,与已有的元算法放置策略相比,该协同放置和替换策略可以获得更好的CSR性能.

关键词： en-route transcoding缓存缓存路由协同放置缓存替换

来源：评论

学校读者我要写书评

暂无评论

一种从面向对象Z规约到代码的精化演算方法

引用

软件学报 2000年第8期11卷 1041-1046页

作者：王云峰庞军查鸣杨朝晖郑国梁南京大学计算机软件新技术国家重点实验室

COOZ(complete object- oriented Z)的优势在于精确描述大型程序的规约 .COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 .将精化演算引入COOZ,弥补了 COOZ在设计和实现阶段的不... 详细信息

COOZ(complete object- oriented Z)的优势在于精确描述大型程序的规约 .COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 .将精化演算引入COOZ,弥补了 COOZ在设计和实现阶段的不足 ,同时也消除了规约与实现之间在结构和表示方法上的完全分离 ,使程序开发在一个完整的框架下平滑进行 .该文提出了基于 COOZ和精化演算的软件开发模型 ,通过实例讨论了数据精化和操作精化问题 .在精化演算实现技术方面构造了一种数据精化算子 ,提出一种基于数据精化演算和程序窗口推理的数据精化的方法 .

关键词：形式化开发方法精化演算面向对象代码

来源：评论

学校读者我要写书评

暂无评论

面向对象Z的子类型继承和推理规则

引用

软件学报 2000年第4期11卷 481-487页

作者：王云峰 *** 李必信郑国梁南京大学计算机软件新技术国家重点实验室

讨论了 COOZ( complete object- oriented Z)中的继承关系 ,将继承分为增量继承和子类型化继承 ,并重点讨论了子类型化继承 .定义了一种行为子类型化继承 ,证明了该方法的合理性 ,并据此定义了 COOZ的规约继承及规约继承的推理规则 .所... 详细信息

讨论了 COOZ( complete object- oriented Z)中的继承关系 ,将继承分为增量继承和子类型化继承 ,并重点讨论了子类型化继承 .定义了一种行为子类型化继承 ,证明了该方法的合理性 ,并据此定义了 COOZ的规约继承及规约继承的推理规则 .所讨论的子类型化方法与 ***等人的方法相比 ,具有可构造性 ,并且比L

关键词：面向对象继承子类型软件开发方法推理规则

来源：评论

学校读者我要写书评

暂无评论

DevOps中国调查研究

引用

软件学报 2019年第10期30卷 3206-3226页

作者：刘博涵张贺董黎明计算机软件新技术国家重点实验室(南京大学)

DevOps 已提出近十年,其作为敏捷方法在完整的软件生命周期上的延伸,旨在从文化、自动化、标准化、架构以及工具支持等方面,打破开发与运维之间的壁垒,重塑软件过程,以实现在保证高质量的前提下,缩短从代码提交到产品上线之间的周期.在... 详细信息

DevOps 已提出近十年,其作为敏捷方法在完整的软件生命周期上的延伸,旨在从文化、自动化、标准化、架构以及工具支持等方面,打破开发与运维之间的壁垒,重塑软件过程,以实现在保证高质量的前提下,缩短从代码提交到产品上线之间的周期.在竞争日益激烈的市场环境下,用户对于产品服务的稳定性以及更新频率和效率的要求不断提高,DevOps 在学术界和工业界的关注程度因此也不断提高.Puppet Labs 在 2013 年开始了全球 DevOps 现状的问卷调查,迄今已发布了 5份报告.国内 DevOps的发展相对滞后,对于国内 DevOps现状的研究在工业界和学术界均处于空白.2016 年和 2018 年分别进行了两次关于 DevOps 国内现状的问卷调查以填补这一空白,两次调查的受访人数分别为 74 和 66 人.基于两次调查结果,从 DevOps 涵盖的 IT 性能表现、组织文化及相关实践、开发与运维实践、工具支持、领导力、工作比例、员工敬业度及满意度这 8 个方面,综合分析了 DevOps 在国内的发展现状与趋势,并与 Puppet Labs报告的全球现状进行了对比.总体而言,国内 DevOps虽呈现了稳步发展的态势,但与国际水平相比尚存在明显差距,目前能达到国际高水平 IT 性能的受访团队仅 6%.通过对比,总结了 17 条发现,经过综合分析,获得了 3 个主要结论:(1)员工素质和人才紧缺是国内 DevOps 滞后、过程成熟度不高的症结;(2) DevOps 化越成熟,员工敬业度和满意度越高;(3) Scrum 敏捷开发和基于主干开发是最普遍采纳的实践.基于分析结果,在未来实践与研究上给出了多项建议.

关键词：软件工程软件过程 DevOps

来源：评论

学校读者我要写书评

暂无评论

一种图形化对象式需求定义语言的设计

引用

软件学报 1996年第11期7卷 647-655页

作者：张家重吕建王志坚徐家福南京大学计算机软件研究所南京大学计算机软件新技术国家重点实验室

本文简要讨论了软件需求定义及其语言的有关基本概念，重点介绍了图形化对象式需求定义语言ＮＤＯＲＬ的设计思想以及主要的语言结构与成分．该语言是一种以面向对象方法支持软件需求定义的半形式化语言，具有形象易读、表达力强和便于... 详细信息

本文简要讨论了软件需求定义及其语言的有关基本概念，重点介绍了图形化对象式需求定义语言ＮＤＯＲＬ的设计思想以及主要的语言结构与成分．该语言是一种以面向对象方法支持软件需求定义的半形式化语言，具有形象易读、表达力强和便于实现到形式功能规约的转换等特点。

关键词：面向对象需求定义语言 NDORL语言软件开发

来源：评论

学校读者我要写书评

暂无评论

一种移动agent结构化迁移机制的设计和实现

引用

软件学报 2000年第7期11卷 918-923页

作者：陶先平 *** 吕建张冠群李新董桓南京大学计算机软件新技术国家重点实验室

移动 agent计算模式将成为未来网络计算的主流模式 .移动 agent的迁移机制是其技术核心之一 .该文分析了现有移动 agent系统中采用的几种代表性迁移技术 ,提出了一种新的结构化迁移机制 .该机制的主要特点如下 :( 1) agent的旅行计划和... 详细信息

移动 agent计算模式将成为未来网络计算的主流模式 .移动 agent的迁移机制是其技术核心之一 .该文分析了现有移动 agent系统中采用的几种代表性迁移技术 ,提出了一种新的结构化迁移机制 .该机制的主要特点如下 :( 1) agent的旅行计划和功能体完全分离 ;( 2 )旅行计划本身也具有严格定义的结构 ;( 3)提供了 3种灵活有力的迁移模式 .因此 ,它能有效地控制移动 agent的复杂度 ,有利于 agent的复用 .在该机制的基础上 ,设计并实现了移动 agent系统 Mogent1.

关键词：移动agent 迁移结构化信息处理人工智能

来源：评论

学校读者我要写书评

暂无评论

平均度约束的无线传感器网络拓扑控制

引用

计算机学报 2007年第9期30卷 1544-1550页

作者：陈力军毛莺池陈道蓄谢立南京大学计算机软件新技术国家重点实验室

拓扑控制是无线传感器网络中最重要的技术之一.大规模随机部署的无线传感器网络节点,在满足无线传感器网络拓扑连通性的前提下,如何保证网络结构的稀疏性是一个亟待解决的问题,目前已有的研究结果表明当节点密度较大时,得到的网络拓扑复... 详细信息

拓扑控制是无线传感器网络中最重要的技术之一.大规模随机部署的无线传感器网络节点,在满足无线传感器网络拓扑连通性的前提下,如何保证网络结构的稀疏性是一个亟待解决的问题,目前已有的研究结果表明当节点密度较大时,得到的网络拓扑复杂,计算路由将严重消耗节点资源.文中提出了一种平均度约束的无线传感器网络拓扑控制,通过增加节点通信半径,约束节点的平均度来解决网络的连通性与网络拓扑的稀疏性之间的矛盾.数值模拟表明:通过平均度约束的无线传感器网络拓扑控制,可减少网络中选出的工作节点数,保证了网络的稀疏性,简化了路由的复杂度,从而延长了网络的生存周期.

关键词：无线传感器网络随机图平均度约束拓扑控制

来源：评论

学校读者我要写书评

暂无评论

面向对象范型体系结构中构件行为相容性研究

引用

软件学报 2006年第6期17卷 1276-1286页

作者：胡海洋吕建马晓星陶先平计算机软件新技术国家重点实验室(南京大学)

软件体系结构(SA)为基于构件的软件开发提供了一种高层次的抽象.如何有效描述体系结构中构件的对外交互行为、验证组装构件间的行为相容及保证整个体系结构行为无死锁是其中较为重要的研究内容.在基于面向对象范型这类重要的软件体系结... 详细信息

软件体系结构(SA)为基于构件的软件开发提供了一种高层次的抽象.如何有效描述体系结构中构件的对外交互行为、验证组装构件间的行为相容及保证整个体系结构行为无死锁是其中较为重要的研究内容.在基于面向对象范型这类重要的软件体系结构中,构件组装通常是通过接口方法调用加以实现.针对这样一类基于软件体系结构的构件组装问题,形式描述与定义了构件及其对外交互协议,分析了服务请求构件与服务提供构件所能展示的不同行为,给出了组装交互的构件在请求/提供接口上协议级行为相容的一组验证规则及相关定理.最后,通过一个电子商务应用实例来说明所提出途径的可用性和针对性.

关键词：构件构件组装软件体系结构行为相容无死锁

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：