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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

47 篇 会议

馆藏范围

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

日期分布

学科分类号

29 篇 工学
- 27 篇 计算机科学与技术...
- 20 篇 软件工程
- 7 篇 控制科学与工程
- 4 篇 电气工程
- 3 篇 电子科学与技术（可...
- 2 篇 信息与通信工程
- 2 篇 生物医学工程（可授...
- 2 篇 生物工程
- 1 篇 机械工程
- 1 篇 仪器科学与技术
- 1 篇 材料科学与工程（可...
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 安全科学与工程
9 篇 理学
- 6 篇 数学
- 4 篇 系统科学
- 3 篇 统计学（可授理学、...
- 2 篇 生物学
3 篇 法学
- 2 篇 社会学
- 1 篇 法学
1 篇 军事学
1 篇 管理学
- 1 篇 管理科学与工程(可...
- 1 篇 工商管理

主题

6 篇 computational mo...
5 篇 analytical model...
3 篇 machine learning
3 篇 data models
2 篇 scalability
2 篇 network topology
2 篇 discrete event s...
2 篇 simulink
2 篇 vehicular ad hoc...
2 篇 complexity theor...
2 篇 measurement
2 篇 cluster analysis
2 篇 cellular automat...
1 篇 autosar
1 篇 internet of thin...
1 篇 computer science
1 篇 vehicle dynamics
1 篇 performance
1 篇 statecharts
1 篇 reliability

机构

4 篇 virginia modelin...
2 篇 school of inform...
2 篇 mcgill univ sch ...
2 篇 virginia modelin...
2 篇 msdl school of c...
2 篇 ansymo universit...
1 篇 university of ap...
1 篇 data and human c...
1 篇 univ antwerp ans...
1 篇 old dominion uni...
1 篇 virginia modelin...
1 篇 univ. bordeaux c...
1 篇 department of co...
1 篇 dept. of compute...
1 篇 depart. espm uni...
1 篇 air force resear...
1 篇 university of mi...
1 篇 numerus inc. 850...
1 篇 arizona center f...
1 篇 lg2ip - imt écol...

作者

5 篇 vangheluwe hans
3 篇 denil joachim
3 篇 sarjoughian hess...
2 篇 zapater marina
2 篇 zhang chao
2 篇 diallo saikou y.
2 篇 getz wayne m.
2 篇 salter richard
2 篇 tosh deepak
2 篇 saikou y. diallo
2 篇 de meulenaere pa...
2 篇 shetty sachin
2 篇 peter foytik
2 篇 foytik peter
2 篇 deepak tosh
2 篇 sachin shetty
1 篇 klaus sybil
1 篇 liang xueping
1 篇 folkerts hendrik
1 篇 seok moon gi

语言

47 篇 英文

检索条件"任意字段=2020 Spring Simulation Multiconference, SpringSim 2020"

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

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

详细简洁

排序：

spring simulation multiconference, springsim 2020

Spring Simulation Multiconference, SpringSim 2020

引用

2020 spring simulation multiconference, springsim 2020

ISBN: (纸本)9781713812883

The proceedings contain 68 papers. The topics discussed include: reinforcement learning from simulated environments: an encoder decoder approach;feature transformation and simulation of short term price variability in reinforcement learning for portfolio management;a synergistic approach for deep learning and knowledge engineered solutions;predicting the resource needs and outcomes of computationally intensive biological simulations;studying communications resiliency in emergency plans;estimating effects of the decision support system on educational agents with simulations;scenario-based generation of ontologies for domain-specific languages;strategic airlift operationalizing constructive simulations;coupling weap and leap models using interaction modeling;and exploratory analysis to address deep uncertainty – using calibratable system models for exploratory simulation of complex missions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 2020 spring simulation Conference, springsim 2020

Proceedings of the 2020 Spring Simulation Conference, Spring...

引用

2020 spring simulation Conference, springsim 2020

ISBN: (纸本)9781565553705

The proceedings contain 68 papers. The topics discussed include: a framework for composable cellular automata DEVS modeling, simulation, and visualization;modeling and simulating pedestrian social group behavior with heterogeneous social relationships;towards real-time cyber-physical systems instrumentation for creating digital twins;'surgical GPS' proof of concept for scoliosis surgery;experimental wargames to address the complexityscarcity gap;a model library for finite state machines in cadmium;reinforcement learning from simulated environments: an encoder decoder framework;simulation and analysis of animal movement paths using NUMERUS model builder;and a phase transition model and temporal logic specifications for smart energy systems - revisited.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Feature transformation and simulation of short term price variability in reinforcement learning for portfolio management

Feature transformation and simulation of short term price va...

引用

2020 spring simulation multiconference, springsim 2020

作者： Lin, Yen-Chih Blum, Jeremy Department of Computer Science and Mathematics Pennsylvania State University Harrisburg 777 W. Harrisburg Pike MiddletownPA United States

ISBN: (纸本)9781713812883

Reinforcement learning has been shown capable of learning optimal strategies from imperfect information environments in order to create robust decision support systems. This paper shows that two automatic feature transformation techniques - Bayesian recurrent neural network (BRNN) for modelling future price trends and Generative Adversarial Networks (GANs) for modelling short-term realistic price variability - are able to improve the performance of reinforcement learning agents in solving portfolio management problem effectively, when measured in terms of increasing profitability and reducing risks. © 2020 Society for Modeling & simulation International (SCS)

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

MODELING AND simulation BASED DEVELOPMENT OF AN ENHANCED GROUND PROXIMITY WARNING SYSTEM FOR MULTICORE TARGETS

MODELING AND SIMULATION BASED DEVELOPMENT OF AN ENHANCED GRO...

引用

International Symposium on Model-Driven Approaches for simulation Engineering (Mod4Sim) / spring simulation multiconference (springsim) / Annual simulation Symposium (ANSS)

作者： Durak, Umut Mueller, David Moecke, Florian Koch, Claus B. German Aerosp Ctr DLR Inst Flight Syst Braunschweig Germany German Aerosp Ctr DLR Braunschweig Germany

ISBN: (纸本)9781510860186

The advances in Cyber-Physical Systems (CPS) are also effecting the aeronautics. The growth of the cyber layer in aircraft is demanding higher throughput and eventually multi-core systems are becoming topics of interest. The development of parallel real-time systems for multicore processors requires new approaches in model-based design and simulation-based verification. The Enhanced Ground Proximity Warning System (EGPWS) is a terrain awareness system that creates aural and visual warnings for the pilot to prevent Controlled Flight into Terrain (CFIT). This paper presents a multi-core parallelization workflow and a corresponding x-in-the-loop testing pipeline for model-based development of an EGPWS.

关键词： model-based development multi-core parallelization x-in-the-loop testing enhanced ground proximity warning systems

来源：评论

学校读者我要写书评

暂无评论

Machine learning of an approximate morphism of an electronic warfare simulation component

Machine learning of an approximate morphism of an electronic...

引用

2020 spring simulation multiconference, springsim 2020

作者： Jarvis, Donald E. Tactical Electronic Warfare Division U. S. Naval Research Laboratory 4555 Overlook Ave. SW WashingtonDC United States

ISBN: (纸本)9781713812883

Electromagnetic waveforms are an essential component of radar and electronic warfare digital computer simulations. Sampled representations of radar waveforms are widely used in high-fidelity applications for their physical realism and suitability for algorithmic processing. However, this fidelity comes at a price because operations on sampled representations are often a computationally costly simulation bottleneck. In this paper, we propose a generic framework for constructing a reduced, feature-based model component derived from a given high-fidelity component, and demonstrate the approach on a simplified radar waveform model. The reduced model is related to the original through an approximate morphism. Both supervised and unsupervised machine learning are key components of the framework. © 2020 Society for Modeling & simulation International (SCS)

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Deploy mechanism for virtual-machine based vehicular ad hoc network simulation

Deploy mechanism for virtual-machine based vehicular ad hoc ...

引用

2020 spring simulation multiconference, springsim 2020

作者： Kohiga, Akihito Shinoda, Yoichi School of Information Science Japan Advanced Institute of Science and Technology Ishikawa Japan

ISBN: (纸本)9781713812883

The virtual-machine (VM) based vehicular ad hoc network (VANET) simulation executes VMs as vehicles, on which actual telecom servers and routing protocols are implemented. We would like to create massive VM based VANET simulation to verify that VANET is feasible for emergency communication facility. However, network congestion increased with the number of VMs as the ad hoc network routing protocols created multiple network sessions over a certain part of physical machines. Such network congestion limited scalability. We propose a VM deployment mechanism to reduce network sessions over the physical machines. Our mechanism executes geographically neighboring VMs on the same physical machine. The VMs moves to another physical machine when the simulated vehicles changed positions. Our approach reduced the network sessions by approximately one-sixth. This realize the extensive VM-based VANET simulation. © 2020 Society for Modeling & simulation International (SCS)

关键词： Vehicular ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

Scalability of sensor simulation in ros-gazebo platform with and without using GPU

Scalability of sensor simulation in ros-gazebo platform with...

引用

2020 spring simulation multiconference, springsim 2020

作者： Saglam, Ahmet Papelis, Yiannis Department of Computational Modeling and Simulation Engineering Old Dominion University 5115 Hampton Blvd NorfolkVA United States Virginia Modeling Analysis and Simulation Center Old Dominion University 1030 University Blvd SuffolkVA United States

ISBN: (纸本)9781713812883

Autonomous mobile robots depend heavily on sensors for interpreting the external environment and planning their movement. Given the complexity of even simple environments, the use of simulation is necessary to test sensory perception and movement strategies efficiently. Accurate and efficient sensor simulation is key to the successful development and fielding of autonomous mobile robots. In this paper, we investigate the scalability of LIDAR-type sensor simulation in ROS-supported Gazebo, an open-source multi-robot simulator. Specifically, the performance and scalability of the simulator are assessed with and without support from GPU in two virtual worlds, one highly-complex in terms of the number of collision targets and one not-complex. In both cases, we increase the number of sensors and evaluate system performance. The results show that the use of GPU helps improve performance, providing better speedups in the complex scene. However, the number of sensors that can be used is limited when using GPU. © 2020 Society for Modeling & simulation International (SCS)

关键词： Multipurpose robots

来源：评论

学校读者我要写书评

暂无评论

Enforcing security and privacy in distributed ledgers by intel SGX

Enforcing security and privacy in distributed ledgers by int...

引用

2020 spring simulation multiconference, springsim 2020

作者： Liang, Xueping Shetty, Sachin Foytik, Peter Tosh, Deepak Department of Engineering and Computer Science Virginia State University 1 Hayden St PetersburgVA23806 United States Virginia Modeling Analysis and Simulation Center Old Dominion University 1030 University Blvd SuffolkVA23435 United States Department of Computer Science University of Texas at El Paso 500 W University Ave El PasoTX79968 United States

ISBN: (纸本)9781713812883

Distributed Ledger Technology (DLT) utilizes an architecture that can host a large number of nodes without pre-established trust to provide decentralized services. The blockchain is the most widely used architecture of distributed ledger, where transactions across the whole network are visible to all participants in a chain to prevent tampering. However, transactions may contain sensitive information such as business contract. To secure the system and protect user privacy, we propose a multi-channel architecture that leverages Intel Software Guard Extensions (SGX). We illustrate how SGX capabilities help to defend against attacks on distributed ledgers, by way of SGX enforcement on the participating machines. We adopt the design and implementation of a two layer architecture for securing the blockchain mining process and enhancing the transaction privacy. The security analysis and performance evaluation show that the design and protocols are capable of protecting privacy, defending against adversarial attacks and scalable. © 2020 Society for Modeling & simulation International (SCS)

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

simulation of new healthcare delivery to evaluate impacts on patient access to care: A telehealth supply and demand use case

Simulation of new healthcare delivery to evaluate impacts on...

引用

2020 spring simulation multiconference, springsim 2020

作者： Henchey, Matthew Ercolini, Deborah Klaus, Sybil Modeling Simulation Experimentation and Analytics MITRE Corporation 7515 Colshire Drive McLeanVA United States Data and Human Centered Solutions MITRE Corporation 202 Burlington Road BedfordMA United States Health Transformation MITRE Corporation 7515 Colshire Drive McLeanVA United States

ISBN: (纸本)9781713812883

We propose a framework, Modeling HealthCARE: Capacity, Access, and Resource Evaluation, that uses hybrid simulation to help healthcare organizations evaluate supply and demand as they implement alternative healthcare services. The focus of this tool is on patients and their access to care. We integrate agent-based and discrete event simulation to model the patient as an agent adopting and requesting new services, following a discrete-event-driven process based on the existing and new healthcare journey. We model a use case in which a regional Department of Veterans Affairs healthcare organization is expanding its telehealth capabilities to meet growing demand for Post-Traumatic Stress Disorder treatment and is using telehealth to deliver services to Veterans, which saves them from traveling long distances. Results of our proof of concept model show that as adoption of telehealth increases, wait times and travel distances decrease, as service capacity and resources are configured to meet demand. © 2020 Society for Modeling & simulation International (SCS)

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

Modeling the modeler: An empirical study on how modelers learn to create simulations

Modeling the modeler: An empirical study on how modelers lea...

引用

2020 spring simulation multiconference, springsim 2020

作者： Kavak, Hamdi Padilla, Jose Diallo, Saikou Barraco, Anthony Department of Computational and Data Sciences George Mason University 4400 University Dr. FairfaxVA United States Virginia Modeling Analysis and Simulation Center Old Dominion University 1030 University Blvd. SuffolkVA United States

ISBN: (数字)9781565553705

ISBN: (纸本)9781713812883

This paper presents our novel efforts on automatically capturing and analyzing user data from a discrete-event simulation environment. We collected action data such as adding/removing blocks and running a model that enable creating calculated data fields and examining their relations across expertise groups. We found that beginner-level users use more blocks/edges and make more build errors compared to intermediate-level users. When examining the users with higher expertise, we note differences related to time spent in the tool, which could be linked to user engagement. The model running failure of beginner-level users may suggest a trial and error approach to building a model rather than an established process. Our study opens a critical line of inquiry focused on user engagement instead of process establishment, which is the current focus in the community. In addition to these findings, we report other potential uses of such user action data and lessons learned. © 2020 Society for Modeling & simulation International (SCS)

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共5页 << < 1 2 3 4 5 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：