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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,000 篇 会议
631 册 图书
584 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

15,550 篇 工学
- 9,781 篇 计算机科学与技术...
- 5,974 篇 软件工程
- 2,946 篇 电气工程
- 2,521 篇 控制科学与工程
- 2,147 篇 机械工程
- 1,773 篇 信息与通信工程
- 1,501 篇 电子科学与技术（可...
- 898 篇 材料科学与工程（可...
- 762 篇 动力工程及工程热...
- 681 篇 生物医学工程（可授...
- 670 篇 仪器科学与技术
- 655 篇 力学（可授工学、理...
- 622 篇 生物工程
- 591 篇 土木工程
- 556 篇 化学工程与技术
- 524 篇 建筑学
- 479 篇 交通运输工程
- 352 篇 航空宇航科学与技...
- 339 篇 安全科学与工程
5,955 篇 理学
- 3,427 篇 数学
- 1,696 篇 物理学
- 1,010 篇 系统科学
- 842 篇 统计学（可授理学、...
- 773 篇 生物学
- 605 篇 化学
2,663 篇 管理学
- 2,251 篇 管理科学与工程(可...
- 834 篇 工商管理
- 477 篇 图书情报与档案管...
607 篇 医学
- 469 篇 临床医学
- 345 篇 基础医学(可授医学...
330 篇 经济学
330 篇 法学
238 篇 教育学
188 篇 农学
124 篇 军事学
95 篇 文学
77 篇 艺术学
1 篇 哲学
1 篇 历史学

主题

11,520 篇 computational mo...
5,217 篇 computer simulat...
2,227 篇 analytical model...
2,123 篇 mathematical mod...
1,772 篇 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...
857 篇 predictive model...
851 篇 hardware
707 篇 integrated circu...
678 篇 modeling
656 篇 testing
608 篇 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...
19 篇 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,683 篇 英文
285 篇 其他
259 篇 中文
20 篇 俄文
2 篇 捷克文
1 篇 法文

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

共 35215 条记录，以下是181-190 订阅

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

详细简洁

排序：

21st international Colloquium on Theoretical Aspects of Computing, ICTAC 2024

21st International Colloquium on Theoretical Aspects of Comp...

引用

21st international Colloquium on Theoretical Aspects of Computing, ICTAC 2024

ISBN: (纸本)9783031770180

The proceedings contain 22 papers. The special focus in this conference is on Theoretical Aspects of Computing. The topics include: Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny;jump Complexity of Deterministic Finite Automata with Translucent Letters;learning Closed Signal Flow Graphs;dual Adjunction Between Ω-Automata and Wilke Algebra Quotients;on Concurrent Program Algebra and Demonic Automata;bisimulations and Logics for Higher-Dimensional Automata;maximizing Weighted Dominance in the Plane;generalized Parikh Matrices for Tracking Subsequence Occurrences;card-Based Protocols with Single-Card Encoding;winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control;disconnection Rules are Complete for Chemical Reactions;verification with Common Knowledge of Rationality for Graph Games;reversibility in Process Calculi with Nondeterminism and Probabilities;a Theory of Proc-Omata—and Proof Methods for Process Architectures;Formal Foundations for Efficient simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs;type Safety for Isabelle/Solidity;history-Based Reasoning About Behavioral Subtyping;switched Systems in Coq for modeling Periodic Controllers;A Quantum-Inspired Mechanical Method for Proving of Ramsey’s Theorem by Symbolic Computation over the Finite Field GF(2);runtime Enforcement with Event Reordering.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Enhancing Building Safety: A Brief Review of Agent-Based modeling for Fire Evacuation simulation 16

Enhancing Building Safety: A Brief Review of Agent-Based Mod...

引用

16th international conference on Ambient Systems, Networks and Technologies Networks, ANT 2025 / 8th international conference on Emerging Data and Industry 4.0, EDI40 2025

作者： Kasereka, Selain K. Kabwe, Ortega M. Kinyanta, Maria W.K. Kasongo, Audrey L. Ilunga, Godwill W.K. Muhambya, Katya Tashev, Tasho Kyamakya, Kyandoghere Mathematics Statistics and Computer Science Department University of Kinshasa Kinshasa Democratic Republic Congo Faculty of English Engineering Studies Technical University of Sofia Sofia Bulgaria ABIL Research Center Kinshasa Democratic Republic Congo Faculty of Computer Science Université Nouveaux Horizons Lubumbashi Democratic Republic Congo Ganpat University Faculty of Computer Application Gujarat India Université Libre des Pays des Grands Lacs Faculty of Sciences and Technology Goma Democratic Republic Congo Institute of Smart Systems Technologies University of Klagenfurt Klagenfurt Austria Polytechnic Faculty University of Kinshasa Kinshasa Democratic Republic Congo

The issue of building evacuation in the event of a fire is a significant concern in urban planning and architecture. In the absence of appropriate measures, an emergency situation can potentially result in disastrous outcomes. In this review article, we explore the application of agent-based modeling (ABM) in the simulation of building evacuations in the event of a free breakout. To address this issue, we present a synthesis of findings from several studies, highlighting the advantages of ABM in modeling complex evacuation dynamics such as crowd behavior, consideration of multiple parameters, and decision-making processes. Additionally, we provide insight into the simulation tools and techniques used in studies that demonstrate the practical applications of ABM in enhancing evacuation strategies. Furthermore, we identify current challenges, research gaps, and propose future directions to enhance the accuracy and effectiveness of fire evacuation modeling and simulations. This study aims to contribute to the improvement of proposed solutions and models for the development of successful, effective, and reliable evacuation plans to enhance the safety of occupants in buildings. © 2025 The Author(s).

关键词： Agent-based modeling Agent-Based simulation Building Safety Disaster Evacuation Fire Breakout

来源：评论

学校读者我要写书评

暂无评论

A High-Gain DC-DC Boost Converter for Solar Microgrid Systems Using a Switching Inductor and a Capacitor 1

A High-Gain DC-DC Boost Converter for Solar Microgrid System...

引用

1st international conference on Advances in computer Science, Electrical, Electronics, and Communication Technologies, CE2CT 2025

作者： Prasanth, S. Priyadarsini, S. Lakshmi, R. Sneha, G. Ajitha, S.S. Saravanakumar, R. Narendra, Konnaiah Gari Unnamalai Institute of Technology Department of Computer Science and Engineering Tamil Nadu Kovilpatti India PSR Engineering College Department of Computer Science and Engineering Tamil Nadu Sivakasi India Siddharth Institute of Engineering and Technology Department of Elecrical and Electroncis Engineering Puttur India St. Joseph's Institute of Technology Department of Electronics and Communication Engineering Tamil Nadu Chennai India Vel Tech Multi Tech Dr. Rangarajan Dr. Sakunthala Engineering College Department of Electronics and Communication Engineering Tamil Nadu Chennai India Iconix Software Solution Tamil Nadu Tirunelveli India Vel Tech Rangarajan Dr. Sagunthala R&D Institute of Science and Technology Department of Electonics and Communication Engineering Tamil Nadu Chennai India

ISBN: (纸本)9798331518578

This paper outlines the design and implementation of a solar microgrid-specific high-gain DC-DC booster converter that makes use of a variable inductor and capacitors. To improve the suitability of photovoltaic (PV) panels for incorporation into microgrids, the proposed converter efficiently increases their low-voltage outputs. Conventional boost converters can't offer that kind of voltage increase because they lose too much performance and put too much strain on their internal components. The converter increases the voltage gain dramatically while maintaining a high degree of efficiency thanks to a switching inductor-capacitor network. The main breakthrough is an inventive multi-stage energy transfer and storage device that cleverly employs a switching inductor and capacitor. This configuration increases the output voltage while decreasing the voltage and current ripples, which in turn reduces the amount of electromagnetic interference (EMI) and increases the life of the components. Thorough assessments of the converter's working via theoretical modeling and simulation studies confirm its performance across several load and input situations common to solar microgrids. The prototype's testing findings show a significant voltage increase and a peak efficiency of over 95% when compared to traditional boost converters. Moreover, the converter's reliable performance over a wide range of voltage sources and workload scenarios proves its suitability for practical solar applications. As a result, the proposed high-gain boost converter will greatly improve the efficiency and reliability of solar microgrids, leading to a rise in the use of renewable energy sources in DGS. © 2025 IEEE.

关键词： Microgrids

来源：评论

学校读者我要写书评

暂无评论

simulation of Multi-route City Passenger Тransportation with Genetic Algorithm 19th

Simulation of Multi-route City Passenger Тransportation wit...

引用

19th international conference on Mathematical modeling and simulation of Systems, MODS 2024

作者： Bychko, Volodymyr Bilous, Iryna Bryukhovetsky, Vasyl Pavlovskyi, Volodymyr Bychko, Kyrylo Chernihiv Polytechnic National University Chernihiv Ukraine Institute of Electrophysics and Radiation Technologies NAS of Ukraine Kharkiv Ukraine National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" Kyiv Ukraine

ISBN: (纸本)9783031907340

The problem of fast transportation of a large number of passengers in large cities remains relevant at all times. Searching for the optimal combination of urban transport routes for a large city is a time-consuming task that requires an automated method of solution. The main idea of the work is to use the genetic algorithm for multi-route search, because it significantly saves memory and other computer resources in comparison with the algorithm of full selection. Thus, the genetic algorithm allows for search of multi-route combination on a much larger graph. A method of genetic algorithm adaptation for the optimal routes planning is described in the paper. Moreover, in the course of work there was an alternative algorithm for the optimal selection of a transport routes combination for transport network with a small roads number. This algorithm obtains the absolute optimal solution by evaluating all possible route options. In the work, this algorithm was used to evaluate the performance of the genetic algorithm and adjust its parameters. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Towards Formal Specification of Agent-based Transport Models 16

Towards Formal Specification of Agent-based Transport Models

引用

16th international conference on Ambient Systems, Networks and Technologies Networks, ANT 2025 / 8th international conference on Emerging Data and Industry 4.0, EDI40 2025

作者： Kübler, Jelle Vortisch, Peter Institute for Transport Studies Karlsruhe Institute of Technology (KIT) Kaiserstr. 12 Karlsruhe 76131 Germany

Agent-Based Transport Models (ABTMs) are powerful tools for simulating complex transport systems, yet they often lack formal specifications, limiting their transparency, reproducibility, and automation. While behavioral (sub-) models such as discrete choice models have a formal foundation, their integration into broader simulation systems is usually informally documented or solely defined in source code, making it difficult to replicate findings, reuse components, or enforce best practices. To address this, this paper conducts a comprehensive analysis of various aspects observed within existing different ABTM frameworks, highlighting the variation of their purposes, resolution, agent types, and modeling methods. Building on this analysis, we propose a metamodel tailored for ABTM specification, defining common concepts in an abstract syntax for defining agent attributes, behaviors, and interactions. Our proposed metamodel emphasizes a method-agnostic design, enabling integration and reuse of already existing behavioral models. This paves the way for automatic model validation, code generation, and sensitivity analysis. Additionally, we outline a conceptual mapping to Discrete Event System Specification (DEVS) to formalize the dynamic semantics, along with a graphical syntax for intuitive model creation by transport engineers. © 2025 Elsevier B.V.. All rights reserved.

关键词： ABM DEVS DSL formal specification simulation travel demand

来源：评论

学校读者我要写书评

暂无评论

Componentization of Thermo-Fluid Coupling simulation Based on LBM

Componentization of Thermo-Fluid Coupling Simulation Based o...

引用

Electrical Automation and Artificial Intelligence (ICEAAI), international conference on

作者： Xue Chen Xuesong Wu Jianwen Cao Baoping Ye Parallel Software and Computational Science Laboratory Chinese Academy of Sciences Institute of Software Beijing China

ISBN: (数字)9798331506797

ISBN: (纸本)9798331506803

The solution of the collision-propagation equation plays an important role in the thermal-fluid multi-physics coupling simulation. Through the collision-propagation operation of different physical quantities, LBM can integrate physical fields such as fluid and thermal into the same framework to achieve coupling solution. In this paper, the collision-propagation equation is realized through LBM, and the simulation process is further componentized to improve the efficiency and reusability of the simulation. The specific component library includes: the main control module, geometric modeling of simulation field, simulation parameter setting, simulation computing, and visualization component. In LBM, since the particle motion on each lattice is independent, the componentized approach makes it easier to assign simulation tasks to multiple processors or compute nodes, thereby increasing computational efficiency.

关键词： Couplings Heating systems Visualization Program processors Fluid dynamics Geometric modeling Lattices computer architecture Libraries Computational efficiency

来源：评论

学校读者我要写书评

暂无评论

Mesoscopic Analysis for Optimizing Passenger Flow Focusing on Elders in Transit Facilities 16

Mesoscopic Analysis for Optimizing Passenger Flow Focusing o...

引用

16th international conference on Ambient Systems, Networks and Technologies Networks, ANT 2025 / 8th international conference on Emerging Data and Industry 4.0, EDI40 2025

作者： Giannoulaki, Maria Christoforou, Zoi Roumeliotis, Stergios University of Patras Department of Civil Engineering Laboratory of Transportation and Ambient Mobility Systems Panepistimioupoli Patron Patras 265 04 Greece

Transit stations are critical points in public transportation systems that determine the capacity and user's satisfaction. Level of Service (LoS) is a key factor used to assess the efficacy of the system and the overall performance. The capacity, the level and the quality of service are mostly considered at the design stage, neglecting operational challenges or emergency circumstances. The ageing population phenomenon poses significant challenges due to inclined mobility due to slower walking speeds, and cognitive and physical limitations which lead to longer dwell and reaction times for elderly passengers (65+). This study develops a pedestrian simulation tool using JavaScript and *** to analyze the impact of age on the total travel times, delays and waiting times, and the Level of Service within a typical suburban railway station. The model consists of two agent classes with distinct attributes such as speed and dwell times, reflecting real-world behaviors. Six scenarios were simulated, each one constituted of a different proportion of elderly passengers. simulation results reveal that increased proportions of elderly passengers lead to higher dwell times and longer ticketing queues and total travel times. Non-linear trends in platform waiting times and in ticketing queues were reported due to fewer passengers being serviced at the ticketing counters. This research highlights the importance of considering ageing populations in transit operations, offering insights for inclusive, efficient, and safe station planning. The simulation tool can provide valuable insights for different scenarios at the operational level and help in the optimization of the overall performance. © 2025 Elsevier B.V.. All rights reserved.

关键词： ageing elders mesoscopic simulation pedestrian modeling public transport station

来源：评论

学校读者我要写书评

暂无评论

Exploiting GPU computing for effective Agent-Based simulation: initial experiments

Exploiting GPU computing for effective Agent-Based simulatio...

引用

Euromicro conference on Parallel, Distributed and Network-Based Processing

作者： Marzio Pennisi Giuliana Franceschinis Daniele Baccega Simone Pernice Irene Terrone Computer Science Institute - DiSIT Università del Piemonte Orientale Alessandria Italy Department of Computer Science University of Turin Turin Italy

ISBN: (数字)9798331524937

ISBN: (纸本)9798331524944

Agent-Based modeling and simulation (ABMS) has been increasingly applied in various research fields, thanks to the capability of these models to describe fine-grained realworld behavior and to the ease of interpretation by domain experts. However, such models lack a formal definition and well-defined semantics that are common to the different tools supporting ABMS. This may occasionally lead to greater complexity in interpreting the results with respect to other modeling approaches. To address this issue, an ABM semantics that adopts a continuous-time approach and a next-event time advance simulation algorithm has been formally defined and presented. Such an approach may lead to high computation times as it requires recalculations of activity rates for all the agents after each event. In this preliminary study, we exploit the FLAME GPU framework to evaluate the benefits that GPU computing may bring to the performance of our simulation algorithm.

关键词： Semantics Graphics processing units Fires Agent-based modeling Complexity theory

来源：评论

学校读者我要写书评

暂无评论

Research on the Technology of Automatic Testing System for Airborne Acquisition Devices

Research on the Technology of Automatic Testing System for A...

引用

Power Electronics, computer Applications (ICPECA), IEEE international conference on

作者： Liu Kai Wang Hao Wang Zhen Xi'an Zhongfei Aviation Testing Technology Development Co. Ltd Xi’ an China

ISBN: (数字)9798331533694

ISBN: (纸本)9798331533700

This paper elaborates on the overall architecture of the airborne collector automated test system and the functional designs of its principal modules, such as the control subsystem and the signal source subsystem. It also dissects the pivotal technologies involved in the development of this system, namely test system data modeling, remote actuation of the switch matrix module, aviation integrated bus emulation, test result adjudication, real-time data display, and so forth. The implementation procedures and methodologies are proposed. Eventually, the market and economic advantages of this system are recapitulated.

关键词： simulation Production Switches Standardization Systems modeling Real-time systems Power electronics Test equipment Reliability Optimization

来源：评论

学校读者我要写书评

暂无评论

Dyablo: A simulation code for astrophysics fluids with adaptive mesh refinement in the exascale era 16

Dyablo: A simulation code for astrophysics fluids with adapt...

引用

16th international conference on Numerical modeling of Space Plasma Flows, ASTRONUM 2024

作者： Delorme, Maxime Durocher, Arnaud Brun, Allan Sacha Finley, Adam J. Marchal, Olivier Aubert, Dominique IRFU CEA Université Paris-Saclay Gif-Sur-YvetteF-91191 France Université Paris-Diderot AIM Sorbonne Paris Cité CEA CNRS Gif-Sur-YvetteF-91191 France Observatoire Astronomique de Strasbourg Université de Strasbourg CNRS UMR 7550 11 rue de l'Université Strasbourg67000 France

Dyablo is a new code for the simulation of astrophysical plasmas on exascale architectures using Adaptive Mesh Refinement. The code targets new and upcoming Exascale supercomputers with a new codebase in C++ using the Kokkos portability performance library. Kokkos allows us to write a unique code to target multiple hardware architectures including GPUs. Dyablo is based on modern software engineering principles to allow"separation of concerns" and collaboration between HPC engineers and physicists through abstract interfaces and modularity. Although Dyablo is still in development, the code is now deployable and usable. In this communication, we present the code, its philosophy, three example runs, and scalability results. © 2025 Institute of Physics Publishing. All rights reserved.

关键词： computer software portability

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 15 16 17 18 19 20 21 22 23 24 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：