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

计算机科学 1999年第5期 84-90页

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

随着社会对软件需求的不断增长,正在使用和开发的软件与日俱增,许多大型复杂的软件已投放市场。同时,由于各种各样的新型程序设计方法的兴起,如逻辑式程序设计方法,函数式程序设计方法,对象式程序设计方法,分布式程序设计方法,并行式程... 详细信息

随着社会对软件需求的不断增长,正在使用和开发的软件与日俱增,许多大型复杂的软件已投放市场。同时,由于各种各样的新型程序设计方法的兴起,如逻辑式程序设计方法,函数式程序设计方法,对象式程序设计方法,分布式程序设计方法,并行式程序设计方法等等,致使目前社会上的软件产品种类繁多.结构各异。因此,软件维护问题已成为当前软件产业面临的重要课题。首先,由于还未研制出实际可用的软件确认技术,软件投入使用后修改错误不可避免;其次,软件所处的环境和用户的要求经常

关键词： Program comprehension Traditional software Object-orientation

来源：评论

学校读者我要写书评

暂无评论

一种并行分布对象的互操作模型

引用

软件学报 1999年第8期10卷 861-867页

作者：王晨周颖张德富南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系

并行软件设计本身的复杂性使它的复用成为一个引人注目的问题．分布对象技术不仅可以将并行软件封装成相应的构件，而且提供了利用各种异构系统进行并行计算的可能性，但这样往往会使这些构件的互操作的效率有所降低．文章提出的并行分... 详细信息

并行软件设计本身的复杂性使它的复用成为一个引人注目的问题．分布对象技术不仅可以将并行软件封装成相应的构件，而且提供了利用各种异构系统进行并行计算的可能性，但这样往往会使这些构件的互操作的效率有所降低．文章提出的并行分布对象互操作模型试图解决这一问题．这个模型与分布对象的旧有模型兼容，并且实际测试结果表明，它还能挖掘出并行分布对象间的更多并行性．

关键词：并行计算分布对象互操作程序设计

来源：评论

学校读者我要写书评

暂无评论

神经网络技术在工程图纸识别中的应用

引用

南京大学学报（自然科学版） 1999年第1期35卷 66-73页

作者：邹荣金蔡士杰张福炎计算机软件新技术国家重点实验室多媒体技术研究所

提出一种应用神经网络技术识别工程图纸扫描图象中图形符号的方法，这种神经网络分类器不仅使识别系统具有自适应性、可拓展性等特点，而且可适应工程图中符号处于粘连、相交、退化等复杂情况下的识别，对目前工程图识别中的最困难问题... 详细信息

提出一种应用神经网络技术识别工程图纸扫描图象中图形符号的方法，这种神经网络分类器不仅使识别系统具有自适应性、可拓展性等特点，而且可适应工程图中符号处于粘连、相交、退化等复杂情况下的识别，对目前工程图识别中的最困难问题提出了一个有效的解决方法。

关键词：图象识别神经网络特征提取工程图纸识别

来源：评论

学校读者我要写书评

暂无评论

基于Connectionist机制的合一算法实现及其模拟系统

引用

计算机应用研究 1999年第11期16卷 17-21页

作者：孙维祥俞立军许满武南京大学计算机科学与技术系计算机软件新技术国家重点实验室 210093 南京大学计算机科学与技术计算机软件新技术国家重点实验室 210093

本文我们首先介绍了基于ｃｏｎｎｅｃｔｉｏｎｉst机制的合一算法并在此基础上建立了其模拟系统。

关键词：数据结构合一算法模拟系统

来源：评论

学校读者我要写书评

暂无评论

线性混成系统的参数分析

引用

计算机学报 1999年第6期22卷 639-644页

作者：侯建民郑滔樊晓聪李宣东郑国梁南京大学计算机科学系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

针对线性混成系统中存在的一类典型未知参数问题，如实时系统的验证通常局限于给定具体数值，未考虑系统中任何时间参数或物理特征参数的计算等，给出了具体的计算过程．实例应用表明，该计算过程可以有效地求解线性混成系统中这类未知... 详细信息

针对线性混成系统中存在的一类典型未知参数问题，如实时系统的验证通常局限于给定具体数值，未考虑系统中任何时间参数或物理特征参数的计算等，给出了具体的计算过程．实例应用表明，该计算过程可以有效地求解线性混成系统中这类未知参数，并能保证系统按照规约的要求正确运行．

关键词：线性混成系统计算过程参数分析实时系统

