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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是111-120 订阅

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

详细简洁

排序：

Efficient Büchi automata from LTL formulae 12th

Efficient Büchi automata from LTL formulae

引用

12th international conference on computer aided Verification, CAV 2000

作者： Somenzi, Fabio Bloem, Roderick Department of Electrical and Computer Engineering University of Colorado BoulderCO80309-0425 United States

ISBN: (纸本)3540677704

We present an algorithm to generate small Büchi automata for LTL formulae. We describe a heuristic approach consisting of three phases: rewriting of the formula, an optimized translation procedure, and simplification of the resulting automaton. We present a translation procedure that is optimal within a certain class of translation procedures. the simplification algorithm can be used for Büchi automata in general. It reduces the number of states and transitions, as well as the number and size of the accepting sets-possibly reducing the strength of the resulting automaton. this leads to more efficient model checking of linear-time logic formulae. We compare our method to previous work, and show that it is significantly more efficient for both random formulae, and formulae in common use and from the literature. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Tuning SAT checkers for bounded model checking 12th

Tuning SAT checkers for bounded model checking

引用

12th international conference on computer aided Verification, CAV 2000

作者： Shtrichman, Ofer The Minerva Center for Verification of Reactive Systems Dep. of Computer Science and Applied Mathematics The Weizmann Institute of Science Israel IBM Haifa Research Lab Israel

ISBN: (纸本)3540677704

Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. the basic idea is to search for a counter ex- ample in executions whose length is bounded by some integer k. the BMC problem can be efficiently reduced to a propositional satisfiability problem, and can therefore be solved by SAT methods rather than BDDs. SAT procedures are based on general-purpose heuristics that are designed for any propositional formula. We show that the unique characteristics of BMC formulas can be exploited for a variety of optimizations in the SAT checking procedure. Experiments with these optimizations on real designs proved their efficiency in many of the hard test cases, comparing to both the standard SAT procedure and a BDD-based model checker. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

MCA-Based Animation of Fracturing Heterogeneous Objects

MCA-Based Animation of Fracturing Heterogeneous Objects

引用

IEEE international conference on computer-aided design and computer graphics

作者： Jiangfan Ning Huaxun Xu Bo Wu Liang Zeng Sikun Li Yueshan Xiong School of Computer Science National University of Defense Technology Changsha China

Existing techniques for animation of object fracture have a basic assumption that the object materials are homogeneous while most materials in real world are heterogeneous. To solve this problem, we introduce a novel method called MCA to simulate the fracture of heterogeneous materials. the method of movable cellular automata (MCA) is based on the discrete concept and provides advantages both of classical cellular automaton and discrete element methods. First, the object is represented as discrete sphere particles, named movable cellular automata, and then the MCA method is used to simulate the material and physical properties as well as to determine when and where the fracture occurs. To meet the real-time requirement, the MCA simulation is performed on GPU with CUDA in order to accelerate the complex calculation of automata's physical properties. After simulation, the results are directly sent to the vertex buffer object (VBO) for rendering to avoid the costly communication between CPU and GPU. the experimental results show the feasibility and effectiveness of the proposed method.

关键词： Automata graphics processing unit Materials Computational modeling Solid modeling Force Mathematical model

来源：评论

学校读者我要写书评

暂无评论

An Accurate and Practical Camera Lens Model for Rendering Realistic Lens Effects

An Accurate and Practical Camera Lens Model for Rendering Re...

引用

IEEE international conference on computer-aided design and computer graphics

作者： Jiaze Wu Changwen Zheng Xiaohui Hu Chao Li Graduate University of Chinese Academy of Sciences China National Key Laboratory of Integrated Information System Technology Institute of Software Chinese Academy of Sciences (CAS) China

