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

计算机学报 1998年第2期21卷 103-110页

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

模型验证是对有限状态系统的一种形式化确认方法．近几年，模型验证方法已逐步扩展到实时系统应用中．为解决实时系统的模型验证问题，本文采用离散时段演算作为实时系统规格说明的形式语言，用时间自动机作为实时系统的实现模型，对模... 详细信息

模型验证是对有限状态系统的一种形式化确认方法．近几年，模型验证方法已逐步扩展到实时系统应用中．为解决实时系统的模型验证问题，本文采用离散时段演算作为实时系统规格说明的形式语言，用时间自动机作为实时系统的实现模型，对模型验证问题进行了细致的分析，并提出了一种具有实际应用价值的方法──商技术．该方法可以避免当多个时间自动机并行组合时可能产生的状态空间组合爆炸问题，同时还可以简化整个模型验证问题．

关键词：离散时段演算模型验证符号模型实时系统

来源：评论

学校读者我要写书评

暂无评论

三维地质数据可视化系统SLGRAPH的设计与实现

引用

计算机研究与发展 1998年第9期35卷 836-840页

作者：汪灏泓宋继强徐维秀蔡士杰南京大学计算机软件新技术国家重点实验室

ＳＬＧＲＡＰＨ是一个应用于地质背景下的三维数据可视化系统．文中探讨了系统设计中采用的将面向问题域思想与面向对象技术合为一体的方法，使系统具有很强的动态可扩充性和较高的代码复用率．ＳＬＧＲＡＰＨ充分考虑了地层与断层的空... 详细信息

ＳＬＧＲＡＰＨ是一个应用于地质背景下的三维数据可视化系统．文中探讨了系统设计中采用的将面向问题域思想与面向对象技术合为一体的方法，使系统具有很强的动态可扩充性和较高的代码复用率．ＳＬＧＲＡＰＨ充分考虑了地层与断层的空间连续性，从立体角度建立完整的断层模型，并结合空间单元分割技术和区域编码法，较精确地实现了离散数据场的空间估计，较好地解决了断层问题．文中还提出了浮动水平线消隐算法和光线追踪真实感绘制算法的改进方法．

关键词：三维地质数据 SLGRAPH 地震勘探数据处理

来源：评论

学校读者我要写书评

暂无评论

OOZE求精技术自动化的探讨

引用

计算机研究与发展 1998年第2期35卷 173-177页

作者：袁晓东陈家骏郑国梁南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

文中立足于一种Ｚ的面向对象扩充广谱语言ＯＯＺＥ，研究其从软件规格说明到可执行程序求精过程中的自动化技术．重点讨论了数据求精技术，对Ｚ中的几种复合数据类型及其嵌套结构、ＯＯＺＥ中的类结构提出了相应的自动求精规则。

关键词： OOZE 数据求精操作求精软件工程

来源：评论

学校读者我要写书评

暂无评论

基于 Java 的分布并行计算环境 JavaPVM

引用

高技术通讯 1998年第4期8卷 12-15页

作者：谢立吴国庆茅兵陈道蓄南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

在吸取了ＰＶＭ和Ｊａｖａ语言的思想及技术的基础上，开发出了基于Ｊａｖａ的并行虚拟机环境，它为异构环境下的分布并行程序设计提供了虚拟并行平台和基于该平台之上的简洁的通信手段。介绍了ＪａｖａＰＶＭ的设计和实现，可以看出它... 详细信息

在吸取了ＰＶＭ和Ｊａｖａ语言的思想及技术的基础上，开发出了基于Ｊａｖａ的并行虚拟机环境，它为异构环境下的分布并行程序设计提供了虚拟并行平台和基于该平台之上的简洁的通信手段。介绍了ＪａｖａＰＶＭ的设计和实现，可以看出它实现了ＰＶＭ的所有主要功能，又摆脱了对单一操作系统（Ｕｎｉｘ）的依赖。

关键词： Java JavaPVM 分布式计算

来源：评论

学校读者我要写书评

暂无评论

一个基于语境的面向对象的实时命令理解系统的设计与实现

引用

小型微型计算机系统 1998年第1期19卷 33-39页

作者：江晖钱树人李景春季叶枫南京大学计算机科学与技术系软件新技术国家重点实验室

