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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Experiences with analysis of formal specifications in Astral

Experiences with analysis of formal specifications in Astral

引用

IEEE international conference on embedded and Real-Time Computing systems and Applications (RTCSA)

作者： K. Brink J. van Katwijk R.F. Lutje Spelberg W.J. Toetenel Department of Technical Mathematics and Computer Science Delft University of Technnology Delft Netherlands

An important issue in the design and implementation of real-time software is the verification of (temporal) properties. Our research of the past few years focused on requirements specification of real-time software and the use of tools in modeling and design. The development of a correct and complete requirements specification is difficult, and therefore tool support is considered important. Our development approach, builds upon requirements specifications constructed using the formal real-time specification language Astral. The development framework offers support for end-users in the construction of a software requirements specifications in Astral. Such end-risers are, for example, control engineers in the area of embedded, real-time control software. Support in the construction of an Astral specification through the use of analysis tools is important because it provides the user with (i) evidence concerning the correctness of the specification and (ii) feasibility of its implementation. This paper describes our development framework focusing on four approaches that have been employed in (timing) analysis of Astral specifications. The first two approaches, simulation and prototyping, are informal, while the latter two are formal, based on a translation into an extension of timed automata.

关键词： Formal specifications Specification languages Software quality Mathematics computer science Software tools Timing Software prototyping Virtual prototyping Automata

来源：评论

学校读者我要写书评

暂无评论

simulation and platform tools to develop safe flock of UAVs: a CPS application-driven research

Simulation and platform tools to develop safe flock of UAVs:...

引用

international conference on Unmanned Aircraft systems (ICUAS)

作者： Laurent Ciarletta Adrien Guenard Yannick Presse Virgine Galtier Ye-Qiong Song Jean-Christophe Ponsart Samir Aberkane Didier Theilliol UMR 7503 Lorraine University Nancy France Loria Lyon France Madynes INRIA Nancy France Supélec UMI Metz France Centre de Recherche en Automatique de Nancy Universit de Lorraine France

Autonomous formation flying (flocking) of UAVs requires coordination of efforts and solutions in multiple research fields (robotics, wireless sensor networks to name a few). The Airborne embedded auTonomOUs Robust Network of Objects and Sensors (AETOURNOS) project is designed as a federative, fueling platform and global evaluation tool. It has spawned another collaborative project bridging the gap between computer Science and Automation: 6PO (Cyber-Physical systems and Cooperative Control of a Fleet of UAVs). We want to investigate new flocking strategies, mobility-aware communication protocols (and reciprocally: movements influenced by network QoS), and to ease the cooperation between experts, we need co-simulation solutions, and “universal” control interfaces. This article presents our first contribution to this grand scheme: a stand-alone simulation of an autonomous flocking strategy taking into account both the dynamics of the UAVs and their communications, which has allowed us to examine the relation between network unreliability and control computation. To better study the influence of the communication network, we present an architecture coupling a dedicated network simulator with the UAVs simulator, as well as with a real drone piloting interface. The lessons learned help us build a research and action plan for the years to come.

关键词： Robot kinematics Mathematical model Collision avoidance Robot sensing systems Computational modeling

来源：评论

学校读者我要写书评

暂无评论

BLACK-CACTUS: embedded training using a battle management language in a swedish command and control system 08

BLACK-CACTUS: embedded training using a battle management la...

引用

Proceedings of the 2008 Summer computer simulation conference

作者： Per M. Gustavsson Magnus Grönkvist Michael R. Hieb Vikram Kamath Jakob Blomberg Joakim Wemmergård University of Skövde Skövde Sweden Saab Systems Air and Land Systems Nettovägen Järfälla Sweden George Mason University Fairfax VA Saab Training Systems Stortorget Helsingborg Sweden Swedish Defence Material Administration SMART-Lab Sweden

The Net Centric and Global Information Grid (GIG) visions envision systems that will be interconnected to support multi-lateral, civilian and military missions. The constantly changing environment requires commanders and leaders to plan for missions that allow for units from various nations, agencies, etc. to join or separate from the team, depending on the situation, as the mission unfolds. Training performed at home stations and in mission training/mission rehearsal may occur just days, hours or even minutes before the actual missions. This need for rapid mission-specific rehearsal capabilities and multilateral environment drives requirements to 1) develop a simulation infrastructures that enable embedded simulation capability in the operational systems and 2) develop interoperability mechanisms that enable a more agile, dynamic and adaptive interconnection of heterogeneous *** this paper the lessons learned from the novel BLACK-CACTUS project (Bi-LAteral Collaboration and Knowledge exchange -- Command And Control To US and Sweden) is presented. The project shows an agile method of integrating Command and Control systems and computer Generated Force engines using the Command and Control Lexical Grammar (C2LG) together with the Widely Integrated systems Environment (WISE) integration platform. The C2LG is the semantic glue that ties the information parts together and WISE is the framework for disseminating information through several of protocols and information models. The BLACK-CACTUS Proof of Principle consisted of the C2LG GUI, the TVT Vehicle Battle Management System (VBMS), the Joint Semi Automated Forces (JSAF) simulation, the WISE platform, and the Joint Battle Management Language (JBML) web server and *** paper presents the architecture, the implementation and the rational why a C2LG together with integration methods provides agile Joint/Coalition embedded C2 Training Environments.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Adaptive routing in k-ary n-cube multicomputers

