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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

33,993 篇 会议
631 册 图书
584 篇 期刊文献

馆藏范围

35,204 篇 电子文献
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,520 篇 computational mo...
5,217 篇 computer simulat...
2,227 篇 analytical model...
2,122 篇 mathematical mod...
1,767 篇 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...
677 篇 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,688 篇 英文
273 篇 其他
261 篇 中文
20 篇 俄文
2 篇 捷克文
1 篇 法文

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

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

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

详细简洁

排序：

modeling and Analysis of Train Control Center simulation System Based on CPN

Modeling and Analysis of Train Control Center Simulation Sys...

引用

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

作者： Sheng Luo Tao He Key Laboratory of Optoelectronics and Intelligent Control Ministry of Education Lanzhou Jiaotong University Lanzhou Gansu China Lanzhou Jiaotong University Institute of Automatic Control Gansu Provincial Rail Transit Signal and Control Evaluation Industry Technology Center Lanzhou Gansu China

ISBN: (数字)9798331506797

ISBN: (纸本)9798331506803

Train Control Center (TCC) is the hub of the information interaction of the column control system. It is the core system that ensures the safety of railway driving and ensure transportation efficiency. The traditional manual test method has many problems, such as high test cost, long time-consuming and low efficiency, and great influence of human subjective factors. This paper uses computer simulation technology to build a simulation test system. By analyzing the information interaction between the column control center and other devices, the computer simulation technology is used to build the simulation test system simulation control system operation. This system can intuitively reflect the performance of the column control system, which is convenient to optimize and adjust the design scheme, make theoretical guidance for the establishment of the real control system. According to the functional test requirements of TCC, this paper uses Colored Petri Net (CPN) to establish a hierarchical model for the simulation test system of the train control center. Taking the temporary speed limit scene test as an example, the formal modeling of the simulation test system through CPN can avoid the ambiguity caused by the specification description, improve the timeliness and safety of the system, help to find the problems that may occur in the design specification, manufacturing and operation of the system, and provide some reference for the design of the real train control system.

关键词： computer simulation Petri nets Process control Transportation Control systems Rail transportation Safety Systems simulation Security Software development management

来源：评论

学校读者我要写书评

暂无评论

Introduction to the Minitrack "simulation modeling and Digital Twins for Decision Making in the Age of Industry 4.0" 58

Introduction to the Minitrack "Simulation Modeling and Digit...

引用

58th Hawaii international conference on System Sciences, HICSS 2025

作者： Reggelin, Tobias Strassburger, Steffen Galka, Stefan Lang, Sebastian Otto von Guericke University Magdeburg Germany Technical University Ilmenau Germany Regensburg University of Applied Sciences Germany

ISBN: (纸本)9780998133188

The minitrack contains contributions with a focus on simulation modeling and digital twins and decision making in the context of Industry 4.0. The use of simulation models and digital twins is manifold, from planning to virtual commission and real-time operational decision support. Cyber-physical systems integrate the real world and the virtual world to enable decision making in the age of Industry 4.0. For example, customer decisions and supply disruptions which directly influence manufacturing and logistics systems require immediate decisions. Thus, models must have the capability to support decision making in manufacturing as well as in internal and external logistics in real-time. Methods include discrete-event simulation, discrete-rate simulation, hybrid simulation, system dynamics simulation, the combination of simulation modeling with machine learning or optimization heuristics, prescriptive analytics, and adaptive systems. Furthermore, this minitrack addresses simulation education and simulation models and digital twins used for education and training in manufacturing and logistics. In the following, we provide a short overview of the submitted and accepted papers of this minitrack. © 2025 IEEE computer Society. All rights reserved.

关键词： Industry 4.0

来源：评论

学校读者我要写书评

暂无评论

Hybrid Routing and Energy Management for Performance Optimization in Mobile Ad-hoc Networks 2

Hybrid Routing and Energy Management for Performance Optimiz...

引用

2nd international conference on Machine Learning and Autonomous Systems, ICMLAS 2025

作者： Nirmala, B. Vijaya Francis Raj, J. Relin Krishnan, R. Santhana Lavanya, V. Pitchirani, A. Kumar, V. Vinoth PSNA College of Engineering and Technology Department of Information Technology Dindigul India Saveetha School of Engineering Saveetha Institute of Medical and Technical Sciences Department of Electronics and Communication Engineering Chennai India SCAD College of Engineering and Technology Department of Electronics and Communication Engineering Cheranmahadevi India Velammal College of Engineering and Technology Department of Computer Science and Engineering Madurai India SCAD College of Engineering and Technology Department of Computer Science and Engineering Cheranmahadevi India Vel Tech Rangarajan Dr. Sagunthala R&D Institute of Science and Technology Avadi Department of Electronics and Communication Engineering Chennai India

