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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

8,200 篇 会议
153 篇 期刊文献
79 册 图书

馆藏范围

8,431 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

5,765 篇 工学
- 4,418 篇 计算机科学与技术...
- 2,922 篇 软件工程
- 751 篇 信息与通信工程
- 743 篇 电气工程
- 713 篇 机械工程
- 610 篇 控制科学与工程
- 453 篇 电子科学与技术（可...
- 403 篇 建筑学
- 295 篇 土木工程
- 270 篇 生物工程
- 231 篇 生物医学工程（可授...
- 196 篇 仪器科学与技术
- 171 篇 材料科学与工程（可...
- 168 篇 动力工程及工程热...
- 155 篇 光学工程
- 146 篇 化学工程与技术
- 128 篇 交通运输工程
1,531 篇 理学
- 780 篇 数学
- 421 篇 物理学
- 296 篇 生物学
- 182 篇 系统科学
- 149 篇 统计学（可授理学、...
- 134 篇 化学
1,251 篇 管理学
- 956 篇 管理科学与工程(可...
- 359 篇 图书情报与档案管...
- 328 篇 工商管理
389 篇 教育学
- 380 篇 教育学
242 篇 医学
- 218 篇 临床医学
- 132 篇 基础医学(可授医学...
232 篇 法学
- 218 篇 社会学
140 篇 艺术学
95 篇 经济学
55 篇 文学
47 篇 农学
22 篇 军事学

主题

366 篇 algorithm design...
271 篇 computer aided d...
265 篇 computer archite...
264 篇 computer science
172 篇 collaborative wo...
166 篇 computer aided i...
161 篇 computational mo...
148 篇 computer graphic...
139 篇 application soft...
117 篇 software design
114 篇 design automatio...
106 篇 design engineeri...
105 篇 product design
104 篇 educational inst...
104 篇 hardware
92 篇 visualization
92 篇 costs
87 篇 human computer i...
84 篇 optimization
83 篇 design

机构

43 篇 school of comput...
30 篇 department of co...
20 篇 school of comput...
18 篇 school of softwa...
14 篇 college of compu...
13 篇 school of comput...
13 篇 tsinghua nationa...
13 篇 college of compu...
13 篇 hunan univ sch d...
12 篇 chitkara univers...
11 篇 department of el...
11 篇 college of compu...
10 篇 school of comput...
10 篇 state key labora...
9 篇 key laboratory f...
9 篇 state key lab. o...
9 篇 univ indonesia f...
8 篇 beijing institut...
8 篇 school of comput...
8 篇 lviv polytechnic...

作者

12 篇 cui lizhen
11 篇 wang haiyang
11 篇 santoso harry bu...
11 篇 wang wei
11 篇 lin rungtai
10 篇 qunsheng peng
10 篇 lizhen cui
9 篇 sikun li
8 篇 peng qunsheng
8 篇 haiyang wang
8 篇 yu suihuai
8 篇 enhua wu
7 篇 guoping wang
7 篇 wang haining
7 篇 anon
7 篇 tscheligi manfre...
7 篇 jinian bian
6 篇 shen weiming
6 篇 strug barbara
6 篇 xu bin

语言

8,310 篇 英文
78 篇 其他
22 篇 中文
15 篇 俄文
5 篇 法文
1 篇 西班牙文
1 篇 葡萄牙文
1 篇 乌克兰文

检索条件"任意字段=11th International Conference on Computer-Aided Design and Computer Graphics"

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

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

详细简洁

排序：

2006 11th international Workshop on computer-aided Modeling, Analysis and design of Communication Links and Networks

2006 11th International Workshop on Computer-Aided Modeling,...

引用

IEEE international Workshop on computer-aided Modeling, Analysis, and design of Communication Links and Networks, CAMAD

conference proceedings front matter may contain various advertisements, welcome messages, committee or program information, and other miscellaneous conference information. this may in some cases also include the cover art, table of contents, copyright statements, title-page or half title-pages, blank pages, venue maps or other general information relating to the conference that was part of the original conference proceedings.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards Automated Model Order Reduction and Feedback Control for Nonlinear Finite Element Models 11

Towards Automated Model Order Reduction and Feedback Control...

引用

11th Vienna international conference on Mathematical Modelling, MAthMOD 2025

作者： Schütz, Arwed Olbrich, Michael Taghdiri, Aliakbar Ament, Christoph Bechtold, Tamara Jade University of Applied Sciences Wilhelmshaven26389 Germany Faculty of Applied Computer Science University of Augsburg Augsburg86159 Germany

Spanning applications from microsystems to passenger jets, finite element (FE) models play a crucial role in the design of a wide range of technical products. However, such models are not suited for applications at system-level or in control due to their large scale. While several schemes to obtain models and controllers based on FE models exist, they either require high-level access to the FE software, create black-box models without physical interpretation, or require specialist knowledge. this paper outlines a workflow to generate highly efficient models and appropriate controllers for nonlinear FE models at the push of a button. In a first step, model order reduction via proper orthogonal decomposition creates an accurate surrogate model of drastically smaller dimension. Nonlinearities are handled via the trajectory piecewise linear approximation (TPWL), maximizing compatibility with commercial FE software by exclusively relying on data produced by regular solutions. Complementing TPWL, gain-scheduling is deployed to establish a precise controller. the proposed workflow is demonstrated for a tunable prism, showcasing its efficacy. Copyright © 2025 the Authors.

关键词： Piecewise linear techniques

来源：评论

学校读者我要写书评

暂无评论

Total Domination and Open Packing in Two Subclasses of Triangle-Free Graphs 11th

Total Domination and Open Packing in Two Subclasses of Tr...

引用

11th international conference on Algorithms and Discrete Applied Mathematics, CALDAM 2025

作者： Shalu, M.A. Kirubakaran, V.K. Indian Institute of Information Technology Design and Manufacturing Kancheepuram Chennai India

ISBN: (纸本)9783031834370

A vertex subset D of a graph G(V, E) is called a total dominating set if every vertex in G has a neighbor in D, and a vertex subset S of G is called an open packing in G if no pair of distinct vertices in S have a common neighbor in G. the size of a minimum total dominating set (resp. maximum open packing) in G is called the total domination number (resp. open packing number) of G and is denoted by γt(G) (resp. ρo(G)). Notably, the open packing number is a lower bound for the total domination number in graphs with no isolated vertices [Henning and Slater, 1999]. Given a graph G and a positive integer k, Total Dominating Set problem decides whether γt(G)≤k and Open Packing problem tests whether ρo(G)≥k. In this work, we study the complexity of the problems Total Dominating Set and Open Packing in two subclasses of K3-free graphs: {P6,C6,K3}-free graphs and triangle-free cubic planar graphs. We prove that in a connected {P6,C6,K3}-free graph, every minimum total dominating set is a biclique. We use this result to prove that (i) for a connected {P6,C6,K3}-free graph G, γt(G)≤ρo(G)+1 and (ii) a minimum total dominating set and a maximum open packing in a {P6,C6,K3}-free graph can be found in O(n4) time. We also show that for a connected {P6,C6,K3}-free graph G, γt(G)=ρo(G) if and only if at least one vertex of G is not contained in any C5 of G. In contrast to the above set of polynomial-time algorithm and structural characterization, we prove that Total Dominating Set and Open Packing are NP-complete on triangle-free cubic planar graphs. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

e-Cattie: A Versatile Climbing Quadrupedal Robot

e-Cattie: A Versatile Climbing Quadrupedal Robot

引用

Mechatronics and Robotics Engineering (ICMRE), international conference on

作者： Emmanouil Papadakis Markos Sigalas Michail Vangos Panos Trahanias Institute of Computer Science Foundation for Research and Technology Hellas (FORTH) Heraklion Greece Department of Computer Science University of Crete Heraklion Greece

ISBN: (数字)9798331509293

ISBN: (纸本)9798331509309

this paper introduces e-Cattie, a novel quadrupedal robotic system equipped for climbing and traversing surfaces of various inclinations and roughness, from planar terrains to vertical walls and even upside-down surfaces. designed with autonomy and versatility at its core, e-Cattie is inspired by the agility and climbing prowess of cats, embodying dynamic posture and gait adaptability to meet diverse operational needs while maintaining significant payload capacity. the system integrates three key components: a highly agile quadrupedal robotic module, a vacuum system for effective surface attachment, and an innovative suction cup module for secure and adaptable surface adhesion. Experimental evaluations demonstrate e-Cattie's capabilities in walking and climbing across different inclinations, highlighting its potential in maintenance, surveillance, and search-and-rescue applications. the experiments further assess the robot's efficiency with respect to the holding force across all orientations, showcasing the practical implications of its design for real-world applications. e-Cattie's introduction marks a significant step towards developing autonomous robotic systems capable of navigating challenging terrains, paving the way for future advancements in robotic climbing and traversal technologies.

关键词： Legged locomotion Vacuum systems Mechatronics Navigation Surveillance Surface roughness Rough surfaces Maintenance Quadrupedal robots Payloads

来源：评论

学校读者我要写书评

暂无评论

Redesign and New Evaluation of a Pervasive Game for Older Adults

Redesign and New Evaluation of a Pervasive Game for Older Ad...

引用

11th international conference on Information and Communication Technologies for Ageing Well and e-Health, ICT4AWE 2025

作者： Urquía, Alberto Gallardo, Jesús Lacuesta, Raquel Ordóñez-Bonet, Joan-Josep Ramis-Guarinos, Silvia University of Zaragoza Zaragoza Spain University of Zaragoza Teruel Spain Department of Mathematics and Computing University of Illes Balears Palma Spain

ISBN: (纸本)9789897587436

Older adults are a growing segment of the population. Many aspects of technology could help this sector improve different facets of their daily lives. One such aspect is video games, something with which older adults are becoming increasingly familiar. Within video games, a field that has grown a lot in recent years is that of pervasive games, those that break some of the classic spatial, temporal or social limits that classic video games have. Following this trend, we developed a pervasive mobile game designed for older adults inspired by Pokémon Go that consisted of players having to move through a physical space to locate real objects that would allow them to unlock memories that were stored in an album. the game had a lot of room for improvement in terms of its visual aspect, and to improve it a redesign and evaluation has been carried out, resulting in a new interface for the application, along with a series of modifications to the game mechanics and introduction of additional ones that allow branching the game experience towards different profiles and needs. In addition, the problems related to its accessibility and usability have been addressed through a series of considerations that can be extrapolated to the design of applications for older adults. Copyright © 2025 by SCITEPRESS - Science and Technology Publications, Lda.

关键词： Interactive computer graphics

来源：评论

学校读者我要写书评

暂无评论

2006 11th international Workshop on computer aided Modeling and design of Communication Links and Network

2006 11th International Workshop on Computer Aided Modeling ...

引用

IEEE international Workshop on computer-aided Modeling, Analysis, and design of Communication Links and Networks, CAMAD

the following topics were dealt with:communication line networks; wireless networks; optical burst-switched networks; and periodic broadcasting protocols.

关键词：

来源：评论

学校读者我要写书评

暂无评论

11th international conference on computer aided Verification, CAV 1999

11th International Conference on Computer Aided Verification...

引用

11th international conference on computer aided Verification, CAV 1999

ISBN: (纸本)3540662022

the proceedings contain 45 papers. the special focus in this conference is on Processor Verification, Protocol Verification, Testing, theory of Verification and Linear Temporal Logic. the topics include: Alternative approaches to hardware verification;the compositional specification of timed systems;verification of parameterized systems by dynamic induction on diagrams;formal methods for conformance testing;proof of correctness of a processor with reorder buffer using the completion functions approach;model checking the IBM gigahertz processor;an abstraction algorithm for high-performance netlists;validation of pipelined processor designs using esterel tools;automated verification of a parametric real-time program;test generation derived from model-checking;handling global conditions in parametrized system verification;verification of infinite-state systems by combining abstraction and reachability analysis;experience with predicate abstraction;a complete finite prefix for process algebra;the mathematical foundation of symbolic trajectory evaluation;assume-guarantee refinement between different time scales;efficient decision procedures for model checking of linear time logic properties;improved automata generation for linear temporal logic;on the representation of probabilities over structured domains;verifying sequential consistency on shared-memory multiprocessor systems;efficient timed reachability analysis using clock difference diagrams;linking theorem proving and model-checking with well-founded bisimulation;automatic verification of combinational and pipelined FFT circuits;a theory of restrictions for logics and automata;automatic verification of abstract state machines;deciding equality formulas by small domains instantiations and a toolbox for the analysis of discrete event dynamic systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Simulation-Based design of DDS Ownership QoS for Autonomous Driving Control Systems

Simulation-Based Design of DDS Ownership QoS for Autonomous ...

引用

Mechatronics and Robotics Engineering (ICMRE), international conference on

作者： Sung Keun Cha Sung Bhin Oh Hyeong Keun Hong Jae Wook Jeon Department of Electrical and Computer Engineering Sungkyunkwan University Suwon Korea

ISBN: (数字)9798331509293

ISBN: (纸本)9798331509309

In this study, we designed a control management mechanism for autonomous vehicles by utilizing the ownership Quality of Service (QoS) of Data Distribution Service (DDS) and implemented and experimentally verified it based on FastDDS. By setting priorities among the three control modes of manual control, Advanced Driver Assistance System (ADAS) control, and emergency control based on ownership strength, we prevented data conflicts and enabled fast and accurate control switching even in emergency situations. the experimental results show that the proposed system minimizes the control transition latency. Also, it effectively guarantees the message throughput and demonstrates its practical applicability in safety-centric systems such as autonomous driving. this research will provide future possibilities for extending ownership QoS in complex environments such as multi-vehicle cooperative driving and vehicle-infrastructure communication. It also aims to contribute to improving the reliability and efficiency of autonomous driving technologies.

关键词： System performance Scalability Quality of service Switches Control systems throughput Reliability Vehicle dynamics Autonomous vehicles Robots

来源：评论

学校读者我要写书评

暂无评论

11th international conference on Cross-Cultural design, CCD 2019, held as part of the 21st international conference on Human-computer Interaction, HCI international 2019

11th International Conference on Cross-Cultural Design, CCD ...

引用

11th international conference on Cross-Cultural design, CCD 2019, held as part of the 21st international conference on Human-computer Interaction, HCI international 2019

ISBN: (纸本)9783030225797

the proceedings contain 80 papers. the special focus in this conference is on Cross-Cultural design. the topics include: User Experience in Older Adults Using Tablets for Neuropsicological Tests in Mexico City;parallel Orientation Assistant, a Vehicle System Based on Voice Interaction and Multi-screen Interaction;Can Virtual Reality Satisfy Entertainment Needs of the Elderly? the Application of a VR Headset in Elderly Care;cross-Cultural Recycling and design Methodology;to Prove the Effectiveness of the three-Stage design Method of Cross-Cultural Recycling "Why-What-How";mobility-as-a-Service: A Critical Review and the Generalized Multi-modal Transport Experience;design for Urban Resilience: A Case of Community-led Placemaking Approach in Shanghai China;"We Are Actively Reaching Out to Different Organizations and Folks to Come in": Collective design of the Vancouver Tool Library Project;urban Interaction design Supports Modular design Practice for Urban Public Space;city Change Maker: A design Innovation Workshop on Social Impact;museum and Cultural Products Co-creation Brand Value: Taking the Innovative Cultural Products of Ningbo Port Museum as an Example;a Comparison of Critical Time Interval Between Young and Old Subjects;qianLi: A Modular System for Connecting Distant Family Members through Tacit Interaction;the Vibrotactile Experience of the HOME Button on Smartphones;a Study of Japan’s Welfare Beauty Service from Cultural Creative’s Perspective;what Do Users like About Smart Bottle? Insights for designers;business Practice of Service design in New Retail Era in China;attempts to Leverage Interaction design to Mimic Emotional Care and Empathy-Based Feedback on Smart Speakers;luxury Industry’s Chinese User Experience design.

关键词：

来源：评论

学校读者我要写书评

暂无评论

11th international conference on Cross-Cultural design, CCD 2019, held as part of the 21st international conference on Human-computer Interaction, HCI international 2019

11th International Conference on Cross-Cultural Design, CCD ...

引用

11th international conference on Cross-Cultural design, CCD 2019, held as part of the 21st international conference on Human-computer Interaction, HCI international 2019

ISBN: (纸本)9783030225766

the proceedings contain 80 papers. the special focus in this conference is on Cross-Cultural design. the topics include: How to Preserve Taiwanese Cultural Food Heritage through Everyday HCI: A Proposal for Mobile Implementation;a Study of Cultural Ergonomics in Atayal Weaving Box;designing Gardenia-Inspired Cultural Products;a Study on Productive Preservation and design Innovation of Taoyuan Wood Carving;research on the Audience’s Cognition and Preference of the Styles of Chinese Landscape Paintings;UsabEU: Online Platform for Translation, Validation and Native Use of Usability Questionnaires with Multilingual User Groups;design for Bilingual Information in a Cross-Cultural Context—design Strategy and Conceptualization in Branding Tongji design Week;how People Browse Mobile News Feed? A Study for Mobile News Feed design;3D Gesture Interface: Japan-Brazil Perceptions;advanced designing Assistant System for Smart design Based on Product Image Dataset;scenario-Based User Experience Differences of Human-Device Interaction at Different Levels of Proactivity;effect of Vibrotactile Feedback on Simulator Sickness, Performance, and User Satisfaction with Virtual Reality Glasses;a Study on the Auditory-Visual Fatigue Classification Validation Based on the Working Memory Task;using Psychophysiological Techniques to Evaluate User Experience of Touchscreen Protectors;Is SERVQUAL Reliable and Valid? A Review from the Perspective of Dimensions in Different Typical Service Industries;reliability and Validity of Measurement Scale for Perceived Service Quality in Internet Bank: A Review;inferring Human Feelings and Desires for Human-Robot Trust Promotion;effect of Layout on User Performance and Subjective Evaluation in an Augmented-Reality Environment;user Requirements Gathering in mHealth: Perspective from Ghanaian End Users.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：