Adaptive routing in k-ary n-cube multicomputers

引用

international conference on Parallel and Distributed systems (ICPADS)

作者： C.S. Yang Y.M. Tsai Y.L. Tsai Institute of Computer and Information Engineering National Sun Yat-Sen University Kaohsiung Taiwan Vocational Training Center Department of Labor Affairs Kaohsiung Municipal Government Taiwan

Wormhole routing makes the communication latency insensitive of the network diameter and reduces the buffer size of each router. It has been widely adopted in many new generation distributed memory multiprocessor systems (DMMPs). The concept of virtual system is invented for deadlock-free routing design. Using a great deal of virtual channels is quite expensive to be implemented in practice and is not limitless. In this paper experimental results are given to evaluate the tradeoff between network congestion delay and throughput. Some results show that the congestion delay does not reduce visibly when the number of virtual channels is greater than that of internal channels by 2. A reasonable number of virtual channels can be derived from the results. A virtual networks system using only four virtual networks, two virtual channels in each direction, is presented. It shows that the minimum number of virtual networks to support a partially adaptive, minimal and deadlock free routing in k-ary n-cubes is just four. It uses only four virtual networks but can get a high degree of adaptiveness and high traffic capacity. simulation results are presented to verify the performance.

关键词： Routing Delay System recovery Costs Communication switching Intelligent networks Multiprocessing systems Throughput Computational modeling Parallel architectures

来源：评论

学校读者我要写书评

暂无评论

Performance Prediction for Apache Spark Platform

Performance Prediction for Apache Spark Platform

引用

IEEE international conference on High Performance Computing and Communications (HPCC)

作者： Kewen Wang Mohammad Maifi Hasan Khan Department of Computer Science and Engineering University of Connecticut Storrs Connecticut USA University of Connecticut Storrs CT US

Apache Spark is an open source distributed data processing platform that uses distributed memory abstraction to process large volume of data efficiently. However, performance of a particular job on Apache Spark platform can vary significantly depending on the input data type and size, design and implementation of the algorithm, and computing capability, making it extremely difficult to predict the performance metric of a job such as execution time, memory footprint, and I/O cost. To address this challenge, in this paper, we present a simulation driven prediction model that can predict job performance with high accuracy for Apache Spark platform. Specifically, as Apache spark jobs are often consist of multiple sequential stages, the presented prediction model simulates the execution of the actual job by using only a fraction of the input data, and collect execution traces (e.g., I/O overhead, memory consumption, execution time) to predict job performance for each execution stage individually. We evaluated our prediction framework using four real-life applications on a 13 node cluster, and experimental results show that the model can achieve high prediction accuracy.

关键词： Sparks Predictive models Data models Computational modeling Accuracy Memory management Measurement

来源：评论

学校读者我要写书评

暂无评论

Use Two-Level Rejuvenation to Combat Software Aging and Maximize Average Resource Performance

Use Two-Level Rejuvenation to Combat Software Aging and Maxi...

引用

IEEE international conference on High Performance Computing and Communications (HPCC)

作者： Chunhui Guo Hao Wu Xiayu Hua Douglas Lautner Shangping Ren Department of Computer Science Illinois Institute of Technology Chicago IL USA Illinois Institute of Technology Chicago IL US

ISBN: (纸本)9781479989386

Software aging is a common phenomenon which is often manifested through system performance degradation. Rejuvenation is one of the most commonly used approaches to handle issues caused by software aging. To combat resource performance degradation and at the same time maintain maximized average resource performance, we present a two-level rejuvenation strategy, i.e., interleaving a set of n warm rejuvenations with one cold rejuvenation. Our target is to find the optimal n that maximizes system average performance. We first define a resource model that takes into consideration of performance degradation and two-level rejuvenations. Based on the resource model, we formally analyze the resource supply and present the MAX-PERFORMANCE algorithm to determine the optimal rejuvenation pattern that maximizes the average resource performance. The simulation results show that with a two-level rejuvenation strategy, we can achieve 25.22% higher average resource performance compared with a single level rejuvenation strategy.

关键词： Software Aging Analytical models System performance Degradation Computational modeling Reliability

来源：评论

学校读者我要写书评

暂无评论

Integrated meso-microscale traffic simulation of hierarchical AHS control architectures

Integrated meso-microscale traffic simulation of hierarchica...

引用

international conference on Intelligent Transportation

作者： L. Munoz G. Gomes Jingang Yi C. Toy R. Horowitz L. Alvarez University of California Berkeley CA USA Universidad Nacional Auténoma de México Horowitz Italy

