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

软件学报 1999年第10期10卷 1038-1046页

作者：杜建成黄皓陈道蓄谢立南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系210093

基于最佳并行度的任务依赖图调度策略充分利用编译时刻所得到的全局信息，采用横向和纵向任务合并，处理节点预分配，静态调度和动态调度相结合、集中式调度和分层调度相结合等措施，是一种简单的、具有较高效率的实用化调度方案．该调... 详细信息

基于最佳并行度的任务依赖图调度策略充分利用编译时刻所得到的全局信息，采用横向和纵向任务合并，处理节点预分配，静态调度和动态调度相结合、集中式调度和分层调度相结合等措施，是一种简单的、具有较高效率的实用化调度方案．该调度方案能够在尽量压缩调度长度的情况下节约系统资源．

关键词：任务依赖图静态调度动态调度 NP问题程序设计

来源：评论

学校读者我要写书评

暂无评论

基于自动规约规则的HTML文档元数据提取

引用

模式识别与人工智能 2005年第4期18卷 405-411页

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

利用HTML文档的元数据,可以为Web检索提供多样化的检索手段。本文提出了一种从HTML文档自动提取文档元数据的方法,对其中提取规则的设计、规约算法及其复杂度分析做出了重点介绍。该方法的提取规则在语法形式上和文档片断接近,更适合自... 详细信息

利用HTML文档的元数据,可以为Web检索提供多样化的检索手段。本文提出了一种从HTML文档自动提取文档元数据的方法,对其中提取规则的设计、规约算法及其复杂度分析做出了重点介绍。该方法的提取规则在语法形式上和文档片断接近,更适合自动生成,通过自动规约生成规则无需人工分析,适应Web文档特点。文章最后给出了实验结果并进行了分析。

关键词：元数据提取基于规则自动规约

来源：评论

学校读者我要写书评

暂无评论

SEFNN:一种基于结构进化的前馈神经网络设计算法

引用

计算机研究与发展 2006年第10期43卷 1713-1718页

作者：李宁谢振华谢俊元陈世福南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

遗传算法是一种模拟自然选择和进化的随机搜索算法,它的搜索能够遍及整个解空间,容易得到全局最优解.目前主要的编码方式都是将结构和连接权值等信息编码成串式的基因,这不利于在遗传过程中保留个体的子结构信息,也难于设计兼顾基因型... 详细信息

遗传算法是一种模拟自然选择和进化的随机搜索算法,它的搜索能够遍及整个解空间,容易得到全局最优解.目前主要的编码方式都是将结构和连接权值等信息编码成串式的基因,这不利于在遗传过程中保留个体的子结构信息,也难于设计兼顾基因型与表现型的遗传算子;在前馈神经网络的进化中引入BP训练方面,也不分良莠对所有后代进行训练,形成资源浪费.为克服这些问题,提出了一种基于结构进化的前馈神经网络设计算法SEFNN,该算法使用一种紧缩矩阵编码、新型结构化交叉算子、修订的变异算子和精英训练法则,充分考虑了基因型与表现型之间的关系,适当加大变异搜索速度,并采用选拔训练方式,从而提高了进化神经网络的效率.实验表明该算法获得的解无论在网络规模还是测试精度上都有优越的性能表现,并已应用于肺癌早期细胞病理诊断系统,具有良好的效果.

关键词：遗传算法神经网络 BP算法结构进化

来源：评论

学校读者我要写书评

暂无评论

LDPChecker——一个实时和混成系统模型检验工具

引用

计算机研究与发展 2005年第1期42卷 38-46页

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

混成系统是一类复杂系统,线性混成系统作为其重要子类,在形式方法中,人们通常使用线性混成自动机来对它建模.虽然线性混成自动机的模型检验问题总的来说还是不可判定的,但对于其中的正环闭合自动机,其对于线性时段性质的满足性能够通过... 详细信息

混成系统是一类复杂系统,线性混成系统作为其重要子类,在形式方法中,人们通常使用线性混成自动机来对它建模.虽然线性混成自动机的模型检验问题总的来说还是不可判定的,但对于其中的正环闭合自动机,其对于线性时段性质的满足性能够通过线性规划方法加以检验.为了实现自动检验正环闭合自动机对线性时段性质的满足性,设计并实现了工具LDPChecker.工具LDPChecker能够识别正环闭合自动机并对其进行相应的检验,其主要特色在于它能够对实时和混成系统检验包含可达性在内的许多实时性质,并且能够自动给出诊断信息.

关键词：实时和混成系统混成自动机线性时段性质模型检验

来源：评论

学校读者我要写书评

暂无评论

任务间的次并行性

引用

软件学报 1998年第12期9卷 917-921页

