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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,721 篇 会议
57 册 图书
53 篇 期刊文献

馆藏范围

2,831 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,288 篇 工学
- 1,119 篇 计算机科学与技术...
- 591 篇 软件工程
- 286 篇 电气工程
- 158 篇 电子科学与技术（可...
- 150 篇 控制科学与工程
- 137 篇 信息与通信工程
- 50 篇 机械工程
- 44 篇 动力工程及工程热...
- 19 篇 仪器科学与技术
- 19 篇 建筑学
- 18 篇 材料科学与工程（可...
- 18 篇 安全科学与工程
- 17 篇 土木工程
- 16 篇 生物医学工程（可授...
- 14 篇 交通运输工程
- 14 篇 航空宇航科学与技...
- 13 篇 力学（可授工学、理...
- 12 篇 生物工程
- 11 篇 光学工程
275 篇 理学
- 173 篇 数学
- 81 篇 系统科学
- 38 篇 物理学
- 33 篇 统计学（可授理学、...
- 14 篇 化学
- 14 篇 生物学
142 篇 管理学
- 119 篇 管理科学与工程(可...
- 52 篇 工商管理
- 30 篇 图书情报与档案管...
21 篇 经济学
- 21 篇 应用经济学
20 篇 法学
- 20 篇 社会学
11 篇 医学
6 篇 教育学
5 篇 农学
3 篇 军事学
1 篇 文学
1 篇 艺术学

主题

763 篇 computational mo...
616 篇 computer archite...
361 篇 hardware
222 篇 embedded systems
144 篇 analytical model...
142 篇 embedded system
134 篇 computer simulat...
128 篇 application soft...
123 篇 mathematical mod...
116 篇 field programmab...
112 篇 real time system...
103 篇 program processo...
90 篇 embedded computi...
89 篇 kernel
84 篇 software
83 篇 computer science
82 篇 parallel process...
81 篇 registers
73 篇 control systems
72 篇 algorithm design...

机构

10 篇 school of electr...
9 篇 rhein westfal th...
8 篇 institute for co...
8 篇 center for embed...
7 篇 center for embed...
7 篇 department of co...
6 篇 eindhoven univer...
6 篇 computer systems...
6 篇 natl tech univ a...
6 篇 computer systems...
6 篇 institute for co...
6 篇 fraunhofer iese ...
5 篇 school of automa...
5 篇 school of electr...
5 篇 university of za...
5 篇 embedded systems...
5 篇 university of te...
5 篇 national cims en...
5 篇 the university o...
5 篇 eindhoven univer...

作者

19 篇 leupers rainer
16 篇 soudris dimitrio...
16 篇 ascheid gerd
14 篇 dimitrios soudri...
13 篇 rainer leupers
12 篇 gerd ascheid
12 篇 pimentel andy d.
11 篇 blume holger
11 篇 takala jarmo
11 篇 holger blume
10 篇 andy d. pimentel
10 篇 jung matthias
9 篇 mohamed abid
9 篇 fornaciari willi...
9 篇 pnevmatikatos di...
9 篇 kostas siozios
9 篇 christian haubel...
9 篇 andreas gerstlau...
9 篇 wehn norbert
8 篇 f. fummi

语言

2,818 篇 英文
8 篇 中文
5 篇 其他

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

共 2831 条记录，以下是2731-2740 订阅

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

详细简洁

排序：

Research on Technologies of Real-Time simulation and Warning Analysis of Airborne 3D Digital Earth

Research on Technologies of Real-Time Simulation and Warning...

引用

international conference on Remote Sensing, Environment and Transportation Engineering (RSETE)

作者： Wenping Jiang Daping Xi School of Resource and Environmental Science Wuhan University Wuhan China School of Information Engineering China University of Geosciences Wuhan China

ISBN: (纸本)9781467308724

In this paper the basic concept and technical characteristics of airborne 3D digital earth are expounded at first, and then the functions and running mode are analyzed, and the organization and optimization strategies of multi-resolution global terrain and image models and aviation electronic map are studied in VxWorks. Furthermore, the author explores such key technologies as dynamic data scheduling, progressive graphics refreshing, rendering in real-time and map symbolization of each data tile in 3D scene, analysis and computing of ground proximity warning, aviation information displaying, etc. It has been proved that these technologies are very effective in the actual application of embedded 3D digital earth system and have broad prospects.

关键词： Real time systems Solid modeling Rendering (computer graphics) Three dimensional displays Analytical models Tiles

来源：评论

学校读者我要写书评

暂无评论

A SysML-based Design and Development of Stereo Vision System with Pose and Velocity Estimation for Cooperative Automated Vehicles

A SysML-based Design and Development of Stereo Vision System...

引用

Electrical, computer and Energy Technologies (ICECET), international conference on

作者： Narsimlu Kemsaram Anweshan Das Gijs Dubbelman Space Robotics (SpaceR) Research Group SnT Centre University of Luxembourg Kirchberg Luxembourg Mobile Perception Systems (MPS) Lab Signal Processing Systems Group Eindhoven University of Technology AZ Eindhoven Netherlands

ISBN: (纸本)9781665442329

Cooperative automated vehicles must perceive the environment accurately and have precise information about the leading vehicle's pose and velocity. This paper presents a SysML-based approach to design and develop a stereo vision-based perception system in an urban platooning scenario. It detects objects, lane markers, and free space in front of the follower vehicle using deep neural networks and computes the lead vehicle's relative pose and velocity. The relative pose is estimated using a geometric model-based pose estimation algorithm. The relative velocity is estimated from the change in pose within a known time. The lead vehicle's relative pose and velocity control the follower vehicle to follow the lead vehicle autonomously. Also, it displays the lead vehicle's pose and velocity information in a meaningful way on the in-vehicle display of the follower vehicle. The proposed system uses a custom-built automotive-grade stereo camera as input and runs on an automotive-grade embedded platform. It is tested on a simulation and prototype cooperative automated vehicle research platform. The evaluation results demonstrate that the proposed system operates in real-time and is suitable for cooperative automated vehicles.

关键词： Space vehicles Computational modeling Velocity control Radar Lead Sensor fusion Cameras

来源：评论

学校读者我要写书评

暂无评论

modeling reward functions for incomplete state representations via echo state networks

Modeling reward functions for incomplete state representatio...

引用

international Joint conference on Neural Networks (IJCNN)

作者： K. Bush C. Anderson Department of Computer Science Colorado State University Fort Collins CO USA

This paper investigates an echo state network (ESN) (Jaeger, 2001 and Maass and Markram, 2002) architecture as the approximation of the Q-function for temporally dependent rewards embedded in a linear dynamical system, the mass-spring-damper (MSD). This problem has been solved utilizing feed-forward neural networks (FNN) when all state information necessary to specify the dynamics is provided as input (Kretchmar, 2000). Time-delayed neural networks (TDNN) solve this problem with finite-size windows of incomplete state information. Our research demonstrates that the ESN architecture represents the Q-function of the MSD system given incomplete state information as well as current feed forward neural networks given either perfect state or a temporally-windowed, incomplete state vector. The remainder of this paper is organized as follows. We introduce basic concepts of reinforcement learning and the echo state network architecture. The MSD system simulation is defined in section IV. Experimental results for learning state quality given incomplete state information are presented in section V. Results for learning estimates of all future state qualities for incomplete state information is presented in section VI. Section VII discusses the potential of the ESN for use in reinforcement learning and provides current and future directions of research.

关键词： Learning Recurrent neural networks Neural networks computer science Feedforward systems Control systems Feedforward neural networks Electronic mail computer architecture Fuzzy control

来源：评论

学校读者我要写书评

暂无评论

A computerized physical simulator for training clinical prostate palpation skills

A computerized physical simulator for training clinical pros...

引用

IEEE international conference on systems, Man and Cybernetics

作者： Sarah Rigsbee Gregory J. Gerling Reba Moyer Childress Marcus L. Martin Department of Systems and Information Engineering University of Virginia Charlottesville VA USA School of Nursing University of Virginia Charlottesville VA USA Department of Emergency Medicine University of Virginia Charlottesville VA USA

Cancer of the prostate is diagnosed at a high rate in American men and leads to a high number of deaths annually. Each of the three separate prostate diseases (benign prostatic hypertrophy, prostatitis, and cancer) has different palpable characteristics and requires different treatment. Therefore healthcare professionals must learn to correctly detect and diagnose each prostate abnormality. The digital rectal examination is a commonly employed method to detect prostate abnormalities. However, medical and nurse practitioner students often receive little to no training for this exam and trained clinicians often exhibit low agreement on findings. Both may be due, in part, to inadequacies of current training practices, particularly those involving simulation. The purpose of this work is to improve the current training. In particular, current simulators might more adequately prepare trainees if they included design characteristics such as basic elements of lifelike anatomy, multiple and reconfigurable scenarios with graded levels of difficulty, and feedback on trainee technique and performance. Also, the simulator must train practitioners to detect prostate cancer and other diseases of the prostate. This work presents the implementation of these design characteristics. The Virginia prostate examination simulator includes a freestanding torso structure, six instrumented prostates with embedded pressure sensors and controllable balloons, custom-built electronics to record sensor data and control balloon water pressure, and a user-interface display that presents technique and performance information to trainees.

关键词： Physics computing Computational modeling computer simulation Cancer Diseases Sensor phenomena and characterization Pressure control Medical services Medical diagnostic imaging Medical simulation

来源：评论

学校读者我要写书评

暂无评论

Reliable multihop bulk transfer service for wireless sensor networks

Reliable multihop bulk transfer service for wireless sensor ...

引用

international conference and Workshop on Engineering of computer-Based systems

作者： P. Volgyesi A. Nadas A. Ledeczi K. Molnar Institute for Software Integrated Systems Vanderbilt University Nashville TN USA Embedded Information Technology Research Group Hungarian Academy of Sciences Budapest University of Technology and Economics Budapest Hungary

Multihop message routing is a well studied and widely documented area of research in wireless sensor networks (WSN), where the dynamic and lossy nature of the wireless medium and severe resource constraints pose major challenges. The vast majority of related research focuses on reliable and power-efficient transfer of small amounts of data, such as low frequency sensor readings or event detections. However, in a few but notable WSN applications, reliable transfer of mass data is essential. The paper describes an efficient multihop bulk transfer service along with a complete sensor network application utilizing it for on-demand image transfers. The paper focuses on the unique problems of the service, such as resource allocation, flow control and mobility throughout the modeling, simulation and implementation phases. Models of the protocol have been built and simulated in a probabilistic wireless network simulator. The prototype implementation targets TinyOS, a well-known WSN operating system

关键词： Spread spectrum communication Wireless sensor networks Routing Frequency Event detection Image sensors Sensor phenomena and characterization Resource management Wireless application protocol Prototypes

来源：评论

学校读者我要写书评

暂无评论

FPGA-SPICE: A simulation-based power estimation framework for FPGAs

FPGA-SPICE: A simulation-based power estimation framework fo...

引用

IEEE international conference on computer Design: VLSI in computers and Processors, (ICCD)

作者： Xifan Tang Pierre-Emmanuel Gaillardon Giovanni De Micheli Integrated Systems Laboratory (LSI) Ecole Poly technique Federale de Lausanne (EPFL) Lausanne Vaud Switzerland

Mainstream Field Programmable Gate Array (FPGA) power estimation tools are based on probabilistic activity estimation and analytical power models. The power consumption of the programmable resources of FPGAs is highly sensitive to their configurations. Due to their highly flexible nature, the configurations of FPGAs routing multiplexers or Look Up Tables (LUTs) are really different from a design to another but current analytical power models cannot accurately capture the associated power differences. In this paper, we introduce a simulation-based power estimation framework for FPGAs, called FPGA-SPICE, which supports any FPGA architecture that can be described with an architectural description language. Our power estimation engine automatically generates accurate SPICE netlists according to the FPGA configurations and enables precise power analysis of FPGA architectures. SPICE testbenches can be generated at different level of complexity, denoted as full-chip-level, grid-level and component-level testbenches. Full-chip-level testbenches dump the netlists associated with the complete FPGA fabric. To reduce simulation time, FPGA-SPICE can split the full-chip-level testbenches into grid-level testbenches, each of which consisting of a complete logic block netlist, or component-level testbenches, which consider individual circuit elements, i.e., multiplexers, LUTs, flip-flops, etc., separately. We show that the grid/component-level approach can achieve 14 × speed-up with a moderate 14% accuracy loss, compared to the full-chip level. We also use FPGA-SPICE to study the power characteristics of a commercial FPGA architecture at different technology nodes. Experimental results show that the global routing architecture consumes 50% of the total power, the local routing architecture claims for 40% of the total power, and the remaining 10% comes from the LUTs and flip-flops.

关键词： Field programmable gate arrays Routing Integrated circuit modeling Estimation SPICE Table lookup

来源：评论

学校读者我要写书评

暂无评论

The development of a data-driven application benchmarking approach to performance modelling

The development of a data-driven application benchmarking ap...

引用

international conference on High Performance Computing & simulation (HPCS)

作者： A. Osprey G. D. Riley M. Manjunathaiah B. N. Lawrence University of Reading UK National Centre for Atmospheric Science (NCAS) UK University of Manchester UK

ISBN: (纸本)9781479951604

Performance modelling is a useful tool in the lifeycle of high performance scientific software, such as weather and climate models, especially as a means of ensuring efficient use of available computing resources. In particular, sufficiently accurate performance prediction could reduce the effort and experimental computer time required when porting and optimising a climate model to a new machine. Yet as architectures become more complex, performance prediction is becoming more difficult. Traditional methods of performance prediction, based on source code analysis and supported by machine benchmarks, are proving inadequate to the task. In this paper, the reasons for this are explored by applying some traditional techniques to predict the computation time of a simple shallow water model which is illustrative of the computation (and communication) involved in climate models. These models are compared with real execution data gathered on AMD Opteron-based systems, including several phases of the U.K. academic community HPC resource, HECToR. Some success is had in relating source code to achieved performance for the K10 series of Opterons, but the method is found to be inadequate for the next-generation Interlagos processor. The experience leads to the investigation of a data-driven application benchmarking approach to performance modelling. Results for an early version of the approach are presented using the shallow model as an example. In addition, the data-driven approach is compared with a novel analytical model based on fitting logarithmic curves to benchmarked application data. The limitations of this analytical method provide further motivation for the development of the data-driven approach and results of this work have been published elsewhere.

关键词： Computational modeling Analytical models Benchmark testing Bandwidth Meteorology computer architecture Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Optimizing Cellular Automata Execution by Distributed Discrete Event simulation Techniques

Optimizing Cellular Automata Execution by Distributed Discre...

引用

Euromicro conference on Parallel, Distributed and Network-Based Processing

作者： Andrea Giordano Donato D’Ambrosio Rocco Rongo William Spataro Alessio De Rango ICAR-CNR Rende Cosenza Italy Department of Matematics and Computer Science University of Calabria Rende Cosenza Italy Department of Environmental Engineering University of Calabria Rende Cosenza Italy

ISBN: (数字)9781728165820

ISBN: (纸本)9781728165837

Cellular Automata (CA) are parallel models well-suited for studying complex systems that are based on local rules of evolution. Notable examples of application are found in fluid-dynamics, crowd simulation, flow-simulation and many more. Nevertheless, CA can be fruitfully exploited as a support in numerical approaches, such as finite element and finite volume methods. Though easily parallelizable by domain partitioning among the nodes of a parallel system, the performance and scalability of cellular automata executed on parallel/distributed machines are limited due to the need of synchronizing nodes at each computational step. With the aim of reducing the synchronization burden, we here present a preliminary study on techniques stemmed from the Discrete-Event simulation field for the optimization of CA on distributed memory architectures. Preliminary results, executed in a distributed memory environment, have shown the usefulness of the considered approach in reducing execution times and therefore in improving the speed up of the parallel execution of the test case.

关键词： Computational modeling Automata Synchronization Numerical models Optimization Memory architecture Mathematical model

来源：评论

学校读者我要写书评

暂无评论

A Multi-agent simulation for the Research on the Market Equilibrium Phenomena Using Q-Network Algorithm

A Multi-agent Simulation for the Research on the Market Equi...

引用

international conference on Communication Technology (ICCT)

作者： Jinyan Wang Bo Chen College of Mathematics and Computer Science Fuzhou University Fuzhou Fujian Province China

For the problems related to market equilibrium in complex market environments, analyses are conducted in the past, using some mathematical models and the game theory. These methods are based on the economic structural equations themselves, ignoring the interactions between economic subjects, and the hypothesis of subject homogeneity has no reference in the real world. On contrast, this paper proposes a multi-agent simulation model, from the microscopic point of view. In such simulation, agents interact with each other, and the decisions are made by agent-embedded AI systems, the Q-network. Therefore, there is no need to elaborate the behavioral rule for each agent, or manually set up too many assumptions. This paper assumes that the simulated market operates in a hypothetical way, in which there are two types of economic entities, namely, banks and enterprises. Banks and enterprises lending behaviors lead to a symbiotic relationship between the banks and the enterprises, while business-to-business transactions make the enterprises symbiotically compete with each other. In the experiment, the observed behavior of each agent can be reasonably explained. Agents endogenously generate intelligent behavioral patterns compatible with the environment. Therefore, this AI-based method can replace the artificially designated decision-making strategy in simulations of market, thus facilitating related economic researches.

关键词： Economics Mathematical model Companies Decision making Markov processes Training Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Comparing the Consistency of User Studies Conducted in simulations and Laboratory Settings

Comparing the Consistency of User Studies Conducted in Simul...

引用

IEEE international conference on Robotic Computing (IRC)

作者： Jonathan Hümmer Dominik Riedelbauch Dominik Henrich Chair for Applied Computer Science III (Robotics and Embedded Systems) University of Bayreuth Bayreuth Germany

ISBN: (数字)9798331521554

ISBN: (纸本)9798331521561

Human-robot collaboration enables highly adaptive co-working. The variety of resulting workflows makes it difficult to measure metrics as, e.g. makespans or idle times for multiple systems and tasks in a comparable manner. This issue can be addressed with virtual commissioning, where arbitrary numbers of non-deterministic human-robot workflows in assembly tasks can be simulated. To this end, data-driven models of human decisions are needed. Gathering the required large corpus of data with on-site user studies is quite time-consuming. In comparison, simulation-based studies (e.g., by crowdsourcing) would allow us to access a large pool of study participants with less effort. To rely on respective study results, human action sequences observed in a browser-based simulation environment must be shown to match those gathered in a laboratory setting. To this end, this work aims to understand to what extent cooperative assembly work in a simulated environment differs from that in an on-site laboratory setting. We show how a simulation environment can be aligned with a laboratory setting in which a robot and a human perform pick-and-place tasks together. A user study (N=29) indicates that participants' assembly decisions and perception of the situation are consistent across these different environments.

关键词： Crowdsourcing Cognitive processes Atmospheric measurements Computational modeling Laboratories Human-robot interaction Particle measurements Safety Assembly Robots

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共284页 << < 270 271 272 273 274 275 276 277 278 279 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：