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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是91-100 订阅

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

详细简洁

排序：

A Logic-Based Physical simulation Framework for Digital Microfluidic Biochips 1

引用

24th international conference on Embedded computer Systems: Architectures, modeling, and simulation

作者： Madsen, Joel August Vest Jackson, Carl Alexander Collignon, Alexander Marc Madsen, Jan Pezzarossa, Luca Tech Univ Denmark Dept Appl Math & Comp Sci Lyngby Denmark

ISBN: (数字)9783031783807

ISBN: (纸本)9783031783791;9783031783807

Digital microfluidic biochips provide a controlled and miniaturized environment to carry out biochemical protocols in an automated fashion. Software-based simulators are essential tools that aid the design of such protocols by enabling users to verify correct execution before targeting the physical biochip. To produce a simulation that is faithful to reality, the fluidic behavior of the droplets and their interaction with the driving electrodes must be taken into account. This paper presents a framework for simulating DMF biochips in a resource-constrained web-based environment. The framework is based on a novel droplet model that uses logic-based calculations to capture fluidic behavior. Thus, enabling to faithfully simulate the movement, merging, and splitting of arbitrary-shaped droplets with a low-computational footprint. The simulation framework also includes modular component models to capture the behavior of sensors and actuators, an event-driven simulation engine, and a graphical user interface. The framework is implemented as a client-side web application and runs in a browser. The evaluation carried out using artificial and real-life test cases shows that the framework can deliver real-time simulations with a high level of fidelity.

关键词： Digital microfluidics biochips simulation framework Logic-based simulation Web application

来源：评论

学校读者我要写书评

暂无评论

Statistical Evaluation of simulation Study Data 10th

Statistical Evaluation of Simulation Study Data

引用

10th international conference on Modelling and simulation for Autonomous Systems

作者： Neubauer, Jiri Mazal, Jan Univ Def Kounicova 65 Brno 66210 Czech Republic

ISBN: (纸本)9783031713965;9783031713972

modeling and simulation methods can result in different types of data sets. These data files may differ in terms of data type, number of variables, file size, etc.. These data contain information that can be analyzed using appropriate statistical methods. This paper discusses selected statistical data analysis methods that will be applied to data obtained through simulations. The paper analyzes the data obtained from the simulation of vehicle passage through the terrain. Non-parametric methods are used.

关键词： Statistical data analysis Non-parametric methods simulation

来源：评论

学校读者我要写书评

暂无评论

8th international conference on Life System modeling and simulation, LSMS 2024 and 8th international conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024

8th International Conference on Life System Modeling and Sim...

引用

8th international conference on Life System modeling and simulation, LSMS 2024 and 8th international conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024

ISBN: (纸本)9789819602315

The proceedings contain 158 papers. The special focus in this conference is on Life System modeling and simulation and Intelligent Computing for Sustainable Energy and Environment. The topics include: A Method for Evaluating the Operating Health of Wind Turbines Under Wake Effect;toward Next-Generation Buildings: A Review of Renewable Energy Integration and Intelligent Building Energy Management Technologies;improving the Construction of a Multi-modal Underwater Image Recognition System for Anomaly Detection in Nuclear Power Plant Cooling Source Areas;A Novel Anti-noise Fault Diagnosis Method for Nuclear Energy Steam Turbine Based on VCformer;Short-Term Photovoltaic Power Forecasting Using Multi-timescale Information Based FFTformer Model;wind Power Forecasting Model Based on Feature Processing and Deep Hybrid Kernel Extreme Learning Machine;optimal User-Side Energy Arbitrage Strategy in Electricity Market with Accurate Battery Model Using Benders Decomposition;a Novel Distributed Economic Dispatch Method for Smart Grid with Time-Varying Feedback Gain;benefits, Barriers, and Human Factors of V2X Implementation – A Brief Review;a General Pattern of Permanent Magnet Arrangement for Design Optimization of a Reluctance Magnetic Gear with Enhanced Torque Density for Electric Vehicles;wind Power Scheduling Deviation Compensation Based on Dual-Frequency Pulse Control;a Comprehensive simulation and Validation of Single Particle Aging Mechanism Model for Lithium-Ion Batteries;semi-supervised State of Health Estimation for Lithium-Ion Batteries via Dynamical Self-encoding;a Reduce-Order Model to Understand the Multiscale Coupling of Battery Electrochemical-Thermal Performance;RUL Prediction for Lithium-Ion Batteries Based on Sequence Decomposition and Transformer Networks;An Estimation Method of State of Health of Sodium-Ion Batteries Based on TCN.