ISBN: (纸本)9798331505745

Mobile Ad-hoc Networks (MANETs) encounter challenges related to dynamic topologies, energy constraints, and link instability. To enhance performance, a hybrid model integrates Ad-hoc On-demand Multipath Distance Vector (AOMDV), Power-Efficient Gathering in Sensor Information System (PEGASIS), and Deep Q-Network (DQN). OMNeT++, a discrete event simulation framework, facilitates comprehensive data collection, capturing key network parameters such as node density, signal strength, packet transmission rate, residual energy, routing paths, link breakage frequency, and packet delivery status. Stored in scalar and vector files, the dataset enables energy-efficient communication modeling and adaptive routing optimization. Data preprocessing involves cleaning, normalizing, and handling missing values using interpolation techniques while filtering noisy data through a sliding window averaging method. Feature extraction focuses on hop count, queue length, residual energy, and link expiration time, ensuring consistency and facilitating faster convergence. The hybrid model architecture integrates AOMDV for reliable multipath routing, PEGASIS for energy-efficient communication, and DQN for adaptive path optimization. simulation results indicate a 15% improvement in throughput, a 10% rise in packet delivery ratio, a 20% reduction in end-to-end delay, and a 30% decrease in average energy consumption. Applications extend to military operations, disaster recovery, vehicular networks, IoT sensor networks, and smart city infrastructure, ensuring efficient and adaptive communication. © 2025 IEEE.

关键词： Vehicular ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Task Offloading Strategy in Multi-UAV Mobile Edge Computing via Deep Reinforcement Learning

Task Offloading Strategy in Multi-UAV Mobile Edge Computing ...

引用

Consumer Electronics and computer Engineering (ICCECE), 2021 IEEE international conference on

作者： Zonghui Chen Huahu Xu Chen Cheng School of Computer Engineering and Science Shanghai University Shanghai China

ISBN: (数字)9798331533113

ISBN: (纸本)9798331533120

Unmanned Aerial Vehicles (UAVs) serve as a powerful supplement to Mobile Edge Computing (MEC) systems, offering exceptional flexibility and mobility, which enable rapid deployment and the ability to adapt to rapidly changing demands. However, in this dynamic environment, existing research has not adequately considered the impact of user mobility and edge server load on task offloading performance. To address this gap, this paper proposes a task offloading algorithm based on Deep Deterministic Policy Gradient (DDPG), aiming to minimize the total system energy consumption and delay caused by computation offloading under limited system resources. Furthermore, to solve the load balancing issue among UAVs, this paper introduces a task migration mechanism, which further enhances task offloading efficiency. simulation results demonstrate that the proposed strategy effectively optimizes overall delay and energy consumption under resource-constrained conditions, while also achieving load balancing.

关键词： Energy consumption Multi-access edge computing Computational modeling simulation Load management Autonomous aerial vehicles Delays Servers Vehicle dynamics Load modeling

来源：评论

学校读者我要写书评

暂无评论

Stochastic modeling of Path Length Dynamics in Ethereum’s Merkle Patricia Tries 19th

Stochastic Modeling of Path Length Dynamics in Ethereum’s M...

引用

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

作者： Kuznetsov, Oleksandr Kuznetsova, Kateryna Yezhov, Anton Chernushevych, Valentyn Zpoken OU Harju Maakond Tallinn Kesklinna linnaosa Sakala tn 7-2 Tallinn10141 Estonia Department of Theoretical and Applied Sciences eCampus University Via Isimbardi 10 CO Novedrate22060 Italy Department of Information and Communication Systems Security School of Computer Sciences V. N. Karazin Kharkiv National University 4 Svobody Sq. Kharkiv61022 Ukraine

ISBN: (纸本)9783031907340

This study presents a novel probabilistic framework for analyzing path length distributions in Merkle Patricia Tries, the foundational data structure of Ethereum’s state management system. We develop a mathematical model characterizing the probability distribution of path lengths for randomly generated Ethereum addresses and validate it through extensive computational simulations. Our findings reveal the logarithmic growth of average path lengths with respect to the number of addresses, confirming a critical property for Ethereum’s scalability. The study demonstrates remarkable accuracy in predicting average path lengths, with discrepancies between theoretical and empirical results remaining below 0.01 across tested scales from 1000 to 300 million addresses, encompassing Ethereum’s current state size. We identify and confirm the right-skewed nature of path length distributions, providing essential insights into worst-case scenarios and informing optimization strategies. Statistical analysis, including chi-square goodness-of-fit tests, strongly supports the model’s accuracy. This research bridges a significant gap between theoretical computer science and practical blockchain engineering, offering immediate applications for Ethereum client optimization, stateless client development, and informed protocol upgrade decisions. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Size distribution

来源：评论

学校读者我要写书评

暂无评论

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).

关键词： Urban planning

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：