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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

A Hierarchical Approach to 3D Scattered Data Interpolation with Radial Basis Functions

A Hierarchical Approach to 3D Scattered Data Interpolation w...

引用

IEEE international conference on computer-aided design and computer graphics

作者： Xinwei Du Xiangjiu Che College of Mathematics Jilin University ChangChun CHINA College of Computer Science and Technology Jilin University ChangChun CHINA

Based on globally supported radial basis functions, this paper presents a hierarchical approach to 3D scattered data interpolation. Given a scattered data set distributed along a surface, we first obtain a sparse approximation of the scattered data set by filtering the scattered data with two different steps, and identify the characteristic points by the measurements of bounding cube and the distance between the points and the interpolating surface. then using multi-level hierarchy of point sets, the accuracy of interpolating surface can be gradually improved. On the basis of effective selection of the off-surface normal points, the number of constraint conditions is reduced, and trivial solutions of the interpolating equations can be avoided. Above all, we can identify the characteristic points in the model with less data points, and obtain interpolating surface with higher fitting accuracy by solving equations with lower order. the numerical experiments show that the method is more efficient and easy to implement.

关键词： Interpolation Surface reconstruction Equations Approximation algorithms Accuracy three dimensional displays

来源：评论

学校读者我要写书评

暂无评论

Unfoldings of unbounded petri nets 12th

Unfoldings of unbounded petri nets

引用

12th international conference on computer aided Verification, CAV 2000

作者： Abdulla, Parosh Aziz Purushothaman Iyer, S. Nylèn, Aletta Dept. of Computer Systems Uppsala University P.O. Box 325 UppsalaS-751 05 Sweden Dept of Computer Science NC State University RaleighNC27695-7534 United States

ISBN: (纸本)3540677704

Net unfoldings have attracted much attention as a powerful technique for combating state space explosion in model checking. the method has been applied to verification of 1-safe (finite) Petri nets, and more recently also to other classes of finite-state systems such as synchronous products of finite transition systems. We show how unfoldings can be extended to the context of infinite-state systems. More precisely, we apply unfoldings to get an efficient symbolic algorithm for checking safety properties of unbounded Petri nets. We demonstrate the advantages of our method by a number of experimental results. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Formal verification of VLIW microprocessors with speculative execution 12th

Formal verification of VLIW microprocessors with speculative...

引用

12th international conference on computer aided Verification, CAV 2000

作者： Velev, Miroslav N. Department of Electrical and Computer Engineering Carnegie Mellon University PittsburghPA15213 United States

ISBN: (纸本)3540677704

this is a study of the formal verification of a VLIW microprocessor that imitates the Intel Itanium [9][12][17] in features such as predicated execution, register remapping, advanced and speculative loads, and branch prediction. the formal verification is done with the Burch and Dill flushing technique [5] by exploiting the properties of Positive Equality [3][4]. the contributions include an extensive use of conservative approximations in abstracting portions of the processor and a framework for decomposition of the Boolean evaluation of the correctness formula. the conservative approximations are applied automatically when abstracting a memory whose forwarding logic is not affected by stalling conditions that preserve the correctness of the memory semantics for the same memory. these techniques allow a reduction of more than a factor of 4 in the CPU time for the formal verification of the most complex processor model examined relative to the monolithic evaluation of the correctness formula for a version of the same processor where conservative approximations are not applied. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Application of Pen-Based Planar Haptic Interface in Physics Education

Application of Pen-Based Planar Haptic Interface in Physics ...

引用

IEEE international conference on computer-aided design and computer graphics

作者： Liping Lin Yongtian Wang Yue Liu Makoto Sato School of Computer Science and Technology Beijing Institute of Technology BIT Beijing China School of Optics and Electronics Beijing Institute of Technology BIT Beijing China Precision and Intelligence Laboratory Tokyo Institute of Technology Yokohama Japan

this paper proposes a pen-based interaction system with 2D co-located haptic and visual feedback for physics education. the system combines a 3DOF pen-based planar haptic device and simulated 2D physical world based on physical engine Box 2D and 2D game engine HGE. the inputs of haptic device are translation and rotation of pen tip and the outputs are translational and rotational force displayed at pen tip. In addition, visual display and haptic display are coincident and well integrated. With this system, user can create and design simulated physical world by drawing, selecting, moving or rotating objects on screen and setting their physical properties in a natural and intuitive way. this system provides an entertaining and cartoony tool for designing and carrying out physics experiments, and will greatly promote students' learning interest and creativity.

