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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

35,218 篇 电子文献
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,526 篇 computational mo...
5,216 篇 computer simulat...
2,228 篇 analytical model...
2,122 篇 mathematical mod...
1,769 篇 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...
860 篇 predictive model...
851 篇 hardware
711 篇 integrated circu...
677 篇 modeling
656 篇 testing
610 篇 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...
20 篇 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,702 篇 英文
273 篇 其他
261 篇 中文
20 篇 俄文
2 篇 捷克文
1 篇 法文

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

共 35222 条记录，以下是4991-5000 订阅

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

详细简洁

排序：

A Role modeling Based Approach for Cyber Threat Analysis 1

引用

7th international conference on Model-Driven Engineering and Software Development (MODELSWARD)

作者： Drouot, Bastien Golra, Fahad R. Champeau, Joel ENSTA Bretagne Lab STICC UMR6285 Brest France

ISBN: (数字)9783030378738

ISBN: (纸本)9783030378738;9783030378721

Using DSMLs, the domain experts can express their models in a language that is relevant to the problem area. However, it also adds the complexity of interoperability between these languages, specially for application areas that encompass multiple domains. One such application area, Cyber Threat Analysis (CTA), is at the intersection of various domains that can evolve independently: system modeling, attacker modeling and threat description. In this paper, we present an approach to address CTA interoperability issues based on role modeling. The proposed language provides a mechanism to define shared semantics between DSMLs relative to the CTA. The concept of a role is central to our approach, presented as Role4All framework. These roles allow us to federate different DSMLs to generate an attacker's viewpoint. Our approach is illustrated using a case study on the development of an attacker's viewpoint based on the federation of multiple domain models. Interoperability between the domain models is crucial to apply dedicated algorithms and interpretations on the attacker's viewpoint. We used this attacker viewpoint to simulate attacks on a system for security analysis.

关键词： Model federation Role modeling DSML interoperability Cyber threat analysis simulation

来源：评论

学校读者我要写书评

暂无评论

A framework for the extension of devs with sensor fusion capabilities

A framework for the extension of devs with sensor fusion cap...

引用

2020 Spring simulation Multiconference, SpringSim 2020

作者： Boi-Ukeme, Joseph Wainer, Gabriel Department of Systems and Computer Engineering Carleton University 1125 Colonel By Drive OttawaON Canada

ISBN: (纸本)9781713812883

Sensor fusion is a technique used to combine sensor data and improve the description of the physical property measured by these sensors. Sensors working alone could provide data that is erroneous, incomplete and uncertain. Several algorithms have been developed for sensor fusion, some of which are complex to understand and difficult to implement. The extensive list of algorithms often leaves designers confused about what choices to make as regards which algorithm is best and this discourages them from implementing sensor fusion. In this paper, we propose a generic sensor fusion framework to facilitate the implementation of sensor fusion algorithms using the Discrete-Event modeling of Embedded Systems (DEMES) which is a model-based development methodology for cyber-physical systems based on discrete-event systems specifications (DEVS). © 2020 Society for modeling & simulation international (SCS)

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

A multi-domain network simulator based on NS-3 10

A multi-domain network simulator based on NS-3

引用

10th international conference on simulation and modeling Methodologies, Technologies and Applications, SIMULTECH 2020

作者： Le, Van Thanh El Ioini, Nabil Barzegar, Hamid R. Pahl, Claus Department of Computer Science Free University of Bozen/Bolzano Italy

ISBN: (纸本)9789897584442

With telecommunication technology development now moving to a different generation of wireless communication from 4G to 5G, user connections become faster and more reliable. However, from the view of application developers, there is still a testbed environment lacking to evaluate their systems reliability and performance. In this paper, we present an extension for the LTE module collaboration via roaming based on NS-3 simulator, which will provide an ecosystem for on-car service testing as a sample context. We also evaluate the model with specific metrics to check whether the model is adaptable to real-time processes. © 2020 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved

关键词： 5G mobile communication systems

来源：评论

学校读者我要写书评

暂无评论

GPU-based Grass simulation with Accurate Blade Reconstruction 37th

GPU-based Grass Simulation with Accurate Blade Reconstructio...

引用

37th computer Graphics international (CGI) conference

作者： Wang, Sheng Ali, Saba Ghazanfar Lu, Ping Li, Zhen Yang, Po Sheng, Bin Mao, Lijuan AVIC Shanghai Aviat Elect Co Ltd Shanghai Peoples R China Shanghai Jiao Tong Univ Shanghai Peoples R China ZTE Corporar Nanjing Peoples R China Univ Sheffield Sheffield S Yorkshire England Shanghai Univ Sport Shanghai Peoples R China

ISBN: (纸本)9783030618636;9783030618643

