期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
几何定理可读证明的自动生成
被引量：
22
1
作者
张景中
杨路
+1 位作者
高小山
周咸青
《计算机学报》
EI
CSCD
北大核心
1995年第5期380-393,共14页
用计算机能生成几何定理的易为人们理解的证明吗？这个几十年来进展很小的难题，自１９９２年以来有了突破性进展．对于一大类欧氏几何命题──构造性几何命题，已有了相当有效的算法．基于此算法所编制的程序，已证明了５００多条非平...
用计算机能生成几何定理的易为人们理解的证明吗？这个几十年来进展很小的难题，自１９９２年以来有了突破性进展．对于一大类欧氏几何命题──构造性几何命题，已有了相当有效的算法．基于此算法所编制的程序，已证明了５００多条非平凡的几何命题．对其中大多数命题，机器自动生成的证明是简明而易于理解的．本文是对这一领域近三年来取得的进展的综述．包括了在非欧几何可读证明方面的最新成果．
展开更多
关键词
可读机器证明
几何定理
计算机
在线阅读
下载PDF
职称材料
实时Web图形应用中的选择性场景传输
被引量：
1
2
作者
唐敏
英正明
+1 位作者
CHOU Shang-ching
董金祥
《计算机集成制造系统》
EI
CSCD
北大核心
2006年第4期636-640,共5页
为了解决实时Web图形应用中大型场景数据传输所需时间长的问题,提出一种选择性场景传输算法。通过对需要传输的模型和纹理信息的最终显示贡献进行定量分析,给出了每个对象或每个面片的视觉重要性的度量,并在此基础上设计了选择性传输场...
为了解决实时Web图形应用中大型场景数据传输所需时间长的问题,提出一种选择性场景传输算法。通过对需要传输的模型和纹理信息的最终显示贡献进行定量分析,给出了每个对象或每个面片的视觉重要性的度量,并在此基础上设计了选择性传输场景中模型和纹理的算法,给出了基于图形硬件绘制方法的实现。原型系统的实验结果表明,该方法可以在保持用户图形质量的同时减少等待时间,并作为一个有力的工具来提升实时Web图形应用的性能。
展开更多
关键词
实时Web图形应用
场景传输
层次细节
渐进网格
在线阅读
下载PDF
职称材料
题名
几何定理可读证明的自动生成
被引量：
22
1
作者
张景中
杨路
高小山
周咸青
机构
中国科学院成都
计算机
应用研究所
出处
《计算机学报》
EI
CSCD
北大核心
1995年第5期380-393,共14页
基金
国家"攀登"计划项目
文摘
用计算机能生成几何定理的易为人们理解的证明吗？这个几十年来进展很小的难题，自１９９２年以来有了突破性进展．对于一大类欧氏几何命题──构造性几何命题，已有了相当有效的算法．基于此算法所编制的程序，已证明了５００多条非平凡的几何命题．对其中大多数命题，机器自动生成的证明是简明而易于理解的．本文是对这一领域近三年来取得的进展的综述．包括了在非欧几何可读证明方面的最新成果．
关键词
可读机器证明
几何定理
计算机
Keywords
Readable machine-proof, area method, point-eliminating metnod,Pythagorean difference, argument.
分类号
O18 [理学—基础数学]
TP39 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
实时Web图形应用中的选择性场景传输
被引量：
1
2
作者
唐敏
英正明
CHOU Shang-ching
董金祥
机构
浙江
大学
CAD&CG国家重点实验室
wichita州立大学计算机系
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2006年第4期636-640,共5页
基金
国家863/CIMS主题资助项目(2003AA4Z3120)
国家973计划资助项目(2002CB312106)
美国自然科学基金资助项目(CCR-0201253)。~~
文摘
为了解决实时Web图形应用中大型场景数据传输所需时间长的问题,提出一种选择性场景传输算法。通过对需要传输的模型和纹理信息的最终显示贡献进行定量分析,给出了每个对象或每个面片的视觉重要性的度量,并在此基础上设计了选择性传输场景中模型和纹理的算法,给出了基于图形硬件绘制方法的实现。原型系统的实验结果表明,该方法可以在保持用户图形质量的同时减少等待时间,并作为一个有力的工具来提升实时Web图形应用的性能。
关键词
实时Web图形应用
场景传输
层次细节
渐进网格
Keywords
Web based real-time graphic applications
scene transfer
level of detail
progressive mesh
分类号
TP391.41 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
几何定理可读证明的自动生成
张景中
杨路
高小山
周咸青
《计算机学报》
EI
CSCD
北大核心
1995
22
在线阅读
下载PDF
职称材料
2
实时Web图形应用中的选择性场景传输
唐敏
英正明
CHOU Shang-ching
董金祥
《计算机集成制造系统》
EI
CSCD
北大核心
2006
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
