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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

34,007 篇 会议
631 册 图书
584 篇 期刊文献

馆藏范围

35,218 篇 电子文献
5 种 纸本馆藏

日期分布

学科分类号

15,543 篇 工学
- 9,774 篇 计算机科学与技术...
- 5,977 篇 软件工程
- 2,936 篇 电气工程
- 2,521 篇 控制科学与工程
- 2,147 篇 机械工程
- 1,763 篇 信息与通信工程
- 1,499 篇 电子科学与技术（可...
- 894 篇 材料科学与工程（可...
- 762 篇 动力工程及工程热...
- 681 篇 生物医学工程（可授...
- 670 篇 仪器科学与技术
- 655 篇 力学（可授工学、理...
- 622 篇 生物工程
- 592 篇 土木工程
- 556 篇 化学工程与技术
- 524 篇 建筑学
- 480 篇 交通运输工程
- 352 篇 航空宇航科学与技...
- 340 篇 安全科学与工程
5,950 篇 理学
- 3,423 篇 数学
- 1,694 篇 物理学
- 1,010 篇 系统科学
- 842 篇 统计学（可授理学、...
- 772 篇 生物学
- 605 篇 化学
2,665 篇 管理学
- 2,253 篇 管理科学与工程(可...
- 835 篇 工商管理
- 477 篇 图书情报与档案管...
607 篇 医学
- 469 篇 临床医学
- 345 篇 基础医学(可授医学...
330 篇 经济学
330 篇 法学
238 篇 教育学
187 篇 农学
124 篇 军事学
95 篇 文学
77 篇 艺术学
1 篇 哲学
1 篇 历史学

主题

11,526 篇 computational mo...
5,216 篇 computer simulat...
2,228 篇 analytical model...
2,122 篇 mathematical mod...
1,769 篇 simulation
1,750 篇 computer archite...
1,509 篇 computer science
1,267 篇 solid modeling
1,128 篇 biological syste...
1,045 篇 circuit simulati...
1,011 篇 computer network...
907 篇 application soft...
860 篇 predictive model...
851 篇 hardware
711 篇 integrated circu...
677 篇 modeling
656 篇 testing
610 篇 data models
602 篇 humans
565 篇 load modeling

机构

62 篇 department of el...
46 篇 department of el...
44 篇 department of co...
43 篇 school of comput...
27 篇 school of comput...
27 篇 department of co...
26 篇 school of comput...
20 篇 school of comput...
18 篇 school of automa...
18 篇 department of co...
17 篇 department of el...
17 篇 ibm thomas j. wa...
17 篇 beihang univ sch...
16 篇 school of electr...
16 篇 college of compu...
16 篇 department of el...
16 篇 department of co...
15 篇 shanghai univers...
14 篇 college of compu...
14 篇 department of el...

作者

24 篇 bernady o. apduh...
22 篇 leifsson leifur
22 篇 jun wang
18 篇 wei li
17 篇 ryszard tadeusie...
16 篇 jing zhang
16 篇 li li
15 篇 kang li
15 篇 ming li
15 篇 mengchu zhou
13 篇 bin he
13 篇 jian wang
13 篇 marina l. gavril...
13 篇 b. he
13 篇 dimitrios soudri...
13 篇 marcin korytkows...
12 篇 yong meng teo
12 篇 lei wang
12 篇 zhang lin
12 篇 daming wei

语言

34,702 篇 英文
273 篇 其他
261 篇 中文
20 篇 俄文
2 篇 捷克文
1 篇 法文

检索条件"任意字段=International Conference on Computer Modeling and Simulation"

共 35222 条记录，以下是201-210 订阅

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

详细简洁

排序：

TERA: A simulation Environment for Terrain Excavation Robot Autonomy

TERA: A Simulation Environment for Terrain Excavation Robot ...

引用

2025 IEEE international conference on simulation, modeling, and Programming for Autonomous Robots, SIMPAR 2025

作者： Aluckal, Christo Kumar Lal, Roopesh Vinodh Courtney, Sean Turkar, Yash Dighe, Yashom Kim, Youngjin Gemerek, Jake Dantu, Karthik University at Buffalo Computer Science and Engineering BuffaloNY United States Moog Constructions Moog Inc. BuffaloNY United States

ISBN: (纸本)9798331516857

Developing excavation autonomy is challenging given the environments where excavators operate, the complexity of physical interaction and the degrees of freedom of operation of the excavator itself. simulation is a useful tool to build parts of the autonomy without the complexity of experimentation. Traditional excavator simulators are geared towards high fidelity interactions between the joints or between the terrain but do not incorporate other challenges such as perception required for end-end autonomy. A complete simulator should be capable of supporting real-time operation while providing high fidelity simulation of the excavator(s), the environment, and their interaction. In this paper we present TERA (Terrain Excavation Robot Autonomy), a simulator geared towards autonomous excavator applications based on Unity3D/AGX that provides the extensibility and scalability required to study full autonomy. It provides the ability to configure the excavator and the environment per the user requirements. We also demonstrate realistic dynamics by incorporating a time-varying model that introduces variations in the system's responses. The simulator is then evaluated with different scenarios such as track deformation, velocities on different terrains, similarity of the system with the real excavator and the overall path error to show the capabilities of the simulation. TERA source will be available at https://***/tera on publication. © 2025 IEEE.

关键词： Autonomy Excavation simulation

来源：评论

学校读者我要写书评

暂无评论

modeling and simulation of Unmanned Swarm System Based on Dynamic Structure DEVS 5

Modeling and Simulation of Unmanned Swarm System Based on Dy...

引用

2023 5th international conference on modeling, simulation, Optimization and Algorithm, ICMSOA 2023

作者： Zhang, Wangyang Li, Qingwei Xu, Xin Li, Weiqing School of Computer Science and Engineering Nanjing University of Science and Technology Jiangsu Nanjing China The 28th Research Institute of China Electronics Technology Group Corporation Jiangsu Nanjing China

As a complex system with collaborative cooperation and capability emergence, the unmanned swarm system plays an important role in military, agriculture, aerospace and other fields. With the increasing complexity of unmanned swarm systems, traditional modeling methods cannot effectively describe the dynamics of swarm systems. In order to effectively design, use and evaluate unmanned swarm systems, this article conducts modeling and simulation of unmanned swarm systems based on DSDEVS(Dynamic Structure Discrete Event System Specification). Describe the unmanned swarm system from both behavioral and structural aspects. Based on component modeling, the microscopic behaviors of the unmanned platforms that constitute the unmanned swarm are described, and coupling relationships are established to describe the collaborative structure between unmanned platforms. According to the state transfer and event interaction characteristics of the unmanned swarm system, a synchronization mechanism is added to support changes in the swarm structure. This enables the unmanned swarm system to make adaptive structural adjustments according to environmental changes and its own goals during simulation operation, so as to achieve a state of enhanced capabilities and structural stability to complete the task. Finally, the effectiveness and feasibility of this method were verified through a simulation experiment of joint reconnaissance by a UAV swarm. © Published under licence by IOP Publishing Ltd.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Safe Environments to Understand Medical AI - Designing a Diabetes simulation Interface for Users of Automated Insulin Delivery 14th

Safe Environments to Understand Medical AI - Designing a Dia...

引用

14th international conference on Digital Human modeling and Applications in Health, Safety, Ergonomics and Risk Management (DHM) Held as Part of the 25th international conference on Human-computer Interaction (HCII)

作者： Schrills, Tim Gruner, Marthe Peuscher, Heiko Franke, Thomas Univ Lubeck Ratzeburger Allee 160 D-23560 Lubeck Germany Tech Hsch Ulm Prittwitzstr 10 D-89075 Ulm Germany

ISBN: (纸本)9783031357473;9783031357480

Modern therapy for type 1 diabetes requires patients to interact with intelligent systems designed for automated insulin delivery (AID). Despite substantial medical advantages, patients often experience low trust in and predictability of AID systems. To mitigate adverse effects on human-AI cooperation, AID simulations may be used in training of patients. The goal of the present research is to identify requirements for human-centered AID simulation. To this end, we conducted an interview study (N = 12) in which stakeholders were queried on their expectations regarding AID systems, mainly addressing interactivity and explanation of simulation parameters. In addition, a prototypical simulation was used in a within-subject online experiment with N = 32 participants to evaluate effects on perceived trustworthiness and traceability. While the latter improved significantly, no difference in perceived trustworthiness was found. Our results indicate that interactive simulations can contribute to improving human cooperation with AID systems in a safe environment.

关键词： Human-Automation Interaction Diabetes Therapy Explainability

来源：评论

学校读者我要写书评

暂无评论

Efficient Streetlamp Detection with YOLO Models on Edge Device

Efficient Streetlamp Detection with YOLO Models on Edge Devi...

引用

2024 IEEE international conference on modeling, simulation and Intelligent Computing, MoSICom 2024

作者： Amirgaliyev, Beibut Aiymbay, Sunggat Zhumadillayeva, Ainur Astana It University Department of Computer Engineering Astana Kazakhstan L.N. Gumilyov Eurasian National University Department of Computer and Software Engineering Astana Kazakhstan

ISBN: (纸本)9798331533311

This study presents a real-time streetlamp detection system using a Raspberry Pi and dashcam, leveraging YOLOv5 and YOLOv8 models. Tested in various conditions, YOLOv8n outperformed YOLOv5n with a mean Average Precision (mAP) of 73.7% versus 6 9. 4%, along with higher Precision and Recall. YOLOv8n demonstrated superior accuracy and reliability, making it better suited for IoT-based smart lighting applications in smart cities. This research underscores the potential of affordable edge-computing for adaptive urban lighting solutions. © 2024 IEEE.

关键词： Smart city

来源：评论

学校读者我要写书评

暂无评论

Pre-defined Emergencies on Demand: simulation-Based Analysis of Information Processing in Emergency Dispatching 14th

Pre-defined Emergencies on Demand: Simulation-Based Analysis...

引用

作者： Gruner, Marthe Schrills, Tim Franke, Thomas Univ Lubeck Ratzeburger Allee 160 D-23562 Lubeck Germany

ISBN: (纸本)9783031357404;9783031357411

Lacking situation awareness is one of the main issues in emergency dispatching that can lead to high uncertainty in decision-making. Automated systems can and will support dispatchers in this process in the future. Yet, the introduction of such systems can place additional cognitive demands on dispatchers and should therefore be tailored to their working routines at an early stage. This is especially true when systems execute tasks that cannot be performed by humans in this form, and thus provide new sources of information. To figure out how to design the integration of new information, it is essential to understand the existing information flow of dispatchers to assess how information processing might change. For this purpose, we propose the combination of simulations and the Critical Decision Method (CDM) with the amplification by psychological experimental design methods as an approach to uncover cognitive processes in decision-making. In a literature review, we identified 10 relevant empirical research papers in which this combination had already been applied in studies. The reviewed papers were analyzed in terms of methodological aspects and takeaways regarding the application of simulations and the CDM. The results show that both the simulation environment and scenarios, as well as the selection of CDM probes, require careful consideration and accurate alignment with the research objectives. In conclusion, we provide and discuss the methodological design, an experimental setup, and an example scenario focused on the emergency dispatching process.

关键词： simulation Critical decision method Emergency dispatching

来源：评论

学校读者我要写书评

暂无评论

Ternary Clock Tree Synthesis for 3D ICs 20

Ternary Clock Tree Synthesis for 3D ICs

引用

20th international conference on Synthesis, modeling, Analysis and simulation Methods and Applications to Circuit Design, SMACD 2024

作者： Pavlidis, Christos Sketopoulos, Nikos Sotiriou, Christos P. Pavlidis, Vasilis F. Aristotle University of Thessaloniki School of Electrical and Computer Engineering Greece University of Thessaly Department of Electrical and Computer Engineering Greece

ISBN: (纸本)9798350351927

A 3D clock tree topology generation algorithm is presented based on ternary trees. In addition, a method that leads to an improved stopping criterion for algorithms based on nearest neighbor is proposed. A new grid assignment approach for vertical interconnects that further contributes to low skew clock trees is also presented. By leveraging ternary tree formations, wirelength is significantly reduced, while assigning vertical interconnects with the new approach reduces the number of inserted clock buffers. Results on IBM benchmarks exhibit a 2 4 % decrease in skew alongside a 1 7 % decrease in wirelength on average compared to 3D-MMM. © 2024 IEEE.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

Comparison of Monorail Vehicle Dynamic Behavior in Unity and Universal Mechanism 8th

Comparison of Monorail Vehicle Dynamic Behavior in Unity and...

引用

8th international Scientific-Technical conference (MANUFACTURING)

作者： Lukaszewski, Krzysztof Bu, Pawel Karwasz, Anna Poznan Univ Tech Poznan Poland

ISBN: (纸本)9783031564659;9783031564635

The article contains a description of modeling and analysis of dynamic results of a monorail vehicle in simulation environments for various purposes. The analyzes carried out are aimed at checking the correctness of the calculation engine of the virtual reality environment Unity. The Unity system in terms of parameters and the method of modeling mechanical objects is similar to typical MBS(MultiBody simulation) environments. The authors used for the comparative analysis MBS system: Universal Mechanism dedicated for testing rail vehicles. Despite applying the same parameters as in Universal Mechanism, the monorailtrack model made in Unity did not achieve satisfactory convergence of results between the models. The correctness of the simulation calculations in the Universal Mechanism system was confirmed by analytically determining the value of centrifugal acceleration. Discrepancies were found between the recorded results and the behavior of the vehicle observed in the animation. The observed behavior of the vehicle during the animation was more realistic than the recorded acceleration course. The presented arguments suggest that the Unity engine (solver) is insufficiently powerful to perform detailed simulations.

关键词： computer simulation vehicle dynamics MultiBody simulation (MBS)

来源：评论

学校读者我要写书评

暂无评论

Arithmetic Calculus modeling for Approximate Circuits

Arithmetic Calculus Modeling for Approximate Circuits

引用

2024 international conference on Microelectronics, ICM 2024

作者： Aoun, Alain Masadeh, Mahmoud Hasan, Osman Tahar, Sofiene Concordia University Department of Electrical and Computer Engineering MontrealQC Canada Yarmouk University Computer Engineering Department Irbid Jordan National University of Sciences & Technology Department of Electrical Engineering Islamabad Pakistan

ISBN: (纸本)9798350379396

Approximate computing (AC) is a paradigm that introduces errors for reduced design metrics. AC has been recommended for implementation in error-resilient applications. Previously proposed AC implementations can be modified to generate new configurations and thus result in a large design space of AC. In this paper, we propose a mathematical modeling technique that allows a fast analysis of hardware designs with the aim of studying the quality of large design spaces. Mathematically modeling the AC circuits facilitates the quality to be assessed using various error metrics while reducing the assessment time. The proposed approach has been applied to various arithmetic units, including an array multiplier, a multiply accumulate unit and a divider. The experimental results showed a quality assessment equivalent to the one obtained by the Monte-Carlo simulation, while offering a remarkable reduction in CPU time. © 2024 IEEE.

关键词： Monte Carlo methods

来源：评论

学校读者我要写书评

暂无评论

A modular approach of PV-systems modelling using real meteorological data

A modular approach of PV-systems modelling using real meteor...

引用

2024 international conference Automatics and Informatics, ICAI 2024

作者： Zahariev, Svetlozar Kirilov Technical University of Varna Faculty of Computer Technologies and Automation Varna Bulgaria

ISBN: (纸本)9798350353907

This article focuses on presenting an algorithm of the modular approach for modeling, configuring, reconfiguring and investigating photovoltaic systems using meteorological data. It outlines а methodology for determining the solar model, solar radiation, time correction, solar azimuth, Incidence angles, Total Diffuse (GDI), Direct Solar Radiation (DBI), Clear Sky Models, frequency indices, Internal temperature of the photovoltaic cell and others. An automatic analysis of the simulation results has been implemented. The development is part of the activities of the Technical University of Varna to construct a modular open instrument in Matlab Simulink for modeling and research of photovoltaic systems by processing meteorological data. © 2024 IEEE.

关键词： Solar irradiance

来源：评论

学校读者我要写书评

暂无评论

Algorithm for Distributing Incoming Messages Among Handlers 2nd

Algorithm for Distributing Incoming Messages Among Handlers

引用

2nd international conference on Information Technologies and Their Applications

作者： Zverev, Ivan Zykina, Anna Omsk State Tech Univ 11 Mira Prospect Omsk Russia

ISBN: (纸本)9783031734199;9783031734205

In modern digital world, the amount of information is increasing dramatically. All this information requires immediate processing which can be done by automated systems. To accelerate processing in automated systems, new models, methods and efficient algorithms for their implementation are needed. The article considers the problem of distributing incoming messages to handlers in an automated system of an organization. The classical assignment problem and known methods of its solution are the mathematical basis for solving the problem. A generalization of the assignment problem with invalid combinations of assignments is considered as a model. A solution algorithm is developed and a software product for solving the described problem in the Python language is implemented. Moreover, numerical experiments are carried out to verify the quality of the developed algorithm and check its feasibility. The applied problem posed in this paper is relevant as in terms of its practical application and as the study of the mathematical model of the assignment problem and methods of its solution. The developed algorithm allows us to calculate the system load and regulate the number of handlers in operation. The obtained results can serve as input parameters for the simulation model of the incoming message processing system which will allow experimenting with the load of such a system.

关键词： Assignment Problem Mathematical modeling Distributed Computing Systems Equivalent Transformations simulation modeling Python

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 17 18 19 20 21 22 23 24 25 26 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：