In this paper, an accurate and practical camera lens model is proposed to be applied in realistic rendering of lens-related effects. the optical modeling of this new model is firstly presented from two aspects: lens surface modeling and formulation of ray tracing equations. then, a number of tunable models for controlling lens properties are introduced and combined together to determine overall imaging performance. An implementation framework for this lens model is presented from two important aspects: its internal working framework and a new rendering pipeline for integrating it into a general ray tracer. In contrast to existing lens models, this new one is characterized by its ability to accurately model the image formation process and its friendly tunable models to control its lens properties. As a consequence, it is capable of simulating complex lens-related effects without too much expertise on lens optics. Finally, multiple rendering experiments are performed to demonstrate the ability and usage of this novel model to simulate a variety of complex lens-related effects.

关键词： Lenses Mathematical model Solid modeling Rendering (computer graphics) Ray tracing Optical imaging Equations

来源：评论

学校读者我要写书评

暂无评论

A Residential Building Reconstruction Method and Its Evaluation

A Residential Building Reconstruction Method and Its Evaluat...

引用

IEEE international conference on computer-aided design and computer graphics

作者： Ye Yu Xiaoping Liu Bill P. Buckles School of Computer and Information Hefei University of Technology Hefei China Department of Computer Science and Engineering University of North Texas (UNT) Denton TX USA

A novel method for three-dimensional (3D) residential building reconstruction in urban areas using LiDAR (light detection and ranging) data is proposed. the main contribution of this work is the automatic segmentation of roof points and roof type recognition and reconstruction based on sparse LiDAR data. Using minimum bounding rectangle (MBR) method and model-based reconstruction, we are able to automatically identify individual buildings from cluttered residential areas and re-create building models with improved accuracy in a reasonably short time. We applied our method to urban sites in the city of New Orleans and demonstrated that the method identified building measurements successfully from LiDAR data and rebuilt 3D models effectively. Our experiments show that even in the presence of noise we can successfully reconstruct small buildings given relatively sparse LiDAR samples with help from template databases.

关键词： Buildings Laser radar Image reconstruction Solid modeling Reconstruction algorithms Accuracy Computational modeling

来源：评论

学校读者我要写书评

暂无评论

SIMD Friendly Ray Tracing on GPU

SIMD Friendly Ray Tracing on GPU

引用

IEEE international conference on computer-aided design and computer graphics

作者： Peng Zhou Xiangxu Meng Department of Computer Science Shandong Provincial Key Laboratory of Software Engineering Shandong University Jinan China

In this paper, we present a novel BVH tracing method on GPU, which can achieve better SIMD utilization than traditional method. In the traditional way, thread usually sticks to a ray until the closest hit is found. When the threads of the same warp follow very divergent ray paths, SIMD utilization drops significantly. the idea of our method is to redefine the way of work distribution by binding the ray and the data to be tested together, in order to spread the computation of the single ray to multi threads. We also separate the tracing process into three steps to collect the work units of the same type and process them in a stream-like manner. the first step is ray traversal whose task is to do ray-box testing for the ray-node pairs. Its output is an stack of ray-triangle pairs, which is then fed to intersecting step to form an stack of ray-hit pairs. the last step is to use ray-hit pairs to update the closest hits for each ray of the same warp. the experiment shows our method can efficiently improve the SIMD utilization and result in less tracing time.

关键词： Arrays graphics processing unit Instruction sets Indexes Kernel Ray tracing Sorting

来源：评论

学校读者我要写书评

暂无评论

A 2D-3D Hybrid Approach to Video Stabilization

A 2D-3D Hybrid Approach to Video Stabilization

引用

IEEE international conference on computer-aided design and computer graphics

作者： Zhiyong Huang Fazhi He Xiantao Cai Yuan Chen Xiao Chen Computer School Wuhan University Wuhan China

In this paper, we introduce a novel 2D-3D hybrid video stabilization method which combines virtues of 2D and 3D video stabilization methods in one routine. It attempts to achieve high-quality camera motions and to retain full frame coherence in each frame, at while, ensure that local regions undergo a similarity transformation. We solve the stabilization problem by integrating 3D and 2D video stabilization methods into one routine. It smooths camera motions and explicitly employs local motion information which constraints video frames to be temporal coherent, and achieves high-quality video stabilization. Experiments show that our method not only can achieve high-quality camera motion on good 3D reconstructed scene, but also can deal with complicated videos containing near, large moving objects.