关键词：

来源：评论

学校读者我要写书评

暂无评论

8th international conference on Life System modeling and simulation, LSMS 2024 and 8th international conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024

8th International Conference on Life System Modeling and Sim...

引用

8th international conference on Life System modeling and simulation, LSMS 2024 and 8th international conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024

ISBN: (纸本)9789819602933

关键词：

来源：评论

学校读者我要写书评

暂无评论

8th international conference on Life System modeling and simulation, LSMS 2024 and 8th international conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024

8th International Conference on Life System Modeling and Sim...

引用

8th international conference on Life System modeling and simulation, LSMS 2024 and 8th international conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024

ISBN: (纸本)9789819602247

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards an Ontology-Based Platform for Integrating Infectious Disease simulation Models 7th

Towards an Ontology-Based Platform for Integrating Infectiou...

引用

7th EAI international conference on Innovations and Interdisciplinary Solutions for Underserved Areas, InterSol 2024

作者： Cisse, Papa Alioune BP 523 Ziguinchor Senegal

ISBN: (纸本)9783031864926

The control of infectious diseases is a perpetual challenge in public health. The need to understand their complex dynamics and the imperative to develop epidemiological surveillance, control and mitigation strategies often require modeling and numerical simulation activities. However, it should be noted that modeling and simulation of such complex systems requires expert skills in modeling tools and simulation platforms. This is often a stumbling block for practitioners and beginners in the field. In addition, communication between modelers and domain experts can be complicated by differences in the languages and concepts used on both sides. In this paper, we present an ongoing project aimed at providing solutions to these complications in order to facilitate the infectious disease modeling exercise, simplify the model simulation process, foster collaboration between researchers (practitioners and "modelers") and enable reproducibility and reuse of models and model parts. To implement this project, we are setting up a web-based platform for the integration of infectious disease simulation models. The microservices architecture we have proposed for this platform includes a simulation model repository, an ontology for annotating these models, and a set of services enabling autonomous orchestration of simulations by ensuring the selection, comparison, possible composition, formulation and simulation of models in dedicated simulators. © ICST Institute for computer Sciences, Social Informatics and Telecommunications Engineering 2025.

关键词： Malaria control

来源：评论

学校读者我要写书评

暂无评论

modeling and simulation of Grid-Connected PV System Faults Using MATLAB/Simulink 22

Modeling and Simulation of Grid-Connected PV System Faults U...

引用

22nd international Learning and Technology conference, L and T 2025

作者： Alkhawaja, Mayar Miguel, Sandy Shabab, Moutaz Abu Eddin Za'ter, Muhy Batarseh, Majd Ghazi Princess Sumaya University for Technology Electrical Engineering Department Amman Jordan King Abdullah University of Science and Technology Now With the Electrical and Computer Engineering Saudi Arabia University of Central Florida Now With the College of Engineering and Computer Science Orlando United States University of Colorado Boulder Electrical and Computer Engineering Boulder United States

ISBN: (纸本)9798331532215

Grid-connected photovoltaic (PV) systems are crucial to modern renewable energy strategies, but various types of faults can significantly impact their performance. Understanding the behavior of these faults is essential for improving system reliability and reducing maintenance costs. This paper investigates the impact of common faults, including open-circuit, short-circuit, partial shading, and grid faults, by simulating them using MATLAB/Simulink. The focus is on modeling faults that lead to power output reduction. The simulation results demonstrate how different fault types affect critical system parameters, such as grid voltage and active power output. The study highlights the value of simulation as a flexible approach for exploring fault scenarios, providing insights into fault detection and mitigation strategies that can help optimize PV system performance and support the development of robust fault data collection, detection, and classification techniques. © 2025 IEEE.