关键词： Haptic interfaces Physics education Engines Games computers Force

来源：评论

学校读者我要写书评

暂无评论

Single Image Based Illumination Estimation for Lighting Virtual Object in Real Scene

Single Image Based Illumination Estimation for Lighting Virt...

引用

IEEE international conference on computer-aided design and computer graphics

作者： Xiaowu Chen Ke Wang Xin Jin State Key Laboratory of Virtual Reality Technology and Systems School of Computer Science and Engineering Beihang University Beijing China

Rendering virtual objects into real scenes with real illumination can greatly increase the realism of virtual objects and the consistency between the virtual and the real. the main challenge lies in illumination estimation from a single image. this article proposes a novel method of single image based illumination estimation for lighting virtual object in real scene. Only a single image, without any knowledge of the 3D geometry or reflectance, is needed, which greatly increases the applicability of the method. We first estimate coarse scene geometry and intrinsic components including shading image and reflectance image. then the sparse radiance map of the scene is inferred based on the scene geometry and intrinsic components. Finally, the virtual objects are illuminated by the estimated sparse radiance map. Some experimental results show that this method can convincingly light virtual objects into a single real image, without any pre-recorded 3D geometry and reflectance, illumination acquisition equipments or imaging information of the image.

关键词： Lighting Geometry Estimation three dimensional displays Light sources Solid modeling Sun

来源：评论

学校读者我要写书评

暂无评论

An Optimal Color Mapping Strategy Based on Energy Minimization for Time-Varying Data

An Optimal Color Mapping Strategy Based on Energy Minimizati...

引用

IEEE international conference on computer-aided design and computer graphics

作者： Yi Peng Jie Dong Li Chen Haiyang Chu Junhai Yong Key Laboratory for Information System Security Ministry of Education Beijing China Department of Computer Science and Technology Tsinghua University Beijing China Tsinghua National Laboratory for Information Science and Technology Beijing China School of Software Tsinghua University Beijing China

Color mapping plays a critical role in visualization of time-varying data and also sets a challenge for researchers due to the consistency of mapping and great changes in time-varying data. In order to solve this problem and generate feature-prominent animation, we present a two phase optimization technique using bilateral filtering and global energy functions. In the first phase, for each time step, we use a weighted mapping function which combines linear mapping and feature histogram. In the second phase, an optimization function taking global color mapping and minimum color difference into consideration is designed. So users can clearly distinguish between data in variable time steps and easily understand the corresponding relationships between different structures. the experiments' results show that our method can achieve high quality visualization for both static and time-varying data.

关键词： Image color analysis Data visualization Optimization Correlation Minimization Transfer functions Histograms

来源：评论

学校读者我要写书评

暂无评论

A Fast Retiming Algorithm Integrated with Rewiring for Flip-Flop Reductions

A Fast Retiming Algorithm Integrated with Rewiring for Flip-...

引用

IEEE international conference on computer-aided design and computer graphics

作者： Yi Diao Yuliang Wu Department of Computer Science and Engineering The Chinese University of Hong Kong Hong Kong China

Traditional retiming processes are mostly MILP based with the physical interconnect information less correctly reflected, thus could be very CPU intensive and incorrect on the final clock period estimations. Moreover, the number of flip-flops tends to be undesirably increased after the retiming process, which can cause a significant area/power penalty on the retimed circuit. To overcome these major drawbacks of the conventional retiming technique, we first propose a fast retiming algorithm which avoids solving MILP, and with both gate and interconnect delay formulated together. For a more accurate delay estimation, all interconnect delays are formulated and calculated based on real placements. Additionally, we integrate it with a specific rewiring algorithm to cut down the number of flip-flops (FFs) without sacrificing retimed clock periods. Experimental results show that our pure retiming algorithm can achieve an average of 5.75% optimization on the clock period in a very fast speed. With a rewiring algorithm targeting for FF reduction applied, a FF reduction of up to 31.2% (11.3% on average) can be obtained without the compromise on the retimed clock period compared to the pure retimed results.