关键词： three dimensional displays Cameras Educational institutions Coherence computers Interpolation Robustness

来源：评论

学校读者我要写书评

暂无评论

Multi-resolution Mesh Fitting by B-spline Surfaces for Reverse Engineering

Multi-resolution Mesh Fitting by B-spline Surfaces for Rever...

引用

IEEE international conference on computer-aided design and computer graphics

作者： Sen Zhang Zhigang Li Hui Zhang Junhai Yong Tsinghua University Beijing Beijing CN 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

this paper presents a new multi-resolution mesh fitting algorithm, extending the adaptive patch-based fitting scheme where each underlying quadrilateral is recursively subdivided into four sub-patches. In this paper, the G 1 continuity constraints, which mainly consist of perpendicular constraints and twist compatibility constraints, are deduced for B-spline patches. In order to construct a unique B-spline patch for each quadrilateral, the mesh vertices are applied in a least-square approximation, and the energy functions associated with a patch are minimized. In contrast to the original algorithm, this paper fits the mesh into B-spline patches instead of Bezier patches with G 1 continuity. the B-spline patches make the algorithm have more free control points to be used for optimizing the shape of the quadrilateral patches to achieve higher flexible patch control and less recursive times.

关键词： Spline Vectors Surface treatment Shape Adaptation models Equations design automation

来源：评论

学校读者我要写书评

暂无评论

An automata-theoretic approach to reasoning about infinite-state systems 12th

An automata-theoretic approach to reasoning about infinite-s...

引用

12th international conference on computer aided Verification, CAV 2000

作者： Kupferman, Orna Vardi, Moshe Y. Hebrew University The institute of Computer Science Jerusalem91904 Israel Rice University Department of Computer Science HoustonTX77251-1892 United States

ISBN: (纸本)3540677704

We develop an automata-theoretic framework for reasoning about infinite-state sequential systems. Our framework is based on the observation that states of such systems, which carry a finite but unbounded amount of information, can be viewed as nodes in an infinite tree, and transitions between states can be simulated by finite-state automata. Checking that the system satisfies a temporal property can then be done by an alternating two-way tree automaton that navigates through the tree. As has been the case with finite-state systems, the automata-theoretic framework is quite versatile. We demonstrate it by solving several versions of the model-checking problem for µ-calculus specifications and prefix-recognizable systems, and by solving the realizability and synthesis problems for µ-calculus specifications with respect to prefix-recognizable environments. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Automatic Compositing Soccer Video Highlights with Core-Around Event Model

Automatic Compositing Soccer Video Highlights with Core-Arou...

引用

IEEE international conference on computer-aided design and computer graphics

作者： Kai Jiang Xiaowu Chen Qinping Zhao State Key Laboratory of Virtual Reality Technology and Systems School of Computer Science and Engineering Beihang University Beijing China

this paper presents an automatic video highlighting approach in relation to a soccer match video lasting over ninety minutes, in which only the match video and the target length of the highlight video are required for the composition. Firstly, we propose a core-around event model, which represents the highlight as a complex event and consists of three components: semantic relations, temporal relationship among the activities and local motion appearance of each activity. Secondly, we detect activities involved in a highlight in the soccer match video by the local motion appearance. thirdly, a candidate highlight video segment is aligned with the model by a specific kernel activity extracted on the basis of the semantic relations, and then assigned a matching score. Finally, we splice together the highlight segments of high matching score. Experimental results demonstrate that the composed highlight videos are attractive episodes of soccer matches, and similar to those edited by professional editors.

关键词： Semantics Motion segmentation Visualization Training Humans Kernel Video sequences

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共17页 << < 8 9 10 11 12 13 14 15 16 17 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：