Grass is a very important element of nature and it could almost be found in every natural scene. Thus grass modeling, rendering as well as simulation becomes an important task for virtual scene creation. Existing manual grass modeling and reconstruction methods have researched on generate or reconstructing plants. However, these methods do not achieve a good result for grass blades for their extremely thin shape and almost invariant surface color. Besides, current simulation and rendering methods for grasses suffer from efficiency and computation complexity problems. This paper introduces a framework that reconstructs the grass blade model from the color-enhanced depth map, simplifies the grass blade model and achieves extremely large scale grassland simulation with individual grass blade response. Our method starts with reconstructing the grass blade model. We use color information to guide the refinement of captured depth maps from cameras based on an autoregressive model. After refinement, a high-quality depth map is used to reconstruct thin blade models, which cannot be well handled by multiview stereo methods. Then we introduce a blade simplification method according to each vertex's movement similarity. This method takes both geometry and movement characteristics of grass into account when simplifying blade mesh. In addition, we introduce a simulation technique for extremely large grassland that achieve tile management on GPU and allow individual response for each grass blade. Our method excels at reconstructing slender grass blades as well as other similar plants, and realistic dynamic simulation for large scale grassland.

关键词： Grass Reconstruction simulation GPU Intelligent information processing

来源：评论

学校读者我要写书评

暂无评论

Memory modeling with Dynamic Time Evolution Method for Neuromorphic Circuit simulations 15

Memory Modeling with Dynamic Time Evolution Method for Neuro...

引用

15th IEEE international conference on Solid-State and Integrated Circuit Technology, ICSICT 2020

作者： Huang, Xiaoqing Chen, Xuhui Hu, Huifang Zhong, Haotian Zhang, Lining Chan, Mansun Huang, Ru School of Electronic and Computer Engineering Peking University Shenzhen518055 China HKUST Shenzhen Research Institute Shenzhen518060 China Institute of Microelectronics Peking University Beijing100871 China

ISBN: (纸本)9781728162355

For simulations of emerging neuromorphic circuits an analog memory modeling strategy with the dynamic time evolution method (DTEM) is reported. Dynamic state variables are needed to trace the physical quantities of the memory state representations. In a SPICE simulator time varying nodal voltages of the transient domain are capable to emulate changings of these physical quantities thus leveraging sub-circuits (SC) with additional nodes is one feasible method. To accommodate large scale simulation of neuromorphic circuits, the dynamic time evolution method is proposed to trace the varying memory states in the spiking-Time-dependent-plasticity (STDP). Circuit matrix size is reduced with the DTEM implementations thus efficient simulation speedups are achieved. © 2020 IEEE.

关键词： Dynamics

来源：评论

学校读者我要写书评

暂无评论

modeling and simulation of multi-footed wheel robot based on ADAMS 4

Modeling and simulation of multi-footed wheel robot based on...

引用

2020 4th international conference on Electrical, Mechanical and computer Engineering, ICEMCE 2020

作者： Liu, Cheng Zhao, Dong Huang, Weitao Meng, Xianjiang Du, Wenhao School of Mechanical Engineering University of Jinan Jinan Shandong250000 China

To reduce the complex mechanism and difficult control of multi-legged robot, the overall design of the new multi-footed wheel robot was carried out according to the previous research results-multi-footed wheel mechanism. A new multi-wheeled robot model was built by using SolidWorks. External data planning was carried out for dynamic force data curve of the motor. In ADAMS, the kinematics characteristics and data of the multi-footed wheel robot were obtained through simulation analysis of the model by interpolation method. The rationality of mechanism design and driving stability were verified by simulation analysis. © 2020 Journal of Physics: conference Series.

关键词： Machine design

来源：评论

学校读者我要写书评

暂无评论

A Compositional Semantics for Repairable BDMPs 39th

A Compositional Semantics for Repairable BDMPs

引用

39th international conference on computer Safety, Reliability and Security (SAFECOMP)

作者： Khan, Shahid Katoen, Joost-Pieter Bouissou, Marc Rhein Westfal TH Aachen Software Modeling & Verificat Aachen Germany Elect France EDF R&D Palaiseau France

ISBN: (纸本)9783030545482;9783030545499

Boolean-logic Driven Markov Processes (BDMPs) is a graphical language for reliability analysis of dynamic repairable systems. simulation and trace-based analysis tools for BDMPs exist and have been used to analyze reliability, safety and security aspects of industrially relevant case studies. To enable a model-based analysis of BDMPs, such as probabilistic model checking, formal semantics is indispensable. This paper presents a rigorous semantics to repairable BDMPs using Markov automata (MA), a variant of continuous-time Markov chains (CTMCs) with action transitions. The semantics is modular: an MA is associated with each BDMP element and these are combined to obtain an automaton for the entire BDMP. By ignoring the actions that are used to "glue" the MA of BDMP elements, a CTMC is obtained that is amenable to analysis by e.g., model checking. We report on a prototypical implementation and experimentally show that our semantics corresponds to the BDMP interpretation by the tool Yet Another Monte Carlo simulation.

