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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

57 篇 会议
30 篇 期刊文献
8 册 图书

馆藏范围

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

日期分布

学科分类号

60 篇 工学
- 34 篇 计算机科学与技术...
- 25 篇 软件工程
- 11 篇 电气工程
- 10 篇 信息与通信工程
- 9 篇 材料科学与工程（可...
- 9 篇 土木工程
- 8 篇 机械工程
- 8 篇 电子科学与技术（可...
- 5 篇 建筑学
- 5 篇 化学工程与技术
- 4 篇 控制科学与工程
- 4 篇 船舶与海洋工程
- 3 篇 力学（可授工学、理...
- 3 篇 交通运输工程
- 3 篇 航空宇航科学与技...
- 3 篇 生物医学工程（可授...
- 3 篇 生物工程
33 篇 理学
- 19 篇 数学
- 5 篇 物理学
- 4 篇 化学
- 4 篇 海洋科学
- 4 篇 生物学
11 篇 管理学
- 10 篇 管理科学与工程(可...
- 7 篇 工商管理
- 2 篇 图书情报与档案管...
5 篇 教育学
- 4 篇 教育学
3 篇 法学
- 3 篇 社会学
3 篇 医学
- 3 篇 基础医学(可授医学...
- 2 篇 临床医学
2 篇 经济学
- 2 篇 应用经济学
1 篇 农学

主题

7 篇 artificial intel...
6 篇 information stor...
4 篇 information syst...
4 篇 natural language...
3 篇 visualization
3 篇 solid modeling
2 篇 three-dimensiona...
2 篇 delay lines
2 篇 symbolic and alg...
2 篇 data mining and ...
2 篇 product developm...
2 篇 database managem...
2 篇 computer graphic...
2 篇 computational mo...
2 篇 mathematical log...
2 篇 gallium nitride
2 篇 databases
2 篇 decision making
2 篇 students
2 篇 math application...

机构

5 篇 faculty of infor...
4 篇 department of ch...
4 篇 department of co...
4 篇 department of ch...
3 篇 department of co...
3 篇 department of te...
3 篇 department of de...
3 篇 department of co...
3 篇 faculty of infor...
2 篇 department of ga...
2 篇 department of co...
2 篇 mentor graphics ...
2 篇 department of in...
2 篇 department of th...
2 篇 national univers...
2 篇 computer enginee...
2 篇 department of de...
2 篇 college of scien...
2 篇 department of in...
2 篇 department of el...

作者

6 篇 petr sojka
4 篇 karel pala
4 篇 wang junpeng
4 篇 westermann rüdig...
4 篇 wu jun
4 篇 ivan kopeček
3 篇 grabska ewa
2 篇 pala karel
2 篇 kharitonova o.s.
2 篇 young jung choi
2 篇 lee wang
2 篇 bronskaya v.v.
2 篇 aleš horák
2 篇 min zhou
2 篇 o s kharitonova
2 篇 horák aleš
2 篇 ebert achim
2 篇 pohl margit
2 篇 eriksson joakim
2 篇 neuhauser christ...

语言

93 篇 英文
2 篇 其他

检索条件"机构=Department of Computer Graphics and Design"

共 95 条记录，以下是41-50 订阅

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

详细简洁

排序：

Estimation of formal verification cost using regression machine learning 18

Estimation of formal verification cost using regression mach...

引用

18th IEEE International High Level design Validation and Test Workshop, HLDVT 2016

作者： Mandouh, Eman El Wassal, Amr G. Mentor Graphics Corporation Design Verification Technology Egypt Computer Engineering Department Cairo University Egypt

ISBN: (纸本)9781509042708

Formal Verification is a computationally expensive step in the verification of today's complex hardware designs. Effective results can be obtained from formal runs by planning ahead the effort and cost that are required for them. Additionally estimating in-advance the expected formal's complexity promotes a lot of potential tricks and clever setup techniques to overcome the initial push-button capacity limitation of the formal verifies and improve their capabilities to handle designs with higher complexity. This paper illustrates the application of regression machine learning (ML) techniques to build an estimation model for the cost of formal verification. Up to 10,000 formal verification runs on RTL designs with good varieties of design/properties attributes are used to learn the relationship between HW designs and the final formal cost in terms of formal run time. We demonstrate the use of Ridge-Regression to decide on the bias-variance trade-off during the regression-model design step as well as the application of Lasso-Regression for the feature selection phase. Finally a comparison between the proposed multiple linear regression approach and another non-parametric K-nearest neighbors kernel based regression technique is done to conclude on the presented work. Our results indicate how the proposed model managed to estimate with reasonable error ratio the expected formal verification effort for new-to-verify HW designs. © 2016 IEEE.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Models of personality and activities of remotely piloted aircraft system's operator 4

Models of personality and activities of remotely piloted air...

引用

4th IEEE International Conference Methods and Systems of Navigation and Motion Control, MSNMC 2016

作者： Shmelova, T.F. Kovaljov, Y.M. Shostak, O.V. Air Navigation Systems Department National Aviation University Kyiv Ukraine Department of Computer Graphics and Design Technology National Aviation University Kyiv Ukraine

ISBN: (纸本)9781509010530

On the basis of the theory of S-space selforganization, the following have been presented: operator's personality model;classification of psychological (personality) types;means of testing;processing and presentation of results. On the basis of Markov's network decision-making models were proposed taking into consideration the circumstances of various flight situations. On the basis of the reflexive theory of bipolar choice the expected risks of decision-making by the Air Navigation System's operator influence of external environment, previous experience and intention were identified. The methods for analysis of decision-making by the human-operator in Air Navigation System using stochastic networks have been developed. © 2016 IEEE.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

Estimation of formal verification cost using regression machine learning

Estimation of formal verification cost using regression mach...

引用

IEEE International High-Level design Validation and Test Workshop

作者： Eman El Mandouh Amr G. Wassal Mentor Graphics Corporation Design Verification Technology Computer Engineering Department Cairo University Egypt

关键词： Formal verification Complexity theory Data models Mathematical model Cost function Feature extraction Training

来源：评论

学校读者我要写书评

暂无评论

Supporting student attainment and management of competencies in a trans-disciplinary degree program 123

Supporting student attainment and management of competencies...

引用

123rd ASEE Annual Conference and Exposition

作者： Van Epps, Amy S. Ashby, Iryna Gray, Colin M. Exter, Marisa Purdue University Department of Library Science and Engineering Librarian West Lafayette United States Purdue University Learning Design and Technology Program West Lafayette United States Purdue University Department of Computer Graphics Technology West Lafayette United States Department of Learning Design and Technology College of Education Purdue University West Lafayette United States

In Fall 2014, a large Midwestern land-grant research university piloted a competency-based model as the foundation for an undergraduate transdisciplinary program focusing on connecting engineering and technology with humanities and social sciences. Students enrolled in this program progress through a set of competencies that require them to master cross-disciplinary and cross-functional skills needed to be successful in a 21stcentury workplace. Now in its second year, the competency-based program has undergone significant changes that include a more substantial definition of competencies at each of the three levels of competence (developing, emerging, and proficient), scaffolding needed to support students on their path towards gaining competencies, and significant mentoring by faculty, TAs, and professional advisers to support competency attainment. In this paper, we will share challenges and discoveries made by the faculty throughout the first two years of the novel Competency-Based Education (CBE) experience, including a reflection on how such experiences impacted modifications of the CBE model from Year 1 to Year 2, the ways in which the program supported individual attainment and management of competencies by students, and the value of the mentorship program in supporting student-driven learning paths. We will also share insights into students' perceptions of the benefits, challenges, and frustrations of being part of this pilot program based on interview and survey data provided by the 33 members of the initial cohort. This overview of the ways this program supported students in attaining competencies through coursework, individual mentoring, and scaffolding may be instructive as institutions seek to bring CBE to scale and increase holistic student learning for the 21stcentury. © American Society for Engineering Education, 2016.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Models of personality and activities of remotely piloted aircraft system's operator

Models of personality and activities of remotely piloted air...

引用

IEEE International Conference on Methods and Systems of Navigation and Motion Control (MSNMC)

作者： T.F. Shmelova Y.M. Kovaljov O.V. Shostak Air Navigation Systems Department National Aviation University Kyiv Ukraine Department of Computer Graphics and Design Technology National Aviation University Kyiv Ukraine

ISBN: (纸本)9781509010547

On the basis of the theory of S-space self-organization, the following have been presented: operator's personality model; classification of psychological (personality) types; means of testing; processing and presentation of results. On the basis of Markov's network decision-making models were proposed taking into consideration the circumstances of various flight situations. On the basis of the reflexive theory of bipolar choice the expected risks of decision-making by the Air Navigation System's operator influence of external environment, previous experience and intention were identified. The methods for analysis of decision-making by the human-operator in Air Navigation System using stochastic networks have been developed.

关键词： Atmospheric modeling Stochastic processes Aircraft navigation Mathematical model Psychology Sociotechnical systems Decision making

来源：评论

学校读者我要写书评

暂无评论

What is the content of "design thinking"? design Heuristics as conceptual repertoire

What is the content of "design thinking"? Design Heuristics ...

引用

作者： Gray, Colin M. Seifert, Colleen M. Yilmaz, Seda Daly, Shanna R. Gonzalez, Richard Department of Computer Graphics Technology Purdue University West LafayetteIN47907 United States Department of Psychology University of Michigan Ann ArborMI48109 United States Department of Industrial Design Iowa State University AmesIA50010 United States Department of Mechanical Engineering University of Michigan Ann ArborMI48109 United States

When engaged in design activity, what does a designer think about? And how does she draw on disciplinary knowledge, precedent, and other strategies in her design process in order to imagine new possible futures? In this paper, we explore design Heuristics as a form of intermediate-level knowledge that may explain how designers build on existing knowledge of "design moves"-non-deterministic, generative strategies or heuristics-during conceptual design *** a set of relationships between disciplinary training and the acquisition of such heuristics, and postulate how design students might accelerate their development of expertise. We conclude with implications for future research on the development of expertise, and the ways in which methods such as design Heuristics can enhance this developmental process. © 2016 TEMPUS Publications.

关键词： Conceptual design

来源：评论

学校读者我要写书评

暂无评论

Generation of Variable Human Faces from 3D Scan Dataset

Generation of Variable Human Faces from 3D Scan Dataset

引用

Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES

作者： Igor Chalas Zuzana Ferkova Katarina Furmanova Jiri Sochor Barbora Kozlikova Department of Computer Graphics and Design Masaryk University Brno Czech Republic

Generating human faces is an important task in many research and application fields, including the gaming industry. When the scene contains many characters, it becomes impracticable to create all individual characters manually. On the other hand, the requirement for the different appearance of faces of individuals in a crowd is now more in demand. In this paper we propose our solution to the automatic generation of human faces. Our solution synthesizes facial parts coming from scans of real human faces; a process that is completely automatic. However, the user has the possibility to further adjust the composite by designing replacements, leading to a desired appearance. The final composite can be exported and attached to a given avatar. As the perception of the variability of resulting composites is in our focus as well, we also present results of the user study which was designed for this purpose. The study aims to reveal the minimal changes of the facial parts which are necessary to make in order to perceive a given facial model as different from the original one.

关键词： Three-dimensional displays Facial features Solid modeling Games Manuals Nose Databases

来源：评论

学校读者我要写书评

暂无评论

Thermal simulation of heterogeneous GaN/ InP/silicon 3DIC stacks

Thermal simulation of heterogeneous GaN/ InP/silicon 3DIC st...

引用

International 3D Systems Integration Conference, 3DIC 2015

作者： Harris, T. Robert Wyers, Eric J. Lee, Wang Graham, Samuel Pavlidis, Georges Franzon, Paul D. Davis, W. Rhett Department of Electrical and Computer Engineering North Carolina State University RaleighNC United States Department of Engineering and Computer Science Tarleton State University StephenvilleTX United States Calibre Design Solutions Mentor Graphics Corporation FremontCA United States Department of Mechanical Engineering Georgia Institute of Technology AtlantaGA United States

ISBN: (纸本)9781467393850

Integration of materials such as GaN, InP, SiGe, and Si is a natural extension of the 3D-IC perspective and provides a unique solution for high performance circuits. In this approach, application of a component is no longer dependent on semiconductor material selection. In this paper, preliminary results are presented which examine the thermal performance of the technology. A thermal analysis prototype solution in Mentor graphics™ Calibre® provides surface heat maps based on IC layout, material property, and geometric configuration files. Chiplets are connected by heterogeneous interconnect (HIC). Differences in thermal performance of GaN and InP chiplets are explored by varying the number of HICs. Two methods for building up the model of a test chip are compared. One method uses custom scripts to place discrete blocks in the model to represent HICs, while the other uses thermal material properties extracted from the layout. Measurements presented confirm simulated results. © 2015 IEEE.

关键词： Gallium nitride

来源：评论

学校读者我要写书评

暂无评论

Constrained-based symbolic execution on virtual models for functional coverage verification

Constrained-based symbolic execution on virtual models for f...

引用

International Conference on computer Engineering and Systems

作者： Nahla Mohamed Mohamed Ayman Wahba Mona Safar Ashraf Salem Design Verification Technology Mentor Graphics Cairo Egypt Computer Engineering and Systems Department Ain Shams University Cairo Egypt

In this paper, we present a new approach for automatic test case generation with symbolic execution on virtual model. The test case generation is based on the concept of constrained-based and assertion-based techniques. We use the constrained-based technique in order to show preferences for the generated test cases and to obtain the desired goal of functional coverage. Basic idea of our technique is generating test cases from assertions. We used the assertion functions of the symbolic executor tool KLEE. With such setting, KLEE will carry out the virtual model through different paths in order to reach the assertion. Hence, the related test cases will validate the coverage of the assertion. To trigger the device to go through several states, we developed an additional method based on special functional coverage criteria. We present preliminary results on the test cases generation using a case study from ARM QEMU models. Our experimental results show that the proposed approach is efficient.

关键词： Random access memory Hardware Computational modeling Software Memory management Adaptation models Explosions

来源：评论

学校读者我要写书评

暂无评论

Thermal simulation of heterogeneous GaN/ InP/silicon 3DIC stacks

Thermal simulation of heterogeneous GaN/ InP/silicon 3DIC st...

引用

IEEE International Conference on 3D System Integration, 3DIC

作者： T. Robert Harris Eric J. Wyers Lee Wang Samuel Graham Georges Pavlidis Paul D. Franzon W. Rhett Davis North Carolina State University Raleigh NC US Department of Engineering and Computer Science Tarleton State University Stephenville TX USA Calibre Design Solutions Mentor Graphics Corporation Fremont CA USA Department of Mechanical Engineering Georgia Institute of Technology Atlanta GA USA Department of Electrical and Computer Engineering North Carolina State University Raleigh NC USA

Integration of materials such as GaN, InP, SiGe, and Si is a natural extension of the 3D-IC perspective and provides a unique solution for high performance circuits. In this approach, application of a component is no longer dependent on semiconductor material selection. In this paper, preliminary results are presented which examine the thermal performance of the technology. A thermal analysis prototype solution in Mentor graphics ™ Calibre ® provides surface heat maps based on IC layout, material property, and geometric configuration files. Chiplets are connected by heterogeneous interconnect (HIC). Differences in thermal performance of GaN and InP chiplets are explored by varying the number of HICs. Two methods for building up the model of a test chip are compared. One method uses custom scripts to place discrete blocks in the model to represent HICs, while the other uses thermal material properties extracted from the layout. Measurements presented confirm simulated results.

关键词： Semiconductor device modeling Gallium nitride Indium phosphide III-V semiconductor materials CMOS integrated circuits Layout Thermal conductivity

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共10页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：