关键词： Wires Logic gates Delay Clocks Integrated circuit interconnections Registers Optimization

来源：评论

学校读者我要写书评

暂无评论

12th Ada-Europe international conference, 1993

12th Ada-Europe International Conference, 1993

引用

12th Ada-Europe international conference, 1993

ISBN: (纸本)9783540568025

the proceedings contain 25 papers. the special focus in this conference is on management, real-time, and compiler validation. the topics include: Progress of Ada as an international standard: ISO/IEC JTC1/SC22 WG9 Ada status);graphics development in Ada;the olympus attitude and orbital control system: a case study in hard real-time system design and implementation;information systems support in Ada 9X;the impact of Ada on mis applications;SAMeDL - a pilot project;applying Ada 9X to two real-time applications: a case study;an efficient compiler validation method for Ada 9x;avoiding anomalies in inheritance schemes;object-oriented design of an air defence simulator;use and abuse of exceptions - 12 guidelines for proper exception handling;error-prone exception handling in large Ada systems;structuring iterators to encourage reuse;tool for computing cohesion and coupling in Ada programs: DIANA dependent part;data compatibility in a heterogeneous processor environment;an operational computer aided software environment: ILIADE;performance expectations on Ada programs;impact of an Ada run-time system's performance characteristics on scheduling models;distributed run-time systems, a protocol for Ada;certification of Ada real-time executives for safety critical applications;performance evaluation of parallel Ada programs using an experimental multiprocessor;adam, an Ada simulation toolkit;real and virtual interrupt support: the mapping of a carts feature to two different architectures;toward a secondary standard for hard real-time Ada: the real-time rapporteur group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An Interactive 3D Preoperative Planning and Training System for Minimally Invasive Vascular Surgery

An Interactive 3D Preoperative Planning and Training System ...

引用

IEEE international conference on computer-aided design and computer graphics

作者： Dongjin Huang Wen Tang Youdong Ding Taoruan Wan Yimin Chen School of Computer Engineering and Science Shanghai University Shanghai China School of Computing University of Teesside Middlesbrough UK School of Film and TV Arts Technology Shanghai University Shanghai China School of Informatics University of Bradford Bradford UK

Virtual reality based preoperative planning for Minimally Invasive Vascular Intervention is useful, not only for increasing the success rate of operation, but also used as a training tool for improving doctors' skills. In this paper we present an interactive 3D preoperative planning and training system with haptic device. In this system, we present an intelligent trajectory planning algorithm for searching an optimal path automatically along the centerline in two ways: from the suitable inserting point to the specific target location or to the most of objectives. Also, for the purpose of interactive training, we connect the haptic device to the end of guide wire and propose an algorithm that enables the simulator to model guide wire and catheter insertions realistically through essential operations i.e. pushing, pulling and twisting actions. We demonstrate experiment results to show that the 3D preoperative planning and training system is usable for simulating guide wire insertion procedures with complex blood vessel structures.

关键词： Planning Blood vessels Biomedical imaging Training Haptic interfaces Surgery

来源：评论

学校读者我要写书评

暂无评论

Distributing timed model checking — How the search order matters 12th

Distributing timed model checking — How the search order ma...

引用

12th international conference on computer aided Verification, CAV 2000

作者： Behrmann, Gerd Hune, thomas Vaandrager, Frits Basic Research in Computer Science Aalborg University Frederik Bajersvej 7E Aalborg East9220 Denmark Basic Research in Computer Science Aarhus University Ny Munkegade Bygning 540 Århus C8000 Denmark Computing Science Institute University of Nijmegen P.O. Box 9010 NijmegenGL6500 Netherlands

ISBN: (纸本)3540677704

In this paper we address the problem of distributing model checking of timed automata. We demonstrate through four real life examples that the combined processing and memory resources of multi- processor computers can be effectively utilized. the approach assumes a distributed memory model and is applied to both a network of workstations and a symmetric multiprocessor machine. However, certain unexpected phenomena have to be taken into account. We show how in the timed case the search order of the state space is crucial for the effectiveness and scalability of the exploration. An effective heuristic to counter the effect of the search order is provided. Some of the results open up for improvements in the single processor case. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：