A recently developed meso-microscale traffic simulator allows a stationary region of micro-simulation to be defined within a larger, meso-simulated automated highway system (AHS). This simulator permits analysis of traffic behavior in situations where both microscopic (vehicle-level) and mesoscopic (aggregate flow) effects are important, while avoiding the prohibitive computational cost of microsimulating a large-scale AHS. This paper describes the software structure of the meso-micro simulator, which implements the PATH AHS control architecture. simulation results indicate that the meso-micro simulator generates consistent traffic flows across both meso and micro-simulated regions.

关键词： Traffic control Automated highways Computational modeling Analytical models Microscopy Aggregates Computational efficiency Large-scale systems Automatic control computer architecture

来源：评论

学校读者我要写书评

暂无评论

Performance Evaluation of State Estimators for Airborne Target Tracking Using Multi Sensor Data Fusion

Performance Evaluation of State Estimators for Airborne Targ...

引用

IEEE international conference on Electro-Information Technology

作者： David S.R. Kondru Mehmet Celenk School of Electrical Engineering and Computer Science Ohio University Athens Ohio USA

The main function of range sensory systems under a given dynamic environment is to detect, discriminate and track a particular target for surveillance in case of a friendly target or an enemy target interception. The combination of two or more sensors will provide better position estimate than a single sensor. In this paper, the advantages of the multi sensor data fusion is presented and compared over conventional single sensor tracking. The state estimation techniques are utilized to enhance position accuracy in a single and multi-sensor environment. The performance of each state estimator is evaluated by considering different target motions along with their nonlinear characteristics. The state estimators presented here varies from simple linear filters such as fixed gain and Kalman filters to complex nonlinear filters such as Particle filter. Two widely used Extended Kalman filter based fusion architectures such as measurement fusion and state vector fusion are explored. The data is simulated from two ground based sensors RADAR and FLIR (forward looking infra red) to examine the fusion process. The RMS error is computed in range, azimuth, and elevation angles. A complete mathematical modeling and simulation is implemented in MATLAB. It is found that fusion architectures have demonstrated better performance in tracking accuracy.

关键词： Radar tracking Target tracking Kalman filters Mathematical model Atmospheric measurements Azimuth

来源：评论

学校读者我要写书评

暂无评论

Specific Emitter Identification based on CNN and Transformer

Specific Emitter Identification based on CNN and Transformer

引用

Science and Technology Innovation (IAECST), international Academic Exchange conference on

作者： Bin Wang Ning Gao Feng Wang The 38th Research Institute of China Electronics Technology Group Corporation Key Laboratory of Aperture Array and Space Application Key Laboratory of Intelligent Information Processing Hefei Anhui China School of Computer and Information Hefei University of Technology Hefei China

Specific emitter identification(SEI) plays an increasingly crucial and potential role in both military and civilian scenarios. It refers to a process to discriminate individual emitters from each other by analyzing extracted characteristics from given radio signals. In this paper, we present a novel radiation source identification method named CNNFormer based on a hybrid architecture of Convolutional Neural Network and Transformer, harnessing the strengths of both architectures to enhance feature extraction and sequence modeling. We demonstrate the effectiveness of our approach on simulation datasets, achieving state-of-the-art accuracy in emitter identification. We showcase outstanding performance of our method on simulation datasets, achieving 98.29% three-class identification accuracy the emitter dataset with three devices and 97.60% ten-class identification accuracy on an RF fingerprint dataset with ten XSPR transmitters. Furthermore, our model allows for insight into the key features contributing to identification. This work contributes to enhancing the security and reliability of wireless communication systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Simplified parallel domain traversal

Simplified parallel domain traversal

引用

Supercomputing conference

作者： Wesley Kendall Jingyuan Wang Melissa Allen Tom Peterka Jian Huang David Erickson Department of Electrical Engineering and Computer Science University of Tennessee Knoxville USA Department of Civil and Environmental Engineering University of Tennessee Knoxville USA Mathematics and Computer Science Division Argonne National Laboratory USA Computational Earth Sciences Group Oak Ridge National Laboratory USA

Many data-intensive scientific analysis techniques require global domain traversal, which over the years has been a bottleneck for efficient parallelization across distributed- memory architectures. Inspired by MapReduce and other simplified parallel programming approaches, we have designed DStep, a flexible system that greatly simplifies efficient parallelization of domain traversal techniques at scale. In order to deliver both simplicity to users as well as scalability on HPC platforms, we introduce a novel two-tiered communication architecture for managing and exploiting asynchronous communication loads. We also integrate our design with advanced parallel I/O techniques that operate directly on native simulation output. We demonstrate DStep by performing teleconnection analysis across ensemble runs of terascale atmospheric CO 2 and climate data, and we show scalability results on up to 65,536 IBM BlueGene/P cores.

关键词： Atmospheric modeling Scalability Data visualization computer architecture Message systems Protocols Analytical models

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共284页 << < 265 266 267 268 269 270 271 272 273 274 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：