本文基于语言学中的语义分类、真值语义理论和语用学概念提出了一种基于语境的语义理解机制；并根据此机制，应用面向对象的设计思想设计和实现了一个基于语境的命令语义理解系统（ＯＯＲＣＵＢＳＳ）。

关键词：自然语言理解面向对象语境自然语言处理

来源：评论

学校读者我要写书评

暂无评论

True Type汉字字形编辑器的设计与实现

引用

计算机研究与发展 1998年第5期35卷 422-425页

作者：黄源王瑜张福炎南京大学多媒体计算机研究所南京大学计算机软件新技术国家重点实验室

文中介绍了一个适合汉字字形特点的、基于ＴｒｕｅＴｙｐｅ字形标准的汉字字形编辑器，包括该编辑器的设计思想、关键技术以及实现情况．

关键词：汉字字形字形编辑器 TrueType字形信息处理

来源：评论

学校读者我要写书评

暂无评论

流程结构复杂性量度分析及其应用

引用

小型微型计算机系统 1998年第7期19卷 69-73页

作者：钱树人季叶枫朱怀宏李景春江晖南京大学计算机科学与技术系软件新技术国家重点实验室

本文以目前常用的Ｃ／Ｃ＋＋语言作为背景语言，对语句组合结构和自定义函数调用结构应用图工具进行了复杂性量度分析。对语句组合结构复杂性更进一步作了实例的量度值统计和应用性分析。

关键词：软件质量量度分析软件开发

来源：评论

学校读者我要写书评

暂无评论

三维场景编辑器的设计与实现

引用

小型微型计算机系统 1998年第8期19卷 39-43页

作者：徐斌丁浩杰徐福培南京大学计算机系软件新技术国家重点实验室

汽车驾驶训练模拟器是一种能正确模拟汽车驾驶操作，并能在主要性能上获得与实车同样感觉的汽车驾驶训练仿真教学设备。三维场景编辑器是三维模拟驾驶软件中的一个子系统。本文描述了三维场景编辑系统ＭａｐＥｄｉｔｏｒ的设计与实现。... 详细信息

汽车驾驶训练模拟器是一种能正确模拟汽车驾驶操作，并能在主要性能上获得与实车同样感觉的汽车驾驶训练仿真教学设备。三维场景编辑器是三维模拟驾驶软件中的一个子系统。本文描述了三维场景编辑系统ＭａｐＥｄｉｔｏｒ的设计与实现。ＭａｐＥｄｉｔｏｒ与主系统的接口是一定格式的地景文件，是提供给用户进行地景计算机辅助设计的工具。它的实现给出了一种快速实现图形编辑的方法。实践表明，这是一种有效的方法。

关键词：场景编辑器三维 CAD 汽车驾驶

来源：评论

学校读者我要写书评

暂无评论

JAVA新类库中的MVC结构以及通信实现方法

引用

小型微型计算机系统 1998年第12期19卷 72-75页

作者：陆继翔刘芳珠潘金贵南京大学多媒体计算机研究所计算机软件新技术国家重点实验室

Ｓｗｉｎｇ的组件是按照ＭＶＣ模型来构造的。本文介绍了Ｓｗｉｎｇ中ＭＶＣ结构及其通信实现方法。

关键词： Swing MVC 事件通知 Java语言类库

来源：评论

学校读者我要写书评

暂无评论

一种基于异构网络的NOW中的群通信模型

引用

计算机研究与发展 1998年第11期35卷 1042-1047页

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

工作站网络（ＮＯＷ）作为一种新的并行计算结构越来越受到人们的重视．文中讨论了基于异构网络的ＮＯＷ中的群通信问题．提出了一种群通信层次模型，较好地解决了异构网络环境中的群通信问题．其实现群通信的思想是将参与群通信操作的... 详细信息

工作站网络（ＮＯＷ）作为一种新的并行计算结构越来越受到人们的重视．文中讨论了基于异构网络的ＮＯＷ中的群通信问题．提出了一种群通信层次模型，较好地解决了异构网络环境中的群通信问题．其实现群通信的思想是将参与群通信操作的结点按它们所处的子网分成一个个基计算域，通过这些基计算域的并行操作来达到降低通信时延同时又不增加太多网络流量的目的，并且还可以在不同的子网中选择最合适的群通信实现．这一做法将全网内面向进程的群通信操作变为面向子网的群通信操作．文中还提出了相应的分布式组管理协议．．

关键词：工作站网络并行计算群通信

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：