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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

159 篇 会议
2 册 图书
2 篇 期刊文献

馆藏范围

163 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

89 篇 工学
- 73 篇 计算机科学与技术...
- 59 篇 软件工程
- 11 篇 建筑学
- 10 篇 机械工程
- 9 篇 土木工程
- 8 篇 电子科学与技术（可...
- 7 篇 光学工程
- 6 篇 信息与通信工程
- 5 篇 仪器科学与技术
- 5 篇 控制科学与工程
- 4 篇 农业工程
- 3 篇 材料科学与工程（可...
- 3 篇 生物医学工程（可授...
- 3 篇 生物工程
- 3 篇 安全科学与工程
- 2 篇 力学（可授工学、理...
- 2 篇 动力工程及工程热...
- 2 篇 电气工程
- 2 篇 航空宇航科学与技...
48 篇 理学
- 32 篇 数学
- 13 篇 物理学
- 4 篇 系统科学
- 4 篇 统计学（可授理学、...
- 3 篇 生物学
- 2 篇 地球物理学
12 篇 管理学
- 6 篇 管理科学与工程(可...
- 4 篇 图书情报与档案管...
10 篇 艺术学
- 9 篇 设计学（可授艺术学...
- 4 篇 美术学
4 篇 农学
- 4 篇 作物学
2 篇 医学
1 篇 法学

主题

18 篇 solid modeling
17 篇 computer aided d...
16 篇 rendering (compu...
13 篇 graphics process...
13 篇 three dimensiona...
10 篇 design automatio...
10 篇 mathematical mod...
9 篇 equations
8 篇 computational mo...
8 篇 visualization
8 篇 algorithm design...
7 篇 optimization
7 篇 image color anal...
7 篇 shape
7 篇 geometry
6 篇 interpolation
5 篇 model checking
5 篇 vectors
5 篇 computer graphic...
4 篇 buildings

机构

12 篇 tsinghua nationa...
11 篇 department of co...
11 篇 school of softwa...
9 篇 state key labora...
9 篇 key laboratory f...
7 篇 state key lab. o...
4 篇 state key labora...
3 篇 college of scien...
3 篇 school of comput...
3 篇 program of compu...
3 篇 school of comput...
2 篇 institute of mat...
2 篇 state key labora...
2 篇 liama/nlpr insti...
2 篇 school of comput...
2 篇 school of comput...
2 篇 college of compu...
2 篇 department of co...
2 篇 school of softwa...
2 篇 school of comput...

作者

6 篇 qunsheng peng
5 篇 peng qunsheng
3 篇 wang bin
3 篇 hai lin
3 篇 xueying qin
3 篇 junhai yong
3 篇 zhang hui
3 篇 qin xueying
2 篇 bin wang
2 篇 hoyano akira
2 篇 vardi moshe y.
2 篇 tao tao
2 篇 chen xiaowu
2 篇 bin pan
2 篇 li zongmin
2 篇 li chen
2 篇 pratt kevin b.
2 篇 he fazhi
2 篇 chen li
2 篇 meng xiangxu

语言

162 篇 英文
1 篇 中文

检索条件"任意字段=12th International Conference on Computer-Aided Design and Computer Graphics, CAD/Graphics 2011"

共 163 条记录，以下是81-90 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

On-line Illumination Estimation of Outdoor Scenes Based on Area Selection for Augmented Reality

On-line Illumination Estimation of Outdoor Scenes Based on A...

引用

IEEE international conference on computer-aided design and computer graphics

作者： Guanyu Xing Yanli Liu Xueying Qin Qunsheng Peng State Key Laboratory of CAD & CG Zhejiang University Hangzhou China College of Computer Science Sichuan University Chengdu China School of Computer Science and Technique Shandong University Jinan China

In augmented reality, consistent illumination plays an important role when integrating a virtual object into a video of real scene. In this paper, we propose a novel image based framework to estimate-on-line the dynamic ally changing illumination parameters of outdoor video sequences captured by a fixed camera. Unlike previous approaches which either request to know the scene geometry or involve huge storage to preserve time dependent basis images or statistic parameters, our approach requires very simple interaction at the initialization stage by a few brushes to select areas with specified surface normal, which are used to calculate the sunlight parameters. An optimization procedure is also applied, ensuring the robustness and precision of our estimation. Experimental results demonstrate the effectiveness and flexibility of the proposed approach.

关键词： Lighting Estimation Sun Optimization design automation Cameras Geometry

来源：评论

学校读者我要写书评

暂无评论

Spherical Projective Displacement Mesh

Spherical Projective Displacement Mesh

引用

IEEE international conference on computer-aided design and computer graphics

作者： Jianxin Luo Guiqiang Ni Guyu Hu Jinsong Jiang Yifeng Duan LMNT Institute of Command Automation PLA University of Science & Technology Nanjing Jiangsu China

this paper presents a novel algorithm (We call it Spherical Projective Displacement Mesh algorithm)for large scale spherical terrain visualization. the algorithm generates terrain meshes by rotating, displaces mesh vertices from height field atlas, and then projects a texture atlas onto the mesh vertices to create images. We successfully implement the spherical terrain visualization on a personal computer, obtain high quality images and reach a very fast rendering-rate.

关键词： Cameras Data visualization Rendering (computer graphics) Arrays graphics processing unit Tiles Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Detecting Ambiguities in 3D Polygons with Self-Intersecting Projections

Detecting Ambiguities in 3D Polygons with Self-Intersecting ...

引用

IEEE international conference on computer-aided design and computer graphics

作者： Weishi Li School of Instrument Science Hefei University of Technology Hefei China

If a given 3D polygon has a self-intersecting projection which can bound several in equivalent disk-like surfaces in space, we say the polygon is ambiguous. In this paper, we propose a decomposition scheme for 3D poly... 详细信息

关键词： three dimensional displays Image segmentation Joining processes Windings Shape design automation Surface treatment

来源：评论

学校读者我要写书评

暂无评论

Verification diagrams revisited: Disjunctive invariants for easy verification 12th

Verification diagrams revisited: Disjunctive invariants for ...

引用

12th international conference on computer aided Verification, CAV 2000

作者： Rushby, John Computer Science Laboratory SRI International 333 Ravenswood Avenue Menlo ParkCA94025 United States

ISBN: (纸本)3540677704

I describe a systematic method for deductive verification of safety properties of concurrent programs. the method has much in common with the "verification diagrams" of Manna and Pnueli [17], but derives from different intuitions. It is based on the idea of strengthening a putative safety property into a disjunction of "configurations" that can easily be proved to be inductive. Transitions among the configurations have a natural diagrammatic representation that conveys insight into the operation of the program. the method lends itself to mechanization and is illustrated using a simplified version of an example that had defeated previous attempts at deductive verification. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Machinery

来源：评论

学校读者我要写书评

暂无评论

Automatic Generation of Canonical Views for cad Models

Automatic Generation of Canonical Views for CAD Models

引用

IEEE international conference on computer-aided design and computer graphics

作者： Kaimo Hu Bin Wang Bin Yuan Junhai Yong Key Laboratory for Information System Security Ministry of Education Beijing China Department of Computer Science and Technology Tsinghua University Beijing China School of Software Tsinghua University Beijing China Tsinghua National Laboratory for Information Science and Technology Beijing China

Selecting the best views for 3D objects is useful for many applications. However, with the existing methods applied in cad models, the results neither exhibit the 3D structures of the models fairly nor conform to human's browsing habits. In this paper, we present a robust method to generate the canonical views of cad models, and the above problem is solved by considering the geometry and visual salient features simultaneously. We first demonstrate that for a cad model, the three coordinate axes can be approximately determined by the scaled normals of its faces, such that the pose can be robustly normalized. A graph-based algorithm is also designed to accelerate the searching process. then, a convex hull based method is applied to infer the upright orientation. Finally, four isometric views are selected as candidates, and the one whose depth image owns the most visual features is selected. Experiments on the Engineering Shape Benchmark (ESB) show that the views generated by our method are pleasant, informative and representative. We also apply our method in the calculation of model rectilinearity, and the results demonstrate its high performance.

关键词： Solid modeling design automation Mathematical model Visualization three dimensional displays Equations Computational modeling

来源：评论

学校读者我要写书评

暂无评论

An Example-Driven Symbol Recognition Approach Based on Key Features in Engineering Drawings

An Example-Driven Symbol Recognition Approach Based on Key F...

引用

IEEE international conference on computer-aided design and computer graphics

作者： Tiantian Guo Hui Zhang Yamei Wen Key Laboratory for Information System Security Ministry of Education Beijing China School of Software Tsinghua University Beijing China Tsinghua National Laboratory for Information Science and Technology Beijing China

In this paper, we present an example-driven symbol recognition algorithm based on its key features in cad engineering drawings. When user provides an example of a specific symbol, the input symbol is analyzed and its features are extracted automatically. Based on the relation representation, the constrained tree with key feature priority can be established for this type of symbol. By this means, the symbol library can be built and expanded automatically in order to handle variety engineering drawings. In the next stage of the recognition processes, we first locate the key feature nodes in drawings, and then find other elements around which satisfy the topology structure of constrained tree. If all the elements and constrains in the tree are found, the symbol object will be recognized. Because of the accurate position, unnecessary matching calculations are greatly reduced. Experimental results validate that our approach is effective.

关键词： Engineering drawings Feature extraction design automation Pattern recognition Knowledge acquisition Libraries

来源：评论

学校读者我要写书评

暂无评论

A "Change 'n Play" Software Architecture Integrating cad, CAE and Immersive Real-Time Environments

A "Change 'n Play" Software Architecture Integrating CAD, CA...

引用

IEEE international conference on computer-aided design and computer graphics

作者： Holger Graf Virtual and Augmented Reality Fraunhofer IGD Darmstadt Germany

this paper presents a "change'n play" software architecture in order to realize user-centric aspects for, integrated engineering analysis tasks within immersive environments. the proposed architecture has been designed to enable conceptual simulations performed on an engineering mock-up. Major attention is given to the realization of modules and functionalities going far beyond traditional post-processing capabilities, establishing a user centric problem solving environment. It allows closed turn-around simulation-to-visualization loops as well as an inclusion of traditional point-and-click legacy systems, steered from an immersive environment and providing interchangeable mechanism. Existing research work addresses only different aspects, even worse neither does provide a holistic approach nor does show on how to actually do it. Aim of this paper is therefore, to propose and develop an architectural blueprint, supporting "what-if" reasoning with respect to preliminary design analysis objectives: Executed within one single point of access and based on a distributed, hybrid 2D legacy system/VR interactive environment.

关键词： Solid modeling computer aided engineering design automation Data visualization Real time systems Adaptation models Visualization

来源：评论

学校读者我要写书评

暂无评论

Finite Element Mesh Editing through cad Operations

Finite Element Mesh Editing through CAD Operations

引用

IEEE international conference on computer-aided design and computer graphics

作者： Hua Zhu Chenghao Hu Shuming Gao State Key Laboratory of CAD&CG Zhejiang University Hangzhou China

In the process of numerical simulation, Finite Element Analysis (FEA) is commonly used for product design optimization. the product model has to be modified according to its associated optimization result obtained based on analysis, and the mesh model needs to be regenerated for analysis to verify the modification. In order to reduce the time for mesh regeneration, one effective way is to directly edit the mesh model according to the modification requirements. In this paper, we present a novel mesh editing method for FE mesh models. the approach achieves the complex and accurate modification on FE mesh models through cad operations and limits the remeshing to the modified region of the whole mesh model so as to make the approach efficient. Firstly, sweeping operation and Boolean operation are used to construct the new geometry on the mesh model according to the modification requirements, taking the mesh elements as the reference of the operations. then, mesh geometry fusion is conducted, making the related mesh elements aligned with the intersection lines between the original mesh model and the newly added geometry through node repositioning. Finally, mesh elements for the newly added geometry are generated and optimized. Compared with traditional mesh editing methods, the proposed approach can achieve complex editing of FE mesh model more effectively and efficiently. And the preliminary experimental results show the potentials of the proposed approach.

关键词： Solid modeling Geometry design automation Vectors Mesh generation Computational modeling Optimization

来源：评论

学校读者我要写书评

暂无评论

Multi-GPU Compositeless Parallel Rendering Algorithm

Multi-GPU Compositeless Parallel Rendering Algorithm

引用

IEEE international conference on computer-aided design and computer graphics

作者： Pan Wang Huahai Liu Sikun Li Liang Zeng Xun Cai

Due to its high performance/cost ratio, a single PC equipped with multi-GPU is an attractive platform for large scale scene rendering and visualization. In this paper, we present a compositeless parallel rendering algorithm on shared memory multi-GPU system. Our algorithm is based on hybrid sort-first and sort-last render mode. By utilizing the DMA asynchronous transfer in modern video cards, we implement asynchronous image read back and implicit image compositing. Using the compositeless algorithm, we totally remove image compositing stage in parallel rendering contrasting with the traditional parallel rendering methods. the theoretical analysis and experiments demonstrate that our algorithm is practical and scalable for large scale scene rendering and high-resolution display.

关键词： Rendering (computer graphics) graphics processing unit Tiles Algorithm design and analysis Scalability Layout

来源：评论

学校读者我要写书评

暂无评论

Integrating WS1S with PVS 12th

Integrating WS1S with PVS

引用

12th international conference on computer aided Verification, CAV 2000

作者： Owre, Sam Rueß, Harald Computer Science Laboratory SRI International 333 Ravenswood Ave Menlo ParkCA94025 United States

ISBN: (纸本)3540677704

there is a growing trend to integrate theorem proving systems with specialized decision procedures and model checking systems. the proving capabilities of the PVS theorem prover, for example, have been improved considerably by extending it with new proof tactics based on a BDD package, a μ-calculus model-checker [4], and a polyhedral library. In this way, a theorem proving system like PVS provides a common front-end and specification language for a variety of specialized tools. this makes it possible to use a whole arsenal of verification and validation methods in a seamless way, combine them using a strategy language, and provide development chain analysis.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共17页 << < 5 6 7 8 9 10 11 12 13 14 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：