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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

715 篇 会议
11 篇 期刊文献

馆藏范围

726 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

461 篇 工学
- 333 篇 计算机科学与技术...
- 218 篇 电气工程
- 164 篇 软件工程
- 114 篇 信息与通信工程
- 74 篇 控制科学与工程
- 42 篇 电子科学与技术（可...
- 13 篇 生物工程
- 12 篇 动力工程及工程热...
- 10 篇 材料科学与工程（可...
- 5 篇 建筑学
- 4 篇 力学（可授工学、理...
- 4 篇 机械工程
- 4 篇 交通运输工程
- 3 篇 化学工程与技术
- 3 篇 生物医学工程（可授...
- 2 篇 仪器科学与技术
- 2 篇 土木工程
- 2 篇 安全科学与工程
134 篇 理学
- 75 篇 数学
- 50 篇 系统科学
- 21 篇 物理学
- 14 篇 生物学
- 11 篇 统计学（可授理学、...
- 4 篇 化学
39 篇 管理学
- 34 篇 管理科学与工程(可...
- 10 篇 工商管理
- 9 篇 图书情报与档案管...
13 篇 法学
- 13 篇 社会学
2 篇 经济学
- 2 篇 应用经济学
2 篇 教育学
2 篇 文学
- 2 篇 新闻传播学
2 篇 军事学
1 篇 农学
1 篇 医学

主题

152 篇 computational mo...
108 篇 circuit simulati...
53 篇 hardware design ...
52 篇 computer simulat...
48 篇 analytical model...
31 篇 discrete event s...
30 篇 equations
30 篇 mathematical mod...
28 篇 power system mod...
25 篇 hardware
25 篇 radio frequency
24 篇 computer science
24 篇 circuit testing
22 篇 integrated circu...
21 篇 simulation
20 篇 laboratories
20 篇 predictive model...
20 篇 spice
19 篇 object oriented ...
19 篇 testing

机构

6 篇 nanyang technol ...
5 篇 oak ridge natl l...
5 篇 univ southampton...
4 篇 cadence design s...
3 篇 department of el...
3 篇 univ rostock d-1...
3 篇 univ arkansas de...
3 篇 deis university ...
3 篇 department of el...
3 篇 university of yo...
3 篇 univ calif river...
3 篇 univ alabama tus...
3 篇 department of el...
2 篇 univ bologna dei...
2 篇 ecole natl super...
2 篇 infineon technol...
2 篇 department of el...
2 篇 department of el...
2 篇 school of electr...
2 篇 carleton univ de...

作者

6 篇 brown ad
6 篇 turner stephen j...
6 篇 a.d. brown
6 篇 h.a. mantooth
5 篇 fujimoto richard
5 篇 p.r. wilson
5 篇 carver jeffrey c...
5 篇 mantooth ha
5 篇 wilson pr
4 篇 c.-j.r. shi
4 篇 galayko dimitri
4 篇 ewald roland
4 篇 g. pelz
4 篇 liu jason
4 篇 uhrmacher adelin...
4 篇 basset philippe
4 篇 park alfred
4 篇 ayani rassul
4 篇 charlot jj
4 篇 j.-j. charlot

语言

722 篇 英文
4 篇 中文

检索条件"任意字段=Proceedings of the 2000 IEEE/ACM international workshop on Behavioral modeling and simulation"

共 726 条记录，以下是1-10 订阅

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

详细简洁

排序：

A Multilevel Modelling Framework for Quarry Site Operations 12

A Multilevel Modelling Framework for Quarry Site Operations

引用

12th international workshop on Software Engineering for Systems-of-Systems and Software Ecosystems (SESoS)

作者： Habbab, Abdulkarim Fattouh, Anas Frank, Bobbie Lindmark, Elianne Chirumalla, Koteshwar Bohlin, Markus Volvo CE Eskilstuna Sweden Malardalen Univ Vasteras Sweden

ISBN: (纸本)9798400705571

Quarry sites are complex systems that involve several heavy machines, equipment, people, and management systems working together in an unstructured off-road environment. Gaining accurate insights about these sites requires integrating models at various levels to enable a holistic view systems and processes involved and facilitate effective planning, coordination, and decision-making. In this paper, a multi-level modelling framework is proposed to provide an overall structure for the modelling of quarry sites. The motivation for this framework is drawn from insights gained through a large manufacturing company in the heavy-duty vehicle industry, providing a practical perspective on the modeling approach. The framework integrates models of different operations on site enabling effective simulation and optimization and leading to better understanding of the workflow on site and pointing out any possible bottlenecks. The feasibility of the proposed framework was validated through workshops that included a panel of experts in different areas of the field of off-road machinery production company.

关键词： Modelling and simulation Multilevel Modelling Model-Driven Engineering Optimization Quarry Site

来源：评论

学校读者我要写书评

暂无评论

modeling behavioral and Epidemic Dynamics in Social Contact Networks 15

Modeling Behavioral and Epidemic Dynamics in Social Contact ...

引用

15th ieee/acm Annual international Conference on Advances in Social Networks Analysis and Mining (ASONAM)

作者： Jain, Kirti Bhatnagar, Vasudha Kaur, Sharanjit Univ Delhi Dept Comp Sci Delhi India Univ Delhi Acharya Narendra Dev Coll Dept Comp Sci Delhi India

ISBN: (纸本)9798400704093

Contagious diseases spread in population through the contact network and their spread is a function of the complex interplay of the biology of the contagion and behavior of the population. In this paper, we present an Individual-based Fear Model (IBFM) that associates fear-index with the individuals to indicate the extent to which an individual follows health and hygiene protocols as a self-protective measure against disease. We also study the impact of the collective behavior of individuals in communities on the size and span of the epidemic. We propose a framework to create a wire-frame that mimics the social contact network of the population in a geography by lacing it with demographic information and improves the estimates of epidemic variables for network simulation. We test the effectiveness of the demography-laced contact network using real-life COVID data for two Indian states. Since network simulations of epidemic spread are computationally expensive, we launch a systemic investigation into the possibility of predicting three epidemic variables, viz. peak day, peak infections, and span of the epidemic using the Regression Chain Model. We find that the predictions are fairly accurate for two out of three variables.

关键词： Epidemic dynamics Epidemic spread model Social contact network Human behavior Regression chain model

来源：评论

学校读者我要写书评

暂无评论

Fast and Accurate Virtual Prototyping of an NPU with Analytical Memory modeling 34

Fast and Accurate Virtual Prototyping of an NPU with Analyti...

引用

34th international workshop on Rapid System Prototyping - Shortening the Path from Specification to Prototype

作者： Park, Choonghoon Moh, Hyunsu Lee, Jimin Yi, Changjae Ha, Soonhoi Seoul Natl Univ Seoul South Korea

ISBN: (纸本)9798400704109

As the application area of convolutional neural networks (CNNs) is fast expanding, the demand for a customized hardware accelerator called a neural processing unit (NPU), is increasing to process them efficiently in terms of execution time and energy consumption. In the design of an NPU, building a fast and accurate virtual prototype enables us to develop a compiler concurrently with the hardware and to explore the micro-architectural design space. Since the memory access latency has a great effect on performance, it is necessary to model the memory access overhead accurately in the virtual prototype. In this work, we propose a novel analytical model for memory access latency, improving the performance estimation accuracy significantly compared with the previous state-of-the-art analytical model by considering the effect of memory access patterns of the NPU on the latency. The proposed high-level virtual prototype achieves an estimated execution time gap within a 6.8% difference from the RTL simulation result. To demonstrate the usefulness of a fast and accurate prototype, we propose a compiler optimization technique and a new DMA logic tailored for the NPU for further performance improvement.

关键词： Virtual Prototype NPU Cycle accuracy Memory access pattern Analytical model

来源：评论

学校读者我要写书评

暂无评论

proceedings of PMBS 2022: Performance modeling, Benchmarking and simulation of High Performance Computer Systems, Held in conjunction with SC 2022: The international Conference for High Performance Computing, Networking, Storage and Analysis

Proceedings of PMBS 2022: Performance Modeling, Benchmarking...

引用

13th ieee/acm international workshop on Performance modeling, Benchmarking and simulation of High Performance Computer Systems, PMBS 2022

ISBN: (纸本)9781665451857

The proceedings contain 14 papers. The topics discussed include: ML-based performance portability for time-dependent density functional theory in HPC environments;a comprehensive evaluation of novel ai accelerators for deep learning workloads;frontier vs the exascale report: why so long? and are we really there yet?;evaluating ISO C++ parallel algorithms on heterogeneous HPC systems;going green: optimizing GPUs for energy efficiency through model-steered auto-tuning;performance analysis with unified hardware counter metrics;a methodology for evaluating tightly-integrated and disaggregated accelerated architectures;WfBench: automated generation of scientific workflow benchmarks;high-performance GMRES multi-precision benchmark: design, performance, and challenges;and an initial evaluation of arm’s scalable matrix extension.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An Auction-Based Mechanism to Promote Cooperation in Resource Exchange Networks 13

An Auction-Based Mechanism to Promote Cooperation in Resourc...

引用

ieee/acm international Conference on Advances in Social Networks Analysis and Mining (ASONAM)

作者： Chakraborty, Haripriya Zhao, Liang CUNY Grad Ctr Dept Comp Sci New York NY 10017 USA CUNY Grad Ctr Dept Comp Sci Lehman Coll New York NY 10017 USA CUNY Grad Ctr New York NY 10017 USA

ISBN: (纸本)9781450391283

In this paper, we propose a framework to analyze the markets in which resources are exchanged without the use of money. Although individual agents might want unrestricted access to the marketplace, communities to which they belong to may want to impose various restrictions on participation, thus damaging the overall social welfare. We study the dynamics of these markets using agent-based modeling and propose a credit mechanism to promote cooperation among communities. This credit mechanism can be used by the marketplace to match individual agents and is based on iterative Vickery auctions. We present the results of several experiments to simulate different settings of resource exchange markets and validate the performance of the mechanism.

关键词： Agent-based modeling Complex systems Computer simulation Vickery auction behavioral sciences

来源：评论

学校读者我要写书评

暂无评论

Instruction Set Design Methodology for In-Memory Computing through QEMU-based System Emulator 32

Instruction Set Design Methodology for In-Memory Computing t...

引用

32nd international workshop on Rapid System Prototyping (RSP) - Shortening the Path from Specification to Prototype

作者： Mambu, Kevin Charles, Henri-Pierre Dumas, Julie Kooli, Maha Univ Grenoble Alpes CEA LIST F-38000 Grenoble France

ISBN: (纸本)9781665469562

In-Memory Computing (IMC) is a promising paradigm to mitigate the von Neumann bottleneck. However its evaluation on complete applications in the context of full-scale systems is limited by the complexity of simulation frameworks as well is the disjunction between hardware exploration and compiler support. This paper proposes a global exploration flow in the scale of Instruction Set Architectures (ISA) to perform both modeling and the generation of compiler support to perform ISA-level exploration. Our emulation methodology is based on QEMU, implements a performance model based on hardware characterizations from the State-of-the-Art, and allows the modeling of cache hierarchies, while our compiler support is automatically generated and based on a specialized compiler. We evaluate three applications in the domains of image processing and linear algebra on a reference IMC architecture, and analyze the obtained results to validate our methodology.

关键词： QEMU IMC Instruction Set Design Cache modeling Power modeling Compiler System Emulation

来源：评论

学校读者我要写书评

暂无评论

Lessons Learned from Responsive Molecular Dynamics Studies of the COVID-19 Virus 3

Lessons Learned from Responsive Molecular Dynamics Studies o...

引用

3rd international workshop on HPC for Urgent Decision Making (UrgentHPC)

作者： Hardy, David J. Stone, John E. Isralewitz, Barry Tajkhorshid, Emad Univ Illinois Beckman Inst Adv Sci & Technol Urbana IL 61801 USA

ISBN: (纸本)9781665411301

Over the past 18 months, the need to perform atomic detail molecular dynamics simulations of the SARS-CoV-2 virion, its spike protein, and other structures related to the viral infection cycle has led biomedical researchers worldwide to urgently seek out all available biomolecular structure information, appropriate molecular modeling and simulation software, and the necessary computing resources to conduct their work. We describe our experiences from several COVID-19 research collaborations and the challenges they presented in terms of our molecular modeling software development and support efforts, our laboratory's local computing environment, and our scientists' use of non-traditional HPC hardware platforms such as public clouds for large scale parallel molecular dynamics simulations.

关键词： Molecular Dynamics simulation Remote Visualization Interactive Computing COVID-19 SARS-CoV-2

来源：评论

学校读者我要写书评

暂无评论

Enabling Cache Aware Roofline analysis with Portable Hardware Counter Metrics 12

Enabling Cache Aware Roofline analysis with Portable Hardwar...

引用

12th international workshop on Performance modeling, Benchmarking and simulation of High Performance Computer Systems held as part of the 33rd acm/ieee international Conference for High Performance Computing, Networking, Storage and Analysis

作者： Gravelle, Brian J. Nystrom, William David Yokelson, Dewi Norris, Boyana Los Alamos Natl Lab Los Alamos NM 87545 USA Univ Oregon Dept Comp & Informat Sci Eugene OR 97403 USA

ISBN: (纸本)9781665411189

In this paper, we seek to provide guidance on how to empirically collect the information required to plot application points for Intel's Cascadelake XEON processor and Fujitsu's A64FX ARM-based processor. Understanding how to process this information is vital to use the Roofline for empirical performance analysis on these systems. This report is designed to enable users to collect data for these systems and lay the groundwork for us to create a portable method for empirical Roofline-based performance analysis. We do so by presenting our methods and several examples of them in use.

关键词： Measurement Analytical models Computational modeling Conferences Benchmark testing Hardware Computer performance

来源：评论

学校读者我要写书评

暂无评论

Template-Driven and Hardware-Centric Cross-Domain E/E Architecture simulation 32

Template-Driven and Hardware-Centric Cross-Domain E/E Archit...

引用

32nd international workshop on Rapid System Prototyping (RSP) - Shortening the Path from Specification to Prototype

作者： Neubauer, Kevin Masing, Leonard Mahl, Michael Becker, Juergen Kramer, Max Reichmann, Clemens Karlruhe Inst Technol KIT Inst Informat Proc Technol ITIV Karlsruhe Germany Vector Informat GmbH Karlsruhe Germany

ISBN: (纸本)9781665469562

Due to various trends in the automotive sector, such as autonomous driving and electrification, the number of Electric/Electronic (E/E) components has risen in both hardware and software. This has led to an increase in certification requirements, which cannot be fulfilled without simulation anymore [1]. Different approaches have emerged trying to master this issue. However, for supporting early design decisions in the E/E development, these are either domain-specific or too elaborate. In this paper, we demonstrate an approach to realize early design decisions through a cross-domain simulation of E/E architectures, regarding the environment, scenarios, vehicle physics, the scheduling of software components and the power supply net. We use static E/E architecture hardware models, consisting of Electronic Control Units (ECUs), sensors, actuators and the wiring harness, as the base for the structure of our simulation models. The individual E/E components are linked to parameterizable simulation model templates to facilitate scalable execution. Moreover, scenarios are used for model reduction and supply the simulation model with stimuli. The simulation model is synthesized in an automated manner. For the evaluation, we simulate the power consumption of an electric vehicle, dependent on different loads. It shows that considering hardware aspects in early design phases uncovers errors that would have been noticed much later, e.g. when using virtual Hardware In the Loop (vHIL) methods. We also investigate the scalability of our approach. As E/E architecture modeling tool, we use Vector PREEvision and for the simulation Mathworks Simulink.

关键词： simulation E/E architecture MBSE BEV

来源：评论

学校读者我要写书评

暂无评论

Understanding power variation and its implications on performance optimization on the Cori supercomputer 12

Understanding power variation and its implications on perfor...

引用

作者： Bhalachandra, Sridutt Austin, Brian Wright, Nicholas J. Lawrence Berkeley Natl Lab Berkeley CA 94720 USA

ISBN: (纸本)9781665411189

Power is increasingly becoming a limiting factor in supercomputing. The performance and scale of future high-performance computing systems will be determined by how efficiently they manage their power budgets. Therefore any amount of unused power is forsaken performance. Regardless of the processors chosen for a future system, it will be necessary to understand power variation and its implications on performance optimization. In this paper, we identify and quantify the factors that affect the power consumption of the NERSC Cori supercomputer at different levels of the system hierarchy. Our study presents node-level power-performance trade-offs for fundamental computational patterns. We show that I/O activity and load imbalance are common causes of job-level power variation among jobs in Cori's production workload. We quantitatively attribute system-level power variation to three sources and find that 86% of the variation is due to temporal variation in application behavior over the duration of a job. Furthermore, our analysis reveals that under typical workload conditions, the Cori system's power budget could accommodate up to 60% more nodes.

关键词： Schedules Power measurement Power demand Heuristic algorithms Computational modeling Production Supercomputers

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：