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

计算机工程与应用 1999年第12期35卷 94-97,100页

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

ＢＳＤＵｎｉｘ的ＳＯＣＫＥＴ和ＡＴ＆ＴＳｙｓｔｅｍＶ的ＴＬＩ（ＴｒａｎｓｐｏｒｔＬａｙｅｒＩｎｔｅｒｆａｃｅ）是Ｕｎｉｘ系统中主流的网络应用程序接。ＡＰＩ。ＳＯＣＫＥＴ与系统Ｉ／Ｏ相关连，而ＴＬＩ通过流机制实现，都分... 详细信息

ＢＳＤＵｎｉｘ的ＳＯＣＫＥＴ和ＡＴ＆ＴＳｙｓｔｅｍＶ的ＴＬＩ（ＴｒａｎｓｐｏｒｔＬａｙｅｒＩｎｔｅｒｆａｃｅ）是Ｕｎｉｘ系统中主流的网络应用程序接。ＡＰＩ。ＳＯＣＫＥＴ与系统Ｉ／Ｏ相关连，而ＴＬＩ通过流机制实现，都分别依赖于各自操作系统的特性和机制。在操作系统国产化的要求下，同时提供ＳＯＣＫＥＴ和ＴＬＩ能极大提高系统的兼容性，但通过互相模拟或者提供两套系统都不能很好地同时实现ＳＯＣＫＥＴ和ＴＬＩ。ＣＯＮＥＴＶ２．０作为国产网络系统软件，采用优秀的ｘ－ｋｅｒｎｅｌ机制，它先进的面向对象和多线程特性很好地解决了以上难题。文章扼要说明了ＳＯＣＫＥＴ和ＴＬＩ的差异，并详细讨论了在ＣＯＮＥＴＶ２．０中同时实现两者的细节。

关键词：网络软件应用程序接口通信协议 Internet网

来源：评论

学校读者我要写书评

暂无评论

一种基于主动网络技术的电信网络管理模型

引用

计算机工程 1999年第9期25卷 29-31页

作者：袁俊何丹杨培根南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

介绍了TMN的基本概念．从技术的角度探讨了TMN的体系结构，并指出了现行TMN的不足之处。最后提出了一种基于主动网络技术的电信网络管理模型-ATMN。

关键词：电信管理网络网络管理主动网络

来源：评论

学校读者我要写书评

暂无评论

结合形式化的面向对象设计方法与支撑系统

引用

软件学报 1999年第4期10卷 409-414页

作者：郑明春段会川高波张家重山东师范大学计算机科学系南京大学计算机软件新技术国家重点实验室

为了有效地结合形式化和非形式化设计方法各自的优点，克服其不足之处，以尽可能保证软件设计的质量与可靠性，文章提出了一种将形式化方法与非形式化的面向对象设计方法ＨＯＯＤ（ｈｉｅｒａｒｃｈｉｃａｌｏｂｊｅｃｔ－ｏｒｉｅｎｔ... 详细信息

为了有效地结合形式化和非形式化设计方法各自的优点，克服其不足之处，以尽可能保证软件设计的质量与可靠性，文章提出了一种将形式化方法与非形式化的面向对象设计方法ＨＯＯＤ（ｈｉｅｒａｒｃｈｉｃａｌｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｄｅｓｉｇｎ）相结合的途径，并介绍了其机器支撑环境的设计与实现．该途径在对层次式面向对象设计方法ＨＯＯＤ进行必要扩充的基础上，有机地集成了Ｚ语言等形式规约技术．支持这一途径的支撑环境提供了一套方便灵活的图形构筑工具、语法制导的形式语言与文本编辑工具，以及自动检查机制等．

关键词：面向对象 HOOD 面向对象程序设计支撑系统

来源：评论

学校读者我要写书评

暂无评论

基于C++的一种主动对象事件服务机制的实现

引用

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

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

用面向对象方法构造具有互操作能力的分布并行软件系统是当今一种日渐强烈的需要，但现有的程序设计环境对这方面的支持尚不能让人满意．我们提出并基于Ｃ＋＋实现了一种主动对象的事件服务机制。

关键词：主动对象互操作性事件服务软件系统 C++

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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