作者：杜建成徐融陈道蓄谢立南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

首先给出了任务间次并行性存在的条件，讨论了两个任务之间的通讯、通讯等待开销的计算和任务间次并行性发掘的一般过程．此外，还就代码移动和任务合并对增强并行性、消减不必要的通讯等待开销的影响作了说明．

关键词：数据并行性任务并行性程序自动并行化

来源：评论

学校读者我要写书评

暂无评论

基于ATM的群通信问题的研究

引用

软件学报 1998年第8期9卷 561-565页

作者：吴礼发周笑波谢立孙钟秀南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

群通信在并行计算中起着重要的作用．ＡＴＭ（ａｓｙｎｃｈｒｏｎｏｕｓｔｒａｎｓｆｅｒｍｏｄｅ）网络有许多特点使之适合群通信．如何有效地利用ＡＴＭ的这些特点来实现群通信操作是一个重要的研究课题．该文提出了一种基于ＡＴＭ的... 详细信息

群通信在并行计算中起着重要的作用．ＡＴＭ（ａｓｙｎｃｈｒｏｎｏｕｓｔｒａｎｓｆｅｒｍｏｄｅ）网络有许多特点使之适合群通信．如何有效地利用ＡＴＭ的这些特点来实现群通信操作是一个重要的研究课题．该文提出了一种基于ＡＴＭ的群通信结构——混合树（Ｈｙｂｒｉｄ－Ｔｒｅｅ），该结构适合动态组中的群通信，并且能有效地利用ＡＴＭ的特点．

关键词： ATM 群通信多目标发送计算机网络

来源：评论

学校读者我要写书评

暂无评论

基于微内核的网络系统界面的实现

引用

软件学报 1999年第6期10卷 614-618页

作者：胡宁宁金志权谢立南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

ＣＯＮＥＴＶ２．０是一种在微内核环境下实现的网络系统软件，由于微内核在系统构造方法上与传统的方法不同，所以该环境下的系统模块在实现上也具有其特殊之处．文章介绍了ＣＯＮＥＴＶ２．０的体系结构与实现思想。

关键词：网络系统套接字微内核界面通信协议

来源：评论

学校读者我要写书评

暂无评论

B1级安全数据库审计的设计与实现

引用

计算机工程 2004年第11期30卷 54-56,140页

作者：程维国田园王德强谢俊元南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

审计子系统作为安全数据库的一个重要组成部分,它可以对外界的行为追踪、记录,监督系统正常运行,保障系统安全策略的实行,构造入侵监测系统。该文主要介绍了一个基于开放源代码Postgres实现的安全数据库SoftBase的审计子系统。并给出了... 详细信息

审计子系统作为安全数据库的一个重要组成部分,它可以对外界的行为追踪、记录,监督系统正常运行,保障系统安全策略的实行,构造入侵监测系统。该文主要介绍了一个基于开放源代码Postgres实现的安全数据库SoftBase的审计子系统。并给出了审计开关、审计记录、审计文件、审计查询的具体实现。

关键词：审计安全数据库审计开关审计记录

来源：评论

学校读者我要写书评

暂无评论

自动入侵响应技术研究

引用

计算机工程 2005年第18期31卷 143-145,177页

作者：胡文黄皓南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

简述了自动入侵响应系统的一般模型和系统特性,并对当前主要的入侵响应方式进行了介绍和评估,最后从响应决策技术、协同响应技术、自适应技术和追踪反击技术4个方面阐述了自动入侵响应的发展方向。

关键词：自动入侵响应决策协同自适应追踪

来源：评论

学校读者我要写书评

暂无评论

多用户协作的Web知识获取

引用

模式识别与人工智能 2002年第3期15卷 285-289页

作者：王超黄建海李俊潘金贵南京大学软件新技术国家重点实验室计算机科学与技术系南京210093

万维网上非结构化、异构、海量的信息资源给人们寻求合适的信息造成了困难.搜索引擎、个性化搜索工具及其他相关技术的使用,在一定程度上缓解了这个问题,但在面对人们长期的、系统的知识获取需求时,它们所起的作用相对有限.本文分析了... 详细信息

万维网上非结构化、异构、海量的信息资源给人们寻求合适的信息造成了困难.搜索引擎、个性化搜索工具及其他相关技术的使用,在一定程度上缓解了这个问题,但在面对人们长期的、系统的知识获取需求时,它们所起的作用相对有限.本文分析了人们通过万维网求知的一般过程,并结合一个系统的设计和实现讨论了能有效协助用户万维网求知的具体相关技术,并阐述了该多用户协作的万维网知识获取系统的整体结构和特点.

关键词：万维网信息抽取语义知识获取多用户协作

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：