来源：评论

学校读者我要写书评

暂无评论

不同数据库间数据交换的实现

引用

计算机工程与应用 1999年第3期35卷 91-93页

作者：张晓云焦进沈平张德富南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

文章针对当前管理信息系统集成时存在多种不同数据库的现状，提出了利用ＯＤＢＣ技术来进行不同数据库间的数据交换的方案，并通过具体的实例阐述了在ＰｏｗｅｒＢｕｉｌｄｅｒ中利用ＯＤＢＣ技术实现数据交换的方法。

关键词：数据交换数据库管理信息系统企业

来源：评论

学校读者我要写书评

暂无评论

解大型稀疏线性方程组的一种有效并行ICCG法

引用

计算机工程与应用 1999年第7期35卷 30-31,34页

作者：舒继武赵金熙张德富南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机系南京210093

该文分析了不完全Cholesky分解预处理共轭梯度（ICCG）法各部分的计算量，给出了占ICCG法主要计算时间的解预处理方程的并行算法，它既有比目前迭代算法快的收敛速度，又有较好的并行度。

关键词：稀疏线性方程组 ICCG法并行迭代

来源：评论

学校读者我要写书评

暂无评论

一阶反合一研究

引用

软件学报 1999年第7期10卷 766-771页

作者：许满武潘光睿周荣国宋晓梁刘东升南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

文章讨论一阶反合一问题以及求反合一子完备集的算法．在合一问题中，有多种求解合一问题的方法，其中研究得较为彻底的是用转换规则进行求解的方法．在研究反合一问题的过程中，人们也陆续提出了许多转换规则，这样做的结果是最终给出... 详细信息

文章讨论一阶反合一问题以及求反合一子完备集的算法．在合一问题中，有多种求解合一问题的方法，其中研究得较为彻底的是用转换规则进行求解的方法．在研究反合一问题的过程中，人们也陆续提出了许多转换规则，这样做的结果是最终给出的是已解出形．该文在已解出形的基础上讨论一种方法，以给出具体解的完备集（反合一子完备集）．通过引入Ｇθ和Ｚ函数，使求解更为方便、直观．

关键词：反合一反合一子计算机科学算法

来源：评论

学校读者我要写书评

暂无评论

汽车驾驶模拟器中3D场景的设计和实现

引用

计算机科学 1999年第12期26卷 90-93页

作者：钱蔚张旦王婉徐福培南京大学计算机系软件新技术国家重点实验室南京210093

1 引言汽车驾驶模拟器是一种能正确模拟汽车驾驶操作,并能在主要性能上获得与实车相同感觉的汽车驾驶训练仿真教学设备。一个好的模拟器应该有一个立体感强、图形逼真的三维视景。YF三维汽车驾驶模拟器的视景系统采用计算机实时生成技术... 详细信息

1 引言汽车驾驶模拟器是一种能正确模拟汽车驾驶操作,并能在主要性能上获得与实车相同感觉的汽车驾驶训练仿真教学设备。一个好的模拟器应该有一个立体感强、图形逼真的三维视景。YF三维汽车驾驶模拟器的视景系统采用计算机实时生成技术(称为CIG视景系统),它根据当前汽车的状态实时生成逼真的三维场景,使学员感觉就象驾驶真的汽车一样。

关键词：汽车驾驶模拟器 3D场景设计驾驶员

来源：评论

学校读者我要写书评

暂无评论

线性混合系统的一种验证方法

引用

南京大学学报（自然科学版） 1999年第1期35卷 58-65页

作者：侯建民李宣东樊晓聪郑国梁南京大学计算机软件新技术国家重点实验室南京大学计算机科学系

混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展，混合系统在各行各业中都得到广泛应用，但是由于混合系统涉及到连续时间，因此其验证问题始终没有得到完善的解决．近年来，人们普遍采用模型检验方法对混合系... 详细信息

混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展，混合系统在各行各业中都得到广泛应用，但是由于混合系统涉及到连续时间，因此其验证问题始终没有得到完善的解决．近年来，人们普遍采用模型检验方法对混合系统进行验证．由于线性混合系统在实际应用中可以表示大多数的嵌入式实时系统，因此我们着重研究这类混合系统的验证算法．本文首先介绍了混合系统的模型—混合自动机，然后提出了一种针对线性混合系统的基于区域的先划分再遍历的半确定性验证方法．经实例检验，该方法能够有效地验证线性混合系统．

关键词：混合系统混合自动机模型检验线性混合系统

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：