关键词： Reliability Dependability Formal methods Probabilistic model checking Monte-Carlo simulation Compositional analysis

来源：评论

学校读者我要写书评

暂无评论

international Transmission Model and Its Application in Control Mechanism of Global Epidemie Diseases

International Transmission Model and Its Application in Cont...

引用

computer Information Science and Artificial Intelligence (CISAI), international conference on

作者： Yang Liu Huihuang Jiang Yihua Liang Buote Luo Wuhan University of Technology Wuhan China

ISBN: (纸本)9781665406932

In this article, we implemented an improved susceptible-exposed-infected-removed model (SEIR) to study the outbreak, prevention and control of global pandemics, while taking into account the movement of people on a global scale. Firstly, we incorporate the effects of vaccines into the model. In addition, the government’s promulgation of different orders of limiting the interpersonal contact on the epidemic is also considered. Then, we used this model to study the nationwide epidemic outbreak in Argentina as an example. Numerical simulation shows that the prevention and control measures in the early stage of the epidemic are particularly important, and when the virus started to spread over a large area, they also play an significant role in limiting the spread of the disease. Finally, we conduct simulation experiments on this model on a global scale. The result shows that the main driving force of epidemic disease spread is regional transmission within the subpopulation, which shows that wearing masks and vaccines are important to the control of diseases.

关键词： Epidemics Limiting Computational modeling Fitting Force Data models Numerical models

来源：评论

学校读者我要写书评

暂无评论

Key Technique of Constructing Collaborating Environment Based on OPENMBEE 6

Key Technique of Constructing Collaborating Environment Base...

引用

6th IEEE international conference on computer and Communications, ICCC 2020

作者： Xue, Junjie Zhou, Junhua Shi, Guoqiang Jiang, Yanhong Xu, Shuying Quan, Hongyan State Key Laboratory of Intelligent Manufacturing System Technology Beijing Institute of Electronic System Engineering Beijing China Science and Technology on Space System Simulation Laboratory Beijing Simulation Center Beijing China School of Software Engineering East China Normal University Shanghai China School of Computer Science and Technology East China Normal University Shanghai China

ISBN: (纸本)9781728186351

With the development of integrated design and manufacturing technology, it is necessary to consider how to integrate a variety of modeling tools in the procedure of complex product design driven by the model-centric conception. In this work, we explored the development technology of multi-tool integration based on the Open Model Based Engineering Environment (OpenMBEE). We provide a multi-tool integration system solution, in which the integration schemes under different environments of LAN and virtual machine are designed, and the system scheme of multi-tool integration is also studied. From the idea of model design conception, we integrate the requirement analysis tools Cameo. On the basis, Model Management System (MMS) and View Editor(VE), as well as the specific model analysis tool MATLAB and 3D visual simulation tool Creo are also integrated seamlessly. The effectiveness of the proposed integration strategies is verified by some practical instances. That is verified that our study can provide an effective design idea for complex production. © 2020 IEEE.

关键词： MATLAB

来源：评论

学校读者我要写书评

暂无评论

computer-Aided Analysis of Hybrid Dynamical Systems in the ISMA Environment

Computer-Aided Analysis of Hybrid Dynamical Systems in the I...

引用

Annual Siberian Russian Workshop on Electron Devices and Materials (EDM)

作者： Aleksey V. Garder Yury V. Shornikov Faculty of Automation and Computer Engineering Novosibirsk State Technical University Novosibirsk Russia Faculty of Automation and Computer Engineering Novosibirsk State Technical University Institute of Automation and Electrometry of the Siberian Branch of the Russian Academy of Sciences Novosibirsk Russia

ISBN: (数字)9781665498043

ISBN: (纸本)9781665498050

The numerical analysis of complex event-continuous processes represented by the class of Cauchy problems with constraints on an event function is considered. The processes are specified in the developed unique textual-graphical language LISMA using Harel statecharts. The program models are edited, numerically analyzed, and their results are processed in the computer-aided analysis environment ISMA. The numerical analysis is performed using a collection of traditional and developed original explicit numerical integration methods of variable order and step with extended stability domains and an original algorithm detecting unilateral events in hybrid systems. The efficiency of the original methods has been tested on typical examples of hybrid systems. The chosen visual specification of program models satisfies the representation semantics of discrete-continuous processes with complex operational mode switching logic. Moreover, such a specification is understandable to an end user, who is rather interested in analyzing complex dynamic processes using simple and comprehensible tools for composing and editing models and being able to change the model structure and parameters fast.

关键词： Analytical models Visualization Computational modeling simulation Semantics Switches Mathematical models

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 491 492 493 494 495 496 497 498 499 500 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：