关键词： Power distribution faults

来源：评论

学校读者我要写书评

暂无评论

modeling and simulation verification of movement authority generation function of C3+ATO system 5

Modeling and simulation verification of movement authority g...

引用

5th international conference on Signal Processing and computer Science, SPCS 2024

作者： Niu, Hengyu Zhang, Zhenhai School of Automation and Electrical Engineering Lanzhou Jiaotong University Lanzhou730070 China

ISBN: (数字)9781510686731

ISBN: (纸本)9781510686724

CTCS-3 train control system is the key system to ensure the safe operation of trains, and its effective combination with automatic train operation technology, which plays an important role in the control of train operation, and is also the mainstream direction of the development of high-speed railway system in China. A method in this paper is provided for modeling and formal simulation verification of the real-time behavior of the system based on timed automata to ensure the safe operation of high-speed railway C3 + ATO system. Taking the function of movement authority generation as an example, according to the functional requirements of the train operation system, the information is transmitted between the communication equipment, establishes the timed automata network model of information interaction between the equipment, and the message sequence charts between the communication equipment is generated, which used in the function of movement authority generation, train sends unconditional emergency stop messsage and temporary speed reduction messsage through the formal simulation, and the security, existence and reachability of the system are verified by the BNF (Backus-Naur Form, BNF) statement. As a result, the model meets the requirements of system functional attributes and the technical specification of Radio Block Center, which lays a foundation for the subsequent research of C3 + ATO system. © 2025 SPIE.

关键词： Automatic train control

来源：评论

学校读者我要写书评

暂无评论

Accelerating Fault Injection for Validating Processor RTL Implementations 24

Accelerating Fault Injection for Validating Processor RTL Im...

引用

43rd international conference on computer-Aided Design, ICCAD 2024

作者： Yuan, Yi Chiou, Derek The University of Texas at Austin AustinTX United States Microsoft Corporation RedmondWA United States

ISBN: (纸本)9798400710773

With the increasing probability of software errors being caused by hardware transient faults, hardware engineers require better methods to evaluate the impact of faults and determine how to harden their products against them. This paper presents novel techniques to accurately and efficiently simulate faults on processors by dynamically switching, with little designer effort, a simulation from RTL-level-or-lower to instruction-level. When combined with known techniques, the proposed techniques make fault modeling orders-of-magnitude faster than RTL simulation while achieving the same level of accuracy, enabling fast identification of the portions of the design that would benefit most from hardening, and providing statistical guarantees of a design’s resistance to faults. © 2024 Copyright is held by the owner/author(s).

关键词： computer hardware description languages

来源：评论

学校读者我要写书评

暂无评论

simulation of rotating three bucket loading method 4

Simulation of rotating three bucket loading method

引用

4th international conference on computer Vision, Application, and Algorithm, CVAA 2024

作者： Xiao, Yajing Xi, Qiming Wu, Hui Liu, Jie China Coal Technology & Engineering Group Intelligent Storage & Loading Technology Co. Ltd. Beijing100013 China Huaneng Coal Technology Research Co. Ltd. Beijing100070 China

ISBN: (数字)9781510687622

ISBN: (纸本)9781510687615

A rapid quantitative loading process using a rotating three bucket is proposed and software simulation of the loading process is conducted. Through software simulation, the feeding and unloading of three buckets and buffer buckets during the loading process, as well as the feeding situation of the carriage are studied. simulations were conducted on the loading process with different vehicle models and loading parameters, and there were no incidents of material scattering or insufficient loading during the entire train loading process. This verifies that the rotating three bucket loading process can adapt to different loading conditions, theoretically verifying the feasibility of the three bucket time-sharing feeding and continuous loading process. © 2025 SPIE.

关键词： Control systems Miniaturization Systems modeling

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 6 7 8 9 10 11 12 13 14 15 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：