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

软件测试充分性准则的复杂性分析对于测试效率的分析和比较具有重要意义，对于测试充分性准则使用具有指导意义．Wepuker于1984年提出了Rapps－Weyuker的all－uses，all－p－uses／some－c－uses，all－c－uses／some－p－uses和all－p... 详细信息

软件测试充分性准则的复杂性分析对于测试效率的分析和比较具有重要意义，对于测试充分性准则使用具有指导意义．Wepuker于1984年提出了Rapps－Weyuker的all－uses，all－p－uses／some－c－uses，all－c－uses／some－p－uses和all－p－uses准则的复杂性上界，于1988年又提出可应用数据流测试准则．我们发现原有测试复杂度在可应用家族中应用出现问题，本文就此问题给出注记．

关键词：软件测试软件可靠性数据流测试准则软件开发

来源：评论

学校读者我要写书评

暂无评论

一个面向对象的用户界面管理系统UIDIS

引用

计算机辅助工程 1994年第2期3卷 36-42页

作者：程华王介生李凤森中国科学院计算技术研究所CAD开放实验室

本文介绍了一个基于Ｘ－ＷＩＮＤＯＷ的面向对象的实用用户界面管理工具。

关键词：管理系统用户界面面向对象 UIDIS

来源：评论

学校读者我要写书评

暂无评论

多边形的方向与圆弧可视性

引用

计算机学报 1994年第4期17卷 257-263页

作者：覃中平张焕国华中理工大学数学系中国科学院计算技术研究所CAD开放实验室武汉大学计算机科学系

本文继Ｅｌ－Ｇｉｎｄｙ与Ａｖｉｓ（１９８１），Ａｖｉｓ与Ｔｏｕｓｓａｉｎｔ（１９８１），Ｌｅｅ与Ｌｉｎ（１９８６）及Ｓａｃｋ与Ｓｕｒｉ（１９９０）提出并讨论图形的点可视性与线段可视性之后，提出了图形的方向与圆弧可视性... 详细信息

本文继Ｅｌ－Ｇｉｎｄｙ与Ａｖｉｓ（１９８１），Ａｖｉｓ与Ｔｏｕｓｓａｉｎｔ（１９８１），Ｌｅｅ与Ｌｉｎ（１９８６）及Ｓａｃｋ与Ｓｕｒｉ（１９９０）提出并讨论图形的点可视性与线段可视性之后，提出了图形的方向与圆弧可视性概念，给出了计算简单多边形的方向可视集与圆弧可视集的最优算法．本文所得结果可应用于与图形运动有关的机器人学，计算机图形学和ＣＡＭ与ＶＬＳＩ设计中．

关键词：多边形可视性圆弧计算机图形学

来源：评论

学校读者我要写书评

暂无评论

Agent组织结构设计的一种形式语义

引用

软件学报 2002年第3期13卷 447-452页

作者：张伟石纯一清华大学计算机科学与技术系中国科学院计算技术研究所智能信息处理开放实验室北京100080

Agent组织是多Agent系统研究的重要方面,在不同的Agent组织形成方法中常采用显式的组织形成方法.基于p演算和化学抽象机给出了组织结构设计过程的一种形式语义.把参与组织结构设计的有关Agent都作为化学抽象机中的化学分子,而化学抽象... 详细信息

Agent组织是多Agent系统研究的重要方面,在不同的Agent组织形成方法中常采用显式的组织形成方法.基于p演算和化学抽象机给出了组织结构设计过程的一种形式语义.把参与组织结构设计的有关Agent都作为化学抽象机中的化学分子,而化学抽象机的运行过程即是组织结构的设计过程.这种语义给出方式准确、直观,使组织结构设计系统易于实现,改进了Ferber和Xu关于Agent组织的操作语义和组织结构设计的工作.

关键词： MAS Agent 组织结构形式语义 π演算抽象机人工智能

来源：评论

学校读者我要写书评

暂无评论

多边形旋转时的可移动性

引用

计算机学报 1994年第1期17卷 52-57页

作者：覃中平张焕国高翔中国科学院计算技术研究所CAD开放实验室华中理工大学数学系武汉大学计算机系

本文讨论多边形旋转时是否发生碰撞及在发生碰撞时确定最初碰撞顶点和边的问题，给出了相应的最优判定算法与求解算法．

关键词：可移动性多边形计算机图形

来源：评论

学校读者我要写书评

暂无评论

线性八叉树的一种最优构造算法

引用

计算机学报 1993年第4期16卷 281-286页

作者：周洞汝杨荣中国科学院计算技术研究所CAD开放实验室北京100080 武汉水利电力学院计算机及电子工程系硕士武汉430072

本文提出线性八叉树的一种最优构造算法,本文对文献[3]中最优四叉树构造算法的某些思路作了推广及改进:采用了最大活动结点插入原则,免除了合并操作;算法只需进行与黑结点数成比例的插入操作。借助于一种新的图像数据结构——数字搜索... 详细信息

本文提出线性八叉树的一种最优构造算法,本文对文献[3]中最优四叉树构造算法的某些思路作了推广及改进:采用了最大活动结点插入原则,免除了合并操作;算法只需进行与黑结点数成比例的插入操作。借助于一种新的图像数据结构——数字搜索树作为中间存储结构,有效地压缩了数据并加快了插入速度,因而本算法有较高的效率.

关键词：线性八叉树最优构造算法

来源：评论

学校读者我要写书评

暂无评论

三维地理真实图形的研究与应用

引用

计算机辅助设计与图形学学报 1989年第2期1卷 22-27页

作者：刘书楼陈宝雯程晓凌中国科学院计算技术研究所CAD开放研究实验室中国科学院地理研究所中国科学院自然资源综合考察委员会

本文讨论了地貌实体三维图形的两种表现形式及其计算机自动编制的模型方法。我们应用该模型方法建立的软件系统,对曲流河型演变趋势模拟实验的河床形态,进行了实体描述,编制了不同时段的两幅三维地貌图,达到了形象近似逼真的效果,为模... 详细信息

本文讨论了地貌实体三维图形的两种表现形式及其计算机自动编制的模型方法。我们应用该模型方法建立的软件系统,对曲流河型演变趋势模拟实验的河床形态,进行了实体描述,编制了不同时段的两幅三维地貌图,达到了形象近似逼真的效果,为模拟实验提供了先进的科学分析手段。

关键词：三维地理图形应用计算机

来源：评论

学校读者我要写书评

暂无评论

搪瓷产品造型设计中的真实感图形处理技术

引用

计算机辅助设计与图形学学报 1995年第1期7卷 33-40页

作者：詹永照陈天滋薛安荣李峰王来生中国科学院计算技术研究所CAD开放实验室江苏工学院计算机工程系

实时性和真实性是真实感图形生成追求的两大目标。本文结合搪瓷产品和微机的特点分别介绍了物体材质效应的表示，用投影区域缓冲器和光源球面缓冲器来加快真实感图形生成及改进的花纹图案映射等方法。把这些方法运用到搪瓷产品的真实感... 详细信息

实时性和真实性是真实感图形生成追求的两大目标。本文结合搪瓷产品和微机的特点分别介绍了物体材质效应的表示，用投影区域缓冲器和光源球面缓冲器来加快真实感图形生成及改进的花纹图案映射等方法。把这些方法运用到搪瓷产品的真实感图形生成中，图形生成速度较快、真实感较强。

关键词：搪瓷产品造型真实感图形图形处理

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：